ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
10:01:28.923 980422
Parameters initialized from file: eeserv.
This data was generated by ARCHTEST on a 2-way SUN Sparc 20
running Solaris 2.4. ARCHTEST was compiled using Version 2.7.0
of the GNU compiler.
The test was conducted under the auspices of Neil Sobrado,
Systems Administrator (sobrad22@eelab.newpaltz.edu), and
Dr. Owen B. Hill, Chair, Department of Electrical Engineering,
SUNY New Paltz.
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Perform a real multiprocessor test.
2. Execute the mp test code serially and with only one thread.
3. Generate test data with relaxed events.
4. Generate test data without relaxed events.
5. Process output from simulation. Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]: 2
Define logical length of arrays (max=500000) [200000]: 200000
The following tests can be run:
100 200 300 400 500 600 700 800 900 1000 1100 1200
210 310 410 510 610 710 1010 1110 1210
120 220 320 420 520 620 720 820 920 1020 1120 1220
1030
Specify which tests to run [all]:
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test.
Output file name: a1111100.out.
Number of threads: 2.
Length of the arrays: 200000.
Test(s) to run: all.
Select other options? (y,n,?)[n]
==sss========================================================================
Test T100. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T100 at 10:01:45.165 980422
End execution of Test T100 at 10:01:45.640 980422
Duration 0.475
Start analysis of Test T100 at 10:01:45.641 980422
Thread start, stop, and dur times.
0.051 0.050 0.000 0.000 0.000 0.000 0.000 0.000
0.474 0.153 0.000 0.000 0.000 0.000 0.000 0.000
0.423 0.103 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 6477 0 0 0
19998 14449 0 0 0
29997 22520 0 0 0
39996 30390 0 0 0
49995 38245 0 0 0
59994 40898 0 0 0
69993 48975 0 0 0
79992 56798 0 0 0
89991 64779 0 0 0
99990 72765 0 0 0
109989 80786 0 0 0
119988 84905 0 0 0
129987 84905 0 0 0
139986 84905 0 0 0
149985 84905 0 0 0
159984 84905 0 0 0
169983 84905 0 0 0
179982 84905 0 0 0
189981 84905 0 0 0
199980 84905 0 0 0
dim = 80, max = 84906, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 142767 0
1 30220 30676
2 26688 7426
3 304 16511
4 14 2182
5 0 246
6 0 156
7 0 19
8 0 6
9 0 2
10 0 1
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 5 6
End analysis of Test T100 at 10:01:46.184 980422
==sss========================================================================
Test T120. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T120 at 10:01:46.427 980422
End execution of Test T120 at 10:01:46.824 980422
Duration 0.397
Start analysis of Test T120 at 10:01:46.955 980422
Thread start, stop, and dur times.
0.028 0.028 0.000 0.000 0.000 0.000 0.000 0.000
0.396 0.188 0.000 0.000 0.000 0.000 0.000 0.000
0.368 0.160 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 7938 0 0 0
19998 16785 0 0 0
29997 25569 0 0 0
39996 34564 0 0 0
49995 43021 0 0 0
59994 51880 0 0 0
69993 60667 0 0 0
79992 69483 0 0 0
89991 78332 0 0 0
99990 87240 0 0 0
109989 95682 0 0 0
119988 104492 0 0 0
129987 113326 0 0 0
139986 122116 0 0 0
149985 131502 0 0 0
159984 140291 0 0 0
169983 149074 0 0 0
179982 157878 0 0 0
189981 166629 0 0 0
199980 175659 0 0 0
dim = 80, max = 175676, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 50827 0
1 124622 122931
2 24480 3726
3 47 21804
4 2 586
5 1 55
6 0 56
7 0 6
8 0 1
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 19 6
End analysis of Test T120 at 10:01:47.512 980422
==sss========================================================================
Test T200. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T200 at 10:01:47.784 980422
line3
End execution of Test T200 at 10:01:48.678 980422
Duration 0.894
Start analysis of Test T200 at 10:01:48.679 980422
Thread start, stop, and dur times.
0.196 0.196 0.000 0.000 0.000 0.000 0.000 0.000
0.894 0.480 0.000 0.000 0.000 0.000 0.000 0.000
0.698 0.284 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 12040 12040 0 0
19998 24173 24174 0 0
29997 35925 35924 0 0
39996 48267 48266 0 0
49995 60214 60215 0 0
59994 72618 72619 0 0
69993 85023 85024 0 0
79992 97208 97207 0 0
89991 109510 109511 0 0
99990 121807 121808 0 0
109989 134001 134002 0 0
119988 146337 146338 0 0
129987 158749 158748 0 0
139986 169381 169380 0 0
149985 181598 181597 0 0
159984 194118 194119 0 0
169983 207169 207170 0 0
179982 219619 219619 0 0
189981 232181 232182 0 0
199980 244566 244565 0 0
dim = 80, max = 244591, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
33
33
3
3
33
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 131580 0
1 55204 146280
2 209304 121545
3 3813 141
4 63 385
5 4 5
6 0 0
7 0 4
8 0 0
9 0 0
10 0 1
11 0 1
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 28 54
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 197434 0 0 20
0 -79 0 -59 0 -39 0 -19 280948 1 0 21
0 -78 0 -58 0 -38 0 -18 317443 2 1 22
0 -77 0 -57 0 -37 0 -17 4052 3 2 23
0 -76 0 -56 0 -36 0 -16 69 4 0 24
0 -75 0 -55 0 -35 0 -15 4 5 1 25
0 -74 0 -54 0 -34 0 -14 0 6 4 26
0 -73 0 -53 0 -33 0 -13 0 7 1 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 2 31
0 -68 0 -48 0 -28 0 -8 0 12 1 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 3 35
0 -64 0 -44 0 -24 0 -4 0 16 3 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | | o
280000 | |oo
260000 | |oo
240000 | |oo
220000 | |oo
200000 | |oo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooo____._________._oo_ooo__.oo__oo___
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 200. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 778. 0 thru 39 = 799968.
histend K = 200000. 40 thru Max = 24.
End analysis of Test T200 at 10:01:50.296 980422
==sss========================================================================
Test T210. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T210 at 10:01:50.548 980422
End execution of Test T210 at 10:01:51.498 980422
Duration 0.950
Start analysis of Test T210 at 10:01:51.576 980422
Thread start, stop, and dur times.
0.202 0.202 0.000 0.000 0.000 0.000 0.000 0.000
0.949 0.487 0.000 0.000 0.000 0.000 0.000 0.000
0.747 0.285 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 11061 11061 0 0
19998 22701 22702 0 0
29997 33460 33459 0 0
39996 44625 44625 0 0
49995 56118 56118 0 0
59994 67474 67473 0 0
69993 78815 78816 0 0
79992 89905 89905 0 0
89991 101033 101034 0 0
99990 112467 112467 0 0
109989 123990 123989 0 0
119988 135426 135426 0 0
129987 146942 146942 0 0
139986 158490 158490 0 0
149985 170102 170103 0 0
159984 181921 181922 0 0
169983 193718 193719 0 0
179982 205453 205454 0 0
189981 217432 217432 0 0
199980 229202 229202 0 0
dim = 80, max = 229224, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 132405 0
1 81683 139722
2 184331 127122
3 1487 326
4 33 378
5 1 16
6 0 1
7 0 2
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 54 24
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 198655 0 2 20
0 -79 0 -59 0 -39 0 -19 321825 1 3 21
0 -78 0 -58 0 -38 0 -18 277729 2 1 22
0 -77 0 -57 0 -37 0 -17 1663 3 2 23
0 -76 0 -56 0 -36 0 -16 35 4 4 24
0 -75 0 -55 0 -35 0 -15 1 5 5 25
0 -74 0 -54 0 -34 0 -14 0 6 6 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 3 29
0 -70 0 -50 0 -30 0 -10 0 10 4 30
0 -69 0 -49 0 -29 0 -9 0 11 2 31
0 -68 0 -48 0 -28 0 -8 0 12 2 32
0 -67 0 -47 0 -27 0 -7 0 13 1 33
0 -66 0 -46 0 -26 0 -6 0 14 3 34
0 -65 0 -45 0 -25 0 -5 0 15 2 35
0 -64 0 -44 0 -24 0 -4 0 16 1 36
0 -63 0 -43 0 -23 0 -3 0 17 3 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 1 19 0 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |o
300000 | |o
280000 | |o
260000 | |oo
240000 | |oo
220000 | |oo
200000 | |oo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooo____.________oooooooo__ooooooooo__
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 210. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 336. 0 thru 39 = 799953.
histend K = 200000. 40 thru Max = 39.
End analysis of Test T210 at 10:01:53.200 980422
==sss========================================================================
Test T220. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T220 at 10:01:53.456 980422
End execution of Test T220 at 10:01:54.343 980422
Duration 0.887
Start analysis of Test T220 at 10:01:54.478 980422
Thread start, stop, and dur times.
0.124 0.124 0.000 0.000 0.000 0.000 0.000 0.000
0.886 0.406 0.000 0.000 0.000 0.000 0.000 0.000
0.762 0.282 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 11031 11030 0 0
19998 22577 22578 0 0
29997 34010 34010 0 0
39996 45493 45493 0 0
49995 56965 56965 0 0
59994 68432 68431 0 0
69993 79909 79909 0 0
79992 91452 91452 0 0
89991 102971 102972 0 0
99990 114490 114490 0 0
109989 125962 125963 0 0
119988 137276 137277 0 0
129987 148425 148426 0 0
139986 159871 159871 0 0
149985 171252 171252 0 0
159984 182689 182690 0 0
169983 194133 194133 0 0
179982 205551 205552 0 0
189981 214881 214881 0 0
199980 225419 225419 0 0
dim = 80, max = 225440, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 137685 0
1 79161 135523
2 181459 125668
3 1586 246
4 29 845
5 4 6
6 0 1
7 0 1
8 0 1
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 6 0
19 6 0
over 56 20
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 206565 0 6 20
0 -79 0 -59 0 -39 0 -19 317950 1 3 21
0 -78 0 -58 0 -38 0 -18 273639 2 0 22
0 -77 0 -57 0 -37 0 -17 1694 3 2 23
0 -76 0 -56 0 -36 0 -16 32 4 1 24
0 -75 0 -55 0 -35 0 -15 4 5 8 25
0 -74 0 -54 0 -34 0 -14 0 6 9 26
0 -73 0 -53 0 -33 0 -13 0 7 4 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 6 29
0 -70 0 -50 0 -30 0 -10 0 10 1 30
0 -69 0 -49 0 -29 0 -9 0 11 1 31
0 -68 0 -48 0 -28 0 -8 0 12 1 32
0 -67 0 -47 0 -27 0 -7 0 13 9 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 3 37
0 -62 0 -42 0 -22 0 -2 10 18 0 38
0 -61 0 -41 0 -21 0 -1 8 19 0 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |o
280000 | |o
260000 | |oo
240000 | |oo
220000 | |oo
200000 | ooo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooo____._______oooo_ooooo_ooooo___o__
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 220. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 357. 0 thru 39 = 799956.
histend K = 200000. 40 thru Max = 36.
End analysis of Test T220 at 10:01:56.093 980422
==sss========================================================================
The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================
Test T400. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T400 at 10:01:56.341 980422
End execution of Test T400 at 10:01:56.656 980422
Duration 0.315
Start analysis of Test T400 at 10:01:56.658 980422
Thread start, stop, and dur times.
0.079 0.079 0.000 0.000 0.000 0.000 0.000 0.000
0.311 0.315 0.000 0.000 0.000 0.000 0.000 0.000
0.232 0.236 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 10215 9784 0 0
19998 20331 19664 0 0
29997 25148 41452 0 0
39996 28448 51076 0 0
49995 38882 60343 0 0
59994 49634 70240 0 0
69993 59732 79540 0 0
79992 70787 88867 0 0
89991 81142 98576 0 0
99990 91435 107887 0 0
109989 102185 117470 0 0
119988 112572 127102 0 0
129987 122941 136750 0 0
139986 133353 146447 0 0
149985 143617 156153 0 0
159984 154129 165559 0 0
169983 164762 175434 0 0
179982 174646 185264 0 0
189981 184483 195446 0 0
199980 194646 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222
2
2 1
2 1
1
2 1
2 1
2 1
22 1
2 1
2 1
1
2 1
22 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
22 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
1
1
1
111111
3
1
12
12
12
12
12
12
12
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 142247 0
1 152097 159835
2 90452 76667
3 14798 19168
4 284 1932
5 69 108
6 18 8
7 3 2
8 0 1
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 28 28
d = -6.
Event 4.1. u[ 188871] = 183476 < 183477; v[ 183477] = 188865 < 188871.
b=1 c=1 u[ 188866]: 183475 183475 183475 183476 183476 183476
Event 4.1. u[ 188887] = 183482 < 183483; v[ 183483] = 188881 < 188887.
b=1 c=1 u[ 188882]: 183481 183481 183481 183482 183482 183482
d = -5.
Event 4.1. u[ 1244] = 1302 < 1303; v[ 1303] = 1239 < 1244.
b=0 c=0 u[ 1240]: 1302 1302 1302 1302 1302
Event 4.1. u[ 1483] = 1550 < 1551; v[ 1551] = 1478 < 1483.
b=0 c=0 u[ 1479]: 1550 1550 1550 1550 1550
Event 4.1. u[ 2869] = 2997 < 2998; v[ 2998] = 2864 < 2869.
b=1 c=1 u[ 2865]: 2996 2996 2997 2997 2997
Event 4.2. v[ 13260] = 13032 < 13033; u[ 13033] = 13255 < 13260.
b=2 c=1 v[ 13256]: 13030 13032 13032 13032 13032
Event 4.1. u[ 22572] = 22766 < 22767; v[ 22767] = 22567 < 22572.
b=0 c=0 u[ 22568]: 22766 22766 22766 22766 22766
Event 4.1. u[ 78219] = 68100 < 68101; v[ 68101] = 78214 < 78219.
b=0 c=0 u[ 78215]: 68100 68100 68100 68100 68100
Event 4.2. v[ 159387] = 165026 < 165027; u[ 165027] = 159382 < 159387.
b=1 c=1 v[ 159383]: 165025 165025 165026 165026 165026
Event 4.2. v[ 159515] = 165135 < 165136; u[ 165136] = 159510 < 159515.
b=0 c=0 v[ 159511]: 165135 165135 165135 165135 165135
Event 4.2. v[ 159529] = 165144 < 165145; u[ 165145] = 159524 < 159529.
b=2 c=2 v[ 159525]: 165142 165143 165144 165144 165144
Event 4.1. u[ 188868] = 183475 < 183476; v[ 183476] = 188863 < 188868.
b=1 c=1 u[ 188864]: 183474 183474 183475 183475 183475
Event 4.1. u[ 188870] = 183476 < 183477; v[ 183477] = 188865 < 188870.
b=1 c=1 u[ 188866]: 183475 183475 183475 183476 183476
Event 4.1. u[ 188874] = 183477 < 183478; v[ 183478] = 188869 < 188874.
b=1 c=1 u[ 188870]: 183476 183476 183477 183477 183477
Event 4.1. u[ 194752] = 189310 < 189311; v[ 189311] = 194747 < 194752.
b=1 c=1 u[ 194748]: 189309 189309 189310 189310 189310
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1239 1301 1175 0 -1 3 3
1240 1302 1176 -1 -2 2 3
1241 1302 1178 -2 -1 3 3
1242 1302 1179 -3 0 4 4
1243 1302 1181 -4 0 5 1
1244 1302 1181 -5 -1 6 2
1245 1304 1183 -1 0 6 2
1246 1305 1183 -1 -1 4 3
1247 1306 1185 -1 1 3 2
1248 1309 1185 0 0 1 3
1249 1309 1185 -1 -1 2 4
1298 1358 1233 -2 0 3 3
1299 1358 1235 -3 0 4 1
1300 1360 1236 0 -1 4 2
1301 1362 1238 0 0 1 2
1302 1362 1239 -1 0 2 1
1303 1364 1239 0 -1 2 2
1304 1366 1242 -1 -2 1 2
1305 1368 1244 -1 -1 2 3
1306 1370 1245 0 -1 2 4
1307 1371 1246 0 -1 3 3
1308 1372 1247 0 1 2 3
1478 1549 1407 0 -1 2 3
1479 1550 1409 -1 2 2 2
1480 1550 1409 -2 1 3 3
1481 1550 1409 -3 0 4 4
1482 1550 1410 -4 0 5 4
1483 1550 1411 -5 0 6 2
1484 1552 1412 0 0 6 2
1485 1554 1413 -1 0 1 2
1486 1555 1414 -1 0 2 2
1487 1557 1415 0 0 2 2
1488 1559 1416 -1 -1 1 2
1546 1622 1475 1 0 1 3
1547 1622 1475 0 -1 2 4
1548 1622 1476 -1 -1 3 3
1549 1624 1477 0 0 2 3
1550 1625 1478 -1 0 1 3
1551 1626 1478 -1 -1 2 4
1552 1629 1481 0 -2 2 2
1553 1630 1484 -1 1 1 3
1554 1630 1484 -2 0 2 4
1555 1630 1484 -3 -1 3 5
1556 1632 1485 0 -1 4 4
2864 2996 2732 -2 -1 7 2
2865 2996 2734 -3 1 8 2
2866 2996 2734 -4 0 9 3
2867 2997 2734 -3 -1 7 4
2868 2997 2735 -4 1 8 3
2869 2997 2735 -5 0 9 4
2870 2998 2736 -2 0 8 4
2871 2998 2736 -3 -1 9 5
2872 3000 2737 0 -1 4 3
2873 3000 2739 -1 2 5 2
2874 3000 2739 -2 1 6 3
2993 3111 2853 -1 -2 3 2
2994 3113 2855 -1 -1 2 3
2995 3114 2857 -1 -2 3 2
2996 3116 2860 1 -1 2 3
2997 3116 2862 0 -1 3 2
2998 3116 2864 -1 -2 4 2
2999 3118 2868 0 -2 2 2
3000 3118 2872 -1 0 3 2
3001 3121 2872 1 -1 2 3
3002 3121 2872 0 -2 3 4
3003 3121 2875 -1 -1 4 3
183471 178152 188854 -1 0 4 2
183472 178153 188857 -1 -1 3 1
183473 178156 188859 -1 0 1 2
183474 178156 188862 -2 0 2 1
183475 178158 188862 -1 -1 3 2
183476 178158 188863 -2 -2 4 3
183477 178159 188865 -1 -2 3 3
183478 178161 188869 0 -2 2 3
183479 178162 188872 -1 -2 2 3
183480 178164 188877 0 0 2 2
183481 178164 188880 -1 -1 3 1
183482 178166 188880 0 -2 2 2
183483 178166 188881 -1 -2 3 3
183484 178166 188885 -2 -2 4 3
183485 178168 188888 0 -2 3 3
183486 178169 188893 0 0 2 2
183487 178170 188898 0 -1 2 1
183488 178171 188900 0 0 2 2
183489 178173 188903 -1 -1 1 1
188863 183474 194290 -1 -1 4 2
188864 183474 194292 -2 1 5 2
188865 183474 194292 -3 0 6 3
188866 183475 194293 -3 -1 4 3
188867 183475 194295 -4 1 5 2
188868 183475 194295 -5 0 6 3
188869 183476 194295 -4 -1 7 4
188870 183476 194296 -5 0 8 3
188871 183476 194296 -6 -1 9 4
188872 183477 194299 -3 1 9 2
188873 183477 194299 -4 0 10 3
188874 183477 194300 -5 -1 11 3
188875 183478 194302 -3 1 10 2
188876 183478 194302 -4 0 11 3
188877 183479 194302 0 -1 8 4
188878 183480 194303 2 -1 6 3
188879 183480 194303 1 -2 7 4
188880 183480 194304 0 -1 8 4
188881 183480 194305 -1 0 9 4
188882 183481 194307 -2 0 5 1
188883 183481 194307 -3 -1 6 2
188884 183481 194309 -4 0 7 2
188885 183482 194310 -4 0 5 3
188886 183482 194311 -5 0 6 2
188887 183482 194313 -6 -1 7 1
188888 183483 194315 -3 0 8 2
188889 183483 194316 -4 0 9 2
188890 183484 194317 -2 -1 9 2
188891 183484 194318 -3 0 10 2
188892 183484 194319 -4 0 11 3
188893 183485 194319 0 -1 8 4
194747 189309 199999 0 2097152 3 85
194748 189309 199999 -1 2097152 4 86
194749 189309 199999 -2 2097152 5 87
194750 189310 199999 -3 2097152 6 88
194751 189310 199999 -4 2097152 7 89
194752 189310 199999 -5 2097152 8 90
194753 189313 199999 0 2097152 3 91
194754 189314 199999 -1 2097152 4 92
194755 189314 199999 -2 2097152 5 93
194756 189315 199999 -3 2097152 3 94
194757 189315 199999 -4 2097152 4 95
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 68644 68644 0 0 -1
-2 18741 17166 0 0 -2
-3 1528 1372 0 0 -3
-4 173 36 0 0 -4
-5 14 5 0 0 -5
-6 2 0 0 0 -6
-7 0 0 0 0 -7
Totals / Min / Under -25:
89102 87223 0 0
6 5 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 315076 0 28 20
0 -79 0 -59 0 -39 0 -19 177825 1 28 21
0 -78 0 -58 0 -38 0 -18 94490 2 28 22
0 -77 0 -57 0 -37 0 -17 14963 3 28 23
0 -76 0 -56 0 -36 0 -16 347 4 28 24
0 -75 0 -55 0 -35 0 -15 104 5 28 25
0 -74 0 -54 0 -34 0 -14 47 6 28 26
0 -73 0 -53 0 -33 0 -13 31 7 28 27
0 -72 0 -52 0 -32 0 -12 28 8 28 28
0 -71 0 -51 0 -31 0 -11 28 9 28 29
0 -70 0 -50 0 -30 0 -10 28 10 28 30
0 -69 0 -49 0 -29 0 -9 28 11 28 31
0 -68 0 -48 0 -28 0 -8 28 12 28 32
0 -67 0 -47 0 -27 0 -7 28 13 28 33
0 -66 0 -46 0 -26 2 -6 28 14 28 34
0 -65 0 -45 0 -25 19 -5 28 15 28 35
0 -64 0 -44 0 -24 209 -4 28 16 28 36
0 -63 0 -43 0 -23 2900 -3 28 17 28 37
0 -62 0 -42 0 -22 35907 -2 28 18 28 38
0 -61 0 -41 0 -21 137288 -1 28 19 28 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | oo
140000 | oo
120000 | ooo
100000 | ooo
80000 | oooo
60000 | oooo
40000 | oooo
20000 | ooooo
0 |_________._________.___oooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 794658. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -6. -80 thru -1 = 176325.
Behav = Relaxed. Maximum = 11758. 0 thru 39 = 603779.
histend K = 200000. 40 thru Max = 14554.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 3 0 29 20
0 -79 0 -59 0 -39 0 -19 25729 1 29 21
0 -78 0 -58 0 -38 0 -18 152852 2 29 22
0 -77 0 -57 0 -37 0 -17 137850 3 29 23
0 -76 0 -56 0 -36 0 -16 53777 4 29 24
0 -75 0 -55 0 -35 0 -15 7762 5 29 25
0 -74 0 -54 0 -34 0 -14 638 6 29 26
0 -73 0 -53 0 -33 0 -13 257 7 29 27
0 -72 0 -52 0 -32 0 -12 168 8 29 28
0 -71 0 -51 0 -31 0 -11 107 9 29 29
0 -70 0 -50 0 -30 0 -10 65 10 29 30
0 -69 0 -49 0 -29 0 -9 45 11 29 31
0 -68 0 -48 0 -28 0 -8 33 12 29 32
0 -67 0 -47 0 -27 0 -7 29 13 29 33
0 -66 0 -46 0 -26 0 -6 29 14 29 34
0 -65 0 -45 0 -25 0 -5 29 15 29 35
0 -64 0 -44 0 -24 0 -4 29 16 29 36
0 -63 0 -43 0 -23 0 -3 29 17 29 37
0 -62 0 -42 0 -22 0 -2 29 18 29 38
0 -61 0 -41 0 -21 0 -1 29 19 29 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | o
140000 | | o
130000 | | oo
120000 | | oo
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | ooo
40000 | | ooo
30000 | | ooo
20000 | |oooo
10000 | |oooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399997. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 11760. 0 thru 39 = 380069.
histend K = 200000. 40 thru Max = 19928.
End analysis of Test T400 at 10:01:59.294 980422
==sss========================================================================
Test T410. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T410 at 10:01:59.543 980422
End execution of Test T410 at 10:02:00.288 980422
Duration 0.745
Start analysis of Test T410 at 10:02:00.366 980422
Thread start, stop, and dur times.
0.157 0.157 0.000 0.000 0.000 0.000 0.000 0.000
0.744 0.346 0.000 0.000 0.000 0.000 0.000 0.000
0.587 0.189 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 2 0 0
9999 39544 2561 0 0
19998 78920 5051 0 0
29997 118112 7608 0 0
39996 157662 10114 0 0
49995 196582 12562 0 0
59994 199999 15116 0 0
69993 199999 17692 0 0
79992 199999 20271 0 0
89991 199999 22841 0 0
99990 199999 25364 0 0
109989 199999 27930 0 0
119988 199999 30475 0 0
129987 199999 32991 0 0
139986 199999 35531 0 0
149985 199999 38054 0 0
159984 199999 40578 0 0
169983 199999 43154 0 0
179982 199999 45698 0 0
189981 199999 48314 0 0
199980 199999 50859 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111111111111111111111111111111111111111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1 22
2222
222
2222
1 2222
2222
2222
2222
2222
1 2222
2222
222
1 2222
2222
2222
2222
2222
1 2222
2222
2222
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 298815 0
1 50615 50934
2 406 848
3 13605 13344
4 26398 25824
5 9348 8446
6 755 1302
7 26 373
8 1 75
9 0 7
10 0 1
11 1 1
12 0 0
13 1 1
14 1 0
15 1 1
16 0 1
17 0 0
18 1 1
19 0 0
over 22 22
d = -3.
Event 4.2. v[ 607] = 175 < 176; u[ 176] = 604 < 607.
b=0 c=0 v[ 605]: 175 175 175
Event 4.2. v[ 2530] = 688 < 689; u[ 689] = 2527 < 2530.
b=0 c=0 v[ 2528]: 688 688 688
Event 4.2. v[ 4296] = 1151 < 1152; u[ 1152] = 4293 < 4296.
b=0 c=0 v[ 4294]: 1151 1151 1151
Event 4.2. v[ 4807] = 1279 < 1280; u[ 1280] = 4804 < 4807.
b=0 c=0 v[ 4805]: 1279 1279 1279
Event 4.2. v[ 5000] = 1327 < 1328; u[ 1328] = 4997 < 5000.
b=0 c=0 v[ 4998]: 1327 1327 1327
Event 4.2. v[ 6023] = 1583 < 1584; u[ 1584] = 6020 < 6023.
b=0 c=0 v[ 6021]: 1583 1583 1583
Event 4.2. v[ 9535] = 2447 < 2448; u[ 2448] = 9532 < 9535.
b=0 c=0 v[ 9533]: 2447 2447 2447
Event 4.2. v[ 10895] = 2767 < 2768; u[ 2768] = 10892 < 10895.
b=0 c=0 v[ 10893]: 2767 2767 2767
Event 4.2. v[ 12959] = 3279 < 3280; u[ 3280] = 12956 < 12959.
b=0 c=0 v[ 12957]: 3279 3279 3279
Event 4.2. v[ 14288] = 3607 < 3608; u[ 3608] = 14285 < 14288.
b=0 c=0 v[ 14286]: 3607 3607 3607
Event 4.2. v[ 14382] = 3631 < 3632; u[ 3632] = 14379 < 14382.
b=0 c=0 v[ 14380]: 3631 3631 3631
Event 4.2. v[ 15863] = 3999 < 4000; u[ 4000] = 15860 < 15863.
b=0 c=0 v[ 15861]: 3999 3999 3999
Event 4.2. v[ 15928] = 4015 < 4016; u[ 4016] = 15925 < 15928.
b=0 c=0 v[ 15926]: 4015 4015 4015
d = -2.
Event 4.2. v[ 4] = 15 < 16; u[ 16] = 2 < 4.
b=0 c=0 v[ 3]: 15 15
Event 4.2. v[ 199877] = 50832 < 50833; u[ 50833] = 199875 < 199877.
b=0 c=0 v[ 199876]: 50832 50832
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
173 594 62 0 0 1 8
174 597 63 0 3 1 5
175 599 63 0 2 1 6
176 604 63 -1 1 1 7
177 608 63 0 0 2 8
178 612 63 0 -1 1 9
179 617 63 0 -2 1 10
604 2207 175 0 0 1 7
605 2210 175 0 -1 1 8
606 2214 175 0 -2 1 9
607 2217 175 0 -3 1 10
608 2221 177 -1 4 1 4
609 2226 177 0 3 1 5
610 2230 177 0 2 1 6
686 2517 199 0 3 1 5
687 2519 199 0 2 1 6
688 2524 199 -1 1 1 7
689 2527 200 -1 3 2 3
690 2533 200 0 2 1 4
691 2537 200 0 1 1 5
692 2541 200 0 0 1 6
1149 4282 321 0 4 1 5
1150 4285 321 0 3 1 6
1151 4289 321 0 2 1 7
1152 4293 321 -1 1 1 8
1153 4298 321 -1 0 1 9
1154 4302 322 0 3 1 6
1155 4305 322 0 2 1 7
1277 4793 356 0 4 1 3
1278 4796 356 0 3 1 4
1279 4800 356 0 2 1 5
1280 4804 356 -1 1 1 6
1281 4809 357 -1 4 1 4
1282 4813 357 0 3 1 5
1283 4817 357 0 2 1 6
2527 9854 688 0 0 1 8
2528 9859 688 -1 -1 1 9
2529 9863 688 -1 -2 1 10
2530 9867 688 0 -3 1 11
2531 9870 689 0 2 1 7
2532 9874 689 0 1 1 8
2533 9879 690 0 4 1 6
4293 17011 1151 0 0 1 8
4294 17016 1151 0 -1 1 9
4295 17019 1151 0 -2 1 10
4296 17024 1151 0 -3 1 11
4297 17028 1152 0 1 1 8
4298 17032 1152 0 0 1 9
4299 17036 1152 0 -1 1 10
4804 19026 1279 0 0 1 8
4805 19030 1279 0 -1 1 9
4806 19033 1279 0 -2 1 10
4807 19037 1279 0 -3 1 11
4808 19041 1280 0 1 1 8
4809 19046 1280 0 0 1 9
4810 19049 1280 0 -1 1 10
4997 19788 1327 0 0 1 10
4998 19792 1327 0 -1 1 11
4999 19796 1327 0 -2 1 12
5000 19800 1327 0 -3 1 13
5001 19805 1328 0 1 1 10
5002 19808 1328 0 0 1 11
5003 19812 1328 0 -1 1 12
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 1133 1133 0 0 -1
-2 1 673 0 0 -2
-3 0 13 0 0 -3
-4 0 0 0 0 -4
Totals / Min / Under -25:
1134 1819 0 0
2 3 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 370538 0 22 20
0 -79 0 -59 0 -39 0 -19 101151 1 22 21
0 -78 0 -58 0 -38 0 -18 50332 2 22 22
0 -77 0 -57 0 -37 0 -17 62168 3 21 23
0 -76 0 -56 0 -36 0 -16 48738 4 20 24
0 -75 0 -55 0 -35 0 -15 12538 5 19 25
0 -74 0 -54 0 -34 0 -14 979 6 18 26
0 -73 0 -53 0 -33 0 -13 58 7 18 27
0 -72 0 -52 0 -32 0 -12 28 8 18 28
0 -71 0 -51 0 -31 0 -11 27 9 18 29
0 -70 0 -50 0 -30 0 -10 27 10 17 30
0 -69 0 -49 0 -29 0 -9 27 11 18 31
0 -68 0 -48 0 -28 0 -8 26 12 16 32
0 -67 0 -47 0 -27 0 -7 27 13 16 33
0 -66 0 -46 0 -26 0 -6 26 14 16 34
0 -65 0 -45 0 -25 0 -5 25 15 17 35
0 -64 0 -44 0 -24 0 -4 23 16 16 36
0 -63 0 -43 0 -23 13 -3 23 17 14 37
0 -62 0 -42 0 -22 674 -2 23 18 13 38
0 -61 0 -41 0 -21 2266 -1 22 19 11 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | o
140000 | o
120000 | o
100000 | oo
80000 | oo
60000 | oo o
40000 | ooooo
20000 | ooooo
0 |_________._________.______ooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 650859. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -3. -80 thru -1 = 2953.
Behav = Relaxed. Maximum = 328. 0 thru 39 = 647158.
histend K = 200000. 40 thru Max = 748.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 12 0 23 20
0 -79 0 -59 0 -39 0 -19 50536 1 23 21
0 -78 0 -58 0 -38 0 -18 171 2 23 22
0 -77 0 -57 0 -37 0 -17 6100 3 22 23
0 -76 0 -56 0 -36 0 -16 28832 4 22 24
0 -75 0 -55 0 -35 0 -15 46480 5 20 25
0 -74 0 -54 0 -34 0 -14 48769 6 19 26
0 -73 0 -53 0 -33 0 -13 41687 7 19 27
0 -72 0 -52 0 -32 0 -12 20303 8 19 28
0 -71 0 -51 0 -31 0 -11 5239 9 19 29
0 -70 0 -50 0 -30 0 -10 1023 10 18 30
0 -69 0 -49 0 -29 0 -9 273 11 19 31
0 -68 0 -48 0 -28 0 -8 80 12 17 32
0 -67 0 -47 0 -27 0 -7 40 13 17 33
0 -66 0 -46 0 -26 0 -6 29 14 17 34
0 -65 0 -45 0 -25 0 -5 26 15 17 35
0 -64 0 -44 0 -24 0 -4 24 16 18 36
0 -63 0 -43 0 -23 0 -3 24 17 17 37
0 -62 0 -42 0 -22 0 -2 24 18 17 38
0 -61 0 -41 0 -21 0 -1 23 19 18 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |
68000 | |
64000 | |
60000 | |
56000 | |
52000 | |
48000 | |o o
44000 | |o oo
40000 | |o ooo
36000 | |o ooo
32000 | |o ooo
28000 | |o oooo
24000 | |o oooo
20000 | |o ooooo
16000 | |o ooooo
12000 | |o ooooo
8000 | |o ooooo
4000 | |o ooooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399984. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 149135. 0 thru 39 = 250079.
histend K = 200000. 40 thru Max = 149905.
End analysis of Test T410 at 10:02:02.517 980422
==sss========================================================================
Test T420. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T420 at 10:02:02.770 980422
End execution of Test T420 at 10:02:03.257 980422
Duration 0.487
Start analysis of Test T420 at 10:02:03.388 980422
Thread start, stop, and dur times.
0.210 0.210 0.000 0.000 0.000 0.000 0.000 0.000
0.486 0.479 0.000 0.000 0.000 0.000 0.000 0.000
0.276 0.269 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 10973 9047 0 0
19998 24418 16639 0 0
29997 34883 25490 0 0
39996 45474 34980 0 0
49995 56273 44445 0 0
59994 67050 53690 0 0
69993 78078 62857 0 0
79992 88278 71849 0 0
89991 99255 81664 0 0
99990 110484 90750 0 0
109989 121232 99504 0 0
119988 132149 108672 0 0
129987 144105 117749 0 0
139986 150801 122033 0 0
149985 160865 139635 0 0
159984 169968 149106 0 0
169983 179503 160362 0 0
179982 189420 170466 0 0
189981 199375 180535 0 0
199980 199999 190581 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111
1
1
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
11 2
1 2
1 2
1
1 2
1 2
1 2
2
2
11 2
1111 2
1 2
22
1
1 2
1
1 2
1
1 222
1 2
1 2
22
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
2
222
11
12
12
32
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 140611 0
1 189787 195337
2 65578 54731
3 3762 8781
4 127 405
5 22 22
6 1 2
7 0 0
8 0 0
9 1 0
10 0 0
11 0 0
12 1 0
13 0 0
14 0 1
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 106 106
d = -5.
Event 4.2. v[ 50252] = 44744 < 44745; u[ 44745] = 50247 < 50252.
b=0 c=0 v[ 50248]: 44744 44744 44744 44744 44744
Event 4.2. v[ 133243] = 120928 < 120929; u[ 120929] = 133238 < 133243.
b=0 c=0 v[ 133239]: 120928 120928 120928 120928 120928
d = -4.
Event 4.1. u[ 1680] = 1686 < 1687; v[ 1687] = 1676 < 1680.
b=0 c=0 u[ 1677]: 1686 1686 1686 1686
Event 4.1. u[ 16105] = 19490 < 19491; v[ 19491] = 16101 < 16105.
b=0 c=0 u[ 16102]: 19490 19490 19490 19490
Event 4.2. v[ 50251] = 44744 < 44745; u[ 44745] = 50247 < 50251.
b=0 c=0 v[ 50248]: 44744 44744 44744 44744
Event 4.2. v[ 87288] = 79014 < 79015; u[ 79015] = 87284 < 87288.
b=0 c=0 v[ 87285]: 79014 79014 79014 79014
Event 4.1. u[ 108301] = 119630 < 119631; v[ 119631] = 108297 < 108301.
b=0 c=0 u[ 108298]: 119630 119630 119630 119630
Event 4.1. u[ 108340] = 119662 < 119663; v[ 119663] = 108336 < 108340.
b=1 c=1 u[ 108337]: 119661 119662 119662 119662
Event 4.1. u[ 108380] = 119702 < 119703; v[ 119703] = 108376 < 108380.
b=1 c=1 u[ 108377]: 119701 119702 119702 119702
Event 4.1. u[ 108438] = 119758 < 119759; v[ 119759] = 108434 < 108438.
b=0 c=0 u[ 108435]: 119758 119758 119758 119758
Event 4.1. u[ 108538] = 119854 < 119855; v[ 119855] = 108534 < 108538.
b=0 c=0 u[ 108535]: 119854 119854 119854 119854
Event 4.2. v[ 131983] = 119684 < 119685; u[ 119685] = 131979 < 131983.
b=0 c=0 v[ 131980]: 119684 119684 119684 119684
Event 4.2. v[ 133242] = 120928 < 120929; u[ 120929] = 133238 < 133242.
b=0 c=0 v[ 133239]: 120928 120928 120928 120928
Event 4.2. v[ 151710] = 140832 < 140833; u[ 140833] = 151706 < 151710.
b=0 c=0 v[ 151707]: 140832 140832 140832 140832
Event 4.1. u[ 153995] = 164886 < 164887; v[ 164887] = 153991 < 153995.
b=0 c=0 u[ 153992]: 164886 164886 164886 164886
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1676 1685 1668 0 0 2 2
1677 1686 1669 -1 0 1 2
1678 1686 1670 -2 0 2 2
1679 1686 1670 -3 -1 3 3
1680 1686 1672 -4 0 4 2
1681 1689 1672 0 -1 2 3
1682 1690 1672 0 -2 2 4
1683 1691 1674 0 0 2 3
1684 1692 1674 0 -1 2 4
1685 1693 1676 0 1 2 2
1686 1694 1676 1 0 2 3
1687 1694 1676 0 -1 3 4
1688 1696 1679 -1 -2 1 2
1689 1698 1680 0 0 2 3
1690 1698 1681 -1 0 3 4
1691 1699 1682 0 0 3 2
16101 19490 13278 0 881 4 4125
16102 19490 13278 -1 880 5 4126
16103 19490 13278 -2 879 6 4127
16104 19490 13278 -3 878 7 4128
16105 19490 13278 -4 877 8 4129
16106 19492 13278 5 876 5 4130
16107 19492 13278 4 875 6 4131
16108 19492 13278 3 874 7 4132
16109 19492 13278 2 873 8 4133
19487 23894 16090 0 -1 2 1
19488 23895 16095 0 -1 2 1
19489 23895 16097 -1 0 3 2
19490 23896 16100 0 0 3 1
19491 23897 16101 0 -1 3 2
19492 23898 16107 0 0 2 0
19493 23899 16111 0 0 2 1
19494 23900 16114 0 -1 2 1
19495 23901 16119 0 -1 2 1
44740 50243 39267 0 0 3 2
44741 50244 39268 0 0 2 2
44742 50245 39269 0 0 2 2
44743 50246 39270 0 0