ARCHTEST. Version 3. 950114. by W. W. Collier, mpdiag@acm.org. 09:05:43.203 950223 TD4 intergraph 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]: 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: atd4__00.out. Number of processors: 2. 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:06:22.390 950223 End execution of Test 200 at: 09:06:22.421 950223 i U V X Y 0 3560 0 0 0 1999 5564 0 0 0 3998 7565 0 0 0 5997 9566 0 0 0 7996 11566 0 0 0 9995 13567 0 0 0 11994 15568 0 0 0 13993 17569 0 0 0 15992 19570 0 0 0 17991 19999 0 0 0 19990 19999 0 0 0 Start analysis of Test 2 at: 09:06:22.703 950223 End analysis of Test 2 at: 09:06:22.734 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:06:22.984 950223 End execution of Test 220 at: 09:06:23.015 950223 i U V X Y 0 3063 0 0 0 1999 5069 0 0 0 3998 7072 0 0 0 5997 9075 0 0 0 7996 11077 0 0 0 9995 12955 0 0 0 11994 14958 0 0 0 13993 16961 0 0 0 15992 18964 0 0 0 17991 19999 0 0 0 19990 19999 0 0 0 Start analysis of Test 2 at: 09:06:23.296 950223 End analysis of Test 2 at: 09:06:23.328 950223 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:06:23.703 950223 End execution of Test 400 at: 09:06:23.750 950223 i U V X Y 0 0 3255 0 0 1999 0 5256 0 0 3998 740 6904 0 0 5997 2739 8638 0 0 7996 5089 10637 0 0 9995 7353 12636 0 0 11994 9352 14706 0 0 13993 11351 16705 0 0 15992 13279 18704 0 0 17991 15278 19999 0 0 19990 17277 19999 0 0 Start analysis of Test 4/7 at: 09:06:24.265 950223 Error 4.2. v[ 1138] = 4395 < 4396 and u[ 4396] = 1137 < 1138 Error 4.2. v[ 1143] = 4400 < 4401 and u[ 4401] = 1142 < 1143 Error 4.2. v[ 1145] = 4402 < 4403 and u[ 4403] = 1144 < 1145 Error 4.2. v[ 1147] = 4404 < 4405 and u[ 4405] = 1146 < 1147 Error 4.2. v[ 1149] = 4406 < 4407 and u[ 4407] = 1148 < 1149 Error 4.2. v[ 1151] = 4408 < 4409 and u[ 4409] = 1150 < 1151 End analysis of Test 4/7 at: 09:06:24.406 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 1135 0 4392 2123 0 2097152 2 1136 0 4393 2122 0 2097152 2 1137 0 4395 2121 0 2097152 1 1138 0 4395 2120 -1 2097152 2 1139 0 4397 2119 1 2097152 2 1140 0 4397 2118 0 2097152 3 1141 0 4398 2117 0 2097152 2 1142 0 4400 2116 0 2097152 1 1143 0 4400 2115 -1 2097152 2 1144 0 4402 2114 0 2097152 2 1145 0 4402 2113 -1 2097152 3 1146 0 4404 2112 0 2097152 2 1147 0 4404 2111 -1 2097152 3 1148 0 4406 2110 0 2097152 2 1149 0 4406 2109 -1 2097152 3 1150 0 4408 2108 0 2097152 2 1151 0 4408 2107 -1 2097152 3 1152 0 4410 2106 0 2097152 2 1153 0 4410 2105 -1 2097152 3 1154 0 4412 2104 0 2097152 2 4393 1135 7298 0 0 2 2 4394 1136 7299 1 0 2 2 4395 1137 7300 0 0 2 2 4396 1137 7301 -1 0 3 2 4397 1139 7302 0 0 2 2 4398 1140 7303 0 0 1 2 4399 1141 7304 1 0 2 2 4400 1142 7305 0 0 2 2 4401 1142 7306 -1 0 3 2 4402 1144 7307 0 0 2 2 4403 1144 7308 -1 0 3 2 4404 1146 7309 0 0 2 2 4405 1146 7310 -1 0 3 2 4406 1148 7311 0 0 2 2 4407 1148 7312 -1 0 3 2 4408 1150 7313 0 0 2 2 4409 1150 7314 -1 0 3 2 4410 1152 7315 0 0 2 2 4411 1152 7316 -1 0 3 2 4412 1154 7317 0 0 2 2 ================================================================================ 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:06:25.609 950223 End execution of Test 420 at: 09:06:25.656 950223 i U V X Y 0 0 3225 0 0 1999 0 5245 0 0 3998 751 7244 0 0 5997 2750 9250 0 0 7996 4745 11253 0 0 9995 6737 13252 0 0 11994 8737 15188 0 0 13993 10736 17187 0 0 15992 12798 19186 0 0 17991 14796 19999 0 0 19990 16795 19999 0 0 Start analysis of Test 4/7 at: 09:06:25.953 950223 End analysis of Test 4/7 at: 09:06:25.984 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 ================================================================================ 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:06:26.546 950223 End execution of Test 700 at: 09:06:26.593 950223 i U V X Y 0 0 3044 19999 19999 1999 0 5045 0 0 3998 953 7045 0 0 5997 2950 9044 0 0 7996 4948 11043 0 0 9995 6947 13043 0 0 11994 8947 15042 0 0 13993 10945 17043 0 0 15992 12944 19041 0 0 17991 14941 19999 0 0 19990 16942 19999 0 0 Start analysis of Test 4/7 at: 09:06:26.875 950223 End analysis of Test 4/7 at: 09:06:26.906 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 ================================================================================ 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:06:27.250 950223 End execution of Test 720 at: 09:06:27.296 950223 i U V X Y 0 0 3464 19999 0 1999 0 5489 0 0 3998 512 7488 0 0 5997 2507 9492 0 0 7996 4504 11493 0 0 9995 6498 13492 0 0 11994 8498 15493 0 0 13993 10495 17440 0 0 15992 12493 19439 0 0 17991 14544 19999 0 0 19990 16542 19999 0 0 Start analysis of Test 4/7 at: 09:06:27.593 950223 End analysis of Test 4/7 at: 09:06:27.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 ================================================================================ Test T8. Seek a violation of A(CMP,UPO,CON). Start execution of Test 800 at: 09:06:27.906 950223 End execution of Test 800 at: 09:06:27.953 950223 i w[i][0] w[i][1] w[i][2] w[i][3] 0 0 57180 2 3 1999 19990 19991 19992 19993 3998 39980 39981 39982 39983 5997 59970 59971 59972 59973 7996 79960 79961 79962 79963 9995 99950 99951 99952 99953 11994 119940 119941 119942 119943 13993 139930 139931 139932 139933 15992 159920 159921 159922 159923 17991 179910 179911 179912 179913 19990 199900 199901 199902 199903 Start analysis of Test 8 at: 09:06:28.281 950223 End analysis of Test 8 at: 09:06:28.640 950223 Analysis of T8 data: i w[][0] w[][1] w[][2] w[][3] Save output from Test 8? [n] 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:06:33.437 950223 End execution of Test 1000 at: 09:06:33.468 950223 ================================================================================ Failing tests: 400. Run this job another time? [y] n