ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
14:29:53.281 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: a0000000.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:30:05.453 980528
End execution of Test T100 at 14:30:05.968 980528
Duration 0.515
Start analysis of Test T100 at 14:30:05.968 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.078 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.063 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 11267 0 0 0
19998 22482 0 0 0
29997 35331 0 0 0
39996 46552 0 0 0
49995 57596 0 0 0
59994 68572 0 0 0
69993 79795 0 0 0
79992 91045 0 0 0
89991 102426 0 0 0
99990 113376 0 0 0
109989 123797 0 0 0
119988 135646 0 0 0
129987 146394 0 0 0
139986 157027 0 0 0
149985 167959 0 0 0
159984 179764 0 0 0
169983 190686 0 0 0
179982 202320 0 0 0
189981 212988 0 0 0
199980 223758 0 0 0
dim = 80, max = 223778, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11
1
1
1
1
1
1
1
1
1
1
1
11
1
1
1
1
1
1
1
1
1
11
1
1
1
11
1
1
1
1
1
1
1
1
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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 2326 0
1 196818 197663
2 656 0
3 26 0
4 2 0
5 0 1
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 170 8
End analysis of Test T100 at 14:30:06.187 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:30:06.546 980528
End execution of Test T120 at 14:30:07.062 980528
Duration 0.516
Start analysis of Test T120 at 14:30:07.296 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.063 0.000 0.000 0.000 0.000 0.000 0.000
0.109 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 9867 0 0 0
19998 16676 0 0 0
29997 24470 0 0 0
39996 34471 0 0 0
49995 42116 0 0 0
59994 52115 0 0 0
69993 62114 0 0 0
79992 72113 0 0 0
89991 81166 0 0 0
99990 85354 0 0 0
109989 90709 0 0 0
119988 98515 0 0 0
129987 108523 0 0 0
139986 118532 0 0 0
149985 128541 0 0 0
159984 138550 0 0 0
169983 147854 0 0 0
179982 157803 0 0 0
189981 167812 0 0 0
199980 177821 0 0 0
dim = 80, max = 177841, 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
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
1
11111
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
1
1
1
1
1
1
11
1
1
11
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 24715 0
1 174465 174485
2 707 768
3 91 0
4 0 0
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 1
11 0 0
12 0 0
13 0 0
14 0 0
15 0 1
16 0 0
17 0 0
18 1 0
19 0 0
over 19 28
End analysis of Test T120 at 14:30:07.515 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:30:07.859 980528
line3
End execution of Test T200 at 14:30:08.375 980528
Duration 0.516
Start analysis of Test T200 at 14:30:08.375 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.187 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.171 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 30 110 0 0
9999 15793 15793 0 0
19998 31119 31119 0 0
29997 45551 45551 0 0
39996 62170 62170 0 0
49995 77682 77682 0 0
59994 92735 92735 0 0
69993 108628 108628 0 0
79992 124713 124713 0 0
89991 141027 141027 0 0
99990 157255 157255 0 0
109989 172221 172221 0 0
119988 187232 187232 0 0
129987 203383 203383 0 0
139986 217984 217984 0 0
149985 234095 234096 0 0
159984 250151 250151 0 0
169983 265888 265888 0 0
179982 282098 282098 0 0
189981 298396 298396 0 0
199980 313652 313652 0 0
dim = 80, max = 313682, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
3
3
33
3
33
3
3
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 8840 0
1 196105 391124
2 194567 7
3 52 1
4 0 0
5 0 2
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 1 0
13 1 0
14 0 0
15 2 0
16 0 0
17 0 0
18 0 0
19 0 0
over 426 22
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 13260 0 3 20
0 -79 0 -59 0 -39 0 -19 494025 1 0 21
0 -78 0 -58 0 -38 0 -18 291957 2 0 22
0 -77 0 -57 0 -37 0 -17 52 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 2 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 3 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
475000 | |o
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |oo
250000 | |oo
225000 | |oo
200000 | |oo
175000 | |oo
150000 | |oo
125000 | |oo
100000 | |oo
75000 | |oo
50000 | |oo
25000 | |oo
0 |_________._________._________oooo______._oo_o____o_________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 200. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 313. 0 thru 39 = 799303.
histend K = 200000. 40 thru Max = 689.
End analysis of Test T200 at 14:30:09.015 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:30:09.375 980528
End execution of Test T210 at 14:30:09.890 980528
Duration 0.515
Start analysis of Test T210 at 14:30:09.984 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.218 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.094 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 14 17 0 0
9999 12661 12661 0 0
19998 25464 25464 0 0
29997 35183 35183 0 0
39996 45222 45222 0 0
49995 56340 56340 0 0
59994 67417 67417 0 0
69993 77456 77456 0 0
79992 87494 87494 0 0
89991 97528 97528 0 0
99990 107367 107367 0 0
109989 117406 117406 0 0
119988 129536 129537 0 0
129987 140867 140867 0 0
139986 153373 153373 0 0
149985 165224 165225 0 0
159984 176890 176890 0 0
169983 186924 186924 0 0
179982 196960 196960 0 0
189981 206997 206997 0 0
199980 216897 216897 0 0
dim = 80, max = 216917, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
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
33
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
33
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 6763 0
1 354913 393211
2 38200 4
3 89 0
4 0 0
5 0 0
6 1 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 2
16 0 0
17 0 0
18 0 4
19 0 0
over 30 12
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 10148 0 0 20
0 -79 0 -59 0 -39 0 -19 732347 1 0 21
0 -78 0 -58 0 -38 0 -18 57323 2 0 22
0 -77 0 -57 0 -37 0 -17 127 3 0 23
0 -76 0 -56 0 -36 0 -16 1 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 1 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 1 38
0 -61 0 -41 0 -21 0 -1 0 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
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 | |oo
0 |_________._________._________ooooo_o___._________._________._______oo
-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 = 119. 0 thru 39 = 799950.
histend K = 200000. 40 thru Max = 42.
End analysis of Test T210 at 14:30:10.625 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:30:10.968 980528
End execution of Test T220 at 14:30:11.484 980528
Duration 0.516
Start analysis of Test T220 at 14:30:11.718 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.219 0.110 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.094 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 12440 12440 0 0
19998 25760 25761 0 0
29997 38289 38289 0 0
39996 50818 50818 0 0
49995 64124 64124 0 0
59994 76652 76652 0 0
69993 89180 89180 0 0
79992 101855 101855 0 0
89991 114382 114382 0 0
99990 126908 126909 0 0
109989 139484 139485 0 0
119988 152009 152009 0 0
129987 164536 164536 0 0
139986 177065 177065 0 0
149985 189568 189569 0 0
159984 202092 202092 0 0
169983 214500 214500 0 0
179982 227701 227701 0 0
189981 240223 240223 0 0
199980 252747 252747 0 0
dim = 80, max = 252772, 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 702 0
1 299140 399280
2 99911 0
3 230 0
4 1 0
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 1 0
13 1 0
14 0 0
15 0 0
16 0 0
17 0 1
18 0 1
19 0 2
over 10 10
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1054 0 0 20
0 -79 0 -59 0 -39 0 -19 648652 1 0 21
0 -78 0 -58 0 -38 0 -18 149973 2 0 22
0 -77 0 -57 0 -37 0 -17 294 3 0 23
0 -76 0 -56 0 -36 0 -16 1 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 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 2 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 | |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 | |oo
80000 | |oo
40000 | |oo
0 |_________._________._________ooooo_____._oo______._________._________
-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 = 989. 0 thru 39 = 799977.
histend K = 200000. 40 thru Max = 15.
End analysis of Test T220 at 14:30:12.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:30:12.734 980528
End execution of Test T400 at 14:30:13.234 980528
Duration 0.500
Start analysis of Test T400 at 14:30:13.250 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 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 24 0 0
9999 9249 10741 0 0
19998 19319 20670 0 0
29997 29375 30619 0 0
39996 39429 40558 0 0
49995 48272 51716 0 0
59994 58272 61715 0 0
69993 68271 71714 0 0
79992 78270 83055 0 0
89991 86927 93054 0 0
99990 96926 103053 0 0
109989 106925 113052 0 0
119988 116112 123864 0 0
129987 126110 133862 0 0
139986 136110 143861 0 0
149985 146109 153860 0 0
159984 155354 164614 0 0
169983 165353 174613 0 0
179982 175351 184611 0 0
189981 185350 194963 0 0
199980 194997 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 1
2 1
2 11
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 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
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
31
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 23440 0
1 364084 364053
2 12412 12471
3 42 13
4 3 0
5 2 4
6 0 1
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 13 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 387869 0 14 20
0 -79 0 -59 0 -39 0 -19 388442 1 14 21
0 -78 0 -58 0 -38 0 -18 12709 2 14 22
0 -77 0 -57 0 -37 0 -17 61 3 14 23
0 -76 0 -56 0 -36 0 -16 22 4 14 24
0 -75 0 -55 0 -35 0 -15 18 5 14 25
0 -74 0 -54 0 -34 0 -14 14 6 13 26
0 -73 0 -53 0 -33 0 -13 14 7 12 27
0 -72 0 -52 0 -32 0 -12 14 8 12 28
0 -71 0 -51 0 -31 0 -11 14 9 12 29
0 -70 0 -50 0 -30 0 -10 14 10 12 30
0 -69 0 -49 0 -29 0 -9 14 11 12 31
0 -68 0 -48 0 -28 0 -8 14 12 12 32
0 -67 0 -47 0 -27 0 -7 14 13 12 33
0 -66 0 -46 0 -26 0 -6 14 14 12 34
0 -65 0 -45 0 -25 0 -5 14 15 12 35
0 -64 0 -44 0 -24 0 -4 14 16 12 36
0 -63 0 -43 0 -23 0 -3 14 17 12 37
0 -62 0 -42 0 -22 0 -2 14 18 11 38
0 -61 0 -41 0 -21 0 -1 14 19 11 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 = 400. Total = 795011. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1394. 0 thru 39 = 789568.
histend K = 200000. 40 thru Max = 5443.
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 1 0 14 20
0 -79 0 -59 0 -39 0 -19 24359 1 14 21
0 -78 0 -58 0 -38 0 -18 363755 2 14 22
0 -77 0 -57 0 -37 0 -17 949 3 14 23
0 -76 0 -56 0 -36 0 -16 14 4 14 24
0 -75 0 -55 0 -35 0 -15 18 5 14 25
0 -74 0 -54 0 -34 0 -14 15 6 13 26
0 -73 0 -53 0 -33 0 -13 14 7 13 27
0 -72 0 -52 0 -32 0 -12 14 8 13 28
0 -71 0 -51 0 -31 0 -11 14 9 13 29
0 -70 0 -50 0 -30 0 -10 14 10 13 30
0 -69 0 -49 0 -29 0 -9 14 11 13 31
0 -68 0 -48 0 -28 0 -8 14 12 13 32
0 -67 0 -47 0 -27 0 -7 14 13 13 33
0 -66 0 -46 0 -26 0 -6 14 14 13 34
0 -65 0 -45 0 -25 0 -5 14 15 13 35
0 -64 0 -44 0 -24 0 -4 14 16 13 36
0 -63 0 -43 0 -23 0 -3 14 17 13 37
0 -62 0 -42 0 -22 0 -2 14 18 13 38
0 -61 0 -41 0 -21 0 -1 14 19 12 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 = 400. Total = 399973. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4984. 0 thru 39 = 389558.
histend K = 200000. 40 thru Max = 10415.
End analysis of Test T400 at 14:30:14.218 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:30:14.656 980528
End execution of Test T410 at 14:30:15.171 980528
Duration 0.515
Start analysis of Test T410 at 14:30:15.265 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.079 0.079 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 63 0 0
9999 9899 10098 0 0
19998 19888 20107 0 0
29997 29844 31571 0 0
39996 38413 41580 0 0
49995 48402 51588 0 0
59994 58391 61597 0 0
69993 68673 71312 0 0
79992 78672 81312 0 0
89991 88670 91310 0 0
99990 98669 101310 0 0
109989 108477 111502 0 0
119988 118466 121511 0 0
129987 128455 131519 0 0
139986 138444 141365 0 0
149985 148604 151365 0 0
159984 158604 161364 0 0
169983 168603 171363 0 0
179982 178617 181345 0 0
189981 188616 191345 0 0
199980 198616 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
23
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
2
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
21
21
21
21
31
3
3
3
3
3
3
3
2
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 5509 0
1 393225 393220
2 1247 1252
3 1 1
4 1 1
5 1 1
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 11 12
d = -1.
Event 4.2. v[ 29847] = 31421 < 31422; u[ 31422] = 29846 < 29847.
b=0 c=0 v[ 29847]: 31421
Event 4.2. v[ 29849] = 31423 < 31424; u[ 31424] = 29848 < 29849.
b=0 c=0 v[ 29849]: 31423
Event 4.2. v[ 29851] = 31425 < 31426; u[ 31426] = 29850 < 29851.
b=0 c=0 v[ 29851]: 31425
Event 4.2. v[ 29853] = 31427 < 31428; u[ 31428] = 29852 < 29853.
b=0 c=0 v[ 29853]: 31427
Event 4.2. v[ 29855] = 31429 < 31430; u[ 31430] = 29854 < 29855.
b=0 c=0 v[ 29855]: 31429
Event 4.2. v[ 29857] = 31431 < 31432; u[ 31432] = 29856 < 29857.
b=0 c=0 v[ 29857]: 31431
Event 4.2. v[ 29859] = 31433 < 31434; u[ 31434] = 29858 < 29859.
b=0 c=0 v[ 29859]: 31433
Event 4.2. v[ 29861] = 31435 < 31436; u[ 31436] = 29860 < 29861.
b=0 c=0 v[ 29861]: 31435
Event 4.2. v[ 29863] = 31437 < 31438; u[ 31438] = 29862 < 29863.
b=0 c=0 v[ 29863]: 31437
Event 4.2. v[ 29865] = 31439 < 31440; u[ 31440] = 29864 < 29865.
b=0 c=0 v[ 29865]: 31439
Event 4.2. v[ 29867] = 31441 < 31442; u[ 31442] = 29866 < 29867.
b=0 c=0 v[ 29867]: 31441
Event 4.2. v[ 29869] = 31443 < 31444; u[ 31444] = 29868 < 29869.
b=0 c=0 v[ 29869]: 31443
Event 4.2. v[ 29871] = 31445 < 31446; u[ 31446] = 29870 < 29871.
b=0 c=0 v[ 29871]: 31445
Event 4.2. v[ 29873] = 31447 < 31448; u[ 31448] = 29872 < 29873.
b=0 c=0 v[ 29873]: 31447
Event 4.1. u[ 178167] = 176801 < 176802; v[ 176802] = 178166 < 178167.
b=0 c=0 u[ 178167]: 176801
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 481 481 0 0 -1
-2 0 0 0 0 -2
Totals / Min / Under -25:
481 481 0 0
1 1 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 399988 0 12 20
0 -79 0 -59 0 -39 0 -19 393529 1 11 21
0 -78 0 -58 0 -38 0 -18 1263 2 11 22
0 -77 0 -57 0 -37 0 -17 15 3 11 23
0 -76 0 -56 0 -36 0 -16 15 4 13 24
0 -75 0 -55 0 -35 0 -15 13 5 9 25
0 -74 0 -54 0 -34 0 -14 12 6 9 26
0 -73 0 -53 0 -33 0 -13 12 7 9 27
0 -72 0 -52 0 -32 0 -12 12 8 10 28
0 -71 0 -51 0 -31 0 -11 12 9 9 29
0 -70 0 -50 0 -30 0 -10 12 10 9 30
0 -69 0 -49 0 -29 0 -9 12 11 9 31
0 -68 0 -48 0 -28 0 -8 12 12 9 32
0 -67 0 -47 0 -27 0 -7 12 13 9 33
0 -66 0 -46 0 -26 0 -6 12 14 9 34
0 -65 0 -45 0 -25 0 -5 12 15 9 35
0 -64 0 -44 0 -24 0 -4 12 16 9 36
0 -63 0 -43 0 -23 0 -3 12 17 9 37
0 -62 0 -42 0 -22 0 -2 12 18 9 38
0 -61 0 -41 0 -21 962 -1 12 19 9 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 |_________._________.________o.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 798630. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -1. -80 thru -1 = 962.
Behav = Relaxed. Maximum = 1498. 0 thru 39 = 795185.
histend K = 200000. 40 thru Max = 2483.
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 1 0 10 20
0 -79 0 -59 0 -39 0 -19 305 1 10 21
0 -78 0 -58 0 -38 0 -18 393894 2 9 22
0 -77 0 -57 0 -37 0 -17 1543 3 9 23
0 -76 0 -56 0 -36 0 -16 13 4 11 24
0 -75 0 -55 0 -35 0 -15 12 5 11 25
0 -74 0 -54 0 -34 0 -14 11 6 9 26
0 -73 0 -53 0 -33 0 -13 10 7 9 27
0 -72 0 -52 0 -32 0 -12 10 8 10 28
0 -71 0 -51 0 -31 0 -11 10 9 10 29
0 -70 0 -50 0 -30 0 -10 10 10 9 30
0 -69 0 -49 0 -29 0 -9 10 11 9 31
0 -68 0 -48 0 -28 0 -8 10 12 9 32
0 -67 0 -47 0 -27 0 -7 10 13 9 33
0 -66 0 -46 0 -26 0 -6 10 14 9 34
0 -65 0 -45 0 -25 0 -5 10 15 9 35
0 -64 0 -44 0 -24 0 -4 10 16 9 36
0 -63 0 -43 0 -23 0 -3 10 17 9 37
0 -62 0 -42 0 -22 0 -2 10 18 9 38
0 -61 0 -41 0 -21 0 -1 10 19 9 39
------ Relaxed ------ | ------ Strong ------
380000 | | o
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 = 410. Total = 399909. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1521. 0 thru 39 = 396097.
histend K = 200000. 40 thru Max = 3812.
End analysis of Test T410 at 14:30:16.250 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:30:16.687 980528
End execution of Test T420 at 14:30:17.187 980528
Duration 0.500
Start analysis of Test T420 at 14:30:17.453 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 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 9691 10306 0 0
19998 19680 20315 0 0
29997 29670 30324 0 0
39996 38605 41386 0 0
49995 48604 51385 0 0
59994 58603 61384 0 0
69993 68602 71383 0 0
79992 77546 82437 0 0
89991 87545 92436 0 0
99990 97544 102435 0 0
109989 107543 113096 0 0
119988 116880 123095 0 0
129987 126879 133094 0 0
139986 136878 143093 0 0
149985 146695 153274 0 0
159984 156694 163273 0 0
169983 166693 173272 0 0
179982 176692 183271 0 0
189981 185668 194297 0 0
199980 195657 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
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
31
3
3
3
2
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 9554 0
1 390151 390149
2 273 275
3 0 0
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 1 1
14 0 0
15 0 0
16 0 0
17 2 2
18 0 0
19 1 1
over 13 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 399841 0 14 20
0 -79 0 -59 0 -39 0 -19 390596 1 13 21
0 -78 0 -58 0 -38 0 -18 291 2 11 22
0 -77 0 -57 0 -37 0 -17 18 3 11 23
0 -76 0 -56 0 -36 0 -16 18 4 11 24
0 -75 0 -55 0 -35 0 -15 18 5 11 25
0 -74 0 -54 0 -34 0 -14 18 6 11 26
0 -73 0 -53 0 -33 0 -13 18 7 11 27
0 -72 0 -52 0 -32 0 -12 18 8 11 28
0 -71 0 -51 0 -31 0 -11 18 9 11 29
0 -70 0 -50 0 -30 0 -10 18 10 11 30
0 -69 0 -49 0 -29 0 -9 18 11 11 31
0 -68 0 -48 0 -28 0 -8 18 12 11 32
0 -67 0 -47 0 -27 0 -7 19 13 11 33
0 -66 0 -46 0 -26 0 -6 17 14 11 34
0 -65 0 -45 0 -25 0 -5 17 15 11 35
0 -64 0 -44 0 -24 0 -4 17 16 11 36
0 -63 0 -43 0 -23 0 -3 17 17 10 37
0 -62 0 -42 0 -22 0 -2 15 18 10 38
0 -61 0 -41 0 -21 0 -1 15 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 = 795671. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1157. 0 thru 39 = 791247.
histend K = 200000. 40 thru Max = 4424.
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 1 0 13 20
0 -79 0 -59 0 -39 0 -19 446 1 14 21
0 -78 0 -58 0 -38 0 -18 390026 2 13 22
0 -77 0 -57 0 -37 0 -17 253 3 12 23
0 -76 0 -56 0 -36 0 -16 13 4 12 24
0 -75 0 -55 0 -35 0 -15 13 5 12 25
0 -74 0 -54 0 -34 0 -14 13 6 12 26
0 -73 0 -53 0 -33 0 -13 13 7 12 27
0 -72 0 -52 0 -32 0 -12 13 8 12 28
0 -71 0 -51 0 -31 0 -11 13 9 12 29
0 -70 0 -50 0 -30 0 -10 13 10 12 30
0 -69 0 -49 0 -29 0 -9 13 11 12 31
0 -68 0 -48 0 -28 0 -8 13 12 12 32
0 -67 0 -47 0 -27 0 -7 14 13 12 33
0 -66 0 -46 0 -26 0 -6 13 14 12 34
0 -65 0 -45 0 -25 0 -5 13 15 12 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 14 18 11 38
0 -61 0 -41 0 -21 0 -1 12 19 11 39
------ Relaxed ------ | ------ Strong ------
380000 | | o
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 = 399986. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4324. 0 thru 39 = 391177.
histend K = 200000. 40 thru Max = 8809.
End analysis of Test T420 at 14:30:18.421 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:30:18.796 980528
End execution of Test T700 at 14:30:19.312 980528
Duration 0.516
Start analysis of Test T700 at 14:30:19.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.141 0.141 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 14 199999 199999
9999 10033 9965 0 0
19998 18834 21160 0 0
29997 28867 31122 0 0
39996 38912 41385 0 0
49995 48646 51338 0 0
59994 58695 61288 0 0
69993 67461 72511 0 0
79992 77523 82443 0 0
89991 87577 92411 0 0
99990 97615 102352 0 0
109989 107683 112281 0 0
119988 117263 122700 0 0
129987 127322 132631 0 0
139986 136273 143683 0 0
149985 146309 153646 0 0
159984 156360 164662 0 0
169983 165339 174610 0 0
179982 175384 184550 0 0
189981 184400 195632 0 0
199980 194340 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
1
2 1
2 11
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
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
31
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 14527 0
1 383994 383996
2 1451 1451
3 1 3
4 1 1
5 0 1
6 1 0
7 0 0
8 1 0
9 0 0
10 1 0
11 2 0
12 1 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 1
18 0 0
19 0 0
over 16 16
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 15995 0 16 20
0 -79 0 -59 0 -39 0 -19 767991 1 16 21
0 -78 0 -58 0 -38 0 -18 2919 2 17 22
0 -77 0 -57 0 -37 0 -17 22 3 17 23
0 -76 0 -56 0 -36 0 -16 20 4 13 24
0 -75 0 -55 0 -35 0 -15 18 5 13 25
0 -74 0 -54 0 -34 0 -14 18 6 13 26
0 -73 0 -53 0 -33 0 -13 17 7 13 27
0 -72 0 -52 0 -32 0 -12 18 8 13 28
0 -71 0 -51 0 -31 0 -11 17 9 13 29
0 -70 0 -50 0 -30 0 -10 18 10 13 30
0 -69 0 -49 0 -29 0 -9 19 11 13 31
0 -68 0 -48 0 -28 0 -8 18 12 13 32
0 -67 0 -47 0 -27 0 -7 17 13 13 33
0 -66 0 -46 0 -26 0 -6 17 14 13 34
0 -65 0 -45 0 -25 0 -5 17 15 13 35
0 -64 0 -44 0 -24 0 -4 17 16 14 36
0 -63 0 -43 0 -23 0 -3 17 17 12 37
0 -62 0 -42 0 -22 0 -2 16 18 12 38
0 -61 0 -41 0 -21 0 -1 16 19 12 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 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 794353. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1363. 0 thru 39 = 787479.
histend K = 200000. 40 thru Max = 6874.
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 15 0 17 20
0 -79 0 -59 0 -39 0 -19 383998 1 17 21
0 -78 0 -58 0 -38 0 -18 2660 2 17 22
0 -77 0 -57 0 -37 0 -17 275 3 17 23
0 -76 0 -56 0 -36 0 -16 18 4 14 24
0 -75 0 -55 0 -35 0 -15 17 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 14 27
0 -72 0 -52 0 -32 0 -12 18 8 14 28
0 -71 0 -51 0 -31 0 -11 22 9 14 29
0 -70 0 -50 0 -30 0 -10 21 10 14 30
0 -69 0 -49 0 -29 0 -9 20 11 14 31
0 -68 0 -48 0 -28 0 -8 18 12 14 32
0 -67 0 -47 0 -27 0 -7 17 13 14 33
0 -66 0 -46 0 -26 0 -6 17 14 14 34
0 -65 0 -45 0 -25 0 -5 17 15 14 35
0 -64 0 -44 0 -24 0 -4 17 16 13 36
0 -63 0 -43 0 -23 0 -3 17 17 13 37
0 -62 0 -42 0 -22 0 -2 17 18 13 38
0 -61 0 -41 0 -21 0 -1 17 19 13 39
------ Relaxed ------ | ------ Strong ------
380000 | |o
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 = 700. Total = 399983. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5641. 0 thru 39 = 387525.
histend K = 200000. 40 thru Max = 12458.
End analysis of Test T700 at 14:30:20.281 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:30:20.718 980528
End execution of Test T710 at 14:30:21.234 980528
Duration 0.516
Start analysis of Test T710 at 14:30:21.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 28 199999 0
9999 9912 10086 0 0
19998 19094 21354 0 0
29997 28609 31393 0 0
39996 38568 41432 0 0
49995 47348 52650 0 0
59994 57311 62689 0 0
69993 67274 73444 0 0
79992 76490 83510 0 0
89991 86449 93545 0 0
99990 96203 103793 0 0
109989 106162 113832 0 0
119988 116121 123871 0 0
129987 125735 134255 0 0
139986 135694 144294 0 0
149985 145614 155507 0 0
159984 154446 165546 0 0
169983 164405 175582 0 0
179982 173190 186795 0 0
189981 183163 196824 0 0
199980 193125 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 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
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 11
2 1
2 1
2 1
2 1
2 1
2 1
2
1
2 1
2 1
2 11
2 1
2 1
2 1
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
1
21
21
21
21
21
21
21
21
21
21
31
3
3
3
3
2
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 15350 0
1 382615 382619
2 2010 2006
3 0 3
4 0 1
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 1 1
18 1 0
19 0 1
over 17 15
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 18199 0 17 20
0 -79 0 -59 0 -39 0 -19 765229 1 15 21
0 -78 0 -58 0 -38 0 -18 3210 2 15 22
0 -77 0 -57 0 -37 0 -17 21 3 14 23
0 -76 0 -56 0 -36 0 -16 18 4 14 24
0 -75 0 -55 0 -35 0 -15 17 5 13 25
0 -74 0 -54 0 -34 0 -14 17 6 14 26
0 -73 0 -53 0 -33 0 -13 17 7 14 27
0 -72 0 -52 0 -32 0 -12 17 8 13 28
0 -71 0 -51 0 -31 0 -11 17 9 15 29
0 -70 0 -50 0 -30 0 -10 17 10 14 30
0 -69 0 -49 0 -29 0 -9 17 11 11 31
0 -68 0 -48 0 -28 0 -8 17 12 11 32
0 -67 0 -47 0 -27 0 -7 17 13 11 33
0 -66 0 -46 0 -26 0 -6 17 14 11 34
0 -65 0 -45 0 -25 0 -5 17 15 11 35
0 -64 0 -44 0 -24 0 -4 17 16 11 36
0 -63 0 -43 0 -23 0 -3 18 17 12 37
0 -62 0 -42 0 -22 0 -2 17 18 10 38
0 -61 0 -41 0 -21 0 -1 16 19 10 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 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 793138. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1241. 0 thru 39 = 787188.
histend K = 200000. 40 thru Max = 5950.
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 15 0 15 20
0 -79 0 -59 0 -39 0 -19 382615 1 15 21
0 -78 0 -58 0 -38 0 -18 3666 2 14 22
0 -77 0 -57 0 -37 0 -17 374 3 14 23
0 -76 0 -56 0 -36 0 -16 14 4 13 24
0 -75 0 -55 0 -35 0 -15 14 5 14 25
0 -74 0 -54 0 -34 0 -14 14 6 15 26
0 -73 0 -53 0 -33 0 -13 14 7 15 27
0 -72 0 -52 0 -32 0 -12 14 8 16 28
0 -71 0 -51 0 -31 0 -11 14 9 15 29
0 -70 0 -50 0 -30 0 -10 14 10 14 30
0 -69 0 -49 0 -29 0 -9 14 11 13 31
0 -68 0 -48 0 -28 0 -8 14 12 11 32
0 -67 0 -47 0 -27 0 -7 14 13 11 33
0 -66 0 -46 0 -26 0 -6 14 14 11 34
0 -65 0 -45 0 -25 0 -5 14 15 11 35
0 -64 0 -44 0 -24 0 -4 14 16 11 36
0 -63 0 -43 0 -23 0 -3 14 17 11 37
0 -62 0 -42 0 -22 0 -2 14 18 10 38
0 -61 0 -41 0 -21 0 -1 14 19 10 39
------ Relaxed ------ | ------ Strong ------
380000 | |o
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 = 710. Total = 399952. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6856. 0 thru 39 = 387153.
histend K = 200000. 40 thru Max = 12799.
End analysis of Test T710 at 14:30:22.296 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:30:22.734 980528
End execution of Test T720 at 14:30:23.250 980528
Duration 0.516
Start analysis of Test T720 at 14:30:23.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.141 0.141 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 0 0 0
9999 9985 10013 0 0
19998 19732 20263 0 0
29997 29729 30264 0 0
39996 39722 40270 0 0
49995 49540 50450 0 0
59994 59538 60450 0 0
69993 68867 71120 0 0
79992 78847 81138 0 0
89991 88554 91430 0 0
99990 98542 101442 0 0
109989 108529 111326 0 0
119988 118647 121332 0 0
129987 128631 131346 0 0
139986 138106 141867 0 0
149985 148097 151872 0 0
159984 157206 162765 0 0
169983 167192 172777 0 0
179982 177177 183750 0 0
189981 186201 193762 0 0
199980 196193 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
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
211
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
211
21
21
21
21
21
21
21
21
21
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
31
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
31
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 113134 0
1 181781 181783
2 105055 105055
3 2 0
4 1 0
5 0 3
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 1 1
17 2 1
18 2 2
19 1 1
over 15 16
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 237204 0 18 20
0 -79 0 -59 0 -39 0 -19 354907 1 14 21
0 -78 0 -58 0 -38 0 -18 199800 2 14 22
0 -77 0 -57 0 -37 0 -17 26 3 15 23
0 -76 0 -56 0 -36 0 -16 25 4 14 24
0 -75 0 -55 0 -35 0 -15 24 5 14 25
0 -74 0 -54 0 -34 0 -14 21 6 14 26
0 -73 0 -53 0 -33 0 -13 21 7 14 27
0 -72 0 -52 0 -32 0 -12 21 8 14 28
0 -71 0 -51 0 -31 0 -11 21 9 14 29
0 -70 0 -50 0 -30 0 -10 21 10 14 30
0 -69 0 -49 0 -29 0 -9 21 11 14 31
0 -68 0 -48 0 -28 0 -8 21 12 14 32
0 -67 0 -47 0 -27 0 -7 21 13 14 33
0 -66 0 -46 0 -26 0 -6 21 14 14 34
0 -65 0 -45 0 -25 0 -5 21 15 14 35
0 -64 0 -44 0 -24 0 -4 22 16 14 36
0 -63 0 -43 0 -23 0 -3 22 17 14 37
0 -62 0 -42 0 -22 0 -2 19 18 14 38
0 -61 0 -41 0 -21 0 -1 18 19 14 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |o
320000 | |o
300000 | |o
280000 | |o
260000 | |o
240000 | |o
220000 | oo
200000 | oo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 796206. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1005. 0 thru 39 = 792562.
histend K = 200000. 40 thru Max = 3644.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 11 0 15 20
0 -79 0 -59 0 -39 0 -19 173126 1 15 21
0 -78 0 -58 0 -38 0 -18 218582 2 16 22
0 -77 0 -57 0 -37 0 -17 224 3 16 23
0 -76 0 -56 0 -36 0 -16 22 4 15 24
0 -75 0 -55 0 -35 0 -15 19 5 15 25
0 -74 0 -54 0 -34 0 -14 19 6 15 26
0 -73 0 -53 0 -33 0 -13 19 7 15 27
0 -72 0 -52 0 -32 0 -12 19 8 15 28
0 -71 0 -51 0 -31 0 -11 19 9 15 29
0 -70 0 -50 0 -30 0 -10 19 10 15 30
0 -69 0 -49 0 -29 0 -9 19 11 15 31
0 -68 0 -48 0 -28 0 -8 19 12 15 32
0 -67 0 -47 0 -27 0 -7 19 13 15 33
0 -66 0 -46 0 -26 0 -6 19 14 15 34
0 -65 0 -45 0 -25 0 -5 19 15 15 35
0 -64 0 -44 0 -24 0 -4 20 16 15 36
0 -63 0 -43 0 -23 0 -3 20 17 15 37
0 -62 0 -42 0 -22 0 -2 20 18 15 38
0 -61 0 -41 0 -21 0 -1 20 19 15 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | | o
180000 | | o
160000 | |oo
140000 | |oo
120000 | |oo
100000 | |oo
80000 | |oo
60000 | |oo
40000 | |oo
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 399983. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 3788. 0 thru 39 = 392556.
histend K = 200000. 40 thru Max = 7427.
End analysis of Test T720 at 14:30:24.468 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:30:24.906 980528
End execution of Test T800 at 14:30:25.421 980528
Duration 0.515
Start analysis of Test T800 at 14:30:26.140 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.079 0.079 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 110 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....:....
22F
2F1
22F11
22F11
22F11
22F11
22F11
22F11
2F11
22F11
22F11
2F11
2F
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F
2F
2F1
F1
2F1
F1
2F1
2F1
2F
2F1
2F
2F1
F1
F1
F1
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 799607 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 = 799609. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 860. 0 thru 39 = 799607.
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 799608 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 = 799608. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799608.
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:30:48.062 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:30:48.421 980528
End execution of Test T820 at 14:30:48.937 980528
Duration 0.516
Start analysis of Test T820 at 14:30:50.375 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.078 0.078 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 171 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
2F
2F1
2F1
2F1
2F1
2F1
22F1
2F11
2F1
2F1
2F1
2F1
2F1
2F1
2F1
F1
F1
F
F
F
F
F
F
F
F
F
F
F
F
F
2F
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
2F
F1
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 799913 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 = 799913. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799913.
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 799914 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 1 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 1 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 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 |_________._________._________._________._________.___o_____._o_______
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799916. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 32. 0 thru 39 = 799916.
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:31:11.203 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.078
Multiplications: 0.125
Divisions: 0.422
Time to perform 1000000 of the following floating operations:
Additions: 1.312
Subtractions: 1.312
Multiplications: 1.329
Divisions: 1.546
================================================================================
Summary of run: 14:31:17.546 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: never
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.515 0.219 T100 1 0
0.516 0.219 T120 0 1
0.516 0.640 T200 2 0
0.515 0.641 T210 1 1
0.516 0.641 T220 0 2
0.500 0.968 T400.1 2 0
T400.2 2 0
0.515 0.985 T410.1 -1 1 1
T410.2 1 1
0.500 0.968 T420.1 0 2
T420.2 0 2
0.516 0.953 T700.1 2 0
T700.2 2 0
0.516 0.968 T710.1 1 1
T710.2 1 1
0.516 0.953 T720.1 0 2
T720.2 0 2
0.515 21.922 T800 1 0
0.516 20.828 T820 0 1
Descriptions of the relaxations detected by the tests:
Write Order (WW): WW requires that all write operations
in a thread occur in the order defined by the thread.
A relaxation of WW allows writes to occur out of order.
Write-Read Order (WR): WR requires that a write operation
which occurs before a read operation in a thread, occur in
time before the read operation. A relaxation of WR allows a
read operation to occur before a logically preceding write
operation. This is the most common relaxation.
CC3, for Cache Coherence Level 3, requires that all threads
see all changes in value of each individual operand in the same
order. A relaxation of CC3 allows two threads to see a single
operand assume different sequences of values.
No monotonicity relaxations seen.
The machine relaxed one or more rules
in each of the following sets of rules:
WR CC3
WW WR
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 X O
WW WR X 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