ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org 09:49:06.832 980422 Parameters initialized from file: eeserv. This data was generated by ARCHTEST on a 2-way SUN Sparc 20 running Solaris 2.4. ARCHTEST was compiled using Version 2.7.0 of the GNU compiler. The test was conducted under the auspices of Neil Sobrado, Systems Administrator (sobrad22@eelab.newpaltz.edu), and Dr. Owen B. Hill, Chair, Department of Electrical Engineering, SUNY New Paltz. 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 [all]: Parameters for this run: Type of run: 1. Perform a real multiprocessor test. Output file name: a2222200.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 09:49:29.816 980422 End execution of Test T100 at 09:49:30.117 980422 Duration 0.301 Start analysis of Test T100 at 09:49:30.118 980422 Thread start, stop, and dur times. 0.011 0.008 0.000 0.000 0.000 0.000 0.000 0.000 0.300 0.145 0.000 0.000 0.000 0.000 0.000 0.000 0.289 0.137 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 4805 0 0 0 19998 15708 0 0 0 29997 26953 0 0 0 39996 37810 0 0 0 49995 48553 0 0 0 59994 58167 0 0 0 69993 69214 0 0 0 79992 80178 0 0 0 89991 91364 0 0 0 99990 102162 0 0 0 109989 113113 0 0 0 119988 123845 0 0 0 129987 134881 0 0 0 139986 145630 0 0 0 149985 157020 0 0 0 159984 167537 0 0 0 169983 176601 0 0 0 179982 186673 0 0 0 189981 197316 0 0 0 199980 208184 0 0 0 dim = 80, max = 208206, 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 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 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 96415 0 1 10495 33097 2 90519 57634 3 2486 11715 4 14 565 5 2 556 6 2 0 7 0 0 8 0 0 9 0 2 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 65 14 End analysis of Test T100 at 09:49:30.657 980422 ==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 09:49:30.926 980422 End execution of Test T120 at 09:49:31.299 980422 Duration 0.373 Start analysis of Test T120 at 09:49:31.467 980422 Thread start, stop, and dur times. 0.040 0.040 0.000 0.000 0.000 0.000 0.000 0.000 0.373 0.180 0.000 0.000 0.000 0.000 0.000 0.000 0.333 0.140 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 7795 0 0 0 19998 14687 0 0 0 29997 14687 0 0 0 39996 20143 0 0 0 49995 22315 0 0 0 59994 24829 0 0 0 69993 29508 0 0 0 79992 31705 0 0 0 89991 37815 0 0 0 99990 40354 0 0 0 109989 47625 0 0 0 119988 53208 0 0 0 129987 58143 0 0 0 139986 68235 0 0 0 149985 78318 0 0 0 159984 88246 0 0 0 169983 97983 0 0 0 179982 112962 0 0 0 189981 123109 0 0 0 199980 133486 0 0 0 dim = 80, max = 133506, 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 111 11 11 1 1 1 111 11 11 111 11 111 111 111 111 111 11111 11 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 136717 0 1 24591 28100 2 37684 30793 3 929 4181 4 19 56 5 18 111 6 6 2 7 1 1 8 0 1 9 0 3 10 0 1 11 0 1 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 33 31 End analysis of Test T120 at 09:49:32.004 980422 ==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 09:49:32.249 980422 line3 End execution of Test T200 at 09:49:32.801 980422 Duration 0.552 Start analysis of Test T200 at 09:49:32.802 980422 Thread start, stop, and dur times. 0.081 0.041 0.000 0.000 0.000 0.000 0.000 0.000 0.551 0.299 0.000 0.000 0.000 0.000 0.000 0.000 0.470 0.258 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 0 0 0 0 19998 0 0 0 0 29997 0 0 0 0 39996 0 0 0 0 49995 0 0 0 0 59994 0 0 0 0 69993 0 0 0 0 79992 0 0 0 0 89991 18704 18704 0 0 99990 39878 39879 0 0 109989 62250 62251 0 0 119988 85113 85114 0 0 129987 107564 107565 0 0 139986 130043 130045 0 0 149985 152542 152543 0 0 159984 174953 174954 0 0 169983 197479 197480 0 0 179982 219906 219906 0 0 189981 242241 242242 0 0 199980 264322 264323 0 0 dim = 80, max = 264365, 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 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 165405 0 1 5411 234498 2 174771 77 3 47191 0 4 7052 0 5 117 0 6 6 0 7 1 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 42 16 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 248109 0 0 20 0 -79 0 -59 0 -39 0 -19 185210 1 0 21 0 -78 0 -58 0 -38 0 -18 305102 2 0 22 0 -77 0 -57 0 -37 0 -17 53540 3 0 23 0 -76 0 -56 0 -36 0 -16 7830 4 0 24 0 -75 0 -55 0 -35 0 -15 129 5 0 25 0 -74 0 -54 0 -34 0 -14 8 6 0 26 0 -73 0 -53 0 -33 0 -13 1 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 1 30 0 -69 0 -49 0 -29 0 -9 0 11 2 31 0 -68 0 -48 0 -28 0 -8 0 12 3 32 0 -67 0 -47 0 -27 0 -7 0 13 3 33 0 -66 0 -46 0 -26 0 -6 0 14 0 34 0 -65 0 -45 0 -25 0 -5 0 15 3 35 0 -64 0 -44 0 -24 0 -4 0 16 2 36 0 -63 0 -43 0 -23 0 -3 0 17 1 37 0 -62 0 -42 0 -22 0 -2 0 18 0 38 0 -61 0 -41 0 -21 0 -1 0 19 1 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | 340000 | | 320000 | | 300000 | | o 280000 | | o 260000 | | o 240000 | o o 220000 | o o 200000 | o o 180000 | ooo 160000 | ooo 140000 | ooo 120000 | ooo 100000 | ooo 80000 | ooo 60000 | ooo 40000 | oooo 20000 | oooo 0 |_________._________._________.ooooooo__._________._________oooo_ooo_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 = 513. 0 thru 39 = 799945. histend K = 200000. 40 thru Max = 47. End analysis of Test T200 at 09:49:34.499 980422 ==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 09:49:34.758 980422 End execution of Test T210 at 09:49:35.340 980422 Duration 0.582 Start analysis of Test T210 at 09:49:35.418 980422 Thread start, stop, and dur times. 0.020 0.020 0.000 0.000 0.000 0.000 0.000 0.000 0.581 0.360 0.000 0.000 0.000 0.000 0.000 0.000 0.561 0.340 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 54 59 0 0 9999 16077 16078 0 0 19998 36223 36223 0 0 29997 42502 42502 0 0 39996 45039 45039 0 0 49995 51866 51866 0 0 59994 55966 55966 0 0 69993 62574 62574 0 0 79992 83379 83380 0 0 89991 104273 104273 0 0 99990 126035 126035 0 0 109989 151269 151269 0 0 119988 171956 171957 0 0 129987 189993 189993 0 0 139986 210888 210889 0 0 149985 232218 232219 0 0 159984 253316 253317 0 0 169983 274692 274693 0 0 179982 293823 293824 0 0 189981 314939 314939 0 0 199980 335827 335827 0 0 dim = 80, max = 335868, 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 33 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 333 3333 333 33333 3 333 3 3 3 33 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 118869 0 1 18279 280033 2 217534 987 3 43874 4 4 1251 3 5 50 3 6 6 1 7 2 0 8 0 0 9 0 0 10 1 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 130 96 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 178319 0 0 20 0 -79 0 -59 0 -39 0 -19 207796 1 0 21 0 -78 0 -58 0 -38 0 -18 364887 2 0 22 0 -77 0 -57 0 -37 0 -17 47393 3 0 23 0 -76 0 -56 0 -36 0 -16 1332 4 0 24 0 -75 0 -55 0 -35 0 -15 59 5 0 25 0 -74 0 -54 0 -34 0 -14 7 6 0 26 0 -73 0 -53 0 -33 0 -13 3 7 0 27 0 -72 0 -52 0 -32 0 -12 0 8 3 28 0 -71 0 -51 0 -31 0 -11 0 9 0 29 0 -70 0 -50 0 -30 0 -10 1 10 2 30 0 -69 0 -49 0 -29 0 -9 0 11 0 31 0 -68 0 -48 0 -28 0 -8 0 12 4 32 0 -67 0 -47 0 -27 0 -7 0 13 3 33 0 -66 0 -46 0 -26 0 -6 0 14 2 34 0 -65 0 -45 0 -25 0 -5 0 15 4 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 3 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | o 340000 | | o 320000 | | o 300000 | | o 280000 | | o 260000 | | o 240000 | | o 220000 | | o 200000 | |oo 180000 | |oo 160000 | ooo 140000 | ooo 120000 | ooo 100000 | ooo 80000 | ooo 60000 | ooo 40000 | oooo 20000 | oooo 0 |_________._________._________.ooooooo__o_________._______o_o_oooo___o -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 = 5052. 0 thru 39 = 799818. histend K = 200000. 40 thru Max = 174. End analysis of Test T210 at 09:49:37.093 980422 ==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 09:49:37.341 980422 End execution of Test T220 at 09:49:37.988 980422 Duration 0.647 Start analysis of Test T220 at 09:49:38.134 980422 Thread start, stop, and dur times. 0.038 0.038 0.000 0.000 0.000 0.000 0.000 0.000 0.631 0.343 0.000 0.000 0.000 0.000 0.000 0.000 0.593 0.305 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 20176 20176 0 0 19998 40931 40932 0 0 29997 61611 61611 0 0 39996 82489 82490 0 0 49995 103234 103234 0 0 59994 119603 119603 0 0 69993 125692 125692 0 0 79992 128140 128140 0 0 89991 134511 134511 0 0 99990 138625 138625 0 0 109989 145082 145082 0 0 119988 150348 150348 0 0 129987 156986 156986 0 0 139986 176939 176939 0 0 149985 185908 185908 0 0 159984 206743 206743 0 0 169983 227746 227747 0 0 179982 247820 247821 0 0 189981 268389 268390 0 0 199980 289030 289030 0 0 dim = 80, max = 289071, 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 33 3 3 3 3 3 333 3 3 333 33 333 333 333 33 333 33333 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 147270 0 1 15319 251219 2 197312 1405 3 38671 3 4 1275 1 5 67 1 6 6 0 7 2 1 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 74 96 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 220916 0 0 20 0 -79 0 -59 0 -39 0 -19 205786 1 0 21 0 -78 0 -58 0 -38 0 -18 329699 2 0 22 0 -77 0 -57 0 -37 0 -17 42033 3 0 23 0 -76 0 -56 0 -36 0 -16 1362 4 0 24 0 -75 0 -55 0 -35 0 -15 75 5 0 25 0 -74 0 -54 0 -34 0 -14 8 6 0 26 0 -73 0 -53 0 -33 0 -13 2 7 1 27 0 -72 0 -52 0 -32 0 -12 0 8 4 28 0 -71 0 -51 0 -31 0 -11 0 9 6 29 0 -70 0 -50 0 -30 0 -10 0 10 6 30 0 -69 0 -49 0 -29 0 -9 0 11 1 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 5 35 0 -64 0 -44 0 -24 0 -4 0 16 1 36 0 -63 0 -43 0 -23 0 -3 0 17 3 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 ------ 380000 | | 360000 | | 340000 | | 320000 | | o 300000 | | o 280000 | | o 260000 | | o 240000 | | o 220000 | o o 200000 | ooo 180000 | ooo 160000 | ooo 140000 | ooo 120000 | ooo 100000 | ooo 80000 | ooo 60000 | ooo 40000 | oooo 20000 | oooo 0 |_________._________._________.ooooooo__._________.______ooooo___ooo__ -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 = 2810. 0 thru 39 = 799908. histend K = 200000. 40 thru Max = 84. End analysis of Test T220 at 09:49:39.759 980422 ==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 09:49:40.007 980422 End execution of Test T400 at 09:49:40.236 980422 Duration 0.229 Start analysis of Test T400 at 09:49:40.238 980422 Thread start, stop, and dur times. 0.033 0.033 0.000 0.000 0.000 0.000 0.000 0.000 0.227 0.229 0.000 0.000 0.000 0.000 0.000 0.000 0.194 0.196 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 13 0 0 9999 9957 10040 0 0 19998 19784 20226 0 0 29997 29803 30105 0 0 39996 40739 39518 0 0 49995 50626 49374 0 0 59994 60512 59478 0 0 69993 70402 69576 0 0 79992 80304 79669 0 0 89991 90224 89741 0 0 99990 100218 99776 0 0 109989 110163 109818 0 0 119988 120178 119791 0 0 129987 128707 131290 0 0 139986 138726 141251 0 0 149985 148691 151309 0 0 159984 158359 161700 0 0 169983 168327 171708 0 0 179982 176384 183638 0 0 189981 186319 193234 0 0 199980 196422 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 1 2 1 211 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 1 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 1 12 12 12 12 12 32 3 3 3 3 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 177844 0 1 77582 87399 2 126535 108990 3 14494 21243 4 3317 3263 5 152 1081 6 15 130 7 10 10 8 14 4 9 9 4 10 0 1 11 0 2 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 24 25 d = -9. Event 4.1. u[ 3116] = 2986 < 2987; v[ 2987] = 3107 < 3116. b=2 c=2 u[ 3108]: 2984 2985 2985 2986 2986 2986 2986 2986 2986 Event 4.2. v[ 9821] = 9882 < 9883; u[ 9883] = 9812 < 9821. b=1 c=1 v[ 9813]: 9881 9881 9881 9882 9882 9882 9882 9882 9882 d = -8. Event 4.1. u[ 3115] = 2986 < 2987; v[ 2987] = 3107 < 3115. b=2 c=2 u[ 3108]: 2984 2985 2985 2986 2986 2986 2986 2986 Event 4.1. u[ 3162] = 3005 < 3006; v[ 3006] = 3154 < 3162. b=1 c=1 u[ 3155]: 3004 3004 3004 3005 3005 3005 3005 3005 Event 4.2. v[ 9719] = 9860 < 9861; u[ 9861] = 9711 < 9719. b=1 c=1 v[ 9712]: 9859 9859 9859 9859 9859 9860 9860 9860 Event 4.2. v[ 9732] = 9863 < 9864; u[ 9864] = 9724 < 9732. b=1 c=1 v[ 9725]: 9862 9862 9862 9863 9863 9863 9863 9863 Event 4.2. v[ 9820] = 9882 < 9883; u[ 9883] = 9812 < 9820. b=1 c=1 v[ 9813]: 9881 9881 9881 9882 9882 9882 9882 9882 d = -7. Event 4.1. u[ 3114] = 2986 < 2987; v[ 2987] = 3107 < 3114. b=2 c=2 u[ 3108]: 2984 2985 2985 2986 2986 2986 2986 Event 4.1. u[ 3118] = 2987 < 2988; v[ 2988] = 3111 < 3118. b=1 c=1 u[ 3112]: 2986 2986 2986 2986 2986 2987 2987 Event 4.1. u[ 3161] = 3005 < 3006; v[ 3006] = 3154 < 3161. b=1 c=1 u[ 3155]: 3004 3004 3004 3005 3005 3005 3005 Event 4.2. v[ 9495] = 9812 < 9813; u[ 9813] = 9488 < 9495. b=2 c=2 v[ 9489]: 9810 9811 9811 9812 9812 9812 9812 Event 4.2. v[ 9503] = 9815 < 9816; u[ 9816] = 9496 < 9503. b=2 c=2 v[ 9497]: 9813 9814 9814 9815 9815 9815 9815 Event 4.2. v[ 9514] = 9818 < 9819; u[ 9819] = 9507 < 9514. b=1 c=1 v[ 9508]: 9817 9817 9817 9818 9818 9818 9818 Event 4.2. v[ 9718] = 9860 < 9861; u[ 9861] = 9711 < 9718. b=1 c=1 v[ 9712]: 9859 9859 9859 9859 9859 9860 9860 Event 4.2. v[ 9843] = 9888 < 9889; u[ 9889] = 9836 < 9843. b=1 c=1 v[ 9837]: 9887 9887 9887 9888 9888 9888 9888 Portions of the arrays containing relaxation events: i U V d1 d2 d3 d4 2978 2883 3082 1 0 2 2 2979 2883 3082 0 -1 3 3 2980 2883 3087 -1 -1 4 2 2981 2883 3090 -2 -2 5 2 2982 2885 3092 -1 -2 3 3 2983 2885 3097 -2 -2 4 3 2984 2886 3099 -1 -1 3 3 2985 2888 3102 0 -2 2 2 2986 2888 3107 -1 -2 3 2 2987 2888 3107 -2 -3 4 3 2988 2890 3111 -2 -2 3 3 2989 2891 3117 -1 -2 3 3 2990 2894 3119 -1 -1 2 3 2991 2894 3119 -2 -2 3 4 2992 2895 3122 -1 -2 4 3 2993 2895 3125 -2 -1 5 3 2994 2896 3128 0 -2 5 2 2995 2896 3133 -1 -1 6 2 2996 2896 3135 -2 -1 7 2 2997 2900 3135 1 -2 3 3 2998 2900 3137 0 -2 4 3 2999 2900 3139 -1 -1 5 3 3000 2901 3142 -1 -2 4 2 3001 2901 3145 -2 -1 5 3 3002 2903 3146 -1 -2 3 2 3003 2905 3149 -1 -1 2 3 3004 2905 3152 -2 -2 3 2 3005 2906 3154 -1 -1 3 3 3006 2908 3154 0 -2 2 4 3007 2908 3158 -1 -2 3 3 3008 2909 3163 -1 -1 4 3 3009 2909 3164 -2 -2 5 3 3010 2911 3167 -1 0 3 1 3011 2912 3167 0 -1 2 2 3012 2912 3168 -1 -1 3 3 3013 2914 3170 -1 2 2 2 3014 2914 3170 -2 1 3 3 3107 2984 3263 -5 -2 10 4 3108 2984 3264 -6 -1 11 3 3109 2985 3266 -2 2 10 2 3110 2985 3266 -3 1 11 3 3111 2986 3266 -4 0 9 4 3112 2986 3266 -5 -1 10 5 3113 2986 3269 -6 1 11 2 3114 2986 3269 -7 0 12 3 3115 2986 3269 -8 -1 13 4 3116 2986 3270 -9 -2 14 4 3117 2987 3272 -6 -1 10 3 3118 2987 3273 -7 -1 11 2 3119 2989 3274 0 -2 8 3 3120 2989 3274 -1 -3 9 4 3121 2989 3276 -2 -1 10 4 3122 2990 3278 -3 0 5 2 3123 2990 3278 -4 -1 6 3 3124 2990 3279 -5 -1 7 4 3125 2992 3279 0 -2 6 5 3154 3004 3309 0 -2 5 4 3155 3004 3312 -1 -1 6 3 3156 3004 3313 -2 0 7 2 3157 3004 3313 -3 -1 8 3 3158 3005 3314 -4 -2 6 4 3159 3005 3314 -5 -3 7 5 3160 3005 3316 -6 -1 8 4 3161 3005 3316 -7 -2 9 5 3162 3005 3316 -8 -3 10 6 3163 3006 3319 -5 1 9 3 3164 3007 3319 -1 0 10 4 3165 3007 3319 -2 -1 11 5 3166 3009 3320 1 -1 3 4 3167 3009 3321 0 -2 4 3 3168 3010 3322 -1 -1 4 3 3169 3011 3322 -1 -2 2 4 3170 3011 3324 -2 -1 3 3 9488 9242 9810 -2 -3 4 8 9489 9243 9810 -1 -4 3 9 9490 9245 9811 0 -2 2 7 9491 9245 9811 -1 -3 3 8 9492 9247 9812 -2 -4 2 7 9493 9248 9812 -1 -5 3 8 9494 9248 9812 -2 -6 4 9 9495 9250 9812 -1 -7 3 10 9496 9251 9813 0 -4 2 8 9497 9251 9813 -1 -5 3 9 9498 9253 9814 -1 -2 2 10 9499 9253 9814 -2 -3 3 11 9500 9255 9815 -2 -4 3 8 9501 9256 9815 -1 -5 3 9 9502 9256 9815 -2 -6 4 10 9503 9258 9815 -1 -7 3 11 9504 9258 9816 -2 -4 4 8 9505 9259 9816 -1 -5 3 9 9506 9261 9816 0 -6 2 10 9507 9261 9817 -1 -3 3 11 9508 9261 9817 -2 -4 4 12 9509 9263 9817 -1 -5 3 13 9510 9263 9817 -2 -6 4 14 9511 9264 9818 -1 -4 5 11 9512 9264 9818 -2 -5 6 12 9513 9266 9818 -1 -6 3 13 9514 9266 9818 -2 -7 4 14 9515 9268 9819 -1 -4 3 11 9516 9269 9819 -1 -5 2 12 9517 9271 9820 0 -2 2 10 9518 9271 9820 -1 -3 3 11 9519 9272 9820 0 -4 4 12 9520 9272 9820 -1 -5 5 13 9521 9274 9821 -1 -4 2 10 9711 9365 9859 -1 0 3 9 9712 9366 9859 -1 -1 2 10 9713 9368 9859 0 -2 2 11 9714 9368 9859 -1 -3 3 12 9715 9368 9859 -2 -4 4 13 9716 9368 9859 -3 -5 5 14 9717 9371 9860 -1 -6 3 10 9718 9371 9860 -2 -7 4 11 9719 9372 9860 -1 -8 3 12 9720 9374 9861 0 0 2 9 9721 9374 9861 -1 -1 3 10 9722 9376 9862 -1 2 2 11 9723 9376 9862 -2 1 3 12 9724 9376 9862 -3 0 4 13 9725 9378 9862 -1 -1 4 14 9726 9378 9862 -2 -2 5 15 9727 9380 9862 -1 -3 3 16 9728 9380 9863 -2 -4 4 8 9729 9381 9863 -1 -5 3 9 9730 9383 9863 0 -6 2 10 9731 9383 9863 -1 -7 3 11 9732 9384 9863 -2 -8 4 12 9733 9386 9864 -1 0 3 9 9734 9388 9864 0 -1 2 10 9735 9388 9864 -1 -2 3 11 9736 9390 9864 -1 -3 2 12 9737 9390 9864 -2 -4 3 13 9738 9391 9864 -1 -5 4 14 9739 9391 9865 -2 -1 5 15 9740 9391 9865 -3 -2 6 16 9806 9472 9879 -2 0 3 9 9807 9475 9879 -2 -1 3 10 9808 9477 9880 -1 0 3 8 9809 9480 9880 -1 -1 2 9 9810 9483 9881 -1 2 2 4 9811 9485 9881 -1 1 2 5 9812 9488 9881 -2 0 2 6 9813 9488 9881 -3 -1 3 7 9814 9492 9881 -2 -2 3 8 9815 9496 9881 -2 -3 3 9 9816 9496 9882 -3 -4 4 8 9817 9500 9882 -2 -5 3 9 9818 9504 9882 -2 -6 3 10 9819 9507 9882 -2 -7 3 11 9820 9511 9882 -2 -8 3 12 9821 9515 9882 -2 -9 3 13 9822 9517 9883 -2 -5 3 10 9823 9521 9883 -2 -6 3 11 9824 9523 9883 -1 -7 3 12 9825 9527 9884 -1 0 2 13 9826 9528 9884 -2 -1 2 14 9827 9530 9885 -2 3 3 10 9828 9535 9885 -2 2 3 11 9829 9540 9885 -1 1 2 12 9830 9548 9885 0 0 1 13 9836 9579 9887 0 0 1 6 9837 9587 9887 0 -1 1 7 9838 9587 9887 -1 -2 2 8 9839 9595 9887 0 -3 1 9 9840 9603 9888 0 -4 1 8 9841 9605 9888 -1 -5 1 9 9842 9612 9888 -1 -6 1 10 9843 9619 9888 -1 -7 1 11 9844 9623 9889 -1 0 2 8 9845 9630 9889 0 -1 1 9 9846 9639 9890 0 4 1 10 9847 9639 9890 -1 3 2 11 9848 9645 9890 0 2 1 12 9849 9652 9890 -1 1 1 13 9850 9655 9890 -1 0 2 14 9851 9662 9890 0 -1 1 15 9852 9670 9890 -1 -2 1 16 9853 9672 9891 0 -1 2 9 9854 9677 9893 -1 -1 1 2 9855 9685 9895 0 0 1 2 9856 9693 9895 0 -1 1 3 9857 9693 9898 -1 0 2 2 9858 9702 9898 0 -1 1 3 9859 9707 9900 0 0 1 2 9860 9711 9900 -1 -1 1 3 9861 9711 9901 -2 -1 2 4 9862 9720 9901 -1 -2 2 5 9863 9724 9903 -1 -1 1 3 9864 9724 9904 -2 0 2 2 9865 9733 9904 -1 -1 2 3 9866 9738 9906 -1 -2 2 2 9867 9741 9906 -1 -3 2 3 9868 9749 9908 -1 0 1 4 9869 9752 9908 -1 -1 2 5 9870 9756 9909 -1 -1 2 6 9871 9764 9909 0 -2 1 7 9872 9768 9911 -1 -1 1 3 9873 9774 9913 -1 -1 1 2 9874 9778 9913 -1 -2 2 3 9875 9781 9914 -1 0 2 3 9876 9789 9916 -1 -1 1 1 9877 9793 9917 -1 -1 2 2 9878 9797 9919 -1 0 1 2 9879 9800 9919 -1 -1 2 3 9880 9806 9921 -1 -1 1 2 9881 9808 9921 -1 -2 2 3 9882 9812 9923 -1 -2 1 3 9883 9812 9923 -2 -3 2 4 9884 9817 9924 -2 -1 2 4 9885 9825 9927 -1 -1 2 2 9886 9830 9927 -1 -2 1 3 9887 9832 9928 -1 -1 2 3 9888 9836 9930 -1 1 1 2 9889 9836 9930 -2 0 2 3 9890 9844 9930 -1 -1 2 4 9891 9850 9930 -1 -2 1 5 9892 9852 9932 -1 -1 2 3 9893 9852 9932 -2 -2 3 4 9894 9853 9933 -1 -1 4 3 9895 9853 9935 -2 -1 5 2 9896 9855 9937 -1 0 3 2 Histograms of d1, d2, d3, and d4 values: i d1 d2 d3 d4 i -1 90850 90850 0 0 -1 -2 53283 56770 0 0 -2 -3 13866 13886 0 0 -3 -4 1929 1225 0 0 -4 -5 124 68 0 0 -5 -6 8 18 0 0 -6 -7 3 8 0 0 -7 -8 2 3 0 0 -8 -9 1 1 0 0 -9 -10 0 0 0 0 -10 Totals / Min / Under -25: 160066 162829 0 0 9 9 0 0 0 0 0 0 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 231847 0 25 20 0 -79 0 -59 0 -39 0 -19 85464 1 25 21 0 -78 0 -58 0 -38 0 -18 129730 2 25 22 0 -77 0 -57 0 -37 0 -17 15052 3 24 23 0 -76 0 -56 0 -36 0 -16 3395 4 24 24 0 -75 0 -55 0 -35 0 -15 194 5 24 25 0 -74 0 -54 0 -34 0 -14 49 6 24 26 0 -73 0 -53 0 -33 0 -13 41 7 24 27 0 -72 0 -52 0 -32 0 -12 43 8 24 28 0 -71 0 -51 0 -31 0 -11 36 9 24 29 0 -70 0 -50 0 -30 0 -10 26 10 24 30 0 -69 0 -49 0 -29 2 -9 26 11 24 31 0 -68 0 -48 0 -28 5 -8 25 12 24 32 0 -67 0 -47 0 -27 11 -7 25 13 24 33 0 -66 0 -46 0 -26 26 -6 25 14 24 34 0 -65 0 -45 0 -25 192 -5 25 15 24 35 0 -64 0 -44 0 -24 3154 -4 25 16 24 36 0 -63 0 -43 0 -23 27752 -3 25 17 24 37 0 -62 0 -42 0 -22 110053 -2 25 18 24 38 0 -61 0 -41 0 -21 181700 -1 25 19 24 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | 340000 | | 320000 | | 300000 | | 280000 | | 260000 | | 240000 | | 220000 | o 200000 | o 180000 | oo 160000 | oo 140000 | oo 120000 | oo o 100000 | ooo o 80000 | ooooo 60000 | ooooo 40000 | ooooo 20000 | oooooo 0 |_________._________.ooooooooo.ooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3). Nmbr = 400. Total = 796436. Min thru -81 = 0. Type = WR|(WW&CC3). Minimum = -9. -80 thru -1 = 322895. Behav = Relaxed. Maximum = 2086. 0 thru 39 = 466586. histend K = 200000. 40 thru Max = 6955. 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 5 0 25 20 0 -79 0 -59 0 -39 0 -19 7883 1 25 21 0 -78 0 -58 0 -38 0 -18 87416 2 25 22 0 -77 0 -57 0 -37 0 -17 140169 3 25 23 0 -76 0 -56 0 -36 0 -16 89500 4 25 24 0 -75 0 -55 0 -35 0 -15 49262 5 25 25 0 -74 0 -54 0 -34 0 -14 11476 6 25 26 0 -73 0 -53 0 -33 0 -13 2194 7 25 27 0 -72 0 -52 0 -32 0 -12 306 8 25 28 0 -71 0 -51 0 -31 0 -11 136 9 25 29 0 -70 0 -50 0 -30 0 -10 121 10 25 30 0 -69 0 -49 0 -29 0 -9 97 11 25 31 0 -68 0 -48 0 -28 0 -8 78 12 25 32 0 -67 0 -47 0 -27 0 -7 66 13 25 33 0 -66 0 -46 0 -26 0 -6 54 14 25 34 0 -65 0 -45 0 -25 0 -5 38 15 25 35 0 -64 0 -44 0 -24 0 -4 32 16 25 36 0 -63 0 -43 0 -23 0 -3 28 17 25 37 0 -62 0 -42 0 -22 0 -2 25 18 25 38 0 -61 0 -41 0 -21 0 -1 25 19 25 39 ------ Relaxed ------ | ------ Strong ------ 190000 | | 180000 | | 170000 | | 160000 | | 150000 | | 140000 | | o 130000 | | o 120000 | | o 110000 | | o 100000 | | o 90000 | | o 80000 | | ooo 70000 | | ooo 60000 | | ooo 50000 | | ooo 40000 | | oooo 30000 | | oooo 20000 | | oooo 10000 | | ooooo 0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW) and A(CMP,UPO,RW). Nmbr = 400. Total = 399974. Min thru -81 = 0. Type = WW&RW. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 3561. 0 thru 39 = 389411. histend K = 200000. 40 thru Max = 10563. End analysis of Test T400 at 09:49:43.301 980422 ==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 09:49:43.661 980422 End execution of Test T410 at 09:49:43.953 980422 Duration 0.292 Start analysis of Test T410 at 09:49:44.038 980422 Thread start, stop, and dur times. 0.003 0.003 0.000 0.000 0.000 0.000 0.000 0.000 0.270 0.201 0.000 0.000 0.000 0.000 0.000 0.000 0.267 0.198 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 8808 11714 0 0 19998 174466 11845 0 0 29997 182083 11845 0 0 39996 190103 11845 0 0 49995 196766 11845 0 0 59994 199999 11845 0 0 69993 199999 11845 0 0 79992 199999 11845 0 0 89991 199999 15756 0 0 99990 199999 15756 0 0 109989 199999 15756 0 0 119988 199999 15756 0 0 129987 199999 15756 0 0 139986 199999 15756 0 0 149985 199999 15756 0 0 159984 199999 15756 0 0 169983 199999 15756 0 0 179982 199999 27564 0 0 189981 199999 39841 0 0 199980 199999 53994 0 0 dim = 80, max = 200000, pamx = 1. Plot of the values in the arrays. 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... 11111111111111111111111111111111111111111111111111111111111 11 11 1 1 1 1 11 1 1 11 1 1 2 2 2 2 2 2 2 2 2 2 2 222222222222222222222222222222222 2 2222222222222222222222222222222 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 353234 0 1 15325 21182 2 26943 16098 3 3857 8419 4 567 598 5 32 376 6 5 54 7 3 3 8 0 1 9 0 1 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 30 30 d = -7. Event 4.2. v[ 10111] = 11842 < 11843; u[ 11843] = 10104 < 10111. b=0 c=0 v[ 10105]: 11842 11842 11842 11842 11842 11842 11842 Event 4.1. u[ 17179] = 174365 < 174366; v[ 174366] = 17172 < 17179. b=0 c=0 u[ 17173]: 174365 174365 174365 174365 174365 174365 174365 d = -6. Event 4.1. u[ 3994] = 2993 < 2994; v[ 2994] = 3988 < 3994. b=1 c=1 u[ 3989]: 2992 2993 2993 2993 2993 2993 Event 4.1. u[ 4037] = 3007 < 3008; v[ 3008] = 4031 < 4037. b=1 c=1 u[ 4032]: 3006 3007 3007 3007 3007 3007 Event 4.2. v[ 10110] = 11842 < 11843; u[ 11843] = 10104 < 10110. b=0 c=0 v[ 10105]: 11842 11842 11842 11842 11842 11842 Event 4.1. u[ 17178] = 174365 < 174366; v[ 174366] = 17172 < 17178. b=0 c=0 u[ 17173]: 174365 174365 174365 174365 174365 174365 Event 4.2. v[ 177142] = 24074 < 24075; u[ 24075] = 177136 < 177142. b=1 c=1 v[ 177137]: 24073 24073 24073 24074 24074 24074 d = -5. Event 4.1. u[ 3964] = 2982 < 2983; v[ 2983] = 3959 < 3964. b=0 c=0 u[ 3960]: 2982 2982 2982 2982 2982 Event 4.1. u[ 3974] = 2986 < 2987; v[ 2987] = 3969 < 3974. b=1 c=1 u[ 3970]: 2985 2985 2985 2985 2986 Event 4.1. u[ 3979] = 2987 < 2988; v[ 2988] = 3974 < 3979. b=0 c=0 u[ 3975]: 2987 2987 2987 2987 2987 Event 4.1. u[ 3993] = 2993 < 2994; v[ 2994] = 3988 < 3993. b=1 c=1 u[ 3989]: 2992 2993 2993 2993 2993 Event 4.1. u[ 4036] = 3007 < 3008; v[ 3008] = 4031 < 4036. b=1 c=1 u[ 4032]: 3006 3007 3007 3007 3007 Event 4.2. v[ 10109] = 11842 < 11843; u[ 11843] = 10104 < 10109. b=0 c=0 v[ 10105]: 11842 11842 11842 11842 11842 Event 4.1. u[ 17177] = 174365 < 174366; v[ 174366] = 17172 < 17177. b=0 c=0 u[ 17173]: 174365 174365 174365 174365 174365 Event 4.2. v[ 176549] = 23395 < 23396; u[ 23396] = 176544 < 176549. b=2 c=2 v[ 176545]: 23393 23394 23395 23395 23395 Portions of the arrays containing relaxation events: i U V d1 d2 d3 d4 2978 2279 3950 1 -1 3 2 2979 2279 3950 0 -2 4 3 2980 2279 3954 -1 0 5 3 2981 2279 3954 -2 -1 6 4 2982 2280 3956 -1 -2 5 2 2983 2280 3959 -2 -1 6 3 2984 2281 3962 -1 -2 5 2 2985 2281 3965 -2 -1 6 3 2986 2283 3969 0 -1 3 2 2987 2283 3969 -1 -2 4 3 2988 2283 3974 -2 -1 5 3 2989 2285 3978 1 -2 3 2 2990 2285 3978 0 -3 4 3 2991 2285 3982 -1 -1 5 3 2992 2286 3986 -1 -1 4 2 2993 2286 3986 -2 -2 5 3 2994 2288 3988 0 -2 3 3 2995 2288 3993 -1 -2 4 2 2996 2288 3995 -2 -1 5 3 2997 2290 4000 1 -1 3 2 2998 2290 4005 0 -1 4 2 2999 2290 4010 -1 -1 5 2 3000 2291 4013 -1 0 4 2 3001 2291 4017 -2 -1 5 1 3002 2293 4019 0 -1 3 2 3003 2293 4022 -1 -1 4 2 3004 2293 4024 -2 -1 5 2 3005 2295 4024 1 -2 3 3 3006 2295 4029 0 -1 4 2 3007 2295 4031 -1 -1 5 2 3008 2296 4031 -1 -2 4 3 3009 2296 4035 -2 -2 5 2 3010 2296 4038 -3 -1 6 3 3011 2297 4038 -2 -2 5 4 3012 2299 4040 0 -1 3 3 3013 2299 4042 -1 -1 4 2 3014 2299 4042 -2 -2 5 3 3988 2992 5240 -2 -2 6 4 3989 2992 5241 -3 -1 7 3 3990 2993 5242 -2 -2 4 4 3991 2993 5242 -3 -3 5 5 3992 2993 5244 -4 0 6 4 3993 2993 5244 -5 -1 7 5 3994 2993 5246 -6 -2 8 2 3995 2995 5247 0 -2 7 3 3996 2995 5247 -1 -3 8 4 3997 2995 5249 -2 -1 9 4 3998 2995 5251 -3 0 10 2 3999 2995 5253 -4 -1 11 1 4000 2996 5253 0 -2 7 2 4031 3006 5290 0 -2 7 2 4032 3006 5290 -1 -3 8 3 4033 3007 5294 -2 0 4 2 4034 3007 5296 -3 0 5 1 4035 3007 5296 -4 -1 6 2 4036 3007 5298 -5 -1 7 2 4037 3007 5298 -6 -2 8 3 4038 3008 5298 -3 -3 7 4 4039 3009 5300 -1 -1 8 4 4040 3011 5300 0 -2 2 5 4041 3011 5302 -1 -1 3 3 4042 3012 5302 0 -2 4 4 4043 3012 5304 -1 -1 5 3 10104 8897 11840 -1 -1 6 4 10105 8899 11842 0 -1 2 2 10106 8899 11842 -1 -2 3 3 10107 8901 11842 1 -3 2 4 10108 8901 11842 0 -4 3 5 10109 8901 11842 -1 -5 4 6 10110 8903 11842 0 -6 2 7 10111 8903 11842 -1 -7 3 8 10112 8904 11845 -2 75927 4 8 10113 8904 11845 -3 75926 5 9 10114 8906 11845 0 75925 4 10 10115 8906 11845 -1 75924 5 11 10116 8906 11845 -2 75923 6 12 10117 8908 11845 -1 75922 3 13 10118 8908 11845 -2 75921 4 14 11836 10098 11845 -2 74203 4 1732 11837 10100 11845 1 74202 3 1733 11838 10100 11845 0 74201 4 1734 11839 10100 11845 -1 74200 5 1735 11840 10102 11845 0 74199 2 1736 11841 10103 11845 -1 74198 3 1737 11842 10104 11845 0 74197 2 1738 11843 10104 11845 -1 74196 3 1739 11844 10104 11845 -2 74195 4 1740 11845 86039 11845 544 74194 0 1741 11846 86039 11845 543 74193 1 1742 11847 86039 11845 542 74192 2 1743 11848 86039 11845 541 74191 3 1744 11849 86039 11845 540 74190 4 1745 11850 86039 11845 539 74189 5 1746 17172 174363 11845 -2 68867 3 7068 17173 174365 11845 -1 68866 3 7069 17174 174365 11845 -2 68865 4 7070 17175 174365 11845 -3 68864 5 7071 17176 174365 11845 -4 68863 6 7072 17177 174365 11845 -5 68862 7 7073 17178 174365 11845 -6 68861 8 7074 17179 174365 11845 -7 68860 9 7075 17180 174366 11845 -2 68859 8 7076 17181 174368 11845 -1 68858 3 7077 17182 174370 11845 0 68857 2 7078 17183 174370 11845 -1 68856 3 7079 17184 174371 11845 -1 68855 4 7080 17185 174371 11845 -2 68854 5 7081 17186 174373 11845 1 68853 3 7082 24069 177120 11845 -2 61970 3 13965 24070 177124 11845 -1 61969 2 13966 24071 177127 11845 -1 61968 2 13967 24072 177130 11845 -1 61967 2 13968 24073 177133 11845 -1 61966 2 13969 24074 177136 11845 -1 61965 2 13970 24075 177136 11845 -2 61964 3 13971 24076 177143 11845 0 61963 2 13972 24077 177143 11845 -1 61962 3 13973 24078 177146 11845 -1 61961 2 13974 24079 177148 11845 0 61960 2 13975 24080 177151 11845 -1 61959 1 13976 24081 177153 11845 0 61958 2 13977 174359 199999 17164 2097152 0 120344 2 174360 199999 17165 2097152 -1 120345 3 174361 199999 17167 2097152 -1 120346 2 174362 199999 17169 2097152 -1 120347 2 174363 199999 17170 2097152 -2 120348 3 174364 199999 17170 2097152 -3 120349 4 174365 199999 17172 2097152 0 120350 4 174366 199999 17172 2097152 -1 120351 5 174367 199999 17178 2097152 -2 120352 2 174368 199999 17178 2097152 -3 120353 3 174369 199999 17180 2097152 -1 120354 4 174370 199999 17180 2097152 -2 120355 5 174371 199999 17182 2097152 -1 120356 3 174372 199999 17183 2097152 -1 120357 2 174373 199999 17185 2097152 0 120358 2 177136 199999 24073 2097152 0 123121 6 177137 199999 24073 2097152 -1 123122 7 177138 199999 24073 2097152 -2 123123 8 177139 199999 24073 2097152 -3 123124 9 177140 199999 24074 2097152 -4 123125 7 177141 199999 24074 2097152 -5 123126 8 177142 199999 24074 2097152 -6 123127 9 177143 199999 24075 2097152 0 123128 7 177144 199999 24076 2097152 -1 123129 8 177145 199999 24076 2097152 -2 123130 9 177146 199999 24076 2097152 -3 123131 10 177147 199999 24077 2097152 -1 123132 4 177148 199999 24079 2097152 3 123133 2 Histograms of d1, d2, d3, and d4 values: i d1 d2 d3 d4 i -1 16619 16619 0 0 -1 -2 12094 8242 0 0 -2 -3 2340 2321 0 0 -3 -4 38 174 0 0 -4 -5 6 6 0 0 -5 -6 3 2 0 0 -6 -7 1 1 0 0 -7 -8 0 0 0 0 -8 Totals / Min / Under -25: 31101 27365 0 0 7 7 0 0 0 0 0 0 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 372156 0 30 20 0 -79 0 -59 0 -39 0 -19 19789 1 30 21 0 -78 0 -58 0 -38 0 -18 28180 2 30 22 0 -77 0 -57 0 -37 0 -17 4128 3 30 23 0 -76 0 -56 0 -36 0 -16 611 4 30 24 0 -75 0 -55 0 -35 0 -15 70 5 30 25 0 -74 0 -54 0 -34 0 -14 39 6 30 26 0 -73 0 -53 0 -33 0 -13 34 7 30 27 0 -72 0 -52 0 -32 0 -12 31 8 30 28 0 -71 0 -51 0 -31 0 -11 30 9 30 29 0 -70 0 -50 0 -30 0 -10 30 10 30 30 0 -69 0 -49 0 -29 0 -9 30 11 30 31 0 -68 0 -48 0 -28 0 -8 30 12 30 32 0 -67 0 -47 0 -27 2 -7 30 13 30 33 0 -66 0 -46 0 -26 5 -6 30 14 30 34 0 -65 0 -45 0 -25 12 -5 30 15 30 35 0 -64 0 -44 0 -24 212 -4 30 16 30 36 0 -63 0 -43 0 -23 4661 -3 30 17 30 37 0 -62 0 -42 0 -22 20336 -2 30 18 30 38 0 -61 0 -41 0 -21 33238 -1 30 19 30 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 | ooo o 0 |_________._________.__ooooooo.ooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3). Nmbr = 410. Total = 654011. Min thru -81 = 0. Type = WR|(WW&CC3). Minimum = -7. -80 thru -1 = 58466. Behav = Relaxed. Maximum = 83979. 0 thru 39 = 425968. histend K = 200000. 40 thru Max = 169577. 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 9 0 30 20 0 -79 0 -59 0 -39 0 -19 4464 1 30 21 0 -78 0 -58 0 -38 0 -18 18039 2 30 22 0 -77 0 -57 0 -37 0 -17 24634 3 30 23 0 -76 0 -56 0 -36 0 -16 21249 4 30 24 0 -75 0 -55 0 -35 0 -15 11800 5 30 25 0 -74 0 -54 0 -34 0 -14 2436 6 30 26 0 -73 0 -53 0 -33 0 -13 589 7 30 27 0 -72 0 -52 0 -32 0 -12 137 8 30 28 0 -71 0 -51 0 -31 0 -11 61 9 30 29 0 -70 0 -50 0 -30 0 -10 43 10 30 30 0 -69 0 -49 0 -29 0 -9 37 11 30 31 0 -68 0 -48 0 -28 0 -8 33 12 30 32 0 -67 0 -47 0 -27 0 -7 31 13 30 33 0 -66 0 -46 0 -26 0 -6 31 14 30 34 0 -65 0 -45 0 -25 0 -5 30 15 30 35 0 -64 0 -44 0 -24 0 -4 30 16 30 36 0 -63 0 -43 0 -23 0 -3 30 17 30 37 0 -62 0 -42 0 -22 0 -2 30 18 30 38 0 -61 0 -41 0 -21 0 -1 30 19 30 39 ------ Relaxed ------ | ------ Strong ------ 38000 | | 36000 | | 34000 | | 32000 | | 30000 | | 28000 | | 26000 | | 24000 | | o 22000 | | o 20000 | | oo 18000 | | ooo 16000 | | ooo 14000 | | ooo 12000 | | ooo 10000 | | oooo 8000 | | oooo 6000 | | oooo 4000 | |ooooo 2000 | |oooooo 0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW) and A(CMP,UPO,RW). Nmbr = 410. Total = 399946. Min thru -81 = 0. Type = WW&RW. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 145984. 0 thru 39 = 84343. histend K = 200000. 40 thru Max = 315603. End analysis of Test T410 at 09:49:46.287 980422 ==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 09:49:46.624 980422 End execution of Test T420 at 09:49:46.864 980422 Duration 0.240 Start analysis of Test T420 at 09:49:47.024 980422 Thread start, stop, and dur times. 0.013 0.013 0.000 0.000 0.000 0.000 0.000 0.000 0.240 0.211 0.000 0.000 0.000 0.000 0.000 0.000 0.227 0.198 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 12 0 0 9999 12088 9415 0 0 19998 12088 39172 0 0 29997 12088 48566 0 0 39996 21448 58389 0 0 49995 31383 68315 0 0 59994 41598 78080 0 0 69993 51720 87463 0 0 79992 61876 97467 0 0 89991 72745 102757 0 0 99990 82627 102757 0 0 109989 139782 102757 0 0 119988 150287 102757 0 0 129987 160136 102757 0 0 139986 192539 110171 0 0 149985 199999 119706 0 0 159984 199999 129843 0 0 169983 199999 135581 0 0 179982 199999 135581 0 0 189981 199999 137455 0 0 199980 199999 147403 0 0 dim = 80, max = 200000, pamx = 1. Plot of the values in the arrays. 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... 1111111111111111111111 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 2 1 2 1 2222222222 1 2 2 2 2 2 2 2 2 2 2 2 2 22222222222222222222 2 2 2 2 2 2 2 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 2 1 2 1 2 1 22 1 2 1 2 1 1 1 1 1 1 1 1 1 111111111 112 122 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 234010 0 1 103259 117994 2 55602 28699 3 6667 16813 4 332 1785 5 56 611 6 20 34 7 4 8 8 2 2 9 3 0 10 1 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 40 40 d = -6. Event 4.2. v[ 57891] = 76164 < 76165; u[ 76165] = 57885 < 57891. b=0 c=0 v[ 57886]: 76164 76164 76164 76164 76164 76164 Event 4.2. v[ 68606] = 86633 < 86634; u[ 86634] = 68600 < 68606. b=0 c=0 v[ 68601]: 86633 86633 86633 86633 86633 86633 Event 4.1. u[ 87136] = 68749 < 68750; v[ 68750] = 87130 < 87136. b=0 c=0 u[ 87131]: 68749 68749 68749 68749 68749 68749 d = -5. Event 4.2. v[ 36446] = 55082 < 55083; u[ 55083] = 36441 < 36446. b=1 c=1 v[ 36442]: 55081 55082 55082 55082 55082 Event 4.2. v[ 36675] = 55246 < 55247; u[ 55247] = 36670 < 36675. b=0 c=0 v[ 36671]: 55246 55246 55246 55246 55246 Event 4.2. v[ 36707] = 55258 < 55259; u[ 55259] = 36702 < 36707. b=0 c=0 v[ 36703]: 55258 55258 55258 55258 55258 Event 4.1. u[ 38899] = 18678 < 18679; v[ 18679] = 38894 < 38899. b=1 c=1 u[ 38895]: 18677 18677 18678 18678 18678 Event 4.1. u[ 38903] = 18679 < 18680; v[ 18680] = 38898 < 38903. b=1 c=1 u[ 38899]: 18678 18679 18679 18679 18679 Event 4.1. u[ 42303] = 23788 < 23789; v[ 23789] = 42298 < 42303. b=1 c=1 u[ 42299]: 23787 23788 23788 23788 23788 Event 4.1. u[ 42312] = 23791 < 23792; v[ 23792] = 42307 < 42312. b=0 c=0 u[ 42308]: 23791 23791 23791 23791 23791 Event 4.1. u[ 42327] = 23797 < 23798; v[ 23798] = 42322 < 42327. b=1 c=1 u[ 42323]: 23796 23797 23797 23797 23797 Event 4.1. u[ 42336] = 23801 < 23802; v[ 23802] = 42331 < 42336. b=1 c=1 u[ 42332]: 23800 23800 23800 23801 23801 Event 4.1. u[ 42342] = 23802 < 23803; v[ 23803] = 42337 < 42342. b=0 c=0 u[ 42338]: 23802 23802 23802 23802 23802 Event 4.1. u[ 42348] = 23804 < 23805; v[ 23805] = 42343 < 42348. b=1 c=1 u[ 42344]: 23803 23803 23804 23804 23804 Event 4.1. u[ 92351] = 74977 < 74978; v[ 74978] = 92346 < 92351. b=1 c=1 u[ 92347]: 74976 74976 74976 74977 74977 Portions of the arrays containing relaxation events: i U V d1 d2 d3 d4 36441 16421 55080 -2 -1 4 6 36442 16422 55081 -2 -2 4 4 36443 16423 55082 -2 -2 4 3 36444 16424 55082 -2 -3 4 4 36445 16425 55082 -2 -4 4 5 36446 16426 55082 -2 -5 4 6 36447 16427 55083 -2 -1 4 7 36448 16428 55083 -2 -2 4 8 36449 16429 55085 -2 1 4 3 36450 16430 55085 -2 0 4 4 36451 16431 55085 -2 -1 4 5 36670 16566 55246 -1 0 3 6 36671 16567 55246 -1 -1 3 7 36672 16568 55246 -1 -2 3 8 36673 16568 55246 -2 -3 4 9 36674 16568 55246 -3 -4 5 10 36675 16571 55246 0 -5 2 11 36676 16571 55247 -1 0 3 9 36677 16573 55248 1 2 2 7 36678 16573 55248 0 1 3 8 36679 16573 55248 -1 0 4 9 36680 16575 55248 1 -1 2 10 55078 36432 73440 -2 0 2 3 55079 36435 73440 -1 -1 2 4 55080 36438 73442 0 0 2 2 55081 36440 73442 -1 -1 1 3 55082 36440 73442 -2 -2 2 4 55083 36441 73444 -2 -1 3 3 55084 36446 73444 -1 -2 2 4 55085 36448 73445 0 -1 2 3 55086 36450 73447 -1 -1 1 2 55087 36452 73447 -2 -2 2 3 55088 36454 73449 -1 -1 3 3 57885 39498 76164 -2 0 4 6 57886 39499 76164 -2 -1 4 7 57887 39500 76164 -2 -2 4 8 57888 39501 76164 -2 -3 4 9 57889 39502 76164 -2 -4 4 10 57890 39503 76164 -2 -5 4 11 57891 39504 76164 -2 -6 4 12 57892 39504 76165 -3 3 5 7 57893 39506 76165 -1 2 4 8 57894 39506 76165 -2 1 5 9 57895 39507 76166 -1 0 4 10 57896 39509 76166 0 -1 2 11 57897 39510 76166 -1 -2 3 12 68600 50288 86631 -2 -1 3 2 68601 50289 86633 -1 -1 3 2 68602 50291 86633 -1 -2 2 3 68603 50291 86633 -2 -3 3 4 68604 50292 86633 -2 -4 4 5 68605 50293 86633 -2 -5 4 6 68606 50294 86633 -2 -6 4 7 68607 50295 86634 -2 -1 4 7 68608 50296 86634 -2 -2 4 8 68609 50297 86636 -1 0 4 3 68610 50298 86638 -1 0 4 1 68611 50299 86639 -1 0 3 2 68612 50302 86640 -1 0 2 2 68744 50425 87123 -1 -1 5 2 68745 50427 87124 0 -1 2 3 68746 50428 87126 -1 -2 3 2 68747 50431 87127 0 -1 2 3 68748 50431 87129 -1 -1 3 2 68749 50431 87130 -2 0 4 3 68750 50433 87130 2 -1 3 4 68751 50433 87136 1 -1 4 2 68752 50433 87137 0 -1 5 3 68753 50434 87137 0 -2 3 4 68754 50435 87139 0 2 2 3 68755 50436 87139 -1 1 2 4 68756 50439 87139 2 0 2 5 76159 57867 93552 -1 1 2 2 76160 57871 93552 -1 0 2 3 76161 57874 93552 0 -1 1 4 76162 57874 93552 -1 -2 2 5 76163 57879 93554 -1 -1 2 3 76164 57885 93554 0 -2 1 4 76165 57885 93555 -1 -1 2 3 76166 57895 93557 0 -1 1 2 76167 57895 93557 -1 -2 2 3 76168 57904 93558 0 -1 1 4 76169 57904 93561 -1 -1 2 2 76170 57912 93562 0 0 1 2 76171 57915 93562 -1 -1 1 3 86628 68598 102757 2 45753 2 1150 86629 68598 102757 1 45752 3 1151 86630 68598 102757 0 45751 4 1152 86631 68599 102757 0 45750 3 1153 86632 68599 102757 -1 45749 4 1154 86633 68600 102757 0 45748 3 1155 86634 68600 102757 -1 45747 4 1156 86635 68606 102757 -1 45746 2 1157 86636 68609 102757 2 45745 2 1158 86637 68609 102757 1 45744 3 1159 86638 68609 102757 0 45743 4 1160 86639 68610 102757 0 45742 3 1161 86640 68611 102757 0 45741 2 1162 87130 68747 102757 -1 45251 4 1652 87131 68749 102757 -1 45250 2 1653 87132 68749 102757 -2 45249 3 1654 87133 68749 102757 -3 45248 4 1655 87134 68749 102757 -4 45247 5 1656 87135 68749 102757 -5 45246 6 1657 87136 68749 102757 -6 45245 7 1658 87137 68750 102757 -1 45244 7 1659 87138 68751 102757 -1 45243 8 1660 87139 68754 102757 0 45242 2 1661 87140 68756 102757 -1 45241 1 1662 87141 68756 102757 -2 45240 2 1663 87142 68758 102757 -1 45239 3 1664 Histograms of d1, d2, d3, and d4 values: i d1 d2 d3 d4 i -1 48645 48645 0 0 -1 -2 34258 34543 0 0 -2 -3 1741 1736 0 0 -3 -4 72 73 0 0 -4 -5 10 6 0 0 -5 -6 1 2 0 0 -6 -7 0 0 0 0 -7 Totals / Min / Under -25: 84727 85005 0 0 6 6 0 0 0 0 0 0 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 286066 0 40 20 0 -79 0 -59 0 -39 0 -19 114938 1 40 21 0 -78 0 -58 0 -38 0 -18 58345 2 40 22 0 -77 0 -57 0 -37 0 -17 6883 3 40 23 0 -76 0 -56 0 -36 0 -16 394 4 40 24 0 -75 0 -55 0 -35 0 -15 108 5 40 25 0 -74 0 -54 0 -34 0 -14 62 6 40 26 0 -73 0 -53 0 -33 0 -13 44 7 40 27 0 -72 0 -52 0 -32 0 -12 42 8 40 28 0 -71 0 -51 0 -31 0 -11 43 9 40 29 0 -70 0 -50 0 -30 0 -10 41 10 40 30 0 -69 0 -49 0 -29 0 -9 40 11 40 31 0 -68 0 -48 0 -28 0 -8 40 12 40 32 0 -67 0 -47 0 -27 0 -7 40 13 40 33 0 -66 0 -46 0 -26 3 -6 40 14 40 34 0 -65 0 -45 0 -25 16 -5 40 15 40 35 0 -64 0 -44 0 -24 145 -4 40 16 40 36 0 -63 0 -43 0 -23 3477 -3 40 17 40 37 0 -62 0 -42 0 -22 68801 -2 40 18 40 38 0 -61 0 -41 0 -21 97290 -1 40 19 40 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | 340000 | | 320000 | | 300000 | | 280000 | o 260000 | o 240000 | o 220000 | o 200000 | o 180000 | o 160000 | o 140000 | o 120000 | o 100000 | oo 80000 | ooo 60000 | oooo 40000 | ooooo 20000 | ooooo 0 |_________._________.___oooooo.ooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3). Nmbr = 420. Total = 747421. Min thru -81 = 0. Type = WR|(WW&CC3). Minimum = -6. -80 thru -1 = 169732. Behav = Relaxed. Maximum = 46902. 0 thru 39 = 468126. histend K = 200000. 40 thru Max = 109563. 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 6 0 40 20 0 -79 0 -59 0 -39 0 -19 11679 1 40 21 0 -78 0 -58 0 -38 0 -18 49825 2 40 22 0 -77 0 -57 0 -37 0 -17 75687 3 40 23 0 -76 0 -56 0 -36 0 -16 80688 4 40 24 0 -75 0 -55 0 -35 0 -15 16106 5 40 25 0 -74 0 -54 0 -34 0 -14 1697 6 40 26 0 -73 0 -53 0 -33 0 -13 299 7 40 27 0 -72 0 -52 0 -32 0 -12 218 8 40 28 0 -71 0 -51 0 -31 0 -11 163 9 40 29 0 -70 0 -50 0 -30 0 -10 122 10 40 30 0 -69 0 -49 0 -29 0 -9 85 11 40 31 0 -68 0 -48 0 -28 0 -8 57 12 40 32 0 -67 0 -47 0 -27 0 -7 48 13 40 33 0 -66 0 -46 0 -26 0 -6 42 14 40 34 0 -65 0 -45 0 -25 0 -5 40 15 40 35 0 -64 0 -44 0 -24 0 -4 40 16 40 36 0 -63 0 -43 0 -23 0 -3 40 17 40 37 0 -62 0 -42 0 -22 0 -2 40 18 40 38 0 -61 0 -41 0 -21 0 -1 40 19 40 39 ------ Relaxed ------ | ------ Strong ------ 95000 | | 90000 | | 85000 | | 80000 | | o 75000 | | oo 70000 | | oo 65000 | | oo 60000 | | oo 55000 | | oo 50000 | | oo 45000 | | ooo 40000 | | ooo 35000 | | ooo 30000 | | ooo 25000 | | ooo 20000 | | ooo 15000 | | oooo 10000 | |ooooo 5000 | |ooooo 0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW) and A(CMP,UPO,RW). Nmbr = 420. Total = 399912. Min thru -81 = 0. Type = WW&RW. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 52575. 0 thru 39 = 237722. histend K = 200000. 40 thru Max = 162190. End analysis of Test T420 at 09:49:49.537 980422 ==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 09:49:49.791 980422 End execution of Test T700 at 09:49:50.081 980422 Duration 0.290 Start analysis of Test T700 at 09:49:50.082 980422 Thread start, stop, and dur times. 0.037 0.037 0.000 0.000 0.000 0.000 0.000 0.000 0.273 0.286 0.000 0.000 0.000 0.000 0.000 0.000 0.236 0.249 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 27053 6676 0 0 19998 44752 6676 0 0 29997 54485 13997 0 0 39996 64312 16353 0 0 49995 74167 25427 0 0 59994 84068 35597 0 0 69993 95173 45706 0 0 79992 103989 55892 0 0 89991 113794 66042 0 0 99990 123688 74833 0 0 109989 133472 86119 0 0 119988 137076 96254 0 0 129987 137076 106373 0 0 139986 137076 160787 0 0 149985 137076 170683 0 0 159984 139187 180456 0 0 169983 149280 191927 0 0 179982 159242 199999 0 0 189981 168035 199999 0 0 199980 178088 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 2222222222 2 2 2 2 2 22 2 1 2 1 2 1 2 1 1 22 1 2 1 1 2 1 1 1 1 1 1 1 1 1 111111111111111111 1 1 1 1 1 1 1 1 1 2 1 2 11 2 2 11 2 1 2 1 2 1 2 1 2 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 11 2 1 2 2 2 2 2 1 2 1 2 1 2 1 2 2 2 2222 2 2 2 32222222 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 152750 0 1 201536 203295 2 40245 36966 3 5049 6313 4 313 544 5 52 77 6 8 7 7 1 1 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 42 43 d = -5. Event 7.1. u[ 2980] = 2999 < 3000; v[ 3000] = 2975 < 2980. b=0 c=0 u[ 2976]: 2999 2999 2999 2999 2999 Event 7.1. u[ 5381] = 5350 < 5351; v[ 5351] = 5376 < 5381. b=0 c=0 u[ 5377]: 5350 5350 5350 5350 5350 Event 7.1. u[ 5476] = 5371 < 5372; v[ 5372] = 5471 < 5476. b=0 c=0 u[ 5472]: 5371 5371 5371 5371 5371 Event 7.2. v[ 113826] = 90018 < 90019; u[ 90019] = 113821 < 113826. b=1 c=1 v[ 113822]: 90017 90018 90018 90018 90018 Event 7.2. v[ 130210] = 106594 < 106595; u[ 106595] = 130205 < 130210. b=1 c=1 v[ 130206]: 106593 106594 106594 106594 106594 Event 7.2. v[ 172258] = 194138 < 194139; u[ 194139] = 172253 < 172258. b=1 c=1 v[ 172254]: 194137 194137 194138 194138 194138 Event 7.1. u[ 175461] = 154751 < 154752; v[ 154752] = 175456 < 175461. b=1 c=1 u[ 175457]: 154750 154751 154751 154751 154751 d = -4. Event 7.1. u[ 228] = 200 < 201; v[ 201] = 224 < 228. b=1 c=1 u[ 225]: 199 200 200 200 Event 7.1. u[ 2919] = 2976 < 2977; v[ 2977] = 2915 < 2919. b=0 c=0 u[ 2916]: 2976 2976 2976 2976 Event 7.1. u[ 2926] = 2979 < 2980; v[ 2980] = 2922 < 2926. b=0 c=0 u[ 2923]: 2979 2979 2979 2979 Event 7.1. u[ 2949] = 2989 < 2990; v[ 2990] = 2945 < 2949. b=0 c=0 u[ 2946]: 2989 2989 2989 2989 Event 7.1. u[ 2964] = 2994 < 2995; v[ 2995] = 2960 < 2964. b=0 c=0 u[ 2961]: 2994 2994 2994 2994 Event 7.1. u[ 2973] = 2997 < 2998; v[ 2998] = 2969 < 2973. b=0 c=0 u[ 2970]: 2997 2997 2997 2997 Event 7.1. u[ 2979] = 2999 < 3000; v[ 3000] = 2975 < 2979. b=0 c=0 u[ 2976]: 2999 2999 2999 2999 Event 7.1. u[ 194820] = 172928 < 172929; v[ 172929] = 194816 < 194820. b=1 c=1 u[ 194817]: 172927 172928 172928 172928 Portions of the arrays containing relaxation events: i U V d1 d2 d3 d4 2969 2996 2907 -2 -1 9 5 2970 2997 2909 -1 -1 6 2 2971 2997 2909 -2 -2 7 3 2972 2997 2910 -3 -2 8 4 2973 2997 2911 -4 -2 9 4 2974 2998 2912 -1 -2 7 4 2975 2998 2913 -2 -2 8 4 2976 2999 2915 -1 0 7 3 2977 2999 2915 -2 -1 8 4 2978 2999 2920 -3 -1 9 2 2979 2999 2920 -4 -2 10 3 2980 2999 2922 -5 -1 11 3 2981 3000 2927 -2 -1 8 2 2982 3000 2927 -3 -2 9 3 2983 3000 2929 -4 -1 10 3 2984 3001 2930 0 -2 9 2 2985 3001 2933 -1 -1 10 3 2991 3004 2950 0 -1 7 2 2992 3004 2952 -1 -1 8 2 2993 3006 2954 1 -1 2 2 2994 3006 2956 0 -2 3 2 2995 3006 2960 -1 -1 4 2 2996 3006 2964 -2 -1 5 2 2997 3007 2967 -2 -1 6 2 2998 3007 2969 -3 -1 7 2 2999 3007 2973 -4 -1 8 2 3000 3008 2975 0 -1 6 2 3001 3008 2979 -1 -2 7 2 3002 3008 2984 -2 -1 8 2 3003 3008 2984 -3 -2 9 3 3004 3010 2986 -1 -1 4 3 3005 3011 2991 -1 -1 3 2 5346 5338 5354 0 -1 2 2 5347 5341 5359 -1 -1 1 1 5348 5342 5363 -1 -1 2 2 5349 5344 5368 0 -1 2 2 5350 5344 5371 -1 -1 3 2 5351 5344 5376 -2 -1 4 2 5352 5344 5382 -3 -1 5 2 5353 5344 5387 -4 -1 6 2 5354 5345 5392 0 -1 7 2 5355 5345 5395 -1 -1 8 2 5356 5345 5400 -2 -1 9 2 5367 5347 5450 -4 -1 13 1 5368 5348 5452 0 -1 9 2 5369 5348 5457 -1 -1 10 2 5370 5348 5462 -2 -1 11 2 5371 5348 5466 -3 -1 12 2 5372 5349 5471 -1 -1 9 2 5373 5349 5477 -2 -1 10 2 5374 5349 5482 -3 -1 11 2 5375 5349 5487 -4 -1 12 2 5376 5350 5491 0 -1 8 2 5377 5350 5497 -1 -1 9 1 5378 5350 5498 -2 0 10 2 5379 5350 5498 -3 -1 11 3 5380 5350 5498 -4 -2 12 4 5381 5350 5499 -5 -1 13 5 5382 5351 5501 0 0 11 2 5383 5351 5501 -1 -1 12 3 5384 5351 5502 -2 -1 13 4 5385 5351 5504 -3 -1 14 2 5386 5351 5504 -4 -2 15 3 5471 5371 5592 0 -2 9 4 5472 5371 5593 -1 -2 10 4 5473 5371 5594 -2 -2 11 4 5474 5371 5594 -3 -3 12 5 5475 5371 5596 -4 -1 13 4 5476 5371 5596 -5 -2 14 5 5477 5372 5597 0 -1 11 4 5478 5372 5599 -1 0 12 2 5479 5372 5599 -2 -1 13 3 5480 5372 5600 -3 -1 14 4 5481 5372 5603 -4 1 15 2 90014 113816 66156 -2 -2 4 5 90015 113817 66158 -1 -1 3 3 90016 113818 66159 -2 -1 4 2 90017 113819 66159 -2 -2 3 3 90018 113820 66161 -2 -1 4 3 90019 113821 66162 -2 0 4 2 90020 113825 66162 -2 -1 2 3 90021 113826 66162 -2 -2 3 4 90022 113827 66163 -2 -1 4 5 90023 113828 66164 -2 -1 4 4 90024 113829 66165 -2 -1 4 3 106590 130200 82592 -2 -2 4 3 106591 130201 82594 -1 -1 3 3 106592 130202 82594 -2 -2 4 4 106593 130203 82597 -2 -1 3 3 106594 130204 82597 -2 -2 4 4 106595 130205 82598 -2 -1 4 3 106596 130210 82599 -1 0 2 4 106597 130210 82601 -2 -1 3 1 106598 130211 82602 -1 0 4 2 106599 130213 82602 -1 -1 2 3 106600 130213 82604 -2 0 3 2 113821 137076 90016 44037 -2 172 4 113822 137076 90017 44036 -2 173 4 113823 137076 90018 44035 -2 174 4 113824 137076 90018 44034 -3 175 5 113825 137076 90018 44033 -4 176 6 113826 137076 90018 44032 -5 177 7 113827 137076 90019 44031 -2 178 7 113828 137076 90020 44030 -2 179 7 113829 137076 90021 44029 -2 180 4 113830 137076 90022 44028 -2 181 4 113831 137076 90023 44027 -2 182 4 130205 137076 106592 27653 -2 16556 4 130206 137076 106593 27652 -2 16557 4 130207 137076 106594 27651 -2 16558 4 130208 137076 106594 27650 -3 16559 5 130209 137076 106594 27649 -4 16560 6 130210 137076 106594 27648 -5 16561 7 130211 137076 106595 27647 -1 16562 7 130212 137076 106597 27646 -1 16563 2 130213 137076 106597 27645 -2 16564 3 130214 137076 106598 27644 -1 16565 4 130215 137076 106599 27643 -2 16566 4 Histograms of d1, d2, d3, and d4 values: i d1 d2 d3 d4 i -1 43560 43560 0 0 -1 -2 90267 89677 0 0 -2 -3 2184 1978 0 0 -3 -4 59 59 0 0 -4 -5 4 3 0 0 -5 -6 0 0 0 0 -6 Totals / Min / Under -25: 136074 135277 0 0 5 5 0 0 0 0 0 0 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 175357 0 43 20 0 -79 0 -59 0 -39 0 -19 205805 1 43 21 0 -78 0 -58 0 -38 0 -18 40844 2 42 22 0 -77 0 -57 0 -37 0 -17 5144 3 42 23 0 -76 0 -56 0 -36 0 -16 366 4 42 24 0 -75 0 -55 0 -35 0 -15 100 5 42 25 0 -74 0 -54 0 -34 0 -14 53 6 42 26 0 -73 0 -53 0 -33 0 -13 45 7 42 27 0 -72 0 -52 0 -32 0 -12 43 8 42 28 0 -71 0 -51 0 -31 0 -11 43 9 42 29 0 -70 0 -50 0 -30 0 -10 43 10 42 30 0 -69 0 -49 0 -29 0 -9 43 11 42 31 0 -68 0 -48 0 -28 0 -8 43 12 42 32 0 -67 0 -47 0 -27 0 -7 43 13 42 33 0 -66 0 -46 0 -26 0 -6 43 14 42 34 0 -65 0 -45 0 -25 7 -5 43 15 42 35 0 -64 0 -44 0 -24 118 -4 43 16 42 36 0 -63 0 -43 0 -23 4162 -3 43 17 42 37 0 -62 0 -42 0 -22 179944 -2 43 18 41 38 0 -61 0 -41 0 -21 87120 -1 43 19 40 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | 340000 | | 320000 | | 300000 | | 280000 | | 260000 | | 240000 | | 220000 | | 200000 | |o 180000 | |o 160000 | o oo 140000 | o oo 120000 | o oo 100000 | o oo 80000 | oooo 60000 | oooo 40000 | ooooo 20000 | ooooo 0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,RR,CC1). Nmbr = 700. Total = 778106. Min thru -81 = 0. Type = RR|CC1. Minimum = -5. -80 thru -1 = 271351. Behav = Relaxed. Maximum = 44208. 0 thru 39 = 429069. histend K = 200000. 40 thru Max = 77686. 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 16 0 43 20 0 -79 0 -59 0 -39 0 -19 4270 1 43 21 0 -78 0 -58 0 -38 0 -18 35662 2 43 22 0 -77 0 -57 0 -37 0 -17 69267 3 43 23 0 -76 0 -56 0 -36 0 -16 174361 4 43 24 0 -75 0 -55 0 -35 0 -15 14090 5 43 25 0 -74 0 -54 0 -34 0 -14 787 6 43 26 0 -73 0 -53 0 -33 0 -13 184 7 43 27 0 -72 0 -52 0 -32 0 -12 144 8 43 28 0 -71 0 -51 0 -31 0 -11 122 9 43 29 0 -70 0 -50 0 -30 0 -10 88 10 43 30 0 -69 0 -49 0 -29 0 -9 67 11 43 31 0 -68 0 -48 0 -28 0 -8 62 12 43 32 0 -67 0 -47 0 -27 0 -7 57 13 43 33 0 -66 0 -46 0 -26 0 -6 49 14 43 34 0 -65 0 -45 0 -25 0 -5 47 15 43 35 0 -64 0 -44 0 -24 0 -4 43 16 43 36 0 -63 0 -43 0 -23 0 -3 43 17 43 37 0 -62 0 -42 0 -22 0 -2 43 18 43 38 0 -61 0 -41 0 -21 0 -1 43 19 43 39 ------ Relaxed ------ | ------ Strong ------ 190000 | | 180000 | | 170000 | | o 160000 | | o 150000 | | o 140000 | | o 130000 | | o 120000 | | o 110000 | | o 100000 | | o 90000 | | o 80000 | | o 70000 | | o 60000 | | oo 50000 | | oo 40000 | | oo 30000 | | ooo 20000 | | ooo 10000 | | oooo 0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW) and A(CMP,UPO,RW). Nmbr = 700. Total = 399978. Min thru -81 = 0. Type = WW&RW. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 44212. 0 thru 39 = 300305. histend K = 200000. 40 thru Max = 99673. End analysis of Test T700 at 09:49:52.881 980422 ==sss======================================================================== Test T710. 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 T710 at 09:49:53.135 980422 End execution of Test T710 at 09:49:53.443 980422 Duration 0.308 Start analysis of Test T710 at 09:49:53.528 980422 Thread start, stop, and dur times. 0.070 0.070 0.000 0.000 0.000 0.000 0.000 0.000 0.276 0.308 0.000 0.000 0.000 0.000 0.000 0.000 0.206 0.238 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 22 199999 0 9999 9684 10363 0 0 19998 18360 22078 0 0 29997 28303 32020 0 0 39996 36748 43778 0 0 49995 58959 47779 0 0 59994 65221 51210 0 0 69993 65221 75612 0 0 79992 73741 87107 0 0 89991 82475 137153 0 0 99990 83607 149148 0 0 109989 83607 160993 0 0 119988 83607 174370 0 0 129987 83872 185944 0 0 139986 92048 193877 0 0 149985 100726 199378 0 0 159984 109139 199999 0 0 169983 116331 199999 0 0 179982 124899 199999 0 0 189981 133373 199999 0 0 199980 150495 199999 0 0 dim = 80, max = 200000, pamx = 1. Plot of the values in the arrays. 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... 4 222222222222222222222 2 2222 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 1 2 1 1 1 1 1 11 1 1 1 11 1 1 1 11 1 1 1 2 1 2 1 2 11 2 1111111111111111 1 2 1 2 1 2 1 2 11 1 111111 1 1 1 1 2 2 222222 2 2 2 1 2 1 2 1 11 21 21 21 21 21 21 21 21 21 31 1 22 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 217904 0 1 107402 117154 2 66315 48385 3 7827 14659 4 444 1552 5 49 285 6 10 14 7 4 1 8 0 2 9 0 0 10 0 0 11 0 0 12 0 0 13 0 0 14 0 0 15 0 0 16 1 0 17 0 0 18 0 0 19 0 0 over 40 40 d = -5. Event 7.1. u[ 3685] = 2977 < 2978; v[ 2978] = 3680 < 3685. b=0 c=0 u[ 3681]: 2977 2977 2977 2977 2977 Event 7.1. u[ 3718] = 2985 < 2986; v[ 2986] = 3713 < 3718. b=0 c=0 u[ 3714]: 2985 2985 2985 2985 2985 Event 7.1. u[ 5717] = 6024 < 6025; v[ 6025] = 5712 < 5717. b=0 c=0 u[ 5713]: 6024 6024 6024 6024 6024 Event 7.2. v[ 16802] = 18304 < 18305; u[ 18305] = 16797 < 16802. b=1 c=1 v[ 16798]: 18303 18303 18304 18304 18304 d = -4. Event 7.1. u[ 3684] = 2977 < 2978; v[ 2978] = 3680 < 3684. b=0 c=0 u[ 3681]: 2977 2977 2977 2977 Event 7.1. u[ 3689] = 2978 < 2979; v[ 2979] = 3685 < 3689. b=0 c=0 u[ 3686]: 2978 2978 2978 2978 Event 7.1. u[ 3697] = 2980 < 2981; v[ 2981] = 3693 < 3697. b=0 c=0 u[ 3694]: 2980 2980 2980 2980 Event 7.1. u[ 3701] = 2981 < 2982; v[ 2982] = 3697 < 3701. b=0 c=0 u[ 3698]: 2981 2981 2981 2981 Event 7.1. u[ 3705] = 2982 < 2983; v[ 2983] = 3701 < 3705. b=0 c=0 u[ 3702]: 2982 2982 2982 2982 Event 7.1. u[ 3713] = 2984 < 2985; v[ 2985] = 3709 < 3713. b=0 c=0 u[ 3710]: 2984 2984 2984 2984 Event 7.1. u[ 3717] = 2985 < 2986; v[ 2986] = 3713 < 3717. b=0 c=0 u[ 3714]: 2985 2985 2985 2985 Event 7.1. u[ 3722] = 2986 < 2987; v[ 2987] = 3718 < 3722. b=0 c=0 u[ 3719]: 2986 2986 2986 2986 Event 7.1. u[ 3726] = 2987 < 2988; v[ 2988] = 3722 < 3726. b=0 c=0 u[ 3723]: 2987 2987 2987 2987 Event 7.1. u[ 3734] = 2989 < 2990; v[ 2990] = 3730 < 3734. b=0 c=0 u[ 3731]: 2989 2989 2989 2989 Event 7.1. u[ 194099] = 145496 < 145497; v[ 145497] = 194095 < 194099. b=1 c=1 u[ 194096]: 145495 145496 145496 145496 Portions of the arrays containing relaxation events: i U V d1 d2 d3 d4 2973 2361 3672 0 0 3 3 2974 2362 3674 -1 -1 4 1 2975 2363 3674 -1 -2 2 2 2976 2365 3675 0 0 2 3 2977 2365 3677 -1 -1 3 1 2978 2367 3680 0 -1 2 2 2979 2367 3685 -1 -1 3 2 2980 2367 3690 -2 -1 4 2 2981 2369 3693 0 -1 3 2 2982 2369 3697 -1 -1 4 2 2983 2370 3701 -1 -1 5 2 2984 2371 3706 -1 -1 3 2 2985 2372 3709 -1 -1 3 2 2986 2373 3713 -1 -1 3 2 2987 2375 3718 0 -1 2 2 2988 2375 3722 -1 -1 3 2 2989 2376 3727 0 -1 3 2 2990 2376 3730 -1 -1 4 2 2991 2376 3735 -2 -1 5 2 2992 2377 3738 -1 -1 5 2 2993 2379 3743 0 -1 2 2 2994 2379 3747 -1 -1 3 2 3680 2977 4481 0 1412 5 94 3681 2977 4481 -1 1411 6 95 3682 2977 4481 -2 1410 7 96 3683 2977 4481 -3 1409 8 97 3684 2977 4481 -4 1408 9 98 3685 2977 4481 -5 1407 10 99 3686 2978 4481 -1 1406 9 100 3687 2978 4481 -2 1405 10 101 3688 2978 4481 -3 1404 11 102 3689 2978 4481 -4 1403 12 103 3690 2979 4481 0 1402 10 104 3691 2979 4481 -1 1401 11 105 3692 2979 4481 -2 1400 12 106 3693 2979 4481 -3 1399 13 107 3694 2980 4481 -1 1398 9 108 3695 2980 4481 -2 1397 10 109 3696 2980 4481 -3 1396 11 110 3697 2980 4481 -4 1395 12 111 3698 2981 4481 -1 1394 8 112 3699 2981 4481 -2 1393 9 113 3700 2981 4481 -3 1392 10 114 3701 2981 4481 -4 1391 11 115 3702 2982 4481 -1 1390 9 116 3703 2982 4481 -2 1389 10 117 3704 2982 4481 -3 1388 11 118 3705 2982 4481 -4 1387 12 119 3706 2983 4481 0 1386 9 120 3707 2983 4481 -1 1385 10 121 3708 2983 4481 -2 1384 11 122 3709 2983 4481 -3 1383 12 123 3710 2984 4481 -1 1382 9 124 3711 2984 4481 -2 1381 10 125 3712 2984 4481 -3 1380 11 126 3713 2984 4481 -4 1379 12 127 3714 2985 4481 -1 1378 8 128 3715 2985 4481 -2 1377 9 129 3716 2985 4481 -3 1376 10 130 3717 2985 4481 -4 1375 11 131 3718 2985 4481 -5 1374 12 132 3719 2986 4481 -1 1373 10 133 3720 2986 4481 -2 1372 11 134 3721 2986 4481 -3 1371 12 135 3722 2986 4481 -4 1370 13 136 3723 2987 4481 -1 1369 10 137 3724 2987 4481 -2 1368 11 138 3725 2987 4481 -3 1367 12 139 3726 2987 4481 -4 1366 13 140 3727 2988 4481 0 1365 9 141 3728 2988 4481 -1 1364 10 142 3729 2988 4481 -2 1363 11 143 3730 2988 4481 -3 1362 12 144 3731 2989 4481 -1 1361 9 145 3732 2989 4481 -2 1360 10 146 3733 2989 4481 -3 1359 11 147 3734 2989 4481 -4 1358 12 148 3735 2990 4481 0 1357 8 149 3736 2990 4481 -1 1356 9 150 3737 2990 4481 -2 1355 10 151 3738 2990 4481 -3 1354 11 152 5712 6024 5318 0 0 6 2 5713 6024 5321 -1 -1 7 1 5714 6024 5322 -2 0 8 2 5715 6024 5323 -3 -1 9 3 5716 6024 5324 -4 -1 10 2 5717 6024 5325 -5 0 11 3 5718 6025 5327 -1 -1 8 1 5719 6025 5328 -2 0 9 2 5720 6026 5330 0 -1 8 1 5721 6026 5330 -1 -2 9 2 5722 6026 5332 -2 -1 10 3 6020 6244 5695 -1 -1 3 2 6021 6245 5699 -1 -1 2 2 6022 6245 5704 -2 -1 3 2 6023 6247 5706 0 -1 3 2 6024 6247 5710 -1 -1 4 2 6025 6248 5712 0 -1 3 2 6026 6248 5717 -1 -1 4 2 6027 6248 5720 -2 -1 5 2 6028 6249 5723 -2 0 5 2 6029 6250 5724 -2 -1 4 2 6030 6251 5729 -1 -1 4 2 16797 15423 18303 -1 0 3 5 16798 15424 18303 0 -1 3 6 16799 15424 18303 -1 -2 4 7 16800 15426 18304 0 -3 2 8 16801 15426 18304 -1 -4 3 9 16802 15427 18304 -1 -5 3 10 16803 15429 18305 -1 0 2 6 16804 15429 18305 -2 -1 3 7 16805 15431 18305 0 -2 3 8 16806 15431 18306 -1 -3 4 9 16807 15432 18307 0 -1 3 4 18300 16785 19925 -1 -1 3 4 18301 16789 19927 -1 0 2 2 18302 16792 19927 -1 -1 2 3 18303 16792 19928 -2 -1 3 4 18304 16797 19930 -1 0 2 2 18305 16797 19930 -2 -1 3 3 18306 16803 19930 -1 -2 2 4 18307 16803 19932 -2 -1 3 3 18308 16806 19934 -1 0 3 2 18309 16807 19935 -1 -1 3 1 18310 16808 19936 -1 0 3 2 145493 96711 194091 -1 -2 3 5 145494 96712 194093 0 -1 2 3 145495 96712 194093 -1 -2 3 4 145496 96713 194095 -1 -1 4 3 145497 96714 194095 -1 -2 3 4 145498 96715 194098 -1 -2 3 2 145499 96717 194100 0 -1 2 3 145500 96717 194100 -1 -2 3 4 145501 96718 194102 -1 -1 3 3 194095 145494 199999 -2 2097152 4 43585 194096 145495 199999 -1 2097152 3 43586 194097 145496 199999 -2 2097152 4 43587 194098 145496 199999 -3 2097152 5 43588 194099 145496 199999 -4 2097152 6 43589 194100 145497 199999 -2 2097152 5 43590 194101 145498 199999 -1 2097152 6 43591 194102 145500 199999 0 2097152 2 43592 194103 145500 199999 -1 2097152 3 43593 Histograms of d1, d2, d3, and d4 values: i d1 d2 d3 d4 i -1 76053 76053 0 0 -1 -2 25860 16973 0 0 -2 -3 907 199 0 0 -3 -4 45 40 0 0 -4 -5 3 1 0 0 -5 -6 0 0 0 0 -6 Totals / Min / Under -25: 102868 93266 0 0 5 5 0 0 0 0 0 0 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 274765 0 40 20 0 -79 0 -59 0 -39 0 -19 118771 1 40 21 0 -78 0 -58 0 -38 0 -18 67630 2 40 22 0 -77 0 -57 0 -37 0 -17 7920 3 40 23 0 -76 0 -56 0 -36 0 -16 490 4 40 24 0 -75 0 -55 0 -35 0 -15 93 5 40 25 0 -74 0 -54 0 -34 0 -14 51 6 40 26 0 -73 0 -53 0 -33 0 -13 45 7 40 27 0 -72 0 -52 0 -32 0 -12 40 8 40 28 0 -71 0 -51 0 -31 0 -11 40 9 40 29 0 -70 0 -50 0 -30 0 -10 40 10 40 30 0 -69 0 -49 0 -29 0 -9 40 11 40 31 0 -68 0 -48 0 -28 0 -8 40 12 40 32 0 -67 0 -47 0 -27 0 -7 40 13 41 33 0 -66 0 -46 0 -26 0 -6 40 14 39 34 0 -65 0 -45 0 -25 4 -5 40 15 39 35 0 -64 0 -44 0 -24 85 -4 41 16 39 36 0 -63 0 -43 0 -23 1106 -3 40 17 39 37 0 -62 0 -42 0 -22 42833 -2 40 18 39 38 0 -61 0 -41 0 -21 152106 -1 40 19 39 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | 340000 | | 320000 | | 300000 | | 280000 | | 260000 | o 240000 | o 220000 | o 200000 | o 180000 | o 160000 | o 140000 | oo 120000 | oo 100000 | ooo 80000 | ooo 60000 | oooo 40000 | ooooo 20000 | ooooo 0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,RR,CC1). Nmbr = 710. Total = 750506. Min thru -81 = 0. Type = RR|CC1. Minimum = -5. -80 thru -1 = 196134. Behav = Relaxed. Maximum = 39176. 0 thru 39 = 471041. histend K = 200000. 40 thru Max = 83331. 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 19 0 40 20 0 -79 0 -59 0 -39 0 -19 11370 1 40 21 0 -78 0 -58 0 -38 0 -18 69532 2 40 22 0 -77 0 -57 0 -37 0 -17 111924 3 40 23 0 -76 0 -56 0 -36 0 -16 54459 4 40 24 0 -75 0 -55 0 -35 0 -15 15832 5 40 25 0 -74 0 -54 0 -34 0 -14 1713 6 40 26 0 -73 0 -53 0 -33 0 -13 380 7 40 27 0 -72 0 -52 0 -32 0 -12 277 8 40 28 0 -71 0 -51 0 -31 0 -11 192 9 40 29 0 -70 0 -50 0 -30 0 -10 135 10 40 30 0 -69 0 -49 0 -29 0 -9 102 11 40 31 0 -68 0 -48 0 -28 0 -8 59 12 40 32 0 -67 0 -47 0 -27 0 -7 43 13 40 33 0 -66 0 -46 0 -26 0 -6 40 14 39 34 0 -65 0 -45 0 -25 0 -5 41 15 39 35 0 -64 0 -44 0 -24 0 -4 41 16 39 36 0 -63 0 -43 0 -23 0 -3 41 17 39 37 0 -62 0 -42 0 -22 0 -2 41 18 39 38 0 -61 0 -41 0 -21 0 -1 40 19 39 39 ------ Relaxed ------ | ------ Strong ------ 190000 | | 180000 | | 170000 | | 160000 | | 150000 | | 140000 | | 130000 | | 120000 | | 110000 | | o 100000 | | o 90000 | | o 80000 | | o 70000 | | o 60000 | | oo 50000 | | ooo 40000 | | ooo 30000 | | ooo 20000 | | ooo 10000 | |ooooo 0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW) and A(CMP,UPO,RW). Nmbr = 710. Total = 399898. Min thru -81 = 0. Type = WW&RW. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 49489. 0 thru 39 = 267075. histend K = 200000. 40 thru Max = 132823. End analysis of Test T710 at 09:49:56.184 980422 ==sss======================================================================== Test T720. 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 T720 at 09:49:56.437 980422 End execution of Test T720 at 09:49:56.793 980422 Duration 0.356 Start analysis of Test T720 at 09:49:56.930 980422 Thread start, stop, and dur times. 0.113 0.113 0.000 0.000 0.000 0.000 0.000 0.000 0.355 0.348 0.000 0.000 0.000 0.000 0.000 0.000 0.242 0.235 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 9918 10079 0 0 19998 19932 20061 0 0 29997 29964 30029 0 0 39996 39896 40089 0 0 49995 88577 47228 0 0 59994 98743 47228 0 0 69993 108948 47228 0 0 79992 120154 47228 0 0 89991 130125 51409 0 0 99990 140157 61256 0 0 109989 150242 70936 0 0 119988 154848 79840 0 0 129987 154848 89853 0 0 139986 154848 99824 0 0 149985 159549 109731 0 0 159984 169545 150417 0 0 169983 179587 160406 0 0 179982 191032 170370 0 0 189981 199999 178955 0 0 199980 199999 188989 0 0 dim = 80, max = 200000, pamx = 1. Plot of the values in the arrays. 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... 111111 1 1 1 1 2 1 2 2 1 2 1 2 1 2 1 2 1 22 1 2 1 2 1 2 1 2 1 1 2 1111111111111 2 1 2 1 2 1 2 1 1 1 1 1 1 1 1 1 1 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 2 2 2 2 2 2 22 2 2 2 22 2 2 2 3222222222222222 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 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 185373 0 1 123906 130584 2 82436 71402 3 8050 10099 4 149 2426 5 31 61 6 8 9 7 1 1 8 0 0 9 1 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 1 0 19 0 0 over 40 41 d = -4. Event 7.1. u[ 18726] = 18656 < 18657; v[ 18657] = 18722 < 18726. b=1 c=1 u[ 18723]: 18655 18655 18656 18656 Event 7.1. u[ 23915] = 23807 < 23808; v[ 23808] = 23911 < 23915. b=0 c=0 u[ 23912]: 23807 23807 23807 23807 Event 7.2. v[ 23970] = 24068 < 24069; u[ 24069] = 23966 < 23970. b=0 c=0 v[ 23967]: 24068 24068 24068 24068 Event 7.2. v[ 24049] = 24097 < 24098; u[ 24098] = 24045 < 24049. b=0 c=0 v[ 24046]: 24097 24097 24097 24097 Event 7.2. v[ 93637] = 55078 < 55079; u[ 55079] = 93633 < 93637. b=1 c=1 v[ 93634]: 55077 55078 55078 55078 Event 7.2. v[ 93669] = 55092 < 55093; u[ 55093] = 93665 < 93669. b=1 c=1 v[ 93666]: 55091 55092 55092 55092 Event 7.2. v[ 93676] = 55095 < 55096; u[ 55096] = 93672 < 93676. b=1 c=1 v[ 93673]: 55094 55095 55095 55095 Event 7.2. v[ 93683] = 55098 < 55099; u[ 55099] = 93679 < 93683. b=1 c=1 v[ 93680]: 55097 55098 55098 55098 Event 7.2. v[ 94772] = 56106 < 56107; u[ 56107] = 94768 < 94772. b=0 c=0 v[ 94769]: 56106 56106 56106 56106 Event 7.2. v[ 94777] = 56108 < 56109; u[ 56109] = 94773 < 94777. b=1 c=1 v[ 94774]: 56107 56108 56108 56108 Event 7.2. v[ 94789] = 56113 < 56114; u[ 56114] = 94785 < 94789. b=1 c=1 v[ 94786]: 56112 56113 56113 56113 Event 7.2. v[ 94804] = 56120 < 56121; u[ 56121] = 94800 < 94804. b=1 c=1 v[ 94801]: 56119 56120 56120 56120 Event 7.2. v[ 94820] = 56128 < 56129; u[ 56129] = 94816 < 94820. b=1 c=1 v[ 94817]: 56127 56128 56128 56128 Event 7.2. v[ 94996] = 56275 < 56276; u[ 56276] = 94992 < 94996. b=1 c=1 v[ 94993]: 56274 56275 56275 56275 Event 7.2. v[ 106845] = 67946 < 67947; u[ 67947] = 106841 < 106845. b=0 c=0 v[ 106842]: 67946 67946 67946 67946 Portions of the arrays containing relaxation events: i U V d1 d2 d3 d4 18653 18586 18719 -1 -1 3 2 18654 18587 18721 0 1 2 2 18655 18588 18721 -1 0 3 3 18656 18589 18722 -1 -1 2 3 18657 18590 18722 0 -2 3 4 18658 18592 18727 0 -1 1 2 18659 18592 18729 -1 -1 2 2 18660 18594 18731 -1 -1 2 2 18661 18596 18735 1 -1 2 2 18722 18655 18842 0 -2 1 3 18723 18655 18843 -1 -1 2 3 18724 18655 18844 -2 -1 3 4 18725 18656 18845 -3 0 4 3 18726 18656 18847 -4 0 5 1 18727 18657 18847 0 -1 5 2 18728 18657 18848 -1 -1 6 3 18729 18658 18850 0 0 7 2 18730 18658 18851 -1 0 8 3 23804 23752 23901 -2 -1 3 2 23805 23753 23905 -1 -1 3 2 23806 23755 23907 0 0 2 2 23807 23755 23908 -1 -1 3 2 23808 23757 23911 0 -1 2 2 23809 23757 23914 -1 -2 3 2 23810 23758 23916 -1 -1 3 3 23811 23760 23917 -1 -1 2 2 23812 23760 23918 -2 -1 3 3 23911 23807 24016 0 0 4 3 23912 23807 24016 -1 -1 5 4 23913 23807 24017 -2 -1 6 3 23914 23807 24018 -3 -2 7 3 23915 23807 24019 -4 -1 8 3 23916 23809 24021 0 0 5 2 23917 23809 24022 -1 -1 6 3 23918 23810 24023 -1 -1 4 2 23919 23811 24024 -1 0 3 3 23966 23860 24068 0 0 3 6 23967 23861 24068 -1 -1 2 7 23968 23862 24068 -1 -2 2 8 23969 23863 24068 -1 -3 3 9 23970 23864 24068 0 -4 3 10 23971 23864 24069 -1 0 4 7 23972 23864 24069 -2 -1 5 8 23973 23867 24070 0 0 3 7 23974 23868 24070 -1 -1 1 8 24045 23939 24097 -1 0 3 4 24046 23941 24097 1 -1 2 5 24047 23941 24097 0 -2 3 6 24048 23942 24097 -1 -3 3 7 24049 23943 24097 -1 -4 2 8 24050 23944 24099 0 0 3 5 24051 23944 24099 -1 -1 4 6 24052 23946 24100 -1 0 2 4 24053 23946 24102 -2 0 3 1 24065 23959 24114 0 -1 3 2 24066 23960 24114 -1 -2 3 3 24067 23960 24115 -2 0 4 3 24068 23964 24117 -1 0 2 1 24069 23966 24117 -1 -1 2 2 24070 23971 24118 -1 -1 2 3 24071 23973 24119 -1 -1 2 3 24072 23976 24120 -1 0 2 3 24073 23979 24122 -1 -1 2 1 24094 24035 24144 -1 -1 2 3 24095 24039 24145 -1 -1 2 2 24096 24041 24146 0 0 2 3 24097 24042 24146 -1 -1 2 4 24098 24045 24146 -1 -2 2 5 24099 24048 24149 -2 1 2 3 24100 24050 24149 -1 0 3 4 24101 24052 24149 1 -1 2 5 24102 24052 24150 0 -1 3 3 93633 133786 55077 0 -2 3 6 93634 133787 55077 -1 -3 3 7 93635 133788 55078 -1 -2 2 6 93636 133790 55078 -1 -3 2 7 93637 133792 55078 1 -4 2 8 93638 133792 55079 0 -1 3 7 93639 133793 55079 -1 -2 3 8 93640 133794 55080 -1 0 2 7 93641 133796 55080 1 -1 2 8 Histograms of d1, d2, d3, and d4 values: i d1 d2 d3 d4 i -1 80865 80865 0 0 -1 -2 15381 15560 0 0 -2 -3 162 221 0 0 -3 -4 2 18 0 0 -4 -5 0 0 0 0 -5 Totals / Min / Under -25: 96410 96664 0 0 4 4 0 0 0 0 0 0 Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 281607 0 40 20 0 -79 0 -59 0 -39 0 -19 147463 1 40 21 0 -78 0 -58 0 -38 0 -18 83362 2 40 22 0 -77 0 -57 0 -37 0 -17 8138 3 40 23 0 -76 0 -56 0 -36 0 -16 212 4 40 24 0 -75 0 -55 0 -35 0 -15 79 5 40 25 0 -74 0 -54 0 -34 0 -14 51 6 40 26 0 -73 0 -53 0 -33 0 -13 42 7 40 27 0 -72 0 -52 0 -32 0 -12 41 8 40 28 0 -71 0 -51 0 -31 0 -11 42 9 40 29 0 -70 0 -50 0 -30 0 -10 41 10 40 30 0 -69 0 -49 0 -29 0 -9 41 11 40 31 0 -68 0 -48 0 -28 0 -8 41 12 40 32 0 -67 0 -47 0 -27 0 -7 41 13 40 33 0 -66 0 -46 0 -26 0 -6 41 14 39 34 0 -65 0 -45 0 -25 0 -5 41 15 39 35 0 -64 0 -44 0 -24 20 -4 41 16 39 36 0 -63 0 -43 0 -23 383 -3 41 17 38 37 0 -62 0 -42 0 -22 30941 -2 42 18 38 38 0 -61 0 -41 0 -21 161730 -1 40 19 38 39 ------ Relaxed ------ | ------ Strong ------ 380000 | | 360000 | | 340000 | | 320000 | | 300000 | | 280000 | o 260000 | o 240000 | o 220000 | o 200000 | o 180000 | o 160000 | oo 140000 | ooo 120000 | ooo 100000 | ooo 80000 | oooo 60000 | oooo 40000 | oooo 20000 | ooooo 0 |_________._________._____oooo.ooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,RR,CC1). Nmbr = 720. Total = 789004. Min thru -81 = 0. Type = RR|CC1. Minimum = -4. -80 thru -1 = 193074. Behav = Relaxed. Maximum = 38918. 0 thru 39 = 522238. histend K = 200000. 40 thru Max = 73692. 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 13 0 42 20 0 -79 0 -59 0 -39 0 -19 23557 1 42 21 0 -78 0 -58 0 -38 0 -18 99255 2 41 22 0 -77 0 -57 0 -37 0 -17 143010 3 41 23 0 -76 0 -56 0 -36 0 -16 39045 4 41 24 0 -75 0 -55 0 -35 0 -15 7629 5 41 25 0 -74 0 -54 0 -34 0 -14 554 6 41 26 0 -73 0 -53 0 -33 0 -13 441 7 41 27 0 -72 0 -52 0 -32 0 -12 280 8 41 28 0 -71 0 -51 0 -31 0 -11 133 9 41 29 0 -70 0 -50 0 -30 0 -10 84 10 41 30 0 -69 0 -49 0 -29 0 -9 73 11 41 31 0 -68 0 -48 0 -28 0 -8 64 12 41 32 0 -67 0 -47 0 -27 0 -7 51 13 41 33 0 -66 0 -46 0 -26 0 -6 44 14 41 34 0 -65 0 -45 0 -25 0 -5 41 15 41 35 0 -64 0 -44 0 -24 0 -4 41 16 42 36 0 -63 0 -43 0 -23 0 -3 41 17 40 37 0 -62 0 -42 0 -22 0 -2 41 18 40 38 0 -61 0 -41 0 -21 0 -1 41 19 39 39 ------ Relaxed ------ | ------ Strong ------ 190000 | | 180000 | | 170000 | | 160000 | | 150000 | | 140000 | | o 130000 | | o 120000 | | o 110000 | | o 100000 | | o 90000 | | oo 80000 | | oo 70000 | | oo 60000 | | oo 50000 | | oo 40000 | | oo 30000 | | ooo 20000 | |oooo 10000 | |oooo 0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW) and A(CMP,UPO,RW). Nmbr = 720. Total = 399979. Min thru -81 = 0. Type = WW&RW. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 38917. 0 thru 39 = 315257. histend K = 200000. 40 thru Max = 84722. End analysis of Test T720 at 09:49:59.496 980422 ==sss======================================================================== Test T800. Seek a relaxation of both A(CMP,UPO,CC3) and A(CMP,UPO,WW,WR) or of A(CMP,UPO,CC3), T0 T1 T2 T3 L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14; L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A; L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24; L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A; L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34; L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A; L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44; L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A; L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54; L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A; L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64; L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc. Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent modulo 10, where i+ > i, and W = U, V, X, Y. To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). Consistency event (two changes in the value of one operand became visible in different orders to two different threads): 8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays, such that a < b < c < d < e, and 1. a,b,c,d come from different arrays. 2. e occurs in the same array as a, but earlier. To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR). 8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays, such that a > b > c > d > e, and 1. a,b,c,d come from different arrays. 2. e occurs in the same array as a, but earlier. To show: Not A(CMP,UPO,CC3). Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3. Start execution of Test T800 at 09:49:59.748 980422 End execution of Test T800 at 09:50:00.067 980422 Duration 0.319 Start analysis of Test T800 at 09:50:00.697 980422 Thread start, stop, and dur times. 0.054 0.054 0.000 0.000 0.000 0.000 0.000 0.000 0.318 0.318 0.000 0.000 0.000 0.000 0.000 0.000 0.264 0.264 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 320 2 3 9999 99990 99991 99992 99993 19998 199980 199981 199982 199983 29997 299970 299971 299972 299973 39996 399960 415640 399962 399963 49995 499950 499951 499952 499953 59994 599940 599941 599942 599943 69993 699930 699931 699932 699933 79992 799920 799921 799922 799923 89991 899910 899911 899912 899913 99990 999900 999901 999902 999903 109989 1099890 1099891 1099892 1099893 119988 1199880 1199881 1199882 1199883 129987 1299870 1299871 1299872 1299873 139986 1399860 1399861 1399862 1399863 149985 1499850 1499851 1499852 1499853 159984 1599840 1599841 1599842 1599843 169983 1699830 1699831 1699832 1699833 179982 1799820 1799821 1799822 1799823 189981 1899810 1899811 1899812 1899813 199980 1999800 1999801 1999802 1999803 dim = 80, max = 2000000, pamx = 2. Plot of the values in the arrays. 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... 2F 2F1 2F1 2F1 2F1 2F1 2F1 2F1 F1 1F1 2F 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2 F1 22 F 22 F 22 F 222 F 22 F 22 F 11 22 F 11 22 F 11 22 F 11 22 F 1 22 F 11 2 F 11 2 F 11 22 F 1 2 F 11 2 F 1 22 F 11 2 F 11 22 F 11 22 F 11 F 11 F 1 F 11 F 11 F 11 2F 11 2F1 1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 F1 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 789194 0 0 20 0 -79 0 -59 0 -39 0 -19 43 1 0 21 0 -78 0 -58 0 -38 0 -18 132 2 0 22 0 -77 0 -57 0 -37 0 -17 422 3 0 23 0 -76 0 -56 0 -36 0 -16 19 4 0 24 0 -75 0 -55 0 -35 0 -15 9 5 0 25 0 -74 0 -54 0 -34 0 -14 1 6 0 26 0 -73 0 -53 0 -33 0 -13 1 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 0 38 0 -61 0 -41 0 -21 0 -1 0 19 0 39 ------ Relaxed ------ | ------ Strong ------ 760000 | o 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 | o 0 |_________._________._________.ooooooo__._________._________._________ -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3). Nmbr = 800. Total = 789827. Min thru -81 = 0. Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 14435. 0 thru 39 = 789821. histend K = 200000. 40 thru Max = 6. Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 789195 0 0 20 0 -79 0 -59 0 -39 0 -19 0 1 0 21 0 -78 0 -58 0 -38 0 -18 497 2 0 22 0 -77 0 -57 0 -37 0 -17 102 3 0 23 0 -76 0 -56 0 -36 0 -16 19 4 0 24 0 -75 0 -55 0 -35 0 -15 44 5 0 25 0 -74 0 -54 0 -34 0 -14 24 6 0 26 0 -73 0 -53 0 -33 0 -13 3 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 0 38 0 -61 0 -41 0 -21 0 -1 0 19 0 39 ------ Relaxed ------ | ------ Strong ------ 760000 | o 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 | o 0 |_________._________._________._oooooo__._________._________._________ -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3). Nmbr = 800. Total = 789884. Min thru -81 = 0. Type = RW&CC3. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 7. 0 thru 39 = 789884. histend K = 200000. 40 thru Max = 0. Convoys are sequences of values which appear to two or more processors. The 5 longest convoys on this test were: 0 0 0 1 0 0 2 0 0 3 0 0 4 0 0 End analysis of Test T800 at 09:50:49.317 980422 ==sss======================================================================== Test T820. Seek a relaxation of both A(CMP,UPO,CC3) and A(CMP,UPO,WW,WR) or of A(CMP,UPO,CC3), T0 T1 T2 T3 L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14; L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A; L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24; L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A; L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34; L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A; L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44; L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A; L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54; L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A; L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64; L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc. Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent modulo 10, where i+ > i, and W = U, V, X, Y. To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3). Consistency event (two changes in the value of one operand became visible in different orders to two different threads): 8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays, such that a < b < c < d < e, and 1. a,b,c,d come from different arrays. 2. e occurs in the same array as a, but earlier. To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR). 8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays, such that a > b > c > d > e, and 1. a,b,c,d come from different arrays. 2. e occurs in the same array as a, but earlier. To show: Not A(CMP,UPO,CC3). Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3. Start execution of Test T820 at 09:50:49.649 980422 End execution of Test T820 at 09:50:50.074 980422 Duration 0.425 Start analysis of Test T820 at 09:50:50.518 980422 Thread start, stop, and dur times. 0.161 0.161 0.000 0.000 0.000 0.000 0.000 0.000 0.425 0.424 0.000 0.000 0.000 0.000 0.000 0.000 0.264 0.263 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 1 2 3 9999 99990 99991 99992 99993 19998 199980 199981 199982 199983 29997 299970 303340 299972 299973 39996 399960 399961 399962 399963 49995 499950 499951 499952 499953 59994 599940 599941 599942 599943 69993 703961 699931 699932 699933 79992 799920 799921 799922 799923 89991 899910 899911 899912 899913 99990 999900 999901 999902 999903 109989 1099890 1099891 1099892 1099893 119988 1191641 1199881 1199882 1199883 129987 1299870 1299871 1299872 1299873 139986 1399860 1399861 1399862 1399863 149985 1499850 1499851 1499852 1499853 159984 1599840 1599841 1599842 1599843 169983 1699830 1699831 1699832 1699833 179982 1799820 1799821 1799822 1799823 189981 1899810 1899811 1899812 1899813 199980 1999800 1999801 1999802 1999803 dim = 80, max = 2000000, pamx = 2. Plot of the values in the arrays. 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... 1F 1F2 1F2 1F2 1F2 F2 2F 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 1F1 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 1F2 2F2 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 2F1 F1 0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:.... Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 762115 0 0 20 0 -79 0 -59 0 -39 0 -19 0 1 0 21 0 -78 0 -58 0 -38 0 -18 517 2 0 22 0 -77 0 -57 0 -37 0 -17 1404 3 0 23 0 -76 0 -56 0 -36 0 -16 240 4 0 24 0 -75 0 -55 0 -35 0 -15 6 5 0 25 0 -74 0 -54 0 -34 0 -14 4 6 0 26 0 -73 0 -53 0 -33 0 -13 0 7 0 27 0 -72 0 -52 0 -32 0 -12 1 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 0 38 0 -61 0 -41 0 -21 0 -1 0 19 0 39 ------ Relaxed ------ | ------ Strong ------ 760000 | o 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 | o 0 |_________._________._________._ooooo_o_._________._________._________ -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3). Nmbr = 820. Total = 764297. Min thru -81 = 0. Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 472. 0 thru 39 = 764287. histend K = 200000. 40 thru Max = 10. Relaxed (negative) versus strong (nonnegative) behavior seen in this test. 0 -80 0 -60 0 -40 0 -20 762115 0 0 20 0 -79 0 -59 0 -39 0 -19 1 1 0 21 0 -78 0 -58 0 -38 0 -18 46 2 0 22 0 -77 0 -57 0 -37 0 -17 1261 3 0 23 0 -76 0 -56 0 -36 0 -16 1210 4 0 24 0 -75 0 -55 0 -35 0 -15 1253 5 0 25 0 -74 0 -54 0 -34 0 -14 199 6 0 26 0 -73 0 -53 0 -33 0 -13 66 7 0 27 0 -72 0 -52 0 -32 0 -12 4 8 0 28 0 -71 0 -51 0 -31 0 -11 1 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 0 38 0 -61 0 -41 0 -21 0 -1 0 19 0 39 ------ Relaxed ------ | ------ Strong ------ 760000 | o 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 | o 0 |_________._________._________.ooooooooo._________._________._________ -30 -20 -10 0 10 20 30 40 Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3). Nmbr = 820. Total = 766157. Min thru -81 = 0. Type = RW&CC3. Minimum = 0. -80 thru -1 = 0. Behav = Strong. Maximum = 48. 0 thru 39 = 766156. histend K = 200000. 40 thru Max = 1. Convoys are sequences of values which appear to two or more processors. The 5 longest convoys on this test were: 0 0 0 1 0 0 2 0 0 3 0 0 4 0 0 End analysis of Test T820 at 09:51:40.397 980422 ==sss======================================================================== The maximum number of threads (2) is too few to run Test T900. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T920. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1000. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1010. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1020. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1030. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1100. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1110. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1120. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1200. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1210. ==sss======================================================================== The maximum number of threads (2) is too few to run Test T1220. ==sss======================================================================== ================================================================================ Summary of run: 09:51:40.399 980422 ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org This copy of ARCHTEST is licensed (under license no. vvv ) for use by vvv at vvv Documentation is available via www.infomall.org/diagnostics. This data was generated by ARCHTEST on a 2-way SUN Sparc 20 running Solaris 2.4. ARCHTEST was compiled using Version 2.7.0 of the GNU compiler. The test was conducted under the auspices of Neil Sobrado, Systems Administrator (sobrad22@eelab.newpaltz.edu), and Dr. Owen B. Hill, Chair, Department of Electrical Engineering, SUNY New Paltz. Number of threads: 2. Length of the arrays: 200000. Frequency of fetching shared operands before stores: always Line count: 0. Action count: 0. Interference count: 0. T10 thread 0 count: 100000. T10 thread 1 count: 10000. T10 thread 2 count: 100000. Each test in ARCHTEST seeks to observe a relaxation of behavior defined by one or another subset of the following seven rules: URR, RR, WW, RW, WR, CC1, and CC3. Here are the tests that have just been run and the architectures whose relaxation the tests have sought to detect. T1xx. Both A(CMP,UPO,URR,WW) and A(CMP,UPO,URR,CC3) T2xx. A(CMP,UPO,RR,WW) T4xx. Both A(CMP,UPO,WW,WR) and (A(CMP,UPO,WR,CC3), or both A(CMP,UPO,WW) and (A(CMP,UPO,RW) T7xx. A(CMP,UPO,RR,CC1) or both A(CMP,UPO,WW) and (A(CMP,UPO,RW)) T8xx. Both A(CMP,UPO,CC3) and (A(CMP,UPO,WR), or A(CMP,UPO,CC3) The tests performed on this run are listed below. Shown for each test are (1) the durations of the test and of its analysis, and (2) the number of integer operands and the number of floating point operands used in the test. The d value, if blank, indicates strong behavior. Otherwise, the more negative the d value, the more relaxed the behavior observed by the test. Execution Analysis Operands Duration Duration Test d int flt 0.301 0.539 T100 1 0 0.373 0.537 T120 0 1 0.552 1.697 T200 2 0 0.582 1.675 T210 1 1 0.647 1.625 T220 0 2 0.229 3.063 T400.1 -9 2 0 T400.2 2 0 0.292 2.249 T410.1 -7 1 1 T410.2 1 1 0.240 2.513 T420.1 -6 0 2 T420.2 0 2 0.290 2.799 T700.1 -5 2 0 T700.2 2 0 0.308 2.656 T710.1 -5 1 1 T710.2 1 1 0.356 2.566 T720.1 -4 0 2 T720.2 0 2 0.319 48.620 T800 1 0 0.425 49.879 T820 0 1 Descriptions of the relaxations detected by the tests: Write Order (WW): WW requires that all write operations in a thread occur in the order defined by the thread. A relaxation of WW allows writes to occur out of order. Write-Read Order (WR): WR requires that a write operation which occurs before a read operation in a thread, occur in time before the read operation. A relaxation of WR allows a read operation to occur before a logically preceding write operation. This is the most common relaxation. Read Order (RR): RR requires that all read operations in a thread occur in the order defined by the thread. A relaxation of RR allows reads to occur out of order. Write Atomicity (CC1 or WA). for Cache Coherence Level 1, the strongest level of cache coherence. CC1 requires that every write operation (appear to) become visible to all threads in a system at the same instant. A relaxation of CC1 allows two threads to see an operand change value at two demonstrably different times. All relaxations of CC1 involve making stale data visible. This is the second most common relaxation. CC3, for Cache Coherence Level 3, requires that all threads see all changes in value of each individual operand in the same order. A relaxation of CC3 allows two threads to see a single operand assume different sequences of values. No monotonicity relaxations seen. The machine relaxed one or more rules in each of the following sets of rules: WR CC3 WW WR RR CC1 Tests and the architectures they test for. A nonblank character at (row,column) shows that the test at the head of the column tests for the rules at the left end of the row. A '+' shows the test was not executed. 'O' shows that strong behavior was observed; 'X' shows relaxed behavior. T T T T T T T T T T T T T T T T 1 2 3 4 4 5 6 7 7 8 8 9 1 1 1 1 . . . . . . 1 1 2 2 1 3 1 3 1 2 . . . . 1 2 1 2 RW O O O O O WW O O O O O WW RR O URR WW O O URR CC3 O O WR CC3 X O WW WR X O O CC3 O O RR CC1 O O X O Save the parameters from this run in a file? Press Enter for No. Otherwise, enter the name of the file. Run this job another time? [y] n