ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
00:01:37.307 980617
Parameters initialized from file: parms.
System = tarkovsky.npac.syr.edu
OS = Solaris 2.5.1
Machine = 4-way Sun Sparc Ultra-2
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Perform a real multiprocessor test.
2. Execute the mp test code serially and with only one thread.
3. Generate test data with relaxed events.
4. Generate test data without relaxed events.
5. Process output from simulation. Choice [1]: 1
Enter the number of threads (from 2 to 8) [4]: 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):
[ 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 ]
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test.
Output file name: a00___00.out.
Number of threads: 2.
Length of the arrays: 200000.
Test(s) to 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
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 00:02:06.624 980617
End execution of Test T100 at 00:02:07.036 980617
Duration 0.412
Start analysis of Test T100 at 00:02:07.037 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.412 0.044 0.000 0.000 0.000 0.000 0.000 0.000
0.411 0.043 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 2132 0 0 0
19998 4317 0 0 0
29997 6555 0 0 0
39996 8685 0 0 0
49995 10805 0 0 0
59994 12902 0 0 0
69993 14994 0 0 0
79992 17096 0 0 0
89991 19058 0 0 0
99990 21421 0 0 0
109989 23610 0 0 0
119988 25803 0 0 0
129987 27910 0 0 0
139986 30101 0 0 0
149985 32286 0 0 0
159984 34457 0 0 0
169983 36633 0 0 0
179982 38780 0 0 0
189981 40950 0 0 0
199980 43121 0 0 0
dim = 80, max = 43126, 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
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
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 157220 0
1 42713 19
2 62 141
3 0 2125
4 0 14250
5 0 23496
6 0 2507
7 0 188
8 0 31
9 0 13
10 0 0
11 0 0
12 0 1
13 0 0
14 0 1
15 0 0
16 0 0
17 0 1
18 0 0
19 0 0
over 3 5
End analysis of Test T100 at 00:02:07.275 980617
==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 00:02:07.378 980617
End execution of Test T120 at 00:02:07.787 980617
Duration 0.409
Start analysis of Test T120 at 00:02:07.858 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.408 0.042 0.000 0.000 0.000 0.000 0.000 0.000
0.407 0.041 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 1989 0 0 0
19998 3963 0 0 0
29997 6027 0 0 0
39996 7953 0 0 0
49995 10032 0 0 0
59994 12120 0 0 0
69993 14215 0 0 0
79992 16322 0 0 0
89991 18399 0 0 0
99990 20476 0 0 0
109989 22588 0 0 0
119988 24744 0 0 0
129987 26839 0 0 0
139986 28930 0 0 0
149985 31034 0 0 0
159984 33115 0 0 0
169983 34865 0 0 0
179982 36890 0 0 0
189981 38916 0 0 0
199980 40940 0 0 0
dim = 80, max = 40945, 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
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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 159214 0
1 40759 14
2 21 43
3 0 1650
4 0 8442
5 0 25402
6 0 4764
7 0 432
8 0 28
9 0 5
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 1
18 0 0
19 0 0
over 4 3
End analysis of Test T120 at 00:02:08.097 980617
==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 00:02:08.200 980617
End execution of Test T200 at 00:02:09.638 980617
Duration 1.438
Start analysis of Test T200 at 00:02:09.639 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
1.438 0.068 0.000 0.000 0.000 0.000 0.000 0.000
1.437 0.067 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 1835 1835 0 0
19998 3732 3732 0 0
29997 5691 5690 0 0
39996 7702 7701 0 0
49995 9673 9673 0 0
59994 11634 11633 0 0
69993 13554 13554 0 0
79992 15612 15611 0 0
89991 17568 17568 0 0
99990 19497 19496 0 0
109989 21448 21448 0 0
119988 23405 23405 0 0
129987 25329 25329 0 0
139986 27268 27268 0 0
149985 29219 29218 0 0
159984 31136 31135 0 0
169983 33117 33117 0 0
179982 35049 35049 0 0
189981 36951 36951 0 0
199980 38910 38910 0 0
dim = 80, max = 38915, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 322557 0
1 77427 77
2 4 388
3 1 1503
4 1 6704
5 0 47545
6 0 20554
7 0 624
8 0 24
9 0 0
10 0 0
11 0 0
12 0 1
13 0 1
14 0 0
15 0 2
16 0 0
17 1 0
18 1 0
19 0 0
over 4 16
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 483838 0 0 20
0 -79 0 -59 0 -39 0 -19 316134 1 0 21
0 -78 0 -58 0 -38 0 -18 8 2 0 22
0 -77 0 -57 0 -37 0 -17 1 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 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 1 17 0 37
0 -62 0 -42 0 -22 0 -2 2 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
475000 | o
450000 | o
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 | 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 = 108. 0 thru 39 = 799986.
histend K = 200000. 40 thru Max = 6.
End analysis of Test T200 at 00:02:10.329 980617
==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 00:02:10.432 980617
End execution of Test T210 at 00:02:11.676 980617
Duration 1.244
Start analysis of Test T210 at 00:02:11.718 980617
Thread start, stop, and dur times.
0.073 0.033 0.000 0.000 0.000 0.000 0.000 0.000
1.243 0.070 0.000 0.000 0.000 0.000 0.000 0.000
1.170 0.037 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 0 0 0 0
19998 0 0 0 0
29997 0 0 0 0
39996 0 0 0 0
49995 0 0 0 0
59994 0 0 0 0
69993 0 0 0 0
79992 0 0 0 0
89991 0 0 0 0
99990 0 0 0 0
109989 0 0 0 0
119988 0 0 0 0
129987 0 0 0 0
139986 0 0 0 0
149985 0 0 0 0
159984 0 0 0 0
169983 0 0 0 0
179982 0 0 0 0
189981 0 0 0 0
199980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
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 399996 0
1 0 0
2 0 0
3 0 0
4 0 0
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 599993 0 0 20
0 -79 0 -59 0 -39 0 -19 199999 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 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.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 = 1. 0 thru 39 = 799992.
histend K = 200000. 40 thru Max = 0.
End analysis of Test T210 at 00:02:12.399 980617
==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 00:02:12.502 980617
End execution of Test T220 at 00:02:13.943 980617
Duration 1.441
Start analysis of Test T220 at 00:02:14.014 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
1.441 0.046 0.000 0.000 0.000 0.000 0.000 0.000
1.440 0.045 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 382 381 0 0
19998 382 381 0 0
29997 1887 1887 0 0
39996 3355 3354 0 0
49995 4847 4847 0 0
59994 6596 6596 0 0
69993 8359 8359 0 0
79992 10144 10144 0 0
89991 10264 10263 0 0
99990 10264 10263 0 0
109989 10264 10263 0 0
119988 10264 10263 0 0
129987 10264 10263 0 0
139986 10264 10263 0 0
149985 10264 10263 0 0
159984 10264 10263 0 0
169983 10264 10263 0 0
179982 10264 10263 0 0
189981 10264 10263 0 0
199980 10264 10263 0 0
dim = 80, max = 10265, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
333333333333333333333333333333333333333333333333
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
33333333
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 379554 0
1 20437 34
2 1 55
3 0 146
4 0 1217
5 0 7462
6 0 10351
7 0 1076
8 0 84
9 0 5
10 0 3
11 0 1
12 0 0
13 0 0
14 1 0
15 1 0
16 0 0
17 0 0
18 0 0
19 0 0
over 2 8
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 569331 0 0 20
0 -79 0 -59 0 -39 0 -19 230653 1 0 21
0 -78 0 -58 0 -38 0 -18 2 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 1 29
0 -70 0 -50 0 -30 0 -10 0 10 2 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 1 14 0 34
0 -65 0 -45 0 -25 0 -5 2 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 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | oo
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.oo_______.___oo____.________oo_________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 220. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 30. 0 thru 39 = 799992.
histend K = 200000. 40 thru Max = 0.
End analysis of Test T220 at 00:02:14.699 980617
==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 00:02:14.804 980617
End execution of Test T400 at 00:02:15.038 980617
Duration 0.234
Start analysis of Test T400 at 00:02:15.038 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.232 0.234 0.000 0.000 0.000 0.000 0.000 0.000
0.231 0.233 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 19 0 0
9999 9915 10081 0 0
19998 20496 19550 0 0
29997 30230 29763 0 0
39996 36930 44219 0 0
49995 44167 56433 0 0
59994 53564 66436 0 0
69993 63561 76403 0 0
79992 73577 86433 0 0
89991 83550 96414 0 0
99990 93546 106990 0 0
109989 102961 117014 0 0
119988 112947 127067 0 0
129987 122927 137123 0 0
139986 132852 147177 0 0
149985 142796 157179 0 0
159984 152798 167164 0 0
169983 162802 176778 0 0
179982 173067 186868 0 0
189981 183515 196094 0 0
199980 198136 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
23
2221
2
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 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
1
2 1
2 11
2 1
1
311
3
3
1
12
12
12
32
3
3
3
3
2
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 177751 0
1 61811 62078
2 160382 159859
3 8 262
4 1 1
5 0 1
6 0 0
7 1 1
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 1
over 41 42
d = -1.
Event 4.2. v[ 1] = 20 < 21; u[ 21] = 0 < 1.
b=0 c=0 v[ 1]: 20
Event 4.2. v[ 3] = 22 < 23; u[ 23] = 2 < 3.
b=0 c=0 v[ 3]: 22
Event 4.2. v[ 5] = 24 < 25; u[ 25] = 4 < 5.
b=0 c=0 v[ 5]: 24
Event 4.2. v[ 11] = 30 < 31; u[ 31] = 10 < 11.
b=0 c=0 v[ 11]: 30
Event 4.2. v[ 13] = 32 < 33; u[ 33] = 12 < 13.
b=0 c=0 v[ 13]: 32
Event 4.2. v[ 15] = 34 < 35; u[ 35] = 14 < 15.
b=0 c=0 v[ 15]: 34
Event 4.2. v[ 17] = 36 < 37; u[ 37] = 16 < 17.
b=0 c=0 v[ 17]: 36
Event 4.2. v[ 19] = 38 < 39; u[ 39] = 18 < 19.
b=0 c=0 v[ 19]: 38
Event 4.1. u[ 21] = 0 < 1; v[ 1] = 20 < 21.
b=0 c=0 u[ 21]: 0
Event 4.2. v[ 21] = 40 < 41; u[ 41] = 20 < 21.
b=0 c=0 v[ 21]: 40
Event 4.1. u[ 23] = 2 < 3; v[ 3] = 22 < 23.
b=0 c=0 u[ 23]: 2
Event 4.2. v[ 24] = 43 < 44; u[ 44] = 23 < 24.
b=0 c=0 v[ 24]: 43
Event 4.1. u[ 25] = 4 < 5; v[ 5] = 24 < 25.
b=0 c=0 u[ 25]: 4
Event 4.2. v[ 29] = 48 < 49; u[ 49] = 28 < 29.
b=0 c=0 v[ 29]: 48
Event 4.1. u[ 199999] = 198155 < 198156; v[ 198156] = 199998 < 199999.
b=0 c=0 u[ 199999]: 198155
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 84304 84304 0 0 -1
-2 0 0 0 0 -2
Totals / Min / Under -25:
84304 84304 0 0
1 1 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 369789 0 43 20
0 -79 0 -59 0 -39 0 -19 83833 1 42 21
0 -78 0 -58 0 -38 0 -18 160444 2 40 22
0 -77 0 -57 0 -37 0 -17 54 3 37 23
0 -76 0 -56 0 -36 0 -16 45 4 37 24
0 -75 0 -55 0 -35 0 -15 44 5 35 25
0 -74 0 -54 0 -34 0 -14 44 6 35 26
0 -73 0 -53 0 -33 0 -13 44 7 34 27
0 -72 0 -52 0 -32 0 -12 43 8 33 28
0 -71 0 -51 0 -31 0 -11 43 9 34 29
0 -70 0 -50 0 -30 0 -10 43 10 34 30
0 -69 0 -49 0 -29 0 -9 43 11 31 31
0 -68 0 -48 0 -28 0 -8 43 12 31 32
0 -67 0 -47 0 -27 0 -7 43 13 31 33
0 -66 0 -46 0 -26 0 -6 43 14 31 34
0 -65 0 -45 0 -25 0 -5 43 15 31 35
0 -64 0 -44 0 -24 0 -4 43 16 31 36
0 -63 0 -43 0 -23 0 -3 43 17 31 37
0 -62 0 -42 0 -22 0 -2 43 18 31 38
0 -61 0 -41 0 -21 168608 -1 42 19 31 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | oo o
140000 | oo o
120000 | oo o
100000 | oo o
80000 | oooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________.________o.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 798151. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -1. -80 thru -1 = 168608.
Behav = Relaxed. Maximum = 4624. 0 thru 39 = 615495.
histend K = 200000. 40 thru Max = 14048.
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 1 0 43 20
0 -79 0 -59 0 -39 0 -19 22022 1 43 21
0 -78 0 -58 0 -38 0 -18 183182 2 43 22
0 -77 0 -57 0 -37 0 -17 176615 3 43 23
0 -76 0 -56 0 -36 0 -16 866 4 43 24
0 -75 0 -55 0 -35 0 -15 47 5 38 25
0 -74 0 -54 0 -34 0 -14 45 6 36 26
0 -73 0 -53 0 -33 0 -13 44 7 36 27
0 -72 0 -52 0 -32 0 -12 45 8 36 28
0 -71 0 -51 0 -31 0 -11 43 9 36 29
0 -70 0 -50 0 -30 0 -10 43 10 35 30
0 -69 0 -49 0 -29 0 -9 43 11 35 31
0 -68 0 -48 0 -28 0 -8 43 12 34 32
0 -67 0 -47 0 -27 0 -7 43 13 33 33
0 -66 0 -46 0 -26 0 -6 43 14 32 34
0 -65 0 -45 0 -25 0 -5 43 15 32 35
0 -64 0 -44 0 -24 0 -4 43 16 32 36
0 -63 0 -43 0 -23 0 -3 43 17 32 37
0 -62 0 -42 0 -22 0 -2 43 18 32 38
0 -61 0 -41 0 -21 0 -1 43 19 32 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | | o
170000 | | oo
160000 | | oo
150000 | | oo
140000 | | oo
130000 | | oo
120000 | | oo
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | oo
40000 | | oo
30000 | | oo
20000 | |ooo
10000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399978. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4625. 0 thru 39 = 384066.
histend K = 200000. 40 thru Max = 15912.
End analysis of Test T400 at 00:02:16.578 980617
==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 00:02:16.682 980617
End execution of Test T410 at 00:02:17.084 980617
Duration 0.402
Start analysis of Test T410 at 00:02:17.127 980617
Thread start, stop, and dur times.
0.164 0.164 0.000 0.000 0.000 0.000 0.000 0.000
0.388 0.402 0.000 0.000 0.000 0.000 0.000 0.000
0.224 0.238 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 19 0 0
9999 9873 10152 0 0
19998 19531 20469 0 0
29997 27617 34984 0 0
39996 34412 47199 0 0
49995 42781 57264 0 0
59994 52713 66904 0 0
69993 63094 76940 0 0
79992 73029 87157 0 0
89991 82732 97481 0 0
99990 92469 107537 0 0
109989 102486 117520 0 0
119988 112421 127609 0 0
129987 122361 137699 0 0
139986 132268 147921 0 0
149985 142008 158326 0 0
159984 151635 168384 0 0
169983 161572 178463 0 0
179982 171496 188804 0 0
189981 180260 199999 0 0
199980 186947 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222
2
2
2 1
2 1
2 111
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
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 11
1
11
21
21
21
31
3
2
21
21
21
21
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 193004 0
1 40543 40757
2 166407 165977
3 7 220
4 1 3
5 0 1
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 34 34
d = -1.
Event 4.2. v[ 1] = 21 < 22; u[ 22] = 0 < 1.
b=0 c=0 v[ 1]: 21
Event 4.2. v[ 3] = 23 < 24; u[ 24] = 2 < 3.
b=0 c=0 v[ 3]: 23
Event 4.2. v[ 5] = 25 < 26; u[ 26] = 4 < 5.
b=0 c=0 v[ 5]: 25
Event 4.2. v[ 7] = 27 < 28; u[ 28] = 6 < 7.
b=0 c=0 v[ 7]: 27
Event 4.2. v[ 9] = 29 < 30; u[ 30] = 8 < 9.
b=0 c=0 v[ 9]: 29
Event 4.2. v[ 12] = 31 < 32; u[ 32] = 11 < 12.
b=0 c=0 v[ 12]: 31
Event 4.2. v[ 14] = 33 < 34; u[ 34] = 13 < 14.
b=0 c=0 v[ 14]: 33
Event 4.2. v[ 16] = 35 < 36; u[ 36] = 15 < 16.
b=0 c=0 v[ 16]: 35
Event 4.2. v[ 18] = 37 < 38; u[ 38] = 17 < 18.
b=0 c=0 v[ 18]: 37
Event 4.2. v[ 20] = 39 < 40; u[ 40] = 19 < 20.
b=0 c=0 v[ 20]: 39
Event 4.1. u[ 22] = 0 < 1; v[ 1] = 21 < 22.
b=0 c=0 u[ 22]: 0
Event 4.2. v[ 22] = 41 < 42; u[ 42] = 21 < 22.
b=0 c=0 v[ 22]: 41
Event 4.1. u[ 24] = 2 < 3; v[ 3] = 23 < 24.
b=0 c=0 u[ 24]: 2
Event 4.2. v[ 24] = 43 < 44; u[ 44] = 23 < 24.
b=0 c=0 v[ 24]: 43
Event 4.1. u[ 199840] = 186877 < 186878; v[ 186878] = 199839 < 199840.
b=0 c=0 u[ 199840]: 186877
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 87350 87350 0 0 -1
-2 0 0 0 0 -2
Totals / Min / Under -25:
87350 87350 0 0
1 1 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 380208 0 34 20
0 -79 0 -59 0 -39 0 -19 52081 1 35 21
0 -78 0 -58 0 -38 0 -18 166449 2 33 22
0 -77 0 -57 0 -37 0 -17 44 3 33 23
0 -76 0 -56 0 -36 0 -16 36 4 31 24
0 -75 0 -55 0 -35 0 -15 35 5 31 25
0 -74 0 -54 0 -34 0 -14 35 6 31 26
0 -73 0 -53 0 -33 0 -13 35 7 28 27
0 -72 0 -52 0 -32 0 -12 35 8 29 28
0 -71 0 -51 0 -31 0 -11 35 9 27 29
0 -70 0 -50 0 -30 0 -10 35 10 26 30
0 -69 0 -49 0 -29 0 -9 35 11 26 31
0 -68 0 -48 0 -28 0 -8 35 12 26 32
0 -67 0 -47 0 -27 0 -7 35 13 26 33
0 -66 0 -46 0 -26 0 -6 35 14 25 34
0 -65 0 -45 0 -25 0 -5 35 15 24 35
0 -64 0 -44 0 -24 0 -4 35 16 24 36
0 -63 0 -43 0 -23 0 -3 35 17 24 37
0 -62 0 -42 0 -22 0 -2 35 18 24 38
0 -61 0 -41 0 -21 174700 -1 35 19 24 39
------ Relaxed ------ | ------ Strong ------
380000 | o
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | oo o
140000 | oo o
120000 | oo o
100000 | oo o
80000 | oo o
60000 | oo o
40000 | oooo
20000 | oooo
0 |_________._________.________o.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 786942. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -1. -80 thru -1 = 174700.
Behav = Relaxed. Maximum = 4425. 0 thru 39 = 599904.
histend K = 200000. 40 thru Max = 12338.
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 1 0 35 20
0 -79 0 -59 0 -39 0 -19 11538 1 35 21
0 -78 0 -58 0 -38 0 -18 184626 2 35 22
0 -77 0 -57 0 -37 0 -17 176709 3 35 23
0 -76 0 -56 0 -36 0 -16 566 4 35 24
0 -75 0 -55 0 -35 0 -15 38 5 35 25
0 -74 0 -54 0 -34 0 -14 35 6 33 26
0 -73 0 -53 0 -33 0 -13 35 7 33 27
0 -72 0 -52 0 -32 0 -12 35 8 32 28
0 -71 0 -51 0 -31 0 -11 35 9 31 29
0 -70 0 -50 0 -30 0 -10 35 10 30 30
0 -69 0 -49 0 -29 0 -9 35 11 27 31
0 -68 0 -48 0 -28 0 -8 35 12 27 32
0 -67 0 -47 0 -27 0 -7 35 13 27 33
0 -66 0 -46 0 -26 0 -6 35 14 27 34
0 -65 0 -45 0 -25 0 -5 35 15 27 35
0 -64 0 -44 0 -24 0 -4 35 16 25 36
0 -63 0 -43 0 -23 0 -3 35 17 25 37
0 -62 0 -42 0 -22 0 -2 35 18 25 38
0 -61 0 -41 0 -21 0 -1 35 19 25 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | | o
170000 | | oo
160000 | | oo
150000 | | oo
140000 | | oo
130000 | | oo
120000 | | oo
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | oo
40000 | | oo
30000 | | oo
20000 | | oo
10000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399977. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 13052. 0 thru 39 = 374572.
histend K = 200000. 40 thru Max = 25405.
End analysis of Test T410 at 00:02:18.676 980617
==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 00:02:18.779 980617
End execution of Test T420 at 00:02:19.022 980617
Duration 0.243
Start analysis of Test T420 at 00:02:19.093 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.235 0.243 0.000 0.000 0.000 0.000 0.000 0.000
0.233 0.241 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 4 0 0
9999 10077 9919 0 0
19998 20132 19862 0 0
29997 30150 29843 0 0
39996 40165 39827 0 0
49995 50781 49212 0 0
59994 60565 59427 0 0
69993 68134 76615 0 0
79992 73370 88755 0 0
89991 81229 98722 0 0
99990 91260 108707 0 0
109989 101273 118665 0 0
119988 111812 128130 0 0
129987 121850 138094 0 0
139986 131876 148055 0 0
149985 141918 158040 0 0
159984 151939 168071 0 0
169983 161626 178412 0 0
179982 171560 188332 0 0
189981 181640 198186 0 0
199980 191769 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22222
2
2
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
22 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
2 1
2 1
1
2 1
2 11
1
111
31
3
3
3
1
12
12
12
12
12
32
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 173087 0
1 74242 74404
2 152622 152305
3 11 164
4 1 2
5 0 0
6 0 0
7 0 1
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 1 1
over 30 32
d = -2.
Event 4.1. u[ 3817] = 3823 < 3824; v[ 3824] = 3815 < 3817.
b=0 c=0 u[ 3816]: 3823 3823
d = -1.
Event 4.2. v[ 1] = 5 < 6; u[ 6] = 0 < 1.
b=0 c=0 v[ 1]: 5
Event 4.2. v[ 3] = 7 < 8; u[ 8] = 2 < 3.
b=0 c=0 v[ 3]: 7
Event 4.2. v[ 5] = 9 < 10; u[ 10] = 4 < 5.
b=0 c=0 v[ 5]: 9
Event 4.1. u[ 6] = 0 < 1; v[ 1] = 5 < 6.
b=0 c=0 u[ 6]: 0
Event 4.2. v[ 7] = 11 < 12; u[ 12] = 6 < 7.
b=0 c=0 v[ 7]: 11
Event 4.1. u[ 8] = 2 < 3; v[ 3] = 7 < 8.
b=0 c=0 u[ 8]: 2
Event 4.2. v[ 9] = 13 < 14; u[ 14] = 8 < 9.
b=0 c=0 v[ 9]: 13
Event 4.1. u[ 10] = 4 < 5; v[ 5] = 9 < 10.
b=0 c=0 u[ 10]: 4
Event 4.2. v[ 11] = 15 < 16; u[ 16] = 10 < 11.
b=0 c=0 v[ 11]: 15
Event 4.1. u[ 12] = 6 < 7; v[ 7] = 11 < 12.
b=0 c=0 u[ 12]: 6
Event 4.2. v[ 13] = 17 < 18; u[ 18] = 12 < 13.
b=0 c=0 v[ 13]: 17
Event 4.1. u[ 14] = 8 < 9; v[ 9] = 13 < 14.
b=0 c=0 u[ 14]: 8
Event 4.2. v[ 15] = 19 < 20; u[ 20] = 14 < 15.
b=0 c=0 v[ 15]: 19
Event 4.1. u[ 199997] = 191786 < 191787; v[ 191787] = 199996 < 199997.
b=0 c=0 u[ 199997]: 191786
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 81737 81737 0 0 -1
-2 1 0 0 0 -2
-3 0 0 0 0 -3
Totals / Min / Under -25:
81738 81737 0 0
2 1 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 365219 0 32 20
0 -79 0 -59 0 -39 0 -19 98219 1 31 21
0 -78 0 -58 0 -38 0 -18 152660 2 28 22
0 -77 0 -57 0 -37 0 -17 45 3 28 23
0 -76 0 -56 0 -36 0 -16 35 4 28 24
0 -75 0 -55 0 -35 0 -15 34 5 27 25
0 -74 0 -54 0 -34 0 -14 33 6 26 26
0 -73 0 -53 0 -33 0 -13 33 7 25 27
0 -72 0 -52 0 -32 0 -12 33 8 22 28
0 -71 0 -51 0 -31 0 -11 33 9 22 29
0 -70 0 -50 0 -30 0 -10 33 10 22 30
0 -69 0 -49 0 -29 0 -9 33 11 20 31
0 -68 0 -48 0 -28 0 -8 33 12 19 32
0 -67 0 -47 0 -27 0 -7 33 13 19 33
0 -66 0 -46 0 -26 0 -6 33 14 19 34
0 -65 0 -45 0 -25 0 -5 33 15 19 35
0 -64 0 -44 0 -24 0 -4 33 16 19 36
0 -63 0 -43 0 -23 0 -3 33 17 19 37
0 -62 0 -42 0 -22 1 -2 34 18 20 38
0 -61 0 -41 0 -21 163474 -1 34 19 17 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | o
200000 | o
180000 | o
160000 | oo
140000 | oo o
120000 | oo o
100000 | oo o
80000 | oooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________._______oo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 791783. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -2. -80 thru -1 = 163475.
Behav = Relaxed. Maximum = 5616. 0 thru 39 = 617138.
histend K = 200000. 40 thru Max = 11170.
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 34 20
0 -79 0 -59 0 -39 0 -19 23977 1 34 21
0 -78 0 -58 0 -38 0 -18 180445 2 33 22
0 -77 0 -57 0 -37 0 -17 174721 3 31 23
0 -76 0 -56 0 -36 0 -16 440 4 29 24
0 -75 0 -55 0 -35 0 -15 35 5 30 25
0 -74 0 -54 0 -34 0 -14 34 6 28 26
0 -73 0 -53 0 -33 0 -13 34 7 29 27
0 -72 0 -52 0 -32 0 -12 34 8 26 28
0 -71 0 -51 0 -31 0 -11 34 9 25 29
0 -70 0 -50 0 -30 0 -10 34 10 24 30
0 -69 0 -49 0 -29 0 -9 34 11 25 31
0 -68 0 -48 0 -28 0 -8 34 12 22 32
0 -67 0 -47 0 -27 0 -7 34 13 21 33
0 -66 0 -46 0 -26 0 -6 34 14 20 34
0 -65 0 -45 0 -25 0 -5 34 15 20 35
0 -64 0 -44 0 -24 0 -4 34 16 20 36
0 -63 0 -43 0 -23 0 -3 34 17 20 37
0 -62 0 -42 0 -22 0 -2 34 18 20 38
0 -61 0 -41 0 -21 0 -1 34 19 19 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | | o
170000 | | oo
160000 | | oo
150000 | | oo
140000 | | oo
130000 | | oo
120000 | | oo
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | oo
40000 | | oo
30000 | | oo
20000 | |ooo
10000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 399993. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 8211. 0 thru 39 = 380609.
histend K = 200000. 40 thru Max = 19384.
End analysis of Test T420 at 00:02:20.623 980617
==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 00:02:20.726 980617
End execution of Test T700 at 00:02:21.042 980617
Duration 0.316
Start analysis of Test T700 at 00:02:21.042 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.292 0.316 0.000 0.000 0.000 0.000 0.000 0.000
0.291 0.315 0.000 0.000 0.000 0.000 0.000 0.000
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 17 199999 199999
9999 10042 9955 0 0
19998 20108 19887 0 0
29997 30184 29810 0 0
39996 38450 43453 0 0
49995 45373 55010 0 0
59994 54938 65106 0 0
69993 64816 75718 0 0
79992 73948 86028 0 0
89991 83959 99793 0 0
99990 90185 109964 0 0
109989 100014 119874 0 0
119988 110104 129827 0 0
129987 120147 139872 0 0
139986 130100 150056 0 0
149985 139913 160269 0 0
159984 149703 170703 0 0
169983 159262 180671 0 0
179982 169290 199999 0 0
189981 173885 199999 0 0
199980 176971 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 22222222222
2
2
2
2 1
2 111111
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