ARCHTEST. Version 3. 950114.
by W. W. Collier, mpdiag@acm.org.
09:09:00.447 950411
Sequent 6 proc
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Execute real multiprocessing code to generate data.
2. Execute the real mp code, but with only one processor.
3. Generate data randomly with errors.
4. Generate data randomly, but without errors.
5. Use static data with errors.
6. Use static data without errors.
(Choices 2-6 are for debugging.) Choice [1]: 1
Enter the number of processors (from 2 to 8) [2]: 6
Define logical length of arrays (max=500000) [20000]: 250000
The following tests can be run:
2 3 4 5 6 7 8 9 10 11 12 13 14
310 610
220 320 420 520 620 720
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Note added July 1996.
The numbering scheme for some tests was changed in late 1995.
The numbers for the following tests have not changed.
200 300 400 500 600 700 800 900
Two tests, 310 and 610, have been deleted. They created
extraneous cache traffic in a fixed format in order to see if that
introduced relaxed behavior. Currently, any test can have extraneous
cache traffic introduced in a random fashion by setting run time
parameters.
The names of these tests have been changed
220 320 420 520 620 720
to
210 310 410 510 610 710
The change in numbers should cause little confusion in
interpreting the results. The relaxation that a test seeks to detect
is determined only by the initial digit in its number. See the file
ANALYSIS to understand the relaxations that each of the tests seeks
to detect.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Specify which tests to run [all]: all
Synchronize the start of test processes? [n]: n
Parameters for this run:
Type of run: 1. Execute real multiprocessing code to generate data.
Output file name: aseq__00.out.
Number of processors: 6.
Length of the arrays: 250000.
Synchronize processes: n.
Test(s) to run: 200 220 300 310 320 400 420 500 520 600 610 620 700 720 800 900 1000 1100 1200 1300 1400 1500
================================================================================
Test T200. Seek a violation of A(CMP,RO,WO).
Seek 2.1. U[i] > U[i+2]
Seek 2.2. U[2i+1] > U[2i+2]
Seek 2.3. U[21] > U[2i+1] + 1
Start execution of Test 200 at: 09:10:26.501 950411
End execution of Test 200 at: 09:10:26.631 950411
i U V X Y
0 10459 0 0 0
24999 103092 0 0 0
49998 194510 0 0 0
74997 249999 0 0 0
99996 249999 0 0 0
124995 249999 0 0 0
149994 249999 0 0 0
174993 249999 0 0 0
199992 249999 0 0 0
224991 249999 0 0 0
249990 249999 0 0 0
Start analysis of Test 2 at: 09:10:26.741 950411
End analysis of Test 2 at: 09:10:26.901 950411
Analysis of T2 data:
i U V X Y
================================================================================
Test T220. Seek a violation of A(CMP,RO,WO).
Seek 2.1. U[i] > U[i+2]
Seek 2.2. U[2i+1] > U[2i+2]
Seek 2.3. U[21] > U[2i+1] + 1
Start execution of Test 220 at: 09:10:27.512 950411
End execution of Test 220 at: 09:10:27.703 950411
i U V X Y
0 3796 0 0 0
24999 60565 0 0 0
49998 116856 0 0 0
74997 174426 0 0 0
99996 231956 0 0 0
124995 249999 0 0 0
149994 249999 0 0 0
174993 249999 0 0 0
199992 249999 0 0 0
224991 249999 0 0 0
249990 249999 0 0 0
Start analysis of Test 2 at: 09:10:28.023 950411
End analysis of Test 2 at: 09:10:28.193 950411
Analysis of T2 data:
i U V X Y
================================================================================
Test T300. Seek a violation of A(CMP,RO,WO).
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
even odd even odd
Start execution of Test 300 at: 09:10:28.874 950411
End execution of Test 300 at: 09:10:29.175 950411
i U V X Y
0 29482 33363 36948 13960
24999 48026 23828 50654 52413
49998 69206 38896 38753 38430
74997 85486 77991 54269 75911
99996 103232 70014 72433 66954
124995 126154 107589 110062 105625
149994 146378 125549 126460 125083
174993 135205 115016 116519 115228
199992 184480 161001 135205 162465
224991 237864 147052 149529 144204
249990 249999 196945 168451 157484
Start analysis of Test 3 at: 09:10:29.315 950411
End analysis of Test 3 at: 09:10:33.070 950411
Analysis of T3 data.
i U V X Y
================================================================================
Test T310. Seek a violation of A(CMP,RO,WO).
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
even odd even odd
Start execution of Test 310 at: 09:10:33.721 950411
End execution of Test 310 at: 09:10:39.159 950411
i U V X Y
0 1711 6771 6926 7201
24999 32276 28447 24916 32521
49998 48275 52371 34159 48082
74997 73525 64012 60824 83699
99996 111518 88942 65871 96592
124995 131148 109956 83315 131035
149994 152666 140499 112658 152891
174993 178910 158473 128186 165188
199992 186933 168944 130123 205601
224991 233714 186924 148477 206968
249990 233985 227849 163913 237160
Start analysis of Test 3 at: 09:10:39.269 950411
End analysis of Test 3 at: 09:10:43.055 950411
Analysis of T3 data.
i U V X Y
================================================================================
Test T320. Seek a violation of A(CMP,RO,WO).
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i]
is is is is
even odd even odd
Start execution of Test 320 at: 09:10:43.696 950411
End execution of Test 320 at: 09:10:44.026 950411
i U V X Y
0 10206 9218 16566 19311
24999 24261 22250 27056 35657
49998 46476 36132 38478 52405
74997 64638 56817 50830 69655
99996 83538 64420 63584 88357
124995 83287 90717 76954 87686
149994 114300 110423 93120 122789
174993 132998 104350 109304 109750
199992 150566 151705 125026 156551
224991 169650 174917 141780 137814
249990 147501 210813 156808 159482
Start analysis of Test 3 at: 09:10:44.827 950411
End analysis of Test 3 at: 09:10:48.332 950411
Analysis of T3 data.
i U V X Y
================================================================================
Test T400. Seek a violation of A(CMP,PO).
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.
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.
Start execution of Test 400 at: 09:10:48.953 950411
End execution of Test 400 at: 09:10:49.183 950411
i U V X Y
0 0 9011 0 0
24999 15200 34992 0 0
49998 40224 59721 0 0
74997 65407 84293 0 0
99996 90499 108890 0 0
124995 116220 133861 0 0
149994 141428 158057 0 0
174993 167008 182457 0 0
199992 192423 207700 0 0
224991 217165 232454 0 0
249990 242757 249999 0 0
Start analysis of Test 4/7 at: 09:10:49.294 950411
Error 4.2. v[ 1] = 9020 < 9021 and u[ 9021] = 0 < 1
Error 4.2. v[ 2] = 9020 < 9021 and u[ 9021] = 0 < 2
Error 4.2. v[ 3] = 9022 < 9023 and u[ 9023] = 2 < 3
Error 4.2. v[ 4] = 9022 < 9023 and u[ 9023] = 2 < 4
Error 4.2. v[ 6] = 9025 < 9026 and u[ 9026] = 5 < 6
Error 4.2. v[ 8] = 9027 < 9028 and u[ 9028] = 7 < 8
End analysis of Test 4/7 at: 09:10:49.364 950411
Analysis of T4 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 9011 9020 0 2097152 0
1 0 9020 9019 -1 2097152 1
2 0 9020 9018 -2 2097152 2
3 0 9022 9017 -1 2097152 3
4 0 9022 9016 -2 2097152 4
5 0 9025 9015 0 2097152 1
6 0 9025 9014 -1 2097152 2
7 0 9026 9013 0 2097152 3
8 0 9027 9012 -1 2097152 3
9 0 9030 9011 -1 2097152 1
10 0 9030 9010 -2 2097152 2
11 0 9033 9009 1 2097152 1
9018 0 18746 2 -2 2097152 2
9019 0 18748 1 -1 2097152 3
9020 0 18748 0 -2 2097152 4
9021 0 18750 -1 -1 2097152 3
9022 2 18750 0 -2 2 4
9023 2 18752 -1 0 3 3
9024 4 18752 1 -1 2 4
9025 4 18752 0 -2 3 5
9026 5 18752 -1 -3 4 6
9027 7 18755 0 0 2 4
9028 7 18755 -1 -1 3 5
9029 8 18760 1 2 3 2
9030 8 18760 0 1 4 3
9031 8 18760 -1 0 5 4
================================================================================
Test T420. Seek a violation of A(CMP,PO).
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.
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.
Start execution of Test 420 at: 09:10:50.325 950411
End execution of Test 420 at: 09:10:50.636 950411
i U V X Y
0 0 2729 0 0
24999 13576 43477 0 0
49998 28999 83696 0 0
74997 44765 124225 0 0
99996 60298 164953 0 0
124995 75470 204267 0 0
149994 90649 245458 0 0
174993 106078 249999 0 0
199992 122340 249999 0 0
224991 137520 249999 0 0
249990 152888 249999 0 0
Start analysis of Test 4/7 at: 09:10:51.146 950411
Error 4.2. v[ 59] = 2781 < 2782 and u[ 2782] = 58 < 59
Error 4.2. v[ 60] = 2781 < 2782 and u[ 2782] = 58 < 60
Error 4.2. v[ 61] = 2781 < 2782 and u[ 2782] = 58 < 61
Error 4.2. v[ 62] = 2781 < 2782 and u[ 2782] = 58 < 62
Error 4.2. v[ 63] = 2781 < 2782 and u[ 2782] = 58 < 63
Error 4.2. v[ 65] = 2784 < 2785 and u[ 2785] = 64 < 65
End analysis of Test 4/7 at: 09:10:51.216 950411
Analysis of T4 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
56 0 2729 2673 1 2097152 56
57 0 2773 2672 0 2097152 0
58 0 2781 2671 0 2097152 1
59 0 2781 2670 -1 2097152 2
60 0 2781 2669 -2 2097152 3
61 0 2781 2668 -3 2097152 4
62 0 2781 2667 -4 2097152 5
63 0 2781 2666 -5 2097152 6
64 0 2784 2665 0 2097152 0
65 0 2784 2664 -1 2097152 1
66 0 2784 2663 -2 2097152 2
67 0 2784 2662 -3 2097152 3
68 0 2784 2661 -4 2097152 4
2779 57 7139 2 -1 50 2
2780 57 7142 1 0 51 1
2781 58 7143 0 0 8 2
2782 58 7145 -1 0 9 1
2783 64 7146 1 0 2 2
2784 64 7147 0 -1 3 2
2785 64 7150 -1 -1 4 1
2786 64 7152 -2 1 5 2
2787 71 7152 1 0 3 3
2788 71 7153 0 -1 4 3
================================================================================
Test T500. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 500 at: 09:10:52.128 950411
End execution of Test 500 at: 09:10:52.318 950411
i U V X Y
0 20656 20674 0 0
24999 249999 249999 0 0
49998 249999 249999 0 0
74997 249999 249999 0 0
99996 249999 249999 0 0
124995 249999 249999 0 0
149994 249999 249999 0 0
174993 249999 249999 0 0
199992 249999 249999 0 0
224991 249999 249999 0 0
249990 249999 249999 0 0
Start analysis of Test 5 at: 09:10:52.428 950411
End analysis of Test 5 at: 09:10:52.568 950411
Analysis of T5 data:
i U V X Y
================================================================================
Test T520. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 520 at: 09:10:53.159 950411
End execution of Test 520 at: 09:10:53.379 950411
i U V X Y
0 21874 21893 0 0
24999 249999 249999 0 0
49998 249999 249999 0 0
74997 249999 249999 0 0
99996 249999 249999 0 0
124995 249999 249999 0 0
149994 249999 249999 0 0
174993 249999 249999 0 0
199992 249999 249999 0 0
224991 249999 249999 0 0
249990 249999 249999 0 0
Start analysis of Test 5 at: 09:10:53.860 950411
End analysis of Test 5 at: 09:10:54.000 950411
Analysis of T5 data:
i U V X Y
================================================================================
Test T600. Seek a violation of A(CMP,RO,WO,WA).
Seek 6. U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 600 at: 09:10:54.601 950411
End execution of Test 600 at: 09:10:54.771 950411
i U V X Y
0 23944 33768 47251 59595
24999 191378 208677 201671 212238
49998 249999 249999 249999 249999
74997 249999 249999 249999 249999
99996 249999 249999 249999 249999
124995 249999 249999 249999 249999
149994 249999 249999 249999 249999
174993 249999 249999 249999 249999
199992 249999 249999 249999 249999
224991 249999 249999 249999 249999
249990 249999 249999 249999 249999
Start analysis of Test 6 at: 09:10:54.882 950411
End analysis of Test 6 at: 09:11:02.442 950411
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 09:11:02.473 950411
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 23944 249999 2862 13166 249999 2998
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
11
11
11
13
33
33
33
377
77
77
77
74D
FF
FF
FF
FF
EF1
EFF
FF
FF
FF
FF
CF
FFF
FF
FF
FF
FF
FFF
F
EF
FFF
FF
FF
FF
FF
FF
FF
FFE
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FFF
FF
FF
F
FFF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
F7
7
7
77
77
77
77
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 09:11:04.055 950411
Save output from Test 6? [n]
================================================================================
Test T610. Seek a violation of A(CMP,RO,WO,WA).
Seek 6. U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 610 at: 09:11:08.541 950411
End execution of Test 610 at: 09:11:14.059 950411
i U V X Y
0 4157 4488 4765 4935
24999 28112 24300 23229 28027
49998 62914 50949 49617 59535
74997 79708 68532 68125 78959
99996 122827 101382 101144 118023
124995 133485 110657 108841 134211
149994 178798 151591 151180 186493
174993 185621 156703 158873 191050
199992 238358 204052 205896 244564
224991 242295 209169 204876 248311
249990 249999 249999 249999 249999
Start analysis of Test 6 at: 09:11:14.179 950411
End analysis of Test 6 at: 09:11:19.827 950411
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 09:11:19.858 950411
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 4157 249999 3112 1355 249999 3148
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
F
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFBBB9999
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 09:11:21.440 950411
Save output from Test 6? [n]
================================================================================
Test T620. Seek a violation of A(CMP,RO,WO,WA).
Seek 6. U[i] < V[j] and V[j+1] < U[i-1] for i and j of the same parity
Start execution of Test 620 at: 09:11:22.041 950411
End execution of Test 620 at: 09:11:22.331 950411
i U V X Y
0 18765 28740 37367 49900
24999 102220 100736 129506 127589
49998 249999 249999 249999 249999
74997 203847 220217 219849 212389
99996 249999 249999 249999 249999
124995 249999 249999 249999 249999
149994 249999 249999 249999 249999
174993 249999 249999 249999 249999
199992 249999 249999 249999 249999
224991 249999 249999 249999 249999
249990 249999 249999 249999 249999
Start analysis of Test 6 at: 09:11:23.242 950411
End analysis of Test 6 at: 09:11:27.549 950411
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 09:11:27.579 950411
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 18765 249999 2928 4104 249999 3113
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
11
1
13
33
3
77
7
77
7
FF
F
FF
FF
F
BF
F
FF
F
FF
FF
F
FF
F
FF
FF
F
FF
F
FF
F
FF
FF
F
FF
F
FF
F
FF
FF
F
FF
F
FF
F
FF
FF
F
FF
F
FF
F
FF
FB
F
FF
F
FF
F
FF
F
FF
FF
F
FF
F
FF
F
FF
F
FF
FF
F
FF
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 09:11:29.161 950411
Save output from Test 6? [n]
================================================================================
Test T700. Seek a violation of A(CMP,UPO,RO,WO,WA).
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.
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.
Start execution of Test 700 at: 09:11:31.775 950411
End execution of Test 700 at: 09:11:32.025 950411
i U V X Y
0 0 7464 249999 249999
24999 17238 32751 0 0
49998 42814 57285 0 0
74997 67428 82069 0 0
99996 92650 107291 0 0
124995 117788 132196 0 0
149994 142592 157008 0 0
174993 168455 181678 0 0
199992 193707 206016 0 0
224991 218897 230952 0 0
249990 243497 249999 0 0
Start analysis of Test 4/7 at: 09:11:32.135 950411
Error 7.2. v[ 1] = 7471 < 7472 and u[ 7472] = 0 < 1
Error 7.2. v[ 2] = 7471 < 7472 and u[ 7472] = 0 < 2
Error 7.2. v[ 4] = 7473 < 7474 and u[ 7474] = 3 < 4
Error 7.2. v[ 6] = 7477 < 7478 and u[ 7478] = 5 < 6
Error 7.2. v[ 8] = 7479 < 7480 and u[ 7480] = 7 < 8
Error 7.2. v[ 10] = 7482 < 7483 and u[ 7483] = 9 < 10
End analysis of Test 4/7 at: 09:11:32.205 950411
Analysis of T7 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 7464 7471 0 2097152 0
1 0 7471 7470 -1 2097152 1
2 0 7471 7469 -2 2097152 2
3 0 7473 7468 0 2097152 3
4 0 7473 7467 -1 2097152 4
5 0 7477 7466 0 2097152 2
6 0 7477 7465 -1 2097152 3
7 0 7479 7464 0 2097152 2
8 0 7479 7463 -1 2097152 3
9 0 7482 7462 0 2097152 2
10 0 7482 7461 -1 2097152 3
11 0 7482 7460 -2 2097152 4
12 0 7482 7459 -3 2097152 5
13 0 7484 7458 0 2097152 4
7469 0 15136 2 -2 2097152 4
7470 0 15136 1 -3 2097152 5
7471 0 15136 0 -4 2097152 6
7472 0 15138 -1 0 2097152 5
7473 3 15138 0 -1 2 6
7474 3 15143 -1 0 3 2
7475 3 15143 -2 -1 4 3
7476 3 15145 -3 0 5 2
7477 3 15145 -4 -1 6 3
7478 5 15148 -1 0 5 2
7479 5 15148 -2 -1 6 3
7480 7 15148 -1 -2 3 4
7481 7 15148 -2 -3 4 5
7482 9 15148 0 -4 3 6
7483 9 15150 -1 -1 4 5
7484 13 15150 0 -2 2 6
7485 13 15153 -1 1 3 1
7486 13 15153 -2 0 4 2
================================================================================
Test T720. Seek a violation of A(CMP,UPO,RO,WO,WA).
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.
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.
Start execution of Test 720 at: 09:11:33.147 950411
End execution of Test 720 at: 09:11:33.457 950411
i U V X Y
0 0 6013 249999 0
24999 11756 46682 0 0
49998 26990 88225 0 0
74997 42244 129672 0 0
99996 57105 172599 0 0
124995 72058 215080 0 0
149994 86617 249999 0 0
174993 101526 249999 0 0
199992 116001 249999 0 0
224991 130784 249999 0 0
249990 145833 249999 0 0
Start analysis of Test 4/7 at: 09:11:33.958 950411
Error 7.2. v[ 1] = 6075 < 6076 and u[ 6076] = 0 < 1
Error 7.2. v[ 5] = 6083 < 6084 and u[ 6084] = 4 < 5
Error 7.2. v[ 6] = 6085 < 6086 and u[ 6086] = 5 < 6
Error 7.2. v[ 8] = 6089 < 6090 and u[ 6090] = 7 < 8
Error 7.2. v[ 12] = 6096 < 6097 and u[ 6097] = 11 < 12
Error 7.2. v[ 14] = 6098 < 6099 and u[ 6099] = 13 < 14
End analysis of Test 4/7 at: 09:11:34.018 950411
Analysis of T7 data:
d1 = v[ u[i]+1 ] - i;
d2 = u[ v[i]+1 ] - i;
d3 = i - v[ u[i]-1 ];
d4 = i - u[ v[i]-1 ];
i U V d1 d2 d3 d4
0 0 6013 6075 0 2097152 0
1 0 6075 6074 -1 2097152 1
2 0 6077 6073 0 2097152 2
3 0 6081 6072 0 2097152 1
4 0 6082 6071 0 2097152 2
5 0 6083 6070 -1 2097152 2
6 0 6085 6069 -1 2097152 2
7 0 6087 6068 0 2097152 2
8 0 6089 6067 -1 2097152 1
9 0 6091 6066 0 2097152 2
10 0 6095 6065 0 2097152 1
11 0 6096 6064 0 2097152 2
12 0 6096 6063 -1 2097152 3
13 0 6098 6062 0 2097152 2
14 0 6098 6061 -1 2097152 3
15 0 6098 6060 -2 2097152 4
16 0 6100 6059 0 2097152 3
17 0 6105 6058 0 2097152 1
6073 0 15843 2 0 2097152 3
6074 0 15847 1 0 2097152 1
6075 0 15848 0 0 2097152 2
6076 0 15848 -1 -1 2097152 3
6077 2 15850 4 0 2 2
6078 2 15850 3 -1 3 3
6079 2 15850 2 -2 4 4
6080 2 15852 1 -1 5 3
6081 2 15854 0 0 6 2
6082 3 15857 0 -1 5 1
6083 4 15859 0 0 2 2
6084 4 15863 -1 -1 3 1
6085 5 15865 0 0 3 2
6086 5 15865 -1 -1 4 3
6087 7 15865 2 -2 2 4
6088 7 15867 1 -1 3 3
6089 7 15869 0 0 4 2
6090 7 15873 -1 0 5 1
6091 9 15874 4 0 2 2
6092 9 15875 3 -1 3 2
6093 9 15877 2 -1 4 2
6094 9 15880 1 0 5 0
6095 9 15880 0 -1 6 1
6096 10 15883 0 0 5 2
6097 11 15883 -1 -1 2 3
6098 13 15887 0 0 2 2
6099 13 15887 -1 -1 3 3
6100 16 15887 5 -2 2 4
6101 16 15889 4 0 3 3
6102 16 15889 3 -1 4 4
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 09:11:35.069 950411
End execution of Test 800 at: 09:11:35.590 950411
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 1 2 68941
24999 166732 249991 220103 249993
49998 379792 499981 499982 499983
74997 749970 749971 749972 749973
99996 999960 1013992 999962 999963
124995 1249950 1249951 1249952 1249953
149994 1499940 1499941 1499942 1499943
174993 1569821 1749931 1749932 1749933
199992 1999920 1999921 1999922 1999923
224991 2249910 2249911 2249912 2249913
249990 2499900 2499901 2499902 2499903
Start analysis of Test 8 at: 09:11:36.511 950411
End analysis of Test 8 at: 09:11:46.866 950411
Analysis of T8 data:
i w[][0] w[][1] w[][2] w[][3]
Save output from Test 8? [n]
================================================================================
Test T9. Collect performance data on cache hits.
Test T9.1. P2: inv -> excl & P3: inv -> excl.
Start execution of Test 9.1 at: 09:11:55.419 950411
End execution of Test 9.1 at: 09:11:55.779 950411
Start analysis of Test 9 at: 09:11:55.789 950411
End analysis of Test 9 at: 09:11:56.250 950411
0 426105 25 120 50 3 75 1
1 2 26 38 51 0 76 0
2 5 27 44 52 1 77 1
3 2 28 25 53 0 78 0
4 5 29 12 54 1 79 0
5 6 30 16 55 1 80 0
6 82 31 20 56 0 81 1
7 5505 32 10 57 0 82 0
8 1767 33 14 58 0 83 0
9 1171 34 7 59 0 84 0
10 1341 35 3 60 0 85 1
11 15013 36 10 61 0 86 0
12 25329 37 6 62 1 87 0
13 6035 38 7 63 0 88 0
14 1369 39 4 64 0 89 0
15 2000 40 6 65 2 90 0
16 806 41 2 66 0 91 0
17 534 42 3 67 0 92 0
18 352 43 2 68 0 93 1
19 166 44 1 69 0 94 0
20 439 45 1 70 0 95 0
21 3278 46 0 71 0 96 1
22 5267 47 1 72 0 97 0
23 2292 48 0 73 0 98 0
24 747 49 0 74 1 99 0
Total = 499998, t9min = 0, t9max = 590, under = 0, over = 0.
Test T9.2. P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at: 09:11:56.741 950411
End execution of Test 9.2 at: 09:11:57.121 950411
Start analysis of Test 9 at: 09:11:57.131 950411
End analysis of Test 9 at: 09:11:57.602 950411
0 396353 25 42 50 0 75 0
1 12 26 34 51 0 76 0
2 17 27 29 52 0 77 0
3 9 28 31 53 0 78 0
4 12 29 34 54 0 79 0
5 5 30 31 55 0 80 0
6 227 31 27 56 0 81 0
7 15337 32 20 57 0 82 0
8 56493 33 25 58 0 83 0
9 2708 34 13 59 0 84 0
10 569 35 16 60 0 85 0
11 1881 36 8 61 0 86 0
12 6140 37 7 62 0 87 0
13 6608 38 8 63 0 88 0
14 8001 39 4 64 0 89 0
15 2939 40 8 65 0 90 0
16 976 41 6 66 0 91 0
17 436 42 4 67 0 92 0
18 170 43 3 68 0 93 0
19 186 44 3 69 0 94 0
20 156 45 3 70 0 95 0
21 115 46 2 71 0 96 0
22 105 47 1 72 0 97 0
23 91 48 0 73 0 98 0
24 62 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 682, under = 0, over = 0.
Test T9.4. P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at: 09:11:58.093 950411
End execution of Test 9.4 at: 09:11:58.453 950411
Start analysis of Test 9 at: 09:11:58.463 950411
End analysis of Test 9 at: 09:11:58.934 950411
0 407155 25 2 50 0 75 0
1 5 26 0 51 0 76 0
2 19 27 1 52 0 77 0
3 14 28 1 53 0 78 0
4 20 29 1 54 0 79 0
5 15 30 0 55 0 80 0
6 80 31 0 56 0 81 0
7 5462 32 1 57 0 82 0
8 1146 33 0 58 0 83 0
9 1143 34 0 59 0 84 0
10 60722 35 0 60 0 85 0
11 8809 36 0 61 0 86 0
12 3719 37 0 62 0 87 0
13 987 38 0 63 0 88 0
14 5041 39 0 64 0 89 0
15 4588 40 0 65 0 90 0
16 458 41 0 66 0 91 0
17 330 42 0 67 0 92 0
18 104 43 0 68 0 93 0
19 56 44 0 69 0 94 0
20 30 45 0 70 0 95 0
21 22 46 0 71 0 96 0
22 12 47 0 72 0 97 0
23 12 48 0 73 0 98 0
24 4 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 1121, under = 0, over = 0.
Test T9.3. P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at: 09:11:59.434 950411
End execution of Test 9.3 at: 09:11:59.795 950411
Start analysis of Test 9 at: 09:11:59.805 950411
End analysis of Test 9 at: 09:12:00.276 950411
0 427577 25 167 50 0 75 0
1 18 26 57 51 0 76 0
2 13 27 43 52 0 77 0
3 4 28 35 53 0 78 0
4 11 29 23 54 0 79 0
5 19 30 15 55 0 80 0
6 109 31 7 56 0 81 0
7 3836 32 9 57 0 82 0
8 1000 33 10 58 0 83 0
9 731 34 11 59 0 84 0
10 1111 35 3 60 0 85 0
11 15104 36 2 61 0 86 0
12 25915 37 1 62 0 87 0
13 6384 38 0 63 0 88 0
14 931 39 1 64 0 89 0
15 3220 40 0 65 0 90 0
16 1239 41 0 66 0 91 0
17 638 42 0 67 0 92 0
18 291 43 0 68 0 93 0
19 220 44 0 69 0 94 0
20 251 45 0 70 0 95 0
21 1709 46 0 71 0 96 0
22 5612 47 0 72 0 97 0
23 2751 48 0 73 0 98 0
24 875 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 835, under = 0, over = 0.
================================================================================
Test T1000. Seek a critsec failure.
Seek 10. Operand A != 0.
Start execution of Test 1000 at: 09:12:01.618 950411
End execution of Test 1000 at: 09:12:01.628 950411
================================================================================
Failing tests: 400 420 700 720.
Run this job another time? [y] n