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.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 00:09:38.553 980617
End execution of Test T420 at 00:09:38.641 980617
Duration 0.088
Start analysis of Test T420 at 00:09:38.727 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.087 0.083 0.000 0.000 0.000 0.000 0.000 0.000
0.085 0.081 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 0 0
9999 9582 10413 0 0
19998 19679 20322 0 0
29997 31278 29740 0 0
39996 41303 38666 0 0
49995 50731 49258 0 0
59994 60650 59342 0 0
69993 70439 69545 0 0
79992 80309 79667 0 0
89991 89882 90181 0 0
99990 99729 100244 0 0
109989 109519 110456 0 0
119988 119312 120672 0 0
129987 129378 130578 0 0
139986 139425 140532 0 0
149985 149458 150509 0 0
159984 159501 160462 0 0
169983 170593 169833 0 0
179982 180766 179196 0 0
189981 191292 188663 0 0
199980 199999 193191 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111
1222
12
12
12
12
12
12
12
12
2
23
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
3
3
3
3
3
3
3
3
3
3
3
3
3
1
12
12
12
12
12
12
12
12
12
12
12
22
21
21
21
21
21
21
21
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 268073 0
1 1504 154
2 39161 46870
3 67590 56426
4 23377 28008
5 243 404
6 15 26
7 5 6
8 2 3
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 26 26
d = -6.
Event 4.1. u[ 1650] = 1202 < 1203; v[ 1203] = 1644 < 1650.
b=0 c=0 u[ 1645]: 1202 1202 1202 1202 1202 1202
Event 4.1. u[ 58199] = 58891 < 58892; v[ 58892] = 58193 < 58199.
b=1 c=1 u[ 58194]: 58890 58890 58891 58891 58891 58891
Event 4.1. u[ 58240] = 58902 < 58903; v[ 58903] = 58234 < 58240.
b=1 c=1 u[ 58235]: 58901 58901 58902 58902 58902 58902
d = -5.
Event 4.1. u[ 1640] = 1198 < 1199; v[ 1199] = 1635 < 1640.
b=0 c=0 u[ 1636]: 1198 1198 1198 1198 1198
Event 4.1. u[ 1649] = 1202 < 1203; v[ 1203] = 1644 < 1649.
b=0 c=0 u[ 1645]: 1202 1202 1202 1202 1202
Event 4.1. u[ 1720] = 1229 < 1230; v[ 1230] = 1715 < 1720.
b=0 c=0 u[ 1716]: 1229 1229 1229 1229 1229
Event 4.1. u[ 1736] = 1234 < 1235; v[ 1235] = 1731 < 1736.
b=0 c=0 u[ 1732]: 1234 1234 1234 1234 1234
Event 4.2. v[ 43492] = 42106 < 42107; u[ 42107] = 43487 < 43492.
b=1 c=1 v[ 43488]: 42105 42105 42106 42106 42106
Event 4.1. u[ 58190] = 58889 < 58890; v[ 58890] = 58185 < 58190.
b=1 c=1 u[ 58186]: 58888 58888 58889 58889 58889
Event 4.1. u[ 58198] = 58891 < 58892; v[ 58892] = 58193 < 58198.
b=1 c=1 u[ 58194]: 58890 58890 58891 58891 58891
Event 4.1. u[ 58202] = 58892 < 58893; v[ 58893] = 58197 < 58202.
b=1 c=1 u[ 58198]: 58891 58891 58892 58892 58892
Event 4.1. u[ 58217] = 58896 < 58897; v[ 58897] = 58212 < 58217.
b=1 c=1 u[ 58213]: 58895 58895 58896 58896 58896
Event 4.1. u[ 58225] = 58898 < 58899; v[ 58899] = 58220 < 58225.
b=1 c=1 u[ 58221]: 58897 58898 58898 58898 58898
Event 4.1. u[ 58228] = 58899 < 58900; v[ 58900] = 58223 < 58228.
b=1 c=1 u[ 58224]: 58898 58898 58899 58899 58899
Event 4.1. u[ 161530] = 160979 < 160980; v[ 160980] = 161525 < 161530.
b=0 c=0 u[ 161526]: 160979 160979 160979 160979 160979
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1194 723 1627 112 0 307 3
1195 723 1627 111 -1 308 4
1196 723 1632 110 -1 309 2
1197 723 1632 109 -2 310 3
1198 723 1635 108 0 311 3
1199 723 1635 107 -1 312 4
1200 723 1641 106 -1 313 2
1201 723 1641 105 -2 314 3
1202 723 1644 104 0 315 3
1203 723 1644 103 -1 316 4
1204 723 1650 102 -1 317 2
1205 723 1653 101 -1 318 2
1206 723 1656 100 -1 319 2
1207 723 1659 99 -1 320 2
1208 723 1659 98 -2 321 3
1209 723 1662 97 -1 322 3
1225 723 1706 81 -2 338 2
1226 723 1706 80 -3 339 3
1227 723 1709 79 -1 340 1
1228 723 1712 78 -1 341 2
1229 723 1715 77 0 342 2
1230 723 1715 76 -1 343 3
1231 723 1722 75 -1 344 1
1232 723 1725 74 -1 345 2
1233 723 1728 73 -1 346 2
1234 723 1731 72 0 347 2
1235 723 1731 71 -1 348 3
1236 723 1738 70 -1 349 1
1237 723 1738 69 -2 350 2
1238 723 1744 68 -1 351 1
1239 723 1747 67 -1 352 1
1240 723 1749 66 0 353 2
1635 1198 2144 0 0 3 3
1636 1198 2144 -1 -1 4 4
1637 1198 2148 -2 0 5 2
1638 1198 2148 -3 -1 6 3
1639 1198 2148 -4 -2 7 4
1640 1198 2151 -5 0 8 3
1641 1199 2151 0 -1 6 4
1642 1199 2151 -1 -2 7 5
1643 1199 2154 -2 0 8 3
1644 1202 2154 0 -1 3 4
1645 1202 2154 -1 -2 4 5
1646 1202 2157 -2 0 5 3
1647 1202 2157 -3 -1 6 4
1648 1202 2157 -4 -2 7 5
1649 1202 2157 -5 -3 8 6
1650 1202 2159 -6 0 9 4
1651 1203 2159 -1 -1 7 5
1652 1203 2159 -2 -2 8 6
1653 1203 2162 -3 0 9 3
1654 1204 2162 -1 -1 10 4
1655 1204 2166 -2 0 11 2
1656 1204 2166 -3 -1 12 3
1715 1229 2224 0 -2 3 6
1716 1229 2227 -1 0 4 3
1717 1229 2227 -2 -1 5 4
1718 1229 2231 -3 0 6 2
1719 1229 2231 -4 -1 7 3
1720 1229 2231 -5 -2 8 4
1721 1230 2234 1 0 6 3
1722 1230 2234 0 -1 7 4
1723 1230 2234 -1 -2 8 5
1724 1230 2237 -2 0 9 3
1725 1231 2237 0 -1 10 4
1731 1234 2242 0 0 3 3
1732 1234 2242 -1 -1 4 4
1733 1234 2246 -2 0 5 2
1734 1234 2246 -3 -1 6 3
1735 1234 2246 -4 -2 7 4
1736 1234 2249 -5 0 8 3
1737 1235 2249 1 -1 6 4
1738 1235 2249 0 -2 7 5
1739 1235 2252 -1 0 8 3
1740 1236 2252 -2 -1 9 4
1741 1236 2252 -3 -2 10 5
43487 44952 42105 -2 0 5 2
43488 44955 42105 0 -1 3 3
43489 44955 42105 -1 -2 4 4
43490 44955 42106 -2 -3 5 3
43491 44955 42106 -3 -4 6 4
43492 44957 42106 0 -5 4 5
43493 44957 42108 -1 -1 5 6
43494 44957 42108 -2 -2 6 7
43495 44960 42111 0 0 3 3
43496 44960 42111 -1 -1 4 4
43497 44964 42111 0 -2 2 5
58185 58888 57464 0 -1 3 4
58186 58888 57466 -1 0 4 2
58187 58888 57466 -2 -1 5 3
58188 58889 57469 -3 0 6 2
58189 58889 57469 -4 -1 7 3
58190 58889 57469 -5 -2 8 4
58191 58890 57469 2 -3 6 5
58192 58890 57471 1 0 7 4
58193 58890 57471 0 -1 8 5
58194 58890 57471 -1 -2 9 6
58195 58890 57474 -2 0 10 3
58196 58891 57474 -3 -1 11 4
58197 58891 57478 -4 0 12 2
58198 58891 57478 -5 -1 13 3
58199 58891 57478 -6 -2 14 4
58200 58892 57481 -3 0 7 3
58201 58892 57481 -4 -1 8 4
58202 58892 57484 -5 0 9 2
58203 58893 57484 -1 -1 10 3
58204 58893 57484 -2 -2 11 4
58205 58893 57484 -3 -3 12 5
58206 58893 57486 -4 -1 13 4
58207 58894 57486 0 -2 10 5
58234 58901 57511 0 -2 11 6
58235 58901 57515 -1 0 12 3
58236 58901 57515 -2 -1 13 4
58237 58902 57519 -3 0 8 2
58238 58902 57519 -4 -1 9 3
58239 58902 57519 -5 -2 10 4
58240 58902 57522 -6 0 11 3
58241 58903 57522 -3 -1 7 4
58242 58903 57522 -4 -2 8 5
58243 58903 57522 -5 -3 9 6
58244 58904 57524 0 0 10 4
58245 58904 57524 -1 -1 11 5
58246 58907 57524 0 -2 2 6
58885 59543 58182 -1 0 4 3
58886 59543 58182 -2 -1 5 4
58887 59543 58182 -3 -2 6 5
58888 59545 58182 0 -3 4 6
58889 59545 58185 -1 -1 5 1
58890 59545 58185 -2 -2 6 2
58891 59545 58193 -3 -1 7 1
58892 59548 58193 -1 -2 1 2
58893 59548 58197 -2 -2 2 2
58894 59550 58202 0 -1 3 2
58895 59550 58207 -1 -1 4 2
58896 59554 58212 0 -1 2 1
58897 59554 58212 -1 -2 3 2
58898 59554 58220 -2 -1 4 1
58899 59557 58220 0 -2 3 2
58900 59557 58223 -1 -2 4 2
58901 59557 58229 -2 -1 5 2
58902 59557 58234 -3 -1 6 1
58903 59559 58234 0 -2 4 2
58904 59559 58238 -1 -2 5 2
58905 59559 58244 -2 -1 6 2
58906 59562 58244 0 -2 3 3
58907 59562 58244 -1 -3 4 4
58908 59562 58246 -2 -1 5 4
58909 59565 58246 0 -2 3 5
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 65781 65781 0 0 -1
-2 46746 47217 0 0 -2
-3 14182 14811 0 0 -3
-4 185 416 0 0 -4
-5 18 1 0 0 -5
-6 3 0 0 0 -6
-7 0 0 0 0 -7
Totals / Min / Under -25:
126915 128226 0 0
6 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 389885 0 26 20
0 -79 0 -59 0 -39 0 -19 1984 1 26 21
0 -78 0 -58 0 -38 0 -18 39241 2 26 22
0 -77 0 -57 0 -37 0 -17 67642 3 26 23
0 -76 0 -56 0 -36 0 -16 23415 4 26 24
0 -75 0 -55 0 -35 0 -15 273 5 26 25
0 -74 0 -54 0 -34 0 -14 42 6 26 26
0 -73 0 -53 0 -33 0 -13 32 7 26 27
0 -72 0 -52 0 -32 0 -12 29 8 26 28
0 -71 0 -51 0 -31 0 -11 27 9 26 29
0 -70 0 -50 0 -30 0 -10 27 10 26 30
0 -69 0 -49 0 -29 0 -9 27 11 26 31
0 -68 0 -48 0 -28 0 -8 27 12 26 32
0 -67 0 -47 0 -27 0 -7 27 13 26 33
0 -66 0 -46 0 -26 3 -6 27 14 26 34
0 -65 0 -45 0 -25 19 -5 27 15 26 35
0 -64 0 -44 0 -24 601 -4 27 16 26 36
0 -63 0 -43 0 -23 28993 -3 27 17 26 37
0 -62 0 -42 0 -22 93963 -2 27 18 26 38
0 -61 0 -41 0 -21 131562 -1 26 19 26 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 | oo
100000 | oo
80000 | ooo
60000 | ooo o
40000 | ooo o
20000 | oooo ooo
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 = 793186. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -6. -80 thru -1 = 255141.
Behav = Relaxed. Maximum = 5509. 0 thru 39 = 523359.
histend K = 200000. 40 thru Max = 14686.
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 27 20
0 -79 0 -59 0 -39 0 -19 480 1 27 21
0 -78 0 -58 0 -38 0 -18 38345 2 27 22
0 -77 0 -57 0 -37 0 -17 102608 3 27 23
0 -76 0 -56 0 -36 0 -16 124280 4 27 24
0 -75 0 -55 0 -35 0 -15 67477 5 27 25
0 -74 0 -54 0 -34 0 -14 42423 6 27 26
0 -73 0 -53 0 -33 0 -13 1712 7 27 27
0 -72 0 -52 0 -32 0 -12 184 8 27 28
0 -71 0 -51 0 -31 0 -11 66 9 27 29
0 -70 0 -50 0 -30 0 -10 55 10 27 30
0 -69 0 -49 0 -29 0 -9 45 11 27 31
0 -68 0 -48 0 -28 0 -8 35 12 27 32
0 -67 0 -47 0 -27 0 -7 31 13 27 33
0 -66 0 -46 0 -26 0 -6 28 14 27 34
0 -65 0 -45 0 -25 0 -5 27 15 27 35
0 -64 0 -44 0 -24 0 -4 27 16 27 36
0 -63 0 -43 0 -23 0 -3 27 17 27 37
0 -62 0 -42 0 -22 0 -2 27 18 27 38
0 -61 0 -41 0 -21 0 -1 27 19 27 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | o
110000 | | o
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | ooo
50000 | | ooo
40000 | | oooo
30000 | | ooooo
20000 | | ooooo
10000 | | ooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 399979. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6808. 0 thru 39 = 378445.
histend K = 200000. 40 thru Max = 21534.
End analysis of Test T420 at 00:09:39.901 980617
==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 00:09:40.004 980617
End execution of Test T700 at 00:09:40.098 980617
Duration 0.094
Start analysis of Test T700 at 00:09:40.098 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.092 0.093 0.000 0.000 0.000 0.000 0.000 0.000
0.091 0.092 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 199999 199999
9999 7624 12693 0 0
19998 15775 26211 0 0
29997 23234 37895 0 0
39996 31768 49408 0 0
49995 40514 61075 0 0
59994 49064 72523 0 0
69993 57807 84063 0 0
79992 66510 95460 0 0
89991 75193 106758 0 0
99990 84072 118307 0 0
109989 92861 129754 0 0
119988 101559 141498 0 0
129987 110196 151608 0 0
139986 118647 163326 0 0
149985 128584 166174 0 0
159984 137212 167485 0 0
169983 162111 179159 0 0
179982 170692 184967 0 0
189981 186869 193642 0 0
199980 195713 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 222
2 1
2 1
2 1
1
2 1
2222 1
2
2
2
2 11
1
2 1
22222222 1
1
2 1
2 1
2
2
2
2
22
2 1
1
2 1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
1
2 1
2 11
2 1
1
211
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 255737 0
1 8043 959
2 63704 71387
3 64106 67581
4 5988 4236
5 2320 42
6 60 33
7 10 5
8 11 0
9 2 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 15 15
d = -5.
Event 7.2. v[ 47290] = 57917 < 57918; u[ 57918] = 47285 < 47290.
b=1 c=1 v[ 47286]: 57916 57916 57917 57917 57917
Event 7.2. v[ 51647] = 63001 < 63002; u[ 63002] = 51642 < 51647.
b=0 c=0 v[ 51643]: 63001 63001 63001 63001 63001
Event 7.1. u[ 163129] = 139838 < 139839; v[ 139839] = 163124 < 163129.
b=1 c=1 u[ 163125]: 139837 139837 139838 139838 139838
Event 7.1. u[ 163138] = 139841 < 139842; v[ 139842] = 163133 < 163138.
b=1 c=1 u[ 163134]: 139840 139840 139841 139841 139841
Event 7.1. u[ 163146] = 139844 < 139845; v[ 139845] = 163141 < 163146.
b=1 c=1 u[ 163142]: 139843 139843 139844 139844 139844
Event 7.1. u[ 163155] = 139847 < 139848; v[ 139848] = 163150 < 163155.
b=1 c=1 u[ 163151]: 139846 139846 139847 139847 139847
Event 7.1. u[ 172684] = 164411 < 164412; v[ 164412] = 172679 < 172684.
b=1 c=1 u[ 172680]: 164410 164410 164411 164411 164411
Event 7.1. u[ 172692] = 164414 < 164415; v[ 164415] = 172687 < 172692.
b=1 c=1 u[ 172688]: 164413 164413 164414 164414 164414
Event 7.1. u[ 172708] = 164420 < 164421; v[ 164421] = 172703 < 172708.
b=1 c=1 u[ 172704]: 164419 164419 164420 164420 164420
Event 7.1. u[ 172716] = 164423 < 164424; v[ 164424] = 172711 < 172716.
b=1 c=1 u[ 172712]: 164422 164422 164423 164423 164423
d = -4.
Event 7.1. u[ 7539] = 5560 < 5561; v[ 5561] = 7535 < 7539.
b=0 c=0 u[ 7536]: 5560 5560 5560 5560
Event 7.1. u[ 16339] = 13144 < 13145; v[ 13145] = 16335 < 16339.
b=0 c=0 u[ 16336]: 13144 13144 13144 13144
Event 7.1. u[ 20983] = 15944 < 15945; v[ 15945] = 20979 < 20983.
b=0 c=0 u[ 20980]: 15944 15944 15944 15944
Event 7.1. u[ 32759] = 25576 < 25577; v[ 25577] = 32755 < 32759.
b=0 c=0 u[ 32756]: 25576 25576 25576 25576
Event 7.1. u[ 188727] = 185784 < 185785; v[ 185785] = 188723 < 188727.
b=0 c=0 u[ 188724]: 185784 185784 185784 185784
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
47285 38094 57916 0 0 3 4
47286 38094 57916 -1 -1 4 5
47287 38097 57916 0 -2 2 6
47288 38097 57917 -1 -3 3 3
47289 38097 57917 -2 -4 4 4
47290 38099 57917 0 -5 3 5
47291 38099 57918 -1 2 4 6
47292 38099 57918 -2 1 5 7
47293 38101 57919 0 0 3 8
47294 38101 57919 -1 -1 4 9
47295 38104 57919 0 -2 2 10
51642 41938 63001 0 0 3 2
51643 41938 63001 -1 -1 4 3
51644 41938 63001 -2 -2 5 4
51645 41940 63001 0 -3 3 5
51646 41940 63001 -1 -4 4 6
51647 41943 63001 0 -5 2 7
51648 41943 63002 -1 0 3 6
51649 41944 63002 -2 -1 2 7
51650 41946 63004 0 4 3 2
51651 41946 63004 -1 3 4 3
51652 41946 63004 -2 2 5 4
57913 47281 70111 0 -1 2 4
57914 47281 70115 -1 0 3 2
57915 47281 70115 -2 -1 4 3
57916 47285 70118 0 0 1 2
57917 47285 70118 -1 -1 2 3
57918 47285 70118 -2 -2 3 4
57919 47293 70120 0 0 1 3
57920 47293 70120 -1 -1 2 4
57921 47293 70123 -2 0 3 2
57922 47300 70123 0 -1 1 3
57923 47300 70123 -1 -2 2 4
62997 51631 75967 -1 -3 1 5
62998 51634 75969 -1 0 1 4
62999 51637 75969 -1 -1 1 5
63000 51640 75972 -1 0 1 2
63001 51642 75972 0 -1 2 3
63002 51642 75976 -1 0 3 2
63003 51648 75976 -1 -1 2 3
63004 51648 75979 -2 0 3 2
63005 51654 75979 0 -1 1 3
63006 51654 75979 -1 -2 2 4
63007 51657 75979 -1 -3 2 5
139834 118516 163117 0 0 3 1
139835 118516 163117 -1 -1 4 2
139836 118516 163117 -2 -2 5 3
139837 118519 163124 0 0 3 1
139838 118519 163124 -1 -1 4 2
139839 118522 163124 0 -2 2 3
139840 118522 163133 -1 0 3 1
139841 118522 163133 -2 -1 4 2
139842 118524 163133 0 -2 3 3
139843 118524 163141 -1 0 4 1
139844 118524 163141 -2 -1 5 2
139845 118526 163141 0 -2 3 3
139846 118526 163150 -1 0 4 1
139847 118526 163150 -2 -1 5 2
139848 118528 163150 0 -2 3 3
139849 118528 163158 -1 0 4 1
139850 118528 163158 -2 -1 5 2
139851 118530 163158 0 -2 3 3
139852 118530 163160 -1 0 4 3
139853 118533 163160 0 -1 2 4
163124 139837 171169 0 0 7 3
163125 139837 171169 -1 -1 8 4
163126 139837 171172 -2 0 9 2
163127 139838 171172 -3 -1 3 3
163128 139838 171175 -4 0 4 2
163129 139838 171175 -5 -1 5 3
163130 139839 171179 3 0 6 2
163131 139839 171179 2 -1 7 3
163132 139839 171182 1 0 8 2
163133 139840 171182 0 -1 9 3
163134 139840 171182 -1 -2 10 4
163135 139840 171184 -2 0 11 3
163136 139841 171184 -3 -1 3 4
163137 139841 171187 -4 0 4 2
163138 139841 171187 -5 -1 5 3
163139 139842 171190 2 0 6 2
163140 139842 171190 1 -1 7 3
163141 139843 171193 0 0 8 2
163142 139843 171193 -1 -1 9 3
163143 139843 171196 -2 0 10 2
163144 139844 171196 -3 -1 3 3
163145 139844 171198 -4 -1 4 2
163146 139844 171198 -5 -2 5 3
163147 139845 171200 3 0 6 3
163148 139845 171200 2 -1 7 4
163149 139845 171203 1 0 8 2
163150 139846 171203 0 -1 9 3
163151 139846 171203 -1 -2 10 4
163152 139846 171205 -2 0 11 3
163153 139847 171205 -3 -1 3 4
163154 139847 171208 -4 0 4 2
163155 139847 171208 -5 -1 5 3
163156 139848 171211 2 0 6 2
163157 139848 171211 1 -1 7 3
163158 139849 171214 0 0 8 2
163159 139849 171214 -1 -1 9 3
163160 139852 171214 0 -2 2 4
164407 140914 172670 -2 -2 5 4
164408 140916 172672 0 0 3 3
164409 140916 172672 -1 -1 4 4
164410 140916 172679 -2 0 5 1
164411 140918 172679 0 -1 3 2
164412 140918 172679 -1 -2 4 3
164413 140918 172687 -2 0 5 1
164414 140920 172687 0 -1 3 2
164415 140920 172687 -1 -2 4 3
164416 140920 172695 -2 0 5 1
164417 140923 172695 0 -1 3 2
164418 140923 172695 -1 -2 4 3
164419 140923 172703 -2 0 5 1
164420 140925 172703 0 -1 3 2
164421 140925 172703 -1 -2 4 3
164422 140928 172711 0 0 2 1
164423 140928 172711 -1 -1 3 2
164424 140928 172711 -2 -2 4 3
164425 140930 172719 0 0 3 1
164426 140930 172719 -1 -1 4 2
164427 140930 172719 -2 -2 5 3
164428 140932 172721 0 0 3 3
164429 140932 172721 -1 -1 4 4
172679 164410 182158 0 -2 7 4
172680 164410 182160 -1 0 8 3
172681 164410 182160 -2 -1 9 4
172682 164411 182164 -3 0 3 2
172683 164411 182164 -4 -1 4 3
172684 164411 182167 -5 0 5 2
172685 164412 182167 2 -1 6 3
172686 164412 182167 1 -2 7 4
172687 164413 182169 0 0 8 3
172688 164413 182169 -1 -1 9 4
172689 164413 182172 -2 0 10 2
172690 164414 182172 -3 -1 3 3
172691 164414 182172 -4 -2 4 4
172692 164414 182174 -5 0 5 3
172693 164415 182174 2 -1 6 4
172694 164415 182177 1 0 7 2
172695 164416 182177 0 -1 8 3
172696 164416 182180 -1 0 9 2
172697 164416 182180 -2 -1 10 3
172703 164419 182189 0 0 8 3
172704 164419 182189 -1 -1 9 4
172705 164419 182189 -2 -2 10 5
172706 164420 182191 -3 0 3 3
172707 164420 182191 -4 -1 4 4
172708 164420 182194 -5 0 5 2
172709 164421 182194 2 -1 6 3
172710 164421 182197 1 0 7 2
172711 164422 182197 0 -1 8 3
172712 164422 182197 -1 -2 9 4
172713 164422 182199 -2 0 10 3
172714 164423 182199 -3 -1 3 4
172715 164423 182202 -4 0 4 2
172716 164423 182202 -5 -1 5 3
172717 164424 182205 2 0 6 2
172718 164424 182205 1 -1 7 3
172719 164425 182205 0 -2 8 4
172720 164425 182207 -1 0 9 3
172721 164428 182207 0 -1 2 4
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 69841 69841 0 0 -1
-2 47247 26432 0 0 -2
-3 2860 2149 0 0 -3
-4 25 21 0 0 -4
-5 8 2 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
119981 98445 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 394254 0 15 20
0 -79 0 -59 0 -39 0 -19 11543 1 15 21
0 -78 0 -58 0 -38 0 -18 66927 2 15 22
0 -77 0 -57 0 -37 0 -17 64279 3 15 23
0 -76 0 -56 0 -36 0 -16 6062 4 15 24
0 -75 0 -55 0 -35 0 -15 2342 5 15 25
0 -74 0 -54 0 -34 0 -14 79 6 15 26
0 -73 0 -53 0 -33 0 -13 27 7 15 27
0 -72 0 -52 0 -32 0 -12 27 8 15 28
0 -71 0 -51 0 -31 0 -11 18 9 15 29
0 -70 0 -50 0 -30 0 -10 15 10 15 30
0 -69 0 -49 0 -29 0 -9 15 11 15 31
0 -68 0 -48 0 -28 0 -8 15 12 15 32
0 -67 0 -47 0 -27 0 -7 15 13 15 33
0 -66 0 -46 0 -26 0 -6 15 14 15 34
0 -65 0 -45 0 -25 10 -5 15 15 15 35
0 -64 0 -44 0 -24 46 -4 15 16 15 36
0 -63 0 -43 0 -23 5009 -3 15 17 15 37
0 -62 0 -42 0 -22 73679 -2 15 18 15 38
0 -61 0 -41 0 -21 139682 -1 15 19 15 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 | oo
100000 | oo
80000 | oo
60000 | ooo oo
40000 | ooo oo
20000 | ooo oo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 795727. Min thru -81 = 0.
Type = RR|CC1. Minimum = -5. -80 thru -1 = 218426.
Behav = Relaxed. Maximum = 16380. 0 thru 39 = 546008.
histend K = 200000. 40 thru Max = 31293.
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 16 20
0 -79 0 -59 0 -39 0 -19 3500 1 16 21
0 -78 0 -58 0 -38 0 -18 68970 2 16 22
0 -77 0 -57 0 -37 0 -17 134879 3 16 23
0 -76 0 -56 0 -36 0 -16 107210 4 16 24
0 -75 0 -55 0 -35 0 -15 42396 5 16 25
0 -74 0 -54 0 -34 0 -14 6584 6 16 26
0 -73 0 -53 0 -33 0 -13 239 7 16 27
0 -72 0 -52 0 -32 0 -12 98 8 16 28
0 -71 0 -51 0 -31 0 -11 53 9 16 29
0 -70 0 -50 0 -30 0 -10 29 10 16 30
0 -69 0 -49 0 -29 0 -9 20 11 16 31
0 -68 0 -48 0 -28 0 -8 16 12 16 32
0 -67 0 -47 0 -27 0 -7 16 13 16 33
0 -66 0 -46 0 -26 0 -6 16 14 16 34
0 -65 0 -45 0 -25 0 -5 16 15 16 35
0 -64 0 -44 0 -24 0 -4 16 16 16 36
0 -63 0 -43 0 -23 0 -3 16 17 16 37
0 -62 0 -42 0 -22 0 -2 16 18 16 38
0 -61 0 -41 0 -21 0 -1 16 19 16 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | | o
120000 | | o
110000 | | o
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | ooo
50000 | | ooo
40000 | | oooo
30000 | | oooo
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 = 700. Total = 399994. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 16382. 0 thru 39 = 364435.
histend K = 200000. 40 thru Max = 35559.
End analysis of Test T700 at 00:09:41.254 980617
==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 00:09:41.357 980617
End execution of Test T710 at 00:09:41.450 980617
Duration 0.093
Start analysis of Test T710 at 00:09:41.494 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.084 0.093 0.000 0.000 0.000 0.000 0.000 0.000
0.083 0.092 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 6 199999 0
9999 8001 12319 0 0
19998 16199 24577 0 0
29997 24379 36920 0 0
39996 32445 49665 0 0
49995 40264 61873 0 0
59994 48461 74213 0 0
69993 56548 86567 0 0
79992 64641 97621 0 0
89991 72795 110045 0 0
99990 81901 120475 0 0
109989 89942 132424 0 0
119988 99594 144301 0 0
129987 107907 156527 0 0
139986 116307 168679 0 0
149985 124596 180832 0 0
159984 132803 192686 0 0
169983 141043 199999 0 0
179982 149284 199999 0 0
189981 157565 199999 0 0
199980 166056 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 222222222222222
2
2
2
2
2
2
2
2
2
2
1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 11
2 1
2 1
1
2 1
22 11
1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
1
2 1
2 11
2 1
2 1
1
2 1
2 11
2 1
2 1
1
2 1
2 11
2 1
1
2 1
2 11
2 1
2 1
1
2 11
2 1
2 1
2 1
1
211
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 259027 0
1 6111 2098
2 63711 71010
3 58026 55233
4 12312 12019
5 762 575
6 18 16
7 13 3
8 4 1
9 0 1
10 0 0
11 0 0
12 0 0
13 0 1
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 12 12
d = -5.
Event 7.2. v[ 28090] = 34602 < 34603; u[ 34603] = 28085 < 28090.
b=1 c=1 v[ 28086]: 34601 34601 34602 34602 34602
Event 7.2. v[ 28123] = 34613 < 34614; u[ 34614] = 28118 < 28123.
b=1 c=1 v[ 28119]: 34612 34612 34613 34613 34613
Event 7.2. v[ 43019] = 53336 < 53337; u[ 53337] = 43014 < 43019.
b=0 c=0 v[ 43015]: 53336 53336 53336 53336 53336
Event 7.2. v[ 114768] = 138146 < 138147; u[ 138147] = 114763 < 114768.
b=1 c=1 v[ 114764]: 138145 138145 138146 138146 138146
Event 7.2. v[ 151019] = 182072 < 182073; u[ 182073] = 151014 < 151019.
b=1 c=1 v[ 151015]: 182071 182071 182072 182072 182072
Event 7.1. u[ 170599] = 141531 < 141532; v[ 141532] = 170594 < 170599.
b=1 c=1 u[ 170595]: 141530 141530 141531 141531 141531
Event 7.1. u[ 170616] = 141537 < 141538; v[ 141538] = 170611 < 170616.
b=1 c=1 u[ 170612]: 141536 141536 141537 141537 141537
Event 7.1. u[ 170627] = 141541 < 141542; v[ 141542] = 170622 < 170627.
b=1 c=1 u[ 170623]: 141540 141540 141541 141541 141541
d = -4.
Event 7.1. u[ 1994] = 1580 < 1581; v[ 1581] = 1990 < 1994.
b=1 c=1 u[ 1991]: 1579 1579 1580 1580
Event 7.1. u[ 2001] = 1584 < 1585; v[ 1585] = 1997 < 2001.
b=1 c=1 u[ 1998]: 1583 1583 1584 1584
Event 7.1. u[ 2031] = 1595 < 1596; v[ 1596] = 2027 < 2031.
b=0 c=0 u[ 2028]: 1595 1595 1595 1595
Event 7.1. u[ 2074] = 1612 < 1613; v[ 1613] = 2070 < 2074.
b=1 c=1 u[ 2071]: 1611 1611 1612 1612
Event 7.1. u[ 2078] = 1613 < 1614; v[ 1614] = 2074 < 2078.
b=0 c=0 u[ 2075]: 1613 1613 1613 1613
Event 7.1. u[ 2110] = 1623 < 1624; v[ 1624] = 2106 < 2110.
b=1 c=1 u[ 2107]: 1622 1622 1623 1623
Event 7.1. u[ 188326] = 156152 < 156153; v[ 156153] = 188322 < 188326.
b=0 c=0 u[ 188323]: 156152 156152 156152 156152
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
28085 22822 34599 -1 -2 5 4
28086 22824 34601 0 -1 2 3
28087 22824 34601 -1 -2 3 4
28088 22824 34602 -2 -3 4 3
28089 22827 34602 0 -4 3 4
28090 22827 34602 -1 -5 4 5
28091 22829 34603 -1 2 2 6
28092 22829 34603 -2 1 3 7
28093 22832 34604 0 0 3 8
28094 22832 34604 -1 -1 4 9
28095 22834 34604 0 -2 2 10
28118 22851 34612 -1 0 3 6
28119 22851 34612 -2 -1 4 7
28120 22854 34612 0 -2 3 8
28121 22854 34613 -1 -3 4 6
28122 22854 34613 -2 -4 5 7
28123 22856 34613 0 -5 3 8
28124 22856 34614 -1 2 4 6
28125 22856 34614 -2 1 5 7
28126 22856 34615 -3 0 6 8
28127 22858 34615 0 -1 4 9
28128 22858 34615 -1 -2 5 10
34598 28081 42657 -3 0 6 3
34599 28083 42657 0 -1 4 4
34600 28083 42660 -1 0 5 2
34601 28085 42663 0 -1 2 1
34602 28085 42663 -1 -2 3 2
34603 28085 42665 -2 0 4 3
34604 28093 42665 0 -1 1 4
34605 28093 42668 -1 0 2 2
34606 28097 42668 -1 -1 2 3
34607 28100 42668 -1 -2 2 4
34608 28103 42670 -1 -1 2 3
34609 28108 42670 0 -2 1 4
34610 28108 42673 -1 0 2 3
34611 28112 42673 -1 -1 2 4
34612 28115 42676 -1 0 2 2
34613 28118 42676 -1 -1 2 3
34614 28118 42680 -2 0 3 2
34615 28126 42680 0 -1 1 3
34616 28126 42680 -1 -2 2 4
34617 28130 42682 -1 -1 2 3
34618 28133 42682 -1 -2 2 4
34619 28136 42684 -1 0 2 3
43014 34891 53336 -1 0 4 2
43015 34891 53336 -2 -1 5 3
43016 34891 53336 -3 -2 6 4
43017 34893 53336 0 -3 4 5
43018 34893 53336 -1 -4 5 6
43019 34895 53336 -1 -5 2 7
43020 34895 53337 -2 0 3 6
43021 34898 53337 0 -1 3 7
43022 34898 53339 -1 0 4 2
43023 34900 53339 0 -1 2 3
43024 34900 53340 -1 0 3 4
53332 43007 66003 0 -1 2 3
53333 43007 66007 -1 0 3 2
53334 43012 66007 -1 -1 2 3
53335 43012 66007 -2 -2 3 4
53336 43014 66009 0 -1 3 3
53337 43014 66009 -1 -2 4 4
53338 43020 66012 -1 0 2 3
53339 43020 66012 -2 -1 3 4
53340 43022 66015 -1 0 3 2
53341 43024 66015 -1 -1 2 3
53342 43027 66019 0 0 2 2
114763 93860 138145 -1 0 3 7
114764 93860 138145 -2 -1 4 8
114765 93863 138145 0 -2 3 9
114766 93863 138146 -1 -3 4 3
114767 93864 138146 -2 -4 2 4
114768 93864 138146 -3 -5 3 5
114769 93866 138147 0 2 4 6
114770 93866 138147 -1 1 5 7
114771 93869 138148 0 0 2 8
114772 93869 138148 -1 -1 3 9
114773 93869 138148 -2 -2 4 10
138142 114756 166386 0 -2 1 4
138143 114756 166389 -1 0 2 3
138144 114756 166389 -2 -1 3 4
138145 114763 166392 0 0 1 2
138146 114763 166392 -1 -1 2 3
138147 114763 166395 -2 0 3 2
138148 114771 166395 0 -1 1 3
138149 114771 166395 -1 -2 2 4
138150 114771 166397 -2 -1 3 3
138151 114778 166397 0 -2 1 4
138152 114778 166400 -1 0 2 3
151014 125431 182071 -1 0 4 4
151015 125431 182071 -2 -1 5 5
151016 125431 182071 -3 -2 6 6
151017 125432 182072 0 -3 4 7
151018 125432 182072 -1 -4 5 8
151019 125435 182072 0 -5 2 9
151020 125435 182073 -1 2 3 6
151021 125439 182073 0 1 2 7
151022 125439 182074 -1 0 3 8
151023 125439 182074 -2 -1 4 9
151024 125439 182074 -3 -2 5 10
182068 151000 199999 -2 2097152 3 15998
182069 151006 199999 0 2097152 1 15999
182070 151010 199999 0 2097152 1 16000
182071 151010 199999 -1 2097152 2 16001
182072 151014 199999 -1 2097152 2 16002
182073 151014 199999 -2 2097152 3 16003
182074 151022 199999 0 2097152 1 16004
182075 151022 199999 -1 2097152 2 16005
182076 151022 199999 -2 2097152 3 16006
182077 151025 199999 0 2097152 3 16007
182078 151025 199999 -1 2097152 4 16008
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 69000 69000 0 0 -1
-2 47932 39825 0 0 -2
-3 10972 1564 0 0 -3
-4 23 22 0 0 -4
-5 3 5 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
127930 110416 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 377013 0 12 20
0 -79 0 -59 0 -39 0 -19 8271 1 12 21
0 -78 0 -58 0 -38 0 -18 65419 2 12 22
0 -77 0 -57 0 -37 0 -17 58687 3 12 23
0 -76 0 -56 0 -36 0 -16 12387 4 12 24
0 -75 0 -55 0 -35 0 -15 789 5 12 25
0 -74 0 -54 0 -34 0 -14 33 6 12 26
0 -73 0 -53 0 -33 0 -13 27 7 12 27
0 -72 0 -52 0 -32 0 -12 18 8 12 28
0 -71 0 -51 0 -31 0 -11 13 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 0 -7 13 13 12 33
0 -66 0 -46 0 -26 0 -6 12 14 12 34
0 -65 0 -45 0 -25 8 -5 12 15 12 35
0 -64 0 -44 0 -24 45 -4 12 16 12 36
0 -63 0 -43 0 -23 12536 -3 12 17 12 37
0 -62 0 -42 0 -22 87757 -2 12 18 12 38
0 -61 0 -41 0 -21 138000 -1 12 19 12 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 | oo
100000 | oo
80000 | ooo
60000 | ooo o
40000 | ooo oo
20000 | ooo oo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 766066. Min thru -81 = 0.
Type = RR|CC1. Minimum = -5. -80 thru -1 = 238346.
Behav = Relaxed. Maximum = 1435. 0 thru 39 = 523021.
histend K = 200000. 40 thru Max = 4699.
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 10 0 13 20
0 -79 0 -59 0 -39 0 -19 2160 1 13 21
0 -78 0 -58 0 -38 0 -18 53575 2 13 22
0 -77 0 -57 0 -37 0 -17 124939 3 13 23
0 -76 0 -56 0 -36 0 -16 119222 4 13 24
0 -75 0 -55 0 -35 0 -15 48621 5 13 25
0 -74 0 -54 0 -34 0 -14 11616 6 13 26
0 -73 0 -53 0 -33 0 -13 675 7 13 27
0 -72 0 -52 0 -32 0 -12 92 8 13 28
0 -71 0 -51 0 -31 0 -11 52 9 13 29
0 -70 0 -50 0 -30 0 -10 30 10 13 30
0 -69 0 -49 0 -29 0 -9 18 11 13 31
0 -68 0 -48 0 -28 0 -8 14 12 13 32
0 -67 0 -47 0 -27 0 -7 14 13 13 33
0 -66 0 -46 0 -26 0 -6 13 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 ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | o
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
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 = 710. Total = 399987. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 33929. 0 thru 39 = 361376.
histend K = 200000. 40 thru Max = 38611.
End analysis of Test T710 at 00:09:42.660 980617
==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 00:09:42.763 980617
End execution of Test T720 at 00:09:42.864 980617
Duration 0.101
Start analysis of Test T720 at 00:09:42.934 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.098 0.100 0.000 0.000 0.000 0.000 0.000 0.000
0.097 0.099 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 7 0 0
9999 9534 10527 0 0
19998 18799 21223 0 0
29997 29051 30915 0 0
39996 36751 43217 0 0
49995 46639 53518 0 0
59994 56466 63514 0 0
69993 66329 73811 0 0
79992 76081 83956 0 0
89991 83781 96280 0 0
99990 93332 106585 0 0
109989 103239 116570 0 0
119988 113429 126989 0 0
129987 123112 137226 0 0
139986 132568 147669 0 0
149985 142149 157783 0 0
159984 152128 168346 0 0
169983 161617 178786 0 0
179982 171047 188999 0 0
189981 180846 197780 0 0
199980 192314 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22222
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
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
1
2 1
2 1
1
2 1
2 11
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
11
21
21
21
21
21
21
21
21
21
21
21
31
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 244264 0
1 7783 10451
2 71241 74133
3 73105 60171
4 3344 9851
5 225 1096
6 13 9
7 1 1
8 1 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 1
16 0 0
17 0 0
18 0 0
19 0 0
over 19 19
d = -5.
Event 7.2. v[ 50107] = 53606 < 53607; u[ 53607] = 50102 < 50107.
b=0 c=0 v[ 50103]: 53606 53606 53606 53606 53606
Event 7.1. u[ 97384] = 90692 < 90693; v[ 90693] = 97379 < 97384.
b=1 c=1 u[ 97380]: 90691 90691 90692 90692 90692
Event 7.2. v[ 181850] = 191041 < 191042; u[ 191042] = 181845 < 181850.
b=1 c=1 v[ 181846]: 191040 191040 191041 191041 191041
d = -4.
Event 7.1. u[ 4220] = 4168 < 4169; v[ 4169] = 4216 < 4220.
b=0 c=0 u[ 4217]: 4168 4168 4168 4168
Event 7.1. u[ 9257] = 8763 < 8764; v[ 8764] = 9253 < 9257.
b=1 c=1 u[ 9254]: 8762 8762 8763 8763
Event 7.1. u[ 9266] = 8767 < 8768; v[ 8768] = 9262 < 9266.
b=1 c=1 u[ 9263]: 8766 8766 8767 8767
Event 7.1. u[ 9271] = 8769 < 8770; v[ 8770] = 9267 < 9271.
b=1 c=1 u[ 9268]: 8768 8768 8769 8769
Event 7.1. u[ 9276] = 8771 < 8772; v[ 8772] = 9272 < 9276.
b=1 c=1 u[ 9273]: 8770 8770 8771 8771
Event 7.1. u[ 9281] = 8773 < 8774; v[ 8774] = 9277 < 9281.
b=1 c=1 u[ 9278]: 8772 8772 8773 8773
Event 7.1. u[ 9286] = 8775 < 8776; v[ 8776] = 9282 < 9286.
b=1 c=1 u[ 9283]: 8774 8774 8775 8775
Event 7.1. u[ 37404] = 34248 < 34249; v[ 34249] = 37400 < 37404.
b=0 c=0 u[ 37401]: 34248 34248 34248 34248
Event 7.1. u[ 46796] = 43480 < 43481; v[ 43481] = 46792 < 46796.
b=0 c=0 u[ 46793]: 43480 43480 43480 43480
Event 7.2. v[ 50106] = 53606 < 53607; u[ 53607] = 50102 < 50106.
b=0 c=0 v[ 50103]: 53606 53606 53606 53606
Event 7.1. u[ 97356] = 90681 < 90682; v[ 90682] = 97352 < 97356.
b=1 c=1 u[ 97353]: 90680 90681 90681 90681
Event 7.1. u[ 189964] = 180824 < 180825; v[ 180825] = 189960 < 189964.
b=0 c=0 u[ 189961]: 180824 180824 180824 180824
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
4165 4125 4210 0 -1 3 3
4166 4125 4213 -1 0 4 2
4167 4125 4213 -2 -1 5 3
4168 4127 4216 0 0 3 2
4169 4127 4216 -1 -1 4 3
4170 4127 4221 -2 2 5 2
4171 4129 4221 0 1 3 3
4172 4129 4221 -1 0 4 4
4173 4129 4221 -2 -1 5 5
4216 4168 4271 0 0 3 3
4217 4168 4271 -1 -1 4 4
4218 4168 4271 -2 -2 5 5
4219 4168 4274 -3 0 6 3
4220 4168 4274 -4 -1 7 4
4221 4170 4277 0 0 5 2
4222 4172 4277 -1 -1 1 3
4223 4172 4280 -2 0 2 2
4224 4174 4280 0 -1 3 3
9253 8762 9714 0 -1 6 4
9254 8762 9714 -1 -2 7 5
9255 8762 9716 -2 0 8 3
9256 8763 9716 -3 -1 6 4
9257 8763 9716 -4 -2 7 5
9258 8764 9718 0 0 5 3
9259 8764 9718 -1 -1 6 4
9260 8764 9718 -2 -2 7 5
9261 8766 9720 1 0 3 3
50102 46760 53606 0 0 4 2
50103 46760 53606 -1 -1 5 3
50104 46762 53606 0 -2 2 4
50105 46762 53606 -1 -3 3 5
50106 46765 53606 0 -4 2 6
50107 46765 53606 -1 -5 3 7
50108 46765 53607 -2 2 4 6
50109 46767 53607 0 1 3 7
50110 46767 53608 -1 0 4 8
50111 46770 53608 0 -1 2 9
50112 46770 53608 -1 -2 3 10
53602 50093 57082 0 -2 2 2
53603 50093 57085 -1 2 3 3
53604 50097 57085 -1 1 2 4
53605 50100 57085 -1 0 1 5
53606 50102 57085 0 -1 2 6
53607 50102 57088 -1 1 3 2
53608 50110 57088 0 0 1 3
53609 50110 57088 -1 -1 2 4
53610 50113 57088 -1 -2 2 5
53611 50113 57090 -2 0 3 3
53612 50119 57092 0 -1 1 1
90688 84475 97370 -2 -1 4 2
90689 84477 97370 0 -2 3 3
90690 84477 97374 -1 -1 4 1
90691 84477 97374 -2 -2 5 2
90692 84479 97379 0 -1 3 2
90693 84479 97379 -1 -2 4 3
90694 84479 97385 -2 -1 5 2
90695 84481 97385 0 -2 3 3
90696 84481 97388 -1 -1 4 1
90697 84481 97388 -2 -2 5 2
90698 84483 97393 0 0 3 2
97379 90691 103993 0 0 5 2
97380 90691 103993 -1 -1 6 3
97381 90691 103996 -2 0 7 2
97382 90692 103996 -3 -1 8 3
97383 90692 103999 -4 0 9 2
97384 90692 103999 -5 -1 10 3
97385 90693 104002 0 -1 6 2
97386 90693 104002 -1 -2 7 3
97387 90695 104004 1 0 2 3
97388 90695 104006 0 -1 3 1
97389 90695 104006 -1 -2 4 2
181845 172834 191040 -1 0 3 5
181846 172837 191040 0 -1 2 6
181847 172837 191040 -1 -2 3 7
181848 172840 191041 0 -3 2 8
181849 172840 191041 -1 -4 3 9
181850 172840 191041 -2 -5 4 10
181851 172843 191042 0 -1 3 6
181852 172843 191042 -1 -2 4 7
181853 172843 191042 -2 -3 5 8
181854 172845 191043 0 -1 3 9
181855 172845 191043 -1 -2 4 10
191037 181835 198758 -1 0 1 3
191038 181835 198758 -2 -1 2 4
191039 181840 198758 -1 -2 2 5
191040 181840 198760 -2 0 3 3
191041 181845 198760 -1 -1 2 4
191042 181845 198760 -2 -2 3 5
191043 181850 198762 -1 0 2 3
191044 181853 198762 -1 -1 2 4
191045 181856 198762 -1 -2 2 5
191046 181860 198762 -1 -3 2 6
191047 181862 198764 -1 0 2 4
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 71928 71928 0 0 -1
-2 39966 38210 0 0 -2
-3 1468 1384 0 0 -3
-4 23 13 0 0 -4
-5 1 2 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
113386 111537 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 383641 0 19 20
0 -79 0 -59 0 -39 0 -19 18731 1 19 21
0 -78 0 -58 0 -38 0 -18 79745 2 19 22
0 -77 0 -57 0 -37 0 -17 73512 3 19 23
0 -76 0 -56 0 -36 0 -16 3428 4 19 24
0 -75 0 -55 0 -35 0 -15 262 5 19 25
0 -74 0 -54 0 -34 0 -14 34 6 19 26
0 -73 0 -53 0 -33 0 -13 21 7 19 27
0 -72 0 -52 0 -32 0 -12 21 8 19 28
0 -71 0 -51 0 -31 0 -11 20 9 19 29
0 -70 0 -50 0 -30 0 -10 20 10 19 30
0 -69 0 -49 0 -29 0 -9 20 11 19 31
0 -68 0 -48 0 -28 0 -8 20 12 19 32
0 -67 0 -47 0 -27 0 -7 20 13 19 33
0 -66 0 -46 0 -26 0 -6 19 14 19 34
0 -65 0 -45 0 -25 3 -5 19 15 19 35
0 -64 0 -44 0 -24 36 -4 19 16 19 36
0 -63 0 -43 0 -23 2852 -3 19 17 19 37
0 -62 0 -42 0 -22 78176 -2 19 18 19 38
0 -61 0 -41 0 -21 143856 -1 19 19 19 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 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | ooo oo
40000 | ooo oo
20000 | ooo oo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 792336. Min thru -81 = 0.
Type = RR|CC1. Minimum = -5. -80 thru -1 = 224923.
Behav = Relaxed. Maximum = 2831. 0 thru 39 = 559989.
histend K = 200000. 40 thru Max = 7424.
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 20 20
0 -79 0 -59 0 -39 0 -19 10948 1 20 21
0 -78 0 -58 0 -38 0 -18 75600 2 20 22
0 -77 0 -57 0 -37 0 -17 140229 3 20 23
0 -76 0 -56 0 -36 0 -16 91149 4 20 24
0 -75 0 -55 0 -35 0 -15 61170 5 20 25
0 -74 0 -54 0 -34 0 -14 4881 6 20 26
0 -73 0 -53 0 -33 0 -13 190 7 20 27
0 -72 0 -52 0 -32 0 -12 78 8 20 28
0 -71 0 -51 0 -31 0 -11 45 9 20 29
0 -70 0 -50 0 -30 0 -10 27 10 20 30
0 -69 0 -49 0 -29 0 -9 21 11 20 31
0 -68 0 -48 0 -28 0 -8 20 12 20 32
0 -67 0 -47 0 -27 0 -7 20 13 20 33
0 -66 0 -46 0 -26 0 -6 20 14 20 34
0 -65 0 -45 0 -25 0 -5 20 15 20 35
0 -64 0 -44 0 -24 0 -4 20 16 20 36
0 -63 0 -43 0 -23 0 -3 20 17 20 37
0 -62 0 -42 0 -22 0 -2 20 18 20 38
0 -61 0 -41 0 -21 0 -1 20 19 20 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | | o
130000 | | o
120000 | | o
110000 | | o
100000 | | o
90000 | | oo
80000 | | oo
70000 | | ooo
60000 | | oooo
50000 | | oooo
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 = 720. Total = 399985. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 7660. 0 thru 39 = 384903.
histend K = 200000. 40 thru Max = 15082.
End analysis of Test T720 at 00:09:44.100 980617
==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 00:09:44.217 980617
End execution of Test T800 at 00:09:44.322 980617
Duration 0.105
Start analysis of Test T800 at 00:09:44.500 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.105 0.105 0.000 0.000 0.000 0.000 0.000 0.000
0.103 0.103 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 299971 299972 299973
39996 399960 399961 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....:....
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
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 799996 0 0 20
0 -79 0 -59 0 -39 0 -19 0 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 | 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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799996. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799996.
histend K = 200000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799996 0 0 20
0 -79 0 -59 0 -39 0 -19 0 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 | 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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799996. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799996.
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 00:10:05.195 980617
==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 00:10:05.304 980617
End execution of Test T820 at 00:10:05.394 980617
Duration 0.090
Start analysis of Test T820 at 00:10:05.591 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.089 0.090 0.000 0.000 0.000 0.000 0.000 0.000
0.088 0.089 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 299971 299972 299973
39996 399960 399961 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....:....
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
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 799995 0 0 20
0 -79 0 -59 0 -39 0 -19 0 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 | 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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799995. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799995.
histend K = 200000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799995 0 0 20
0 -79 0 -59 0 -39 0 -19 0 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 | 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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799995. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799995.
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 T820 at 00:10:28.324 980617
==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: 00:10:28.324 980617
ARCHTEST. Version 5.4. 980526. 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.
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.109 0.254 T100 1 0
0.216 0.239 T120 0 1
0.257 0.708 T200 2 0
0.259 0.710 T210 1 1
0.329 0.680 T220 0 2
0.070 1.173 T400.1 -9 2 0
T400.2 2 0
0.080 1.139 T410.1 -7 1 1
T410.2 1 1
0.088 1.174 T420.1 -6 0 2
T420.2 0 2
0.094 1.156 T700.1 -5 2 0
T700.2 2 0
0.093 1.166 T710.1 -5 1 1
T710.2 1 1
0.101 1.166 T720.1 -5 0 2
T720.2 0 2
0.105 20.695 T800 1 0
0.090 22.733 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
Last updated April 20, 2000.