ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
09:03:35.243 980422
Parameters initialized from file: sunserv.
This data was generated by ARCHTEST on a 4-way SUN Sparc 630
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) [4]: 4
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: 4.
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 09:04:09.506 980422
End execution of Test T100 at 09:04:10.539 980422
Duration 1.033
Start analysis of Test T100 at 09:04:10.541 980422
Thread start, stop, and dur times.
0.006 0.006 0.000 0.000 0.000 0.000 0.000 0.000
1.030 0.308 0.000 0.000 0.000 0.000 0.000 0.000
1.024 0.302 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 4874 0 0 0
19998 10239 0 0 0
29997 14913 0 0 0
39996 20031 0 0 0
49995 25153 0 0 0
59994 30224 0 0 0
69993 35316 0 0 0
79992 40443 0 0 0
89991 45516 0 0 0
99990 50571 0 0 0
109989 55660 0 0 0
119988 60677 0 0 0
129987 65817 0 0 0
139986 71000 0 0 0
149985 76237 0 0 0
159984 81265 0 0 0
169983 86346 0 0 0
179982 91379 0 0 0
189981 96507 0 0 0
199980 101785 0 0 0
dim = 80, max = 101795, 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
11
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 99229 0
1 100719 10362
2 36 84926
3 0 5371
4 0 81
5 0 5
6 1 2
7 0 0
8 0 0
9 0 0
10 0 0
11 0 1
12 0 0
13 1 0
14 0 0
15 0 0
16 0 0
17 0 0
18 1 0
19 0 0
over 10 21
End analysis of Test T100 at 09:04:12.434 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 09:04:13.299 980422
End execution of Test T120 at 09:04:14.440 980422
Duration 1.141
Start analysis of Test T120 at 09:04:14.891 980422
Thread start, stop, and dur times.
0.006 0.006 0.000 0.000 0.000 0.000 0.000 0.000
1.140 0.299 0.000 0.000 0.000 0.000 0.000 0.000
1.134 0.293 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 4400 0 0 0
19998 8779 0 0 0
29997 13419 0 0 0
39996 18075 0 0 0
49995 22677 0 0 0
59994 27364 0 0 0
69993 31920 0 0 0
79992 36493 0 0 0
89991 41152 0 0 0
99990 45713 0 0 0
109989 50279 0 0 0
119988 54841 0 0 0
129987 59347 0 0 0
139986 63858 0 0 0
149985 68349 0 0 0
159984 72782 0 0 0
169983 77469 0 0 0
179982 81972 0 0 0
189981 86601 0 0 0
199980 91162 0 0 0
dim = 80, max = 91171, 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 109750 0
1 90229 3235
2 7 66191
3 0 20615
4 0 192
5 0 0
6 0 0
7 0 0
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 12 15
End analysis of Test T120 at 09:04:16.775 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 09:04:17.634 980422
line3
End execution of Test T200 at 09:04:19.768 980422
Duration 2.134
Start analysis of Test T200 at 09:04:19.771 980422
Thread start, stop, and dur times.
0.004 0.004 0.000 0.000 0.000 0.000 0.000 0.000
2.133 0.483 0.000 0.000 0.000 0.000 0.000 0.000
2.129 0.479 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 9 10 0 0
9999 5649 5649 0 0
19998 11206 11205 0 0
29997 16665 16665 0 0
39996 22151 22150 0 0
49995 27741 27741 0 0
59994 33455 33455 0 0
69993 38931 38931 0 0
79992 44394 44394 0 0
89991 49784 49784 0 0
99990 55154 55154 0 0
109989 60745 60744 0 0
119988 66296 66295 0 0
129987 71933 71933 0 0
139986 77387 77387 0 0
149985 82805 82805 0 0
159984 88148 88148 0 0
169983 93489 93489 0 0
179982 99046 99046 0 0
189981 104673 104673 0 0
199980 110132 110132 0 0
dim = 80, max = 110143, 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
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 183042 0
1 216860 44078
2 45 165320
3 0 7463
4 1 66
5 0 1
6 2 0
7 0 0
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 46 26
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 274755 0 0 20
0 -79 0 -59 0 -39 0 -19 524906 1 0 21
0 -78 0 -58 0 -38 0 -18 257 2 0 22
0 -77 0 -57 0 -37 0 -17 1 3 0 23
0 -76 0 -56 0 -36 0 -16 1 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 3 6 0 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 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 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 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 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 3 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |o
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | oo
200000 | oo
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.oooo_o___._________._________.________o
-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 = 150. 0 thru 39 = 799926.
histend K = 200000. 40 thru Max = 66.
End analysis of Test T200 at 09:04:25.256 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 09:04:26.119 980422
End execution of Test T210 at 09:04:28.479 980422
Duration 2.360
Start analysis of Test T210 at 09:04:28.778 980422
Thread start, stop, and dur times.
0.016 0.017 0.000 0.000 0.000 0.000 0.000 0.000
2.359 0.484 0.000 0.000 0.000 0.000 0.000 0.000
2.343 0.467 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 4866 4865 0 0
19998 9995 9995 0 0
29997 15004 15004 0 0
39996 19993 19993 0 0
49995 24933 24933 0 0
59994 29865 29865 0 0
69993 34876 34876 0 0
79992 40000 40000 0 0
89991 45137 45137 0 0
99990 50133 50133 0 0
109989 55093 55093 0 0
119988 60041 60041 0 0
129987 64922 64922 0 0
139986 70044 70044 0 0
149985 75187 75187 0 0
159984 80202 80202 0 0
169983 85191 85190 0 0
179982 90131 90130 0 0
189981 95077 95076 0 0
199980 100089 100089 0 0
dim = 80, max = 100100, 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
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 202043 0
1 197907 16596
2 7 164361
3 1 16821
4 0 122
5 0 3
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 2 0
16 0 0
17 2 0
18 0 2
19 1 0
over 32 48
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 303319 0 2 20
0 -79 0 -59 0 -39 0 -19 496348 1 0 21
0 -78 0 -58 0 -38 0 -18 266 2 0 22
0 -77 0 -57 0 -37 0 -17 2 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 3 25
0 -74 0 -54 0 -34 0 -14 0 6 0 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 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 1 32
0 -67 0 -47 0 -27 0 -7 0 13 2 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 3 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 3 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 1 19 3 39
------ Relaxed ------ | ------ Strong ------
475000 | |o
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | oo
25000 | oo
0 |_________._________._________.ooo______.____o_o_oo____o____._oo_____o
-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 = 159. 0 thru 39 = 799953.
histend K = 200000. 40 thru Max = 39.
End analysis of Test T210 at 09:04:34.302 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 09:04:35.206 980422
End execution of Test T220 at 09:04:37.542 980422
Duration 2.336
Start analysis of Test T220 at 09:04:37.994 980422
Thread start, stop, and dur times.
0.006 0.005 0.000 0.000 0.000 0.000 0.000 0.000
2.335 0.496 0.000 0.000 0.000 0.000 0.000 0.000
2.329 0.491 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 4734 4734 0 0
19998 9837 9836 0 0
29997 14821 14821 0 0
39996 19896 19896 0 0
49995 25132 25132 0 0
59994 30282 30282 0 0
69993 35480 35479 0 0
79992 40522 40522 0 0
89991 45714 45713 0 0
99990 50662 50662 0 0
109989 55072 55072 0 0
119988 60268 60268 0 0
129987 65112 65112 0 0
139986 70320 70320 0 0
149985 75294 75294 0 0
159984 80278 80278 0 0
169983 85430 85429 0 0
179982 90276 90276 0 0
189981 95208 95208 0 0
199980 99797 99797 0 0
dim = 80, max = 99808, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
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
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
33
33
33
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 205740 0
1 194141 23614
2 54 147511
3 0 22634
4 0 398
5 1 14
6 0 4
7 0 2
8 0 1
9 0 1
10 0 0
11 0 0
12 0 0
13 0 0
14 0 1
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 60 76
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 308981 0 0 20
0 -79 0 -59 0 -39 0 -19 490466 1 0 21
0 -78 0 -58 0 -38 0 -18 453 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 2 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 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 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 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 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 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 ------
475000 | |o
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | oo
25000 | oo
0 |_________._________._________.oo__o____._________.________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 = 171. 0 thru 39 = 799905.
histend K = 200000. 40 thru Max = 87.
End analysis of Test T220 at 09:04:43.459 980422
==sss========================================================================
Test T300. Seek a relaxation of A(CMP,UPO,URR,WW).
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
To show: Not A(CMP,UPO,URR,WW).
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T300 at 09:04:44.320 980422
End execution of Test T300 at 09:04:45.404 980422
Duration 1.084
Start analysis of Test T300 at 09:04:45.406 980422
Thread start, stop, and dur times.
0.200 0.200 0.200 0.200 0.000 0.000 0.000 0.000
1.081 0.661 0.513 0.519 0.000 0.000 0.000 0.000
0.881 0.461 0.313 0.319 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 6039 6720 0 0
19998 12521 10577 0 0
29997 18863 15685 0 0
39996 20628 25922 0 0
49995 32017 25799 0 0
59994 30556 38660 0 0
69993 44659 45152 0 0
79992 40114 51390 0 0
89991 45138 57610 0 0
99990 50192 50721 0 0
109989 69099 69954 0 0
119988 75337 76370 0 0
129987 65036 84208 0 0
139986 70226 71949 0 0
149985 95459 76967 0 0
159984 101773 104210 0 0
169983 108107 86979 0 0
179982 90068 92067 0 0
189981 95104 123022 0 0
199980 126113 102541 0 0
dim = 80, max = 129027, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2
2 1
1
1
2 1
2 1
1
2
2
2
2 1
2
2 1
2 1
21
1 2
2
2 2
2 1 2 1
2
2 1 2
1 1
2 1 11
2 21
1
1 1
2
21 2 1
21 21
21
3
1 1
3
2
1 1
3
3 3
21
2 1
21 2
2 2
21 21
2
21
1 23
1
1 1
2 1
1 1
3
3 3
3 22
2 1
2 3
3 2
2
1
1 1
1 1
2 1
2 2
1 22
1
1
2 2
2 23
1
2111
212
221
11
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 609371 0 1 20
0 -79 0 -59 0 -39 0 -19 162 1 10 21
0 -78 0 -58 0 -38 0 -18 161940 2 0 22
0 -77 0 -57 0 -37 0 -17 40353 3 11 23
0 -76 0 -56 0 -36 0 -16 23934 4 0 24
0 -75 0 -55 0 -35 0 -15 23797 5 7 25
0 -74 0 -54 0 -34 0 -14 3884 6 0 26
0 -73 0 -53 0 -33 0 -13 9128 7 8 27
0 -72 0 -52 0 -32 0 -12 678 8 0 28
0 -71 0 -51 0 -31 0 -11 2802 9 11 29
0 -70 0 -50 0 -30 0 -10 128 10 0 30
0 -69 0 -49 0 -29 0 -9 695 11 10 31
0 -68 0 -48 0 -28 0 -8 22 12 0 32
0 -67 0 -47 0 -27 0 -7 164 13 10 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 43 15 8 35
0 -64 0 -44 0 -24 0 -4 1 16 0 36
0 -63 0 -43 0 -23 0 -3 11 17 9 37
0 -62 0 -42 0 -22 0 -2 2 18 0 38
0 -61 0 -41 0 -21 0 -1 12 19 10 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o o
120000 | o o
80000 | o o
40000 | o oo
0 |_________._________._________.ooooooooooooo_ooooooo_o_o_o_o.o_o_o_o_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 300. Total = 878234. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1847. 0 thru 39 = 877222.
histend K = 200000. 40 thru Max = 1012.
End analysis of Test T300 at 09:04:56.927 980422
==sss========================================================================
Test T310. Seek a relaxation of A(CMP,UPO,URR,WW).
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
To show: Not A(CMP,UPO,URR,WW).
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T310 at 09:04:57.788 980422
End execution of Test T310 at 09:04:58.818 980422
Duration 1.030
Start analysis of Test T310 at 09:04:59.269 980422
Thread start, stop, and dur times.
0.092 0.092 0.092 0.092 0.000 0.000 0.000 0.000
1.024 0.589 0.419 0.405 0.000 0.000 0.000 0.000
0.932 0.497 0.327 0.313 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 88 44 0 0
9999 4808 5726 0 0
19998 11549 11478 0 0
29997 14478 17234 0 0
39996 18910 23106 0 0
49995 28809 29036 0 0
59994 28534 35110 0 0
69993 33362 40906 0 0
79992 52867 38741 0 0
89991 49112 53298 0 0
99990 53828 59202 0 0
109989 71059 65072 0 0
119988 76975 70950 0 0
129987 67872 63077 0 0
139986 72672 67921 0 0
149985 94151 72765 0 0
159984 99435 94276 0 0
169983 105259 99972 0 0
179982 91836 87581 0 0
189981 96978 111696 0 0
199980 123627 117738 0 0
dim = 80, max = 123638, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
1
1
1 2
1 2
1 2
1
2
1 2
2
1 2
2
2
1
1 2
1
1 2
1 2
1 2
2
2 1
1 1
1 1
1 2
2
1 2 2
1
1 2 1 2
1 2 2
1 11
1 1
1 2
1 22
2 11 2
1 2 1
1 2 2
1 2
1 2 2
1 2 22
2 2
1
1 1
1 2 2
1 2
1
2 1
2 1 2
2 2
2
3 2
2
1
3
3
2 21
21
21
2 3
2 31
1 2
2 1
1 1
3 21
3 1
1 2
1
2 2
2 2
311
13
12
32
3
13
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 620081 0 0 20
0 -79 0 -59 0 -39 0 -19 626 1 12 21
0 -78 0 -58 0 -38 0 -18 154200 2 0 22
0 -77 0 -57 0 -37 0 -17 37681 3 9 23
0 -76 0 -56 0 -36 0 -16 20994 4 0 24
0 -75 0 -55 0 -35 0 -15 21314 5 11 25
0 -74 0 -54 0 -34 0 -14 3807 6 0 26
0 -73 0 -53 0 -33 0 -13 8130 7 8 27
0 -72 0 -52 0 -32 0 -12 705 8 0 28
0 -71 0 -51 0 -31 0 -11 2554 9 10 29
0 -70 0 -50 0 -30 0 -10 135 10 0 30
0 -69 0 -49 0 -29 0 -9 682 11 11 31
0 -68 0 -48 0 -28 0 -8 25 12 0 32
0 -67 0 -47 0 -27 0 -7 179 13 10 33
0 -66 0 -46 0 -26 0 -6 7 14 0 34
0 -65 0 -45 0 -25 0 -5 41 15 11 35
0 -64 0 -44 0 -24 0 -4 1 16 0 36
0 -63 0 -43 0 -23 0 -3 20 17 13 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 12 19 15 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o o
80000 | o o
40000 | o o
0 |_________._________._________.ooooooooooooooooo_o.o_o_o_o_o.o_o_o_o_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 310. Total = 873922. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6503. 0 thru 39 = 871304.
histend K = 200000. 40 thru Max = 2618.
End analysis of Test T310 at 09:05:10.263 980422
==sss========================================================================
Test T320. Seek a relaxation of A(CMP,UPO,URR,WW).
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
To show: Not A(CMP,UPO,URR,WW).
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T320 at 09:05:11.123 980422
End execution of Test T320 at 09:05:12.277 980422
Duration 1.154
Start analysis of Test T320 at 09:05:13.084 980422
Thread start, stop, and dur times.
0.157 0.157 0.157 0.157 0.000 0.000 0.000 0.000
1.150 0.676 0.487 0.474 0.000 0.000 0.000 0.000
0.993 0.519 0.330 0.317 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 5395 5212 0 0
19998 11223 12716 0 0
29997 16787 15279 0 0
39996 21837 19799 0 0
49995 22724 29172 0 0
59994 33007 28807 0 0
69993 38925 40376 0 0
79992 36880 45976 0 0
89991 49957 42803 0 0
99990 51000 58062 0 0
109989 55628 52053 0 0
119988 72827 56657 0 0
129987 78265 61055 0 0
139986 83599 79466 0 0
149985 89933 70227 0 0
159984 79026 90386 0 0
169983 83568 96132 0 0
179982 106703 84175 0 0
189981 92882 89069 0 0
199980 118175 113108 0 0
dim = 80, max = 118186, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
1
1 2
1
1
1
1
1 2
1 2
1
1
1 2
2 1
1 2
1 2
2
2 22
1 2
1 2 1
1
2 2
2 2
2
2 11 2
1 2
1 2 1
1 2 1 2
1 2
1 22 2
2 1
1 2 1
1 2 11
1 2
2 2
1
1 2
1 2
2 1
1
2
2 1 2
1
2 22
21
21
21 2
21
21 21
1 1
21
1
1
1
2
2 2
2 2
21 2
21
2 1 11
2 1
1 21
2 2
21
21 21
21 1
21
21
1
321
3
23
1
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 626263 0 1 20
0 -79 0 -59 0 -39 0 -19 107 1 21 21
0 -78 0 -58 0 -38 0 -18 151228 2 2 22
0 -77 0 -57 0 -37 0 -17 42497 3 21 23
0 -76 0 -56 0 -36 0 -16 19214 4 2 24
0 -75 0 -55 0 -35 0 -15 18905 5 21 25
0 -74 0 -54 0 -34 0 -14 2754 6 1 26
0 -73 0 -53 0 -33 0 -13 6167 7 16 27
0 -72 0 -52 0 -32 0 -12 387 8 1 28
0 -71 0 -51 0 -31 0 -11 1681 9 20 29
0 -70 0 -50 0 -30 0 -10 50 10 1 30
0 -69 0 -49 0 -29 0 -9 361 11 21 31
0 -68 0 -48 0 -28 0 -8 13 12 1 32
0 -67 0 -47 0 -27 0 -7 85 13 22 33
0 -66 0 -46 0 -26 0 -6 2 14 0 34
0 -65 0 -45 0 -25 0 -5 40 15 19 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 21 17 19 37
0 -62 0 -42 0 -22 0 -2 6 18 1 38
0 -61 0 -41 0 -21 0 -1 18 19 21 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o o
80000 | o o
40000 | o oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooo_ooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 320. Total = 873364. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6832. 0 thru 39 = 870012.
histend K = 200000. 40 thru Max = 3352.
End analysis of Test T320 at 09:05:24.094 980422
==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 09:05:24.955 980422
End execution of Test T400 at 09:05:25.610 980422
Duration 0.655
Start analysis of Test T400 at 09:05:25.613 980422
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.653 0.654 0.000 0.000 0.000 0.000 0.000 0.000
0.638 0.639 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 21 0 0
9999 9713 10288 0 0
19998 19489 20535 0 0
29997 29418 30543 0 0
39996 39511 40498 0 0
49995 49751 50445 0 0
59994 59495 60491 0 0
69993 69572 70457 0 0
79992 79529 80435 0 0
89991 89626 90340 0 0
99990 99705 100279 0 0
109989 109604 110374 0 0
119988 119695 120286 0 0
129987 129541 130426 0 0
139986 139462 140539 0 0
149985 149712 150256 0 0
159984 159819 160096 0 0
169983 169784 170187 0 0
179982 179597 180290 0 0
189981 189469 190497 0 0
199980 199800 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
23
21
21
21
21
21
21
21
21
1
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
2
31
2
21
21
21
21
21
21
21
21
21
21
31
1
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 28939 0
1 346790 346797
2 24211 24191
3 9 21
4 0 0
5 0 0
6 0 0
7 0 0
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 47 48
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 302912 0 48 20
0 -79 0 -59 0 -39 0 -19 466956 1 48 21
0 -78 0 -58 0 -38 0 -18 25427 2 48 22
0 -77 0 -57 0 -37 0 -17 59 3 48 23
0 -76 0 -56 0 -36 0 -16 48 4 48 24
0 -75 0 -55 0 -35 0 -15 48 5 47 25
0 -74 0 -54 0 -34 0 -14 48 6 47 26
0 -73 0 -53 0 -33 0 -13 48 7 47 27
0 -72 0 -52 0 -32 0 -12 48 8 47 28
0 -71 0 -51 0 -31 0 -11 48 9 47 29
0 -70 0 -50 0 -30 0 -10 48 10 47 30
0 -69 0 -49 0 -29 0 -9 48 11 47 31
0 -68 0 -48 0 -28 0 -8 48 12 47 32
0 -67 0 -47 0 -27 0 -7 48 13 47 33
0 -66 0 -46 0 -26 0 -6 48 14 47 34
0 -65 0 -45 0 -25 0 -5 48 15 47 35
0 -64 0 -44 0 -24 0 -4 48 16 47 36
0 -63 0 -43 0 -23 0 -3 48 17 47 37
0 -62 0 -42 0 -22 0 -2 48 18 47 38
0 -61 0 -41 0 -21 0 -1 48 19 46 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | oo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 799807. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 210. 0 thru 39 = 797066.
histend K = 200000. 40 thru Max = 2741.
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 11 0 48 20
0 -79 0 -59 0 -39 0 -19 120167 1 48 21
0 -78 0 -58 0 -38 0 -18 268805 2 48 22
0 -77 0 -57 0 -37 0 -17 6278 3 48 23
0 -76 0 -56 0 -36 0 -16 94 4 48 24
0 -75 0 -55 0 -35 0 -15 48 5 48 25
0 -74 0 -54 0 -34 0 -14 48 6 48 26
0 -73 0 -53 0 -33 0 -13 48 7 48 27
0 -72 0 -52 0 -32 0 -12 48 8 48 28
0 -71 0 -51 0 -31 0 -11 48 9 48 29
0 -70 0 -50 0 -30 0 -10 48 10 48 30
0 -69 0 -49 0 -29 0 -9 48 11 48 31
0 -68 0 -48 0 -28 0 -8 48 12 48 32
0 -67 0 -47 0 -27 0 -7 48 13 48 33
0 -66 0 -46 0 -26 0 -6 48 14 48 34
0 -65 0 -45 0 -25 0 -5 48 15 48 35
0 -64 0 -44 0 -24 0 -4 48 16 48 36
0 -63 0 -43 0 -23 0 -3 48 17 48 37
0 -62 0 -42 0 -22 0 -2 48 18 48 38
0 -61 0 -41 0 -21 0 -1 48 19 48 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | | o
240000 | | o
220000 | | o
200000 | | o
180000 | | o
160000 | | o
140000 | | o
120000 | |oo
100000 | |oo
80000 | |oo
60000 | |oo
40000 | |oo
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399976. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 211. 0 thru 39 = 397035.
histend K = 200000. 40 thru Max = 2941.
End analysis of Test T400 at 09:05:33.701 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 09:05:34.602 980422
End execution of Test T410 at 09:05:35.334 980422
Duration 0.732
Start analysis of Test T410 at 09:05:35.622 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
0.672 0.729 0.000 0.000 0.000 0.000 0.000 0.000
0.667 0.724 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 32 0 0
9999 8581 11610 0 0
19998 17662 22632 0 0
29997 26687 33959 0 0
39996 35579 45368 0 0
49995 44190 56823 0 0
59994 52707 68118 0 0
69993 61629 78799 0 0
79992 71089 90316 0 0
89991 79701 101493 0 0
99990 88435 112461 0 0
109989 97640 123729 0 0
119988 106689 135312 0 0
129987 115537 146250 0 0
139986 124224 157922 0 0
149985 133312 169060 0 0
159984 141865 180099 0 0
169983 150786 191646 0 0
179982 159878 199999 0 0
189981 168537 199999 0 0
199980 177128 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222222
2
2
2
2
2
2
2
2 1
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
2 1
2 1
2 11