ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
09:19:03.363 980422
Parameters initialized from file: sunserv.
This data was generated by ARCHTEST on a 4-way SUN Sparc 630
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) [4]: 4
Define logical length of arrays (max=500000) [200000]: 200000
The following tests can be run:
100 200 300 400 500 600 700 800 900 1000 1100 1200
210 310 410 510 610 710 1010 1110 1210
120 220 320 420 520 620 720 820 920 1020 1120 1220
1030
Specify which tests to run [all]:
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test.
Output file name: a0000000.out.
Number of threads: 4.
Length of the arrays: 200000.
Test(s) to run: all.
Select other options? (y,n,?)[n]
==sss========================================================================
Test T100. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T100 at 09:19:26.103 980422
End execution of Test T100 at 09:19:26.851 980422
Duration 0.748
Start analysis of Test T100 at 09:19:26.854 980422
Thread start, stop, and dur times.
0.006 0.006 0.000 0.000 0.000 0.000 0.000 0.000
0.746 0.333 0.000 0.000 0.000 0.000 0.000 0.000
0.740 0.327 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 7293 0 0 0
19998 14744 0 0 0
29997 22366 0 0 0
39996 30030 0 0 0
49995 37800 0 0 0
59994 45334 0 0 0
69993 52860 0 0 0
79992 60357 0 0 0
89991 67819 0 0 0
99990 75348 0 0 0
109989 82887 0 0 0
119988 90455 0 0 0
129987 98000 0 0 0
139986 105541 0 0 0
149985 112956 0 0 0
159984 120403 0 0 0
169983 127809 0 0 0
179982 135666 0 0 0
189981 143204 0 0 0
199980 150740 0 0 0
dim = 80, max = 150755, 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 148622 99707
2 538 49445
3 1 5
4 0 0
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 10 14
End analysis of Test T100 at 09:19:28.785 980422
==sss========================================================================
Test T120. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T120 at 09:19:29.643 980422
End execution of Test T120 at 09:19:30.503 980422
Duration 0.860
Start analysis of Test T120 at 09:19:30.959 980422
Thread start, stop, and dur times.
0.006 0.006 0.000 0.000 0.000 0.000 0.000 0.000
0.858 0.321 0.000 0.000 0.000 0.000 0.000 0.000
0.852 0.315 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 6280 0 0 0
19998 12555 0 0 0
29997 18773 0 0 0
39996 24941 0 0 0
49995 31166 0 0 0
59994 38281 0 0 0
69993 44712 0 0 0
79992 50995 0 0 0
89991 57281 0 0 0
99990 63509 0 0 0
109989 69703 0 0 0
119988 75824 0 0 0
129987 82281 0 0 0
139986 88744 0 0 0
149985 95018 0 0 0
159984 101194 0 0 0
169983 107419 0 0 0
179982 113526 0 0 0
189981 119908 0 0 0
199980 126316 0 0 0
dim = 80, max = 126328, 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
11
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 75858 0
1 123976 50590
2 149 73454
3 0 75
4 0 1
5 0 0
6 0 0
7 0 1
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 15 19
End analysis of Test T120 at 09:19:32.903 980422
==sss========================================================================
Test T200. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T200 at 09:19:33.805 980422
line3
End execution of Test T200 at 09:19:35.157 980422
Duration 1.352
Start analysis of Test T200 at 09:19:35.161 980422
Thread start, stop, and dur times.
0.006 0.006 0.000 0.000 0.000 0.000 0.000 0.000
1.350 0.615 0.000 0.000 0.000 0.000 0.000 0.000
1.344 0.609 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 28 31 0 0
9999 10360 10360 0 0
19998 21086 21086 0 0
29997 31635 31635 0 0
39996 42326 42326 0 0
49995 52640 52641 0 0
59994 62724 62724 0 0
69993 72887 72887 0 0
79992 83626 83626 0 0
89991 93715 93715 0 0
99990 104065 104065 0 0
109989 114300 114300 0 0
119988 124870 124870 0 0
129987 135384 135384 0 0
139986 145821 145821 0 0
149985 155948 155948 0 0
159984 166271 166271 0 0
169983 176507 176507 0 0
179982 187126 187126 0 0
189981 197354 197354 0 0
199980 207592 207592 0 0
dim = 80, max = 207612, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
3
33
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
33
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 26252 0
1 345527 354306
2 28032 19344
3 94 9
4 4 4
5 2 3
6 0 2
7 0 0
8 1 0
9 0 0
10 0 2
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 84 74
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 47002 0 0 20
0 -79 0 -59 0 -39 0 -19 702999 1 0 21
0 -78 0 -58 0 -38 0 -18 49742 2 0 22
0 -77 0 -57 0 -37 0 -17 112 3 0 23
0 -76 0 -56 0 -36 0 -16 7 4 0 24
0 -75 0 -55 0 -35 0 -15 3 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 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 | |
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 | ooo
0 |_________._________._________.ooooo__o_._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 200. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 510. 0 thru 39 = 799866.
histend K = 200000. 40 thru Max = 126.
End analysis of Test T200 at 09:19:40.835 980422
==sss========================================================================
Test T210. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T210 at 09:19:41.704 980422
End execution of Test T210 at 09:19:43.181 980422
Duration 1.477
Start analysis of Test T210 at 09:19:43.456 980422
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
1.476 0.562 0.000 0.000 0.000 0.000 0.000 0.000
1.460 0.546 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 8787 8787 0 0
19998 17630 17630 0 0
29997 26381 26381 0 0
39996 35191 35191 0 0
49995 44289 44289 0 0
59994 53164 53164 0 0
69993 61853 61853 0 0
79992 70456 70456 0 0
89991 79479 79479 0 0
99990 88503 88503 0 0
109989 97386 97386 0 0
119988 106207 106207 0 0
129987 115073 115073 0 0
139986 123771 123771 0 0
149985 132598 132598 0 0
159984 141549 141549 0 0
169983 150720 150720 0 0
179982 159620 159620 0 0
189981 168237 168237 0 0
199980 177265 177265 0 0
dim = 80, max = 177282, 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
3
3
3
3
33
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 57581 0
1 335737 288682
2 6603 53669
3 9 3
4 1 5
5 0 0
6 0 0
7 1 0
8 2 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 2
17 0 0
18 0 0
19 0 2
over 62 52
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 94237 0 0 20
0 -79 0 -59 0 -39 0 -19 687864 1 0 21
0 -78 0 -58 0 -38 0 -18 17781 2 0 22
0 -77 0 -57 0 -37 0 -17 10 3 0 23
0 -76 0 -56 0 -36 0 -16 2 4 0 24
0 -75 0 -55 0 -35 0 -15 1 5 3 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 1 7 0 27
0 -72 0 -52 0 -32 0 -12 3 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |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 | oo
40000 | oo
0 |_________._________._________.ooooo_oo_._________.____o____._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 210. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 220. 0 thru 39 = 799902.
histend K = 200000. 40 thru Max = 90.
End analysis of Test T210 at 09:19:49.043 980422
==sss========================================================================
Test T220. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T220 at 09:19:49.908 980422
End execution of Test T220 at 09:19:51.370 980422
Duration 1.462
Start analysis of Test T220 at 09:19:51.822 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
1.460 0.546 0.000 0.000 0.000 0.000 0.000 0.000
1.455 0.541 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 8724 8724 0 0
19998 17250 17250 0 0
29997 26055 26055 0 0
39996 35163 35163 0 0
49995 44221 44221 0 0
59994 53072 53073 0 0
69993 61975 61975 0 0
79992 70924 70924 0 0
89991 79743 79743 0 0
99990 88542 88542 0 0
109989 97264 97264 0 0
119988 105893 105893 0 0
129987 114913 114913 0 0
139986 123992 123993 0 0
149985 132798 132799 0 0
159984 141598 141598 0 0
169983 150408 150408 0 0
179982 159178 159178 0 0
189981 167910 167910 0 0
199980 176737 176737 0 0
dim = 80, max = 176754, 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
3
3
3
3
3
33
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 62892 0
1 324280 276893
2 12783 60172
3 3 4
4 4 1
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 34 34
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 111666 0 0 20
0 -79 0 -59 0 -39 0 -19 651752 1 0 21
0 -78 0 -58 0 -38 0 -18 36513 2 0 22
0 -77 0 -57 0 -37 0 -17 6 3 0 23
0 -76 0 -56 0 -36 0 -16 4 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 2 27
0 -72 0 -52 0 -32 0 -12 0 8 1 28
0 -71 0 -51 0 -31 0 -11 0 9 1 29
0 -70 0 -50 0 -30 0 -10 0 10 2 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |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 | oo
40000 | oo
0 |_________._________._________.oooo_____._________.______oooo_________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 220. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 270. 0 thru 39 = 799947.
histend K = 200000. 40 thru Max = 45.
End analysis of Test T220 at 09:19:57.402 980422
==sss========================================================================
Test T300. Seek a relaxation of A(CMP,UPO,URR,WW).
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
To show: Not A(CMP,UPO,URR,WW).
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T300 at 09:19:58.264 980422
End execution of Test T300 at 09:19:59.056 980422
Duration 0.792
Start analysis of Test T300 at 09:19:59.058 980422
Thread start, stop, and dur times.
0.206 0.206 0.396 0.206 0.000 0.000 0.000 0.000
0.788 0.479 0.725 0.559 0.000 0.000 0.000 0.000
0.582 0.273 0.329 0.353 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 147017 0 0 0
9999 158813 14394 0 0
19998 116414 18539 0 0
29997 182517 41770 0 0
39996 195009 37047 0 0
49995 144326 46767 0 0
59994 154842 83022 0 0
69993 165520 97028 0 0
79992 176444 112790 0 0
89991 187274 85031 0 0
99990 199826 140400 0 0
109989 213080 153006 0 0
119988 226154 165936 0 0
129987 239408 177468 0 0
139986 252656 189764 0 0
149985 266056 139631 0 0
159984 279428 150585 0 0
169983 292710 161199 0 0
179982 306188 172243 0 0
189981 319532 182879 0 0
199980 333656 193351 0 0
dim = 80, max = 333683, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11
1
1
1
1
11
1
1
1
11
1
1
1
11
1
1
1
1
11
1
1
1
11
1
1
1
11
1
1
1
11
1
1 1 2
1 1 2 2
1 11 2 22
1 1 2
11 11 22 22
1 1 2 2
11 11 22
1 22 2
11 2 22
1 1 2 2
11 2 22
11 2 2
11 1 2 22
11 2 2
1 22
1 2
2 2
2 2
2
2 2
1
11
1 2 2
1 2
2
2 22
22
2
2 2
2
2
2 2
2 2
2 22
2 22
22
2 22
2 2
2
2
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 524814 0 5 20
0 -79 0 -59 0 -39 0 -19 378 1 4 21
0 -78 0 -58 0 -38 0 -18 225757 2 2 22
0 -77 0 -57 0 -37 0 -17 5279 3 4 23
0 -76 0 -56 0 -36 0 -16 44402 4 0 24
0 -75 0 -55 0 -35 0 -15 12455 5 6 25
0 -74 0 -54 0 -34 0 -14 2939 6 0 26
0 -73 0 -53 0 -33 0 -13 3402 7 4 27
0 -72 0 -52 0 -32 0 -12 1887 8 3 28
0 -71 0 -51 0 -31 0 -11 3050 9 1 29
0 -70 0 -50 0 -30 0 -10 71 10 1 30
0 -69 0 -49 0 -29 0 -9 275 11 2 31
0 -68 0 -48 0 -28 0 -8 26 12 0 32
0 -67 0 -47 0 -27 0 -7 73 13 2 33
0 -66 0 -46 0 -26 0 -6 16 14 1 34
0 -65 0 -45 0 -25 0 -5 14 15 3 35
0 -64 0 -44 0 -24 0 -4 10 16 0 36
0 -63 0 -43 0 -23 0 -3 22 17 2 37
0 -62 0 -42 0 -22 0 -2 14 18 0 38
0 -61 0 -41 0 -21 0 -1 8 19 3 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o o
160000 | o o
120000 | o o
80000 | o o
40000 | o o o
0 |_________._________._________.ooooooooooooooooooooooo_o_ooooo_ooo_o_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 300. Total = 857451. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 146989. 0 thru 39 = 824935.
histend K = 200000. 40 thru Max = 32516.
End analysis of Test T300 at 09:20:11.834 980422
==sss========================================================================
Test T310. Seek a relaxation of A(CMP,UPO,URR,WW).
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
To show: Not A(CMP,UPO,URR,WW).
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T310 at 09:20:12.695 980422
End execution of Test T310 at 09:20:13.340 980422
Duration 0.645
Start analysis of Test T310 at 09:20:13.792 980422
Thread start, stop, and dur times.
0.019 0.019 0.019 0.019 0.000 0.000 0.000 0.000
0.641 0.393 0.371 0.371 0.000 0.000 0.000 0.000
0.622 0.374 0.352 0.352 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 105 0 0
9999 9015 10080 0 0
19998 19899 20550 0 0
29997 30213 30590 0 0
39996 31478 40296 0 0
49995 50957 50838 0 0
59994 61049 61168 0 0
69993 70645 71044 0 0
79992 81137 81098 0 0
89991 92087 91672 0 0
99990 77502 101366 0 0
109989 111803 84703 0 0
119988 121825 92325 0 0
129987 131257 130722 0 0
139986 141351 141040 0 0
149985 151493 115601 0 0
159984 123746 161650 0 0
169983 133780 133293 0 0
179982 166359 142267 0 0
189981 150456 150007 0 0
199980 182259 158919 0 0
dim = 80, max = 182284, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2
1
1
2
2
2
1
2
3
1 1
1 3
1 3
3 2
1 3
2 1
3 1
3
1 2
2 3
3 3
3
1 1
2 12
2 12
3
2 2
2 2
3 2
3
3 1
22
2 1
2
1 3
1
2 1
1 1
3 1
1
3
3 3
3 1
12
3 1
1 2
1
2
3 2
3
3
2
22
3 3
3
1
1
1 1
3 3
2
2
2 2
1
1 33
3 1
2
2 2
2
1 3
1 1
22
31
3
2
11
2
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 542025 0 5 20
0 -79 0 -59 0 -39 0 -19 3096 1 21 21
0 -78 0 -58 0 -38 0 -18 190494 2 1 22
0 -77 0 -57 0 -37 0 -17 20289 3 15 23
0 -76 0 -56 0 -36 0 -16 59864 4 0 24
0 -75 0 -55 0 -35 0 -15 45425 5 17 25
0 -74 0 -54 0 -34 0 -14 6966 6 0 26
0 -73 0 -53 0 -33 0 -13 17807 7 13 27
0 -72 0 -52 0 -32 0 -12 369 8 0 28
0 -71 0 -51 0 -31 0 -11 8893 9 13 29
0 -70 0 -50 0 -30 0 -10 115 10 1 30
0 -69 0 -49 0 -29 0 -9 533 11 9 31
0 -68 0 -48 0 -28 0 -8 37 12 0 32
0 -67 0 -47 0 -27 0 -7 95 13 15 33
0 -66 0 -46 0 -26 0 -6 24 14 0 34
0 -65 0 -45 0 -25 0 -5 68 15 7 35
0 -64 0 -44 0 -24 0 -4 9 16 0 36
0 -63 0 -43 0 -23 0 -3 45 17 12 37
0 -62 0 -42 0 -22 0 -2 10 18 0 38
0 -61 0 -41 0 -21 0 -1 25 19 12 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o o
120000 | o o
80000 | o o
40000 | o o oo
0 |_________._________._________.ooooooooooooooooooooooo_o_o_ooo_o_o_o_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 310. Total = 897205. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 545. 0 thru 39 = 896330.
histend K = 200000. 40 thru Max = 875.
End analysis of Test T310 at 09:20:28.265 980422
==sss========================================================================
Test T320. Seek a relaxation of A(CMP,UPO,URR,WW).
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
To show: Not A(CMP,UPO,URR,WW).
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T320 at 09:20:29.127 980422
End execution of Test T320 at 09:20:30.222 980422
Duration 1.095
Start analysis of Test T320 at 09:20:31.037 980422
Thread start, stop, and dur times.
0.163 0.163 0.163 0.163 0.000 0.000 0.000 0.000
1.092 0.664 0.491 0.492 0.000 0.000 0.000 0.000
0.929 0.501 0.328 0.329 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 79 0 0 0
9999 6177 4779 0 0
19998 12145 12052 0 0
29997 17573 15181 0 0
39996 19994 20229 0 0
49995 29155 25221 0 0
59994 29792 30059 0 0
69993 41003 41392 0 0
79992 46967 47356 0 0
89991 45144 45033 0 0
99990 59615 59406 0 0
109989 65627 65294 0 0
119988 71581 71612 0 0
129987 77575 77546 0 0
139986 83479 83536 0 0
149985 89249 89678 0 0
159984 95517 74747 0 0
169983 79858 79899 0 0
179982 106595 106996 0 0
189981 112401 112876 0 0
199980 118229 118802 0 0
dim = 80, max = 118815, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
2
3
3
1
2
1
3
3
3
3
2
1
3
2 3
21 3
1 1
3
3 2
3 1
3 2
2
1 3
1
1
3 1
3 2
1
3 1
3 2
2
3 2
3
3
2 2
3
1 3
2
2 3
1 1
2 3
2 2
2 1
21 1
1 22
1 11
21 1
1
21 2
2 2
21
21 2
1 1
1
21
2 2
2
2 1
1
2 3
2121
2 1
211
11
3
2
1
123
22
11
12
12
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 617706 0 2 20
0 -79 0 -59 0 -39 0 -19 33 1 19 21
0 -78 0 -58 0 -38 0 -18 160744 2 2 22
0 -77 0 -57 0 -37 0 -17 42762 3 16 23
0 -76 0 -56 0 -36 0 -16 16719 4 2 24
0 -75 0 -55 0 -35 0 -15 20313 5 16 25
0 -74 0 -54 0 -34 0 -14 3692 6 0 26
0 -73 0 -53 0 -33 0 -13 5840 7 12 27
0 -72 0 -52 0 -32 0 -12 834 8 0 28
0 -71 0 -51 0 -31 0 -11 2924 9 13 29
0 -70 0 -50 0 -30 0 -10 182 10 1 30
0 -69 0 -49 0 -29 0 -9 906 11 11 31
0 -68 0 -48 0 -28 0 -8 34 12 0 32
0 -67 0 -47 0 -27 0 -7 175 13 16 33
0 -66 0 -46 0 -26 0 -6 26 14 0 34
0 -65 0 -45 0 -25 0 -5 80 15 16 35
0 -64 0 -44 0 -24 0 -4 5 16 0 36
0 -63 0 -43 0 -23 0 -3 36 17 13 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 23 19 15 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o o
120000 | o o
80000 | o o
40000 | o oo
0 |_________._________._________.ooooooooooooooooo_ooooooo_o_ooo_o_o_o_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 320. Total = 874035. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 7715. 0 thru 39 = 873188.
histend K = 200000. 40 thru Max = 847.
End analysis of Test T320 at 09:20:42.333 980422
==sss========================================================================
Test T400. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T400 at 09:20:43.196 980422
End execution of Test T400 at 09:20:43.704 980422
Duration 0.508
Start analysis of Test T400 at 09:20:43.707 980422
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.505 0.507 0.000 0.000 0.000 0.000 0.000 0.000
0.490 0.492 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 40 0 0
9999 9597 10462 0 0
19998 20239 19631 0 0
29997 29891 30104 0 0
39996 39910 40081 0 0
49995 49643 50348 0 0
59994 59394 60593 0 0
69993 69828 70162 0 0
79992 79766 80217 0 0
89991 90098 89883 0 0
99990 100151 99828 0 0
109989 110107 109870 0 0
119988 119886 120089 0 0
129987 129628 130829 0 0
139986 138953 141018 0 0
149985 149000 150970 0 0
159984 159299 160643 0 0
169983 169344 170625 0 0
179982 179140 180823 0 0
189981 189317 190644 0 0
199980 198649 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
23
21
21
21
21
21
21
21
21
21
1
23
21
21
21
21
21
21
21
21
21
21
21
21
21
1
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
21
31
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
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 17171 0
1 376782 376770
2 5927 5936
3 51 60
4 5 1
5 4 0
6 0 0
7 0 0
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 56 57
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 379917 0 57 20
0 -79 0 -59 0 -39 0 -19 400131 1 57 21
0 -78 0 -58 0 -38 0 -18 8722 2 57 22
0 -77 0 -57 0 -37 0 -17 142 3 57 23
0 -76 0 -56 0 -36 0 -16 63 4 57 24
0 -75 0 -55 0 -35 0 -15 62 5 57 25
0 -74 0 -54 0 -34 0 -14 58 6 57 26
0 -73 0 -53 0 -33 0 -13 58 7 57 27
0 -72 0 -52 0 -32 0 -12 57 8 57 28
0 -71 0 -51 0 -31 0 -11 57 9 57 29
0 -70 0 -50 0 -30 0 -10 57 10 57 30
0 -69 0 -49 0 -29 0 -9 57 11 57 31
0 -68 0 -48 0 -28 0 -8 57 12 57 32
0 -67 0 -47 0 -27 0 -7 57 13 57 33
0 -66 0 -46 0 -26 0 -6 57 14 57 34
0 -65 0 -45 0 -25 0 -5 57 15 57 35
0 -64 0 -44 0 -24 0 -4 57 16 57 36
0 -63 0 -43 0 -23 0 -3 57 17 57 37
0 -62 0 -42 0 -22 0 -2 57 18 57 38
0 -61 0 -41 0 -21 0 -1 57 19 57 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | |
400000 | |o
375000 | oo
350000 | oo
325000 | oo
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | oo
25000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 798662. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 569. 0 thru 39 = 790977.
histend K = 200000. 40 thru Max = 7685.
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 124 0 57 20
0 -79 0 -59 0 -39 0 -19 23349 1 57 21
0 -78 0 -58 0 -38 0 -18 364077 2 57 22
0 -77 0 -57 0 -37 0 -17 1299 3 57 23
0 -76 0 -56 0 -36 0 -16 91 4 57 24
0 -75 0 -55 0 -35 0 -15 65 5 57 25
0 -74 0 -54 0 -34 0 -14 59 6 57 26
0 -73 0 -53 0 -33 0 -13 57 7 57 27
0 -72 0 -52 0 -32 0 -12 57 8 57 28
0 -71 0 -51 0 -31 0 -11 57 9 57 29
0 -70 0 -50 0 -30 0 -10 57 10 57 30
0 -69 0 -49 0 -29 0 -9 57 11 57 31
0 -68 0 -48 0 -28 0 -8 57 12 57 32
0 -67 0 -47 0 -27 0 -7 57 13 57 33
0 -66 0 -46 0 -26 0 -6 57 14 57 34
0 -65 0 -45 0 -25 0 -5 57 15 57 35
0 -64 0 -44 0 -24 0 -4 57 16 57 36
0 -63 0 -43 0 -23 0 -3 57 17 57 37
0 -62 0 -42 0 -22 0 -2 57 18 57 38
0 -61 0 -41 0 -21 0 -1 57 19 57 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | | o
340000 | | o
320000 | | o
300000 | | o
280000 | | o
260000 | | o
240000 | | o
220000 | | o
200000 | | o
180000 | | o
160000 | | o
140000 | | o
120000 | | o
100000 | | o
80000 | | o
60000 | | o
40000 | | o
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399957. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1332. 0 thru 39 = 390945.
histend K = 200000. 40 thru Max = 9012.
End analysis of Test T400 at 09:20:51.761 980422
==sss========================================================================
Test T410. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T410 at 09:20:52.623 980422
End execution of Test T410 at 09:20:53.143 980422
Duration 0.520
Start analysis of Test T410 at 09:20:53.418 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
0.456 0.519 0.000 0.000 0.000 0.000 0.000 0.000
0.451 0.514 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 39 0 0
9999 8165 12200 0 0
19998 16411 24127 0 0
29997 24682 36687 0 0
39996 32706 49386 0 0
49995 40495 61719 0 0
59994 48557 73785 0 0
69993 56727 85832 0 0
79992 65106 97756 0 0
89991 73723 110156 0 0
99990 81761 122526 0 0
109989 89846 135028 0 0
119988 97920 147138 0 0
129987 106072 159170 0 0
139986 114033 171931 0 0
149985 122306 184484 0 0
159984 130755 196610 0 0
169983 138363 199999 0 0
179982 146301 199999 0 0
189981 154417 199999 0 0
199980 162736 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222222222222
2
2
2
2
2
2
2
2
2
2
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
11
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 11
2 1
1
2 1
2 11
2 1
2 1
1
2 11
2 1
2 1
2 1
1
2 11