ARCHTEST. Version 5.4. 980317. By W. W. Collier, mpdiag@acm.org
09:34:31.672 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: a2222200.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:34:55.835 980422
End execution of Test T100 at 09:34:56.666 980422
Duration 0.831
Start analysis of Test T100 at 09:34:56.668 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
0.829 0.326 0.000 0.000 0.000 0.000 0.000 0.000
0.824 0.321 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 6591 0 0 0
19998 13274 0 0 0
29997 19995 0 0 0
39996 26809 0 0 0
49995 33500 0 0 0
59994 40187 0 0 0
69993 46872 0 0 0
79992 53570 0 0 0
89991 59894 0 0 0
99990 65873 0 0 0
109989 72253 0 0 0
119988 78548 0 0 0
129987 85493 0 0 0
139986 92392 0 0 0
149985 99268 0 0 0
159984 106059 0 0 0
169983 112865 0 0 0
179982 119627 0 0 0
189981 126550 0 0 0
199980 133233 0 0 0
dim = 80, max = 133247, 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
11
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 68894 0
1 130488 65344
2 602 65719
3 0 31
4 0 0
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
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 14 9
End analysis of Test T100 at 09:34:58.585 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:34:59.445 980422
End execution of Test T120 at 09:35:00.384 980422
Duration 0.939
Start analysis of Test T120 at 09:35:00.837 980422
Thread start, stop, and dur times.
0.005 0.006 0.000 0.000 0.000 0.000 0.000 0.000
0.937 0.311 0.000 0.000 0.000 0.000 0.000 0.000
0.932 0.305 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 5645 0 0 0
19998 11158 0 0 0
29997 16917 0 0 0
39996 22841 0 0 0
49995 28491 0 0 0
59994 34148 0 0 0
69993 39795 0 0 0
79992 45457 0 0 0
89991 51117 0 0 0
99990 56685 0 0 0
109989 62306 0 0 0
119988 67785 0 0 0
129987 73518 0 0 0
139986 79350 0 0 0
149985 85213 0 0 0
159984 90874 0 0 0
169983 96521 0 0 0
179982 102184 0 0 0
189981 107845 0 0 0
199980 113496 0 0 0
dim = 80, max = 113507, 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
11
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 87318 0
1 112644 26226
2 28 86358
3 0 87
4 0 1
5 0 1
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 8 7
End analysis of Test T120 at 09:35:02.737 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:35:03.598 980422
line3
End execution of Test T200 at 09:35:05.147 980422
Duration 1.549
Start analysis of Test T200 at 09:35:05.149 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
1.548 0.541 0.000 0.000 0.000 0.000 0.000 0.000
1.543 0.536 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 17 19 0 0
9999 8026 8026 0 0
19998 16289 16289 0 0
29997 24733 24733 0 0
39996 32902 32902 0 0
49995 41080 41080 0 0
59994 49249 49249 0 0
69993 57396 57396 0 0
79992 65650 65650 0 0
89991 73882 73882 0 0
99990 82121 82121 0 0
109989 90238 90238 0 0
119988 98299 98299 0 0
129987 106541 106541 0 0
139986 114834 114834 0 0
149985 123163 123163 0 0
159984 131268 131268 0 0
169983 139631 139631 0 0
179982 148097 148097 0 0
189981 156166 156166 0 0
199980 164165 164165 0 0
dim = 80, max = 164181, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 76152 0
1 322850 250394
2 951 73403
3 2 5
4 1 0
5 0 4
6 0 0
7 0 0
8 0 1
9 0 0
10 2 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 38 36
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 114588 0 0 20
0 -79 0 -59 0 -39 0 -19 683549 1 0 21
0 -78 0 -58 0 -38 0 -18 1791 2 0 22
0 -77 0 -57 0 -37 0 -17 3 3 0 23
0 -76 0 -56 0 -36 0 -16 1 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 3 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 |_________._________._________.oooo_____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 = 164. 0 thru 39 = 799935.
histend K = 200000. 40 thru Max = 57.
End analysis of Test T200 at 09:35:10.715 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:35:11.574 980422
End execution of Test T210 at 09:35:13.294 980422
Duration 1.720
Start analysis of Test T210 at 09:35:13.571 980422
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
1.719 0.528 0.000 0.000 0.000 0.000 0.000 0.000
1.704 0.513 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 56 0 0
9999 7306 7306 0 0
19998 14678 14678 0 0
29997 21810 21810 0 0
39996 28944 28944 0 0
49995 36093 36093 0 0
59994 43151 43151 0 0
69993 50229 50229 0 0
79992 57504 57504 0 0
89991 64616 64616 0 0
99990 71721 71721 0 0
109989 78762 78762 0 0
119988 85904 85904 0 0
129987 93197 93197 0 0
139986 100507 100507 0 0
149985 107640 107640 0 0
159984 114866 114866 0 0
169983 121990 121990 0 0
179982 129307 129307 0 0
189981 136545 136545 0 0
199980 143813 143813 0 0
dim = 80, max = 143827, 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
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 116096 0
1 283404 169419
2 459 114439
3 0 13
4 0 1
5 0 0
6 0 1
7 0 0
8 1 1
9 1 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 35 26
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 180920 0 0 20
0 -79 0 -59 0 -39 0 -19 611549 1 0 21
0 -78 0 -58 0 -38 0 -18 7467 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 1 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 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 1 37
0 -62 0 -42 0 -22 0 -2 0 18 2 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
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 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.oo_____oo._________._________.______oo_
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 210. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 249. 0 thru 39 = 799942.
histend K = 200000. 40 thru Max = 50.
End analysis of Test T210 at 09:35:19.099 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:35:19.960 980422
End execution of Test T220 at 09:35:21.683 980422
Duration 1.723
Start analysis of Test T220 at 09:35:22.136 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
1.722 0.529 0.000 0.000 0.000 0.000 0.000 0.000
1.717 0.524 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 7074 7074 0 0
19998 14451 14451 0 0
29997 21890 21890 0 0
39996 29229 29229 0 0
49995 36394 36394 0 0
59994 43499 43499 0 0
69993 50818 50818 0 0
79992 57947 57947 0 0
89991 65297 65297 0 0
99990 72587 72587 0 0
109989 79685 79685 0 0
119988 87094 87094 0 0
129987 94364 94364 0 0
139986 101840 101840 0 0
149985 108937 108937 0 0
159984 115923 115923 0 0
169983 123551 123551 0 0
179982 130968 130968 0 0
189981 138120 138120 0 0
199980 145339 145339 0 0
dim = 80, max = 145354, 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
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 117919 0
1 281386 168515
2 608 113435
3 11 47
4 0 4
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 2
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 1 0
18 1 0
19 0 0
over 70 74
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 182203 0 0 20
0 -79 0 -59 0 -39 0 -19 611421 1 0 21
0 -78 0 -58 0 -38 0 -18 6244 2 0 22
0 -77 0 -57 0 -37 0 -17 16 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 3 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 1 17 0 37
0 -62 0 -42 0 -22 0 -2 2 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 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 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.ooo______.______oo_._________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 = 238. 0 thru 39 = 799890.
histend K = 200000. 40 thru Max = 102.
End analysis of Test T220 at 09:35:27.687 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:35:28.557 980422
End execution of Test T300 at 09:35:29.332 980422
Duration 0.775
Start analysis of Test T300 at 09:35:29.334 980422
Thread start, stop, and dur times.
0.025 0.026 0.025 0.025 0.000 0.000 0.000 0.000
0.772 0.414 0.391 0.397 0.000 0.000 0.000 0.000
0.747 0.388 0.366 0.372 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 208 285 0 0
9999 8397 6667 0 0
19998 17081 12919 0 0
29997 25813 27016 0 0
39996 34645 35858 0 0
49995 43509 44620 0 0
59994 52497 53758 0 0
69993 61107 44459 0 0
79992 70381 50835 0 0
89991 78473 80428 0 0
99990 87303 89408 0 0
109989 95915 69671 0 0
119988 105049 75751 0 0
129987 80356 115914 0 0
139986 123359 125684 0 0
149985 94220 95345 0 0
159984 141719 101715 0 0
169983 151073 153098 0 0
179982 114612 162302 0 0
189981 175259 174768 0 0
199980 185011 188426 0 0
dim = 80, max = 188445, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2
1
21
2
1
1
3
12
12
12
2
21
1
21
21
1
31
3
1
3
2 2
2
11
2 2
2
21 1
21
1
2 1 2
21 2
21
1 2
21
2
2
2
21 31
1 1
2 1
21 21
21
21 22
21 1
1
1 2
1
3 21
2 21
3 3
21
21
2
1 21
22
1 1
2 1
21 2
1
1
21 23
21 3
21
3
1 2
1
1 21
3 21
1 2
1 2
3 2
1 2
12
32
3
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 555110 0 1 20
0 -79 0 -59 0 -39 0 -19 115 1 11 21
0 -78 0 -58 0 -38 0 -18 197271 2 2 22
0 -77 0 -57 0 -37 0 -17 31497 3 9 23
0 -76 0 -56 0 -36 0 -16 44070 4 0 24
0 -75 0 -55 0 -35 0 -15 43583 5 10 25
0 -74 0 -54 0 -34 0 -14 3237 6 1 26
0 -73 0 -53 0 -33 0 -13 11001 7 12 27
0 -72 0 -52 0 -32 0 -12 146 8 1 28
0 -71 0 -51 0 -31 0 -11 3817 9 19 29
0 -70 0 -50 0 -30 0 -10 45 10 0 30
0 -69 0 -49 0 -29 0 -9 118 11 10 31
0 -68 0 -48 0 -28 0 -8 15 12 0 32
0 -67 0 -47 0 -27 0 -7 27 13 11 33
0 -66 0 -46 0 -26 0 -6 7 14 0 34
0 -65 0 -45 0 -25 0 -5 17 15 10 35
0 -64 0 -44 0 -24 0 -4 3 16 1 36
0 -63 0 -43 0 -23 0 -3 9 17 12 37
0 -62 0 -42 0 -22 0 -2 3 18 0 38
0 -61 0 -41 0 -21 0 -1 15 19 13 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_ooooo.o_o_ooo_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 300. Total = 893127. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 3513. 0 thru 39 = 890229.
histend K = 200000. 40 thru Max = 2898.
End analysis of Test T300 at 09:35:41.157 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:35:42.020 980422
End execution of Test T310 at 09:35:42.942 980422
Duration 0.922
Start analysis of Test T310 at 09:35:43.391 980422
Thread start, stop, and dur times.
0.170 0.170 0.170 0.170 0.000 0.000 0.000 0.000
0.919 0.586 0.512 0.512 0.000 0.000 0.000 0.000
0.749 0.416 0.342 0.342 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 619 666 0 0
9999 8379 5813 0 0
19998 16265 16028 0 0
29997 17224 16923 0 0
39996 22936 31710 0 0
49995 39803 39414 0 0
59994 34324 34047 0 0
69993 54877 39883 0 0
79992 45838 62390 0 0
89991 71085 70716 0 0
99990 78899 57529 0 0
109989 86557 63193 0 0
119988 94225 94144 0 0
129987 101739 74857 0 0
139986 80712 109170 0 0
149985 116931 86097 0 0
159984 124841 124506 0 0
169983 133131 132814 0 0
179982 140699 140320 0 0
189981 148457 147954 0 0
199980 116720 116551 0 0
dim = 80, max = 155838, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
2
2
1
2
2
1
2
12
2
2
1
2
3
3
1
2
2
3 3
3
1 1
3 3
1 1
1 3
2 1
1 2
2 1
2 21
2 3
1
33
2 2
1 1
2 1
3
2
2 2
2 2
1
1 12
1
3 1
1 3
1
2 1
1
3
2 11
3 3
1 2
1 3
2
2
1 1
3 32
2 1
3 2
1 32
3 3
3 2
1 1
3 3
3
1 2
1
2 2
3
3 2
12
1
3 1
3 22
1
22
31
3
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 582465 0 1 20
0 -79 0 -59 0 -39 0 -19 2242 1 15 21
0 -78 0 -58 0 -38 0 -18 173303 2 0 22
0 -77 0 -57 0 -37 0 -17 30523 3 16 23
0 -76 0 -56 0 -36 0 -16 40800 4 0 24
0 -75 0 -55 0 -35 0 -15 36912 5 17 25
0 -74 0 -54 0 -34 0 -14 3257 6 0 26
0 -73 0 -53 0 -33 0 -13 14286 7 13 27
0 -72 0 -52 0 -32 0 -12 78 8 0 28
0 -71 0 -51 0 -31 0 -11 3234 9 16 29
0 -70 0 -50 0 -30 0 -10 17 10 0 30
0 -69 0 -49 0 -29 0 -9 118 11 11 31
0 -68 0 -48 0 -28 0 -8 5 12 0 32
0 -67 0 -47 0 -27 0 -7 23 13 16 33
0 -66 0 -46 0 -26 0 -6 2 14 0 34
0 -65 0 -45 0 -25 0 -5 14 15 13 35
0 -64 0 -44 0 -24 0 -4 1 16 0 36
0 -63 0 -43 0 -23 0 -3 15 17 15 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 13 19 12 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o o
120000 | o o
80000 | o o
40000 | o o o
0 |_________._________._________.ooooooooooooooooo_ooo_o_o_o_o.o_o_o_o_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 310. Total = 888654. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1723. 0 thru 39 = 887453.
histend K = 200000. 40 thru Max = 1201.
End analysis of Test T310 at 09:35:54.577 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:35:55.448 980422
End execution of Test T320 at 09:35:56.460 980422
Duration 1.012
Start analysis of Test T320 at 09:35:57.264 980422
Thread start, stop, and dur times.
0.202 0.202 0.202 0.202 0.000 0.000 0.000 0.000
1.009 0.660 0.530 0.536 0.000 0.000 0.000 0.000
0.807 0.458 0.328 0.334 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 6907 6451 0 0
19998 10632 16232 0 0
29997 16046 17423 0 0
39996 21450 22783 0 0
49995 26650 36986 0 0
59994 31748 43994 0 0
69993 49571 37891 0 0
79992 56045 43347 0 0
89991 47366 64758 0 0
99990 52786 54165 0 0
109989 78117 79128 0 0
119988 85147 64739 0 0
129987 69080 93258 0 0
139986 98977 100116 0 0
149985 105845 106948 0 0
159984 84612 113712 0 0
169983 89856 91323 0 0
179982 126291 96741 0 0
189981 133293 135496 0 0
199980 140151 107605 0 0
dim = 80, max = 142965, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2
1
21
21
21
2
21
2
21
1
1
1
21
2
1 2
21
1 21
3
2 1
3 2
3 211
1 1
3
1 2
3 23
3 21
2 2
3 1
3 21
2 2
3 2
2 1
1
2
2
21 2
1
21
1
2
1 1
21
1 21
1
21 21
2
1
2 31
2 2
3
3 23
1
2 21
21
3 1
2 1
1 2
2
21 31
21
1 2
1
21 21
21 23
21 21
2
1
2 1
2
2 1
11
3
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 591167 0 0 20
0 -79 0 -59 0 -39 0 -19 12 1 14 21
0 -78 0 -58 0 -38 0 -18 176305 2 2 22
0 -77 0 -57 0 -37 0 -17 43133 3 12 23
0 -76 0 -56 0 -36 0 -16 31515 4 0 24
0 -75 0 -55 0 -35 0 -15 38325 5 18 25
0 -74 0 -54 0 -34 0 -14 900 6 0 26
0 -73 0 -53 0 -33 0 -13 8113 7 14 27
0 -72 0 -52 0 -32 0 -12 34 8 0 28
0 -71 0 -51 0 -31 0 -11 261 9 13 29
0 -70 0 -50 0 -30 0 -10 8 10 0 30
0 -69 0 -49 0 -29 0 -9 41 11 11 31
0 -68 0 -48 0 -28 0 -8 2 12 1 32
0 -67 0 -47 0 -27 0 -7 26 13 18 33
0 -66 0 -46 0 -26 0 -6 2 14 0 34
0 -65 0 -45 0 -25 0 -5 13 15 14 35
0 -64 0 -44 0 -24 0 -4 0 16 1 36
0 -63 0 -43 0 -23 0 -3 19 17 13 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 11 19 17 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o o
120000 | o o
80000 | o o
40000 | o oo
0 |_________._________._________.ooooooooooooooo_o_o.ooo_o_o_o.ooo_ooo_o
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 320. Total = 891516. Min thru -81 = 0.
Type = URR|WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1601. 0 thru 39 = 890035.
histend K = 200000. 40 thru Max = 1481.
End analysis of Test T320 at 09:36:08.997 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:36:09.856 980422
End execution of Test T400 at 09:36:10.554 980422
Duration 0.698
Start analysis of Test T400 at 09:36:10.557 980422
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.697 0.487 0.000 0.000 0.000 0.000 0.000 0.000
0.682 0.472 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 21 0 0
9999 16300 6165 0 0
19998 32335 12203 0 0
29997 48584 18559 0 0
39996 64837 24736 0 0
49995 81356 30857 0 0
59994 97635 37020 0 0
69993 114034 43155 0 0
79992 130348 49158 0 0
89991 146594 55292 0 0
99990 163077 61438 0 0
109989 179147 67579 0 0
119988 195421 73634 0 0
129987 199999 79770 0 0
139986 199999 85926 0 0
149985 199999 92069 0 0
159984 199999 98126 0 0
169983 199999 104250 0 0
179982 199999 110504 0 0
189981 199999 116664 0 0
199980 199999 122783 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1 2
2
1 22
1 22
2
1 22
2
1 22
1 2
22
1 22
2
1 22
1 22
2
1 22
2
1 22
1 22
2
1 22
2
1 22
1 22
2
1 22
22
1 2
1 22
2
1 22
1 22
2
1 22
2
1 22
1 22
2
1 22
22
1 2
1 22
2
1 22
2
1 22
1 22
2
122
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 155911 0
1 167815 167923
2 76019 75808
3 220 323
4 5 4
5 1 0
6 0 1
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 1 2
18 1 1
19 1 0
over 21 23
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 322475 0 23 20
0 -79 0 -59 0 -39 0 -19 289130 1 22 21
0 -78 0 -58 0 -38 0 -18 108634 2 22 22
0 -77 0 -57 0 -37 0 -17 339 3 21 23
0 -76 0 -56 0 -36 0 -16 32 4 21 24
0 -75 0 -55 0 -35 0 -15 29 5 21 25
0 -74 0 -54 0 -34 0 -14 27 6 21 26
0 -73 0 -53 0 -33 0 -13 26 7 21 27
0 -72 0 -52 0 -32 0 -12 26 8 21 28
0 -71 0 -51 0 -31 0 -11 26 9 21 29
0 -70 0 -50 0 -30 0 -10 26 10 21 30
0 -69 0 -49 0 -29 0 -9 26 11 21 31
0 -68 0 -48 0 -28 0 -8 26 12 21 32
0 -67 0 -47 0 -27 0 -7 26 13 21 33
0 -66 0 -46 0 -26 0 -6 26 14 21 34
0 -65 0 -45 0 -25 0 -5 26 15 21 35
0 -64 0 -44 0 -24 0 -4 26 16 22 36
0 -63 0 -43 0 -23 0 -3 26 17 20 37
0 -62 0 -42 0 -22 0 -2 25 18 20 38
0 -61 0 -41 0 -21 0 -1 24 19 20 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | o
300000 | o
280000 | oo
260000 | oo
240000 | oo
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | ooo
80000 | ooo
60000 | ooo
40000 | ooo
20000 | ooo
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 = 722789. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 200. 0 thru 39 = 721423.
histend K = 200000. 40 thru Max = 1366.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9 0 23 20
0 -79 0 -59 0 -39 0 -19 121316 1 23 21
0 -78 0 -58 0 -38 0 -18 122149 2 23 22
0 -77 0 -57 0 -37 0 -17 76175 3 22 23
0 -76 0 -56 0 -36 0 -16 915 4 22 24
0 -75 0 -55 0 -35 0 -15 51 5 22 25
0 -74 0 -54 0 -34 0 -14 27 6 22 26
0 -73 0 -53 0 -33 0 -13 26 7 22 27
0 -72 0 -52 0 -32 0 -12 26 8 22 28
0 -71 0 -51 0 -31 0 -11 26 9 22 29
0 -70 0 -50 0 -30 0 -10 26 10 22 30
0 -69 0 -49 0 -29 0 -9 26 11 22 31
0 -68 0 -48 0 -28 0 -8 26 12 22 32
0 -67 0 -47 0 -27 0 -7 26 13 22 33
0 -66 0 -46 0 -26 0 -6 26 14 22 34
0 -65 0 -45 0 -25 0 -5 26 15 22 35
0 -64 0 -44 0 -24 0 -4 26 16 22 36
0 -63 0 -43 0 -23 0 -3 26 17 22 37
0 -62 0 -42 0 -22 0 -2 25 18 22 38
0 -61 0 -41 0 -21 0 -1 24 19 21 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | |oo
110000 | |oo
100000 | |oo
90000 | |oo
80000 | |oo
70000 | |ooo
60000 | |ooo
50000 | |ooo
40000 | |ooo
30000 | |ooo
20000 | |ooo
10000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399977. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 77205. 0 thru 39 = 321419.
histend K = 200000. 40 thru Max = 78558.
End analysis of Test T400 at 09:36:18.149 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:36:19.009 980422
End execution of Test T410 at 09:36:19.579 980422
Duration 0.570
Start analysis of Test T410 at 09:36:19.853 980422
Thread start, stop, and dur times.
0.005 0.005 0.000 0.000 0.000 0.000 0.000 0.000
0.508 0.568 0.000 0.000 0.000 0.000 0.000 0.000
0.503 0.563 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 33 0 0
9999 8329 11838 0 0
19998 16989 23478 0 0
29997 25590 35366 0 0
39996 33976 46748 0 0
49995 42643 58784 0 0
59994 51023 70610 0 0
69993 59472 82262 0 0
79992 67967 93982 0 0
89991 76631 106318 0 0
99990 85025 117872 0 0
109989 93210 129478 0 0
119988 101779 141648 0 0
129987 110420 153434 0 0
139986 118779 165248 0 0
149985 127064 176805 0 0
159984 135551 188326 0 0
169983 144116 199999 0 0
179982 152703 199999 0 0
189981 161257 199999 0 0
199980 169592 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222222222
2
2
2
2
2
2
2
2
2
2
1
2 11
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 1
1
2 1
2 11
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1