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