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