ARCHTEST. Version 3. 950114.
by W. W. Collier, mpdiag@acm.org.
09:14:00.571 950411
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]: 2
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
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: ahpxu_00.out.
Number of processors: 2.
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:14:34.118 950411
End execution of Test 200 at: 09:14:34.368 950411
i U V X Y
0 2596 0 0 0
24999 107943 0 0 0
49998 190297 0 0 0
74997 244457 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:14:34.649 950411
End analysis of Test 2 at: 09:14:34.758 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:14:35.790 950411
End execution of Test 220 at: 09:14:35.946 950411
i U V X Y
0 2477 0 0 0
24999 20350 0 0 0
49998 33190 0 0 0
74997 47356 0 0 0
99996 66664 0 0 0
124995 86929 0 0 0
149994 106877 0 0 0
174993 128352 0 0 0
199992 150462 0 0 0
224991 171737 0 0 0
249990 196112 0 0 0
Start analysis of Test 2 at: 09:14:36.321 950411
End analysis of Test 2 at: 09:14:36.415 950411
Analysis of T2 data:
i U V X Y
================================================================================
The number of processors (2) is too few to run Test T300.
================================================================================
The number of processors (2) is too few to run Test T310.
================================================================================
The number of processors (2) is too few to run Test T320.
================================================================================
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:14:37.196 950411
End execution of Test 400 at: 09:14:37.383 950411
i U V X Y
0 0 2856 0 0
24999 24178 25280 0 0
49998 52828 47166 0 0
74997 81683 68680 0 0
99996 111822 92740 0 0
124995 139282 112545 0 0
149994 166656 134500 0 0
174993 195254 158072 0 0
199992 222808 179313 0 0
224991 249999 202043 0 0
249990 249999 224624 0 0
Start analysis of Test 4/7 at: 09:14:37.711 950411
Error 4.2. v[ 860] = 3428 < 3429 and u[ 3429] = 859 < 860
Error 4.1. u[ 3429] = 859 < 860 and v[ 860] = 3428 < 3429
End analysis of Test 4/7 at: 09:14:37.993 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
857 0 3427 2002 2 2097152 289
858 0 3427 2001 1 2097152 290
859 0 3428 2000 0 2097152 291
860 0 3428 1999 -1 2097152 292
861 0 3429 1998 0 2097152 2
862 0 3430 1997 0 2097152 3
863 0 3431 1996 0 2097152 2
3426 568 5602 1 129 2 131
3427 568 5602 0 128 3 132
3428 859 5602 0 127 1 133
3429 859 5602 -1 126 2 134
3430 861 5602 0 125 2 135
3431 862 5602 0 124 2 136
3432 863 5602 0 123 2 137
================================================================================
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:14:38.930 950411
End execution of Test 420 at: 09:14:39.118 950411
i U V X Y
0 0 4000 0 0
24999 20909 29130 0 0
49998 52906 47426 0 0
74997 81504 70115 0 0
99996 110290 92281 0 0
124995 138349 113151 0 0
149994 166839 134468 0 0
174993 194011 157225 0 0
199992 222718 179298 0 0
224991 249999 202025 0 0
249990 249999 224125 0 0
Start analysis of Test 4/7 at: 09:14:39.555 950411
Error 4.1. u[ 45071] = 47226 < 47227 and v[ 47227] = 45070 < 45071
Error 4.1. u[ 45073] = 47228 < 47229 and v[ 47229] = 45072 < 45073
Error 4.1. u[ 45075] = 47230 < 47231 and v[ 47231] = 45074 < 45075
Error 4.1. u[ 45077] = 47232 < 47233 and v[ 47233] = 45076 < 45077
Error 4.1. u[ 45079] = 47234 < 47235 and v[ 47235] = 45078 < 45079
Error 4.1. u[ 45081] = 47236 < 47237 and v[ 47237] = 45080 < 45081
End analysis of Test 4/7 at: 09:14:39.727 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
45068 47026 43303 0 0 2 2
45069 47027 43304 0 0 2 2
45070 47226 43305 0 0 1 2
45071 47226 43306 -1 0 2 2
45072 47228 43307 0 0 2 2
45073 47228 43308 -1 0 3 2
45074 47230 43309 0 0 2 2
45075 47230 43310 -1 0 3 2
45076 47232 43311 0 0 2 2
45077 47232 43312 -1 0 3 2
45078 47234 43313 0 0 2 2
45079 47234 43314 -1 0 3 2
45080 47236 43315 0 0 2 2
45081 47236 43316 -1 0 3 2
45082 47238 43317 0 0 2 2
45083 47238 43318 -1 0 3 2
45084 47240 43319 0 0 2 2
47224 49598 45069 0 2 2 198
47225 49599 45069 0 1 2 199
47226 49600 45069 0 0 2 200
47227 49601 45070 0 -1 2 200
47228 49602 45072 0 0 2 2
47229 49603 45072 0 -1 2 3
47230 49604 45074 0 0 2 2
47231 49605 45074 0 -1 2 3
47232 49606 45076 0 0 2 2
47233 49607 45076 0 -1 2 3
47234 49608 45078 0 0 2 2
47235 49609 45078 0 -1 2 3
47236 49610 45080 0 0 2 2
47237 49611 45080 0 -1 2 3
47238 49612 45082 0 0 2 2
47239 49613 45082 0 -1 2 3
47240 49614 45084 0 0 2 2
================================================================================
The number of processors (2) is too few to run Test T500.
================================================================================
The number of processors (2) is too few to run Test T520.
================================================================================
The number of processors (2) is too few to run Test T600.
================================================================================
The number of processors (2) is too few to run Test T610.
================================================================================
The number of processors (2) is too few to run Test T620.
================================================================================
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:14:41.430 950411
End execution of Test 700 at: 09:14:41.665 950411
i U V X Y
0 0 4603 249999 249999
24999 17759 33143 0 0
49998 39754 61830 0 0
74997 62139 91829 0 0
99996 80906 121845 0 0
124995 102775 150802 0 0
149994 124186 177825 0 0
174993 147734 206605 0 0
199992 168521 231048 0 0
224991 195031 249999 0 0
249990 217000 249999 0 0
Start analysis of Test 4/7 at: 09:14:41.915 950411
End analysis of Test 4/7 at: 09:14:42.196 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
================================================================================
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:14:42.836 950411
End execution of Test 720 at: 09:14:43.086 950411
i U V X Y
0 0 5067 249999 0
24999 18111 34136 0 0
49998 38593 63948 0 0
74997 58951 93302 0 0
99996 80486 123198 0 0
124995 101464 153415 0 0
149994 122347 183494 0 0
174993 143494 213300 0 0
199992 163922 241896 0 0
224991 184489 249999 0 0
249990 207768 249999 0 0
Start analysis of Test 4/7 at: 09:14:43.586 950411
End analysis of Test 4/7 at: 09:14:43.915 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
================================================================================
Test T8. Seek a violation of A(CMP,UPO,CON).
Start execution of Test 800 at: 09:14:44.477 950411
End execution of Test 800 at: 09:14:45.524 950411
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 27200 2 3
24999 249990 249991 249992 249993
49998 499980 499981 499982 499983
74997 749970 749971 749972 749973
99996 999960 999961 999962 999963
124995 1249950 1249951 1249952 1249953
149994 1499940 1499941 1499942 1499943
174993 1749930 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:14:48.461 950411
End analysis of Test 8 at: 09:14:54.336 950411
Analysis of T8 data:
i w[][0] w[][1] w[][2] w[][3]
Save output from Test 8? [n]
================================================================================
The number of processors (2) is too few to run Test T900.
================================================================================
Test T1000. Seek a critsec failure.
Seek 10. Operand A != 0.
Start execution of Test 1000 at: 09:15:19.477 950411
End execution of Test 1000 at: 09:15:19.821 950411
================================================================================
Failing tests: 400 420.
Run this job another time? [y] n