ARCHTEST. Version 3. 950114.
by W. W. Collier, mpdiag@acm.org.
09:10:43.175 950223
Compaq 4000 5/66
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]: 4
Define logical length of arrays (max=500000) [20000]: 20000
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: acpq4_00.out.
Number of processors: 4.
Length of the arrays: 20000.
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:11:35.943 950223
End execution of Test 200 at: 09:11:35.973 950223
i U V X Y
0 6100 0 0 0
1999 9925 0 0 0
3998 13716 0 0 0
5997 17501 0 0 0
7996 19999 0 0 0
9995 19999 0 0 0
11994 19999 0 0 0
13993 19999 0 0 0
15992 19999 0 0 0
17991 19999 0 0 0
19990 19999 0 0 0
Start analysis of Test 2 at: 09:11:36.063 950223
End analysis of Test 2 at: 09:11:36.078 950223
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:11:36.183 950223
End execution of Test 220 at: 09:11:36.198 950223
i U V X Y
0 4649 0 0 0
1999 7822 0 0 0
3998 10920 0 0 0
5997 13826 0 0 0
7996 17078 0 0 0
9995 19999 0 0 0
11994 19999 0 0 0
13993 19999 0 0 0
15992 19999 0 0 0
17991 19999 0 0 0
19990 19999 0 0 0
Start analysis of Test 2 at: 09:11:36.303 950223
End analysis of Test 2 at: 09:11:36.318 950223
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:11:36.437 950223
End execution of Test 300 at: 09:11:36.467 950223
i U V X Y
0 1651 7758 0 0
1999 5169 10272 0 0
3998 8021 12854 0 0
5997 10399 15472 0 0
7996 12855 17914 0 0
9995 15303 19998 0 0
11994 17709 19998 0 0
13993 19999 19998 0 0
15992 19999 19998 0 0
17991 19999 19998 0 0
19990 19999 19998 0 0
Start analysis of Test 3 at: 09:11:36.557 950223
End analysis of Test 3 at: 09:11:36.617 950223
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:11:36.737 950223
End execution of Test 310 at: 09:11:37.082 950223
i U V X Y
0 4436 220 0 0
1999 6242 1954 0 0
3998 8062 8021 0 0
5997 5543 9763 0 0
7996 7367 11471 0 0
9995 9175 13227 0 0
11994 15334 14961 0 0
13993 17158 16719 0 0
15992 14581 18471 0 0
17991 16251 15862 0 0
19990 18487 17772 0 0
Start analysis of Test 3 at: 09:11:37.187 950223
End analysis of Test 3 at: 09:11:37.307 950223
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:11:37.427 950223
End execution of Test 320 at: 09:11:37.457 950223
i U V X Y
0 13944 1846 0 0
1999 1937 15663 0 0
3998 15990 3040 0 0
5997 3333 16961 0 0
7996 17294 17685 0 0
9995 4767 18379 0 0
11994 18736 19055 0 0
13993 19436 6544 0 0
15992 6915 7458 0 0
17991 8685 9082 0 0
19990 9797 11950 0 0
Start analysis of Test 3 at: 09:11:37.877 950223
End analysis of Test 3 at: 09:11:37.982 950223
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:11:38.087 950223
End execution of Test 400 at: 09:11:38.102 950223
i U V X Y
0 0 5853 0 0
1999 0 8008 0 0
3998 0 10124 0 0
5997 126 12299 0 0
7996 1988 14395 0 0
9995 3865 16443 0 0
11994 5706 18440 0 0
13993 7608 19999 0 0
15992 9562 19999 0 0
17991 11539 19999 0 0
19990 13543 19999 0 0
Start analysis of Test 4/7 at: 09:11:38.222 950223
Error 4.2. v[ 3] = 5874 < 5875 and u[ 5875] = 2 < 3
Error 4.2. v[ 4] = 5874 < 5875 and u[ 5875] = 2 < 4
Error 4.2. v[ 6] = 5877 < 5878 and u[ 5878] = 5 < 6
Error 4.2. v[ 9] = 5880 < 5881 and u[ 5881] = 8 < 9
Error 4.2. v[ 10] = 5880 < 5881 and u[ 5881] = 8 < 10
Error 4.2. v[ 11] = 5880 < 5881 and u[ 5881] = 8 < 11
End analysis of Test 4/7 at: 09:11:38.267 950223
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 5853 5874 0 2097152 0
1 0 5874 5873 1 2097152 1
2 0 5874 5872 0 2097152 2
3 0 5874 5871 -1 2097152 3
4 0 5874 5870 -2 2097152 4
5 0 5877 5869 0 2097152 0
6 0 5877 5868 -1 2097152 1
7 0 5880 5867 1 2097152 2
8 0 5880 5866 0 2097152 3
9 0 5880 5865 -1 2097152 4
10 0 5880 5864 -2 2097152 5
11 0 5880 5863 -3 2097152 6
12 0 5880 5862 -4 2097152 7
13 0 5884 5861 0 2097152 0
14 0 5884 5860 -1 2097152 1
5872 0 12162 2 -1 2097152 1
5873 0 12165 1 1 2097152 2
5874 2 12165 0 0 0 3
5875 2 12165 -1 -1 1 4
5876 5 12165 1 -2 2 5
5877 5 12168 0 4 3 0
5878 5 12168 -1 3 4 1
5879 5 12168 -2 2 5 2
5880 8 12168 0 1 0 3
5881 8 12168 -1 0 1 4
5882 13 12171 2 1 2 1
5883 13 12171 1 0 3 2
5884 13 12171 0 -1 4 3
================================================================================
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:11:38.612 950223
End execution of Test 420 at: 09:11:38.642 950223
i U V X Y
0 0 4439 0 0
1999 0 7096 0 0
3998 0 9864 0 0
5997 1157 12479 0 0
7996 2660 15101 0 0
9995 4103 17641 0 0
11994 5630 19975 0 0
13993 7160 19999 0 0
15992 8687 19999 0 0
17991 10295 19999 0 0
19990 12009 19999 0 0
Start analysis of Test 4/7 at: 09:11:38.762 950223
Error 4.2. v[ 19] = 4513 < 4514 and u[ 4514] = 18 < 19
Error 4.2. v[ 21] = 4516 < 4517 and u[ 4517] = 20 < 21
Error 4.2. v[ 23] = 4520 < 4521 and u[ 4521] = 22 < 23
Error 4.2. v[ 30] = 4530 < 4531 and u[ 4531] = 29 < 30
Error 4.2. v[ 33] = 4533 < 4534 and u[ 4534] = 32 < 33
Error 4.2. v[ 35] = 4536 < 4537 and u[ 4537] = 34 < 35
End analysis of Test 4/7 at: 09:11:38.807 950223
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
16 0 4511 4471 0 2097152 2
17 0 4513 4470 1 2097152 1
18 0 4513 4469 0 2097152 2
19 0 4513 4468 -1 2097152 3
20 0 4516 4467 0 2097152 0
21 0 4516 4466 -1 2097152 1
22 0 4520 4465 0 2097152 0
23 0 4520 4464 -1 2097152 1
24 0 4523 4463 0 2097152 2
25 0 4528 4462 4 2097152 1
26 0 4528 4461 3 2097152 2
27 0 4528 4460 2 2097152 3
28 0 4528 4459 1 2097152 4
29 0 4530 4458 0 2097152 0
30 0 4530 4457 -1 2097152 1
31 0 4533 4456 1 2097152 2
32 0 4533 4455 0 2097152 3
33 0 4533 4454 -1 2097152 4
34 0 4536 4453 0 2097152 0
35 0 4536 4452 -1 2097152 1
36 0 4539 4451 1 2097152 2
37 0 4539 4450 0 2097152 3
38 0 4539 4449 -1 2097152 4
4511 14 10538 0 1 3 1
4512 16 10538 1 0 1 2
4513 18 10541 0 2 0 1
4514 18 10541 -1 1 1 2
4515 20 10543 1 0 2 0
4516 20 10543 0 -1 3 1
4517 20 10545 -1 1 4 2
4518 20 10545 -2 0 5 3
4519 22 10548 1 1 3 1
4520 22 10548 0 0 4 2
4521 22 10555 -1 1 5 1
4522 22 10555 -2 0 6 2
4523 24 10555 5 -1 3 3
4524 24 10558 4 0 4 0
4528 24 10561 0 -1 8 4
4529 29 10564 1 0 1 0
4530 29 10564 0 -1 2 1
4531 29 10569 -1 1 3 2
4532 29 10569 -2 0 4 3
4533 32 10569 0 -1 0 4
4534 32 10572 -1 0 1 0
4535 34 10572 1 -1 2 1
4536 34 10575 0 0 3 2
4537 34 10577 -1 1 4 1
4538 34 10577 -2 0 5 2
4539 37 10580 0 1 0 1
4540 37 10580 -1 0 1 2
================================================================================
Test T500. Seek a violation of A(CMP,RO,WO,WA).
Seek 5. U[i] > V[i].
Start execution of Test 500 at: 09:11:39.287 950223
End execution of Test 500 at: 09:11:39.302 950223
i U V X Y
0 12139 12152 0 0
1999 19999 19999 0 0
3998 19999 19999 0 0
5997 19999 19999 0 0
7996 19999 19999 0 0
9995 19999 19999 0 0
11994 19999 19999 0 0
13993 19999 19999 0 0
15992 19999 19999 0 0
17991 19999 19999 0 0
19990 19999 19999 0 0
Start analysis of Test 5 at: 09:11:39.407 950223
End analysis of Test 5 at: 09:11:39.422 950223
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:11:39.511 950223
End execution of Test 520 at: 09:11:39.541 950223
i U V X Y
0 12670 12694 0 0
1999 19999 19999 0 0
3998 19999 19999 0 0
5997 19999 19999 0 0
7996 19999 19999 0 0
9995 19999 19999 0 0
11994 19999 19999 0 0
13993 19999 19999 0 0
15992 19999 19999 0 0
17991 19999 19999 0 0
19990 19999 19999 0 0
Start analysis of Test 5 at: 09:11:39.871 950223
End analysis of Test 5 at: 09:11:39.886 950223
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:11:39.976 950223
End execution of Test 600 at: 09:11:40.006 950223
i U V X Y
0 16449 19999 0 0
1999 13750 19299 0 0
3998 19999 19999 0 0
5997 19227 19999 0 0
7996 19999 19999 0 0
9995 19999 19999 0 0
11994 19999 19999 0 0
13993 19999 19999 0 0
15992 19999 19999 0 0
17991 19999 19999 0 0
19990 19999 19999 0 0
Start analysis of Test 6 at: 09:11:40.111 950223
End analysis of Test 6 at: 09:11:43.125 950223
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 09:11:43.155 950223
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C
1
11
11
11
11
11
11
11
11
11
11
11
11
11
111111111111111111111333333333333333
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 09:11:43.455 950223
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:50.998 950223
End execution of Test 610 at: 09:11:51.358 950223
i U V X Y
0 3056 3221 0 0
1999 2166 2204 0 0
3998 7257 7216 0 0
5997 6178 6042 0 0
7996 11377 11116 0 0
9995 10144 9808 0 0
11994 15483 15039 0 0
13993 14123 13604 0 0
15992 19611 19006 0 0
17991 17897 17536 0 0
19990 19999 19999 0 0
Start analysis of Test 6 at: 09:11:51.448 950223
End analysis of Test 6 at: 09:11:54.327 950223
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 09:11:54.357 950223
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 19999 254 0 19761 251
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C
13
33
33
33
33
33
3
3
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
3
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
3
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33
33333333333331
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 09:11:54.717 950223
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:56.036 950223
End execution of Test 620 at: 09:11:56.051 950223
i U V X Y
0 17277 19999 0 0
1999 8705 11522 0 0
3998 19999 19999 0 0
5997 12429 15962 0 0
7996 19999 19999 0 0
9995 17086 19999 0 0
11994 19999 19999 0 0
13993 19999 19999 0 0
15992 19999 19999 0 0
17991 19999 19999 0 0
19990 19999 19999 0 0
Start analysis of Test 6 at: 09:11:56.186 950223
End analysis of Test 6 at: 09:11:57.746 950223
Analysis of T6 data:
i U V X Y
Start plotting data for Test 6 at: 09:11:57.776 950223
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 19999 254 0 19999 254
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C
11
1
11
11
1
11
1
1
11
1
1111111111113333333333333333333333333333333333333333333
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End plotting data for Test 6 at: 09:11:58.211 950223
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:59.500 950223
End execution of Test 700 at: 09:11:59.530 950223
i U V X Y
0 0 6652 19999 19999
1999 0 8708 0 0
3998 0 10552 0 0
5997 0 12331 0 0
7996 1331 14424 0 0
9995 3418 16442 0 0
11994 5451 18362 0 0
13993 7562 19999 0 0
15992 9520 19999 0 0
17991 11565 19999 0 0
19990 13816 19999 0 0
Start analysis of Test 4/7 at: 09:11:59.770 950223
Error 7.2. v[ 4] = 6666 < 6667 and u[ 6667] = 3 < 4
Error 7.2. v[ 7] = 6668 < 6669 and u[ 6669] = 6 < 7
Error 7.2. v[ 11] = 6674 < 6675 and u[ 6675] = 10 < 11
Error 7.2. v[ 14] = 6676 < 6677 and u[ 6677] = 13 < 14
Error 7.2. v[ 17] = 6678 < 6679 and u[ 6679] = 16 < 17
Error 7.2. v[ 26] = 6682 < 6683 and u[ 6683] = 25 < 26
End analysis of Test 4/7 at: 09:11:59.815 950223
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
1 0 6666 6665 2 2097152 1
2 0 6666 6664 1 2097152 2
3 0 6666 6663 0 2097152 3
4 0 6666 6662 -1 2097152 4
5 0 6668 6661 1 2097152 2
6 0 6668 6660 0 2097152 3
7 0 6668 6659 -1 2097152 4
8 0 6670 6658 0 2097152 2
9 0 6674 6657 1 2097152 1
10 0 6674 6656 0 2097152 2
11 0 6674 6655 -1 2097152 3
12 0 6676 6654 1 2097152 2
13 0 6676 6653 0 2097152 3
14 0 6676 6652 -1 2097152 4
15 0 6678 6651 1 2097152 2
16 0 6678 6650 0 2097152 3
17 0 6678 6649 -1 2097152 4
18 0 6680 6648 7 2097152 2
19 0 6680 6647 6 2097152 3
20 0 6680 6646 5 2097152 4
21 0 6680 6645 4 2097152 5
22 0 6680 6644 3 2097152 6
23 0 6680 6643 2 2097152 7
24 0 6680 6642 1 2097152 8
25 0 6682 6641 0 2097152 0
26 0 6682 6640 -1 2097152 1
27 0 6685 6639 0 2097152 0
28 0 6685 6638 -1 2097152 1
29 0 6688 6637 0 2097152 0
6664 0 13080 2 2 2097152 3
6665 0 13080 1 1 2097152 4
6666 3 13082 0 0 0 0
6667 3 13082 -1 -1 1 1
6668 6 13085 0 0 0 0
6669 6 13085 -1 -1 1 1
6670 8 13088 4 0 2 0
6671 8 13088 3 -1 3 1
6672 8 13091 2 0 4 0
6673 8 13091 1 -1 5 1
6674 10 13094 0 0 0 0
6675 10 13094 -1 -1 1 1
6676 13 13096 0 0 0 2
6677 13 13096 -1 -1 1 3
6678 16 13096 0 -2 0 4
6679 16 13096 -1 -3 1 5
6680 19 13098 0 0 0 4
6681 25 13104 1 1 1 1
6682 25 13104 0 0 2 2
6683 25 13104 -1 -1 3 3
6684 27 13106 1 1 2 2
6685 27 13106 0 0 3 3
6686 27 13106 -1 -1 4 4
================================================================================
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:12:00.415 950223
End execution of Test 720 at: 09:12:00.445 950223
i U V X Y
0 0 5180 19999 0
1999 0 7195 0 0
3998 0 9247 0 0
5997 776 11211 0 0
7996 2713 13137 0 0
9995 4758 15052 0 0
11994 6824 16905 0 0
13993 8856 18765 0 0
15992 10991 19999 0 0
17991 13181 19999 0 0
19990 15525 19999 0 0
Start analysis of Test 4/7 at: 09:12:00.580 950223
Error 7.2. v[ 3] = 5239 < 5240 and u[ 5240] = 2 < 3
Error 7.2. v[ 6] = 5241 < 5242 and u[ 5242] = 5 < 6
Error 7.2. v[ 15] = 5250 < 5251 and u[ 5251] = 14 < 15
Error 7.2. v[ 18] = 5253 < 5254 and u[ 5254] = 17 < 18
Error 7.2. v[ 21] = 5255 < 5256 and u[ 5256] = 20 < 21
Error 7.2. v[ 24] = 5257 < 5258 and u[ 5258] = 23 < 24
End analysis of Test 4/7 at: 09:12:00.625 950223
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 5180 5239 0 2097152 0
1 0 5239 5238 1 2097152 1
2 0 5239 5237 0 2097152 2
3 0 5239 5236 -1 2097152 3
4 0 5241 5235 1 2097152 2
5 0 5241 5234 0 2097152 3
6 0 5241 5233 -1 2097152 4
7 0 5243 5232 1 2097152 2
8 0 5243 5231 0 2097152 3
9 0 5248 5230 5 2097152 1
10 0 5248 5229 4 2097152 2
11 0 5248 5228 3 2097152 3
12 0 5248 5227 2 2097152 4
13 0 5248 5226 1 2097152 5
14 0 5250 5225 0 2097152 0
15 0 5250 5224 -1 2097152 1
16 0 5253 5223 1 2097152 2
17 0 5253 5222 0 2097152 3
18 0 5253 5221 -1 2097152 4
19 0 5255 5220 1 2097152 2
20 0 5255 5219 0 2097152 3
21 0 5255 5218 -1 2097152 4
22 0 5257 5217 1 2097152 2
23 0 5257 5216 0 2097152 3
24 0 5257 5215 -1 2097152 4
25 0 5262 5214 0 2097152 0
26 0 5262 5213 -1 2097152 1
27 0 5265 5212 1 2097152 2
5237 0 10472 2 -1 2097152 1
5238 0 10475 1 1 2097152 2
5239 2 10475 0 0 0 3
5240 2 10475 -1 -1 1 4
5241 5 10480 0 0 0 0
5242 5 10480 -1 -1 1 1
5243 8 10482 5 1 0 2
5244 8 10482 4 0 1 3
5245 8 10482 3 -1 2 4
5246 8 10484 2 1 3 2
5247 8 10484 1 0 4 3
5248 10 10484 0 -1 0 4
5249 14 10486 1 1 1 2
5250 14 10486 0 0 2 3
5251 14 10486 -1 -1 3 4
5252 14 10488 -2 1 4 2
5253 17 10488 0 0 0 3
5254 17 10488 -1 -1 1 4
5255 20 10488 0 -2 0 5
5256 20 10490 -1 0 1 3
5257 23 10496 0 5 0 1
5258 23 10496 -1 4 1 2
5259 25 10496 3 3 2 3
5260 25 10496 2 2 3 4
5261 25 10496 1 1 4 5
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 09:12:01.105 950223
End execution of Test 800 at: 09:12:01.165 950223
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 1 2 68870
1999 19990 19991 19992 19993
3998 39980 78790 39982 39983
5997 1262 28983 50993 59973
7996 79960 79961 71323 79963
9995 62531 99951 99952 99953
11994 119940 119941 119942 119943
13993 104501 139931 161821 139933
15992 159920 159921 159922 159923
17991 179910 179911 179912 179913
19990 199900 199901 199902 199903
Start analysis of Test 8 at: 09:12:01.569 950223
End analysis of Test 8 at: 09:12:02.304 950223
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:12:04.478 950223
End execution of Test 9.1 at: 09:12:04.808 950223
Start analysis of Test 9 at: 09:12:04.823 950223
End analysis of Test 9 at: 09:12:05.093 950223
0 413976 25 3 50 0 75 0
1 5 26 1 51 0 76 0
2 3 27 3 52 0 77 0
3 1 28 1 53 0 78 0
4 589 29 1 54 0 79 0
5 67 30 0 55 0 80 1
6 104 31 0 56 0 81 0
7 56 32 0 57 0 82 0
8 70 33 0 58 0 83 0
9 42 34 0 59 0 84 2
10 39 35 0 60 0 85 0
11 70735 36 0 61 0 86 0
12 7295 37 0 62 0 87 0
13 1447 38 0 63 0 88 0
14 21 39 0 64 0 89 0
15 36 40 0 65 0 90 0
16 67 41 0 66 0 91 0
17 3330 42 0 67 0 92 0
18 341 43 0 68 0 93 0
19 1525 44 0 69 0 94 0
20 200 45 0 70 0 95 0
21 15 46 0 71 0 96 0
22 1 47 0 72 1 97 0
23 8 48 0 73 0 98 0
24 2 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 188, under = 0, over = 0.
Test T9.2. P2: inv -> excl & P3: inv -> ro.
Start execution of Test 9.2 at: 09:12:05.468 950223
End execution of Test 9.2 at: 09:12:05.873 950223
Start analysis of Test 9 at: 09:12:05.888 950223
End analysis of Test 9 at: 09:12:06.158 950223
0 349431 25 7 50 0 75 0
1 17 26 3 51 0 76 0
2 1 27 1 52 0 77 0
3 2 28 0 53 0 78 0
4 3775 29 1 54 0 79 0
5 4643 30 0 55 0 80 0
6 124018 31 1 56 0 81 0
7 72 32 1 57 0 82 2
8 4136 33 0 58 0 83 0
9 131 34 0 59 0 84 0
10 3426 35 0 60 0 85 0
11 429 36 0 61 0 86 0
12 4848 37 0 62 1 87 0
13 370 38 0 63 0 88 0
14 3527 39 0 64 0 89 0
15 919 40 0 65 0 90 1
16 62 41 0 66 0 91 0
17 18 42 0 67 0 92 0
18 106 43 0 68 1 93 1
19 5 44 0 69 0 94 0
20 3 45 0 70 0 95 1
21 9 46 0 71 0 96 1
22 8 47 0 72 1 97 0
23 2 48 0 73 0 98 1
24 4 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 1757, under = 0, over = 0.
Test T9.4. P2: ro -> ro & P3: ro -> ro.
Start execution of Test 9.4 at: 09:12:06.518 950223
End execution of Test 9.4 at: 09:12:06.848 950223
Start analysis of Test 9 at: 09:12:06.863 950223
End analysis of Test 9 at: 09:12:07.133 950223
0 351168 25 7 50 0 75 1
1 12 26 7 51 0 76 0
2 0 27 4 52 0 77 0
3 9 28 4 53 0 78 0
4 44796 29 3 54 0 79 0
5 341 30 1 55 0 80 0
6 107 31 1 56 0 81 2
7 81059 32 0 57 0 82 0
8 4544 33 0 58 0 83 1
9 8317 34 0 59 0 84 1
10 3192 35 0 60 0 85 0
11 133 36 0 61 0 86 0
12 59 37 0 62 0 87 0
13 1485 38 0 63 0 88 0
14 184 39 0 64 0 89 0
15 3619 40 1 65 0 90 0
16 445 41 0 66 0 91 0
17 410 42 0 67 0 92 0
18 19 43 0 68 0 93 0
19 12 44 0 69 0 94 0
20 8 45 0 70 0 95 0
21 10 46 0 71 0 96 0
22 7 47 0 72 0 97 0
23 8 48 0 73 0 98 1
24 6 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 880, under = 0, over = 0.
Test T9.3. P2: inv -> ro & P3: inv -> excl.
Start execution of Test 9.3 at: 09:12:07.493 950223
End execution of Test 9.3 at: 09:12:07.822 950223
Start analysis of Test 9 at: 09:12:07.837 950223
End analysis of Test 9 at: 09:12:08.107 950223
0 414423 25 6 50 0 75 0
1 4 26 4 51 0 76 0
2 1 27 5 52 0 77 0
3 2 28 1 53 0 78 1
4 455 29 0 54 0 79 0
5 44 30 1 55 0 80 0
6 69 31 1 56 0 81 0
7 30 32 0 57 0 82 0
8 32 33 0 58 0 83 1
9 26 34 0 59 0 84 0
10 21 35 0 60 0 85 1
11 70811 36 0 61 0 86 0
12 7089 37 0 62 0 87 0
13 1515 38 0 63 0 88 0
14 19 39 0 64 0 89 1
15 31 40 0 65 0 90 0
16 33 41 0 66 0 91 0
17 1856 42 0 67 0 92 0
18 191 43 0 68 0 93 1
19 2833 44 0 69 0 94 0
20 448 45 1 70 1 95 0
21 12 46 0 71 0 96 1
22 4 47 0 72 0 97 0
23 9 48 0 73 0 98 0
24 4 49 0 74 0 99 0
Total = 499998, t9min = 0, t9max = 523, under = 0, over = 0.
================================================================================
Test T1000. Seek a critsec failure.
Seek 10. Operand A != 0.
Start execution of Test 1000 at: 09:12:08.917 950223
End execution of Test 1000 at: 09:12:08.932 950223
================================================================================
Failing tests: 400 420 700 720.
Run this job another time? [y] n