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 |