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