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