ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
10:01:28.923 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: a1111100.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 10:01:45.165 980422
End execution of Test T100 at 10:01:45.640 980422
Duration 0.475
Start analysis of Test T100 at 10:01:45.641 980422
Thread start, stop, and dur times.
0.051 0.050 0.000 0.000 0.000 0.000 0.000 0.000
0.474 0.153 0.000 0.000 0.000 0.000 0.000 0.000
0.423 0.103 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 6477 0 0 0
19998 14449 0 0 0
29997 22520 0 0 0
39996 30390 0 0 0
49995 38245 0 0 0
59994 40898 0 0 0
69993 48975 0 0 0
79992 56798 0 0 0
89991 64779 0 0 0
99990 72765 0 0 0
109989 80786 0 0 0
119988 84905 0 0 0
129987 84905 0 0 0
139986 84905 0 0 0
149985 84905 0 0 0
159984 84905 0 0 0
169983 84905 0 0 0
179982 84905 0 0 0
189981 84905 0 0 0
199980 84905 0 0 0
dim = 80, max = 84906, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 142767 0
1 30220 30676
2 26688 7426
3 304 16511
4 14 2182
5 0 246
6 0 156
7 0 19
8 0 6
9 0 2
10 0 1
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 5 6
End analysis of Test T100 at 10:01:46.184 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 10:01:46.427 980422
End execution of Test T120 at 10:01:46.824 980422
Duration 0.397
Start analysis of Test T120 at 10:01:46.955 980422
Thread start, stop, and dur times.
0.028 0.028 0.000 0.000 0.000 0.000 0.000 0.000
0.396 0.188 0.000 0.000 0.000 0.000 0.000 0.000
0.368 0.160 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 7938 0 0 0
19998 16785 0 0 0
29997 25569 0 0 0
39996 34564 0 0 0
49995 43021 0 0 0
59994 51880 0 0 0
69993 60667 0 0 0
79992 69483 0 0 0
89991 78332 0 0 0
99990 87240 0 0 0
109989 95682 0 0 0
119988 104492 0 0 0
129987 113326 0 0 0
139986 122116 0 0 0
149985 131502 0 0 0
159984 140291 0 0 0
169983 149074 0 0 0
179982 157878 0 0 0
189981 166629 0 0 0
199980 175659 0 0 0
dim = 80, max = 175676, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 50827 0
1 124622 122931
2 24480 3726
3 47 21804
4 2 586
5 1 55
6 0 56
7 0 6
8 0 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 0 0
19 0 0
over 19 6
End analysis of Test T120 at 10:01:47.512 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 10:01:47.784 980422
line3
End execution of Test T200 at 10:01:48.678 980422
Duration 0.894
Start analysis of Test T200 at 10:01:48.679 980422
Thread start, stop, and dur times.
0.196 0.196 0.000 0.000 0.000 0.000 0.000 0.000
0.894 0.480 0.000 0.000 0.000 0.000 0.000 0.000
0.698 0.284 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 12040 12040 0 0
19998 24173 24174 0 0
29997 35925 35924 0 0
39996 48267 48266 0 0
49995 60214 60215 0 0
59994 72618 72619 0 0
69993 85023 85024 0 0
79992 97208 97207 0 0
89991 109510 109511 0 0
99990 121807 121808 0 0
109989 134001 134002 0 0
119988 146337 146338 0 0
129987 158749 158748 0 0
139986 169381 169380 0 0
149985 181598 181597 0 0
159984 194118 194119 0 0
169983 207169 207170 0 0
179982 219619 219619 0 0
189981 232181 232182 0 0
199980 244566 244565 0 0
dim = 80, max = 244591, 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
3
3
3
3
33
3
3
3
3
3
3
33
33
3
3
33
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 131580 0
1 55204 146280
2 209304 121545
3 3813 141
4 63 385
5 4 5
6 0 0
7 0 4
8 0 0
9 0 0
10 0 1
11 0 1
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 28 54
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 197434 0 0 20
0 -79 0 -59 0 -39 0 -19 280948 1 0 21
0 -78 0 -58 0 -38 0 -18 317443 2 1 22
0 -77 0 -57 0 -37 0 -17 4052 3 2 23
0 -76 0 -56 0 -36 0 -16 69 4 0 24
0 -75 0 -55 0 -35 0 -15 4 5 1 25
0 -74 0 -54 0 -34 0 -14 0 6 4 26
0 -73 0 -53 0 -33 0 -13 0 7 1 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 2 31
0 -68 0 -48 0 -28 0 -8 0 12 1 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 3 35
0 -64 0 -44 0 -24 0 -4 0 16 3 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 | | o
280000 | |oo
260000 | |oo
240000 | |oo
220000 | |oo
200000 | |oo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooo____._________._oo_ooo__.oo__oo___
-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 = 778. 0 thru 39 = 799968.
histend K = 200000. 40 thru Max = 24.
End analysis of Test T200 at 10:01:50.296 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 10:01:50.548 980422
End execution of Test T210 at 10:01:51.498 980422
Duration 0.950
Start analysis of Test T210 at 10:01:51.576 980422
Thread start, stop, and dur times.
0.202 0.202 0.000 0.000 0.000 0.000 0.000 0.000
0.949 0.487 0.000 0.000 0.000 0.000 0.000 0.000
0.747 0.285 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 11061 11061 0 0
19998 22701 22702 0 0
29997 33460 33459 0 0
39996 44625 44625 0 0
49995 56118 56118 0 0
59994 67474 67473 0 0
69993 78815 78816 0 0
79992 89905 89905 0 0
89991 101033 101034 0 0
99990 112467 112467 0 0
109989 123990 123989 0 0
119988 135426 135426 0 0
129987 146942 146942 0 0
139986 158490 158490 0 0
149985 170102 170103 0 0
159984 181921 181922 0 0
169983 193718 193719 0 0
179982 205453 205454 0 0
189981 217432 217432 0 0
199980 229202 229202 0 0
dim = 80, max = 229224, 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
3
3
3
3
3
3
3
3
3
3
3
3
33
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 132405 0
1 81683 139722
2 184331 127122
3 1487 326
4 33 378
5 1 16
6 0 1
7 0 2
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 54 24
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 198655 0 2 20
0 -79 0 -59 0 -39 0 -19 321825 1 3 21
0 -78 0 -58 0 -38 0 -18 277729 2 1 22
0 -77 0 -57 0 -37 0 -17 1663 3 2 23
0 -76 0 -56 0 -36 0 -16 35 4 4 24
0 -75 0 -55 0 -35 0 -15 1 5 5 25
0 -74 0 -54 0 -34 0 -14 0 6 6 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 3 29
0 -70 0 -50 0 -30 0 -10 0 10 4 30
0 -69 0 -49 0 -29 0 -9 0 11 2 31
0 -68 0 -48 0 -28 0 -8 0 12 2 32
0 -67 0 -47 0 -27 0 -7 0 13 1 33
0 -66 0 -46 0 -26 0 -6 0 14 3 34
0 -65 0 -45 0 -25 0 -5 0 15 2 35
0 -64 0 -44 0 -24 0 -4 0 16 1 36
0 -63 0 -43 0 -23 0 -3 0 17 3 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 1 19 0 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |o
300000 | |o
280000 | |o
260000 | |oo
240000 | |oo
220000 | |oo
200000 | |oo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooo____.________oooooooo__ooooooooo__
-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 = 336. 0 thru 39 = 799953.
histend K = 200000. 40 thru Max = 39.
End analysis of Test T210 at 10:01:53.200 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 10:01:53.456 980422
End execution of Test T220 at 10:01:54.343 980422
Duration 0.887
Start analysis of Test T220 at 10:01:54.478 980422
Thread start, stop, and dur times.
0.124 0.124 0.000 0.000 0.000 0.000 0.000 0.000
0.886 0.406 0.000 0.000 0.000 0.000 0.000 0.000
0.762 0.282 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 11031 11030 0 0
19998 22577 22578 0 0
29997 34010 34010 0 0
39996 45493 45493 0 0
49995 56965 56965 0 0
59994 68432 68431 0 0
69993 79909 79909 0 0
79992 91452 91452 0 0
89991 102971 102972 0 0
99990 114490 114490 0 0
109989 125962 125963 0 0
119988 137276 137277 0 0
129987 148425 148426 0 0
139986 159871 159871 0 0
149985 171252 171252 0 0
159984 182689 182690 0 0
169983 194133 194133 0 0
179982 205551 205552 0 0
189981 214881 214881 0 0
199980 225419 225419 0 0
dim = 80, max = 225440, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 137685 0
1 79161 135523
2 181459 125668
3 1586 246
4 29 845
5 4 6
6 0 1
7 0 1
8 0 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 6 0
19 6 0
over 56 20
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 206565 0 6 20
0 -79 0 -59 0 -39 0 -19 317950 1 3 21
0 -78 0 -58 0 -38 0 -18 273639 2 0 22
0 -77 0 -57 0 -37 0 -17 1694 3 2 23
0 -76 0 -56 0 -36 0 -16 32 4 1 24
0 -75 0 -55 0 -35 0 -15 4 5 8 25
0 -74 0 -54 0 -34 0 -14 0 6 9 26
0 -73 0 -53 0 -33 0 -13 0 7 4 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 6 29
0 -70 0 -50 0 -30 0 -10 0 10 1 30
0 -69 0 -49 0 -29 0 -9 0 11 1 31
0 -68 0 -48 0 -28 0 -8 0 12 1 32
0 -67 0 -47 0 -27 0 -7 0 13 9 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 3 37
0 -62 0 -42 0 -22 0 -2 10 18 0 38
0 -61 0 -41 0 -21 0 -1 8 19 0 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |o
280000 | |o
260000 | |oo
240000 | |oo
220000 | |oo
200000 | ooo
180000 | ooo
160000 | ooo
140000 | ooo
120000 | ooo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
0 |_________._________._________.ooooo____._______oooo_ooooo_ooooo___o__
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 220. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 357. 0 thru 39 = 799956.
histend K = 200000. 40 thru Max = 36.
End analysis of Test T220 at 10:01:56.093 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 10:01:56.341 980422
End execution of Test T400 at 10:01:56.656 980422
Duration 0.315
Start analysis of Test T400 at 10:01:56.658 980422
Thread start, stop, and dur times.
0.079 0.079 0.000 0.000 0.000 0.000 0.000 0.000
0.311 0.315 0.000 0.000 0.000 0.000 0.000 0.000
0.232 0.236 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 10215 9784 0 0
19998 20331 19664 0 0
29997 25148 41452 0 0
39996 28448 51076 0 0
49995 38882 60343 0 0
59994 49634 70240 0 0
69993 59732 79540 0 0
79992 70787 88867 0 0
89991 81142 98576 0 0
99990 91435 107887 0 0
109989 102185 117470 0 0
119988 112572 127102 0 0
129987 122941 136750 0 0
139986 133353 146447 0 0
149985 143617 156153 0 0
159984 154129 165559 0 0
169983 164762 175434 0 0
179982 174646 185264 0 0
189981 184483 195446 0 0
199980 194646 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
1
2 1
2 1
2 1
22 1
2 1
2 1
1
2 1
22 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
22 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
1
1
1
111111
3
1
12
12
12
12
12
12
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 142247 0
1 152097 159835
2 90452 76667
3 14798 19168
4 284 1932
5 69 108
6 18 8
7 3 2
8 0 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 0 0
19 0 0
over 28 28
d = -6.
Event 4.1. u[ 188871] = 183476 < 183477; v[ 183477] = 188865 < 188871.
b=1 c=1 u[ 188866]: 183475 183475 183475 183476 183476 183476
Event 4.1. u[ 188887] = 183482 < 183483; v[ 183483] = 188881 < 188887.
b=1 c=1 u[ 188882]: 183481 183481 183481 183482 183482 183482
d = -5.
Event 4.1. u[ 1244] = 1302 < 1303; v[ 1303] = 1239 < 1244.
b=0 c=0 u[ 1240]: 1302 1302 1302 1302 1302
Event 4.1. u[ 1483] = 1550 < 1551; v[ 1551] = 1478 < 1483.
b=0 c=0 u[ 1479]: 1550 1550 1550 1550 1550
Event 4.1. u[ 2869] = 2997 < 2998; v[ 2998] = 2864 < 2869.
b=1 c=1 u[ 2865]: 2996 2996 2997 2997 2997
Event 4.2. v[ 13260] = 13032 < 13033; u[ 13033] = 13255 < 13260.
b=2 c=1 v[ 13256]: 13030 13032 13032 13032 13032
Event 4.1. u[ 22572] = 22766 < 22767; v[ 22767] = 22567 < 22572.
b=0 c=0 u[ 22568]: 22766 22766 22766 22766 22766
Event 4.1. u[ 78219] = 68100 < 68101; v[ 68101] = 78214 < 78219.
b=0 c=0 u[ 78215]: 68100 68100 68100 68100 68100
Event 4.2. v[ 159387] = 165026 < 165027; u[ 165027] = 159382 < 159387.
b=1 c=1 v[ 159383]: 165025 165025 165026 165026 165026
Event 4.2. v[ 159515] = 165135 < 165136; u[ 165136] = 159510 < 159515.
b=0 c=0 v[ 159511]: 165135 165135 165135 165135 165135
Event 4.2. v[ 159529] = 165144 < 165145; u[ 165145] = 159524 < 159529.
b=2 c=2 v[ 159525]: 165142 165143 165144 165144 165144
Event 4.1. u[ 188868] = 183475 < 183476; v[ 183476] = 188863 < 188868.
b=1 c=1 u[ 188864]: 183474 183474 183475 183475 183475
Event 4.1. u[ 188870] = 183476 < 183477; v[ 183477] = 188865 < 188870.
b=1 c=1 u[ 188866]: 183475 183475 183475 183476 183476
Event 4.1. u[ 188874] = 183477 < 183478; v[ 183478] = 188869 < 188874.
b=1 c=1 u[ 188870]: 183476 183476 183477 183477 183477
Event 4.1. u[ 194752] = 189310 < 189311; v[ 189311] = 194747 < 194752.
b=1 c=1 u[ 194748]: 189309 189309 189310 189310 189310
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1239 1301 1175 0 -1 3 3
1240 1302 1176 -1 -2 2 3
1241 1302 1178 -2 -1 3 3
1242 1302 1179 -3 0 4 4
1243 1302 1181 -4 0 5 1
1244 1302 1181 -5 -1 6 2
1245 1304 1183 -1 0 6 2
1246 1305 1183 -1 -1 4 3
1247 1306 1185 -1 1 3 2
1248 1309 1185 0 0 1 3
1249 1309 1185 -1 -1 2 4
1298 1358 1233 -2 0 3 3
1299 1358 1235 -3 0 4 1
1300 1360 1236 0 -1 4 2
1301 1362 1238 0 0 1 2
1302 1362 1239 -1 0 2 1
1303 1364 1239 0 -1 2 2
1304 1366 1242 -1 -2 1 2
1305 1368 1244 -1 -1 2 3
1306 1370 1245 0 -1 2 4
1307 1371 1246 0 -1 3 3
1308 1372 1247 0 1 2 3
1478 1549 1407 0 -1 2 3
1479 1550 1409 -1 2 2 2
1480 1550 1409 -2 1 3 3
1481 1550 1409 -3 0 4 4
1482 1550 1410 -4 0 5 4
1483 1550 1411 -5 0 6 2
1484 1552 1412 0 0 6 2
1485 1554 1413 -1 0 1 2
1486 1555 1414 -1 0 2 2
1487 1557 1415 0 0 2 2
1488 1559 1416 -1 -1 1 2
1546 1622 1475 1 0 1 3
1547 1622 1475 0 -1 2 4
1548 1622 1476 -1 -1 3 3
1549 1624 1477 0 0 2 3
1550 1625 1478 -1 0 1 3
1551 1626 1478 -1 -1 2 4
1552 1629 1481 0 -2 2 2
1553 1630 1484 -1 1 1 3
1554 1630 1484 -2 0 2 4
1555 1630 1484 -3 -1 3 5
1556 1632 1485 0 -1 4 4
2864 2996 2732 -2 -1 7 2
2865 2996 2734 -3 1 8 2
2866 2996 2734 -4 0 9 3
2867 2997 2734 -3 -1 7 4
2868 2997 2735 -4 1 8 3
2869 2997 2735 -5 0 9 4
2870 2998 2736 -2 0 8 4
2871 2998 2736 -3 -1 9 5
2872 3000 2737 0 -1 4 3
2873 3000 2739 -1 2 5 2
2874 3000 2739 -2 1 6 3
2993 3111 2853 -1 -2 3 2
2994 3113 2855 -1 -1 2 3
2995 3114 2857 -1 -2 3 2
2996 3116 2860 1 -1 2 3
2997 3116 2862 0 -1 3 2
2998 3116 2864 -1 -2 4 2
2999 3118 2868 0 -2 2 2
3000 3118 2872 -1 0 3 2
3001 3121 2872 1 -1 2 3
3002 3121 2872 0 -2 3 4
3003 3121 2875 -1 -1 4 3
183471 178152 188854 -1 0 4 2
183472 178153 188857 -1 -1 3 1
183473 178156 188859 -1 0 1 2
183474 178156 188862 -2 0 2 1
183475 178158 188862 -1 -1 3 2
183476 178158 188863 -2 -2 4 3
183477 178159 188865 -1 -2 3 3
183478 178161 188869 0 -2 2 3
183479 178162 188872 -1 -2 2 3
183480 178164 188877 0 0 2 2
183481 178164 188880 -1 -1 3 1
183482 178166 188880 0 -2 2 2
183483 178166 188881 -1 -2 3 3
183484 178166 188885 -2 -2 4 3
183485 178168 188888 0 -2 3 3
183486 178169 188893 0 0 2 2
183487 178170 188898 0 -1 2 1
183488 178171 188900 0 0 2 2
183489 178173 188903 -1 -1 1 1
188863 183474 194290 -1 -1 4 2
188864 183474 194292 -2 1 5 2
188865 183474 194292 -3 0 6 3
188866 183475 194293 -3 -1 4 3
188867 183475 194295 -4 1 5 2
188868 183475 194295 -5 0 6 3
188869 183476 194295 -4 -1 7 4
188870 183476 194296 -5 0 8 3
188871 183476 194296 -6 -1 9 4
188872 183477 194299 -3 1 9 2
188873 183477 194299 -4 0 10 3
188874 183477 194300 -5 -1 11 3
188875 183478 194302 -3 1 10 2
188876 183478 194302 -4 0 11 3
188877 183479 194302 0 -1 8 4
188878 183480 194303 2 -1 6 3
188879 183480 194303 1 -2 7 4
188880 183480 194304 0 -1 8 4
188881 183480 194305 -1 0 9 4
188882 183481 194307 -2 0 5 1
188883 183481 194307 -3 -1 6 2
188884 183481 194309 -4 0 7 2
188885 183482 194310 -4 0 5 3
188886 183482 194311 -5 0 6 2
188887 183482 194313 -6 -1 7 1
188888 183483 194315 -3 0 8 2
188889 183483 194316 -4 0 9 2
188890 183484 194317 -2 -1 9 2
188891 183484 194318 -3 0 10 2
188892 183484 194319 -4 0 11 3
188893 183485 194319 0 -1 8 4
194747 189309 199999 0 2097152 3 85
194748 189309 199999 -1 2097152 4 86
194749 189309 199999 -2 2097152 5 87
194750 189310 199999 -3 2097152 6 88
194751 189310 199999 -4 2097152 7 89
194752 189310 199999 -5 2097152 8 90
194753 189313 199999 0 2097152 3 91
194754 189314 199999 -1 2097152 4 92
194755 189314 199999 -2 2097152 5 93
194756 189315 199999 -3 2097152 3 94
194757 189315 199999 -4 2097152 4 95
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 68644 68644 0 0 -1
-2 18741 17166 0 0 -2
-3 1528 1372 0 0 -3
-4 173 36 0 0 -4
-5 14 5 0 0 -5
-6 2 0 0 0 -6
-7 0 0 0 0 -7
Totals / Min / Under -25:
89102 87223 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 315076 0 28 20
0 -79 0 -59 0 -39 0 -19 177825 1 28 21
0 -78 0 -58 0 -38 0 -18 94490 2 28 22
0 -77 0 -57 0 -37 0 -17 14963 3 28 23
0 -76 0 -56 0 -36 0 -16 347 4 28 24
0 -75 0 -55 0 -35 0 -15 104 5 28 25
0 -74 0 -54 0 -34 0 -14 47 6 28 26
0 -73 0 -53 0 -33 0 -13 31 7 28 27
0 -72 0 -52 0 -32 0 -12 28 8 28 28
0 -71 0 -51 0 -31 0 -11 28 9 28 29
0 -70 0 -50 0 -30 0 -10 28 10 28 30
0 -69 0 -49 0 -29 0 -9 28 11 28 31
0 -68 0 -48 0 -28 0 -8 28 12 28 32
0 -67 0 -47 0 -27 0 -7 28 13 28 33
0 -66 0 -46 0 -26 2 -6 28 14 28 34
0 -65 0 -45 0 -25 19 -5 28 15 28 35
0 -64 0 -44 0 -24 209 -4 28 16 28 36
0 -63 0 -43 0 -23 2900 -3 28 17 28 37
0 -62 0 -42 0 -22 35907 -2 28 18 28 38
0 -61 0 -41 0 -21 137288 -1 28 19 28 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | oo
140000 | oo
120000 | ooo
100000 | ooo
80000 | oooo
60000 | oooo
40000 | oooo
20000 | ooooo
0 |_________._________.___oooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 794658. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -6. -80 thru -1 = 176325.
Behav = Relaxed. Maximum = 11758. 0 thru 39 = 603779.
histend K = 200000. 40 thru Max = 14554.
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 29 20
0 -79 0 -59 0 -39 0 -19 25729 1 29 21
0 -78 0 -58 0 -38 0 -18 152852 2 29 22
0 -77 0 -57 0 -37 0 -17 137850 3 29 23
0 -76 0 -56 0 -36 0 -16 53777 4 29 24
0 -75 0 -55 0 -35 0 -15 7762 5 29 25
0 -74 0 -54 0 -34 0 -14 638 6 29 26
0 -73 0 -53 0 -33 0 -13 257 7 29 27
0 -72 0 -52 0 -32 0 -12 168 8 29 28
0 -71 0 -51 0 -31 0 -11 107 9 29 29
0 -70 0 -50 0 -30 0 -10 65 10 29 30
0 -69 0 -49 0 -29 0 -9 45 11 29 31
0 -68 0 -48 0 -28 0 -8 33 12 29 32
0 -67 0 -47 0 -27 0 -7 29 13 29 33
0 -66 0 -46 0 -26 0 -6 29 14 29 34
0 -65 0 -45 0 -25 0 -5 29 15 29 35
0 -64 0 -44 0 -24 0 -4 29 16 29 36
0 -63 0 -43 0 -23 0 -3 29 17 29 37
0 -62 0 -42 0 -22 0 -2 29 18 29 38
0 -61 0 -41 0 -21 0 -1 29 19 29 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | o
140000 | | o
130000 | | oo
120000 | | oo
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | ooo
40000 | | ooo
30000 | | ooo
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 = 400. Total = 399997. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 11760. 0 thru 39 = 380069.
histend K = 200000. 40 thru Max = 19928.
End analysis of Test T400 at 10:01:59.294 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 10:01:59.543 980422
End execution of Test T410 at 10:02:00.288 980422
Duration 0.745
Start analysis of Test T410 at 10:02:00.366 980422
Thread start, stop, and dur times.
0.157 0.157 0.000 0.000 0.000 0.000 0.000 0.000
0.744 0.346 0.000 0.000 0.000 0.000 0.000 0.000
0.587 0.189 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 2 0 0
9999 39544 2561 0 0
19998 78920 5051 0 0
29997 118112 7608 0 0
39996 157662 10114 0 0
49995 196582 12562 0 0
59994 199999 15116 0 0
69993 199999 17692 0 0
79992 199999 20271 0 0
89991 199999 22841 0 0
99990 199999 25364 0 0
109989 199999 27930 0 0
119988 199999 30475 0 0
129987 199999 32991 0 0
139986 199999 35531 0 0
149985 199999 38054 0 0
159984 199999 40578 0 0
169983 199999 43154 0 0
179982 199999 45698 0 0
189981 199999 48314 0 0
199980 199999 50859 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111111111111111111111111111111111111111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1 22
2222
222
2222
1 2222
2222
2222
2222
2222
1 2222
2222
222
1 2222
2222
2222
2222
2222
1 2222
2222
2222
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 298815 0
1 50615 50934
2 406 848
3 13605 13344
4 26398 25824
5 9348 8446
6 755 1302
7 26 373
8 1 75
9 0 7
10 0 1
11 1 1
12 0 0
13 1 1
14 1 0
15 1 1
16 0 1
17 0 0
18 1 1
19 0 0
over 22 22
d = -3.
Event 4.2. v[ 607] = 175 < 176; u[ 176] = 604 < 607.
b=0 c=0 v[ 605]: 175 175 175
Event 4.2. v[ 2530] = 688 < 689; u[ 689] = 2527 < 2530.
b=0 c=0 v[ 2528]: 688 688 688
Event 4.2. v[ 4296] = 1151 < 1152; u[ 1152] = 4293 < 4296.
b=0 c=0 v[ 4294]: 1151 1151 1151
Event 4.2. v[ 4807] = 1279 < 1280; u[ 1280] = 4804 < 4807.
b=0 c=0 v[ 4805]: 1279 1279 1279
Event 4.2. v[ 5000] = 1327 < 1328; u[ 1328] = 4997 < 5000.
b=0 c=0 v[ 4998]: 1327 1327 1327
Event 4.2. v[ 6023] = 1583 < 1584; u[ 1584] = 6020 < 6023.
b=0 c=0 v[ 6021]: 1583 1583 1583
Event 4.2. v[ 9535] = 2447 < 2448; u[ 2448] = 9532 < 9535.
b=0 c=0 v[ 9533]: 2447 2447 2447
Event 4.2. v[ 10895] = 2767 < 2768; u[ 2768] = 10892 < 10895.
b=0 c=0 v[ 10893]: 2767 2767 2767
Event 4.2. v[ 12959] = 3279 < 3280; u[ 3280] = 12956 < 12959.
b=0 c=0 v[ 12957]: 3279 3279 3279
Event 4.2. v[ 14288] = 3607 < 3608; u[ 3608] = 14285 < 14288.
b=0 c=0 v[ 14286]: 3607 3607 3607
Event 4.2. v[ 14382] = 3631 < 3632; u[ 3632] = 14379 < 14382.
b=0 c=0 v[ 14380]: 3631 3631 3631
Event 4.2. v[ 15863] = 3999 < 4000; u[ 4000] = 15860 < 15863.
b=0 c=0 v[ 15861]: 3999 3999 3999
Event 4.2. v[ 15928] = 4015 < 4016; u[ 4016] = 15925 < 15928.
b=0 c=0 v[ 15926]: 4015 4015 4015
d = -2.
Event 4.2. v[ 4] = 15 < 16; u[ 16] = 2 < 4.
b=0 c=0 v[ 3]: 15 15
Event 4.2. v[ 199877] = 50832 < 50833; u[ 50833] = 199875 < 199877.
b=0 c=0 v[ 199876]: 50832 50832
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
173 594 62 0 0 1 8
174 597 63 0 3 1 5
175 599 63 0 2 1 6
176 604 63 -1 1 1 7
177 608 63 0 0 2 8
178 612 63 0 -1 1 9
179 617 63 0 -2 1 10
604 2207 175 0 0 1 7
605 2210 175 0 -1 1 8
606 2214 175 0 -2 1 9
607 2217 175 0 -3 1 10
608 2221 177 -1 4 1 4
609 2226 177 0 3 1 5
610 2230 177 0 2 1 6
686 2517 199 0 3 1 5
687 2519 199 0 2 1 6
688 2524 199 -1 1 1 7
689 2527 200 -1 3 2 3
690 2533 200 0 2 1 4
691 2537 200 0 1 1 5
692 2541 200 0 0 1 6
1149 4282 321 0 4 1 5
1150 4285 321 0 3 1 6
1151 4289 321 0 2 1 7
1152 4293 321 -1 1 1 8
1153 4298 321 -1 0 1 9
1154 4302 322 0 3 1 6
1155 4305 322 0 2 1 7
1277 4793 356 0 4 1 3
1278 4796 356 0 3 1 4
1279 4800 356 0 2 1 5
1280 4804 356 -1 1 1 6
1281 4809 357 -1 4 1 4
1282 4813 357 0 3 1 5
1283 4817 357 0 2 1 6
2527 9854 688 0 0 1 8
2528 9859 688 -1 -1 1 9
2529 9863 688 -1 -2 1 10
2530 9867 688 0 -3 1 11
2531 9870 689 0 2 1 7
2532 9874 689 0 1 1 8
2533 9879 690 0 4 1 6
4293 17011 1151 0 0 1 8
4294 17016 1151 0 -1 1 9
4295 17019 1151 0 -2 1 10
4296 17024 1151 0 -3 1 11
4297 17028 1152 0 1 1 8
4298 17032 1152 0 0 1 9
4299 17036 1152 0 -1 1 10
4804 19026 1279 0 0 1 8
4805 19030 1279 0 -1 1 9
4806 19033 1279 0 -2 1 10
4807 19037 1279 0 -3 1 11
4808 19041 1280 0 1 1 8
4809 19046 1280 0 0 1 9
4810 19049 1280 0 -1 1 10
4997 19788 1327 0 0 1 10
4998 19792 1327 0 -1 1 11
4999 19796 1327 0 -2 1 12
5000 19800 1327 0 -3 1 13
5001 19805 1328 0 1 1 10
5002 19808 1328 0 0 1 11
5003 19812 1328 0 -1 1 12
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 1133 1133 0 0 -1
-2 1 673 0 0 -2
-3 0 13 0 0 -3
-4 0 0 0 0 -4
Totals / Min / Under -25:
1134 1819 0 0
2 3 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 370538 0 22 20
0 -79 0 -59 0 -39 0 -19 101151 1 22 21
0 -78 0 -58 0 -38 0 -18 50332 2 22 22
0 -77 0 -57 0 -37 0 -17 62168 3 21 23
0 -76 0 -56 0 -36 0 -16 48738 4 20 24
0 -75 0 -55 0 -35 0 -15 12538 5 19 25
0 -74 0 -54 0 -34 0 -14 979 6 18 26
0 -73 0 -53 0 -33 0 -13 58 7 18 27
0 -72 0 -52 0 -32 0 -12 28 8 18 28
0 -71 0 -51 0 -31 0 -11 27 9 18 29
0 -70 0 -50 0 -30 0 -10 27 10 17 30
0 -69 0 -49 0 -29 0 -9 27 11 18 31
0 -68 0 -48 0 -28 0 -8 26 12 16 32
0 -67 0 -47 0 -27 0 -7 27 13 16 33
0 -66 0 -46 0 -26 0 -6 26 14 16 34
0 -65 0 -45 0 -25 0 -5 25 15 17 35
0 -64 0 -44 0 -24 0 -4 23 16 16 36
0 -63 0 -43 0 -23 13 -3 23 17 14 37
0 -62 0 -42 0 -22 674 -2 23 18 13 38
0 -61 0 -41 0 -21 2266 -1 22 19 11 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | o
140000 | o
120000 | o
100000 | oo
80000 | oo
60000 | oo o
40000 | ooooo
20000 | ooooo
0 |_________._________.______ooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 650859. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -3. -80 thru -1 = 2953.
Behav = Relaxed. Maximum = 328. 0 thru 39 = 647158.
histend K = 200000. 40 thru Max = 748.
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 23 20
0 -79 0 -59 0 -39 0 -19 50536 1 23 21
0 -78 0 -58 0 -38 0 -18 171 2 23 22
0 -77 0 -57 0 -37 0 -17 6100 3 22 23
0 -76 0 -56 0 -36 0 -16 28832 4 22 24
0 -75 0 -55 0 -35 0 -15 46480 5 20 25
0 -74 0 -54 0 -34 0 -14 48769 6 19 26
0 -73 0 -53 0 -33 0 -13 41687 7 19 27
0 -72 0 -52 0 -32 0 -12 20303 8 19 28
0 -71 0 -51 0 -31 0 -11 5239 9 19 29
0 -70 0 -50 0 -30 0 -10 1023 10 18 30
0 -69 0 -49 0 -29 0 -9 273 11 19 31
0 -68 0 -48 0 -28 0 -8 80 12 17 32
0 -67 0 -47 0 -27 0 -7 40 13 17 33
0 -66 0 -46 0 -26 0 -6 29 14 17 34
0 -65 0 -45 0 -25 0 -5 26 15 17 35
0 -64 0 -44 0 -24 0 -4 24 16 18 36
0 -63 0 -43 0 -23 0 -3 24 17 17 37
0 -62 0 -42 0 -22 0 -2 24 18 17 38
0 -61 0 -41 0 -21 0 -1 23 19 18 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |
68000 | |
64000 | |
60000 | |
56000 | |
52000 | |
48000 | |o o
44000 | |o oo
40000 | |o ooo
36000 | |o ooo
32000 | |o ooo
28000 | |o oooo
24000 | |o oooo
20000 | |o ooooo
16000 | |o ooooo
12000 | |o ooooo
8000 | |o ooooo
4000 | |o ooooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399984. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 149135. 0 thru 39 = 250079.
histend K = 200000. 40 thru Max = 149905.
End analysis of Test T410 at 10:02:02.517 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 10:02:02.770 980422
End execution of Test T420 at 10:02:03.257 980422
Duration 0.487
Start analysis of Test T420 at 10:02:03.388 980422
Thread start, stop, and dur times.
0.210 0.210 0.000 0.000 0.000 0.000 0.000 0.000
0.486 0.479 0.000 0.000 0.000 0.000 0.000 0.000
0.276 0.269 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 10973 9047 0 0
19998 24418 16639 0 0
29997 34883 25490 0 0
39996 45474 34980 0 0
49995 56273 44445 0 0
59994 67050 53690 0 0
69993 78078 62857 0 0
79992 88278 71849 0 0
89991 99255 81664 0 0
99990 110484 90750 0 0
109989 121232 99504 0 0
119988 132149 108672 0 0
129987 144105 117749 0 0
139986 150801 122033 0 0
149985 160865 139635 0 0
159984 169968 149106 0 0
169983 179503 160362 0 0
179982 189420 170466 0 0
189981 199375 180535 0 0
199980 199999 190581 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111
1
1
1 2
1 2
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
2
2
11 2
1111 2
1 2
22
1
1 2
1
1 2
1
1 222
1 2
1 2
22
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
2
222
11
12
12
32
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 140611 0
1 189787 195337
2 65578 54731
3 3762 8781
4 127 405
5 22 22
6 1 2
7 0 0
8 0 0
9 1 0
10 0 0
11 0 0
12 1 0
13 0 0
14 0 1
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 106 106
d = -5.
Event 4.2. v[ 50252] = 44744 < 44745; u[ 44745] = 50247 < 50252.
b=0 c=0 v[ 50248]: 44744 44744 44744 44744 44744
Event 4.2. v[ 133243] = 120928 < 120929; u[ 120929] = 133238 < 133243.
b=0 c=0 v[ 133239]: 120928 120928 120928 120928 120928
d = -4.
Event 4.1. u[ 1680] = 1686 < 1687; v[ 1687] = 1676 < 1680.
b=0 c=0 u[ 1677]: 1686 1686 1686 1686
Event 4.1. u[ 16105] = 19490 < 19491; v[ 19491] = 16101 < 16105.
b=0 c=0 u[ 16102]: 19490 19490 19490 19490
Event 4.2. v[ 50251] = 44744 < 44745; u[ 44745] = 50247 < 50251.
b=0 c=0 v[ 50248]: 44744 44744 44744 44744
Event 4.2. v[ 87288] = 79014 < 79015; u[ 79015] = 87284 < 87288.
b=0 c=0 v[ 87285]: 79014 79014 79014 79014
Event 4.1. u[ 108301] = 119630 < 119631; v[ 119631] = 108297 < 108301.
b=0 c=0 u[ 108298]: 119630 119630 119630 119630
Event 4.1. u[ 108340] = 119662 < 119663; v[ 119663] = 108336 < 108340.
b=1 c=1 u[ 108337]: 119661 119662 119662 119662
Event 4.1. u[ 108380] = 119702 < 119703; v[ 119703] = 108376 < 108380.
b=1 c=1 u[ 108377]: 119701 119702 119702 119702
Event 4.1. u[ 108438] = 119758 < 119759; v[ 119759] = 108434 < 108438.
b=0 c=0 u[ 108435]: 119758 119758 119758 119758
Event 4.1. u[ 108538] = 119854 < 119855; v[ 119855] = 108534 < 108538.
b=0 c=0 u[ 108535]: 119854 119854 119854 119854
Event 4.2. v[ 131983] = 119684 < 119685; u[ 119685] = 131979 < 131983.
b=0 c=0 v[ 131980]: 119684 119684 119684 119684
Event 4.2. v[ 133242] = 120928 < 120929; u[ 120929] = 133238 < 133242.
b=0 c=0 v[ 133239]: 120928 120928 120928 120928
Event 4.2. v[ 151710] = 140832 < 140833; u[ 140833] = 151706 < 151710.
b=0 c=0 v[ 151707]: 140832 140832 140832 140832
Event 4.1. u[ 153995] = 164886 < 164887; v[ 164887] = 153991 < 153995.
b=0 c=0 u[ 153992]: 164886 164886 164886 164886
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1676 1685 1668 0 0 2 2
1677 1686 1669 -1 0 1 2
1678 1686 1670 -2 0 2 2
1679 1686 1670 -3 -1 3 3
1680 1686 1672 -4 0 4 2
1681 1689 1672 0 -1 2 3
1682 1690 1672 0 -2 2 4
1683 1691 1674 0 0 2 3
1684 1692 1674 0 -1 2 4
1685 1693 1676 0 1 2 2
1686 1694 1676 1 0 2 3
1687 1694 1676 0 -1 3 4
1688 1696 1679 -1 -2 1 2
1689 1698 1680 0 0 2 3
1690 1698 1681 -1 0 3 4
1691 1699 1682 0 0 3 2
16101 19490 13278 0 881 4 4125
16102 19490 13278 -1 880 5 4126
16103 19490 13278 -2 879 6 4127
16104 19490 13278 -3 878 7 4128
16105 19490 13278 -4 877 8 4129
16106 19492 13278 5 876 5 4130
16107 19492 13278 4 875 6 4131
16108 19492 13278 3 874 7 4132
16109 19492 13278 2 873 8 4133
19487 23894 16090 0 -1 2 1
19488 23895 16095 0 -1 2 1
19489 23895 16097 -1 0 3 2
19490 23896 16100 0 0 3 1
19491 23897 16101 0 -1 3 2
19492 23898 16107 0 0 2 0
19493 23899 16111 0 0 2 1
19494 23900 16114 0 -1 2 1
19495 23901 16119 0 -1 2 1
44740 50243 39267 0 0 3 2
44741 50244 39268 0 0 2 2
44742 50245 39269 0 0 2 2
44743 50246 39270 0 0 2 2
44744 50247 39270 0 -1 2 3
44745 50247 39271 -1 0 3 3
44746 50252 39272 -1 -1 2 3
44747 50253 39273 -1 0 3 2
44748 50254 39275 0 0 3 1
44749 50254 39275 -1 -1 4 2
44750 50256 39277 0 0 2 2
50247 56531 44743 0 0 2 2
50248 56533 44744 1 -1 1 2
50249 56534 44744 0 -2 2 3
50250 56534 44744 -1 -3 3 4
50251 56536 44744 0 -4 2 5
50252 56537 44744 0 -5 2 6
50253 56538 44745 0 -1 2 6
50254 56539 44746 0 -1 2 7
50255 56540 44748 0 -1 2 2
50256 56541 44750 0 1 2 2
50257 56542 44750 -1 0 2 3
79011 87281 70900 0 1 1 2
79012 87281 70900 -1 0 2 3
79013 87284 70901 1 -1 2 2
79014 87284 70901 0 -2 3 3
79015 87284 70903 -1 0 4 3
79016 87289 70904 1 -1 2 2
79017 87290 70904 0 -2 2 3
79018 87291 70905 0 -1 1 3
79019 87292 70907 0 0 2 2
87284 96529 79012 0 0 2 3
87285 96530 79014 0 -1 2 1
87286 96531 79014 0 -2 2 2
87287 96532 79014 0 -3 2 3
87288 96533 79014 0 -4 2 4
87289 96534 79015 -1 0 2 5
87290 96534 79017 -2 1 3 1
87291 96535 79017 -1 0 3 2
87292 96537 79018 0 0 2 2
120924 133234 109662 0 0 3 2
120925 133235 109663 0 0 3 2
120926 133236 109664 0 0 2 2
120927 133237 109664 0 -1 2 3
120928 133238 109666 0 0 2 2
120929 133238 109666 -1 -1 3 3
120930 133243 109667 -1 0 2 3
120931 133244 109668 -1 0 3 3
120932 133245 109669 0 -1 3 2
120933 133246 109671 -1 0 3 2
120934 133248 109673 0 -1 2 1
133238 144721 120927 1880 0 2513 2
133239 144721 120928 1879 -1 2514 2
133240 144721 120928 1878 -2 2515 3
133241 144721 120928 1877 -3 2516 4
133242 144721 120928 1876 -4 2517 5
133243 144721 120928 1875 -5 2518 6
133244 144721 120929 1874 -1 2519 6
133245 144721 120930 1873 -1 2520 7
133246 144721 120932 1872 0 2521 2
133247 144721 120932 1871 -1 2522 3
133248 144721 120933 1870 0 2523 3
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 47277 47277 0 0 -1
-2 8214 9456 0 0 -2
-3 140 57 0 0 -3
-4 8 5 0 0 -4
-5 0 2 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
55639 56797 0 0
4 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 344564 0 106 20
0 -79 0 -59 0 -39 0 -19 205496 1 106 21
0 -78 0 -58 0 -38 0 -18 66577 2 106 22
0 -77 0 -57 0 -37 0 -17 3952 3 106 23
0 -76 0 -56 0 -36 0 -16 252 4 106 24
0 -75 0 -55 0 -35 0 -15 131 5 106 25
0 -74 0 -54 0 -34 0 -14 108 6 106 26
0 -73 0 -53 0 -33 0 -13 107 7 106 27
0 -72 0 -52 0 -32 0 -12 107 8 106 28
0 -71 0 -51 0 -31 0 -11 108 9 106 29
0 -70 0 -50 0 -30 0 -10 107 10 106 30
0 -69 0 -49 0 -29 0 -9 107 11 106 31
0 -68 0 -48 0 -28 0 -8 108 12 106 32
0 -67 0 -47 0 -27 0 -7 106 13 105 33
0 -66 0 -46 0 -26 0 -6 106 14 105 34
0 -65 0 -45 0 -25 2 -5 106 15 105 35
0 -64 0 -44 0 -24 13 -4 106 16 105 36
0 -63 0 -43 0 -23 197 -3 106 17 105 37
0 -62 0 -42 0 -22 17670 -2 106 18 105 38
0 -61 0 -41 0 -21 94554 -1 106 19 105 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 | oo
100000 | oo
80000 | ooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 790597. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -5. -80 thru -1 = 112436.
Behav = Relaxed. Maximum = 7603. 0 thru 39 = 624579.
histend K = 200000. 40 thru Max = 53582.
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 107 20
0 -79 0 -59 0 -39 0 -19 15709 1 107 21
0 -78 0 -58 0 -38 0 -18 185984 2 107 22
0 -77 0 -57 0 -37 0 -17 108335 3 107 23
0 -76 0 -56 0 -36 0 -16 21207 4 107 24
0 -75 0 -55 0 -35 0 -15 1655 5 107 25
0 -74 0 -54 0 -34 0 -14 283 6 107 26
0 -73 0 -53 0 -33 0 -13 164 7 107 27
0 -72 0 -52 0 -32 0 -12 134 8 107 28
0 -71 0 -51 0 -31 0 -11 120 9 107 29
0 -70 0 -50 0 -30 0 -10 110 10 107 30
0 -69 0 -49 0 -29 0 -9 107 11 107 31
0 -68 0 -48 0 -28 0 -8 107 12 107 32
0 -67 0 -47 0 -27 0 -7 107 13 108 33
0 -66 0 -46 0 -26 0 -6 108 14 106 34
0 -65 0 -45 0 -25 0 -5 108 15 106 35
0 -64 0 -44 0 -24 0 -4 107 16 106 36
0 -63 0 -43 0 -23 0 -3 107 17 106 37
0 -62 0 -42 0 -22 0 -2 107 18 106 38
0 -61 0 -41 0 -21 0 -1 107 19 106 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | | o
170000 | | o
160000 | | o
150000 | | o
140000 | | o
130000 | | o
120000 | | o
110000 | | o
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | oo
40000 | | oo
30000 | | oo
20000 | | ooo
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 = 399985. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 9399. 0 thru 39 = 336818.
histend K = 200000. 40 thru Max = 63167.
End analysis of Test T420 at 10:02:06.055 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 10:02:06.312 980422
End execution of Test T700 at 10:02:06.662 980422
Duration 0.350
Start analysis of Test T700 at 10:02:06.663 980422
Thread start, stop, and dur times.
0.088 0.088 0.000 0.000 0.000 0.000 0.000 0.000
0.350 0.343 0.000 0.000 0.000 0.000 0.000 0.000
0.262 0.255 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 14 0 199999 199999
9999 9756 10239 0 0
19998 19666 20317 0 0
29997 29530 30461 0 0
39996 47234 35463 0 0
49995 64852 42764 0 0
59994 74606 49381 0 0
69993 80698 55331 0 0
79992 90654 69340 0 0
89991 99611 79316 0 0
99990 109643 90377 0 0
109989 119675 100334 0 0
119988 131486 110299 0 0
129987 141391 118472 0 0
139986 151315 128587 0 0
149985 161078 138618 0 0
159984 170942 148888 0 0
169983 181109 159048 0 0
179982 190827 168856 0 0
189981 198563 179126 0 0
199980 199999 191397 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 11111
1
11
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
2
1 2
1
1 22
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
111 2
1 2
1 2
1 2
1
2
2
1 2
1 2
1 2
1 2222
1 2
2
2
2
2222
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 123366 0
1 201611 202755
2 64533 62776
3 10205 10290
4 160 681
5 54 55
6 7 14
7 1 0
8 1 1
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 1 0
16 0 0
17 0 0
18 0 0
19 0 0
over 57 58
d = -5.
Event 7.1. u[ 3301] = 3198 < 3199; v[ 3199] = 3296 < 3301.
b=1 c=1 u[ 3297]: 3197 3197 3198 3198 3198
Event 7.1. u[ 49901] = 64765 < 64766; v[ 64766] = 49896 < 49901.
b=1 c=1 u[ 49897]: 64764 64764 64764 64765 64765
Event 7.2. v[ 177615] = 166514 < 166515; u[ 166515] = 177610 < 177615.
b=0 c=0 v[ 177611]: 166514 166514 166514 166514 166514
Event 7.2. v[ 177683] = 166532 < 166533; u[ 166533] = 177678 < 177683.
b=1 c=1 v[ 177679]: 166531 166531 166532 166532 166532
d = -4.
Event 7.1. u[ 493] = 494 < 495; v[ 495] = 489 < 493.
b=0 c=0 u[ 490]: 494 494 494 494
Event 7.1. u[ 989] = 950 < 951; v[ 951] = 985 < 989.
b=0 c=0 u[ 986]: 950 950 950 950
Event 7.1. u[ 2209] = 2158 < 2159; v[ 2159] = 2205 < 2209.
b=0 c=0 u[ 2206]: 2158 2158 2158 2158
Event 7.1. u[ 3068] = 2993 < 2994; v[ 2994] = 3064 < 3068.
b=1 c=1 u[ 3065]: 2992 2992 2993 2993
Event 7.1. u[ 3108] = 3011 < 3012; v[ 3012] = 3104 < 3108.
b=1 c=1 u[ 3105]: 3010 3011 3011 3011
Event 7.1. u[ 3110] = 3012 < 3013; v[ 3013] = 3106 < 3110.
b=1 c=1 u[ 3107]: 3011 3011 3012 3012
Event 7.1. u[ 3186] = 3086 < 3087; v[ 3087] = 3182 < 3186.
b=0 c=0 u[ 3183]: 3086 3086 3086 3086
Event 7.1. u[ 3300] = 3198 < 3199; v[ 3199] = 3296 < 3300.
b=1 c=1 u[ 3297]: 3197 3197 3198 3198
Event 7.1. u[ 3617] = 3502 < 3503; v[ 3503] = 3613 < 3617.
b=0 c=0 u[ 3614]: 3502 3502 3502 3502
Event 7.1. u[ 21223] = 20878 < 20879; v[ 20879] = 21219 < 21223.
b=0 c=0 u[ 21220]: 20878 20878 20878 20878
Event 7.2. v[ 182410] = 171336 < 171337; u[ 171337] = 182406 < 182410.
b=1 c=1 v[ 182407]: 171335 171335 171336 171336
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
489 493 485 0 0 1 2
490 494 486 -1 0 2 2
491 494 487 -2 0 3 2
492 494 488 -3 1 4 2
493 494 488 -4 0 5 3
494 495 489 -1 0 5 3
495 496 489 -1 -1 6 4
496 499 493 -1 -1 1 2
497 501 494 0 -1 2 3
498 502 495 1 1 2 3
499 502 495 0 0 3 4
3194 3096 3292 -1 0 3 2
3195 3098 3293 0 -1 2 2
3196 3099 3295 0 0 1 2
3197 3100 3295 0 -1 2 3
3198 3101 3296 0 -1 2 2
3199 3102 3296 0 -2 2 3
3200 3104 3300 -1 -2 1 2
3201 3106 3302 1 0 2 3
3202 3106 3303 0 0 3 1
3203 3107 3304 0 0 3 2
3204 3108 3305 -1 -1 2 2
3296 3196 3404 -1 0 3 2
3297 3197 3405 -1 0 2 2
3298 3197 3406 -2 0 3 2
3299 3198 3407 -3 2 4 2
3300 3198 3407 -4 1 5 3
3301 3198 3407 -5 0 6 4
3302 3201 3408 1 -1 2 4
3303 3201 3411 0 -1 3 1
3304 3202 3413 0 0 2 2
3305 3203 3414 0 0 2 1
3306 3203 3415 -1 0 3 2
49896 64762 42664 -3 -2 8 4
49897 64764 42665 -1 -1 4 3
49898 64764 42668 -2 1 5 2
49899 64764 42668 -3 0 6 3
49900 64765 42669 -4 0 4 2
49901 64765 42670 -5 0 5 2
49902 64766 42671 -1 0 6 2
49903 64766 42672 -2 -1 7 2
49904 64767 42672 0 -2 8 3
49905 64767 42673 -1 -1 9 3
49906 64767 42676 -2 1 10 2
64761 76276 49888 726 -2 3449 3
64762 76276 49893 725 -1 3450 2
64763 76276 49893 724 -2 3451 3
64764 76276 49896 723 0 3452 3
64765 76276 49896 722 -1 3453 4
64766 76276 49896 721 -2 3454 5
64767 76276 49901 720 -1 3455 2
64768 76276 49904 719 -1 3456 2
64769 76276 49904 718 -2 3457 3
64770 76276 49907 717 -1 3458 3
64771 76276 49910 716 -1 3459 2
166510 177594 155533 -1 0 1 2
166511 177598 155535 -1 -1 2 1
166512 177604 155536 0 0 1 2
166513 177606 155537 0 -1 1 3
166514 177608 155539 -1 0 1 2
166515 177610 155540 -1 0 2 1
166516 177616 155541 -1 0 2 2
166517 177619 155542 -1 0 2 2
166518 177622 155542 -1 -1 2 3
166519 177627 155544 -1 -1 1 2
166520 177630 155545 -1 0 1 2
166528 177662 155554 -1 -1 2 2
166529 177667 155556 0 1 1 2
166530 177670 155556 -1 0 1 3
166531 177673 155557 -1 0 2 3
166532 177676 155558 -1 -1 2 2
166533 177678 155560 -2 0 2 2
166534 177684 155560 -1 -1 2 3
166535 177688 155560 -1 -2 2 4
166536 177692 155562 -1 -1 1 3
166537 177697 155564 0 1 1 2
166538 177700 155564 -1 0 1 3
177610 188589 166513 -1 -2 3 6
177611 188590 166514 0 -1 3 5
177612 188591 166514 0 -2 3 6
177613 188591 166514 -1 -3 4 7
177614 188593 166514 0 -4 2 8
177615 188594 166514 0 -5 1 9
177616 188596 166515 0 0 1 8
177617 188596 166515 -1 -1 2 9
177618 188597 166515 -1 -2 3 10
177619 188598 166516 0 0 3 9
177620 188598 166516 -1 -1 4 10
177678 188660 166531 0 -2 2 8
177679 188661 166531 0 -3 2 9
177680 188662 166531 0 -4 2 10
177681 188662 166532 -1 -3 3 8
177682 188662 166532 -2 -4 4 9
177683 188664 166532 0 -5 3 10
177684 188665 166533 0 0 1 8
177685 188666 166533 0 -1 2 9
177686 188667 166533 0 -2 2 10
177687 188668 166533 0 -3 2 11
177688 188669 166534 0 0 2 10
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 49318 49318 0 0 -1
-2 9552 7809 0 0 -2
-3 236 286 0 0 -3
-4 38 23 0 0 -4
-5 2 2 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
59146 57438 0 0
5 5 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 327116 0 58 20
0 -79 0 -59 0 -39 0 -19 238692 1 57 21
0 -78 0 -58 0 -38 0 -18 69401 2 57 22
0 -77 0 -57 0 -37 0 -17 10366 3 57 23
0 -76 0 -56 0 -36 0 -16 234 4 57 24
0 -75 0 -55 0 -35 0 -15 116 5 57 25
0 -74 0 -54 0 -34 0 -14 66 6 57 26
0 -73 0 -53 0 -33 0 -13 60 7 57 27
0 -72 0 -52 0 -32 0 -12 60 8 57 28
0 -71 0 -51 0 -31 0 -11 58 9 57 29
0 -70 0 -50 0 -30 0 -10 58 10 57 30
0 -69 0 -49 0 -29 0 -9 58 11 57 31
0 -68 0 -48 0 -28 0 -8 58 12 57 32
0 -67 0 -47 0 -27 0 -7 58 13 57 33
0 -66 0 -46 0 -26 0 -6 58 14 57 34
0 -65 0 -45 0 -25 4 -5 59 15 57 35
0 -64 0 -44 0 -24 61 -4 58 16 57 36
0 -63 0 -43 0 -23 522 -3 58 17 57 37
0 -62 0 -42 0 -22 17361 -2 58 18 58 38
0 -61 0 -41 0 -21 98636 -1 58 19 57 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | ooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 791412. Min thru -81 = 0.
Type = RR|CC1. Minimum = -5. -80 thru -1 = 116584.
Behav = Relaxed. Maximum = 7950. 0 thru 39 = 647892.
histend K = 200000. 40 thru Max = 26936.
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 19 0 58 20
0 -79 0 -59 0 -39 0 -19 37081 1 58 21
0 -78 0 -58 0 -38 0 -18 186629 2 58 22
0 -77 0 -57 0 -37 0 -17 112549 3 58 23
0 -76 0 -56 0 -36 0 -16 23063 4 58 24
0 -75 0 -55 0 -35 0 -15 1923 5 58 25
0 -74 0 -54 0 -34 0 -14 477 6 58 26
0 -73 0 -53 0 -33 0 -13 370 7 58 27
0 -72 0 -52 0 -32 0 -12 262 8 58 28
0 -71 0 -51 0 -31 0 -11 187 9 58 29
0 -70 0 -50 0 -30 0 -10 125 10 58 30
0 -69 0 -49 0 -29 0 -9 78 11 58 31
0 -68 0 -48 0 -28 0 -8 61 12 58 32
0 -67 0 -47 0 -27 0 -7 58 13 58 33
0 -66 0 -46 0 -26 0 -6 59 14 58 34
0 -65 0 -45 0 -25 0 -5 59 15 58 35
0 -64 0 -44 0 -24 0 -4 59 16 58 36
0 -63 0 -43 0 -23 0 -3 59 17 58 37
0 -62 0 -42 0 -22 0 -2 59 18 58 38
0 -61 0 -41 0 -21 0 -1 58 19 58 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | | o
170000 | | o
160000 | | o
150000 | | o
140000 | | o
130000 | | o
120000 | | o
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | oo
40000 | | oo
30000 | |ooo
20000 | |oooo
10000 | |oooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 700. Total = 399979. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 8584. 0 thru 39 = 364395.
histend K = 200000. 40 thru Max = 35584.
End analysis of Test T700 at 10:02:09.199 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 10:02:09.476 980422
End execution of Test T710 at 10:02:09.864 980422
Duration 0.388
Start analysis of Test T710 at 10:02:09.941 980422
Thread start, stop, and dur times.
0.114 0.114 0.000 0.000 0.000 0.000 0.000 0.000
0.378 0.387 0.000 0.000 0.000 0.000 0.000 0.000
0.264 0.273 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 62 199999 0
9999 9864 10144 0 0
19998 18795 21290 0 0
29997 29195 30851 0 0
39996 39135 40895 0 0
49995 48548 51590 0 0
59994 57649 62520 0 0
69993 66630 73726 0 0
79992 76258 84224 0 0
89991 85458 94631 0 0
99990 95134 105527 0 0
109989 103969 116399 0 0
119988 113376 126877 0 0
129987 123025 137760 0 0
139986 132051 148440 0 0
149985 141456 159133 0 0
159984 150785 169404 0 0
169983 160479 179515 0 0
179982 171020 189688 0 0
189981 180257 199999 0 0
199980 189425 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 222222
2
2
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2
2 1
2 11
2 1
2
2 11
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
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
1
2 1
2 1
2 1
2 1
2 1
2 11
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
31
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 107252 0
1 216305 219294
2 69519 63697
3 6673 9350
4 119 263
5 19 30
6 2 5
7 2 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 105 105
d = -5.
Event 7.2. v[ 1649] = 1286 < 1287; u[ 1287] = 1644 < 1649.
b=1 c=1 v[ 1645]: 1285 1286 1286 1286 1286
d = -4.
Event 7.2. v[ 1187] = 1227 < 1228; u[ 1228] = 1183 < 1187.
b=1 c=1 v[ 1184]: 1226 1227 1227 1227
Event 7.2. v[ 1648] = 1286 < 1287; u[ 1287] = 1644 < 1648.
b=1 c=1 v[ 1645]: 1285 1286 1286 1286
Event 7.1. u[ 2704] = 2958 < 2959; v[ 2959] = 2700 < 2704.
b=0 c=0 u[ 2701]: 2958 2958 2958 2958
Event 7.1. u[ 2755] = 2992 < 2993; v[ 2993] = 2751 < 2755.
b=0 c=0 u[ 2752]: 2992 2992 2992 2992
Event 7.1. u[ 2762] = 2995 < 2996; v[ 2996] = 2758 < 2762.
b=0 c=0 u[ 2759]: 2995 2995 2995 2995
Event 7.1. u[ 2777] = 3000 < 3001; v[ 3001] = 2773 < 2777.
b=0 c=0 u[ 2774]: 3000 3000 3000 3000
Event 7.1. u[ 2810] = 3013 < 3014; v[ 3014] = 2806 < 2810.
b=0 c=0 u[ 2807]: 3013 3013 3013 3013
Event 7.1. u[ 3092] = 3278 < 3279; v[ 3279] = 3088 < 3092.
b=0 c=0 u[ 3089]: 3278 3278 3278 3278
Event 7.2. v[ 46691] = 48029 < 48030; u[ 48030] = 46687 < 46691.
b=1 c=1 v[ 46688]: 48028 48028 48029 48029
Event 7.1. u[ 72109] = 68502 < 68503; v[ 68503] = 72105 < 72109.
b=1 c=1 u[ 72106]: 68501 68501 68502 68502
Event 7.2. v[ 132458] = 140401 < 140402; u[ 140402] = 132454 < 132458.
b=1 c=1 v[ 132455]: 140400 140401 140401 140401
Event 7.2. v[ 132461] = 140402 < 140403; u[ 140403] = 132457 < 132461.
b=1 c=1 v[ 132458]: 140401 140402 140402 140402
d = -3.
Event 7.1. u[ 738] = 590 < 591; v[ 591] = 735 < 738.
b=0 c=0 u[ 736]: 590 590 590
Event 7.1. u[ 199811] = 189287 < 189288; v[ 189288] = 199808 < 199811.
b=1 c=1 u[ 199809]: 189286 189287 189287
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
1183 1039 1225 0 -3 2 10
1184 1039 1226 -1 -1 3 7
1185 1041 1227 -1 -2 2 5
1186 1044 1227 0 -3 2 6
1187 1045 1227 0 -4 2 7
1188 1046 1228 -1 0 2 5
1189 1048 1228 0 -1 2 6
1190 1049 1228 -1 -2 2 7
1191 1051 1229 -1 0 2 8
1224 1173 1238 0 -2 1 7
1225 1177 1238 0 -3 1 8
1226 1180 1239 -1 1 1 7
1227 1183 1239 -1 0 2 8
1228 1183 1239 -2 -1 3 9
1229 1188 1239 -1 -2 2 10
1230 1191 1239 -1 -3 2 11
1231 1194 1240 -1 -1 2 9
1232 1201 1240 0 -2 1 10
1282 1635 1256 -2 304 3 7
1283 1637 1256 -1 303 3 8
1284 1638 1256 -2 302 3 9
1285 1640 1256 -1 301 3 10
1286 1643 1256 -1 300 2 11
1287 1644 1256 -2 299 3 12
1288 1647 1256 -2 298 2 13
1289 1650 1256 -1 297 3 14
1290 1652 1256 0 296 2 15
1291 1653 1256 0 295 3 16
1292 1654 1256 1 294 2 17
1644 1928 1285 1 -1 2 6
1645 1928 1285 0 -2 3 7
1646 1929 1286 0 -2 2 6
1647 1930 1286 0 -3 2 7
1648 1933 1286 0 -4 1 8
1649 1934 1286 -1 -5 2 9
1650 1935 1288 0 0 2 6
1651 1936 1288 0 -1 3 7
1652 1937 1288 0 -2 2 8
1653 1938 1290 1 0 2 3
1654 1939 1291 0 0 2 2
2700 2956 2383 -1 1 4 3
2701 2958 2384 -1 0 2 3
2702 2958 2384 -2 -1 3 4
2703 2958 2386 -3 0 4 2
2704 2958 2388 -4 -1 5 1
2705 2960 2390 -1 1 5 2
2706 2961 2390 -2 0 3 3
2707 2962 2391 -1 0 3 2
2708 2963 2391 0 -1 4 3
2751 2992 2483 0 -1 7 2
2752 2992 2485 -1 0 8 2
2753 2992 2486 -2 0 9 2
2754 2992 2487 -3 0 10 2
2755 2992 2487 -4 -1 11 3
2756 2993 2488 0 -1 7 3
2757 2993 2488 -1 -2 8 4
2758 2995 2490 0 0 2 3
2759 2995 2493 -1 0 3 1
2760 2995 2494 -2 0 4 2
2761 2995 2495 -3 0 5 2
2762 2995 2495 -4 -1 6 3
2763 2996 2496 0 0 7 3
2764 2996 2497 -1 0 8 3
2765 2996 2497 -2 -1 9 4
2766 2996 2499 -3 0 10 2
2773 3000 2505 0 0 5 2
2774 3000 2508 -1 0 6 1
2775 3000 2510 -2 0 7 1
2776 3000 2512 -3 2 8 1
2777 3000 2512 -4 1 9 2
2778 3001 2512 -2 0 6 3
2779 3001 2512 -3 -1 7 4
2780 3002 2513 -1 0 7 4
2781 3003 2516 1 0 5 1
2955 3150 2696 0 -2 2 4
2956 3150 2698 -1 -1 3 3
2957 3151 2699 0 -1 2 3
2958 3151 2700 -1 0 3 3
2959 3153 2700 0 -1 2 4
2960 3153 2703 -1 -2 3 2
2961 3155 2704 -1 -1 2 3
2962 3156 2704 0 -2 3 4
2963 3157 2706 1 -1 3 3
2989 3180 2738 0 -2 3 3
2990 3181 2741 0 -1 3 2
2991 3182 2744 1 -1 2 2
2992 3182 2749 0 -1 3 1
2993 3182 2751 -1 -1 4 2
2994 3183 2756 -2 -1 4 2
2995 3184 2756 -2 -2 3 3
2996 3185 2758 -1 -1 4 3
2997 3187 2763 0 -1 2 2
2998 3188 2766 0 -1 3 2
2999 3189 2768 0 -2 2 2
3000 3190 2772 -1 0 2 2
3001 3190 2773 -2 -1 3 2
3002 3191 2776 -1 -2 3 2
3003 3192 2779 -1 -1 4 2
3004 3193 2782 -1 0 3 1
3005 3194 2785 -1 -1 3 1
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 49766 49766 0 0 -1
-2 5414 4119 0 0 -2
-3 167 66 0 0 -3
-4 7 5 0 0 -4
-5 0 1 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
55354 53957 0 0
4 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 324608 0 105 20
0 -79 0 -59 0 -39 0 -19 262271 1 105 21
0 -78 0 -58 0 -38 0 -18 73032 2 105 22
0 -77 0 -57 0 -37 0 -17 6847 3 105 23
0 -76 0 -56 0 -36 0 -16 237 4 105 24
0 -75 0 -55 0 -35 0 -15 124 5 105 25
0 -74 0 -54 0 -34 0 -14 107 6 105 26
0 -73 0 -53 0 -33 0 -13 107 7 105 27
0 -72 0 -52 0 -32 0 -12 105 8 105 28
0 -71 0 -51 0 -31 0 -11 105 9 105 29
0 -70 0 -50 0 -30 0 -10 105 10 105 30
0 -69 0 -49 0 -29 0 -9 105 11 105 31
0 -68 0 -48 0 -28 0 -8 105 12 106 32
0 -67 0 -47 0 -27 0 -7 105 13 104 33
0 -66 0 -46 0 -26 0 -6 105 14 104 34
0 -65 0 -45 0 -25 1 -5 105 15 105 35
0 -64 0 -44 0 -24 12 -4 105 16 103 36
0 -63 0 -43 0 -23 233 -3 105 17 104 37
0 -62 0 -42 0 -22 9533 -2 105 18 102 38
0 -61 0 -41 0 -21 99532 -1 105 19 102 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | o
300000 | o
280000 | o
260000 | oo
240000 | oo
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | ooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 789438. Min thru -81 = 0.
Type = RR|CC1. Minimum = -5. -80 thru -1 = 109311.
Behav = Relaxed. Maximum = 1103. 0 thru 39 = 670683.
histend K = 200000. 40 thru Max = 9444.
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 105 20
0 -79 0 -59 0 -39 0 -19 45967 1 105 21
0 -78 0 -58 0 -38 0 -18 199194 2 105 22
0 -77 0 -57 0 -37 0 -17 109032 3 105 23
0 -76 0 -56 0 -36 0 -16 19287 4 105 24
0 -75 0 -55 0 -35 0 -15 2017 5 105 25
0 -74 0 -54 0 -34 0 -14 450 6 105 26
0 -73 0 -53 0 -33 0 -13 309 7 105 27
0 -72 0 -52 0 -32 0 -12 220 8 105 28
0 -71 0 -51 0 -31 0 -11 151 9 105 29
0 -70 0 -50 0 -30 0 -10 122 10 105 30
0 -69 0 -49 0 -29 0 -9 112 11 105 31
0 -68 0 -48 0 -28 0 -8 105 12 105 32
0 -67 0 -47 0 -27 0 -7 105 13 106 33
0 -66 0 -46 0 -26 0 -6 105 14 105 34
0 -65 0 -45 0 -25 0 -5 105 15 105 35
0 -64 0 -44 0 -24 0 -4 105 16 105 36
0 -63 0 -43 0 -23 0 -3 105 17 104 37
0 -62 0 -42 0 -22 0 -2 105 18 104 38
0 -61 0 -41 0 -21 0 -1 105 19 103 39
------ Relaxed ------ | ------ Strong ------
190000 | | o
180000 | | o
170000 | | o
160000 | | o
150000 | | o
140000 | | o
130000 | | o
120000 | | o
110000 | | o
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | oo
40000 | |ooo
30000 | |ooo
20000 | |ooo
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 = 399872. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 10557. 0 thru 39 = 379826.
histend K = 200000. 40 thru Max = 20046.
End analysis of Test T710 at 10:02:12.428 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 10:02:12.677 980422
End execution of Test T720 at 10:02:13.155 980422
Duration 0.478
Start analysis of Test T720 at 10:02:13.287 980422
Thread start, stop, and dur times.
0.193 0.193 0.000 0.000 0.000 0.000 0.000 0.000
0.477 0.477 0.000 0.000 0.000 0.000 0.000 0.000
0.284 0.284 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 10295 9706 0 0
19998 20166 19823 0 0
29997 29977 30016 0 0
39996 39957 40035 0 0
49995 50000 49988 0 0
59994 60009 59978 0 0
69993 69981 70005 0 0
79992 80088 79895 0 0
89991 90015 89965 0 0
99990 100516 99458 0 0
109989 110491 109479 0 0
119988 120254 119705 0 0
129987 130115 129856 0 0
139986 140108 139865 0 0
149985 150163 149807 0 0
159984 160186 159782 0 0
169983 170096 169868 0 0
179982 180066 179896 0 0
189981 189886 190078 0 0
199980 199505 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
1
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
1
12
12
12
12
12
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 69339 0
1 266387 268291
2 61928 58174
3 2168 3971
4 122 161
5 18 27
6 3 2
7 0 0
8 0 0
9 0 0
10 0 0
11 1 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 30 30
d = -4.
Event 7.1. u[ 25931] = 25936 < 25937; v[ 25937] = 25927 < 25931.
b=0 c=0 u[ 25928]: 25936 25936 25936 25936
Event 7.1. u[ 118476] = 118958 < 118959; v[ 118959] = 118472 < 118476.
b=0 c=0 u[ 118473]: 118958 118958 118958 118958
Event 7.1. u[ 119668] = 119950 < 119951; v[ 119951] = 119664 < 119668.
b=0 c=0 u[ 119665]: 119950 119950 119950 119950
Event 7.2. v[ 141074] = 140837 < 140838; u[ 140838] = 141070 < 141074.
b=1 c=1 v[ 141071]: 140836 140836 140837 140837
Event 7.1. u[ 164490] = 164696 < 164697; v[ 164697] = 164486 < 164490.
b=0 c=0 u[ 164487]: 164696 164696 164696 164696
Event 7.1. u[ 164956] = 165116 < 165117; v[ 165117] = 164952 < 164956.
b=1 c=1 u[ 164953]: 165115 165115 165116 165116
d = -3.
Event 7.2. v[ 1659] = 1513 < 1514; u[ 1514] = 1656 < 1659.
b=0 c=0 v[ 1657]: 1513 1513 1513
Event 7.2. v[ 1663] = 1514 < 1515; u[ 1515] = 1660 < 1663.
b=0 c=0 v[ 1661]: 1514 1514 1514
Event 7.2. v[ 1671] = 1517 < 1518; u[ 1518] = 1668 < 1671.
b=0 c=0 v[ 1669]: 1517 1517 1517
Event 7.2. v[ 1679] = 1520 < 1521; u[ 1521] = 1676 < 1679.
b=0 c=0 v[ 1677]: 1520 1520 1520
Event 7.2. v[ 1706] = 1528 < 1529; u[ 1529] = 1703 < 1706.
b=0 c=0 v[ 1704]: 1528 1528 1528
Event 7.2. v[ 1714] = 1530 < 1531; u[ 1531] = 1711 < 1714.
b=0 c=0 v[ 1712]: 1530 1530 1530
Event 7.2. v[ 1751] = 1541 < 1542; u[ 1542] = 1748 < 1751.
b=0 c=0 v[ 1749]: 1541 1541 1541
Event 7.2. v[ 1767] = 1546 < 1547; u[ 1547] = 1764 < 1767.
b=0 c=0 v[ 1765]: 1546 1546 1546
Event 7.1. u[ 165931] = 166062 < 166063; v[ 166063] = 165928 < 165931.
b=1 c=1 u[ 165929]: 166061 166062 166062
Portions of the arrays containing relaxation events:
i U V d1 d2 d3 d4
25927 25936 25901 0 0 7 1
25928 25936 25904 -1 0 8 1
25929 25936 25904 -2 -1 9 2
25930 25936 25908 -3 0 10 2
25931 25936 25910 -4 -1 11 1
25932 25937 25914 -1 -1 7 2
25933 25937 25914 -2 -2 8 3
25934 25938 25917 0 -1 7 1
25935 25939 25920 2 -1 4 1
25936 25939 25925 1 -1 5 1
25937 25939 25927 0 -1 6 2
25938 25939 25931 -1 -1 7 2
25939 25939 25934 -2 0 8 2
25940 25940 25937 0 -1 6 1
25941 25941 25940 1 0 4 2
118472 118958 117981 0 0 1 2
118473 118958 117981 -1 -1 2 3
118474 118958 117983 -2 1 3 2
118475 118958 117983 -3 0 4 3
118476 118958 117984 -4 0 5 2
118477 118959 117984 -1 -1 5 3
118478 118960 117985 -1 0 6 3
118479 118961 117985 -1 -1 3 4
118480 118964 117988 0 1 1 2
118955 119432 118469 0 0 3 1
118956 119433 118470 0 0 1 2
118957 119434 118471 0 1 2 2
118958 119435 118472 0 0 2 2
118959 119437 118472 1 -1 1 3
118960 119437 118476 0 -1 2 2
118961 119438 118477 -1 -1 2 3
118962 119438 118478 -2 -1 3 3
118963 119440 118479 2 1 3 3
119664 119949 119363 0 0 2 2
119665 119950 119365 -1 1 1 1
119666 119950 119365 -2 0 2 2
119667 119950 119366 -3 0 3 2
119668 119950 119367 -4 0 4 2
119669 119952 119369 0 1 5 1
119670 119953 119369 0 0 2 2
119671 119954 119370 0 0 2 2
119672 119955 119372 0 1 2 1
119947 120215 119661 0 0 3 2
119948 120216 119662 0 0 2 2
119949 120217 119664 0 1 2 1
119950 120218 119664 0 0 2 2
119951 120219 119664 0 -1 2 3
119952 120220 119668 0 0 2 2
119953 120221 119669 0 0 2 3
119954 120222 119670 1 0 2 2
119955 120222 119671 0 0 3 2
140834 141067 140628 -1 0 2 2
140835 141069 140629 0 0 2 2
140836 141070 140630 0 1 2 2
140837 141070 140631 -1 0 3 2
140838 141070 140632 -2 0 4 1
140839 141074 140632 -1 -1 2 2
140840 141076 140635 -1 1 2 2
140841 141078 140635 -1 0 2 3
140842 141078 140636 -2 1 3 2
141070 141302 140835 -1 0 4 3
141071 141303 140836 0 -1 4 2
141072 141305 140836 0 -2 1 3
141073 141306 140837 -1 -3 1 3
141074 141308 140837 0 -4 2 4
141075 141309 140838 0 -1 1 5
141076 141310 140838 0 -2 2 6
141077 141311 140839 0 -1 2 7
141078 141312 140839 0 -2 2 8
164486 164696 164256 0 0 4 1
164487 164696 164256 -1 -1 5 2
164488 164696 164256 -2 -2 6 3
164489 164696 164257 -3 0 7 3
164490 164696 164259 -4 0 8 1
164491 164697 164260 0 0 7 2
164492 164697 164261 -1 0 8 2
164493 164698 164262 0 1 7 2
164494 164698 164263 -1 0 8 2
164693 164881 164479 0 -1 2 2
164694 164882 164481 0 0 2 2
164695 164883 164482 0 0 2 2
164696 164884 164484 0 -1 2 1
164697 164885 164486 -1 -1 2 2
164698 164886 164491 0 -1 2 2
164699 164888 164493 0 -1 1 2
164700 164889 164496 0 0 2 2
164701 164890 164496 0 -1 2 3
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 37125 37125 0 0 -1
-2 3137 2860 0 0 -2
-3 32 18 0 0 -3
-4 5 1 0 0 -4
-5 0 0 0 0 -5
Totals / Min / Under -25:
40299 40004 0 0
4 4 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 329543 0 30 20
0 -79 0 -59 0 -39 0 -19 321068 1 30 21
0 -78 0 -58 0 -38 0 -18 64047 2 30 22
0 -77 0 -57 0 -37 0 -17 2289 3 30 23
0 -76 0 -56 0 -36 0 -16 179 4 30 24
0 -75 0 -55 0 -35 0 -15 52 5 30 25
0 -74 0 -54 0 -34 0 -14 34 6 30 26
0 -73 0 -53 0 -33 0 -13 31 7 30 27
0 -72 0 -52 0 -32 0 -12 31 8 30 28
0 -71 0 -51 0 -31 0 -11 31 9 30 29
0 -70 0 -50 0 -30 0 -10 31 10 30 30
0 -69 0 -49 0 -29 0 -9 32 11 30 31
0 -68 0 -48 0 -28 0 -8 30 12 30 32
0 -67 0 -47 0 -27 0 -7 30 13 30 33
0 -66 0 -46 0 -26 0 -6 30 14 30 34
0 -65 0 -45 0 -25 0 -5 30 15 29 35
0 -64 0 -44 0 -24 6 -4 30 16 28 36
0 -63 0 -43 0 -23 50 -3 30 17 25 37
0 -62 0 -42 0 -22 5997 -2 30 18 23 38
0 -61 0 -41 0 -21 74250 -1 30 19 21 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | oo
300000 | oo
280000 | oo
260000 | oo
240000 | oo
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________._____oooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 799519. Min thru -81 = 0.
Type = RR|CC1. Minimum = -4. -80 thru -1 = 80303.
Behav = Relaxed. Maximum = 262. 0 thru 39 = 718184.
histend K = 200000. 40 thru Max = 1032.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 5 0 31 20
0 -79 0 -59 0 -39 0 -19 54681 1 31 21
0 -78 0 -58 0 -38 0 -18 241751 2 31 22
0 -77 0 -57 0 -37 0 -17 91491 3 31 23
0 -76 0 -56 0 -36 0 -16 8190 4 31 24
0 -75 0 -55 0 -35 0 -15 645 5 31 25
0 -74 0 -54 0 -34 0 -14 320 6 31 26
0 -73 0 -53 0 -33 0 -13 230 7 31 27
0 -72 0 -52 0 -32 0 -12 139 8 31 28
0 -71 0 -51 0 -31 0 -11 96 9 31 29
0 -70 0 -50 0 -30 0 -10 48 10 31 30
0 -69 0 -49 0 -29 0 -9 33 11 31 31
0 -68 0 -48 0 -28 0 -8 31 12 31 32
0 -67 0 -47 0 -27 0 -7 32 13 31 33
0 -66 0 -46 0 -26 0 -6 31 14 31 34
0 -65 0 -45 0 -25 0 -5 31 15 31 35
0 -64 0 -44 0 -24 0 -4 31 16 33 36
0 -63 0 -43 0 -23 0 -3 31 17 31 37
0 -62 0 -42 0 -22 0 -2 31 18 26 38
0 -61 0 -41 0 -21 0 -1 31 19 26 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
80000 | | oo
60000 | | oo
40000 | |ooo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 399986. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 476. 0 thru 39 = 398490.
histend K = 200000. 40 thru Max = 1496.
End analysis of Test T720 at 10:02:15.769 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 10:02:16.017 980422
End execution of Test T800 at 10:02:16.536 980422
Duration 0.519
Start analysis of Test T800 at 10:02:17.207 980422
Thread start, stop, and dur times.
0.233 0.233 0.000 0.000 0.000 0.000 0.000 0.000
0.512 0.518 0.000 0.000 0.000 0.000 0.000 0.000
0.279 0.285 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 1 2 3
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 699930 699931 699932 699933
79992 799920 796720 799922 799923
89991 899910 899911 899912 899913
99990 999900 999901 999902 999903
109989 1099890 1099891 1099892 1099893
119988 1199880 1199881 1199882 1199883
129987 1299870 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1699830 1699831 1699832 1699833
179982 1799820 1799821 1799822 1799823
189981 1899810 1899811 1899812 1899813
199980 1926031 1999801 1999802 1999803
dim = 80, max = 2000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22 F
2 F
F 1
1F 11
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
2F1
2F1
2F1
2F1
2F1
1F1
1F2
1F2
1F2
1F2
1F2
2F2
1F1
F2
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 756680 0 0 20
0 -79 0 -59 0 -39 0 -19 58 1 0 21
0 -78 0 -58 0 -38 0 -18 5980 2 0 22
0 -77 0 -57 0 -37 0 -17 7673 3 0 23
0 -76 0 -56 0 -36 0 -16 2413 4 0 24
0 -75 0 -55 0 -35 0 -15 698 5 0 25
0 -74 0 -54 0 -34 0 -14 43 6 0 26
0 -73 0 -53 0 -33 0 -13 8 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 1 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 1 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | 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_o_________._________._____o___
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 773559. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 76. 0 thru 39 = 773556.
histend K = 200000. 40 thru Max = 3.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 756680 0 0 20
0 -79 0 -59 0 -39 0 -19 76 1 0 21
0 -78 0 -58 0 -38 0 -18 6171 2 0 22
0 -77 0 -57 0 -37 0 -17 7772 3 0 23
0 -76 0 -56 0 -36 0 -16 2118 4 0 24
0 -75 0 -55 0 -35 0 -15 482 5 0 25
0 -74 0 -54 0 -34 0 -14 114 6 0 26
0 -73 0 -53 0 -33 0 -13 19 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 | |
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 = 800. Total = 773436. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 66. 0 thru 39 = 773433.
histend K = 200000. 40 thru Max = 3.
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 10:03:06.324 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 10:03:06.644 980422
End execution of Test T820 at 10:03:07.012 980422
Duration 0.368
Start analysis of Test T820 at 10:03:07.524 980422
Thread start, stop, and dur times.
0.072 0.072 0.000 0.000 0.000 0.000 0.000 0.000
0.368 0.355 0.000 0.000 0.000 0.000 0.000 0.000
0.296 0.283 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 1161 1 2 3
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 699930 699931 699932 699933
79992 799920 646480 799922 799923
89991 1098831 899911 899912 899913
99990 999900 999901 999902 999903
109989 1099890 1099891 1099892 1099893
119988 1199880 1199881 1199882 1199883
129987 1299870 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1798511 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
11 F
11 F
11 F
11 F 2
111 F 22
111 F 22
11 F 22
11 F 22
111 F 22
11 F 22
11 F 22
11 F 2
111 F 22
11 F 2
11 F 22
11 F 22
11 F 22
11 F 2
1 F 22
1 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 2222
11 F 22
1 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 222
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 222
1 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 22
11 F 222
11 F 22
1 F 22
11 F 22
11 F 22
F 22
11 F 22
1 F 222
11 F 22
11 F 2 2
11 F 222
11 F 22
11 F 22
11 F 22
11 F 2
11 F 2
11 F 22
11 F 22
1 F 22
11 F 22
11 F 22
11 F 222
1 F 22
F 22
F 22
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 768148 0 0 20
0 -79 0 -59 0 -39 0 -19 61 1 0 21
0 -78 0 -58 0 -38 0 -18 4364 2 0 22
0 -77 0 -57 0 -37 0 -17 3243 3 0 23
0 -76 0 -56 0 -36 0 -16 1944 4 0 24
0 -75 0 -55 0 -35 0 -15 514 5 0 25
0 -74 0 -54 0 -34 0 -14 85 6 0 26
0 -73 0 -53 0 -33 0 -13 4 7 0 27
0 -72 0 -52 0 -32 0 -12 2 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 1 29
0 -70 0 -50 0 -30 0 -10 0 10 1 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 1 32
0 -67 0 -47 0 -27 0 -7 0 13 0 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 1 36
0 -63 0 -43 0 -23 0 -3 0 17 2 37
0 -62 0 -42 0 -22 0 -2 0 18 1 38
0 -61 0 -41 0 -21 0 -1 0 19 1 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_._________.________oo_o_o_oooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 778399. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4038. 0 thru 39 = 778374.
histend K = 200000. 40 thru Max = 25.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 768148 0 0 20
0 -79 0 -59 0 -39 0 -19 85 1 0 21
0 -78 0 -58 0 -38 0 -18 3991 2 0 22
0 -77 0 -57 0 -37 0 -17 3912 3 0 23
0 -76 0 -56 0 -36 0 -16 1743 4 0 24
0 -75 0 -55 0 -35 0 -15 611 5 0 25
0 -74 0 -54 0 -34 0 -14 100 6 0 26
0 -73 0 -53 0 -33 0 -13 18 7 0 27
0 -72 0 -52 0 -32 0 -12 3 8 0 28
0 -71 0 -51 0 -31 0 -11 2 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 1 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 1 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 0 37
0 -62 0 -42 0 -22 0 -2 0 18 1 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 |_________._________._________.ooooooooo._o___o___._________.___oo__o_
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 778621. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 72. 0 thru 39 = 778618.
histend K = 200000. 40 thru Max = 3.
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 10:03:56.640 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: 10:03:56.654 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: sometimes
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.475 0.543 T100 1 0
0.397 0.557 T120 0 1
0.894 1.617 T200 2 0
0.950 1.624 T210 1 1
0.887 1.615 T220 0 2
0.315 2.636 T400.1 -6 2 0
T400.2 2 0
0.745 2.151 T410.1 -3 1 1
T410.2 1 1
0.487 2.667 T420.1 -5 0 2
T420.2 0 2
0.350 2.536 T700.1 -5 2 0
T700.2 2 0
0.388 2.487 T710.1 -5 1 1
T710.2 1 1
0.478 2.482 T720.1 -4 0 2
T720.2 0 2
0.519 49.117 T800 1 0
0.368 49.116 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