ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
14:32:23.281 980528
Parameters initialized from file: weiden.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks to Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.
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 ('a' for 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 14:32:37.937 980528
End execution of Test T100 at 14:32:38.437 980528
Duration 0.500
Start analysis of Test T100 at 14:32:38.437 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.047 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.047 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 36 0 0 0
9999 5015 0 0 0
19998 10033 0 0 0
29997 14832 0 0 0
39996 18838 0 0 0
49995 22863 0 0 0
59994 26898 0 0 0
69993 30925 0 0 0
79992 34953 0 0 0
89991 38983 0 0 0
99990 43839 0 0 0
109989 47868 0 0 0
119988 51899 0 0 0
129987 55923 0 0 0
139986 59951 0 0 0
149985 63984 0 0 0
159984 68009 0 0 0
169983 72039 0 0 0
179982 76263 0 0 0
189981 80287 0 0 0
199980 84314 0 0 0
dim = 80, max = 84323, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
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
11
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
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 117315 0
1 82595 2481
2 73 44066
3 9 36064
4 0 60
5 0 3
6 0 2
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 1
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 6 6
End analysis of Test T100 at 14:32:38.640 980528
==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 14:32:39.078 980528
End execution of Test T120 at 14:32:39.578 980528
Duration 0.500
Start analysis of Test T120 at 14:32:39.828 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.047 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.047 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 4139 0 0 0
19998 8281 0 0 0
29997 13056 0 0 0
39996 17196 0 0 0
49995 21334 0 0 0
59994 25476 0 0 0
69993 29614 0 0 0
79992 33755 0 0 0
89991 37895 0 0 0
99990 42036 0 0 0
109989 46200 0 0 0
119988 50331 0 0 0
129987 54471 0 0 0
139986 58611 0 0 0
149985 62751 0 0 0
159984 66891 0 0 0
169983 71030 0 0 0
179982 75171 0 0 0
189981 79311 0 0 0
199980 83433 0 0 0
dim = 80, max = 83442, 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 117465 0
1 82406 269
2 121 48063
3 3 33570
4 0 624
5 0 2
6 0 1
7 1 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 2 4
End analysis of Test T120 at 14:32:40.046 980528
==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 14:32:40.406 980528
End execution of Test T200 at 14:32:40.921 980528
Duration 0.515
Start analysis of Test T200 at 14:32:40.921 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.344 0.078 0.000 0.000 0.000 0.000 0.000 0.000
0.329 0.063 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 9 11 0 0
9999 6304 6304 0 0
19998 12474 12474 0 0
29997 18635 18635 0 0
39996 25023 25023 0 0
49995 30746 30746 0 0
59994 36456 36455 0 0
69993 42174 42174 0 0
79992 48396 48396 0 0
89991 54144 54144 0 0
99990 59866 59866 0 0
109989 65596 65596 0 0
119988 71328 71328 0 0
129987 77081 77081 0 0
139986 82816 82815 0 0
149985 88540 88540 0 0
159984 94236 94236 0 0
169983 100435 100435 0 0
179982 106109 106109 0 0
189981 111821 111821 0 0
199980 117458 117458 0 0
dim = 80, max = 117469, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 168737 0
1 230740 69422
2 413 155146
3 93 6683
4 2 4
5 0 0
6 0 0
7 0 0
8 1 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 10 4
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 253140 0 0 20
0 -79 0 -59 0 -39 0 -19 545989 1 0 21
0 -78 0 -58 0 -38 0 -18 748 2 0 22
0 -77 0 -57 0 -37 0 -17 96 3 0 23
0 -76 0 -56 0 -36 0 -16 2 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 1 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 | |
640000 | |
600000 | |
560000 | |
520000 | |o
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | oo
200000 | oo
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.oooo__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 = 550. 0 thru 39 = 799977.
histend K = 200000. 40 thru Max = 15.
End analysis of Test T200 at 14:32:41.546 980528
==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 14:32:41.984 980528
End execution of Test T210 at 14:32:42.484 980528
Duration 0.500
Start analysis of Test T210 at 14:32:42.578 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.391 0.078 0.000 0.000 0.000 0.000 0.000 0.000
0.391 0.078 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 6194 6194 0 0
19998 11620 11620 0 0
29997 17049 17049 0 0
39996 22488 22488 0 0
49995 28225 28225 0 0
59994 33655 33655 0 0
69993 39087 39087 0 0
79992 44522 44522 0 0
89991 50465 50465 0 0
99990 55886 55886 0 0
109989 61314 61314 0 0
119988 66786 66786 0 0
129987 72166 72166 0 0
139986 77590 77590 0 0
149985 83027 83027 0 0
159984 88391 88391 0 0
169983 93858 93858 0 0
179982 99151 99151 0 0
189981 104464 104464 0 0
199980 109665 109665 0 0
dim = 80, max = 109676, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
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
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 184750 0
1 214659 40110
2 457 165860
3 112 9266
4 3 2
5 1 0
6 0 1
7 1 1
8 0 0
9 1 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 12 6
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 277167 0 0 20
0 -79 0 -59 0 -39 0 -19 521848 1 0 21
0 -78 0 -58 0 -38 0 -18 832 2 0 22
0 -77 0 -57 0 -37 0 -17 117 3 0 23
0 -76 0 -56 0 -36 0 -16 5 4 0 24
0 -75 0 -55 0 -35 0 -15 2 5 0 25
0 -74 0 -54 0 -34 0 -14 1 6 0 26
0 -73 0 -53 0 -33 0 -13 1 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 1 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 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 | |
600000 | |
560000 | |
520000 | |o
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | oo
200000 | oo
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.ooooooo_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 = 630. 0 thru 39 = 799974.
histend K = 200000. 40 thru Max = 18.
End analysis of Test T210 at 14:32:43.218 980528
==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 14:32:43.640 980528
End execution of Test T220 at 14:32:44.156 980528
Duration 0.516
Start analysis of Test T220 at 14:32:44.421 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.391 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.375 0.078 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 5377 5377 0 0
19998 10629 10629 0 0
29997 16324 16324 0 0
39996 21579 21579 0 0
49995 26818 26818 0 0
59994 32060 32060 0 0
69993 37410 37410 0 0
79992 42637 42637 0 0
89991 47854 47854 0 0
99990 53072 53072 0 0
109989 58171 58171 0 0
119988 63406 63406 0 0
129987 68628 68628 0 0
139986 73858 73858 0 0
149985 79439 79439 0 0
159984 84666 84666 0 0
169983 89903 89903 0 0
179982 95154 95153 0 0
189981 100828 100828 0 0
199980 106037 106037 0 0
dim = 80, max = 106048, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
33
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 191632 0
1 207592 30350
2 635 165113
3 119 12883
4 5 8
5 0 0
6 1 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 1
17 0 1
18 0 0
19 0 0
over 12 8
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 287489 0 0 20
0 -79 0 -59 0 -39 0 -19 511247 1 0 21
0 -78 0 -58 0 -38 0 -18 1103 2 0 22
0 -77 0 -57 0 -37 0 -17 128 3 0 23
0 -76 0 -56 0 -36 0 -16 5 4 0 24
0 -75 0 -55 0 -35 0 -15 1 5 0 25
0 -74 0 -54 0 -34 0 -14 1 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | oo
240000 | oo
200000 | oo
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.oooooo___._________._________._________
-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 = 452. 0 thru 39 = 799974.
histend K = 200000. 40 thru Max = 18.
End analysis of Test T220 at 14:32:45.046 980528
==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 14:32:45.421 980528
End execution of Test T400 at 14:32:45.937 980528
Duration 0.516
Start analysis of Test T400 at 14:32:45.953 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.109 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 9 0 0
9999 9991 10006 0 0
19998 19247 20774 0 0
29997 29131 30871 0 0
39996 38989 41025 0 0
49995 48055 51951 0 0
59994 57937 62072 0 0
69993 67844 72041 0 0
79992 77899 82107 0 0
89991 87812 92210 0 0
99990 97711 102264 0 0
109989 107648 112365 0 0
119988 117540 122446 0 0
129987 127474 132523 0 0
139986 137394 142585 0 0
149985 147314 153549 0 0
159984 156342 163648 0 0
169983 166252 173752 0 0
179982 175239 184815 0 0
189981 185071 194966 0 0
199980 194921 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
21
21
31
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 42501 0
1 324020 324038
2 33443 33407
3 16 32
4 2 3
5 1 1
6 0 0
7 0 0
8 0 0
9 1 0
10 0 1
11 1 0
12 0 1
13 0 1
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 11 11
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 371104 0 11 20
0 -79 0 -59 0 -39 0 -19 386318 1 11 21
0 -78 0 -58 0 -38 0 -18 33535 2 10 22
0 -77 0 -57 0 -37 0 -17 34 3 10 23
0 -76 0 -56 0 -36 0 -16 17 4 9 24
0 -75 0 -55 0 -35 0 -15 16 5 8 25
0 -74 0 -54 0 -34 0 -14 14 6 8 26
0 -73 0 -53 0 -33 0 -13 14 7 8 27
0 -72 0 -52 0 -32 0 -12 14 8 8 28
0 -71 0 -51 0 -31 0 -11 15 9 8 29
0 -70 0 -50 0 -30 0 -10 13 10 8 30
0 -69 0 -49 0 -29 0 -9 14 11 8 31
0 -68 0 -48 0 -28 0 -8 12 12 8 32
0 -67 0 -47 0 -27 0 -7 11 13 8 33
0 -66 0 -46 0 -26 0 -6 11 14 8 34
0 -65 0 -45 0 -25 0 -5 11 15 8 35
0 -64 0 -44 0 -24 0 -4 11 16 8 36
0 -63 0 -43 0 -23 0 -3 11 17 8 37
0 -62 0 -42 0 -22 0 -2 11 18 8 38
0 -61 0 -41 0 -21 0 -1 11 19 8 39
------ Relaxed ------ | ------ Strong ------
380000 | |o
360000 | oo
340000 | oo
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 | oo
40000 | oo
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 = 794932. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 995. 0 thru 39 = 791368.
histend K = 200000. 40 thru Max = 3564.
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 12 20
0 -79 0 -59 0 -39 0 -19 62299 1 12 21
0 -78 0 -58 0 -38 0 -18 312777 2 12 22
0 -77 0 -57 0 -37 0 -17 15853 3 11 23
0 -76 0 -56 0 -36 0 -16 63 4 10 24
0 -75 0 -55 0 -35 0 -15 20 5 9 25
0 -74 0 -54 0 -34 0 -14 14 6 9 26
0 -73 0 -53 0 -33 0 -13 14 7 9 27
0 -72 0 -52 0 -32 0 -12 14 8 9 28
0 -71 0 -51 0 -31 0 -11 14 9 9 29
0 -70 0 -50 0 -30 0 -10 14 10 9 30
0 -69 0 -49 0 -29 0 -9 13 11 9 31
0 -68 0 -48 0 -28 0 -8 13 12 9 32
0 -67 0 -47 0 -27 0 -7 13 13 9 33
0 -66 0 -46 0 -26 0 -6 12 14 9 34
0 -65 0 -45 0 -25 0 -5 12 15 9 35
0 -64 0 -44 0 -24 0 -4 12 16 9 36
0 -63 0 -43 0 -23 0 -3 12 17 9 37
0 -62 0 -42 0 -22 0 -2 12 18 9 38
0 -61 0 -41 0 -21 0 -1 12 19 9 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
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 | |oo
40000 | |oo
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 = 399987. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5062. 0 thru 39 = 391390.
histend K = 200000. 40 thru Max = 8597.
End analysis of Test T400 at 14:32:46.921 980528
==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 14:32:47.359 980528
End execution of Test T410 at 14:32:47.875 980528
Duration 0.516
Start analysis of Test T410 at 14:32:47.968 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.141 0.000 0.000 0.000 0.000 0.000 0.000
0.109 0.125 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 41 0 0
9999 7916 12569 0 0
19998 15990 24913 0 0
29997 24511 36154 0 0
39996 33395 47937 0 0
49995 41798 59254 0 0
59994 50662 70545 0 0
69993 59504 81931 0 0
79992 68265 93197 0 0
89991 77134 104453 0 0
99990 86005 115701 0 0
109989 94915 126957 0 0
119988 103781 138210 0 0
129987 112696 149508 0 0
139986 121546 160687 0 0
149985 130409 171951 0 0
159984 139360 183391 0 0
169983 148236 194554 0 0
179982 157108 199999 0 0
189981 165872 199999 0 0
199980 174823 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22222222222
2
2
2
2
2
2
2
2
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
11
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 72885 0
1 281235 281277
2 45830 45746
3 20 63
4 4 3
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 1 1
13 1 2
14 1 0
15 1 1
16 1 0
17 0 1
18 1 0
19 1 1
over 14 16
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 365587 0 15 20
0 -79 0 -59 0 -39 0 -19 361410 1 15 21
0 -78 0 -58 0 -38 0 -18 45978 2 13 22
0 -77 0 -57 0 -37 0 -17 47 3 14 23
0 -76 0 -56 0 -36 0 -16 26 4 13 24
0 -75 0 -55 0 -35 0 -15 22 5 13 25
0 -74 0 -54 0 -34 0 -14 22 6 13 26
0 -73 0 -53 0 -33 0 -13 22 7 13 27
0 -72 0 -52 0 -32 0 -12 22 8 13 28
0 -71 0 -51 0 -31 0 -11 22 9 13 29
0 -70 0 -50 0 -30 0 -10 22 10 13 30
0 -69 0 -49 0 -29 0 -9 22 11 13 31
0 -68 0 -48 0 -28 0 -8 22 12 13 32
0 -67 0 -47 0 -27 0 -7 21 13 13 33
0 -66 0 -46 0 -26 0 -6 20 14 13 34
0 -65 0 -45 0 -25 0 -5 19 15 13 35
0 -64 0 -44 0 -24 0 -4 19 16 13 36
0 -63 0 -43 0 -23 0 -3 17 17 13 37
0 -62 0 -42 0 -22 0 -2 18 18 13 38
0 -61 0 -41 0 -21 0 -1 17 19 13 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | oo
340000 | oo
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 | oo
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 = 410. Total = 774834. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 538. 0 thru 39 = 773620.
histend K = 200000. 40 thru Max = 1214.
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 2 0 15 20
0 -79 0 -59 0 -39 0 -19 80176 1 14 21
0 -78 0 -58 0 -38 0 -18 261021 2 13 22
0 -77 0 -57 0 -37 0 -17 30256 3 13 23
0 -76 0 -56 0 -36 0 -16 1563 4 13 24
0 -75 0 -55 0 -35 0 -15 26 5 12 25
0 -74 0 -54 0 -34 0 -14 18 6 12 26
0 -73 0 -53 0 -33 0 -13 18 7 12 27
0 -72 0 -52 0 -32 0 -12 18 8 12 28
0 -71 0 -51 0 -31 0 -11 18 9 12 29
0 -70 0 -50 0 -30 0 -10 18 10 12 30
0 -69 0 -49 0 -29 0 -9 18 11 12 31
0 -68 0 -48 0 -28 0 -8 18 12 12 32
0 -67 0 -47 0 -27 0 -7 18 13 12 33
0 -66 0 -46 0 -26 0 -6 18 14 12 34
0 -65 0 -45 0 -25 0 -5 17 15 12 35
0 -64 0 -44 0 -24 0 -4 16 16 12 36
0 -63 0 -43 0 -23 0 -3 17 17 12 37
0 -62 0 -42 0 -22 0 -2 15 18 12 38
0 -61 0 -41 0 -21 0 -1 16 19 12 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | | o
240000 | | o
220000 | | o
200000 | | o
180000 | | o
160000 | | o
140000 | | o
120000 | | o
100000 | | o
80000 | |oo
60000 | |oo
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399936. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 25161. 0 thru 39 = 373535.
histend K = 200000. 40 thru Max = 26401.
End analysis of Test T410 at 14:32:48.937 980528
==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 14:32:49.375 980528
End execution of Test T420 at 14:32:49.890 980528
Duration 0.515
Start analysis of Test T420 at 14:32:50.171 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.140 0.140 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 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 10019 9978 0 0
19998 19172 20828 0 0
29997 29205 30778 0 0
39996 39276 40714 0 0
49995 48559 51418 0 0
59994 58613 61369 0 0
69993 68303 71815 0 0
79992 78219 81748 0 0
89991 88261 91718 0 0
99990 98156 101797 0 0
109989 108230 111757 0 0
119988 118259 121704 0 0
129987 126930 133035 0 0
139986 136973 142973 0 0
149985 146226 153743 0 0
159984 156271 163669 0 0
169983 166317 174424 0 0
179982 175557 184379 0 0
189981 185607 194332 0 0
199980 195081 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
31
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 29001 0
1 353067 353084
2 17890 17861
3 17 34
4 2 1
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 1 0
12 0 1
13 1 0
14 0 1
15 0 0
16 0 0
17 1 0
18 0 0
19 1 0
over 14 13
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 384668 0 15 20
0 -79 0 -59 0 -39 0 -19 386225 1 13 21
0 -78 0 -58 0 -38 0 -18 18009 2 14 22
0 -77 0 -57 0 -37 0 -17 36 3 13 23
0 -76 0 -56 0 -36 0 -16 18 4 13 24
0 -75 0 -55 0 -35 0 -15 16 5 13 25
0 -74 0 -54 0 -34 0 -14 16 6 13 26
0 -73 0 -53 0 -33 0 -13 16 7 13 27
0 -72 0 -52 0 -32 0 -12 16 8 13 28
0 -71 0 -51 0 -31 0 -11 16 9 13 29
0 -70 0 -50 0 -30 0 -10 16 10 13 30
0 -69 0 -49 0 -29 0 -9 17 11 13 31
0 -68 0 -48 0 -28 0 -8 15 12 13 32
0 -67 0 -47 0 -27 0 -7 16 13 13 33
0 -66 0 -46 0 -26 0 -6 14 14 13 34
0 -65 0 -45 0 -25 0 -5 14 15 13 35
0 -64 0 -44 0 -24 0 -4 14 16 13 36
0 -63 0 -43 0 -23 0 -3 15 17 11 37
0 -62 0 -42 0 -22 0 -2 14 18 11 38
0 -61 0 -41 0 -21 0 -1 15 19 11 39
------ Relaxed ------ | ------ Strong ------
380000 | oo
360000 | oo
340000 | oo
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 | oo
40000 | oo
20000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 795076. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1388. 0 thru 39 = 789443.
histend K = 200000. 40 thru Max = 5633.
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 16 20
0 -79 0 -59 0 -39 0 -19 33158 1 15 21
0 -78 0 -58 0 -38 0 -18 347357 2 14 22
0 -77 0 -57 0 -37 0 -17 8354 3 15 23
0 -76 0 -56 0 -36 0 -16 72 4 14 24
0 -75 0 -55 0 -35 0 -15 15 5 14 25
0 -74 0 -54 0 -34 0 -14 14 6 14 26
0 -73 0 -53 0 -33 0 -13 14 7 14 27
0 -72 0 -52 0 -32 0 -12 14 8 14 28
0 -71 0 -51 0 -31 0 -11 14 9 14 29
0 -70 0 -50 0 -30 0 -10 14 10 14 30
0 -69 0 -49 0 -29 0 -9 14 11 14 31
0 -68 0 -48 0 -28 0 -8 15 12 14 32
0 -67 0 -47 0 -27 0 -7 15 13 14 33
0 -66 0 -46 0 -26 0 -6 15 14 14 34
0 -65 0 -45 0 -25 0 -5 14 15 14 35
0 -64 0 -44 0 -24 0 -4 14 16 14 36
0 -63 0 -43 0 -23 0 -3 15 17 13 37
0 -62 0 -42 0 -22 0 -2 14 18 12 38
0 -61 0 -41 0 -21 0 -1 14 19 12 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
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 = 420. Total = 399987. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4918. 0 thru 39 = 389440.
histend K = 200000. 40 thru Max = 10547.
End analysis of Test T420 at 14:32:51.140 980528
==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 14:32:51.593 980528
End execution of Test T700 at 14:32:52.093 980528
Duration 0.500
Start analysis of Test T700 at 14:32:52.093 980528
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.141 0.157 0.000 0.000 0.000 0.000 0.000 0.000
0.141 0.157 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 3 199999 199999
9999 8901 11123 0 0
19998 18622 21419 0 0
29997 27864 32184 0 0
39996 37590 42485 0 0
49995 46992 53088 0 0
59994 56699 63383 0 0
69993 66326 74720 0 0
79992 75270 84719 0 0
89991 85263 94850 0 0
99990 95126 104849 0 0
109989 105129 115141 0 0
119988 114837 125138 0 0
129987 124847 135135 0 0
139986 134323 145646 0 0
149985 144326 155644 0 0
159984 153644 166323 0 0
169983 163643 176315 0 0
179982 173010 186970 0 0
189981 182987 196972 0 0
199980 192989 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 2222
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
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
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 57757 0
1 296920 296923
2 45290 45284
3 6 10
4 0 1
5 1 0
6 0 2
7 0 0
8 2 0
9 1 0
10 0 0
11 0 0
12 0 0
13 0 0
14 1 1
15 0 0
16 0 0
17 0 0
18 1 1
19 0 0
over 17 17
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 313601 0 17 20
0 -79 0 -59 0 -39 0 -19 426739 1 17 21
0 -78 0 -58 0 -38 0 -18 47196 2 17 22
0 -77 0 -57 0 -37 0 -17 29 3 17 23
0 -76 0 -56 0 -36 0 -16 21 4 17 24
0 -75 0 -55 0 -35 0 -15 22 5 17 25
0 -74 0 -54 0 -34 0 -14 19 6 17 26
0 -73 0 -53 0 -33 0 -13 19 7 17 27
0 -72 0 -52 0 -32 0 -12 21 8 17 28
0 -71 0 -51 0 -31 0 -11 20 9 17 29
0 -70 0 -50 0 -30 0 -10 19 10 18 30
0 -69 0 -49 0 -29 0 -9 19 11 16 31
0 -68 0 -48 0 -28 0 -8 19 12 16 32
0 -67 0 -47 0 -27 0 -7 19 13 16 33
0 -66 0 -46 0 -26 0 -6 19 14 15 34
0 -65 0 -45 0 -25 0 -5 18 15 14 35
0 -64 0 -44 0 -24 0 -4 18 16 14 36
0 -63 0 -43 0 -23 0 -3 18 17 13 37
0 -62 0 -42 0 -22 0 -2 19 18 12 38
0 -61 0 -41 0 -21 0 -1 17 19 12 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | oo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 793001. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1186. 0 thru 39 = 788188.
histend K = 200000. 40 thru Max = 4813.
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 10 0 18 20
0 -79 0 -59 0 -39 0 -19 129820 1 18 21
0 -78 0 -58 0 -38 0 -18 257369 2 18 22
0 -77 0 -57 0 -37 0 -17 362 3 18 23
0 -76 0 -56 0 -36 0 -16 22 4 18 24
0 -75 0 -55 0 -35 0 -15 20 5 18 25
0 -74 0 -54 0 -34 0 -14 21 6 18 26
0 -73 0 -53 0 -33 0 -13 21 7 18 27
0 -72 0 -52 0 -32 0 -12 22 8 18 28
0 -71 0 -51 0 -31 0 -11 22 9 18 29
0 -70 0 -50 0 -30 0 -10 21 10 18 30
0 -69 0 -49 0 -29 0 -9 20 11 17 31
0 -68 0 -48 0 -28 0 -8 20 12 17 32
0 -67 0 -47 0 -27 0 -7 20 13 17 33
0 -66 0 -46 0 -26 0 -6 20 14 16 34
0 -65 0 -45 0 -25 0 -5 19 15 15 35
0 -64 0 -44 0 -24 0 -4 19 16 15 36
0 -63 0 -43 0 -23 0 -3 19 17 14 37
0 -62 0 -42 0 -22 0 -2 19 18 14 38
0 -61 0 -41 0 -21 0 -1 19 19 13 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | | o
220000 | | o
200000 | | o
180000 | | o
160000 | | o
140000 | | o
120000 | |oo
100000 | |oo
80000 | |oo
60000 | |oo
40000 | |oo
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 700. Total = 399994. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6993. 0 thru 39 = 388221.
histend K = 200000. 40 thru Max = 11773.
End analysis of Test T700 at 14:32:53.062 980528
==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 14:32:53.500 980528
End execution of Test T710 at 14:32:54.015 980528
Duration 0.515
Start analysis of Test T710 at 14:32:54.109 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.171 0.171 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.156 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 14 199999 0
9999 8565 11801 0 0
19998 17496 22742 0 0
29997 26671 34296 0 0
39996 35227 45197 0 0
49995 44406 56520 0 0
59994 53181 67429 0 0
69993 62350 78419 0 0
79992 71439 89306 0 0
89991 80614 101146 0 0
99990 88918 112036 0 0
109989 98117 123501 0 0
119988 106771 134384 0 0
129987 115950 145513 0 0
139986 124923 157261 0 0
149985 134091 168177 0 0
159984 142468 179747 0 0
169983 151648 190644 0 0
179982 160196 199999 0 0
189981 169370 199999 0 0
199980 178220 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 2222222222
2
2
2
2
2
2
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
1
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 74097 0
1 279711 279707
2 46142 46158
3 13 4
4 0 1
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 1 0
13 1 1
14 2 0
15 3 2
16 2 1
17 2 2
18 1 2
19 1 0
over 20 21
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 283986 0 21 20
0 -79 0 -59 0 -39 0 -19 440274 1 21 21
0 -78 0 -58 0 -38 0 -18 47788 2 21 22
0 -77 0 -57 0 -37 0 -17 43 3 21 23
0 -76 0 -56 0 -36 0 -16 29 4 21 24
0 -75 0 -55 0 -35 0 -15 29 5 21 25
0 -74 0 -54 0 -34 0 -14 29 6 21 26
0 -73 0 -53 0 -33 0 -13 29 7 21 27
0 -72 0 -52 0 -32 0 -12 29 8 22 28
0 -71 0 -51 0 -31 0 -11 29 9 21 29
0 -70 0 -50 0 -30 0 -10 29 10 18 30
0 -69 0 -49 0 -29 0 -9 29 11 18 31
0 -68 0 -48 0 -28 0 -8 30 12 18 32
0 -67 0 -47 0 -27 0 -7 30 13 18 33
0 -66 0 -46 0 -26 0 -6 30 14 19 34
0 -65 0 -45 0 -25 0 -5 31 15 16 35
0 -64 0 -44 0 -24 0 -4 28 16 15 36
0 -63 0 -43 0 -23 0 -3 25 17 13 37
0 -62 0 -42 0 -22 0 -2 23 18 13 38
0 -61 0 -41 0 -21 0 -1 22 19 13 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | oo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 778230. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 958. 0 thru 39 = 772914.
histend K = 200000. 40 thru Max = 5316.
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 13 0 22 20
0 -79 0 -59 0 -39 0 -19 160564 1 21 21
0 -78 0 -58 0 -38 0 -18 208029 2 21 22
0 -77 0 -57 0 -37 0 -17 3482 3 21 23
0 -76 0 -56 0 -36 0 -16 26 4 21 24
0 -75 0 -55 0 -35 0 -15 23 5 21 25
0 -74 0 -54 0 -34 0 -14 23 6 21 26
0 -73 0 -53 0 -33 0 -13 23 7 21 27
0 -72 0 -52 0 -32 0 -12 23 8 21 28
0 -71 0 -51 0 -31 0 -11 23 9 20 29
0 -70 0 -50 0 -30 0 -10 23 10 20 30
0 -69 0 -49 0 -29 0 -9 23 11 19 31
0 -68 0 -48 0 -28 0 -8 24 12 19 32
0 -67 0 -47 0 -27 0 -7 23 13 19 33
0 -66 0 -46 0 -26 0 -6 24 14 19 34
0 -65 0 -45 0 -25 0 -5 25 15 19 35
0 -64 0 -44 0 -24 0 -4 24 16 17 36
0 -63 0 -43 0 -23 0 -3 24 17 14 37
0 -62 0 -42 0 -22 0 -2 23 18 14 38
0 -61 0 -41 0 -21 0 -1 22 19 15 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | | o
180000 | | o
160000 | |oo
140000 | |oo
120000 | |oo
100000 | |oo
80000 | |oo
60000 | |oo
40000 | |oo
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 399970. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 21764. 0 thru 39 = 372849.
histend K = 200000. 40 thru Max = 27121.
End analysis of Test T710 at 14:32:55.078 980528
==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 14:32:55.515 980528
End execution of Test T720 at 14:32:56.031 980528
Duration 0.516
Start analysis of Test T720 at 14:32:56.296 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.156 0.000 0.000 0.000 0.000 0.000 0.000
0.140 0.140 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 10011 9986 0 0
19998 20025 19970 0 0
29997 29864 30130 0 0
39996 39850 40142 0 0
49995 49834 50156 0 0
59994 59811 60178 0 0
69993 69779 70206 0 0
79992 79756 80226 0 0
89991 89531 90454 0 0
99990 99499 100481 0 0
109989 109459 110525 0 0
119988 119434 120541 0 0
129987 129105 130870 0 0
139986 139098 140876 0 0
149985 149096 151636 0 0
159984 158298 161672 0 0
169983 168288 171671 0 0
179982 177632 182339 0 0
189981 187595 192362 0 0
199980 197396 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
211
21
21
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
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 28293 0
1 348774 348769
2 22900 22908
3 5 2
4 1 2
5 0 0
6 0 0
7 2 2
8 1 1
9 1 0
10 1 0
11 0 2
12 0 0
13 0 0
14 0 0
15 2 1
16 0 1
17 1 0
18 1 2
19 1 0
over 13 13
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 359513 0 13 20
0 -79 0 -59 0 -39 0 -19 412120 1 13 21
0 -78 0 -58 0 -38 0 -18 22979 2 13 22
0 -77 0 -57 0 -37 0 -17 31 3 13 23
0 -76 0 -56 0 -36 0 -16 24 4 13 24
0 -75 0 -55 0 -35 0 -15 22 5 13 25
0 -74 0 -54 0 -34 0 -14 22 6 13 26
0 -73 0 -53 0 -33 0 -13 24 7 14 27
0 -72 0 -52 0 -32 0 -12 20 8 12 28
0 -71 0 -51 0 -31 0 -11 20 9 12 29
0 -70 0 -50 0 -30 0 -10 20 10 12 30
0 -69 0 -49 0 -29 0 -9 17 11 12 31
0 -68 0 -48 0 -28 0 -8 17 12 12 32
0 -67 0 -47 0 -27 0 -7 17 13 12 33
0 -66 0 -46 0 -26 0 -6 17 14 11 34
0 -65 0 -45 0 -25 0 -5 18 15 11 35
0 -64 0 -44 0 -24 0 -4 15 16 11 36
0 -63 0 -43 0 -23 0 -3 16 17 11 37
0 -62 0 -42 0 -22 0 -2 15 18 10 38
0 -61 0 -41 0 -21 0 -1 14 19 10 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | |
400000 | |o
375000 | |o
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,RR,CC1).
Nmbr = 720. Total = 797409. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 803. 0 thru 39 = 795182.
histend K = 200000. 40 thru Max = 2227.
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 7 0 14 20
0 -79 0 -59 0 -39 0 -19 63347 1 14 21
0 -78 0 -58 0 -38 0 -18 330802 2 14 22
0 -77 0 -57 0 -37 0 -17 478 3 14 23
0 -76 0 -56 0 -36 0 -16 22 4 14 24
0 -75 0 -55 0 -35 0 -15 20 5 14 25
0 -74 0 -54 0 -34 0 -14 20 6 14 26
0 -73 0 -53 0 -33 0 -13 21 7 14 27
0 -72 0 -52 0 -32 0 -12 20 8 14 28
0 -71 0 -51 0 -31 0 -11 18 9 14 29
0 -70 0 -50 0 -30 0 -10 19 10 13 30
0 -69 0 -49 0 -29 0 -9 19 11 13 31
0 -68 0 -48 0 -28 0 -8 18 12 13 32
0 -67 0 -47 0 -27 0 -7 18 13 13 33
0 -66 0 -46 0 -26 0 -6 18 14 13 34
0 -65 0 -45 0 -25 0 -5 18 15 12 35
0 -64 0 -44 0 -24 0 -4 17 16 12 36
0 -63 0 -43 0 -23 0 -3 18 17 12 37
0 -62 0 -42 0 -22 0 -2 17 18 12 38
0 -61 0 -41 0 -21 0 -1 15 19 12 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
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 | |oo
40000 | |oo
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 399992. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2586. 0 thru 39 = 395197.
histend K = 200000. 40 thru Max = 4795.
End analysis of Test T720 at 14:32:57.265 980528
==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 14:32:57.625 980528
End execution of Test T800 at 14:32:58.140 980528
Duration 0.515
Start analysis of Test T800 at 14:32:58.843 980528
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.110 0.110 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 110 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 799921 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 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....:....
2F
22F1
2F11
22F11
22F 1
2F11
22F1
22F11
22F
F11
2F11
2 F11
22F1
22F 1
22F
2F
2F1
2F
22F
2F1
F1
2F1
F1
F1
2F1
F1
F1
2F
F1
F1
2F
2F1
2F1
F1
2F1
F1
F1
2F1
F1
F1
2F1
2F
2F1
2F1
2F1
F1
2F
2F1
2F1
2F1
2F1
2F1
F1
2F
F1
F
2F
F1
2F
F1
F1
2F1
F1
F1
F
F1
F1
F1
F
F
F1
F1
2F1
F
F
F
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799665 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 1 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 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.__o______._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799666. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 3. 0 thru 39 = 799666.
histend K = 200000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799666 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 1 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 1 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.__o___o__._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799668. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 7. 0 thru 39 = 799668.
histend K = 200000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T800 at 14:33:20.437 980528
==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 14:33:20.796 980528
End execution of Test T820 at 14:33:21.312 980528
Duration 0.516
Start analysis of Test T820 at 14:33:22.828 980528
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.141 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.109 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 140 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 799921 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 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....:....
11F
1 F2
1 F 2
11F22
11F
11F 2
1 F 2
1 F 2
1 F22
11F2
11F 2
F 2
1F22
1 F2
F 2
1 F 2
F 2
1F22
1 F2
F 2
1F 2
11F22
11F22
11F2
11F 2
11F22
11F
11F 2
11F2
11F 2
11F22
11F
11F2
11F 2
1 F2
11F
11F 2
11F2
11F
1 F 2
11F
11F 2
1F2
F
F 2
F22
F
F 2
F2
F
11F 2
11F
11F 2
11F22
1 F22
1 F2
11F
11F22
1F2
11F22
11F2
1F
11F2
1F2
1F2
1F
1F
1F2
1F2
1F2
1F2
1F2
F2
1F
1F2
F2
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799539 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 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 6 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 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.____o____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799545. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5. 0 thru 39 = 799545.
histend K = 200000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799540 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 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 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799540. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799540.
histend K = 200000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T820 at 14:33:44.453 980528
==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========================================================================
Time to perform 1000000 of the following integer operations:
NOPs: 0.047
Additions: 0.078
Subtractions: 0.078
Multiplications: 0.141
Divisions: 0.437
Time to perform 1000000 of the following floating operations:
Additions: 1.328
Subtractions: 1.328
Multiplications: 1.313
Divisions: 1.547
================================================================================
Summary of run: 14:33:50.828 980528
ARCHTEST. Version 5.4. 980526. 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.
2-way Dell PowerEdge 133-2 running Windows NT 4.0,.
Service Pack 3.
Thanks Ted and Bill Weidenbacher, tedster@ulster.net,
of Weid Studios in Woodstock, NY.
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.500 0.203 T100 1 0
0.500 0.218 T120 0 1
0.515 0.625 T200 2 0
0.500 0.640 T210 1 1
0.516 0.625 T220 0 2
0.516 0.968 T400.1 2 0
T400.2 2 0
0.516 0.969 T410.1 1 1
T410.2 1 1
0.515 0.969 T420.1 0 2
T420.2 0 2
0.500 0.969 T700.1 2 0
T700.2 2 0
0.515 0.969 T710.1 1 1
T710.2 1 1
0.516 0.969 T720.1 0 2
T720.2 0 2
0.515 21.594 T800 1 0
0.516 21.625 T820 0 1
No monotonicity relaxations seen.
No other relaxations seen.
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 O O
WW WR O O O
CC3 O O
RR CC1 O O O 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