ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
00:09:14.813 980617
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: a22___00.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 00:09:31.368 980617
End execution of Test T100 at 00:09:31.477 980617
Duration 0.109
Start analysis of Test T100 at 00:09:31.477 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.108 0.050 0.000 0.000 0.000 0.000 0.000 0.000
0.107 0.049 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 9625 0 0 0
19998 19129 0 0 0
29997 28590 0 0 0
39996 38050 0 0 0
49995 47780 0 0 0
59994 58013 0 0 0
69993 68239 0 0 0
79992 76320 0 0 0
89991 79798 0 0 0
99990 79926 0 0 0
109989 89400 0 0 0
119988 98047 0 0 0
129987 107296 0 0 0
139986 114363 0 0 0
149985 123670 0 0 0
159984 133900 0 0 0
169983 144177 0 0 0
179982 154240 0 0 0
189981 164489 0 0 0
199980 174680 0 0 0
dim = 80, max = 174700, 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
11
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1111111
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 142806 0
1 5 38
2 449 2471
3 55191 50549
4 1497 3614
5 28 502
6 15 5
7 0 0
8 0 1
9 0 1
10 0 1
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 7 10
End analysis of Test T100 at 00:09:31.731 980617
==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 00:09:31.833 980617
End execution of Test T120 at 00:09:32.049 980617
Duration 0.216
Start analysis of Test T120 at 00:09:32.130 980617
Thread start, stop, and dur times.
0.099 0.099 0.000 0.000 0.000 0.000 0.000 0.000
0.216 0.151 0.000 0.000 0.000 0.000 0.000 0.000
0.117 0.052 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 7258 0 0 0
19998 14894 0 0 0
29997 22569 0 0 0
39996 30211 0 0 0
49995 37648 0 0 0
59994 45286 0 0 0
69993 52901 0 0 0
79992 60586 0 0 0
89991 67941 0 0 0
99990 75559 0 0 0
109989 83146 0 0 0
119988 90780 0 0 0
129987 98387 0 0 0
139986 105945 0 0 0
149985 113550 0 0 0
159984 121117 0 0 0
169983 128758 0 0 0
179982 162173 0 0 0
189981 170318 0 0 0
199980 177977 0 0 0
dim = 80, max = 177993, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11
1
1
1
1
1
1
1
1
1
1
1
1
11
1
1
1
1
1
11
1
1
1
1
1
11
1
1
1
1
1
1
11
1
1
1
1
1
11
1
1
1
1
1
11
1
1
1
1
1
11
1
1
1
1
1
11
1
1
1
1
1
1
11
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 148539 0
1 2 35
2 2970 1653
3 48432 9666
4 50 35263
5 1 4798
6 1 37
7 0 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 3 7
End analysis of Test T120 at 00:09:32.369 980617
==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 00:09:32.473 980617
End execution of Test T200 at 00:09:32.730 980617
Duration 0.257
Start analysis of Test T200 at 00:09:32.730 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.256 0.150 0.000 0.000 0.000 0.000 0.000 0.000
0.255 0.149 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 2 6 0 0
9999 20075 20076 0 0
19998 40412 40413 0 0
29997 60516 60517 0 0
39996 80810 80811 0 0
49995 101138 101139 0 0
59994 121440 121441 0 0
69993 141749 141750 0 0
79992 162157 162158 0 0
89991 182673 182674 0 0
99990 203040 203041 0 0
109989 223473 223474 0 0
119988 243972 243973 0 0
129987 264256 264257 0 0
139986 283267 283267 0 0
149985 283267 283267 0 0
159984 283267 283267 0 0
169983 283267 283267 0 0
179982 283267 283267 0 0
189981 283267 283267 0 0
199980 283267 283267 0 0
dim = 80, max = 283268, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3333333333333333333333333
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
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 126924 0
1 1193 271094
2 252395 1952
3 18834 0
4 535 0
5 98 0
6 12 0
7 0 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 4 26
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 190387 0 0 20
0 -79 0 -59 0 -39 0 -19 192821 1 0 21
0 -78 0 -58 0 -38 0 -18 396237 2 0 22
0 -77 0 -57 0 -37 0 -17 19807 3 0 23
0 -76 0 -56 0 -36 0 -16 606 4 0 24
0 -75 0 -55 0 -35 0 -15 114 5 0 25
0 -74 0 -54 0 -34 0 -14 13 6 0 26
0 -73 0 -53 0 -33 0 -13 0 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 1 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 ------
380000 | | o
360000 | | o
340000 | | o
320000 | | o
300000 | | o
280000 | | o
260000 | | o
240000 | | o
220000 | | o
200000 | | o
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.oooooo___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 = 343. 0 thru 39 = 799986.
histend K = 200000. 40 thru Max = 6.
End analysis of Test T200 at 00:09:33.438 980617
==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 00:09:33.541 980617
End execution of Test T210 at 00:09:33.800 980617
Duration 0.259
Start analysis of Test T210 at 00:09:33.843 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.259 0.129 0.000 0.000 0.000 0.000 0.000 0.000
0.257 0.127 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 4 10 0 0
9999 23562 23563 0 0
19998 47461 47462 0 0
29997 65567 65568 0 0
39996 89629 89630 0 0
49995 113867 113868 0 0
59994 137447 137448 0 0
69993 161712 161712 0 0
79992 161712 161712 0 0
89991 161712 161712 0 0
99990 161712 161712 0 0
109989 161712 161712 0 0
119988 161712 161712 0 0
129987 161712 161712 0 0
139986 161712 161712 0 0
149985 161712 161712 0 0
159984 165729 165730 0 0
169983 185235 185236 0 0
179982 202308 202309 0 0
189981 222009 222008 0 0
199980 241508 241509 0 0
dim = 80, max = 241548, 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
33333333333333333333333333333333333
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 190338 0
1 3220 202632
2 142248 7017
3 63744 0
4 380 0
5 42 0
6 1 1
7 0 1
8 0 1
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 22 6
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 285510 0 0 20
0 -79 0 -59 0 -39 0 -19 173260 1 0 21
0 -78 0 -58 0 -38 0 -18 276300 2 0 22
0 -77 0 -57 0 -37 0 -17 64425 3 0 23
0 -76 0 -56 0 -36 0 -16 416 4 0 24
0 -75 0 -55 0 -35 0 -15 45 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 1 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 ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | o
260000 | o o
240000 | o o
220000 | o o
200000 | o o
180000 | o o
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________._________.ooooooo__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 = 222. 0 thru 39 = 799959.
histend K = 200000. 40 thru Max = 33.
End analysis of Test T210 at 00:09:34.553 980617
==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 00:09:34.655 980617
End execution of Test T220 at 00:09:34.984 980617
Duration 0.329
Start analysis of Test T220 at 00:09:35.055 980617
Thread start, stop, and dur times.
0.078 0.038 0.000 0.000 0.000 0.000 0.000 0.000
0.329 0.076 0.000 0.000 0.000 0.000 0.000 0.000
0.251 0.038 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 0 0 0 0
99990 0 0 0 0
109989 0 0 0 0
119988 0 0 0 0
129987 0 0 0 0
139986 0 0 0 0
149985 0 0 0 0
159984 0 0 0 0
169983 0 0 0 0
179982 0 0 0 0
189981 0 0 0 0
199980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
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 399996 0
1 0 0
2 0 0
3 0 0
4 0 0
5 0 0
6 0 0
7 0 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 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 599993 0 0 20
0 -79 0 -59 0 -39 0 -19 199999 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 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 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.o________._________._________._________
-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 = 1. 0 thru 39 = 799992.
histend K = 200000. 40 thru Max = 0.
End analysis of Test T220 at 00:09:35.735 980617
==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 00:09:35.837 980617
End execution of Test T400 at 00:09:35.907 980617
Duration 0.070
Start analysis of Test T400 at 00:09:35.907 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.070 0.064 0.000 0.000 0.000 0.000 0.000 0.000
0.069 0.063 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 10 0 0
9999 12276 7736 0 0
19998 37422 16413 0 0
29997 57739 18625 0 0
39996 67358 22493 0 0
49995 77496 23991 0 0
59994 87523 32645 0 0
69993 99462 42624 0 0
79992 109572 52490 0 0
89991 120071 62522 0 0
99990 130468 70493 0 0
109989 140567 80410 0 0
119988 150439 89911 0 0
129987 160497 99506 0 0
139986 170511 109418 0 0
149985 180500 119534 0 0
159984 190533 129482 0 0
169983 199999 139452 0 0
179982 199999 149463 0 0
189981 199999 159431 0 0
199980 199999 169317 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111
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
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
1 2
1 2
1 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 22
1 2
1 2
1 2
1 2
2
2
2
2
1 2
1 2
2
2
2
2
2
22222
1 2
1 222222
1 2
2
122
12
12
32
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 296726 0
1 1493 940
2 16465 13050
3 42293 48100
4 38595 39674
5 4282 1153
6 106 301
7 9 22
8 4 12
9 5 2
10 1 0
11 2 1
12 1 0
13 0 0
14 0 0
15 0 1
16 1 0
17 0 0
18 0 0
19 0 1
over 13 13
d = -9.
Event 4.2. v[ 110953] = 81356 < 81357; u[ 81357] = 110944 < 110953.
b=2 c=2 v[ 110945]: 81354 81354 81355 81355 81355 81355 81356
81356 81356
Event 4.2. v[ 110979] = 81362 < 81363; u[ 81363] = 110970 < 110979.
b=2 c=2 v[ 110971]: 81360 81360 81361 81361 81361 81361 81362
81362 81362
Event 4.2. v[ 111000] = 81368 < 81369; u[ 81369] = 110991 < 111000.
b=2 c=2 v[ 110992]: 81366 81366 81367 81367 81367 81367 81368
81368 81368
Event 4.1. u[ 136535] = 167081 < 167082; v[ 167082] = 136526 < 136535.
b=2 c=2 u[ 136527]: 167079 167079 167080 167080 167080 167081 167081
167081 167081
d = -8.
Event 4.2. v[ 110952] = 81356 < 81357; u[ 81357] = 110944 < 110952.
b=2 c=2 v[ 110945]: 81354 81354 81355 81355 81355 81355 81356
81356
Event 4.2. v[ 110978] = 81362 < 81363; u[ 81363] = 110970 < 110978.
b=2 c=2 v[ 110971]: 81360 81360 81361 81361 81361 81361 81362
81362
Event 4.2. v[ 110999] = 81368 < 81369; u[ 81369] = 110991 < 110999.
b=2 c=2 v[ 110992]: 81366 81366 81367 81367 81367 81367 81368
81368
Event 4.1. u[ 111925] = 142505 < 142506; v[ 142506] = 111917 < 111925.
b=2 c=2 u[ 111918]: 142503 142503 142504 142504 142504 142505 142505
142505
Event 4.1. u[ 136534] = 167081 < 167082; v[ 167082] = 136526 < 136534.
b=2 c=2 u[ 136527]: 167079 167079 167080 167080 167080 167081 167081
167081
Event 4.1. u[ 136546] = 167084 < 167085; v[ 167085] = 136538 < 136546.
b=2 c=2 u[ 136539]: 167082 167082 167083 167083 167083 167084 167084
167084
Event 4.1. u[ 136557] = 167087 < 167088; v[ 167088] = 136549 < 136557.
b=2 c=2 u[ 136550]: 167085 167085 167086 167086 167086 167087 167087
167087
Event 4.1. u[ 136577] = 167092 < 167093; v[ 167093] = 136569 < 136577.
b=1 c=1 u[ 136570]: 167091 167091 167091 167092 167092 167092 167092
167092
Event 4.1. u[ 136580] = 167093 < 167094; v[ 167094] = 136572 < 136580.
b=1 c=1 u[ 136573]: 167092 167092 167092 167092 167092 167093 167093
167093
d = -7.
Event 4.2. v[ 17451] = 13706 < 13707; u[ 13707] = 17444 < 17451.
b=1 c=1 v[ 17445]: 13705 13705 13705 13706 13706 13706 13706
Event 4.2. v[ 195745] = 165143 < 165144; u[ 165144] = 195738 < 195745.
b=1 c=1 v[ 195739]: 165142 165142 165142 165143 165143 165143 165143
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
17444 21023 13705 0 0 3 3
17445 21023 13705 -1 -1 4 4
17446 21023 13705 -2 -2 5 5
17447 21027 13705 0 -3 3 6
17448 21027 13706 -1 -4 4 4
17449 21027 13706 -2 -5 5 5
17450 21027 13706 -3 -6 6 6
17451 21031 13706 -1 -7 1 7
17452 21031 13709 -2 -1 2 4
17453 21033 13709 1 -2 3 5
17454 21033 13711 0 0 4 3
17455 21033 13711 -1 -1 5 4
17456 21033 13711 -2 -2 6 5
17457 21036 13715 -1 0 3 3
17458 21036 13715 -2 -1 4 4
81348 110936 53844 0 -2 3 5
81349 110936 53844 -1 -3 4 6
81350 110936 53847 -2 0 5 4
81351 110939 53847 0 -1 3 5
81352 110939 53847 -1 -2 4 6
81353 110939 53850 -2 1 5 3
81354 110939 53850 -3 0 6 4
81355 110944 53850 -1 -1 1 5
81356 110944 53850 -2 -2 2 6
81357 110944 53853 -3 0 3 3
81358 110953 53853 -1 -1 2 4
81359 110958 53853 -1 -2 2 5
81360 110963 53853 -1 -3 2 6
81361 110970 53856 -1 0 1 4
81362 110970 53856 -2 -1 2 5
81363 110970 53856 -3 -2 3 6
81364 110980 53860 -1 0 2 3
81365 110980 53860 -2 -1 3 4
81366 110984 53860 -2 -2 3 5
81367 110991 53860 -1 -3 1 6
81368 110991 53863 -2 0 2 4
81369 110991 53863 -3 -1 3 5
81370 111000 53863 -1 -2 2 6
81371 111006 53863 -1 -3 2 7
81372 111006 53867 -2 0 3 4
81373 111006 53867 -3 -1 4 5
81374 111009 53867 0 -2 4 6
81375 111009 53871 -1 0 5 3
81376 111009 53871 -2 -1 6 4
81377 111013 53871 0 -2 3 5
81378 111013 53871 -1 -3 4 6
110944 141526 81354 0 0 4 5
110945 141526 81354 -1 -1 5 6
110946 141526 81354 -2 -2 6 7
110947 141528 81355 -3 -3 3 8
110948 141528 81355 -4 -4 4 9
110949 141530 81355 0 -5 5 10
110950 141530 81355 -1 -6 6 11
110951 141530 81356 -2 -7 7 7
110952 141534 81356 0 -8 3 8
110953 141534 81356 -1 -9 4 9
110954 141534 81357 -2 -1 5 10
110955 141534 81357 -3 -2 6 11
110956 141539 81357 0 -3 2 12
110957 141539 81357 -1 -4 3 13
110958 141539 81357 -2 -5 4 14
110959 141543 81358 0 -1 3 15
110960 141543 81358 -1 -2 4 16
110961 141543 81358 -2 -3 5 17
110962 141543 81358 -3 -4 6 18
110970 141550 81360 -3 0 5 12
110971 141553 81360 0 -1 4 13
110972 141553 81360 -1 -2 5 14
110973 141553 81361 -2 -3 6 10
110974 141553 81361 -3 -4 7 11
110975 141556 81361 0 -5 4 12
110976 141556 81361 -1 -6 5 13
110977 141556 81362 -2 -7 6 7
110978 141560 81362 0 -8 3 8
110979 141560 81362 -1 -9 4 9
110980 141560 81363 -2 0 5 10
110981 141560 81363 -3 -1 6 11
110982 141564 81363 0 -2 4 12
110983 141564 81363 -1 -3 5 13
110984 141564 81364 -2 -4 6 14
110985 141564 81364 -3 -5 7 15
110986 141567 81364 0 -6 4 16
110987 141567 81364 -1 -7 5 17
110988 141567 81366 -2 3 6 8
110989 141567 81366 -3 2 7 9
110990 141571 81366 0 1 4 10
110991 141571 81366 -1 0 5 11
110992 141571 81366 -2 -1 6 12
110993 141575 81366 0 -2 3 13
110994 141575 81367 -1 -3 4 10
110995 141575 81367 -2 -4 5 11
110996 141575 81367 -3 -5 6 12
110997 141576 81367 -4 -6 4 13
110998 141576 81368 -5 -7 5 7
110999 141579 81368 0 -8 2 8
111000 141579 81368 -1 -9 3 9
111001 141579 81369 -2 -1 4 10
111002 141582 81369 -1 -2 3 11
111003 141582 81369 -2 -3 4 12
111004 141582 81369 -3 -4 5 13
111005 141585 81369 -1 -5 4 14
111006 141585 81370 -2 0 5 15
111007 141587 81370 0 -1 3 16
111008 141587 81370 -1 -2 4 17
111009 141587 81374 -2 0 5 3
111917 142503 82272 0 0 2 2
111918 142503 82272 -1 -1 3 3
111919 142503 82272 -2 -2 4 4
111920 142504 82275 -3 -1 5 3
111921 142504 82275 -4 -2 6 4
111922 142504 82275 -5 -3 7 5
111923 142505 82278 -6 0 6 4
111924 142505 82278 -7 -1 7 5
111925 142505 82278 -8 -2 8 6
111926 142506 82278 0 -3 9 7
111927 142506 82281 -1 0 10 4
111928 142506 82281 -2 -1 11 5
111929 142506 82281 -3 -2 12 6
111930 142507 82284 -4 -2 13 3
111931 142507 82288 -5 0 14 3
111932 142507 82288 -6 -1 15 4
111933 142507 82288 -7 -2 16 5
136526 167079 105991 0 0 4 3
136527 167079 105991 -1 -1 5 4
136528 167079 105991 -2 -2 6 5
136529 167080 105991 -3 -3 3 6
136530 167080 105994 -4 0 4 4
136531 167080 105994 -5 -1 5 5
136532 167081 105994 -6 -2 6 6
136533 167081 105994 -7 -3 7 7
136534 167081 105996 -8 0 8 4
136535 167081 105996 -9 -1 9 5
136536 167082 105996 2 -2 10 6
136537 167082 106000 1 -1 11 3
136538 167082 106000 0 -2 12 4
136539 167082 106000 -1 -3 13 5
136540 167082 106003 -2 0 14 4
136541 167083 106003 -3 -1 15 5
136542 167083 106003 -4 -2 16 6
136543 167083 106007 -5 0 17 3
136544 167084 106007 -6 -1 6 4
136545 167084 106007 -7 -2 7 5
136546 167084 106007 -8 -3 8 6
136547 167085 106010 2 0 9 4
136548 167085 106010 1 -1 10 5
136549 167085 106010 0 -2 11 6
136550 167085 106010 -1 -3 12 7
136551 167085 106014 -2 0 13 4
136552 167086 106014 -3 -1 14 5
136553 167086 106014 -4 -2 15 6
136554 167086 106014 -5 -3 16 7
136555 167087 106017 -6 -1 6 4
136556 167087 106017 -7 -2 7 5
136557 167087 106020 -8 0 8 3
136558 167088 106020 0 -1 9 4
136559 167088 106020 -1 -2 10 5
136560 167088 106024 -2 0 11 3
136561 167088 106024 -3 -1 12 4
136562 167089 106024 -4 -2 13 5
136563 167089 106024 -5 -3 14 6
136564 167089 106026 -6 0 15 4
136565 167089 106026 -7 -1 16 5
136569 167091 106030 0 -2 11 5
136570 167091 106030 -1 -3 12 6
136571 167091 106034 -2 0 13 2
136572 167091 106034 -3 -1 14 3
136573 167092 106034 -4 -2 11 4
136574 167092 106038 -5 0 12 3
136575 167092 106038 -6 -1 13 4
136576 167092 106038 -7 -2 14 5
136577 167092 106042 -8 0 15 3
136578 167093 106042 -6 -1 9 4
136579 167093 106042 -7 -2 10 5
136580 167093 106042 -8 -3 11 6
136581 167094 106042 0 -4 12 7
136582 167094 106045 -1 -1 13 5
136583 167094 106045 -2 -2 14 6
136584 167094 106047 -3 0 15 3
136585 167095 106047 -4 -1 13 4
136586 167095 106047 -5 -2 14 5
136587 167095 106051 -6 0 15 3
136588 167095 106051 -7 -1 16 4
142498 173091 111910 -1 -3 4 6
142499 173091 111913 -2 0 5 4
142500 173091 111913 -3 -1 6 5
142501 173094 111913 0 -2 4 6
142502 173094 111915 -1 -3 5 3
142503 173094 111915 -2 -4 6 4
142504 173096 111917 -3 -1 3 5
142505 173096 111917 -4 -2 4 6
142506 173098 111917 0 -3 5 7
142507 173098 111926 -1 -1 6 2
142508 173098 111926 -2 -2 7 3
142509 173102 111930 0 -2 3 3
142510 173102 111936 -1 -1 4 2
142511 173102 111942 -2 -1 5 2
142512 173105 111942 -1 -2 3 3
142513 173105 111946 -2 -2 4 3
142514 173105 111952 -3 -1 5 2
167073 197734 136519 -1 -2 5 6
167074 197734 136519 -2 -3 6 7
167075 197736 136522 -3 0 3 4
167076 197736 136522 -4 -1 4 5
167077 197738 136522 0 -2 5 6
167078 197738 136522 -1 -3 6 7
167079 197738 136526 -2 0 7 4
167080 197742 136526 0 -1 3 5
167081 197742 136526 -1 -2 4 6
167082 197742 136526 -2 -3 5 7
167083 197742 136538 -3 -1 6 1
167084 197747 136538 0 -2 2 2
167085 197747 136538 -1 -3 3 3
167086 197747 136549 -2 -1 4 1
167087 197751 136549 0 -2 3 2
167088 197751 136549 -1 -3 4 3
167089 197751 136558 -2 -1 5 2
167090 197751 136558 -3 -2 6 3
167091 197752 136562 -4 -2 4 3
167092 197752 136569 -5 -1 5 2
167093 197752 136569 -6 -2 6 3
167094 197755 136572 0 -2 3 3
167095 197755 136581 -1 -1 4 2
167096 197755 136581 -2 -2 5 3
167097 197755 136585 -3 -2 6 3
167098 197758 136589 0 -1 4 3
167099 197758 136589 -1 -2 5 4
167100 197758 136591 -2 0 6 3
167101 197758 136591 -3 -1 7 4
167102 197762 136591 -1 -2 4 5
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 47959 47959 0 0 -1
-2 47877 48270 0 0 -2
-3 26253 25061 0 0 -3
-4 3820 4203 0 0 -4
-5 688 911 0 0 -5
-6 163 577 0 0 -6
-7 18 40 0 0 -7
-8 6 3 0 0 -8
-9 1 3 0 0 -9
-10 0 0 0 0 -10
Totals / Min / Under -25:
126785 127027 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 378973 0 13 20
0 -79 0 -59 0 -39 0 -19 3204 1 13 21
0 -78 0 -58 0 -38 0 -18 16567 2 13 22
0 -77 0 -57 0 -37 0 -17 42342 3 13 23
0 -76 0 -56 0 -36 0 -16 38632 4 13 24
0 -75 0 -55 0 -35 0 -15 4311 5 13 25
0 -74 0 -54 0 -34 0 -14 123 6 13 26
0 -73 0 -53 0 -33 0 -13 25 7 13 27
0 -72 0 -52 0 -32 0 -12 19 8 13 28
0 -71 0 -51 0 -31 0 -11 20 9 13 29
0 -70 0 -50 0 -30 0 -10 16 10 13 30
0 -69 0 -49 0 -29 4 -9 17 11 13 31
0 -68 0 -48 0 -28 9 -8 15 12 13 32
0 -67 0 -47 0 -27 58 -7 14 13 13 33
0 -66 0 -46 0 -26 740 -6 14 14 13 34
0 -65 0 -45 0 -25 1599 -5 14 15 13 35
0 -64 0 -44 0 -24 8023 -4 15 16 13 36
0 -63 0 -43 0 -23 51314 -3 13 17 13 37
0 -62 0 -42 0 -22 96147 -2 13 18 13 38
0 -61 0 -41 0 -21 95918 -1 13 19 13 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 | ooo
60000 | ooo
40000 | oooo o
20000 | oooo oo
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 = 769332. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -9. -80 thru -1 = 253812.
Behav = Relaxed. Maximum = 13856. 0 thru 39 = 484620.
histend K = 200000. 40 thru Max = 30900.
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 2 0 14 20
0 -79 0 -59 0 -39 0 -19 1711 1 14 21
0 -78 0 -58 0 -38 0 -18 8073 2 14 22
0 -77 0 -57 0 -37 0 -17 56503 3 14 23
0 -76 0 -56 0 -36 0 -16 93686 4 14 24
0 -75 0 -55 0 -35 0 -15 92297 5 14 25
0 -74 0 -54 0 -34 0 -14 68524 6 14 26
0 -73 0 -53 0 -33 0 -13 15321 7 14 27
0 -72 0 -52 0 -32 0 -12 1439 8 14 28
0 -71 0 -51 0 -31 0 -11 138 9 14 29
0 -70 0 -50 0 -30 0 -10 100 10 14 30
0 -69 0 -49 0 -29 0 -9 71 11 14 31
0 -68 0 -48 0 -28 0 -8 53 12 14 32
0 -67 0 -47 0 -27 0 -7 48 13 14 33
0 -66 0 -46 0 -26 0 -6 34 14 14 34
0 -65 0 -45 0 -25 0 -5 30 15 14 35
0 -64 0 -44 0 -24 0 -4 22 16 14 36
0 -63 0 -43 0 -23 0 -3 19 17 14 37
0 -62 0 -42 0 -22 0 -2 16 18 14 38
0 -61 0 -41 0 -21 0 -1 14 19 14 39
------ Relaxed ------ | ------ Strong ------
95000 | |
90000 | | oo
85000 | | oo
80000 | | oo
75000 | | oo
70000 | | oo
65000 | | ooo
60000 | | ooo
55000 | | oooo
50000 | | oooo
45000 | | oooo
40000 | | oooo
35000 | | oooo
30000 | | oooo
25000 | | oooo
20000 | | oooo
15000 | | ooooo
10000 | | ooooo
5000 | | oooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399981. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 30664. 0 thru 39 = 338381.
histend K = 200000. 40 thru Max = 61600.
End analysis of Test T400 at 00:09:37.080 980617
==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 00:09:37.182 980617
End execution of Test T410 at 00:09:37.262 980617
Duration 0.080
Start analysis of Test T410 at 00:09:37.305 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.066 0.080 0.000 0.000 0.000 0.000 0.000 0.000
0.065 0.079 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 9 0 0
9999 6804 14638 0 0
19998 13638 29302 0 0
29997 20471 42935 0 0
39996 28000 57583 0 0
49995 34808 71743 0 0
59994 41659 86655 0 0
69993 48785 101046 0 0
79992 55412 117593 0 0
89991 62295 131879 0 0
99990 69263 146194 0 0
109989 74696 160581 0 0
119988 81663 175172 0 0
129987 88688 189270 0 0
139986 95675 199999 0 0
149985 102573 199999 0 0
159984 109586 199999 0 0
169983 116428 199999 0 0
179982 123357 199999 0 0
189981 130488 199999 0 0
199980 137374 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22222222222222222222222222
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2 11
2 1
11
2 1
2 1
2 11
1
2 11
2 1
11
2 1
2 1
11
1
2 11
2 1
2 11
1
2 1
2 11
1
2 11
2 1
1
2 11
2 11
11
2 1
2 1
11
2 1
2 11
1
2 11
2 1
11
2 1
2 1
11
2 1
2 11
2 1
11
2 1
2 1
1
2 11
2 1
11
2 1
2 11
1
211
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 285570 0
1 5642 626
2 34270 43445
3 43316 39255
4 28802 29502
5 2327 1527
6 42 28
7 10 13
8 4 12
9 1 3
10 0 2
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 1
19 0 0
over 12 12
d = -7.
Event 4.2. v[ 60795] = 87858 < 87859; u[ 87859] = 60788 < 60795.
b=2 c=2 v[ 60789]: 87856 87856 87857 87857 87857 87858 87858
Event 4.2. v[ 60810] = 87863 < 87864; u[ 87864] = 60803 < 60810.
b=2 c=2 v[ 60804]: 87861 87861 87862 87862 87863 87863 87863
Event 4.1. u[ 86673] = 59998 < 59999; v[ 59999] = 86666 < 86673.
b=1 c=1 u[ 86667]: 59997 59997 59997 59998 59998 59998 59998
d = -6.
Event 4.2. v[ 60773] = 87851 < 87852; u[ 87852] = 60767 < 60773.
b=2 c=2 v[ 60768]: 87849 87850 87850 87851 87851 87851
Event 4.2. v[ 60794] = 87858 < 87859; u[ 87859] = 60788 < 60794.
b=2 c=2 v[ 60789]: 87856 87856 87857 87857 87857 87858
Event 4.2. v[ 60809] = 87863 < 87864; u[ 87864] = 60803 < 60809.
b=2 c=2 v[ 60804]: 87861 87861 87862 87862 87863 87863
Event 4.2. v[ 86043] = 126282 < 126283; u[ 126283] = 86037 < 86043.
b=1 c=1 v[ 86038]: 126281 126281 126281 126282 126282 126282
Event 4.1. u[ 86619] = 59979 < 59980; v[ 59980] = 86613 < 86619.
b=0 c=0 u[ 86614]: 59979 59979 59979 59979 59979 59979
Event 4.1. u[ 86636] = 59985 < 59986; v[ 59986] = 86630 < 86636.
b=0 c=0 u[ 86631]: 59985 59985 59985 59985 59985 59985
Event 4.1. u[ 86650] = 59990 < 59991; v[ 59991] = 86644 < 86650.
b=0 c=0 u[ 86645]: 59990 59990 59990 59990 59990 59990
Event 4.1. u[ 86672] = 59998 < 59999; v[ 59999] = 86666 < 86672.
b=1 c=1 u[ 86667]: 59997 59997 59997 59998 59998 59998
Event 4.1. u[ 86684] = 60002 < 60003; v[ 60003] = 86678 < 86684.
b=1 c=1 u[ 86679]: 60001 60001 60002 60002 60002 60002
Event 4.1. u[ 86691] = 60004 < 60005; v[ 60005] = 86685 < 86691.
b=1 c=1 u[ 86686]: 60003 60003 60004 60004 60004 60004
Event 4.1. u[ 86723] = 60017 < 60018; v[ 60018] = 86717 < 86723.
b=0 c=0 u[ 86718]: 60017 60017 60017 60017 60017 60017
Event 4.2. v[ 94379] = 138106 < 138107; u[ 138107] = 94373 < 94379.
b=1 c=1 v[ 94374]: 138105 138105 138105 138106 138106 138106
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
59974 41645 86603 -1 -1 5 3
59975 41645 86603 -2 -2 6 4
59976 41645 86603 -3 -3 7 5
59977 41647 86606 0 -1 4 4
59978 41647 86609 -1 -1 5 2
59979 41647 86613 -2 0 6 2
59980 41650 86613 -2 -1 3 3
59981 41650 86619 -3 -1 4 2
59982 41652 86623 -1 -1 4 2
59983 41652 86623 -2 -2 5 3
59984 41652 86627 -3 -1 6 3
59985 41654 86630 0 0 4 2
59986 41654 86630 -1 -1 5 3
59987 41654 86637 -2 -1 6 2
59988 41656 86637 0 -2 3 3
59989 41656 86641 -1 -1 4 3
59990 41656 86644 -2 0 5 2
59991 41659 86644 0 -1 3 3
59992 41659 86650 -1 0 4 2
59993 41659 86650 -2 -1 5 3
59994 41659 86655 -3 -1 6 2
59995 41661 86655 0 -2 4 3
59996 41661 86661 -1 -1 5 1
59997 41661 86661 -2 -2 6 2
59998 41664 86666 0 -1 3 2
59999 41664 86666 -1 -2 4 3
60000 41664 86674 -2 -1 5 2
60001 41664 86674 -3 -2 6 3
60002 41666 86678 0 -1 4 1
60003 41666 86678 -1 -2 5 2
60004 41666 86685 -2 -1 6 2
60005 41666 86685 -3 -2 7 3
60006 41668 86692 0 -1 4 2
60007 41668 86692 -1 -2 5 3
60008 41668 86696 -2 -1 6 1
60009 41671 86696 0 -2 3 2
60010 41671 86700 -1 -1 4 2
60011 41671 86704 -2 -1 5 2
60767 42188 87849 -1 0 5 2
60768 42188 87849 -2 -1 6 3
60769 42191 87850 0 -2 3 2
60770 42191 87850 -1 -3 4 3
60771 42191 87851 -2 -4 5 4
60772 42191 87851 -3 -5 6 5
60773 42193 87851 0 -6 4 6
60774 42193 87852 -1 1 5 7
60775 42193 87852 -2 0 6 8
60776 42193 87852 -3 -1 7 9
60777 42195 87852 0 -2 4 10
60778 42195 87853 -1 -3 5 11
60779 42195 87853 -2 -4 6 12
60788 42202 87856 -1 0 6 7
60789 42202 87856 -2 -1 7 8
60790 42205 87856 0 -2 3 9
60791 42205 87857 -1 -3 4 10
60792 42205 87857 -2 -4 5 11
60793 42205 87857 -3 -5 6 12
60794 42207 87858 0 -6 4 6
60795 42207 87858 -1 -7 5 7
60796 42207 87859 -2 0 6 8
60797 42207 87859 -3 -1 7 9
60798 42210 87859 0 -2 4 10
60799 42210 87860 -1 -3 5 11
60800 42210 87860 -2 -4 6 12
60801 42210 87861 -3 2 7 5
60802 42212 87861 0 1 4 6
60803 42212 87861 -1 0 5 7
60804 42212 87861 -2 -1 6 8
60805 42212 87861 -3 -2 7 9
60806 42214 87862 0 -3 4 10
60807 42214 87862 -1 -4 5 11
60808 42214 87863 -2 -5 6 5
60809 42216 87863 0 -6 3 6
60810 42216 87863 -1 -7 4 7
60811 42216 87864 -2 0 5 8
60812 42219 87864 -2 -1 3 9
60813 42219 87864 -3 -2 4 10
60814 42220 87865 0 -3 4 11
60815 42220 87865 -1 -4 5 12
60816 42220 87866 -2 1 6 5
60817 42223 87866 0 0 3 6
86037 59586 126281 -2 0 5 2
86038 59586 126281 -3 -1 6 3
86039 59588 126281 0 -2 4 4
86040 59588 126281 -1 -3 5 5
86041 59588 126282 -2 -4 6 4
86042 59588 126282 -3 -5 7 5
86043 59590 126282 0 -6 4 6
86044 59590 126285 -1 0 5 4
86045 59590 126285 -2 -1 6 5
86046 59592 126289 0 0 3 2
86047 59592 126289 -1 -1 4 3
86048 59592 126293 -2 0 5 2
86049 59595 126293 0 -1 3 3
86613 59979 127089 0 -1 4 4
86614 59979 127093 -1 0 5 2
86615 59979 127093 -2 -1 6 3
86616 59979 127097 -3 0 7 2
86617 59979 127097 -4 -1 8 3
86618 59979 127097 -5 -2 9 4
86619 59979 127100 -6 0 10 3
86620 59980 127100 -1 -1 7 4
86621 59980 127103 -2 0 8 2
86622 59980 127103 -3 -1 9 3
86623 59981 127103 0 -2 10 4
86624 59981 127106 -1 0 11 3
86625 59981 127106 -2 -1 12 4
86644 59990 127134 0 0 3 2
86645 59990 127134 -1 -1 4 3
86646 59990 127134 -2 -2 5 4
86647 59990 127137 -3 0 6 3
86648 59990 127137 -4 -1 7 4
86649 59990 127141 -5 -1 8 2
86650 59990 127141 -6 -2 9 3
86651 59992 127144 -1 -1 7 3
86652 59992 127144 -2 -2 8 4
86653 59992 127146 -3 0 9 3
86654 59992 127146 -4 -1 10 4
86655 59992 127151 -5 -1 11 2
86656 59993 127151 -1 -2 6 3
86666 59996 127164 -5 -2 11 4
86667 59997 127168 -1 0 6 3
86668 59997 127168 -2 -1 7 4
86669 59997 127172 -3 0 8 2
86670 59998 127172 -4 -1 9 3
86671 59998 127176 -5 0 10 2
86672 59998 127176 -6 -1 11 3
86673 59998 127176 -7 -2 12 4
86674 59999 127178 0 0 8 3
86675 59999 127178 -1 -1 9 4
86676 60001 127183 2 -1 2 2
86677 60001 127183 1 -2 3 3
86678 60001 127186 0 0 4 3
86679 60001 127186 -1 -1 5 4
86680 60001 127186 -2 -2 6 5
86681 60002 127189 -3 -1 7 3
86682 60002 127189 -4 -2 8 4
86683 60002 127192 -5 0 9 3
86684 60002 127192 -6 -1 10 4
86685 60003 127196 0 0 7 2
86686 60003 127196 -1 -1 8 3
86687 60003 127196 -2 -2 9 4
86688 60004 127199 -3 0 10 3
86689 60004 127199 -4 -1 11 4
86690 60004 127203 -5 0 12 2
86691 60004 127203 -6 -1 13 3
86692 60005 127207 0 0 7 2
86693 60005 127207 -1 -1 8 3
86694 60007 127207 2 -2 2 4
86695 60007 127210 1 0 3 3
86696 60007 127210 0 -1 4 4
86697 60007 127210 -1 -2 5 5
87846 60765 128751 -1 -2 5 3
87847 60765 128754 -2 0 6 3
87848 60765 128754 -3 -1 7 4
87849 60767 128754 0 -2 4 5
87850 60767 128757 -1 -1 5 3
87851 60767 128757 -2 -2 6 4
87852 60767 128760 -3 0 7 3
87853 60775 128760 -1 -1 1 4
87854 60775 128764 -2 0 2 2
87855 60781 128764 -1 -1 1 3
87856 60781 128764 -2 -2 2 4
87857 60788 128767 -1 0 1 3
87858 60788 128767 -2 -1 2 4
87859 60788 128771 -3 0 3 2
87860 60796 128771 -1 -1 2 3
87861 60796 128775 -2 0 3 2
87862 60803 128775 -1 -1 1 3
87863 60803 128775 -2 -2 2 4
87864 60803 128778 -3 0 3 3
87865 60811 128778 -1 -1 2 4
87866 60811 128778 -2 -2 3 5
87867 60817 128782 -1 -1 1 3
87868 60817 128782 -2 -2 2 4
87869 60817 128785 -3 0 3 3
87870 60819 128785 -1 -1 4 4
87871 60819 128785 -2 -2 5 5
126277 86035 184201 0 -1 4 3
126278 86035 184201 -1 -2 5 4
126279 86035 184202 -2 -3 6 3
126280 86035 184202 -3 -4 7 4
126281 86037 184207 0 -1 4 1
126282 86037 184207 -1 -2 5 2
126283 86037 184211 -2 0 6 3
126284 86040 184211 -2 -1 3 4
126285 86044 184211 0 -2 3 5
126286 86044 184214 -1 0 4 3
126287 86044 184214 -2 -1 5 4
126288 86044 184218 -3 0 6 2
126289 86046 184218 0 -1 4 3
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 54992 54992 0 0 -1
-2 55519 25259 0 0 -2
-3 33528 4188 0 0 -3
-4 2719 1945 0 0 -4
-5 37 259 0 0 -5
-6 8 5 0 0 -6
-7 1 2 0 0 -7
-8 0 0 0 0 -8
Totals / Min / Under -25:
146804 86650 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 383015 0 12 20
0 -79 0 -59 0 -39 0 -19 5944 1 12 21
0 -78 0 -58 0 -38 0 -18 34356 2 12 22
0 -77 0 -57 0 -37 0 -17 43368 3 12 23
0 -76 0 -56 0 -36 0 -16 28841 4 12 24
0 -75 0 -55 0 -35 0 -15 2357 5 12 25
0 -74 0 -54 0 -34 0 -14 60 6 12 26
0 -73 0 -53 0 -33 0 -13 24 7 12 27
0 -72 0 -52 0 -32 0 -12 17 8 12 28
0 -71 0 -51 0 -31 0 -11 14 9 12 29
0 -70 0 -50 0 -30 0 -10 13 10 12 30
0 -69 0 -49 0 -29 0 -9 13 11 12 31
0 -68 0 -48 0 -28 0 -8 13 12 12 32
0 -67 0 -47 0 -27 3 -7 13 13 12 33
0 -66 0 -46 0 -26 13 -6 13 14 12 34
0 -65 0 -45 0 -25 296 -5 13 15 12 35
0 -64 0 -44 0 -24 4664 -4 12 16 12 36
0 -63 0 -43 0 -23 37716 -3 12 17 12 37
0 -62 0 -42 0 -22 80778 -2 12 18 12 38
0 -61 0 -41 0 -21 109984 -1 12 19 12 39
------ Relaxed ------ | ------ Strong ------
380000 | o
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 | oo
80000 | ooo
60000 | ooo
40000 | ooo o
20000 | oooo ooo
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 = 737385. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -7. -80 thru -1 = 233454.
Behav = Relaxed. Maximum = 2128. 0 thru 39 = 498362.
histend K = 200000. 40 thru Max = 5569.
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 1 0 13 20
0 -79 0 -59 0 -39 0 -19 302 1 13 21
0 -78 0 -58 0 -38 0 -18 33491 2 13 22
0 -77 0 -57 0 -37 0 -17 78321 3 13 23
0 -76 0 -56 0 -36 0 -16 93724 4 13 24
0 -75 0 -55 0 -35 0 -15 61517 5 13 25
0 -74 0 -54 0 -34 0 -14 45023 6 13 26
0 -73 0 -53 0 -33 0 -13 17338 7 13 27
0 -72 0 -52 0 -32 0 -12 1495 8 13 28
0 -71 0 -51 0 -31 0 -11 99 9 13 29
0 -70 0 -50 0 -30 0 -10 57 10 13 30
0 -69 0 -49 0 -29 0 -9 36 11 13 31
0 -68 0 -48 0 -28 0 -8 25 12 13 32
0 -67 0 -47 0 -27 0 -7 18 13 13 33
0 -66 0 -46 0 -26 0 -6 14 14 13 34
0 -65 0 -45 0 -25 0 -5 13 15 13 35
0 -64 0 -44 0 -24 0 -4 13 16 13 36
0 -63 0 -43 0 -23 0 -3 13 17 13 37
0 -62 0 -42 0 -22 0 -2 13 18 13 38
0 -61 0 -41 0 -21 0 -1 13 19 13 39
------ Relaxed ------ | ------ Strong ------
95000 | |
90000 | | o
85000 | | o
80000 | | o
75000 | | oo
70000 | | oo
65000 | | oo
60000 | | ooo
55000 | | ooo
50000 | | ooo
45000 | | oooo
40000 | | oooo
35000 | | oooo
30000 | | ooooo
25000 | | ooooo
20000 | | ooooo
15000 | | oooooo
10000 | | oooooo
5000 | | oooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399982. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 62612. 0 thru 39 = 331786.
histend K = 200000. 40 thru Max = 68196.
End analysis of Test T410 at 00:09:38.444 980617
==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