ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
09:55:32.752 980422
Parameters initialized from file: eeserv.
This data was generated by ARCHTEST on a 2-way SUN Sparc 20
running Solaris 2.4. ARCHTEST was compiled using Version 2.7.0
of the GNU compiler.
The test was conducted under the auspices of Neil Sobrado,
Systems Administrator (sobrad22@eelab.newpaltz.edu), and
Dr. Owen B. Hill, Chair, Department of Electrical Engineering,
SUNY New Paltz.
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Perform a real multiprocessor test.
2. Execute the mp test code serially and with only one thread.
3. Generate test data with relaxed events.
4. Generate test data without relaxed events.
5. Process output from simulation. Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]: 2
Define logical length of arrays (max=500000) [200000]: 200000
The following tests can be run:
100 200 300 400 500 600 700 800 900 1000 1100 1200
210 310 410 510 610 710 1010 1110 1210
120 220 320 420 520 620 720 820 920 1020 1120 1220
1030
Specify which tests to run [all]:
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test.
Output file name: a0000000.out.
Number of threads: 2.
Length of the arrays: 200000.
Test(s) to run: all.
Select other options? (y,n,?)[n]
==sss========================================================================
Test T100. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T100 at 09:55:55.755 980422
End execution of Test T100 at 09:55:56.102 980422
Duration 0.347
Start analysis of Test T100 at 09:55:56.103 980422
Thread start, stop, and dur times.
0.048 0.048 0.000 0.000 0.000 0.000 0.000 0.000
0.346 0.190 0.000 0.000 0.000 0.000 0.000 0.000
0.298 0.142 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 14675 0 0 0
19998 25131 0 0 0
29997 37328 0 0 0
39996 49570 0 0 0
49995 60725 0 0 0
59994 71784 0 0 0
69993 83881 0 0 0
79992 95354 0 0 0
89991 121377 0 0 0
99990 132723 0 0 0
109989 145557 0 0 0
119988 157725 0 0 0
129987 171234 0 0 0
139986 183528 0 0 0
149985 195711 0 0 0
159984 205480 0 0 0
169983 205480 0 0 0
179982 205480 0 0 0
189981 205480 0 0 0
199980 205480 0 0 0
dim = 80, max = 205481, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
11
1
1
1
1
1
1
111
1
1
1
1
1
11
1
1
1
1
1
1111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 122542 0
1 2450 28770
2 65099 42204
3 9203 5750
4 652 116
5 9 584
6 11 2
7 1 0
8 1 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 30 30
End analysis of Test T100 at 09:55:56.729 980422
==sss========================================================================
Test T120. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T120 at 09:55:57.014 980422
End execution of Test T120 at 09:55:57.332 980422
Duration 0.318
Start analysis of Test T120 at 09:55:57.470 980422
Thread start, stop, and dur times.
0.010 0.010 0.000 0.000 0.000 0.000 0.000 0.000
0.317 0.126 0.000 0.000 0.000 0.000 0.000 0.000
0.307 0.116 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 111 0 0 0
9999 8970 0 0 0
19998 19448 0 0 0
29997 22166 0 0 0
39996 31997 0 0 0
49995 42485 0 0 0
59994 52297 0 0 0
69993 62795 0 0 0
79992 67575 0 0 0
89991 76299 0 0 0
99990 78978 0 0 0
109989 89497 0 0 0
119988 98393 0 0 0
129987 108690 0 0 0
139986 119129 0 0 0
149985 129612 0 0 0
159984 129795 0 0 0
169983 129795 0 0 0
179982 129795 0 0 0
189981 129795 0 0 0
199980 129795 0 0 0
dim = 80, max = 129796, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1111
11
1
1
111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1111
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 135263 0
1 6256 12191
2 56827 51334
3 1571 1090
4 32 18
5 19 78
6 4 1
7 3 2
8 0 0
9 1 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 22 21
End analysis of Test T120 at 09:55:58.027 980422
==sss========================================================================
Test T200. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T200 at 09:55:58.289 980422
line3
End execution of Test T200 at 09:55:58.734 980422
Duration 0.445
Start analysis of Test T200 at 09:55:58.735 980422
Thread start, stop, and dur times.
0.026 0.026 0.000 0.000 0.000 0.000 0.000 0.000
0.444 0.372 0.000 0.000 0.000 0.000 0.000 0.000
0.418 0.346 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 31745 31745 0 0
19998 78207 78208 0 0
29997 109250 109250 0 0
39996 138691 138692 0 0
49995 204114 204115 0 0
59994 227364 227364 0 0
69993 254559 254560 0 0
79992 282064 282065 0 0
89991 310752 310753 0 0
99990 323742 323742 0 0
109989 323742 323742 0 0
119988 323742 323742 0 0
129987 323742 323742 0 0
139986 323742 323742 0 0
149985 323742 323742 0 0
159984 342794 342795 0 0
169983 370013 370014 0 0
179982 395053 395054 0 0
189981 419199 419200 0 0
199980 486001 486001 0 0
dim = 80, max = 486157, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
33
3
3
3
3
3
3
3
3
3
33
33333333333333333333333
3
3
3
3
3
33
3
3
33
3
3
3
33
3
33
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 156663 0
1 1682 243167
2 29584 33
3 182979 5
4 25604 2
5 2871 0
6 351 0
7 130 0
8 22 0
9 4 0
10 0 0
11 2 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 104 126
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 235004 0 0 20
0 -79 0 -59 0 -39 0 -19 103021 1 0 21
0 -78 0 -58 0 -38 0 -18 229691 2 0 22
0 -77 0 -57 0 -37 0 -17 200642 3 0 23
0 -76 0 -56 0 -36 0 -16 27724 4 0 24
0 -75 0 -55 0 -35 0 -15 3198 5 0 25
0 -74 0 -54 0 -34 0 -14 394 6 0 26
0 -73 0 -53 0 -33 0 -13 133 7 0 27
0 -72 0 -52 0 -32 0 -12 23 8 0 28
0 -71 0 -51 0 -31 0 -11 4 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 2 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 | |
260000 | |
240000 | |
220000 | o o
200000 | o oo
180000 | o oo
160000 | o oo
140000 | o oo
120000 | o oo
100000 | oooo
80000 | oooo
60000 | oooo
40000 | oooo
20000 | ooooo
0 |_________._________._________.ooooooooo.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 = 40975. 0 thru 39 = 799836.
histend K = 200000. 40 thru Max = 156.
End analysis of Test T200 at 09:56:00.440 980422
==sss========================================================================
Test T210. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T210 at 09:56:00.706 980422
End execution of Test T210 at 09:56:01.367 980422
Duration 0.661
Start analysis of Test T210 at 09:56:01.444 980422
Thread start, stop, and dur times.
0.204 0.204 0.000 0.000 0.000 0.000 0.000 0.000
0.660 0.533 0.000 0.000 0.000 0.000 0.000 0.000
0.456 0.329 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 10 0 0
9999 14350 14350 0 0
19998 14350 14350 0 0
29997 14350 14350 0 0
39996 41229 41230 0 0
49995 58641 58642 0 0
59994 78495 78495 0 0
69993 104239 104240 0 0
79992 127023 127023 0 0
89991 151465 151466 0 0
99990 176724 176725 0 0
109989 202596 202596 0 0
119988 230928 230929 0 0
129987 255171 255171 0 0
139986 280859 280859 0 0
149985 307037 307037 0 0
159984 332927 332928 0 0
169983 358758 358759 0 0
179982 384710 384711 0 0
189981 411903 411904 0 0
199980 437812 437813 0 0
dim = 80, max = 437864, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
33
3
3
3
3
3
33333333333
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 72890 0
1 22782 326913
2 101906 107
3 184246 2
4 16783 2
5 1239 2
6 62 1
7 21 1
8 2 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 1 0
17 0 0
18 0 0
19 0 0
over 64 78
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 109342 0 0 20
0 -79 0 -59 0 -39 0 -19 141306 1 0 21
0 -78 0 -58 0 -38 0 -18 332100 2 0 22
0 -77 0 -57 0 -37 0 -17 195790 3 0 23
0 -76 0 -56 0 -36 0 -16 19960 4 0 24
0 -75 0 -55 0 -35 0 -15 1287 5 0 25
0 -74 0 -54 0 -34 0 -14 83 6 0 26
0 -73 0 -53 0 -33 0 -13 22 7 0 27
0 -72 0 -52 0 -32 0 -12 4 8 0 28
0 -71 0 -51 0 -31 0 -11 1 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 2 33
0 -66 0 -46 0 -26 0 -6 0 14 3 34
0 -65 0 -45 0 -25 0 -5 0 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 1 37
0 -62 0 -42 0 -22 0 -2 0 18 2 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | | o
300000 | | o
280000 | | o
260000 | | o
240000 | | o
220000 | | o
200000 | | o
180000 | | oo
160000 | | oo
140000 | |ooo
120000 | |ooo
100000 | oooo
80000 | oooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________._________.ooooooooo._____o___._________.__ooo_oo_
-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 = 1768. 0 thru 39 = 799905.
histend K = 200000. 40 thru Max = 87.
End analysis of Test T210 at 09:56:03.087 980422
==sss========================================================================
Test T220. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T220 at 09:56:03.338 980422
End execution of Test T220 at 09:56:03.860 980422
Duration 0.522
Start analysis of Test T220 at 09:56:03.992 980422
Thread start, stop, and dur times.
0.082 0.082 0.000 0.000 0.000 0.000 0.000 0.000
0.521 0.429 0.000 0.000 0.000 0.000 0.000 0.000
0.439 0.347 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 21613 21614 0 0
19998 47540 47541 0 0
29997 67722 67722 0 0
39996 75815 75815 0 0
49995 94354 94354 0 0
59994 110791 110792 0 0
69993 134662 134662 0 0
79992 181142 181142 0 0
89991 206859 206860 0 0
99990 227535 227535 0 0
109989 245211 245210 0 0
119988 268524 268524 0 0
129987 294155 294155 0 0
139986 320398 320400 0 0
149985 346488 346489 0 0
159984 372314 372314 0 0
169983 397740 397741 0 0
179982 424017 424018 0 0
189981 450324 450325 0 0
199980 468852 468853 0 0
dim = 80, max = 468903, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
33
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
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
333
3
3
3333
33
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 62863 0
1 23267 336935
2 102565 94
3 194363 2
4 15609 0
5 1206 2
6 55 2
7 5 0
8 0 2
9 1 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 62 96
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 94304 0 0 20
0 -79 0 -59 0 -39 0 -19 136684 1 0 21
0 -78 0 -58 0 -38 0 -18 343824 2 0 22
0 -77 0 -57 0 -37 0 -17 205574 3 0 23
0 -76 0 -56 0 -36 0 -16 18187 4 0 24
0 -75 0 -55 0 -35 0 -15 1259 5 0 25
0 -74 0 -54 0 -34 0 -14 61 6 0 26
0 -73 0 -53 0 -33 0 -13 5 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 1 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 1 31
0 -68 0 -48 0 -28 0 -8 0 12 2 32
0 -67 0 -47 0 -27 0 -7 0 13 2 33
0 -66 0 -46 0 -26 0 -6 0 14 1 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 3 36
0 -63 0 -43 0 -23 0 -3 0 17 2 37
0 -62 0 -42 0 -22 0 -2 0 18 3 38
0 -61 0 -41 0 -21 0 -1 0 19 3 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | | o
320000 | | o
300000 | | o
280000 | | o
260000 | | o
240000 | | o
220000 | | o
200000 | | oo
180000 | | oo
160000 | | oo
140000 | | oo
120000 | |ooo
100000 | |ooo
80000 | oooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________._________.ooooooo_o._________._________.oooo_oooo
-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 = 23781. 0 thru 39 = 799916.
histend K = 200000. 40 thru Max = 76.
End analysis of Test T220 at 09:56:05.648 980422
==sss========================================================================
The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================
Test T400. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T400 at 09:56:05.918 980422
End execution of Test T400 at 09:56:06.141 980422
Duration 0.223
Start analysis of Test T400 at 09:56:06.158 980422
Thread start, stop, and dur times.
0.031 0.031 0.000 0.000 0.000 0.000 0.000 0.000
0.222 0.222 0.000 0.000 0.000 0.000 0.000 0.000
0.191 0.191 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 406 0 0 0
9999 10007 9989 0 0
19998 20167 19839 0 0
29997 30364 29638 0 0
39996 40570 39422 0 0
49995 50735 49266 0 0
59994 60959 59048 0 0
69993 70638 69367 0 0
79992 80808 79190 0 0
89991 90974 89036 0 0
99990 101551 98444 0 0
109989 111448 108565 0 0
119988 121712 118338 0 0
129987 131727 128293 0 0
139986 141655 138334 0 0
149985 151870 148162 0 0
159984 160625 159349 0 0
169983 170024 169231 0 0
179982 178907 181033 0 0
189981 189200 190757 0 0
199980 199368 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
23
21
21
21
21
21
21
21
21
21
21
11
12
12
12
12
12
1
1 2
1 2
122
1
122
12
12
12
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
2
32
3
3
3
3
3
3
3
3
3
3
3
1
12
12
12
12
12
12
12
12
12
12
12
32
3
3
3
3
3
3
3
3
3
3
1
12
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 165231 0
1 117421 112666
2 82443 95321
3 31077 20775
4 3338 4372
5 333 1396
6 74 148
7 26 36
8 10 14
9 9 4
10 1 2
11 2 1
12 2 1
13 1 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 28 29
d = -13.
Event 4.1. u[ 4223] = 4424 < 4425; v[ 4425] = 4210 < 4223.
b=2 c=2 u[ 4211]: 4422 4423 4423 4423 4423 4423 4424
4424 4424 4424 4424 4424 4424
Event 4.1. u[ 4228] = 4425 < 4426; v[ 4426] = 4215 < 4228.
b=2 c=2 u[ 4216]: 4423 4424 4424 4424 4424 4424 4424
4424 4425 4425 4425 4425 4425
Event 4.1. u[ 4260] = 4432 < 4433; v[ 4433] = 4247 < 4260.
b=1 c=1 u[ 4248]: 4431 4431 4431 4431 4431 4431 4431
4432 4432 4432 4432 4432 4432
d = -12.
Event 4.1. u[ 4216] = 4423 < 4424; v[ 4424] = 4204 < 4216.
b=2 c=2 u[ 4205]: 4421 4421 4422 4422 4422 4422 4422
4423 4423 4423 4423 4423
Event 4.1. u[ 4222] = 4424 < 4425; v[ 4425] = 4210 < 4222.
b=2 c=2 u[ 4211]: 4422 4423 4423 4423 4423 4423 4424
4424 4424 4424 4424 4424
Event 4.1. u[ 4227] = 4425 < 4426; v[ 4426] = 4215 < 4227.
b=2 c=2 u[ 4216]: 4423 4424 4424 4424 4424 4424 4424
4424 4425 4425 4425 4425
Event 4.1. u[ 4259] = 4432 < 4433; v[ 4433] = 4247 < 4259.
b=1 c=1 u[ 4248]: 4431 4431 4431 4431 4431 4431 4431
4432 4432 4432 4432 4432
Event 4.1. u[ 4285] = 4438 < 4439; v[ 4439] = 4273 < 4285.
b=2 c=2 u[ 4274]: 4436 4437 4437 4437 4437 4437 4438
4438 4438 4438 4438 4438
Event 4.1. u[ 107655] = 109214 < 109215; v[ 109215] = 107643 < 107655.
b=2 c=2 u[ 107644]: 109212 109212 109213 109213 109214 109214 109214
109214 109214 109214 109214 109214
Event 4.1. u[ 107719] = 109227 < 109228; v[ 109228] = 107707 < 107719.
b=2 c=2 u[ 107708]: 109225 109225 109226 109226 109227 109227 109227
109227 109227 109227 109227 109227
d = -11.
Event 4.1. u[ 4168] = 4410 < 4411; v[ 4411] = 4157 < 4168.
b=2 c=2 u[ 4158]: 4408 4408 4409 4409 4409 4409 4409
4410 4410 4410 4410
Event 4.1. u[ 4198] = 4418 < 4419; v[ 4419] = 4187 < 4198.
b=2 c=2 u[ 4188]: 4416 4416 4417 4417 4417 4417 4418
4418 4418 4418 4418
Event 4.1. u[ 4215] = 4423 < 4424; v[ 4424] = 4204 < 4215.
b=2 c=2 u[ 4205]: 4421 4421 4422 4422 4422 4422 4422
4423 4423 4423 4423
Event 4.1. u[ 4221] = 4424 < 4425; v[ 4425] = 4210 < 4221.
b=2 c=2 u[ 4211]: 4422 4423 4423 4423 4423 4423 4424
4424 4424 4424 4424
Event 4.1. u[ 182813] = 181760 < 181761; v[ 181761] = 182802 < 182813.
b=3 c=3 u[ 182803]: 181757 181758 181758 181758 181759 181759 181759
181760 181760 181760 181760
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
4157 4408 3905 -2 -3 5 5
4158 4408 3906 -3 -3 6 6
4159 4408 3906 -4 -4 7 7
4160 4409 3907 -5 -2 7 6
4161 4409 3907 -6 -3 8 7
4162 4409 3910 -7 -2 9 3
4163 4409 3910 -8 -3 10 4
4164 4409 3911 -9 -1 11 4
4165 4410 3913 -8 -1 10 2
4166 4410 3913 -9 -2 11 3
4167 4410 3914 -10 0 12 4
4168 4410 3914 -11 -1 13 5
4169 4411 3916 -7 -1 14 2
4170 4411 3917 -8 -1 15 2
4171 4411 3919 -9 -1 16 2
4172 4411 3919 -10 -2 17 3
4173 4412 3919 -5 -3 16 4
4174 4412 3920 -6 -1 17 5
4175 4413 3922 -5 -2 13 2
4176 4413 3922 -6 -3 14 3
4177 4413 3924 -7 -1 15 4
4178 4413 3925 -8 -2 16 3
4179 4413 3925 -9 -3 17 4
4187 4416 3933 -7 -3 14 3
4188 4416 3934 -8 -3 15 4
4189 4416 3934 -9 -4 16 5
4190 4417 3936 -7 -2 12 5
4191 4417 3938 -8 -2 13 3
4192 4417 3938 -9 -3 14 4
4193 4417 3938 -10 -4 15 5
4194 4418 3939 -7 -5 14 6
4195 4418 3941 -8 -3 15 6
4196 4418 3943 -9 -2 16 4
4197 4418 3944 -10 -3 17 5
4198 4418 3946 -11 -3 18 4
4199 4419 3946 -7 -4 16 5
4200 4419 3946 -8 -5 17 6
4201 4419 3947 -9 -5 18 6
4202 4420 3949 -5 -3 15 6
4203 4420 3949 -6 -4 16 7
4204 4421 3951 -2 -2 12 5
4205 4421 3953 -3 -2 13 3
4206 4421 3954 -4 -3 14 4
4207 4422 3954 -5 -4 10 5
4208 4422 3955 -6 -3 11 5
4209 4422 3955 -7 -4 12 6
4210 4422 3956 -8 -4 13 7
4211 4422 3959 -9 -3 14 3
4212 4423 3959 -8 -4 10 4
4213 4423 3961 -9 -2 11 5
4214 4423 3963 -10 0 12 3
4215 4423 3963 -11 -1 13 4
4216 4423 3964 -12 -1 14 5
4217 4424 3964 -7 -2 15 6
4218 4424 3966 -8 -2 16 3
4219 4424 3966 -9 -3 17 4
4220 4424 3967 -10 -1 18 4
4221 4424 3969 -11 -1 19 2
4222 4424 3969 -12 -2 20 3
4223 4424 3970 -13 0 21 4
4224 4425 3970 -9 -1 20 5
4225 4425 3972 -10 -1 21 2
4226 4425 3973 -11 -1 22 2
4227 4425 3975 -12 -1 23 2
4228 4425 3975 -13 -2 24 3
4229 4426 3975 -7 -3 19 4
4230 4426 3976 -8 -1 20 5
4231 4426 3978 -9 -2 21 2
4232 4426 3978 -10 -3 22 3
4233 4426 3980 -11 -1 23 4
4234 4427 3981 -8 -2 19 3
4235 4427 3981 -9 -3 20 4
4236 4427 3982 -10 -2 21 4
4237 4427 3982 -11 -3 22 5
4238 4428 3983 -5 -3 16 6
4239 4428 3985 -6 -2 17 4
4240 4428 3985 -7 -3 18 5
4241 4428 3986 -8 -3 19 4
4247 4431 3992 0 -2 9 6
4248 4431 3993 -1 -2 10 6
4249 4431 3993 -2 -3 11 7
4250 4431 3995 -3 -2 12 4
4251 4431 3995 -4 -3 13 5
4252 4431 3996 -5 -1 14 4
4253 4431 3998 -6 -1 15 2
4254 4431 3998 -7 -2 16 3
4255 4432 3999 -8 -2 12 4
4256 4432 4001 -9 -2 13 3
4257 4432 4001 -10 -3 14 4
4258 4432 4003 -11 -2 15 4
4259 4432 4003 -12 -3 16 5
4260 4432 4004 -13 -1 17 4
4261 4433 4006 -6 -1 14 2
4262 4433 4006 -7 -2 15 3
4263 4434 4007 -5 -1 16 4
4264 4434 4009 -6 -1 17 2
4265 4434 4009 -7 -2 18 3
4266 4434 4011 -8 -2 19 3
4267 4434 4012 -9 -2 20 3
4268 4434 4013 -10 -3 21 4
4269 4434 4013 -11 -4 22 5
4270 4436 4014 -4 -4 12 5
4271 4436 4017 -5 -3 13 3
4272 4436 4017 -6 -4 14 4
4273 4436 4018 -7 -4 15 5
4274 4436 4020 -8 -3 16 5
4275 4437 4020 -4 -4 15 6
4276 4437 4022 -5 -2 16 5
4277 4437 4023 -6 -3 17 5
4278 4437 4025 -7 -3 18 4
4279 4437 4025 -8 -4 19 5
4280 4438 4027 -7 0 14 5
4281 4438 4027 -8 -1 15 6
4282 4438 4027 -9 -2 16 7
4283 4438 4030 -10 -2 17 3
4284 4438 4030 -11 -3 18 4
4285 4438 4031 -12 -2 19 5
4286 4439 4034 -7 -2 15 3
4287 4439 4034 -8 -3 16 4
4288 4439 4034 -9 -4 17 5
4289 4439 4034 -10 -5 18 6
4290 4439 4034 -11 -6 19 7
4291 4440 4038 -7 -2 18 3
4292 4440 4038 -8 -3 19 4
4293 4440 4039 -9 -2 20 5
4294 4440 4040 -10 -3 21 5
4295 4440 4040 -11 -4 22 6
4296 4441 4041 -7 -4 17 5
4297 4442 4042 -3 -3 13 6
4400 4550 4144 -2 -3 3 5
4401 4550 4144 -3 -4 4 6
4402 4551 4145 -2 -4 5 5
4403 4552 4146 -3 -3 5 6
4404 4552 4149 -4 -1 6 4
4405 4554 4150 -3 -2 5 5
4406 4555 4152 -4 -2 4 3
4407 4555 4152 -5 -3 5 4
4408 4558 4153 -1 -3 5 4
4409 4558 4155 -2 -3 6 4
4410 4559 4155 -2 -4 6 5
4411 4559 4157 -3 -3 7 5
4412 4561 4162 -1 -3 4 3
4413 4562 4168 -1 -2 2 3
4414 4564 4170 -1 -3 2 3
4415 4564 4173 -2 -3 3 4
4416 4565 4178 -1 -3 4 3
4417 4567 4180 -1 -2 2 4
4418 4567 4183 -2 -3 3 3
4419 4568 4187 -1 -3 4 3
4420 4568 4192 -2 -3 5 3
4421 4568 4197 -3 -3 6 3
4422 4570 4202 -2 -2 4 3
4423 4571 4202 -2 -3 3 4
4424 4573 4204 -2 -3 3 4
4425 4574 4210 -3 -3 4 3
4426 4576 4215 -3 -3 4 3
4427 4576 4222 -4 -3 5 3
4428 4576 4226 -5 -3 6 3
4429 4577 4233 -5 -2 6 3
4430 4580 4238 -1 -2 4 3
4431 4580 4243 -2 -2 5 3
4432 4582 4247 -1 -1 3 1
4433 4583 4247 -1 -2 2 2
4434 4584 4255 -2 -2 3 3
4435 4584 4258 -3 -3 4 3
4436 4586 4260 -2 -3 4 4
4437 4588 4266 -3 -3 3 3
4438 4588 4271 -4 -2 4 2
4439 4589 4273 -3 -3 5 3
4440 4589 4279 -4 -2 6 3
4441 4590 4284 -4 -3 7 3
4442 4592 4289 -3 -3 5 3
4443 4592 4294 -4 -3 6 3
4444 4592 4295 -5 -3 7 4
4445 4592 4295 -6 -4 8 5
4446 4593 4297 -6 -2 7 5
4447 4595 4298 -3 -3 7 5
4448 4595 4298 -4 -4 8 6
4449 4595 4300 -5 -1 9 5
4450 4596 4301 -5 -2 6 3
4451 4598 4301 -3 -3 6 4
107643 109212 106019 -2 -3 11 5
107644 109212 106021 -3 -2 12 4
107645 109212 106022 -4 -3 13 5
107646 109213 106024 -3 -3 12 4
107647 109213 106024 -4 -4 13 5
107648 109214 106025 -5 -4 7 5
107649 109214 106026 -6 -3 8 6
107650 109214 106026 -7 -4 9 7
107651 109214 106028 -8 -3 10 5
107652 109214 106029 -9 -4 11 6
107653 109214 106029 -10 -5 12 7
107654 109214 106032 -11 -1 13 5
107655 109214 106034 -12 0 14 2
107656 109216 106034 -2 -1 13 3
107657 109216 106034 -3 -2 14 4
107658 109216 106034 -4 -3 15 5
107659 109216 106035 -5 -4 16 6
107660 109216 106038 -6 -1 17 4
107661 109216 106038 -7 -2 18 5
107662 109216 106039 -8 -2 19 6
107663 109216 106039 -9 -3 20 7
107664 109216 106040 -10 -2 21 5
107665 109216 106041 -11 -3 22 5
107666 109217 106041 -5 -4 21 6
107667 109217 106044 -6 -3 22 4
107707 109225 106085 -2 -3 11 4
107708 109225 106086 -3 -3 12 4
107709 109225 106088 -4 -2 13 4
107710 109226 106088 -3 -3 11 5
107711 109226 106089 -4 -3 12 4
107712 109227 106090 -5 -3 7 5
107713 109227 106090 -6 -4 8 6
107714 109227 106090 -7 -5 9 7
107715 109227 106094 -8 -2 10 3
107716 109227 106094 -9 -3 11 4
107717 109227 106094 -10 -4 12 5
107718 109227 106095 -11 -2 13 6
107719 109227 106098 -12 -2 14 3
107720 109229 106098 -2 -3 13 4
107721 109229 106098 -3 -4 14 5
107722 109229 106098 -4 -5 15 6
107723 109229 106100 -5 -3 16 6
107724 109229 106101 -6 -4 17 4
107725 109229 106101 -7 -5 18 5
107726 109229 106104 -8 -1 19 5
107727 109229 106105 -9 -2 20 5
107728 109229 106105 -10 -3 21 6
107729 109229 106108 -11 2 22 2
107730 109230 106108 -5 1 21 3
107731 109230 106108 -6 0 22 4
109203 110628 107602 -4 -1 7 2
109204 110630 107606 -3 0 5 1
109205 110630 107609 -4 -1 6 1
109206 110632 107615 -2 -1 5 2
109207 110632 107618 -3 -1 6 1
109208 110632 107618 -4 -2 7 2
109209 110633 107618 -5 -3 7 3
109210 110634 107625 -4 -2 6 3
109211 110637 107632 -1 0 4 1
109212 110637 107634 -2 -1 5 1
109213 110637 107641 -3 -1 6 1
109214 110640 107643 -1 -2 4 2
109215 110640 107643 -2 -3 5 3
109216 110640 107645 -3 -3 6 4
109217 110640 107654 -4 -3 7 3
109218 110641 107661 -5 -2 8 2
109219 110642 107670 -4 -1 6 2
109220 110646 107676 -2 -1 4 1
109221 110647 107678 -2 -1 3 2
109222 110648 107686 -3 0 4 1
109223 110648 107690 -4 -1 5 1
109224 110651 107696 -1 -1 2 1
109225 110651 107699 -2 -1 3 2
109226 110652 107705 -1 -1 4 1
109227 110655 107707 -1 -2 2 2
109228 110656 107707 0 -3 2 3
109229 110656 107709 -1 -3 3 4
109230 110657 107718 -1 -3 4 3
109231 110657 107725 -2 -2 5 2
109232 110658 107734 -2 -1 4 2
109233 110660 107742 -2 0 3 1
109234 110660 107742 -3 -1 4 2
109235 110661 107746 -2 -2 5 2
109236 110664 107752 -2 -2 3 2
109237 110664 107757 -3 -2 4 3
109238 110664 107762 -4 -2 5 3
109239 110665 107775 -5 0 5 1
109240 110668 107778 -2 -1 2 1
181750 180701 182784 -2 -4 3 6
181751 180702 182785 -3 -4 4 7
181752 180704 182786 -3 -3 4 6
181753 180704 182786 -4 -4 5 7
181754 180704 182793 -5 -1 6 2
181755 180705 182794 -5 0 6 2
181756 180709 182794 -2 -1 3 3
181757 180715 182800 -1 -1 2 2
181758 180721 182802 -1 -1 2 2
181759 180725 182802 0 -2 0 3
181760 180728 182802 -1 -3 1 4
181761 180735 182802 0 -4 1 5
181762 180738 182810 -1 -2 1 3
181763 180738 182814 -2 -2 2 3
181764 180745 182818 -1 -1 2 2
181765 180750 182818 0 -2 1 3
181766 180750 182822 -1 -2 2 3
181767 180755 182826 -1 -2 2 3
181768 180761 182831 0 -1 1 1
181769 180761 182834 -1 -2 2 2
181770 180766 182840 -1 -1 2 2
181771 180770 182842 -1 -1 1 2
181772 180770 182842 -2 -2 2 3
182802 181757 183885 0 -2 8 3
182803 181757 183886 -1 -3 9 4
182804 181758 183888 -2 -3 4 4
182805 181758 183888 -3 -4 5 5
182806 181758 183888 -4 -5 6 6
182807 181759 183889 -5 -5 5 6
182808 181759 183890 -6 -3 6 7
182809 181759 183890 -7 -4 7 8
182810 181760 183892 -8 -3 8 5
182811 181760 183892 -9 -4 9 6
182812 181760 183894 -10 -2 10 5
182813 181760 183895 -11 -3 11 5
182814 181761 183895 -4 -4 12 6
182815 181761 183896 -5 -4 13 5
182816 181762 183898 -2 -3 14 5
182817 181762 183898 -3 -4 15 6
182818 181762 183898 -4 -5 16 7
182819 181763 183899 -1 -5 9 6
182820 181763 183902 -2 -1 10 4
182821 181763 183902 -3 -2 11 5
182822 181764 183903 -4 -2 8 6
182823 181764 183903 -5 -3 9 7
182824 181764 183904 -6 -2 10 5
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 23613 23613 0 0 -1
-2 46531 50519 0 0 -2
-3 58231 57725 0 0 -3
-4 45708 45105 0 0 -4
-5 13735 13060 0 0 -5
-6 1699 1458 0 0 -6
-7 162 218 0 0 -7
-8 88 25 0 0 -8
-9 52 4 0 0 -9
-10 26 0 0 0 -10
-11 17 0 0 0 -11
-12 7 0 0 0 -12
-13 3 0 0 0 -13
-14 0 0 0 0 -14
Totals / Min / Under -25:
189872 191727 0 0
13 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 172915 0 29 20
0 -79 0 -59 0 -39 0 -19 118969 1 29 21
0 -78 0 -58 0 -38 0 -18 82995 2 29 22
0 -77 0 -57 0 -37 0 -17 31204 3 29 23
0 -76 0 -56 0 -36 0 -16 3404 4 29 24
0 -75 0 -55 0 -35 0 -15 378 5 29 25
0 -74 0 -54 0 -34 0 -14 105 6 29 26
0 -73 0 -53 0 -33 3 -13 56 7 29 27
0 -72 0 -52 0 -32 7 -12 40 8 29 28
0 -71 0 -51 0 -31 17 -11 39 9 29 29
0 -70 0 -50 0 -30 26 -10 30 10 29 30
0 -69 0 -49 0 -29 56 -9 31 11 29 31
0 -68 0 -48 0 -28 113 -8 31 12 29 32
0 -67 0 -47 0 -27 380 -7 30 13 29 33
0 -66 0 -46 0 -26 3157 -6 29 14 29 34
0 -65 0 -45 0 -25 26795 -5 29 15 29 35
0 -64 0 -44 0 -24 90813 -4 29 16 29 36
0 -63 0 -43 0 -23 115956 -3 29 17 29 37
0 -62 0 -42 0 -22 97050 -2 29 18 29 38
0 -61 0 -41 0 -21 47226 -1 29 19 29 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | o
160000 | o
150000 | o
140000 | o
130000 | o
120000 | o
110000 | o oo
100000 | o oo
90000 | ooo oo
80000 | ooo ooo
70000 | ooo ooo
60000 | ooo ooo
50000 | ooo ooo
40000 | ooooooo
30000 | oooooooo
20000 | ooooooooo
10000 | ooooooooo
0 |_________.______ooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 799384. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -13. -80 thru -1 = 381599.
Behav = Relaxed. Maximum = 1929. 0 thru 39 = 410981.
histend K = 200000. 40 thru Max = 6804.
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 28 0 38 20
0 -79 0 -59 0 -39 0 -19 1549 1 40 21
0 -78 0 -58 0 -38 0 -18 17767 2 38 22
0 -77 0 -57 0 -37 0 -17 56427 3 33 23
0 -76 0 -56 0 -36 0 -16 92168 4 32 24
0 -75 0 -55 0 -35 0 -15 115526 5 29 25
0 -74 0 -54 0 -34 0 -14 71028 6 29 26
0 -73 0 -53 0 -33 0 -13 28709 7 29 27
0 -72 0 -52 0 -32 0 -12 6465 8 29 28
0 -71 0 -51 0 -31 0 -11 998 9 29 29
0 -70 0 -50 0 -30 0 -10 246 10 29 30
0 -69 0 -49 0 -29 0 -9 190 11 29 31
0 -68 0 -48 0 -28 0 -8 154 12 29 32
0 -67 0 -47 0 -27 0 -7 142 13 29 33
0 -66 0 -46 0 -26 0 -6 125 14 29 34
0 -65 0 -45 0 -25 0 -5 97 15 29 35
0 -64 0 -44 0 -24 0 -4 81 16 29 36
0 -63 0 -43 0 -23 0 -3 55 17 29 37
0 -62 0 -42 0 -22 0 -2 45 18 29 38
0 -61 0 -41 0 -21 0 -1 45 19 29 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | |
110000 | | o
100000 | | o
90000 | | oo
80000 | | oo
70000 | | ooo
60000 | | ooo
50000 | | oooo
40000 | | oooo
30000 | | oooo
20000 | | ooooo
10000 | | oooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399594. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1934. 0 thru 39 = 392461.
histend K = 200000. 40 thru Max = 7133.
End analysis of Test T400 at 09:56:09.065 980422
==sss========================================================================
Test T410. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T410 at 09:56:09.313 980422
End execution of Test T410 at 09:56:09.698 980422
Duration 0.385
Start analysis of Test T410 at 09:56:09.776 980422
Thread start, stop, and dur times.
0.197 0.197 0.000 0.000 0.000 0.000 0.000 0.000
0.355 0.384 0.000 0.000 0.000 0.000 0.000 0.000
0.158 0.187 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 16 0 0
9999 8140 12178 0 0
19998 16240 24568 0 0
29997 24701 35605 0 0
39996 33890 84052 0 0
49995 38851 95311 0 0
59994 38851 106766 0 0
69993 38851 118304 0 0
79992 38851 130070 0 0
89991 45372 141464 0 0
99990 54122 153002 0 0
109989 62815 164571 0 0
119988 71456 176007 0 0
129987 79917 187708 0 0
139986 88706 198779 0 0
149985 97472 199999 0 0
159984 106184 199999 0 0
169983 114590 199999 0 0
179982 123514 199999 0 0
189981 131970 199999 0 0
199980 140962 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222222222222222222222
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
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 11
1
2 1
2 1
2 1
2 1
2 1
2 11
1
2 1
2 1
1
1
1
11
1
1
1
1
1
1
11
1
1
1
1
2 1
2 1
2 1111111111111111
2 1
2 1
2 1
2 1
11
2 1
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 229884 0
1 65679 74129
2 81359 67808
3 19164 22948
4 3590 3169
5 223 1701
6 49 273
7 14 50
8 13 14
9 4 3
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 17 17
d = -11.
Event 4.1. u[ 163869] = 109434 < 109435; v[ 109435] = 163858 < 163869.
b=1 c=1 u[ 163859]: 109433 109433 109433 109433 109433 109433 109434
109434 109434 109434 109434
d = -10.
Event 4.1. u[ 3540] = 2978 < 2979; v[ 2979] = 3530 < 3540.
b=2 c=2 u[ 3531]: 2976 2976 2977 2978 2978 2978 2978
2978 2978 2978
Event 4.1. u[ 163868] = 109434 < 109435; v[ 109435] = 163858 < 163868.
b=1 c=1 u[ 163859]: 109433 109433 109433 109433 109433 109433 109434
109434 109434 109434
d = -9.
Event 4.1. u[ 3539] = 2978 < 2979; v[ 2979] = 3530 < 3539.
b=2 c=2 u[ 3531]: 2976 2976 2977 2978 2978 2978 2978
2978 2978
Event 4.1. u[ 5402] = 4426 < 4427; v[ 4427] = 5393 < 5402.
b=1 c=1 u[ 5394]: 4425 4425 4425 4426 4426 4426 4426
4426 4426
Event 4.1. u[ 163867] = 109434 < 109435; v[ 109435] = 163858 < 163867.
b=1 c=1 u[ 163859]: 109433 109433 109433 109433 109433 109433 109434
109434 109434
d = -8.
Event 4.1. u[ 3538] = 2978 < 2979; v[ 2979] = 3530 < 3538.
b=2 c=2 u[ 3531]: 2976 2976 2977 2978 2978 2978 2978
2978
Event 4.1. u[ 5396] = 4425 < 4426; v[ 4426] = 5388 < 5396.
b=1 c=1 u[ 5389]: 4424 4424 4424 4424 4425 4425 4425
4425
Event 4.1. u[ 5401] = 4426 < 4427; v[ 4427] = 5393 < 5401.
b=1 c=1 u[ 5394]: 4425 4425 4425 4426 4426 4426 4426
4426
Event 4.1. u[ 5411] = 4429 < 4430; v[ 4430] = 5403 < 5411.
b=0 c=0 u[ 5404]: 4429 4429 4429 4429 4429 4429 4429
4429
Event 4.1. u[ 20606] = 16760 < 16761; v[ 16761] = 20598 < 20606.
b=2 c=1 u[ 20599]: 16758 16760 16760 16760 16760 16760 16760
16760
Event 4.1. u[ 34494] = 28632 < 28633; v[ 28633] = 34486 < 34494.
b=0 c=0 u[ 34487]: 28632 28632 28632 28632 28632 28632 28632
28632
Event 4.1. u[ 36062] = 30392 < 30393; v[ 30393] = 36054 < 36062.
b=2 c=1 u[ 36055]: 30390 30392 30392 30392 30392 30392 30392
30392
Event 4.1. u[ 40062] = 33944 < 33945; v[ 33945] = 40054 < 40062.
b=2 c=1 u[ 40055]: 33942 33944 33944 33944 33944 33944 33944
33944
Event 4.1. u[ 163962] = 109462 < 109463; v[ 109463] = 163954 < 163962.
b=2 c=2 u[ 163955]: 109460 109460 109461 109461 109461 109461 109462
109462
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
2969 2551 3498 -2 -3 3 4
2970 2551 3505 -3 -1 4 2
2971 2551 3508 -4 0 5 0
2972 2553 3511 0 -1 5 1
2973 2553 3514 -1 0 6 2
2974 2556 3518 2 -1 2 1
2975 2556 3521 1 -1 3 2
2976 2556 3522 0 -2 4 3
2977 2557 3526 -1 -1 4 3
2978 2559 3530 -1 -2 2 2
2979 2559 3530 -2 -3 3 3
2980 2560 3535 -2 -2 3 2
2981 2562 3540 -1 -2 3 3
2982 2562 3546 -2 -1 4 2
2983 2562 3550 -3 -1 5 1
2984 2563 3554 -2 -1 6 1
2985 2565 3560 -2 0 3 1
2986 2565 3563 -3 -1 4 1
2987 2565 3567 -4 0 5 0
2988 2567 3570 -2 -1 5 1
2989 2568 3574 -3 0 3 0
3530 2976 4240 -4 -2 9 3
3531 2976 4242 -5 -1 10 3
3532 2976 4242 -6 -2 11 4
3533 2977 4242 -3 -3 11 5
3534 2978 4243 -4 -4 8 4
3535 2978 4245 -5 -2 9 5
3536 2978 4245 -6 -3 10 6
3537 2978 4248 -7 -1 11 2
3538 2978 4250 -8 0 12 2
3539 2978 4250 -9 -1 13 3
3540 2978 4252 -10 -2 14 2
3541 2979 4252 -6 -3 11 3
3542 2979 4254 -7 -2 12 4
3543 2980 4254 -3 -3 13 5
3544 2980 4257 -4 -1 14 2
3545 2980 4259 -5 0 15 2
3546 2981 4261 0 0 11 1
3547 2981 4261 -1 -1 12 2
3548 2982 4261 2 -2 8 3
3549 2982 4262 1 -1 9 4
3550 2982 4265 0 -1 10 2
4418 3679 5365 -1 -1 2 2
4419 3679 5370 -2 -1 3 1
4420 3679 5370 -3 -2 4 2
4421 3680 5373 -2 -2 5 3
4422 3682 5377 -1 -1 3 1
4423 3682 5378 -2 -2 4 2
4424 3683 5383 -1 -1 5 1
4425 3683 5386 -2 -2 6 2
4426 3684 5388 -2 -2 5 3
4427 3684 5393 -3 -2 6 3
4428 3686 5397 -2 -2 4 3
4429 3688 5403 -1 0 3 3
4430 3688 5403 -2 -1 4 4
4431 3688 5406 -3 -2 5 2
4432 3688 5410 -4 -3 6 3
4433 3689 5416 -3 -1 7 2
4434 3689 5420 -4 -1 8 1
4435 3691 5424 -2 -1 5 1
4436 3693 5430 -2 -1 3 2
4437 3695 5435 -2 -1 3 2
4438 3695 5440 -3 0 4 1
5388 4423 6614 -5 -2 11 4
5389 4424 6614 -3 -3 11 5
5390 4424 6615 -4 -3 12 4
5391 4424 6617 -5 -2 13 4
5392 4424 6618 -6 -2 14 3
5393 4425 6618 -5 -3 10 4
5394 4425 6620 -6 -2 11 4
5395 4425 6621 -7 -3 12 5
5396 4425 6623 -8 -3 13 4
5397 4426 6623 -4 -4 11 5
5398 4426 6624 -5 -3 12 5
5399 4426 6626 -6 -2 13 4
5400 4426 6626 -7 -3 14 5
5401 4426 6627 -8 -3 15 4
5402 4426 6627 -9 -4 16 5
5403 4429 6631 0 -1 6 3
5404 4429 6631 -1 -2 7 4
5405 4429 6633 -2 -1 8 3
5406 4429 6634 -3 0 9 2
5407 4429 6634 -4 -1 10 3
5408 4429 6637 -5 0 11 2
5409 4429 6637 -6 -1 12 3
5410 4429 6637 -7 -2 13 4
5411 4429 6639 -8 -1 14 3
5412 4430 6640 -6 -1 9 2
5413 4431 6640 -3 -2 10 3
5414 4431 6641 -4 -1 11 4
5415 4431 6643 -5 -2 12 2
5416 4432 6643 0 -3 10 3
5417 4432 6645 -1 -2 11 4
5418 4433 6645 2 -3 8 5
5419 4433 6647 1 -1 9 4
16753 13493 20590 -3 -3 4 4
16754 13494 20592 -1 -2 5 4
16755 13496 20594 0 -3 2 3
16756 13496 20594 -1 -4 3 4
16757 13497 20594 -1 -5 4 5
16758 13497 20595 -2 -3 5 6
16759 13499 20597 1 -2 3 4
16760 13499 20597 0 -3 4 5
16761 13499 20598 -1 -3 5 4
16762 13500 20604 -2 -2 4 2
16763 13502 20605 -2 -3 3 3
16764 13502 20607 -3 -2 4 4
16765 13504 20609 -2 -2 4 3
16766 13504 20610 -3 -2 5 3
16767 13504 20610 -4 -3 6 4
16768 13505 20612 -3 -2 5 4
16769 13505 20615 -4 -1 6 2
20598 16757 25239 -3 -1 4 4
20599 16758 25239 -2 -2 5 5
20600 16760 25241 -2 -1 3 3
20601 16760 25243 -3 0 4 2
20602 16760 25245 -4 0 5 1
20603 16760 25245 -5 -1 6 2
20604 16760 25246 -6 0 7 3
20605 16760 25246 -7 -1 8 4
20606 16760 25249 -8 1 9 2
20607 16762 25249 -2 0 9 3
20608 16762 25249 -3 -1 10 4
20609 16763 25250 -2 -1 5 4
20610 16763 25250 -3 -2 6 5
20611 16764 25254 -2 -1 6 3
20612 16764 25255 -3 -1 7 2
20613 16766 25257 -3 0 4 2
20614 16767 25258 -2 -1 4 3
34486 28630 40671 -1 -3 4 4
34487 28632 40674 -1 -2 2 2
34488 28632 40674 -2 -3 3 3
34489 28632 40674 -3 -4 4 4
34490 28632 40674 -4 -5 5 5
34491 28632 40676 -5 -3 6 6
34492 28632 40676 -6 -4 7 7
34493 28632 40678 -7 -1 8 5
34494 28632 40679 -8 -2 9 4
34495 28634 40679 -2 -3 9 5
34496 28634 40680 -3 -3 10 4
34497 28634 40683 -4 -2 11 2
34498 28635 40683 -2 -3 6 3
34499 28637 40685 -2 -1 3 4
34500 28637 40687 -3 -2 4 2
34501 28639 40687 -2 -3 4 3
34502 28639 40688 -3 -3 5 4
109424 62334 163802 -1 0 6 1
109425 62335 163802 -2 -1 4 2
109426 62336 163810 -1 0 3 1
109427 62336 163814 -2 -1 4 1
109428 62338 163819 -2 -1 3 2
109429 62338 163828 -3 -1 4 1
109430 62339 163833 -1 -1 4 1
109431 62341 163842 -1 -1 2 1
109432 62341 163850 -2 0 3 1
109433 62341 163856 -3 -1 4 1
109434 62342 163858 -1 -1 5 2
109435 62344 163858 -1 -2 2 3
109436 62344 163866 -2 -2 3 2
109437 62344 163870 -3 -2 4 3
109438 62346 163874 0 -1 4 2
109439 62348 163874 -1 -2 1 3
109440 62349 163881 -1 -2 2 3
109441 62351 163883 -1 -2 2 3
109442 62351 163889 -2 -1 3 2
109443 62351 163891 -3 -1 4 2
109444 62352 163896 -1 -1 5 1
109445 62354 163900 0 -1 2 2
109446 62354 163906 -1 -1 3 1
163858 109432 199999 -2 2097152 16 22878
163859 109433 199999 -1 2097152 9 22879
163860 109433 199999 -2 2097152 10 22880
163861 109433 199999 -3 2097152 11 22881
163862 109433 199999 -4 2097152 12 22882
163863 109433 199999 -5 2097152 13 22883
163864 109433 199999 -6 2097152 14 22884
163865 109434 199999 -7 2097152 9 22885
163866 109434 199999 -8 2097152 10 22886
163867 109434 199999 -9 2097152 11 22887
163868 109434 199999 -10 2097152 12 22888
163869 109434 199999 -11 2097152 13 22889
163870 109435 199999 -4 2097152 12 22890
163871 109435 199999 -5 2097152 13 22891
163872 109436 199999 -2 2097152 14 22892
163873 109436 199999 -3 2097152 15 22893
163874 109436 199999 -4 2097152 16 22894
163875 109437 199999 -1 2097152 9 22895
163876 109437 199999 -2 2097152 10 22896
163877 109437 199999 -3 2097152 11 22897
163878 109437 199999 -4 2097152 12 22898
163879 109437 199999 -5 2097152 13 22899
163880 109437 199999 -6 2097152 14 22900
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 35894 35894 0 0 -1
-2 59192 42699 0 0 -2
-3 37903 38280 0 0 -3
-4 12118 11925 0 0 -4
-5 2868 1466 0 0 -5
-6 1004 221 0 0 -6
-7 92 41 0 0 -7
-8 17 23 0 0 -8
-9 3 0 0 0 -9
-10 2 0 0 0 -10
-11 1 0 0 0 -11
-12 0 0 0 0 -12
Totals / Min / Under -25:
149094 130549 0 0
11 8 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 247403 0 17 20
0 -79 0 -59 0 -39 0 -19 69491 1 17 21
0 -78 0 -58 0 -38 0 -18 82117 2 17 22
0 -77 0 -57 0 -37 0 -17 19347 3 17 23
0 -76 0 -56 0 -36 0 -16 3647 4 17 24
0 -75 0 -55 0 -35 0 -15 249 5 17 25
0 -74 0 -54 0 -34 0 -14 71 6 17 26
0 -73 0 -53 0 -33 0 -13 33 7 17 27
0 -72 0 -52 0 -32 0 -12 32 8 17 28
0 -71 0 -51 0 -31 1 -11 21 9 17 29
0 -70 0 -50 0 -30 2 -10 17 10 17 30
0 -69 0 -49 0 -29 3 -9 17 11 17 31
0 -68 0 -48 0 -28 40 -8 17 12 17 32
0 -67 0 -47 0 -27 133 -7 17 13 17 33
0 -66 0 -46 0 -26 1225 -6 17 14 17 34
0 -65 0 -45 0 -25 4334 -5 17 15 17 35
0 -64 0 -44 0 -24 24043 -4 17 16 17 36
0 -63 0 -43 0 -23 76183 -3 17 17 17 37
0 -62 0 -42 0 -22 101891 -2 17 18 17 38
0 -61 0 -41 0 -21 71788 -1 17 19 17 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | o
220000 | o
200000 | o
180000 | o
160000 | o
140000 | o
120000 | o
100000 | o o
80000 | o o o
60000 | oooooo
40000 | oooooo
20000 | ooooooo
0 |_________.________ooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 740978. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -11. -80 thru -1 = 279643.
Behav = Relaxed. Maximum = 37132. 0 thru 39 = 422921.
histend K = 200000. 40 thru Max = 38414.
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 15 0 17 20
0 -79 0 -59 0 -39 0 -19 3812 1 17 21
0 -78 0 -58 0 -38 0 -18 39591 2 17 22
0 -77 0 -57 0 -37 0 -17 67589 3 17 23
0 -76 0 -56 0 -36 0 -16 88223 4 17 24
0 -75 0 -55 0 -35 0 -15 62914 5 17 25
0 -74 0 -54 0 -34 0 -14 27031 6 17 26
0 -73 0 -53 0 -33 0 -13 9863 7 17 27
0 -72 0 -52 0 -32 0 -12 1884 8 17 28
0 -71 0 -51 0 -31 0 -11 552 9 17 29
0 -70 0 -50 0 -30 0 -10 171 10 17 30
0 -69 0 -49 0 -29 0 -9 146 11 17 31
0 -68 0 -48 0 -28 0 -8 113 12 17 32
0 -67 0 -47 0 -27 0 -7 82 13 17 33
0 -66 0 -46 0 -26 0 -6 52 14 17 34
0 -65 0 -45 0 -25 0 -5 34 15 17 35
0 -64 0 -44 0 -24 0 -4 29 16 17 36
0 -63 0 -43 0 -23 0 -3 19 17 17 37
0 -62 0 -42 0 -22 0 -2 18 18 17 38
0 -61 0 -41 0 -21 0 -1 17 19 17 39
------ Relaxed ------ | ------ Strong ------
95000 | |
90000 | |
85000 | | o
80000 | | o
75000 | | o
70000 | | o
65000 | | oo
60000 | | ooo
55000 | | ooo
50000 | | ooo
45000 | | ooo
40000 | | ooo
35000 | | oooo
30000 | | oooo
25000 | | ooooo
20000 | | ooooo
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 = 410. Total = 399887. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 59019. 0 thru 39 = 302495.
histend K = 200000. 40 thru Max = 97392.
End analysis of Test T410 at 09:56:12.394 980422
==sss========================================================================
Test T420. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T420 at 09:56:12.646 980422
End execution of Test T420 at 09:56:13.050 980422
Duration 0.404
Start analysis of Test T420 at 09:56:13.180 980422
Thread start, stop, and dur times.
0.204 0.204 0.000 0.000 0.000 0.000 0.000 0.000
0.400 0.404 0.000 0.000 0.000 0.000 0.000 0.000
0.196 0.200 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 9768 10317 0 0
19998 19184 20858 0 0
29997 28873 31161 0 0
39996 38746 41314 0 0
49995 48576 51515 0 0
59994 58390 61775 0 0
69993 67829 72237 0 0
79992 77525 82527 0 0
89991 87512 92544 0 0
99990 97348 102774 0 0
109989 107110 113024 0 0
119988 116886 123255 0 0
129987 126599 133417 0 0
139986 136561 143456 0 0
149985 146174 153956 0 0
159984 155984 164426 0 0
169983 168446 175562 0 0
179982 174334 185962 0 0
189981 183922 196437 0 0
199980 193480 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
1
22111
2
2
2 11
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
2 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
21
21
21
21
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 176871 0
1 84422 90845
2 123549 111488
3 12385 18326
4 2661 1332
5 78 1046
6 6 63
7 0 1
8 1 1
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 1 0
19 0 0
over 22 23
d = -8.
Event 4.1. u[ 76661] = 74261 < 74262; v[ 74262] = 76653 < 76661.
b=1 c=1 u[ 76654]: 74260 74260 74260 74260 74261 74261 74261
74261
Event 4.1. u[ 76672] = 74264 < 74265; v[ 74265] = 76664 < 76672.
b=1 c=1 u[ 76665]: 74263 74263 74263 74263 74263 74264 74264
74264
d = -7.
Event 4.1. u[ 76660] = 74261 < 74262; v[ 74262] = 76653 < 76660.
b=1 c=1 u[ 76654]: 74260 74260 74260 74260 74261 74261 74261
Event 4.1. u[ 76669] = 74263 < 74264; v[ 74264] = 76662 < 76669.
b=1 c=1 u[ 76663]: 74262 74263 74263 74263 74263 74263 74263
Event 4.1. u[ 76671] = 74264 < 74265; v[ 74265] = 76664 < 76671.
b=1 c=1 u[ 76665]: 74263 74263 74263 74263 74263 74264 74264
Event 4.1. u[ 76884] = 74421 < 74422; v[ 74422] = 76877 < 76884.
b=0 c=0 u[ 76878]: 74421 74421 74421 74421 74421 74421 74421
d = -6.
Event 4.1. u[ 76657] = 74260 < 74261; v[ 74261] = 76651 < 76657.
b=1 c=1 u[ 76652]: 74259 74260 74260 74260 74260 74260
Event 4.1. u[ 76659] = 74261 < 74262; v[ 74262] = 76653 < 76659.
b=1 c=1 u[ 76654]: 74260 74260 74260 74260 74261 74261
Event 4.1. u[ 76668] = 74263 < 74264; v[ 74264] = 76662 < 76668.
b=1 c=1 u[ 76663]: 74262 74263 74263 74263 74263 74263
Event 4.1. u[ 76670] = 74264 < 74265; v[ 74265] = 76664 < 76670.
b=1 c=1 u[ 76665]: 74263 74263 74263 74263 74263 74264
Event 4.1. u[ 76831] = 74403 < 74404; v[ 74404] = 76825 < 76831.
b=1 c=1 u[ 76826]: 74402 74402 74402 74403 74403 74403
Event 4.1. u[ 76844] = 74407 < 74408; v[ 74408] = 76838 < 76844.
b=1 c=1 u[ 76839]: 74406 74406 74407 74407 74407 74407
Event 4.1. u[ 76868] = 74416 < 74417; v[ 74417] = 76862 < 76868.
b=1 c=1 u[ 76863]: 74415 74415 74416 74416 74416 74416
Event 4.1. u[ 76883] = 74421 < 74422; v[ 74422] = 76877 < 76883.
b=0 c=0 u[ 76878]: 74421 74421 74421 74421 74421 74421
Event 4.1. u[ 143695] = 140150 < 140151; v[ 140151] = 143689 < 143695.
b=1 c=1 u[ 143690]: 140149 140149 140149 140150 140150 140150
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
74254 71955 76631 -1 0 2 2
74255 71957 76632 0 -1 2 2
74256 71957 76638 -1 -1 3 2
74257 71959 76642 -1 -1 2 2
74258 71959 76646 -2 -1 3 2
74259 71961 76646 -1 -2 3 3
74260 71961 76649 -2 -2 4 3
74261 71962 76651 -1 -2 3 3
74262 71964 76653 0 -2 2 3
74263 71964 76658 -1 -2 3 3
74264 71966 76662 -1 -2 2 3
74265 71966 76664 -2 -2 3 3
74266 71967 76670 -1 -2 3 3
74267 71968 76673 -2 -1 4 3
74268 71968 76674 -3 0 5 2
74269 71971 76674 -1 -1 2 3
74270 71971 76676 -2 -1 3 2
74271 71972 76676 -1 -2 4 3
74272 71972 76678 -2 -1 5 3
74273 71974 76680 -1 -1 3 2
74398 72093 76810 -1 -3 3 3
74399 72095 76813 0 -1 2 3
74400 72095 76816 -1 -2 3 2
74401 72096 76819 0 -1 4 3
74402 72096 76819 -1 -2 5 4
74403 72099 76823 1 -2 2 3
74404 72099 76825 0 -2 3 3
74405 72099 76829 -1 -2 4 3
74406 72100 76832 -1 -2 4 3
74407 72101 76835 -1 -2 3 3
74408 72102 76838 -1 -2 3 3
74409 72102 76841 -2 -2 4 3
74410 72104 76845 -1 -2 3 3
74411 72104 76847 -2 -2 4 3
74412 72104 76850 -3 -2 5 3
74413 72106 76853 -1 -1 4 3
74414 72106 76856 -2 -2 5 2
74415 72108 76859 -1 -1 3 3
74416 72108 76859 -2 -2 4 4
74417 72109 76862 -1 -2 3 3
74418 72111 76865 0 -2 2 3
74419 72111 76869 -1 -2 3 3
74420 72112 76871 -2 -2 4 3
74421 72114 76874 -1 -2 3 3
74422 72116 76877 0 -1 2 3
74423 72116 76880 -1 -2 3 2
74424 72117 76885 -1 -2 4 3
74425 72117 76887 -2 -2 5 3
74426 72119 76890 -1 -2 3 3
74427 72121 76892 0 -1 2 3
74428 72122 76894 -1 0 1 2
74429 72123 76894 0 -1 2 3
76651 74259 79110 -2 1 5 3
76652 74259 79110 -3 0 6 4
76653 74260 79110 -2 -1 7 5
76654 74260 79111 -3 -1 8 4
76655 74260 79111 -4 -2 9 5
76656 74260 79113 -5 -1 10 3
76657 74260 79113 -6 -2 11 4
76658 74261 79114 -5 -2 9 3
76659 74261 79116 -6 -1 10 3
76660 74261 79118 -7 0 11 2
76661 74261 79118 -8 -1 12 3
76662 74262 79119 -4 0 11 4
76663 74262 79119 -5 -1 12 5
76664 74263 79121 -2 -1 11 2
76665 74263 79121 -3 -2 12 3
76666 74263 79122 -4 0 13 4
76667 74263 79122 -5 -1 14 5
76668 74263 79124 -6 -1 15 2
76669 74263 79124 -7 -2 16 3
76670 74264 79126 -6 -1 12 3
76671 74264 79127 -7 -1 13 2
76672 74264 79129 -8 0 14 2
76673 74266 79129 0 -1 9 3
76674 74266 79131 -1 -2 10 2
76675 74268 79133 -1 -1 2 3
76676 74268 79133 -2 -2 3 4
76677 74269 79135 -1 -1 3 3
76678 74271 79136 0 -1 2 2
76679 74271 79138 -1 0 3 2
76680 74272 79138 0 -1 4 3
76825 74402 79284 -2 -1 6 4
76826 74402 79286 -3 0 7 2
76827 74402 79286 -4 -1 8 3
76828 74402 79288 -5 -1 9 2
76829 74403 79288 -4 -2 10 3
76830 74403 79289 -5 -1 11 3
76831 74403 79291 -6 0 12 2
76832 74404 79291 -3 -1 9 3
76833 74404 79294 -4 1 10 2
76834 74404 79294 -5 0 11 3
76835 74405 79294 -3 -1 10 4
76836 74405 79295 -4 -2 11 4
76837 74405 79296 -5 -1 12 3
76838 74406 79298 -3 -1 9 2
76839 74406 79298 -4 -2 10 3
76840 74406 79298 -5 -3 11 4
76841 74407 79301 -3 -1 9 4
76842 74407 79302 -4 -1 10 2
76843 74407 79304 -5 0 11 2
76844 74407 79304 -6 -1 12 3
76845 74408 79306 -4 -1 10 2
76846 74408 79306 -5 -2 11 3
76847 74409 79306 -2 -3 9 4
76848 74409 79306 -3 -4 10 5
76849 74409 79308 -4 -1 11 5
76850 74410 79308 -3 -2 9 6
76862 74415 79321 -3 -1 6 3
76863 74415 79323 -4 0 7 2
76864 74415 79323 -5 -1 8 3
76865 74416 79326 -3 1 6 2
76866 74416 79326 -4 0 7 3
76867 74416 79326 -5 -1 8 4
76868 74416 79327 -6 -2 9 4
76869 74417 79328 -4 -1 10 3
76870 74417 79330 -5 -1 11 2
76871 74418 79330 -2 -2 9 3
76872 74418 79330 -3 -3 10 4
76873 74418 79333 -4 -1 11 4
76874 74419 79334 -3 -1 9 2
76875 74419 79336 -4 0 10 2
76876 74419 79336 -5 -1 11 3
76877 74421 79338 0 -1 6 2
76878 74421 79338 -1 -2 7 3
76879 74421 79338 -2 -3 8 4
76880 74421 79340 -3 -1 9 4
76881 74421 79340 -4 -2 10 5
76882 74421 79342 -5 -2 11 3
76883 74421 79342 -6 -3 12 4
76884 74421 79343 -7 -1 13 4
76885 74422 79346 -5 -1 11 2
76886 74422 79346 -6 -2 12 3
76887 74423 79346 -2 -3 10 4
76888 74423 79348 -3 -1 11 4
76889 74423 79348 -4 -2 12 5
76890 74424 79350 -3 -2 10 3
76891 74424 79350 -4 -3 11 4
140145 136725 143672 -2 -2 5 3
140146 136727 143675 -1 -2 3 3
140147 136728 143678 0 -2 2 3
140148 136728 143681 -1 -2 3 3
140149 136730 143683 -1 -2 2 3
140150 136730 143686 -2 -2 3 3
140151 136732 143689 -1 -2 3 3
140152 136733 143693 -1 -2 2 3
140153 136735 143695 0 -2 2 3
140154 136735 143699 -1 -1 3 3
140155 136737 143700 0 -1 2 2
140156 136738 143702 -1 0 1 2
140157 136739 143702 -1 -1 2 3
143689 140148 147494 -6 -2 11 5
143690 140149 147496 -4 -2 9 3
143691 140149 147496 -5 -3 10 4
143692 140149 147497 -6 -1 11 4
143693 140150 147498 -4 -2 10 5
143694 140150 147498 -5 -3 11 6
143695 140150 147501 -6 -1 12 2
143696 140151 147501 -3 -2 10 3
143697 140151 147503 -4 -1 11 3
143698 140151 147503 -5 -2 12 4
143699 140153 147504 0 0 6 3
143700 140153 147506 -1 -1 7 1
143701 140154 147506 -1 -2 6 2
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 94366 94366 0 0 -1
-2 50154 49222 0 0 -2
-3 12197 9905 0 0 -3
-4 925 675 0 0 -4
-5 134 55 0 0 -5
-6 31 14 0 0 -6
-7 4 0 0 0 -7
-8 2 0 0 0 -8
-9 0 0 0 0 -9
Totals / Min / Under -25:
157813 154237 0 0
8 6 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 234023 0 22 20
0 -79 0 -59 0 -39 0 -19 92095 1 22 21
0 -78 0 -58 0 -38 0 -18 125925 2 22 22
0 -77 0 -57 0 -37 0 -17 12957 3 22 23
0 -76 0 -56 0 -36 0 -16 2709 4 22 24
0 -75 0 -55 0 -35 0 -15 103 5 22 25
0 -74 0 -54 0 -34 0 -14 30 6 22 26
0 -73 0 -53 0 -33 0 -13 23 7 22 27
0 -72 0 -52 0 -32 0 -12 24 8 22 28
0 -71 0 -51 0 -31 0 -11 23 9 22 29
0 -70 0 -50 0 -30 0 -10 23 10 22 30
0 -69 0 -49 0 -29 0 -9 23 11 22 31
0 -68 0 -48 0 -28 2 -8 23 12 22 32
0 -67 0 -47 0 -27 4 -7 23 13 22 33
0 -66 0 -46 0 -26 45 -6 23 14 22 34
0 -65 0 -45 0 -25 189 -5 23 15 22 35
0 -64 0 -44 0 -24 1600 -4 23 16 22 36
0 -63 0 -43 0 -23 22102 -3 23 17 22 37
0 -62 0 -42 0 -22 99376 -2 24 18 22 38
0 -61 0 -41 0 -21 188732 -1 22 19 22 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | o
200000 | o
180000 | oo
160000 | oo
140000 | oo
120000 | oo o
100000 | oo o
80000 | ooooo
60000 | ooooo
40000 | ooooo
20000 | oooooo
0 |_________._________._oooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 793496. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -8. -80 thru -1 = 312050.
Behav = Relaxed. Maximum = 5983. 0 thru 39 = 468582.
histend K = 200000. 40 thru Max = 12864.
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 3 0 23 20
0 -79 0 -59 0 -39 0 -19 7673 1 23 21
0 -78 0 -58 0 -38 0 -18 96928 2 23 22
0 -77 0 -57 0 -37 0 -17 145446 3 23 23
0 -76 0 -56 0 -36 0 -16 77297 4 23 24
0 -75 0 -55 0 -35 0 -15 43480 5 23 25
0 -74 0 -54 0 -34 0 -14 6855 6 23 26
0 -73 0 -53 0 -33 0 -13 1544 7 23 27
0 -72 0 -52 0 -32 0 -12 197 8 23 28
0 -71 0 -51 0 -31 0 -11 173 9 23 29
0 -70 0 -50 0 -30 0 -10 173 10 23 30
0 -69 0 -49 0 -29 0 -9 131 11 23 31
0 -68 0 -48 0 -28 0 -8 54 12 23 32
0 -67 0 -47 0 -27 0 -7 28 13 23 33
0 -66 0 -46 0 -26 0 -6 25 14 23 34
0 -65 0 -45 0 -25 0 -5 24 15 23 35
0 -64 0 -44 0 -24 0 -4 24 16 23 36
0 -63 0 -43 0 -23 0 -3 23 17 23 37
0 -62 0 -42 0 -22 0 -2 23 18 23 38
0 -61 0 -41 0 -21 0 -1 23 19 23 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 | | 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 = 420. Total = 399978. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6499. 0 thru 39 = 380584.
histend K = 200000. 40 thru Max = 19394.
End analysis of Test T420 at 09:56:15.985 980422
==sss========================================================================
The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================
Test T700. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T700 at 09:56:16.244 980422
End execution of Test T700 at 09:56:16.486 980422
Duration 0.242
Start analysis of Test T700 at 09:56:16.487 980422
Thread start, stop, and dur times.
0.036 0.036 0.000 0.000 0.000 0.000 0.000 0.000
0.237 0.241 0.000 0.000 0.000 0.000 0.000 0.000
0.201 0.205 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 199999 199999
9999 9771 10226 0 0
19998 17791 22015 0 0
29997 27368 32503 0 0
39996 37719 43074 0 0
49995 46992 52926 0 0
59994 57332 63444 0 0
69993 66672 73930 0 0
79992 76116 83823 0 0
89991 86227 93673 0 0
99990 95635 104344 0 0
109989 105609 114754 0 0
119988 115458 124453 0 0
129987 124634 135333 0 0
139986 134810 145146 0 0
149985 143893 156030 0 0
159984 154107 166536 0 0
169983 163499 176418 0 0
179982 173564 187039 0 0
189981 182802 197753 0 0
199980 192237 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 22222
2
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
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
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2
2 11
2 1
2 1
2 1
1
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 182302 0
1 83924 94344
2 118311 102138
3 14589 16447
4 531 3575
5 138 1013
6 63 50
7 11 15
8 19 6
9 2 3
10 2 0
11 1 0
12 0 0
13 1 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 102 103
d = -9.
Event 7.1. u[ 4448] = 4409 < 4410; v[ 4410] = 4439 < 4448.
b=1 c=1 u[ 4440]: 4408 4408 4408 4408 4408 4409 4409
4409 4409
Event 7.1. u[ 5956] = 5654 < 5655; v[ 5655] = 5947 < 5956.
b=1 c=1 u[ 5948]: 5653 5653 5653 5654 5654 5654 5654
5654 5654
Event 7.2. v[ 100799] = 105147 < 105148; u[ 105148] = 100790 < 100799.
b=1 c=1 v[ 100791]: 105146 105146 105146 105147 105147 105147 105147
105147 105147
Event 7.2. v[ 101009] = 105185 < 105186; u[ 105186] = 101000 < 101009.
b=1 c=1 v[ 101001]: 105184 105184 105184 105185 105185 105185 105185
105185 105185
Event 7.2. v[ 175386] = 181758 < 181759; u[ 181759] = 175377 < 175386.
b=1 c=1 v[ 175378]: 181757 181757 181757 181758 181758 181758 181758
181758 181758
Event 7.2. v[ 175402] = 181761 < 181762; u[ 181762] = 175393 < 175402.
b=1 c=1 v[ 175394]: 181760 181760 181760 181761 181761 181761 181761
181761 181761
Event 7.2. v[ 175454] = 181773 < 181774; u[ 181774] = 175445 < 175454.
b=1 c=1 v[ 175446]: 181772 181772 181772 181773 181773 181773 181773
181773 181773
Event 7.2. v[ 175491] = 181781 < 181782; u[ 181782] = 175482 < 175491.
b=1 c=1 v[ 175483]: 181780 181780 181781 181781 181781 181781 181781
181781 181781
Event 7.1. u[ 188892] = 181767 < 181768; v[ 181768] = 188883 < 188892.
b=1 c=1 u[ 188884]: 181766 181766 181766 181767 181767 181767 181767
181767 181767
d = -8.
Event 7.1. u[ 2986] = 2976 < 2977; v[ 2977] = 2978 < 2986.
b=2 c=2 u[ 2979]: 2974 2975 2975 2976 2976 2976 2976
2976
Event 7.1. u[ 3010] = 2984 < 2985; v[ 2985] = 3002 < 3010.
b=2 c=2 u[ 3003]: 2982 2983 2983 2984 2984 2984 2984
2984
Event 7.1. u[ 3034] = 2992 < 2993; v[ 2993] = 3026 < 3034.
b=2 c=2 u[ 3027]: 2990 2991 2991 2992 2992 2992 2992
2992
Event 7.1. u[ 3044] = 2995 < 2996; v[ 2996] = 3036 < 3044.
b=1 c=1 u[ 3037]: 2994 2994 2994 2995 2995 2995 2995
2995
Event 7.1. u[ 4447] = 4409 < 4410; v[ 4410] = 4439 < 4447.
b=1 c=1 u[ 4440]: 4408 4408 4408 4408 4408 4409 4409
4409
Event 7.1. u[ 188962] = 181784 < 181785; v[ 181785] = 188954 < 188962.
b=1 c=1 u[ 188955]: 181783 181783 181783 181784 181784 181784 181784
181784
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
4401 4368 4431 -1 -1 2 4
4402 4368 4431 -2 -2 3 5
4403 4369 4433 -3 -2 4 3
4404 4369 4434 -4 -3 5 4
4405 4372 4434 -1 -4 3 5
4406 4372 4436 -2 -1 4 5
4407 4374 4436 -1 -2 3 6
4408 4375 4438 -1 -1 2 3
4409 4377 4439 0 -1 2 2
4410 4377 4439 -1 -2 3 3
4411 4379 4444 -1 -2 2 3
4412 4380 4449 -2 -2 2 3
4413 4380 4450 -3 -2 3 3
4414 4383 4453 -1 -2 3 3
4415 4383 4459 -2 -2 4 3
4416 4384 4461 -1 -2 5 3
4417 4384 4467 -2 -2 6 3
4418 4385 4469 -3 -2 5 3
4419 4385 4474 -4 -2 6 3
4439 4407 4554 -1 -2 3 3
4440 4408 4557 -1 -2 4 3
4441 4408 4562 -2 -2 5 3
4442 4408 4566 -3 -2 6 3
4443 4408 4566 -4 -3 7 4
4444 4408 4567 -5 -2 8 4
4445 4409 4569 -6 -1 7 3
4446 4409 4569 -7 -2 8 4
4447 4409 4570 -8 -1 9 5
4448 4409 4570 -9 -2 10 6
4449 4410 4572 -5 -1 10 3
4450 4410 4574 -6 -2 11 2
4451 4411 4574 -2 -3 12 3
4452 4411 4575 -3 -1 13 4
4453 4412 4577 -3 -2 9 2
4454 4412 4578 -4 -2 10 3
4455 4412 4578 -5 -3 11 4
4456 4412 4578 -6 -4 12 5
4457 4412 4580 -7 -1 13 5
5646 5428 5911 0 -2 2 3
5647 5428 5915 -1 -2 3 3
5648 5429 5919 -1 -2 4 3
5649 5431 5923 0 -2 2 3
5650 5431 5927 -1 -2 3 3
5651 5432 5931 -1 -2 4 3
5652 5432 5935 -2 -2 5 3
5653 5434 5939 -1 -2 3 3
5654 5436 5943 0 -2 2 3
5655 5436 5947 -1 -2 3 3
5656 5437 5953 -1 -2 4 2
5657 5437 5957 -2 -2 5 3
5658 5439 5962 -1 -2 3 2
5659 5440 5964 -1 -1 2 3
5660 5440 5964 -2 -2 3 4
5661 5443 5966 -1 -1 3 3
5662 5443 5967 -2 -1 4 2
5663 5445 5967 -1 -2 3 3
5664 5446 5969 -1 -1 2 3
5947 5653 6252 -4 -1 12 3
5948 5653 6254 -5 0 13 2
5949 5653 6254 -6 -1 14 3
5950 5653 6255 -7 -1 15 4
5951 5654 6257 -4 -1 12 2
5952 5654 6257 -5 -2 13 3
5953 5654 6258 -6 -1 14 4
5954 5654 6258 -7 -2 15 5
5955 5654 6258 -8 -3 16 6
5956 5654 6260 -9 -1 17 4
5957 5655 6262 -4 0 14 2
5958 5655 6262 -5 -1 15 3
5959 5655 6263 -6 -1 16 4
5960 5655 6265 -7 -1 17 2
5961 5656 6265 -4 -2 14 3
5962 5656 6266 -5 -2 15 4
5963 5656 6268 -6 -1 16 3
5964 5656 6268 -7 -2 17 4
5965 5658 6270 -1 -1 8 3
100790 96437 105145 -1 -1 2 3
100791 96437 105146 -2 -1 3 2
100792 96439 105146 -1 -2 3 3
100793 96440 105146 -1 -3 2 4
100794 96440 105147 -2 -4 3 5
100795 96442 105147 -1 -5 3 6
100796 96442 105147 -2 -6 4 7
100797 96445 105147 -1 -7 3 8
100798 96445 105147 -2 -8 4 9
100799 96447 105147 -1 -9 3 10
100800 96448 105148 0 -3 2 10
100801 96448 105148 -1 -4 3 11
100802 96450 105148 0 -5 2 12
100803 96452 105148 -1 -6 1 13
100804 96454 105148 -1 -7 2 14
100805 96454 105148 -2 -8 3 15
100806 96455 105149 -1 -2 4 16
100807 96456 105149 -2 -3 4 17
100808 96458 105149 0 -4 3 18
101000 96653 105184 -1 -2 4 13
101001 96655 105184 -1 -3 2 14
101002 96655 105184 -2 -4 3 15
101003 96656 105184 -1 -5 4 16
101004 96656 105185 -2 -4 5 12
101005 96656 105185 -3 -5 6 13
101006 96658 105185 -1 -6 4 14
101007 96660 105185 0 -7 2 15
101008 96660 105185 -1 -8 3 16
101009 96661 105185 -1 -9 4 17
101010 96663 105186 -1 -5 2 12
101011 96663 105186 -2 -6 3 13
101012 96664 105186 -2 -7 4 14
101013 96666 105187 -1 0 3 13
101014 96668 105187 0 -1 2 14
101015 96668 105187 -1 -2 3 15
101016 96669 105188 -1 1 4 11
101017 96671 105188 -1 0 2 12
101018 96671 105188 -2 -1 3 13
105139 100783 109038 -1 -3 2 3
105140 100784 109041 -2 -1 3 3
105141 100784 109041 -3 -2 4 4
105142 100786 109042 0 -1 4 5
105143 100786 109042 -1 -2 5 6
105144 100787 109042 -1 -3 4 7
105145 100789 109047 0 -1 2 1
105146 100789 109048 -1 0 3 2
105147 100790 109048 -1 -1 4 3
105148 100790 109050 -2 2 5 2
105149 100797 109050 -2 1 2 3
105150 100804 109050 -2 0 2 4
105151 100808 109050 -2 -1 2 5
105152 100814 109052 -2 0 2 2
105153 100819 109054 -2 -1 2 1
105154 100824 109056 -2 -1 2 2
105155 100830 109056 -2 -2 2 3
105156 100835 109058 -2 -1 2 3
105157 100840 109058 -2 -2 2 4
105177 100950 109080 -2 -1 2 3
105178 100955 109080 -2 -2 2 4
105179 100960 109082 -2 -1 2 3
105180 100968 109082 -1 -2 1 4
105181 100974 109084 -1 -1 2 3
105182 100984 109084 0 -2 1 4
105183 100987 109086 -1 -1 1 3
105184 100992 109087 -1 -1 2 2
105185 100998 109087 -1 -2 2 3
105186 101000 109089 -2 -2 2 3
105187 101005 109090 -2 -1 2 3
105188 101013 109092 -1 -1 2 2
105189 101017 109092 -1 -2 1 3
105190 101023 109092 -1 -3 2 4
105191 101026 109093 -2 -1 2 5
105192 101034 109095 -1 -2 2 2
105193 101042 109096 0 -2 1 3
105194 101048 109096 -1 -3 1 4
105195 101055 109098 0 -3 1 4
175377 168908 181757 -2 -3 4 9
175378 168909 181757 -2 -4 5 10
175379 168911 181757 -1 -5 3 11
175380 168912 181757 -2 -6 4 12
175381 168912 181758 -3 -4 5 13
175382 168914 181758 -1 -5 4 14
175383 168916 181758 0 -6 2 15
175384 168916 181758 -1 -7 3 16
175385 168917 181758 -1 -8 4 17
175386 168919 181758 -1 -9 2 18
175387 168919 181759 -2 -2 3 13
175388 168920 181759 -2 -3 4 14
175389 168920 181759 -3 -4 5 15
175390 168922 181759 -1 -5 4 16
175391 168924 181759 0 -6 2 17
175392 168924 181760 -1 -3 3 15
175393 168925 181760 -1 -4 4 16
175394 168927 181760 -1 -5 2 17
175395 168927 181760 -2 -6 3 18
175396 168928 181760 -2 -7 4 19
175397 168928 181761 -3 -4 5 12
175398 168930 181761 -1 -5 4 13
175399 168932 181761 0 -6 2 14
175400 168932 181761 -1 -7 3 15
175401 168933 181761 -1 -8 4 16
175402 168935 181761 -1 -9 2 17
175403 168935 181762 -2 -3 3 14
175404 168935 181762 -3 -4 4 15
175405 168937 181762 -1 -5 4 16
175406 168937 181763 -2 -3 5 13
175407 168938 181763 -2 -4 5 14
175408 168940 181763 -1 -5 3 15
175409 168940 181763 -2 -6 4 16
175410 168942 181763 -1 -7 3 17
175411 168943 181764 -1 -4 2 11
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 86601 86601 0 0 -1
-2 51951 59028 0 0 -2
-3 19290 20455 0 0 -3
-4 4960 4083 0 0 -4
-5 922 633 0 0 -5
-6 155 59 0 0 -6
-7 99 45 0 0 -7
-8 28 25 0 0 -8
-9 3 6 0 0 -9
-10 0 0 0 0 -10
Totals / Min / Under -25:
164009 170935 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 212965 0 103 20
0 -79 0 -59 0 -39 0 -19 85719 1 103 21
0 -78 0 -58 0 -38 0 -18 118898 2 103 22
0 -77 0 -57 0 -37 0 -17 14756 3 103 23
0 -76 0 -56 0 -36 0 -16 651 4 102 24
0 -75 0 -55 0 -35 0 -15 253 5 102 25
0 -74 0 -54 0 -34 0 -14 171 6 102 26
0 -73 0 -53 0 -33 0 -13 119 7 102 27
0 -72 0 -52 0 -32 0 -12 126 8 102 28
0 -71 0 -51 0 -31 0 -11 108 9 102 29
0 -70 0 -50 0 -30 0 -10 105 10 102 30
0 -69 0 -49 0 -29 9 -9 104 11 102 31
0 -68 0 -48 0 -28 53 -8 103 12 102 32
0 -67 0 -47 0 -27 144 -7 104 13 102 33
0 -66 0 -46 0 -26 214 -6 103 14 102 34
0 -65 0 -45 0 -25 1555 -5 103 15 102 35
0 -64 0 -44 0 -24 9043 -4 103 16 102 36
0 -63 0 -43 0 -23 39745 -3 103 17 102 37
0 -62 0 -42 0 -22 110979 -2 103 18 102 38
0 -61 0 -41 0 -21 173202 -1 103 19 102 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | o
180000 | o
160000 | oo
140000 | oo
120000 | oo
100000 | ooo o
80000 | ooooo
60000 | ooooo
40000 | ooooo
20000 | oooooo
0 |_________._________.ooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 792251. Min thru -81 = 0.
Type = RR|CC1. Minimum = -9. -80 thru -1 = 334944.
Behav = Relaxed. Maximum = 1209. 0 thru 39 = 436844.
histend K = 200000. 40 thru Max = 20463.
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 56 0 106 20
0 -79 0 -59 0 -39 0 -19 1795 1 103 21
0 -78 0 -58 0 -38 0 -18 72191 2 103 22
0 -77 0 -57 0 -37 0 -17 121861 3 103 23
0 -76 0 -56 0 -36 0 -16 103476 4 103 24
0 -75 0 -55 0 -35 0 -15 52795 5 103 25
0 -74 0 -54 0 -34 0 -14 12618 6 103 26
0 -73 0 -53 0 -33 0 -13 1759 7 103 27
0 -72 0 -52 0 -32 0 -12 332 8 103 28
0 -71 0 -51 0 -31 0 -11 241 9 103 29
0 -70 0 -50 0 -30 0 -10 282 10 103 30
0 -69 0 -49 0 -29 0 -9 274 11 103 31
0 -68 0 -48 0 -28 0 -8 312 12 103 32
0 -67 0 -47 0 -27 0 -7 302 13 103 33
0 -66 0 -46 0 -26 0 -6 293 14 103 34
0 -65 0 -45 0 -25 0 -5 258 15 103 35
0 -64 0 -44 0 -24 0 -4 190 16 103 36
0 -63 0 -43 0 -23 0 -3 154 17 103 37
0 -62 0 -42 0 -22 0 -2 139 18 103 38
0 -61 0 -41 0 -21 0 -1 113 19 103 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | o
110000 | | o
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | ooo
60000 | | ooo
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 = 700. Total = 399977. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 7746. 0 thru 39 = 371504.
histend K = 200000. 40 thru Max = 28473.
End analysis of Test T700 at 09:56:19.452 980422
==sss========================================================================
Test T710. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T710 at 09:56:19.724 980422
End execution of Test T710 at 09:56:20.107 980422
Duration 0.383
Start analysis of Test T710 at 09:56:20.185 980422
Thread start, stop, and dur times.
0.167 0.167 0.000 0.000 0.000 0.000 0.000 0.000
0.365 0.382 0.000 0.000 0.000 0.000 0.000 0.000
0.198 0.215 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 194 199999 0
9999 9200 10897 0 0
19998 17372 22918 0 0
29997 26376 34061 0 0
39996 30612 50605 0 0
49995 39454 61558 0 0
59994 48544 73284 0 0
69993 57058 84532 0 0
79992 65949 95399 0 0
89991 74843 106198 0 0
99990 84377 117354 0 0
109989 93412 128437 0 0
119988 102390 139711 0 0
129987 111360 151699 0 0
139986 120232 162409 0 0
149985 128915 173879 0 0
159984 137380 185304 0 0
169983 146667 196325 0 0
179982 155312 199999 0 0
189981 164140 199999 0 0
199980 173151 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 222222222222
2
2
2
2
2
2
2
2
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 1
2 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 1
1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
11
1
1
2 1
2 111
2 1
2 1
2 1
2 1
11
21
21
21
21
21
11
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 179527 0
1 99331 114343
2 107401 83387
3 12924 17716
4 569 3080
5 111 1606
6 40 266
7 18 2
8 5 0
9 2 0
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 68 68
d = -8.
Event 7.2. v[ 1527] = 1284 < 1285; u[ 1285] = 1519 < 1527.
b=1 c=1 v[ 1520]: 1283 1283 1284 1284 1284 1284 1284
1284
Event 7.2. v[ 1533] = 1285 < 1286; u[ 1286] = 1525 < 1533.
b=1 c=1 v[ 1526]: 1284 1284 1285 1285 1285 1285 1285
1285
Event 7.2. v[ 1559] = 1290 < 1291; u[ 1291] = 1551 < 1559.
b=1 c=1 v[ 1552]: 1289 1289 1290 1290 1290 1290 1290
1290
Event 7.2. v[ 1565] = 1291 < 1292; u[ 1292] = 1557 < 1565.
b=1 c=1 v[ 1558]: 1290 1290 1291 1291 1291 1291 1291
1291
Event 7.2. v[ 1591] = 1296 < 1297; u[ 1297] = 1583 < 1591.
b=1 c=1 v[ 1584]: 1295 1295 1296 1296 1296 1296 1296
1296
Event 7.2. v[ 1597] = 1297 < 1298; u[ 1298] = 1589 < 1597.
b=1 c=1 v[ 1590]: 1296 1296 1297 1297 1297 1297 1297
1297
Event 7.2. v[ 1623] = 1302 < 1303; u[ 1303] = 1615 < 1623.
b=1 c=1 v[ 1616]: 1301 1301 1302 1302 1302 1302 1302
1302
Event 7.2. v[ 1629] = 1303 < 1304; u[ 1304] = 1621 < 1629.
b=1 c=1 v[ 1622]: 1302 1302 1303 1303 1303 1303 1303
1303
Event 7.2. v[ 1686] = 1317 < 1318; u[ 1318] = 1678 < 1686.
b=1 c=1 v[ 1679]: 1316 1316 1316 1316 1316 1317 1317
1317
d = -7.
Event 7.2. v[ 1480] = 1275 < 1276; u[ 1276] = 1473 < 1480.
b=1 c=1 v[ 1474]: 1274 1274 1275 1275 1275 1275 1275
Event 7.2. v[ 1516] = 1282 < 1283; u[ 1283] = 1509 < 1516.
b=1 c=1 v[ 1510]: 1281 1281 1282 1282 1282 1282 1282
Event 7.2. v[ 1526] = 1284 < 1285; u[ 1285] = 1519 < 1526.
b=1 c=1 v[ 1520]: 1283 1283 1284 1284 1284 1284 1284
Event 7.2. v[ 1532] = 1285 < 1286; u[ 1286] = 1525 < 1532.
b=1 c=1 v[ 1526]: 1284 1284 1285 1285 1285 1285 1285
Event 7.2. v[ 1548] = 1288 < 1289; u[ 1289] = 1541 < 1548.
b=1 c=1 v[ 1542]: 1287 1287 1288 1288 1288 1288 1288
Event 7.2. v[ 1759] = 1337 < 1338; u[ 1338] = 1752 < 1759.
b=1 c=1 v[ 1753]: 1336 1336 1337 1337 1337 1337 1337
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1269 1452 1122 -2 -3 3 4
1270 1455 1122 -2 -4 3 5
1271 1458 1124 -2 0 3 5
1272 1461 1124 -2 -1 3 6
1273 1464 1127 -2 -1 3 2
1274 1467 1129 -2 1 3 2
1275 1470 1129 -2 0 3 3
1276 1473 1129 -2 -1 3 4
1277 1478 1130 -2 0 2 3
1278 1485 1130 -1 -1 1 4
1279 1491 1131 -1 -1 1 4
1280 1496 1133 -1 0 1 2
1281 1502 1135 -1 -1 1 1
1282 1506 1137 -1 -1 2 2
1283 1509 1138 -2 0 2 3
1284 1515 1138 -2 -1 2 4
1285 1519 1140 -2 -1 2 2
1286 1525 1140 -2 -2 2 3
1287 1531 1142 -2 -1 2 3
1288 1538 1143 -1 -1 2 2
1289 1541 1145 -2 -1 2 2
1290 1547 1146 -2 -2 2 3
1291 1551 1146 -2 -3 2 4
1292 1557 1148 -2 0 2 4
1293 1563 1150 -2 -1 2 1
1294 1570 1151 -1 -1 2 2
1295 1573 1152 -2 -2 2 3
1296 1579 1153 -2 -1 2 3
1297 1583 1155 -2 -1 2 2
1298 1589 1155 -2 -2 2 3
1299 1595 1157 -2 -1 2 3
1300 1602 1158 -1 -1 2 2
1301 1605 1160 -2 0 2 2
1302 1611 1160 -2 -1 2 3
1303 1615 1161 -2 -1 2 4
1304 1621 1162 -2 -2 2 3
1305 1627 1162 -2 -3 2 4
1306 1634 1164 -1 -2 2 4
1307 1637 1165 -2 -2 2 3
1308 1643 1166 -1 -2 2 4
1309 1646 1168 -2 -1 2 3
1310 1649 1170 -1 0 3 2
1311 1653 1170 -2 -1 2 3
1312 1656 1170 -2 -2 3 4
1313 1661 1170 -2 -3 2 5
1314 1664 1173 -2 -1 3 3
1315 1669 1173 -2 -2 2 4
1316 1672 1174 -2 -2 3 4
1317 1676 1176 -2 -1 2 3
1318 1678 1178 -2 0 3 2
1319 1684 1178 -2 -1 3 3
1320 1687 1178 -2 -2 3 4
1321 1690 1180 -1 -1 3 3
1322 1694 1182 -2 -1 2 2
1323 1697 1182 -1 -2 3 3
1324 1701 1183 -2 -1 2 4
1325 1704 1185 -2 0 3 2
1326 1709 1185 -2 -1 2 3
1331 1728 1190 -2 -1 3 3
1332 1732 1191 -2 -1 2 4
1333 1735 1193 -2 0 3 2
1334 1738 1194 -2 -1 3 3
1335 1741 1194 -2 -2 3 4
1336 1744 1196 -2 0 3 3
1337 1749 1199 -2 -1 2 1
1338 1752 1201 -2 -1 3 2
1339 1757 1201 -2 -2 2 3
1340 1760 1202 -2 -1 3 4
1341 1762 1202 -1 -2 3 5
1342 1762 1204 -2 0 4 3
1343 1765 1204 0 -1 3 4
1344 1765 1205 -1 -1 4 5
1345 1765 1207 -2 -1 5 2
1473 1872 1274 105 -3 13 9
1474 1872 1274 104 -4 14 10
1475 1872 1274 103 -5 15 11
1476 1872 1275 102 -3 16 9
1477 1872 1275 101 -4 17 10
1478 1872 1275 100 -5 18 11
1479 1872 1275 99 -6 19 12
1480 1872 1275 98 -7 20 13
1481 1872 1276 97 -3 21 11
1482 1872 1276 96 -4 22 12
1483 1872 1276 95 -5 23 13
1484 1872 1277 94 1 24 11
1485 1872 1277 93 0 25 12
1486 1872 1277 92 -1 26 13
1487 1872 1277 91 -2 27 14
1509 1872 1281 69 -3 49 13
1510 1872 1281 68 -4 50 14
1511 1872 1281 67 -5 51 15
1512 1872 1282 66 -3 52 10
1513 1872 1282 65 -4 53 11
1514 1872 1282 64 -5 54 12
1515 1872 1282 63 -6 55 13
1516 1872 1282 62 -7 56 14
1517 1872 1283 61 -2 57 11
1518 1872 1283 60 -3 58 12
1519 1872 1283 59 -4 59 13
1520 1872 1283 58 -5 60 14
1521 1872 1283 57 -6 61 15
1522 1872 1284 56 -3 62 13
1523 1872 1284 55 -4 63 14
1524 1872 1284 54 -5 64 15
1525 1872 1284 53 -6 65 16
1526 1872 1284 52 -7 66 17
1527 1872 1284 51 -8 67 18
1528 1872 1285 50 -3 68 13
1529 1872 1285 49 -4 69 14
1530 1872 1285 48 -5 70 15
1531 1872 1285 47 -6 71 16
1532 1872 1285 46 -7 72 17
1533 1872 1285 45 -8 73 18
1534 1872 1286 44 -3 74 15
1535 1872 1286 43 -4 75 16
1536 1872 1286 42 -5 76 17
1537 1872 1286 41 -6 77 18
1538 1872 1287 40 0 78 13
1539 1872 1287 39 -1 79 14
1540 1872 1287 38 -2 80 15
1541 1872 1287 37 -3 81 16
1542 1872 1287 36 -4 82 17
1543 1872 1287 35 -5 83 18
1544 1872 1288 34 -3 84 13
1545 1872 1288 33 -4 85 14
1546 1872 1288 32 -5 86 15
1547 1872 1288 31 -6 87 16
1548 1872 1288 30 -7 88 17
1549 1872 1289 29 -2 89 11
1550 1872 1289 28 -3 90 12
1551 1872 1289 27 -4 91 13
1552 1872 1289 26 -5 92 14
1553 1872 1289 25 -6 93 15
1554 1872 1290 24 -3 94 13
1555 1872 1290 23 -4 95 14
1556 1872 1290 22 -5 96 15
1557 1872 1290 21 -6 97 16
1558 1872 1290 20 -7 98 17
1559 1872 1290 19 -8 99 18
1560 1872 1291 18 -3 100 13
1561 1872 1291 17 -4 101 14
1562 1872 1291 16 -5 102 15
1563 1872 1291 15 -6 103 16
1564 1872 1291 14 -7 104 17
1565 1872 1291 13 -8 105 18
1566 1872 1292 12 -3 106 15
1567 1872 1292 11 -4 107 16
1568 1872 1292 10 -5 108 17
1569 1872 1292 9 -6 109 18
1570 1872 1293 8 0 110 13
1571 1872 1293 7 -1 111 14
1572 1872 1293 6 -2 112 15
1573 1872 1293 5 -3 113 16
1583 1875 1295 -1 -4 4 13
1584 1876 1295 -1 -5 4 14
1585 1876 1295 -2 -6 5 15
1586 1878 1296 -1 -3 3 13
1587 1878 1296 -2 -4 4 14
1588 1880 1296 -1 -5 3 15
1589 1880 1296 -2 -6 4 16
1590 1880 1296 -3 -7 5 17
1591 1882 1296 -1 -8 4 18
1592 1882 1297 -2 -3 5 13
1593 1884 1297 -1 -4 3 14
1594 1884 1297 -2 -5 4 15
1595 1886 1297 -1 -6 3 16
1596 1888 1297 0 -7 2 17
1597 1888 1297 -1 -8 3 18
1598 1888 1298 -2 -3 4 15
1599 1890 1298 0 -4 3 16
1600 1890 1298 -1 -5 4 17
1601 1892 1298 1 -6 2 18
1602 1892 1299 0 0 3 13
1603 1892 1299 -1 -1 4 14
1604 1893 1299 -2 -2 4 15
1605 1896 1299 -1 -3 3 16
1615 1904 1301 -3 -4 5 13
1616 1905 1301 -2 -5 4 14
1617 1905 1301 -3 -6 5 15
1618 1906 1302 -2 -3 6 13
1619 1907 1302 -2 -4 5 14
1620 1907 1302 -3 -5 6 15
1621 1910 1302 0 -6 3 16
1622 1910 1302 -1 -7 4 17
1623 1910 1302 -2 -8 5 18
1624 1912 1303 2 -3 3 13
1625 1912 1303 1 -4 4 14
1626 1912 1303 0 -5 5 15
1627 1912 1303 -1 -6 6 16
1628 1912 1303 -2 -7 7 17
1629 1914 1303 -2 -8 3 18
1630 1916 1304 -1 -3 3 15
1631 1916 1304 -2 -4 4 16
1632 1917 1304 -1 -5 5 17
1633 1919 1304 -1 -6 2 18
1634 1919 1305 -2 0 3 13
1635 1920 1305 -1 -1 4 14
1636 1920 1305 -2 -2 5 15
1637 1923 1305 0 -3 3 16
1678 1964 1316 -1 -2 2 9
1679 1964 1316 -2 -3 3 10
1680 1966 1316 -1 -4 3 11
1681 1967 1316 -1 -5 2 12
1682 1967 1316 -2 -6 3 13
1683 1968 1316 -1 -7 4 14
1684 1968 1317 -2 -6 5 12
1685 1971 1317 -1 -7 3 13
1686 1972 1317 -1 -8 2 14
1687 1972 1318 -2 -3 3 11
1688 1974 1318 -1 -4 3 12
1689 1976 1318 1 -5 2 13
1690 1976 1319 0 -3 3 12
1691 1976 1320 -1 -1 4 7
1692 1976 1320 -2 -2 5 8
1693 1978 1320 0 -3 3 9
1694 1978 1320 -1 -4 4 10
1752 2032 1336 -1 -3 3 11
1753 2032 1336 -2 -4 4 12
1754 2032 1336 -3 -5 5 13
1755 2033 1337 -2 -3 4 11
1756 2034 1337 -2 -4 5 12
1757 2037 1337 0 -5 3 13
1758 2037 1337 -1 -6 4 14
1759 2038 1337 -1 -7 3 15
1760 2039 1338 -2 -3 3 11
1761 2040 1338 -1 -4 3 12
1762 2040 1338 -2 -5 4 13
1763 2042 1340 -1 -1 3 6
1764 2042 1340 -2 -2 4 7
1765 2045 1342 0 0 3 3
1766 2045 1343 -1 -1 4 4
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 80600 80600 0 0 -1
-2 62859 38102 0 0 -2
-3 7824 11546 0 0 -3
-4 128 2703 0 0 -4
-5 44 158 0 0 -5
-6 5 38 0 0 -6
-7 0 22 0 0 -7
-8 0 9 0 0 -8
-9 0 0 0 0 -9
Totals / Min / Under -25:
151460 133178 0 0
6 8 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 237727 0 68 20
0 -79 0 -59 0 -39 0 -19 108705 1 68 21
0 -78 0 -58 0 -38 0 -18 111352 2 68 22
0 -77 0 -57 0 -37 0 -17 13198 3 68 23
0 -76 0 -56 0 -36 0 -16 666 4 68 24
0 -75 0 -55 0 -35 0 -15 190 5 68 25
0 -74 0 -54 0 -34 0 -14 110 6 68 26
0 -73 0 -53 0 -33 0 -13 87 7 68 27
0 -72 0 -52 0 -32 0 -12 74 8 68 28
0 -71 0 -51 0 -31 0 -11 71 9 68 29
0 -70 0 -50 0 -30 0 -10 69 10 68 30
0 -69 0 -49 0 -29 0 -9 69 11 68 31
0 -68 0 -48 0 -28 9 -8 69 12 68 32
0 -67 0 -47 0 -27 22 -7 69 13 68 33
0 -66 0 -46 0 -26 43 -6 68 14 68 34
0 -65 0 -45 0 -25 202 -5 68 15 68 35
0 -64 0 -44 0 -24 2831 -4 68 16 68 36
0 -63 0 -43 0 -23 19370 -3 68 17 68 37
0 -62 0 -42 0 -22 100961 -2 68 18 68 38
0 -61 0 -41 0 -21 161200 -1 68 19 68 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | o
200000 | o
180000 | o
160000 | oo
140000 | oo
120000 | oo
100000 | ooooo
80000 | ooooo
60000 | ooooo
40000 | ooooo
20000 | ooooo
0 |_________._________._oooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 773164. Min thru -81 = 0.
Type = RR|CC1. Minimum = -8. -80 thru -1 = 284638.
Behav = Relaxed. Maximum = 5792. 0 thru 39 = 474224.
histend K = 200000. 40 thru Max = 14302.
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 17 0 68 20
0 -79 0 -59 0 -39 0 -19 9374 1 68 21
0 -78 0 -58 0 -38 0 -18 76503 2 68 22
0 -77 0 -57 0 -37 0 -17 120889 3 68 23
0 -76 0 -56 0 -36 0 -16 93095 4 68 24
0 -75 0 -55 0 -35 0 -15 43832 5 68 25
0 -74 0 -54 0 -34 0 -14 9071 6 68 26
0 -73 0 -53 0 -33 0 -13 2372 7 68 27
0 -72 0 -52 0 -32 0 -12 416 8 68 28
0 -71 0 -51 0 -31 0 -11 318 9 68 29
0 -70 0 -50 0 -30 0 -10 284 10 68 30
0 -69 0 -49 0 -29 0 -9 241 11 68 31
0 -68 0 -48 0 -28 0 -8 168 12 68 32
0 -67 0 -47 0 -27 0 -7 138 13 68 33
0 -66 0 -46 0 -26 0 -6 112 14 68 34
0 -65 0 -45 0 -25 0 -5 100 15 68 35
0 -64 0 -44 0 -24 0 -4 89 16 68 36
0 -63 0 -43 0 -23 0 -3 87 17 68 37
0 -62 0 -42 0 -22 0 -2 84 18 68 38
0 -61 0 -41 0 -21 0 -1 68 19 68 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | o
110000 | | o
100000 | | o
90000 | | oo
80000 | | oo
70000 | | ooo
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 = 710. Total = 399735. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 26832. 0 thru 39 = 358618.
histend K = 200000. 40 thru Max = 41117.
End analysis of Test T710 at 09:56:22.881 980422
==sss========================================================================
Test T720. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T720 at 09:56:23.132 980422
End execution of Test T720 at 09:56:23.485 980422
Duration 0.353
Start analysis of Test T720 at 09:56:23.616 980422
Thread start, stop, and dur times.
0.118 0.118 0.000 0.000 0.000 0.000 0.000 0.000
0.352 0.352 0.000 0.000 0.000 0.000 0.000 0.000
0.234 0.234 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 10044 9952 0 0
19998 19934 20058 0 0
29997 30062 29933 0 0
39996 40367 39611 0 0
49995 50442 49552 0 0
59994 60562 59426 0 0
69993 70352 69645 0 0
79992 80288 79715 0 0
89991 90351 89633 0 0
99990 100261 99723 0 0
109989 110368 109610 0 0
119988 120410 119567 0 0
129987 130455 129519 0 0
139986 140436 139475 0 0
149985 150445 149529 0 0
159984 160557 159477 0 0
169983 170634 169327 0 0
179982 180683 179253 0 0
189981 190688 189267 0 0
199980 199999 199319 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
13
12
12
12
12
12
12
12
12
12
12
12
12
12
12
2
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
3
3
3
3
3
3
3
1
12
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 118262 0
1 177669 181879
2 92843 86510
3 10530 10741
4 561 2282
5 71 245
6 25 45
7 3 4
8 5 3
9 2 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 25 25
d = -6.
Event 7.1. u[ 6365] = 6462 < 6463; v[ 6463] = 6359 < 6365.
b=0 c=0 u[ 6360]: 6462 6462 6462 6462 6462 6462
d = -5.
Event 7.2. v[ 1693] = 1540 < 1541; u[ 1541] = 1688 < 1693.
b=0 c=0 v[ 1689]: 1540 1540 1540 1540 1540
Event 7.1. u[ 6364] = 6462 < 6463; v[ 6463] = 6359 < 6364.
b=0 c=0 u[ 6360]: 6462 6462 6462 6462 6462
Event 7.1. u[ 6423] = 6476 < 6477; v[ 6477] = 6418 < 6423.
b=0 c=0 u[ 6419]: 6476 6476 6476 6476 6476
Event 7.1. u[ 6458] = 6485 < 6486; v[ 6486] = 6453 < 6458.
b=0 c=0 u[ 6454]: 6485 6485 6485 6485 6485
Event 7.1. u[ 73950] = 74234 < 74235; v[ 74235] = 73945 < 73950.
b=1 c=1 u[ 73946]: 74233 74234 74234 74234 74234
Event 7.1. u[ 73967] = 74241 < 74242; v[ 74242] = 73962 < 73967.
b=1 c=1 u[ 73963]: 74240 74241 74241 74241 74241
Event 7.1. u[ 74151] = 74394 < 74395; v[ 74395] = 74146 < 74151.
b=1 c=1 u[ 74147]: 74393 74394 74394 74394 74394
Event 7.1. u[ 74172] = 74403 < 74404; v[ 74404] = 74167 < 74172.
b=0 c=0 u[ 74168]: 74403 74403 74403 74403 74403
Event 7.1. u[ 74176] = 74404 < 74405; v[ 74405] = 74171 < 74176.
b=1 c=1 u[ 74172]: 74403 74404 74404 74404 74404
Event 7.1. u[ 74191] = 74410 < 74411; v[ 74411] = 74186 < 74191.
b=1 c=1 u[ 74187]: 74409 74410 74410 74410 74410
Event 7.1. u[ 74208] = 74416 < 74417; v[ 74417] = 74203 < 74208.
b=1 c=1 u[ 74204]: 74415 74416 74416 74416 74416
Event 7.1. u[ 74223] = 74422 < 74423; v[ 74423] = 74218 < 74223.
b=1 c=1 u[ 74219]: 74421 74422 74422 74422 74422
Event 7.1. u[ 92690] = 93017 < 93018; v[ 93018] = 92685 < 92690.
b=1 c=1 u[ 92686]: 93016 93016 93017 93017 93017
Event 7.1. u[ 139578] = 140121 < 140122; v[ 140122] = 139573 < 139578.
b=1 c=1 u[ 139574]: 140120 140120 140121 140121 140121
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1536 1666 1508 -1 0 1 8
1537 1670 1508 -1 -1 2 9
1538 1673 1508 0 -2 2 10
1539 1680 1509 0 3 1 7
1540 1683 1509 -1 2 1 8
1541 1688 1509 -1 1 2 9
1542 1693 1509 -1 0 2 10
1543 1698 1509 -1 -1 2 11
1544 1706 1510 0 3 1 8
1545 1710 1510 -1 2 1 9
1546 1713 1510 -1 1 2 10
1688 1962 1540 -1 0 2 8
1689 1963 1540 -1 -1 3 9
1690 1964 1540 0 -2 3 10
1691 1966 1540 -1 -3 1 11
1692 1968 1540 0 -4 2 12
1693 1968 1540 -1 -5 3 13
1694 1968 1541 -2 -1 4 11
1695 1969 1541 -1 -2 5 12
1696 1970 1541 -1 -3 4 13
1697 1971 1541 -1 -4 3 14
1698 1972 1542 -1 0 3 10
6359 6462 6084 0 -2 3 4
6360 6462 6085 -1 -2 4 3
6361 6462 6087 -2 0 5 3
6362 6462 6088 -3 -1 6 2
6363 6462 6089 -4 -1 7 2
6364 6462 6089 -5 -2 8 3
6365 6462 6090 -6 0 9 4
6366 6463 6090 -3 -1 10 5
6367 6463 6092 -4 -1 11 2
6368 6464 6094 0 0 9 2
6369 6464 6094 -1 -1 10 3
6370 6464 6095 -2 -1 11 3
6371 6464 6096 -3 -1 12 3
6418 6476 6169 0 -1 8 2
6419 6476 6169 -1 -2 9 3
6420 6476 6171 -2 -1 10 3
6421 6476 6175 -3 -1 11 2
6422 6476 6175 -4 -2 12 3
6423 6476 6178 -5 -1 13 1
6424 6477 6180 -2 -1 9 2
6425 6477 6182 -3 -1 10 2
6426 6478 6185 1 -1 8 2
6427 6478 6189 0 -1 9 1
6428 6478 6195 -1 -1 10 1
6453 6485 6320 0 -1 6 2
6454 6485 6325 -1 -1 7 2
6455 6485 6330 -2 -1 8 1
6456 6485 6336 -3 -1 9 1
6457 6485 6342 -4 -1 10 1
6458 6485 6346 -5 -1 11 2
6459 6487 6350 2 -1 6 1
6460 6487 6352 1 -1 7 2
6461 6487 6356 0 -1 8 2
6462 6487 6356 -1 -2 9 3
6463 6487 6359 -2 -1 10 1
6464 6488 6363 -1 -2 7 2
6465 6488 6368 -2 -1 8 2
6466 6489 6373 0 -1 5 2
6467 6489 6377 -1 -1 6 1
6468 6490 6381 -2 -1 5 2
6469 6491 6385 -2 -1 3 1
6470 6492 6389 -1 -1 4 2
6471 6493 6393 -1 -1 4 1
6472 6494 6397 -1 -1 3 2
6473 6495 6401 -1 -1 3 2
6474 6496 6406 -1 -1 3 2
6475 6496 6410 -2 -1 4 1
6476 6497 6415 -2 -1 4 1
6477 6498 6418 -2 -1 4 2
6478 6499 6422 -1 -2 4 2
6479 6500 6427 -1 -1 4 1
6480 6501 6432 -1 -1 3 1
6481 6502 6434 -1 -1 3 2
6482 6503 6439 -1 -1 3 2
6483 6504 6442 -1 -1 3 1
6484 6504 6447 -2 -1 4 1
6485 6505 6450 -1 0 4 2
6486 6506 6453 -2 -1 4 1
6487 6508 6457 0 -2 3 2
6488 6508 6461 -1 -1 4 1
6489 6509 6463 -1 -1 4 2
6490 6511 6466 0 -1 2 2
6491 6511 6466 -1 -2 3 3
73945 74233 73653 -2 -1 6 2
73946 74233 73655 -3 -1 7 2
73947 74234 73655 -2 -2 6 3
73948 74234 73656 -3 -2 7 4
73949 74234 73657 -4 -2 8 4
73950 74234 73659 -5 0 9 3
73951 74235 73659 0 -1 8 4
73952 74235 73660 -1 -1 9 4
73953 74236 73662 -2 -1 8 2
73954 74236 73662 -3 -2 9 3
73955 74237 73664 -1 -1 4 3
73962 74240 73672 -2 1 6 2
73963 74240 73672 -3 0 7 3
73964 74241 73673 -2 -1 4 3
73965 74241 73674 -3 -1 5 2
73966 74241 73674 -4 -2 6 3
73967 74241 73675 -5 -1 7 4
73968 74242 73676 -1 -2 8 4
73969 74242 73678 -2 -1 9 3
73970 74243 73678 0 -2 8 4
73971 74243 73680 -1 -1 9 3
73972 74244 73681 -2 -1 5 2
74146 74393 73853 -3 -1 6 4
74147 74393 73854 -4 -1 7 3
74148 74394 73855 -2 -1 7 3
74149 74394 73856 -3 -1 8 3
74150 74394 73857 -4 -1 9 3
74151 74394 73858 -5 0 10 3
74152 74395 73858 0 -1 9 4
74153 74395 73861 -1 0 10 2
74154 74395 73862 -2 -1 11 2
74155 74397 73863 -1 -1 3 2
74156 74397 73864 -2 -1 4 3
74230 74428 73938 -1 0 2 2
74231 74428 73938 -2 -1 3 3
74232 74430 73939 -1 -1 3 4
74233 74431 73941 -1 -1 2 2
74234 74431 73943 -2 -1 3 2
74235 74434 73945 -1 -2 1 2
74236 74435 73951 -1 -1 2 2
74237 74437 73951 0 -2 2 3
74238 74437 73954 -1 -1 3 2
74239 74438 73956 -1 -1 4 2
74240 74440 73960 0 -1 2 2
74241 74440 73960 -1 -2 3 3
74242 74440 73962 -2 -2 4 3
74243 74441 73967 -1 -1 5 2
74244 74443 73970 -1 -1 2 2
74245 74445 73970 0 -2 2 3
74246 74445 73973 -1 -1 3 2
74247 74446 73978 0 -1 4 2
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 106944 106944 0 0 -1
-2 47274 47485 0 0 -2
-3 843 765 0 0 -3
-4 96 49 0 0 -4
-5 13 2 0 0 -5
-6 1 0 0 0 -6
-7 0 0 0 0 -7
Totals / Min / Under -25:
155171 155245 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 187778 0 25 20
0 -79 0 -59 0 -39 0 -19 192255 1 25 21
0 -78 0 -58 0 -38 0 -18 95960 2 25 22
0 -77 0 -57 0 -37 0 -17 10749 3 25 23
0 -76 0 -56 0 -36 0 -16 610 4 25 24
0 -75 0 -55 0 -35 0 -15 104 5 25 25
0 -74 0 -54 0 -34 0 -14 55 6 25 26
0 -73 0 -53 0 -33 0 -13 28 7 25 27
0 -72 0 -52 0 -32 0 -12 30 8 25 28
0 -71 0 -51 0 -31 0 -11 27 9 25 29
0 -70 0 -50 0 -30 0 -10 25 10 25 30
0 -69 0 -49 0 -29 0 -9 25 11 26 31
0 -68 0 -48 0 -28 0 -8 25 12 24 32
0 -67 0 -47 0 -27 0 -7 25 13 24 33
0 -66 0 -46 0 -26 1 -6 25 14 24 34
0 -65 0 -45 0 -25 15 -5 25 15 24 35
0 -64 0 -44 0 -24 145 -4 25 16 24 36
0 -63 0 -43 0 -23 1608 -3 25 17 21 37
0 -62 0 -42 0 -22 94759 -2 25 18 24 38
0 -61 0 -41 0 -21 213888 -1 25 19 19 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | o|
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooooo
60000 | ooooo
40000 | ooooo
20000 | ooooo
0 |_________._________.___oooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 799334. Min thru -81 = 0.
Type = RR|CC1. Minimum = -6. -80 thru -1 = 310416.
Behav = Relaxed. Maximum = 276. 0 thru 39 = 488331.
histend K = 200000. 40 thru Max = 587.
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 12 0 26 20
0 -79 0 -59 0 -39 0 -19 14587 1 26 21
0 -78 0 -58 0 -38 0 -18 93684 2 26 22
0 -77 0 -57 0 -37 0 -17 169645 3 26 23
0 -76 0 -56 0 -36 0 -16 101833 4 26 24
0 -75 0 -55 0 -35 0 -15 15180 5 26 25
0 -74 0 -54 0 -34 0 -14 1844 6 26 26
0 -73 0 -53 0 -33 0 -13 346 7 26 27
0 -72 0 -52 0 -32 0 -12 262 8 26 28
0 -71 0 -51 0 -31 0 -11 219 9 26 29
0 -70 0 -50 0 -30 0 -10 164 10 26 30
0 -69 0 -49 0 -29 0 -9 118 11 26 31
0 -68 0 -48 0 -28 0 -8 84 12 26 32
0 -67 0 -47 0 -27 0 -7 62 13 25 33
0 -66 0 -46 0 -26 0 -6 39 14 25 34
0 -65 0 -45 0 -25 0 -5 29 15 25 35
0 -64 0 -44 0 -24 0 -4 26 16 25 36
0 -63 0 -43 0 -23 0 -3 26 17 25 37
0 -62 0 -42 0 -22 0 -2 26 18 25 38
0 -61 0 -41 0 -21 0 -1 26 19 25 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | | o
150000 | | o
140000 | | o
130000 | | o
120000 | | o
110000 | | o
100000 | | oo
90000 | | ooo
80000 | | ooo
70000 | | ooo
60000 | | ooo
50000 | | ooo
40000 | | ooo
30000 | | ooo
20000 | | ooo
10000 | |ooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 399995. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 661. 0 thru 39 = 398725.
histend K = 200000. 40 thru Max = 1270.
End analysis of Test T720 at 09:56:26.448 980422
==sss========================================================================
Test T800. Seek a relaxation of both A(CMP,UPO,CC3)
and A(CMP,UPO,WW,WR)
or of A(CMP,UPO,CC3),
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc.
Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent
modulo 10, where i+ > i, and W = U, V, X, Y.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a < b < c < d < e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a > b > c > d > e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3).
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T800 at 09:56:26.719 980422
End execution of Test T800 at 09:56:27.011 980422
Duration 0.292
Start analysis of Test T800 at 09:56:27.523 980422
Thread start, stop, and dur times.
0.046 0.046 0.000 0.000 0.000 0.000 0.000 0.000
0.291 0.288 0.000 0.000 0.000 0.000 0.000 0.000
0.245 0.242 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 330 2 3
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 530431 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 1354321 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....:....
11 F
11 F
11 F 2
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 2
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
1 F 22
11F 22
11F222
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
11F22
1F22
1F22
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
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 760090 0 0 20
0 -79 0 -59 0 -39 0 -19 812 1 0 21
0 -78 0 -58 0 -38 0 -18 1357 2 0 22
0 -77 0 -57 0 -37 0 -17 4349 3 0 23
0 -76 0 -56 0 -36 0 -16 2787 4 0 24
0 -75 0 -55 0 -35 0 -15 525 5 0 25
0 -74 0 -54 0 -34 0 -14 28 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooo__._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 769955. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 216. 0 thru 39 = 769950.
histend K = 200000. 40 thru Max = 5.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 760091 0 0 20
0 -79 0 -59 0 -39 0 -19 513 1 0 21
0 -78 0 -58 0 -38 0 -18 2142 2 0 22
0 -77 0 -57 0 -37 0 -17 3864 3 0 23
0 -76 0 -56 0 -36 0 -16 3010 4 0 24
0 -75 0 -55 0 -35 0 -15 26 5 0 25
0 -74 0 -54 0 -34 0 -14 1 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 |_________._________._________.oooooo___._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 769647. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6. 0 thru 39 = 769647.
histend K = 200000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T800 at 09:57:16.962 980422
==sss========================================================================
Test T820. Seek a relaxation of both A(CMP,UPO,CC3)
and A(CMP,UPO,WW,WR)
or of A(CMP,UPO,CC3),
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc.
Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent
modulo 10, where i+ > i, and W = U, V, X, Y.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a < b < c < d < e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a > b > c > d > e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3).
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T820 at 09:57:17.211 980422
End execution of Test T820 at 09:57:17.500 980422
Duration 0.289
Start analysis of Test T820 at 09:57:17.932 980422
Thread start, stop, and dur times.
0.039 0.039 0.000 0.000 0.000 0.000 0.000 0.000
0.288 0.287 0.000 0.000 0.000 0.000 0.000 0.000
0.249 0.248 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 512921 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 1317161 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1484010 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1699830 1699831 1699832 1699833
179982 1799820 1799821 1799822 1799823
189981 1899810 1899811 1899812 1899813
199980 1999800 1999801 1999802 1999803
dim = 80, max = 2000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1F
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
2F2
F1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 771430 0 0 20
0 -79 0 -59 0 -39 0 -19 962 1 0 21
0 -78 0 -58 0 -38 0 -18 972 2 0 22
0 -77 0 -57 0 -37 0 -17 4283 3 0 23
0 -76 0 -56 0 -36 0 -16 1047 4 0 24
0 -75 0 -55 0 -35 0 -15 248 5 0 25
0 -74 0 -54 0 -34 0 -14 3 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooo__._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 778952. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1005. 0 thru 39 = 778947.
histend K = 200000. 40 thru Max = 5.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 771430 0 0 20
0 -79 0 -59 0 -39 0 -19 15 1 0 21
0 -78 0 -58 0 -38 0 -18 4429 2 0 22
0 -77 0 -57 0 -37 0 -17 2125 3 0 23
0 -76 0 -56 0 -36 0 -16 711 4 0 24
0 -75 0 -55 0 -35 0 -15 6 5 0 25
0 -74 0 -54 0 -34 0 -14 5 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 1 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.oooooooo_._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 778726. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 62. 0 thru 39 = 778724.
histend K = 200000. 40 thru Max = 2.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T820 at 09:58:05.871 980422
==sss========================================================================
The maximum number of threads (2) is too few to run Test T900.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T920.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1000.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1010.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1020.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1030.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1100.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1110.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1120.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1200.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1210.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1220.
==sss========================================================================
================================================================================
Summary of run: 09:58:05.891 980422
ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
This copy of ARCHTEST is licensed (under license no. vvv )
for use by vvv at vvv
Documentation is available via www.infomall.org/diagnostics.
This data was generated by ARCHTEST on a 2-way SUN Sparc 20
running Solaris 2.4. ARCHTEST was compiled using Version 2.7.0
of the GNU compiler.
The test was conducted under the auspices of Neil Sobrado,
Systems Administrator (sobrad22@eelab.newpaltz.edu), and
Dr. Owen B. Hill, Chair, Department of Electrical Engineering,
SUNY New Paltz.
Number of threads: 2.
Length of the arrays: 200000.
Frequency of fetching shared operands before stores: never
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.347 0.626 T100 1 0
0.318 0.557 T120 0 1
0.445 1.705 T200 2 0
0.661 1.643 T210 1 1
0.522 1.656 T220 0 2
0.223 2.907 T400.1 -13 2 0
T400.2 2 0
0.385 2.618 T410.1 -11 1 1
T410.2 1 1
0.404 2.805 T420.1 -8 0 2
T420.2 0 2
0.242 2.965 T700.1 -9 2 0
T700.2 2 0
0.383 2.696 T710.1 -8 1 1
T710.2 1 1
0.353 2.832 T720.1 -6 0 2
T720.2 0 2
0.292 49.439 T800 1 0
0.289 47.939 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