ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
14:34:05.687 980528
Parameters initialized from file: weiden.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks to Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.
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 ('a' for all):
[
]
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test.
Output file name: a2222200.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 14:34:20.203 980528
End execution of Test T100 at 14:34:20.703 980528
Duration 0.500
Start analysis of Test T100 at 14:34:20.703 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.062 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.062 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 64 0 0 0
9999 20726 0 0 0
19998 40734 0 0 0
29997 60742 0 0 0
39996 71107 0 0 0
49995 77803 0 0 0
59994 84503 0 0 0
69993 91207 0 0 0
79992 97916 0 0 0
89991 104621 0 0 0
99990 111488 0 0 0
109989 118187 0 0 0
119988 124886 0 0 0
129987 131582 0 0 0
139986 138291 0 0 0
149985 145000 0 0 0
159984 151709 0 0 0
169983 158577 0 0 0
179982 165276 0 0 0
189981 171975 0 0 0
199980 178678 0 0 0
dim = 80, max = 178692, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11
1
1
11
1
1
11
1
1
11
1
1
1
11
1
1
11
1
1
11
1
1
11
1
1
11
1
1
11
1
1
1
11
1
1
11
1
1
11
1
1
11
1
1
11
1
1
1
11
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 55787 0
1 111912 89034
2 32255 55171
3 34 0
4 1 0
5 1 0
6 0 0
7 1 0
8 1 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 6 6
End analysis of Test T100 at 14:34:20.906 980528
==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 14:34:21.328 980528
End execution of Test T120 at 14:34:21.843 980528
Duration 0.515
Start analysis of Test T120 at 14:34:22.093 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.062 0.000 0.000 0.000 0.000 0.000 0.000
0.110 0.047 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 6701 0 0 0
19998 13408 0 0 0
29997 20118 0 0 0
39996 26827 0 0 0
49995 34998 0 0 0
59994 41708 0 0 0
69993 48415 0 0 0
79992 55124 0 0 0
89991 61831 0 0 0
99990 68541 0 0 0
109989 75248 0 0 0
119988 81957 0 0 0
129987 88837 0 0 0
139986 95548 0 0 0
149985 102255 0 0 0
159984 108965 0 0 0
169983 115674 0 0 0
179982 122382 0 0 0
189981 129089 0 0 0
199980 136444 0 0 0
dim = 80, max = 136458, 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 66241 0
1 133557 67853
2 190 65900
3 4 0
4 0 0
5 1 0
6 2 0
7 0 0
8 0 0
9 0 0
10 0 0
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 3 3
End analysis of Test T120 at 14:34:22.296 980528
==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 14:34:22.734 980528
line3
End execution of Test T200 at 14:34:23.234 980528
Duration 0.500
Start analysis of Test T200 at 14:34:23.234 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.266 0.219 0.000 0.000 0.000 0.000 0.000 0.000
0.266 0.219 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 49 54 0 0
9999 30399 30400 0 0
19998 60402 60403 0 0
29997 82083 82084 0 0
39996 102269 102270 0 0
49995 122276 122277 0 0
59994 142071 142072 0 0
69993 162097 162098 0 0
79992 182866 182867 0 0
89991 202882 202883 0 0
99990 223894 223895 0 0
109989 244325 244326 0 0
119988 264343 264344 0 0
129987 284754 284755 0 0
139986 305206 305207 0 0
149985 325224 325225 0 0
159984 345236 345237 0 0
169983 366254 366255 0 0
179982 386261 386262 0 0
189981 407262 407263 0 0
199980 428310 428311 0 0
dim = 80, max = 428350, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
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
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
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 1641 0
1 1945 398323
2 354567 0
3 41641 0
4 139 0
5 23 1
6 3 1
7 2 0
8 0 0
9 3 0
10 2 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 1
19 0 1
over 30 28
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 2468 0 0 20
0 -79 0 -59 0 -39 0 -19 182046 1 0 21
0 -78 0 -58 0 -38 0 -18 573465 2 0 22
0 -77 0 -57 0 -37 0 -17 41786 3 0 23
0 -76 0 -56 0 -36 0 -16 142 4 0 24
0 -75 0 -55 0 -35 0 -15 24 5 0 25
0 -74 0 -54 0 -34 0 -14 6 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 2 8 0 28
0 -71 0 -51 0 -31 0 -11 4 9 0 29
0 -70 0 -50 0 -30 0 -10 2 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 ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | | o
520000 | | o
480000 | | o
440000 | | o
400000 | | o
360000 | | o
320000 | | o
280000 | | o
240000 | | o
200000 | | o
160000 | |oo
120000 | |oo
80000 | |oo
40000 | |ooo
0 |_________._________._________ooooooooooo_________._________._________
-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 = 1145. 0 thru 39 = 799947.
histend K = 200000. 40 thru Max = 45.
End analysis of Test T200 at 14:34:23.859 980528
==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 14:34:24.281 980528
End execution of Test T210 at 14:34:24.796 980528
Duration 0.515
Start analysis of Test T210 at 14:34:24.890 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.297 0.234 0.000 0.000 0.000 0.000 0.000 0.000
0.282 0.219 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 19348 19349 0 0
19998 39356 39357 0 0
29997 59500 59501 0 0
39996 79596 79597 0 0
49995 99603 99604 0 0
59994 119698 119699 0 0
69993 139803 139804 0 0
79992 161339 161340 0 0
89991 181355 181356 0 0
99990 200217 200218 0 0
109989 219131 219132 0 0
119988 239149 239150 0 0
129987 259988 259989 0 0
139986 280165 280166 0 0
149985 300183 300184 0 0
159984 320579 320580 0 0
169983 338803 338804 0 0
179982 359722 359723 0 0
189981 379730 379731 0 0
199980 400748 400749 0 0
dim = 80, max = 400788, 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 6264 0
1 5013 392227
2 388267 1457
3 203 4
4 192 0
5 8 0
6 4 0
7 0 0
8 0 0
9 0 0
10 1 0
11 4 0
12 1 0
13 1 0
14 0 0
15 0 0
16 0 0
17 0 3
18 0 2
19 0 0
over 38 39
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9404 0 0 20
0 -79 0 -59 0 -39 0 -19 207300 1 0 21
0 -78 0 -58 0 -38 0 -18 582694 2 0 22
0 -77 0 -57 0 -37 0 -17 316 3 0 23
0 -76 0 -56 0 -36 0 -16 194 4 0 24
0 -75 0 -55 0 -35 0 -15 10 5 0 25
0 -74 0 -54 0 -34 0 -14 4 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 1 9 0 29
0 -70 0 -50 0 -30 0 -10 6 10 0 30
0 -69 0 -49 0 -29 0 -9 4 11 0 31
0 -68 0 -48 0 -28 0 -8 1 12 0 32
0 -67 0 -47 0 -27 0 -7 1 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 ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | | o
520000 | | o
480000 | | o
440000 | | o
400000 | | o
360000 | | o
320000 | | o
280000 | | o
240000 | | o
200000 | |oo
160000 | |oo
120000 | |oo
80000 | |oo
40000 | |oo
0 |_________._________._________ooooooo__ooooo______._________._________
-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 = 1551. 0 thru 39 = 799935.
histend K = 200000. 40 thru Max = 57.
End analysis of Test T210 at 14:34:25.515 980528
==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 14:34:25.953 980528
End execution of Test T220 at 14:34:26.468 980528
Duration 0.515
Start analysis of Test T220 at 14:34:26.734 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.297 0.234 0.000 0.000 0.000 0.000 0.000 0.000
0.282 0.219 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 19465 19466 0 0
19998 39705 39706 0 0
29997 60491 60492 0 0
39996 80659 80660 0 0
49995 100675 100676 0 0
59994 120762 120763 0 0
69993 142527 142528 0 0
79992 162545 162546 0 0
89991 183463 183464 0 0
99990 204249 204250 0 0
109989 224267 224268 0 0
119988 245136 245137 0 0
129987 265567 265568 0 0
139986 285585 285586 0 0
149985 305668 305669 0 0
159984 326007 326008 0 0
169983 346193 346194 0 0
179982 366209 366210 0 0
189981 386612 386613 0 0
199980 407363 407364 0 0
dim = 80, max = 407403, 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
33
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 2775 0
1 1271 397134
2 395502 50
3 12 0
4 380 0
5 12 0
6 6 0
7 0 0
8 1 0
9 3 0
10 1 0
11 0 0
12 1 0
13 0 0
14 0 0
15 0 0
16 0 1
17 0 0
18 0 0
19 0 0
over 32 36
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 4169 0 0 20
0 -79 0 -59 0 -39 0 -19 201689 1 0 21
0 -78 0 -58 0 -38 0 -18 593450 2 0 22
0 -77 0 -57 0 -37 0 -17 221 3 0 23
0 -76 0 -56 0 -36 0 -16 384 4 0 24
0 -75 0 -55 0 -35 0 -15 13 5 0 25
0 -74 0 -54 0 -34 0 -14 6 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 3 8 0 28
0 -71 0 -51 0 -31 0 -11 4 9 0 29
0 -70 0 -50 0 -30 0 -10 2 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 1 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 ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | | o
520000 | | o
480000 | | o
440000 | | o
400000 | | o
360000 | | o
320000 | | o
280000 | | o
240000 | | o
200000 | |oo
160000 | |oo
120000 | |oo
80000 | |oo
40000 | |oo
0 |_________._________._________ooooooooooo_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 = 2179. 0 thru 39 = 799944.
histend K = 200000. 40 thru Max = 48.
End analysis of Test T220 at 14:34:27.359 980528
==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 14:34:27.812 980528
End execution of Test T400 at 14:34:28.312 980528
Duration 0.500
Start analysis of Test T400 at 14:34:28.328 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.125 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 7 0 0
9999 7111 14340 0 0
19998 13761 29370 0 0
29997 20416 46171 0 0
39996 27068 61201 0 0
49995 32542 76224 0 0
59994 39194 92149 0 0
69993 45849 107166 0 0
79992 51906 120941 0 0
89991 58556 130940 0 0
99990 65213 141419 0 0
109989 71870 151419 0 0
119988 79038 161418 0 0
129987 89037 172592 0 0
139986 98555 182591 0 0
149985 108554 193785 0 0
159984 118554 199999 0 0
169983 127377 199999 0 0
179982 137375 199999 0 0
189981 146180 199999 0 0
199980 156179 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222222222222222
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
1
2 1
2 1
1
2 1
2 1
1
2 1
2 1
1
2 1
1
2 1
2 11
1
2 11
2 1
11
2 1
2 11
1
2 11
2 1
11
2 1
11
2 1
11
2 1
2 11
1
2 11
2 11
1
2 11
2 1
11
2 1
2 11
1
311
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 93004 0
1 267928 267963
2 38996 38933
3 45 78
4 0 0
5 1 0
6 1 0
7 0 1
8 1 0
9 1 0
10 2 0
11 1 1
12 0 1
13 1 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 1
19 0 0
over 14 14
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 361209 0 15 20
0 -79 0 -59 0 -39 0 -19 341411 1 14 21
0 -78 0 -58 0 -38 0 -18 43401 2 14 22
0 -77 0 -57 0 -37 0 -17 73 3 14 23
0 -76 0 -56 0 -36 0 -16 18 4 14 24
0 -75 0 -55 0 -35 0 -15 19 5 14 25
0 -74 0 -54 0 -34 0 -14 19 6 14 26
0 -73 0 -53 0 -33 0 -13 17 7 14 27
0 -72 0 -52 0 -32 0 -12 18 8 14 28
0 -71 0 -51 0 -31 0 -11 18 9 14 29
0 -70 0 -50 0 -30 0 -10 19 10 14 30
0 -69 0 -49 0 -29 0 -9 17 11 14 31
0 -68 0 -48 0 -28 0 -8 16 12 14 32
0 -67 0 -47 0 -27 0 -7 16 13 14 33
0 -66 0 -46 0 -26 0 -6 15 14 14 34
0 -65 0 -45 0 -25 0 -5 15 15 14 35
0 -64 0 -44 0 -24 0 -4 15 16 14 36
0 -63 0 -43 0 -23 0 -3 15 17 14 37
0 -62 0 -42 0 -22 0 -2 15 18 14 38
0 -61 0 -41 0 -21 0 -1 15 19 14 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | o
340000 | oo
320000 | oo
300000 | oo
280000 | oo
260000 | oo
240000 | oo
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | oo
40000 | ooo
20000 | 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 = 756193. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2291. 0 thru 39 = 746642.
histend K = 200000. 40 thru Max = 9551.
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 8 0 15 20
0 -79 0 -59 0 -39 0 -19 73484 1 15 21
0 -78 0 -58 0 -38 0 -18 237408 2 15 22
0 -77 0 -57 0 -37 0 -17 35098 3 15 23
0 -76 0 -56 0 -36 0 -16 119 4 15 24
0 -75 0 -55 0 -35 0 -15 17 5 15 25
0 -74 0 -54 0 -34 0 -14 16 6 15 26
0 -73 0 -53 0 -33 0 -13 17 7 15 27
0 -72 0 -52 0 -32 0 -12 17 8 15 28
0 -71 0 -51 0 -31 0 -11 16 9 15 29
0 -70 0 -50 0 -30 0 -10 17 10 15 30
0 -69 0 -49 0 -29 0 -9 18 11 15 31
0 -68 0 -48 0 -28 0 -8 16 12 15 32
0 -67 0 -47 0 -27 0 -7 17 13 15 33
0 -66 0 -46 0 -26 0 -6 17 14 15 34
0 -65 0 -45 0 -25 0 -5 16 15 15 35
0 -64 0 -44 0 -24 0 -4 16 16 15 36
0 -63 0 -43 0 -23 0 -3 16 17 15 37
0 -62 0 -42 0 -22 0 -2 16 18 15 38
0 -61 0 -41 0 -21 0 -1 16 19 15 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | | o
200000 | | o
180000 | | o
160000 | | o
140000 | | o
120000 | | o
100000 | | o
80000 | | o
60000 | |oo
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399988. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 43802. 0 thru 39 = 346665.
histend K = 200000. 40 thru Max = 53323.
End analysis of Test T400 at 14:34:29.281 980528
==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 14:34:29.718 980528
End execution of Test T410 at 14:34:30.234 980528
Duration 0.516
Start analysis of Test T410 at 14:34:30.328 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.109 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 92 0 0
9999 9790 10207 0 0
19998 19709 20287 0 0
29997 31061 28936 0 0
39996 41100 38896 0 0
49995 51138 48855 0 0
59994 62317 58797 0 0
69993 72296 67685 0 0
79992 82275 77703 0 0
89991 92781 87195 0 0
99990 102760 97213 0 0
109989 112739 107232 0 0
119988 122757 117213 0 0
129987 132737 127231 0 0
139986 142716 137250 0 0
149985 152679 147284 0 0
159984 162659 157303 0 0
169983 172875 167322 0 0
179982 182855 177102 0 0
189981 192834 187121 0 0
199980 199999 197153 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111
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
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
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
12
12
12
12
12
12
12
12
12
12
12
12
12
22
21
21
21
21
21
21
21
21
21
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 21361 0
1 364325 364301
2 14265 14312
3 27 5
4 1 1
5 0 0
6 0 0
7 1 1
8 0 0
9 2 1
10 0 0
11 1 0
12 0 1
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 13 13
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 386008 0 13 20
0 -79 0 -59 0 -39 0 -19 392286 1 13 21
0 -78 0 -58 0 -38 0 -18 14640 2 12 22
0 -77 0 -57 0 -37 0 -17 45 3 11 23
0 -76 0 -56 0 -36 0 -16 17 4 11 24
0 -75 0 -55 0 -35 0 -15 16 5 11 25
0 -74 0 -54 0 -34 0 -14 16 6 11 26
0 -73 0 -53 0 -33 0 -13 16 7 11 27
0 -72 0 -52 0 -32 0 -12 15 8 11 28
0 -71 0 -51 0 -31 0 -11 17 9 11 29
0 -70 0 -50 0 -30 0 -10 14 10 11 30
0 -69 0 -49 0 -29 0 -9 15 11 11 31
0 -68 0 -48 0 -28 0 -8 13 12 11 32
0 -67 0 -47 0 -27 0 -7 13 13 11 33
0 -66 0 -46 0 -26 0 -6 13 14 11 34
0 -65 0 -45 0 -25 0 -5 13 15 11 35
0 -64 0 -44 0 -24 0 -4 13 16 12 36
0 -63 0 -43 0 -23 0 -3 13 17 11 37
0 -62 0 -42 0 -22 0 -2 13 18 10 38
0 -61 0 -41 0 -21 0 -1 13 19 10 39
------ Relaxed ------ | ------ Strong ------
380000 | oo
360000 | oo
340000 | oo
320000 | oo
300000 | oo
280000 | oo
260000 | oo
240000 | oo
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | oo
40000 | oo
20000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 797167. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1508. 0 thru 39 = 793433.
histend K = 200000. 40 thru Max = 3734.
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 13 20
0 -79 0 -59 0 -39 0 -19 27962 1 13 21
0 -78 0 -58 0 -38 0 -18 364205 2 12 22
0 -77 0 -57 0 -37 0 -17 796 3 12 23
0 -76 0 -56 0 -36 0 -16 17 4 11 24
0 -75 0 -55 0 -35 0 -15 15 5 11 25
0 -74 0 -54 0 -34 0 -14 15 6 11 26
0 -73 0 -53 0 -33 0 -13 15 7 11 27
0 -72 0 -52 0 -32 0 -12 14 8 11 28
0 -71 0 -51 0 -31 0 -11 15 9 11 29
0 -70 0 -50 0 -30 0 -10 13 10 11 30
0 -69 0 -49 0 -29 0 -9 13 11 11 31
0 -68 0 -48 0 -28 0 -8 14 12 11 32
0 -67 0 -47 0 -27 0 -7 13 13 11 33
0 -66 0 -46 0 -26 0 -6 13 14 11 34
0 -65 0 -45 0 -25 0 -5 13 15 11 35
0 -64 0 -44 0 -24 0 -4 13 16 12 36
0 -63 0 -43 0 -23 0 -3 13 17 12 37
0 -62 0 -42 0 -22 0 -2 13 18 12 38
0 -61 0 -41 0 -21 0 -1 13 19 10 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 | | o
80000 | | o
60000 | | o
40000 | | o
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399872. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2828. 0 thru 39 = 393416.
histend K = 200000. 40 thru Max = 6456.
End analysis of Test T410 at 14:34:31.296 980528
==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 14:34:31.734 980528
End execution of Test T420 at 14:34:32.250 980528
Duration 0.516
Start analysis of Test T420 at 14:34:32.515 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.109 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 9977 10020 0 0
19998 19976 20019 0 0
29997 28581 31418 0 0
39996 38530 41467 0 0
49995 48488 51510 0 0
59994 57585 62416 0 0
69993 67535 72461 0 0
79992 77487 82507 0 0
89991 86616 93364 0 0
99990 96615 103364 0 0
109989 106614 113363 0 0
119988 116595 123381 0 0
129987 126593 133379 0 0
139986 136592 143672 0 0
149985 146298 153671 0 0
159984 156297 163671 0 0
169983 166296 174042 0 0
179982 175923 184040 0 0
189981 185922 194039 0 0
199980 195028 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222
2
2 11
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 1
2 1
2 1
2 1
2 1
2 1
2 1
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 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
1
21
21
21
21
21
21
21
21
21
21
21
21
31
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 19657 0
1 370915 370859
2 9347 9456
3 56 3
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 1 0
17 1 2
18 1 1
19 2 1
over 15 17
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 390849 0 18 20
0 -79 0 -59 0 -39 0 -19 389470 1 15 21
0 -78 0 -58 0 -38 0 -18 9431 2 16 22
0 -77 0 -57 0 -37 0 -17 77 3 14 23
0 -76 0 -56 0 -36 0 -16 21 4 12 24
0 -75 0 -55 0 -35 0 -15 21 5 12 25
0 -74 0 -54 0 -34 0 -14 21 6 12 26
0 -73 0 -53 0 -33 0 -13 21 7 12 27
0 -72 0 -52 0 -32 0 -12 21 8 12 28
0 -71 0 -51 0 -31 0 -11 21 9 12 29
0 -70 0 -50 0 -30 0 -10 21 10 12 30
0 -69 0 -49 0 -29 0 -9 21 11 12 31
0 -68 0 -48 0 -28 0 -8 21 12 11 32
0 -67 0 -47 0 -27 0 -7 21 13 11 33
0 -66 0 -46 0 -26 0 -6 21 14 11 34
0 -65 0 -45 0 -25 0 -5 21 15 11 35
0 -64 0 -44 0 -24 0 -4 22 16 11 36
0 -63 0 -43 0 -23 0 -3 21 17 11 37
0 -62 0 -42 0 -22 0 -2 19 18 11 38
0 -61 0 -41 0 -21 0 -1 20 19 10 39
------ Relaxed ------ | ------ Strong ------
380000 | oo
360000 | oo
340000 | oo
320000 | oo
300000 | oo
280000 | oo
260000 | oo
240000 | oo
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | oo
40000 | oo
20000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 795042. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1440. 0 thru 39 = 790407.
histend K = 200000. 40 thru Max = 4635.
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 5 0 16 20
0 -79 0 -59 0 -39 0 -19 18556 1 14 21
0 -78 0 -58 0 -38 0 -18 370371 2 13 22
0 -77 0 -57 0 -37 0 -17 879 3 15 23
0 -76 0 -56 0 -36 0 -16 18 4 12 24
0 -75 0 -55 0 -35 0 -15 15 5 12 25
0 -74 0 -54 0 -34 0 -14 15 6 12 26
0 -73 0 -53 0 -33 0 -13 15 7 12 27
0 -72 0 -52 0 -32 0 -12 15 8 12 28
0 -71 0 -51 0 -31 0 -11 15 9 12 29
0 -70 0 -50 0 -30 0 -10 15 10 12 30
0 -69 0 -49 0 -29 0 -9 15 11 13 31
0 -68 0 -48 0 -28 0 -8 15 12 12 32
0 -67 0 -47 0 -27 0 -7 15 13 12 33
0 -66 0 -46 0 -26 0 -6 15 14 12 34
0 -65 0 -45 0 -25 0 -5 15 15 12 35
0 -64 0 -44 0 -24 0 -4 15 16 12 36
0 -63 0 -43 0 -23 0 -3 16 17 12 37
0 -62 0 -42 0 -22 0 -2 17 18 12 38
0 -61 0 -41 0 -21 0 -1 15 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 | | o
80000 | | o
60000 | | o
40000 | | o
20000 | | o
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 399976. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4953. 0 thru 39 = 390307.
histend K = 200000. 40 thru Max = 9669.
End analysis of Test T420 at 14:34:33.468 980528
==sss========================================================================
The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================
Test T700. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.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 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.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).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T700 at 14:34:33.921 980528
End execution of Test T700 at 14:34:34.421 980528
Duration 0.500
Start analysis of Test T700 at 14:34:34.421 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.172 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.172 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 16 199999 199999
9999 8819 11182 0 0
19998 18789 21210 0 0
29997 27769 32231 0 0
39996 37740 42260 0 0
49995 47438 52552 0 0
59994 57437 62550 0 0
69993 67451 72535 0 0
79992 77450 83029 0 0
89991 86954 93028 0 0
99990 96953 103293 0 0
109989 106686 113292 0 0
119988 115852 124124 0 0
129987 125851 134123 0 0
139986 135070 144902 0 0
149985 145069 154901 0 0
159984 154300 165668 0 0
169983 164300 176182 0 0
179982 173783 186181 0 0
189981 183782 196312 0 0
199980 193648 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 2222
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
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2
2 1
2 1
2 1
1
2 11
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 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 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
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 65129 0
1 283216 283215
2 51617 51620
3 6 4
4 6 4
5 0 2
6 0 0
7 0 0
8 1 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 1 1
18 0 0
19 0 1
over 20 20
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 116866 0 20 20
0 -79 0 -59 0 -39 0 -19 566438 1 20 21
0 -78 0 -58 0 -38 0 -18 103176 2 20 22
0 -77 0 -57 0 -37 0 -17 38 3 21 23
0 -76 0 -56 0 -36 0 -16 34 4 19 24
0 -75 0 -55 0 -35 0 -15 24 5 19 25
0 -74 0 -54 0 -34 0 -14 22 6 19 26
0 -73 0 -53 0 -33 0 -13 22 7 19 27
0 -72 0 -52 0 -32 0 -12 23 8 19 28
0 -71 0 -51 0 -31 0 -11 22 9 20 29
0 -70 0 -50 0 -30 0 -10 22 10 17 30
0 -69 0 -49 0 -29 0 -9 22 11 17 31
0 -68 0 -48 0 -28 0 -8 22 12 17 32
0 -67 0 -47 0 -27 0 -7 22 13 17 33
0 -66 0 -46 0 -26 0 -6 22 14 17 34
0 -65 0 -45 0 -25 0 -5 22 15 18 35
0 -64 0 -44 0 -24 0 -4 22 16 15 36
0 -63 0 -43 0 -23 0 -3 23 17 15 37
0 -62 0 -42 0 -22 0 -2 21 18 15 38
0 -61 0 -41 0 -21 0 -1 21 19 15 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |o
520000 | |o
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | |o
200000 | |o
160000 | |o
120000 | |o
80000 | ooo
40000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 793661. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1197. 0 thru 39 = 787243.
histend K = 200000. 40 thru Max = 6418.
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 13 0 21 20
0 -79 0 -59 0 -39 0 -19 283223 1 21 21
0 -78 0 -58 0 -38 0 -18 103151 2 21 22
0 -77 0 -57 0 -37 0 -17 139 3 21 23
0 -76 0 -56 0 -36 0 -16 28 4 21 24
0 -75 0 -55 0 -35 0 -15 22 5 20 25
0 -74 0 -54 0 -34 0 -14 22 6 20 26
0 -73 0 -53 0 -33 0 -13 22 7 20 27
0 -72 0 -52 0 -32 0 -12 23 8 20 28
0 -71 0 -51 0 -31 0 -11 22 9 19 29
0 -70 0 -50 0 -30 0 -10 22 10 19 30
0 -69 0 -49 0 -29 0 -9 22 11 18 31
0 -68 0 -48 0 -28 0 -8 22 12 18 32
0 -67 0 -47 0 -27 0 -7 22 13 18 33
0 -66 0 -46 0 -26 0 -6 22 14 18 34
0 -65 0 -45 0 -25 0 -5 22 15 18 35
0 -64 0 -44 0 -24 0 -4 22 16 17 36
0 -63 0 -43 0 -23 0 -3 22 17 16 37
0 -62 0 -42 0 -22 0 -2 21 18 16 38
0 -61 0 -41 0 -21 0 -1 21 19 16 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |o
260000 | |o
240000 | |o
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
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 = 700. Total = 399981. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6333. 0 thru 39 = 387261.
histend K = 200000. 40 thru Max = 12720.
End analysis of Test T700 at 14:34:35.390 980528
==sss========================================================================
Test T710. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.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 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.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).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T710 at 14:34:35.828 980528
End execution of Test T710 at 14:34:36.328 980528
Duration 0.500
Start analysis of Test T710 at 14:34:36.421 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.140 0.156 0.000 0.000 0.000 0.000 0.000 0.000
0.140 0.156 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 4 199999 0
9999 7100 14339 0 0
19998 13776 29312 0 0
29997 20458 40436 0 0
39996 29562 50485 0 0
49995 39511 60545 0 0
59994 49444 70594 0 0
69993 59397 81002 0 0
79992 68988 91051 0 0
89991 78937 101003 0 0
99990 88983 111052 0 0
109989 98932 121568 0 0
119988 108419 131617 0 0
129987 118368 142570 0 0
139986 127413 152619 0 0
149985 137362 163574 0 0
159984 146415 173623 0 0
169983 156364 184573 0 0
179982 166138 194621 0 0
189981 175362 199999 0 0
199980 185316 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4 2222222
2
2
2
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
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 11
2 1
2
2 1
1
2 1
2 1
2 1
2 1
2 11
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 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
1
2 1
2 1
11
2 1
2 11
1
211
21
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 30948 0
1 358249 358250
2 10758 10756
3 17 20
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 2 2
14 0 0
15 0 0
16 0 0
17 1 1
18 1 0
19 0 0
over 16 19
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 42012 0 23 20
0 -79 0 -59 0 -39 0 -19 716498 1 19 21
0 -78 0 -58 0 -38 0 -18 21287 2 16 22
0 -77 0 -57 0 -37 0 -17 59 3 16 23
0 -76 0 -56 0 -36 0 -16 22 4 14 24
0 -75 0 -55 0 -35 0 -15 22 5 15 25
0 -74 0 -54 0 -34 0 -14 22 6 13 26
0 -73 0 -53 0 -33 0 -13 22 7 12 27
0 -72 0 -52 0 -32 0 -12 22 8 12 28
0 -71 0 -51 0 -31 0 -11 22 9 12 29
0 -70 0 -50 0 -30 0 -10 22 10 12 30
0 -69 0 -49 0 -29 0 -9 22 11 12 31
0 -68 0 -48 0 -28 0 -8 22 12 11 32
0 -67 0 -47 0 -27 0 -7 23 13 12 33
0 -66 0 -46 0 -26 0 -6 20 14 10 34
0 -65 0 -45 0 -25 0 -5 20 15 10 35
0 -64 0 -44 0 -24 0 -4 20 16 10 36
0 -63 0 -43 0 -23 0 -3 21 17 10 37
0 -62 0 -42 0 -22 0 -2 20 18 10 38
0 -61 0 -41 0 -21 0 -1 19 19 10 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |o
640000 | |o
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
80000 | |o
40000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 785329. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 941. 0 thru 39 = 780456.
histend K = 200000. 40 thru Max = 4873.
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 13 0 20 20
0 -79 0 -59 0 -39 0 -19 358250 1 19 21
0 -78 0 -58 0 -38 0 -18 21388 2 17 22
0 -77 0 -57 0 -37 0 -17 207 3 16 23
0 -76 0 -56 0 -36 0 -16 18 4 15 24
0 -75 0 -55 0 -35 0 -15 18 5 14 25
0 -74 0 -54 0 -34 0 -14 18 6 14 26
0 -73 0 -53 0 -33 0 -13 18 7 13 27
0 -72 0 -52 0 -32 0 -12 18 8 13 28
0 -71 0 -51 0 -31 0 -11 18 9 13 29
0 -70 0 -50 0 -30 0 -10 18 10 13 30
0 -69 0 -49 0 -29 0 -9 18 11 13 31
0 -68 0 -48 0 -28 0 -8 18 12 12 32
0 -67 0 -47 0 -27 0 -7 18 13 12 33
0 -66 0 -46 0 -26 0 -6 16 14 11 34
0 -65 0 -45 0 -25 0 -5 16 15 11 35
0 -64 0 -44 0 -24 0 -4 16 16 11 36
0 -63 0 -43 0 -23 0 -3 17 17 11 37
0 -62 0 -42 0 -22 0 -2 16 18 11 38
0 -61 0 -41 0 -21 0 -1 18 19 11 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
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 | |o
80000 | |o
60000 | |o
40000 | |o
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 399974. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 14665. 0 thru 39 = 380407.
histend K = 200000. 40 thru Max = 19567.
End analysis of Test T710 at 14:34:37.390 980528
==sss========================================================================
Test T720. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.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 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.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).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T720 at 14:34:37.828 980528
End execution of Test T720 at 14:34:38.328 980528
Duration 0.500
Start analysis of Test T720 at 14:34:38.593 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.172 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.172 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 9026 10973 0 0
19998 19015 20981 0 0
29997 28833 31159 0 0
39996 38851 41138 0 0
49995 48780 51207 0 0
59994 58798 61186 0 0
69993 68236 71746 0 0
79992 78165 81816 0 0
89991 88184 91794 0 0
99990 97920 102056 0 0
109989 107940 112036 0 0
119988 117221 122750 0 0
129987 127237 132734 0 0
139986 136505 143460 0 0
149985 146524 153438 0 0
159984 156341 163619 0 0
169983 166361 174018 0 0
179982 175961 183995 0 0
189981 185979 194383 0 0
199980 195589 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222
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 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
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 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
1
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
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 28710 0
1 352448 352448
2 18806 18807
3 1 2
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 2 2
14 2 0
15 2 4
16 1 0
17 1 1
18 0 1
19 1 0
over 21 21
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 65166 0 22 20
0 -79 0 -59 0 -39 0 -19 704867 1 21 21
0 -78 0 -58 0 -38 0 -18 20053 2 21 22
0 -77 0 -57 0 -37 0 -17 32 3 21 23
0 -76 0 -56 0 -36 0 -16 29 4 22 24
0 -75 0 -55 0 -35 0 -15 29 5 21 25
0 -74 0 -54 0 -34 0 -14 29 6 19 26
0 -73 0 -53 0 -33 0 -13 29 7 19 27
0 -72 0 -52 0 -32 0 -12 29 8 20 28
0 -71 0 -51 0 -31 0 -11 29 9 18 29
0 -70 0 -50 0 -30 0 -10 29 10 19 30
0 -69 0 -49 0 -29 0 -9 29 11 16 31
0 -68 0 -48 0 -28 0 -8 29 12 16 32
0 -67 0 -47 0 -27 0 -7 31 13 16 33
0 -66 0 -46 0 -26 0 -6 29 14 16 34
0 -65 0 -45 0 -25 0 -5 29 15 16 35
0 -64 0 -44 0 -24 0 -4 24 16 16 36
0 -63 0 -43 0 -23 0 -3 24 17 16 37
0 -62 0 -42 0 -22 0 -2 22 18 16 38
0 -61 0 -41 0 -21 0 -1 22 19 16 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |o
640000 | |o
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
80000 | |o
40000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 795603. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1010. 0 thru 39 = 790927.
histend K = 200000. 40 thru Max = 4676.
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 24 20
0 -79 0 -59 0 -39 0 -19 352420 1 22 21
0 -78 0 -58 0 -38 0 -18 37646 2 22 22
0 -77 0 -57 0 -37 0 -17 44 3 22 23
0 -76 0 -56 0 -36 0 -16 22 4 22 24
0 -75 0 -55 0 -35 0 -15 22 5 22 25
0 -74 0 -54 0 -34 0 -14 22 6 20 26
0 -73 0 -53 0 -33 0 -13 22 7 20 27
0 -72 0 -52 0 -32 0 -12 22 8 20 28
0 -71 0 -51 0 -31 0 -11 22 9 20 29
0 -70 0 -50 0 -30 0 -10 22 10 19 30
0 -69 0 -49 0 -29 0 -9 22 11 17 31
0 -68 0 -48 0 -28 0 -8 22 12 17 32
0 -67 0 -47 0 -27 0 -7 24 13 17 33
0 -66 0 -46 0 -26 0 -6 24 14 17 34
0 -65 0 -45 0 -25 0 -5 24 15 17 35
0 -64 0 -44 0 -24 0 -4 23 16 17 36
0 -63 0 -43 0 -23 0 -3 23 17 17 37
0 -62 0 -42 0 -22 0 -2 23 18 17 38
0 -61 0 -41 0 -21 0 -1 23 19 17 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
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 | |o
80000 | |o
60000 | |o
40000 | |o
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 399984. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4391. 0 thru 39 = 390870.
histend K = 200000. 40 thru Max = 9114.
End analysis of Test T720 at 14:34:39.546 980528
==sss========================================================================
Test T800. Seek a relaxation of both A(CMP,UPO,CC3)
and A(CMP,UPO,WW,WR)
or of A(CMP,UPO,CC3),
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc.
Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent
modulo 10, where i+ > i, and W = U, V, X, Y.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a < b < c < d < e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a > b > c > d > e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3).
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T800 at 14:34:39.984 980528
End execution of Test T800 at 14:34:40.500 980528
Duration 0.516
Start analysis of Test T800 at 14:34:41.140 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.109 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 170 2 3
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 699930 699931 699932 699933
79992 799920 799921 799922 799923
89991 899910 899911 899912 899913
99990 999900 999901 999902 999903
109989 1099890 1099891 1099892 1099893
119988 1199880 1199881 1199882 1199883
129987 1299870 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1699830 1699831 1699832 1699833
179982 1799820 1799821 1799822 1799823
189981 1899810 1899811 1899812 1899813
199980 1999800 1999801 1999802 1999803
dim = 80, max = 2000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
F
F
F
F
F
F
F
F
F
F
F
2 F
F
F
F
F
F
F
F
F
F
F
2 F
F
F 1
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
2 F
F
F 1
F
F
F
F
F
F
F
F
F
F
2F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
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 799988 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 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 0 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 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 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
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
80000 | o
40000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799990. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 113. 0 thru 39 = 799988.
histend K = 200000. 40 thru Max = 2.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799989 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 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 0 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 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 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
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
80000 | o
40000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799989. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799989.
histend K = 200000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T800 at 14:35:03.390 980528
==sss========================================================================
Test T820. Seek a relaxation of both A(CMP,UPO,CC3)
and A(CMP,UPO,WW,WR)
or of A(CMP,UPO,CC3),
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc.
Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent
modulo 10, where i+ > i, and W = U, V, X, Y.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a < b < c < d < e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a > b > c > d > e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3).
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T820 at 14:35:03.843 980528
End execution of Test T820 at 14:35:04.343 980528
Duration 0.500
Start analysis of Test T820 at 14:35:05.843 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 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 1 2 3
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 699930 699931 699932 699933
79992 799920 799921 799922 799923
89991 899910 899911 899912 899913
99990 999900 999901 999902 999903
109989 1099890 1099891 1099892 1099893
119988 1199880 1199881 1199882 1199883
129987 1299870 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1699830 1699831 1699832 1699833
179982 1799820 1799821 1799822 1799823
189981 1899810 1899811 1899812 1899813
199980 1999800 1999801 1999802 1999803
dim = 80, max = 2000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F1
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
2F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
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 799993 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 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 0 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 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 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
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
80000 | o
40000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799993. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799993.
histend K = 200000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799993 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 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 0 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 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 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
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
80000 | o
40000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799993. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799993.
histend K = 200000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T820 at 14:35:26.765 980528
==sss========================================================================
The maximum number of threads (2) is too few to run Test T900.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T920.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1000.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1010.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1020.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1030.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1100.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1110.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1120.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1200.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1210.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1220.
==sss========================================================================
Time to perform 1000000 of the following integer operations:
NOPs: 0.047
Additions: 0.063
Subtractions: 0.079
Multiplications: 0.125
Divisions: 0.422
Time to perform 1000000 of the following floating operations:
Additions: 1.312
Subtractions: 1.328
Multiplications: 1.328
Divisions: 1.547
================================================================================
Summary of run: 14:35:33.109 980528
ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
This copy of ARCHTEST is licensed (under license no. vvv )
for use by vvv at vvv
Documentation is available via www.infomall.org/diagnostics.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.
Number of threads: 2.
Length of the arrays: 200000.
Frequency of fetching shared operands before stores: always
Line count: 0.
Action count: 0.
Interference count: 0.
T10 thread 0 count: 100000.
T10 thread 1 count: 10000.
T10 thread 2 count: 100000.
Each test in ARCHTEST seeks to observe a relaxation of behavior
defined by one or another subset of the following seven rules:
URR, RR, WW, RW, WR, CC1, and CC3. Here are the tests that have
just been run and the architectures whose relaxation
the tests have sought to detect.
T1xx. Both A(CMP,UPO,URR,WW) and A(CMP,UPO,URR,CC3)
T2xx. A(CMP,UPO,RR,WW)
T4xx. Both A(CMP,UPO,WW,WR) and (A(CMP,UPO,WR,CC3),
or both A(CMP,UPO,WW) and (A(CMP,UPO,RW)
T7xx. A(CMP,UPO,RR,CC1)
or both A(CMP,UPO,WW) and (A(CMP,UPO,RW))
T8xx. Both A(CMP,UPO,CC3) and (A(CMP,UPO,WR),
or A(CMP,UPO,CC3)
The tests performed on this run are listed below. Shown for each test
are (1) the durations of the test and of its analysis, and (2) the number of
integer operands and the number of floating point operands used in the test.
The d value, if blank, indicates strong behavior. Otherwise, the more
negative the d value, the more relaxed the behavior observed by the test.
Execution Analysis Operands
Duration Duration Test d int flt
0.500 0.203 T100 1 0
0.515 0.203 T120 0 1
0.500 0.625 T200 2 0
0.515 0.625 T210 1 1
0.515 0.625 T220 0 2
0.500 0.953 T400.1 2 0
T400.2 2 0
0.516 0.968 T410.1 1 1
T410.2 1 1
0.516 0.953 T420.1 0 2
T420.2 0 2
0.500 0.969 T700.1 2 0
T700.2 2 0
0.500 0.969 T710.1 1 1
T710.2 1 1
0.500 0.953 T720.1 0 2
T720.2 0 2
0.516 22.250 T800 1 0
0.500 20.922 T820 0 1
No monotonicity relaxations seen.
No other relaxations seen.
Tests and the architectures they test for.
A nonblank character at (row,column) shows that the test at the head
of the column tests for the rules at the left end of the row. A '+'
shows the test was not executed. 'O' shows that strong behavior was
observed; 'X' shows relaxed behavior.
T T T T T T T T T T T T T T T T
1 2 3 4 4 5 6 7 7 8 8 9 1 1 1 1
. . . . . . 1 1 2 2
1 3 1 3 1 2 . . . .
1 2 1 2
RW O O O O O
WW O O O O O
WW RR O
URR WW O O
URR CC3 O O
WR CC3 O O
WW WR O O O
CC3 O O
RR CC1 O O O O
Save the parameters from this run in a file?
Press Enter for No. Otherwise, enter the name of the file.
Run this job another time? [y] n