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
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
1
2 1
2 111
2 1
2 1
2 1
2
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
1
211
31
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 81150 0
1 286172 286167
2 32591 32588
3 22 29
4 2 1
5 1 2
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 3
19 3 1
over 50 55
d = -1.
Event 7.2. v[ 3] = 21 < 22; u[ 22] = 2 < 3.
b=0 c=0 v[ 3]: 21
Event 7.2. v[ 17] = 35 < 36; u[ 36] = 16 < 17.
b=0 c=0 v[ 17]: 35
Event 7.1. u[ 22] = 2 < 3; v[ 3] = 21 < 22.
b=0 c=0 u[ 22]: 2
Event 7.2. v[ 33] = 51 < 52; u[ 52] = 32 < 33.
b=0 c=0 v[ 33]: 51
Event 7.2. v[ 35] = 53 < 54; u[ 54] = 34 < 35.
b=0 c=0 v[ 35]: 53
Event 7.1. u[ 36] = 16 < 17; v[ 17] = 35 < 36.
b=0 c=0 u[ 36]: 16
Event 7.2. v[ 37] = 55 < 56; u[ 56] = 36 < 37.
b=0 c=0 v[ 37]: 55
Event 7.2. v[ 39] = 57 < 58; u[ 58] = 38 < 39.
b=0 c=0 v[ 39]: 57
Event 7.2. v[ 41] = 59 < 60; u[ 60] = 40 < 41.
b=0 c=0 v[ 41]: 59
Event 7.2. v[ 43] = 61 < 62; u[ 62] = 42 < 43.
b=0 c=0 v[ 43]: 61
Event 7.1. u[ 52] = 32 < 33; v[ 33] = 51 < 52.
b=0 c=0 u[ 52]: 32
Event 7.1. u[ 54] = 34 < 35; v[ 35] = 53 < 54.
b=0 c=0 u[ 54]: 34
Event 7.1. u[ 56] = 36 < 37; v[ 37] = 55 < 56.
b=0 c=0 u[ 56]: 36
Event 7.1. u[ 58] = 38 < 39; v[ 39] = 57 < 58.
b=0 c=0 u[ 58]: 38
Event 7.1. u[ 199935] = 176926 < 176927; v[ 176927] = 199934 < 199935.
b=0 c=0 u[ 199935]: 176926
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 14587 14587 0 0 -1
-2 0 0 0 0 -2
Totals / Min / Under -25:
14587 14587 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 394008 0 55 20
0 -79 0 -59 0 -39 0 -19 295600 1 50 21
0 -78 0 -58 0 -38 0 -18 32726 2 52 22
0 -77 0 -57 0 -37 0 -17 84 3 49 23
0 -76 0 -56 0 -36 0 -16 63 4 46 24
0 -75 0 -55 0 -35 0 -15 60 5 40 25
0 -74 0 -54 0 -34 0 -14 59 6 40 26
0 -73 0 -53 0 -33 0 -13 59 7 39 27
0 -72 0 -52 0 -32 0 -12 59 8 39 28
0 -71 0 -51 0 -31 0 -11 59 9 39 29
0 -70 0 -50 0 -30 0 -10 59 10 39 30
0 -69 0 -49 0 -29 0 -9 59 11 39 31
0 -68 0 -48 0 -28 0 -8 59 12 39 32
0 -67 0 -47 0 -27 0 -7 59 13 39 33
0 -66 0 -46 0 -26 0 -6 59 14 39 34
0 -65 0 -45 0 -25 0 -5 59 15 39 35
0 -64 0 -44 0 -24 0 -4 59 16 39 36
0 -63 0 -43 0 -23 0 -3 59 17 38 37
0 -62 0 -42 0 -22 0 -2 58 18 38 38
0 -61 0 -41 0 -21 29174 -1 58 19 38 39
------ Relaxed ------ | ------ Strong ------
380000 | o
360000 | o
340000 | o
320000 | o
300000 | o
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 | oooo
0 |_________._________.________o.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 776985. Min thru -81 = 0.
Type = RR|CC1. Minimum = -1. -80 thru -1 = 29174.
Behav = Relaxed. Maximum = 12438. 0 thru 39 = 724201.
histend K = 200000. 40 thru Max = 23610.
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 3 0 59 20
0 -79 0 -59 0 -39 0 -19 9429 1 57 21
0 -78 0 -58 0 -38 0 -18 311475 2 55 22
0 -77 0 -57 0 -37 0 -17 30543 3 53 23
0 -76 0 -56 0 -36 0 -16 94 4 52 24
0 -75 0 -55 0 -35 0 -15 62 5 52 25
0 -74 0 -54 0 -34 0 -14 60 6 42 26
0 -73 0 -53 0 -33 0 -13 59 7 42 27
0 -72 0 -52 0 -32 0 -12 59 8 40 28
0 -71 0 -51 0 -31 0 -11 59 9 40 29
0 -70 0 -50 0 -30 0 -10 59 10 40 30
0 -69 0 -49 0 -29 0 -9 59 11 40 31
0 -68 0 -48 0 -28 0 -8 59 12 40 32
0 -67 0 -47 0 -27 0 -7 59 13 40 33
0 -66 0 -46 0 -26 0 -6 59 14 40 34
0 -65 0 -45 0 -25 0 -5 59 15 40 35
0 -64 0 -44 0 -24 0 -4 59 16 40 36
0 -63 0 -43 0 -23 0 -3 59 17 41 37
0 -62 0 -42 0 -22 0 -2 59 18 39 38
0 -61 0 -41 0 -21 0 -1 61 19 39 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 | | 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 = 700. Total = 399980. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 23010. 0 thru 39 = 353326.
histend K = 200000. 40 thru Max = 46654.
End analysis of Test T700 at 00:02:22.144 980617
==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 00:02:22.246 980617
End execution of Test T710 at 00:02:22.546 980617
Duration 0.300
Start analysis of Test T710 at 00:02:22.588 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.299 0.282 0.000 0.000 0.000 0.000 0.000 0.000
0.298 0.281 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 3 0 199999 0
9999 10074 9923 0 0
19998 20094 19901 0 0
29997 30148 29845 0 0
39996 39995 39995 0 0
49995 49891 50099 0 0
59994 59628 60368 0 0
69993 69507 70483 0 0
79992 79403 80591 0 0
89991 89114 90900 0 0
99990 98751 101282 0 0
109989 108422 111601 0 0
119988 118088 121968 0 0
129987 127718 132255 0 0
139986 137932 142091 0 0
149985 164572 142795 0 0
159984 174167 145483 0 0
169983 187694 155608 0 0
179982 197663 166041 0 0
189981 199999 172235 0 0
199980 199999 182164 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4 11111111
1
1
1
1
1
1 2
1 2
1 2
1 2
1 2
1 222
1 2
1 2
1 2
1 2
2
2
22
2
2222222
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
21
31
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 111606 0
1 218439 218418
2 69878 69908
3 26 16
4 2 2
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 3 1
19 6 9
over 33 35
d = -1.
Event 7.1. u[ 3] = 6 < 7; v[ 7] = 2 < 3.
b=0 c=0 u[ 3]: 6
Event 7.2. v[ 7] = 2 < 3; u[ 3] = 6 < 7.
b=0 c=0 v[ 7]: 2
Event 7.1. u[ 15] = 17 < 18; v[ 18] = 14 < 15.
b=0 c=0 u[ 15]: 17
Event 7.2. v[ 18] = 14 < 15; u[ 15] = 17 < 18.
b=0 c=0 v[ 18]: 14
Event 7.1. u[ 46] = 48 < 49; v[ 49] = 45 < 46.
b=0 c=0 u[ 46]: 48
Event 7.1. u[ 49] = 52 < 53; v[ 53] = 48 < 49.
b=0 c=0 u[ 49]: 52
Event 7.2. v[ 49] = 45 < 46; u[ 46] = 48 < 49.
b=0 c=0 v[ 49]: 45
Event 7.1. u[ 51] = 54 < 55; v[ 55] = 50 < 51.
b=0 c=0 u[ 51]: 54
Event 7.2. v[ 53] = 48 < 49; u[ 49] = 52 < 53.
b=0 c=0 v[ 53]: 48
Event 7.1. u[ 54] = 57 < 58; v[ 58] = 53 < 54.
b=0 c=0 u[ 54]: 57
Event 7.2. v[ 55] = 50 < 51; u[ 51] = 54 < 55.
b=0 c=0 v[ 55]: 50
Event 7.1. u[ 56] = 59 < 60; v[ 60] = 55 < 56.
b=0 c=0 u[ 56]: 59
Event 7.2. v[ 58] = 53 < 54; u[ 54] = 57 < 58.
b=0 c=0 v[ 58]: 53
Event 7.2. v[ 60] = 55 < 56; u[ 56] = 59 < 60.
b=0 c=0 v[ 60]: 55
Event 7.2. v[ 199994] = 182178 < 182179; u[ 182179] = 199993 < 199994.
b=0 c=0 v[ 199994]: 182178
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 31569 31569 0 0 -1
-2 0 0 0 0 -2
Totals / Min / Under -25:
31569 31569 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 390795 0 37 20
0 -79 0 -59 0 -39 0 -19 234343 1 33 21
0 -78 0 -58 0 -38 0 -18 70051 2 30 22
0 -77 0 -57 0 -37 0 -17 75 3 31 23
0 -76 0 -56 0 -36 0 -16 48 4 30 24
0 -75 0 -55 0 -35 0 -15 45 5 31 25
0 -74 0 -54 0 -34 0 -14 45 6 29 26
0 -73 0 -53 0 -33 0 -13 45 7 28 27
0 -72 0 -52 0 -32 0 -12 45 8 27 28
0 -71 0 -51 0 -31 0 -11 45 9 27 29
0 -70 0 -50 0 -30 0 -10 45 10 26 30
0 -69 0 -49 0 -29 0 -9 45 11 27 31
0 -68 0 -48 0 -28 0 -8 45 12 26 32
0 -67 0 -47 0 -27 0 -7 45 13 26 33
0 -66 0 -46 0 -26 0 -6 45 14 26 34
0 -65 0 -45 0 -25 0 -5 45 15 26 35
0 -64 0 -44 0 -24 0 -4 45 16 26 36
0 -63 0 -43 0 -23 0 -3 45 17 26 37
0 -62 0 -42 0 -22 0 -2 48 18 26 38
0 -61 0 -41 0 -21 63138 -1 43 19 26 39
------ Relaxed ------ | ------ Strong ------
380000 | o
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________.________o.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 782179. Min thru -81 = 0.
Type = RR|CC1. Minimum = -1. -80 thru -1 = 63138.
Behav = Relaxed. Maximum = 16461. 0 thru 39 = 696552.
histend K = 200000. 40 thru Max = 22489.
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 4 0 50 20
0 -79 0 -59 0 -39 0 -19 15905 1 42 21
0 -78 0 -58 0 -38 0 -18 277380 2 36 22
0 -77 0 -57 0 -37 0 -17 65012 3 32 23
0 -76 0 -56 0 -36 0 -16 75 4 32 24
0 -75 0 -55 0 -35 0 -15 48 5 31 25
0 -74 0 -54 0 -34 0 -14 46 6 33 26
0 -73 0 -53 0 -33 0 -13 46 7 30 27
0 -72 0 -52 0 -32 0 -12 46 8 29 28
0 -71 0 -51 0 -31 0 -11 46 9 28 29
0 -70 0 -50 0 -30 0 -10 46 10 28 30
0 -69 0 -49 0 -29 0 -9 46 11 28 31
0 -68 0 -48 0 -28 0 -8 46 12 28 32
0 -67 0 -47 0 -27 0 -7 46 13 27 33
0 -66 0 -46 0 -26 0 -6 46 14 27 34
0 -65 0 -45 0 -25 0 -5 46 15 27 35
0 -64 0 -44 0 -24 0 -4 46 16 27 36
0 -63 0 -43 0 -23 0 -3 46 17 27 37
0 -62 0 -42 0 -22 0 -2 46 18 27 38
0 -61 0 -41 0 -21 0 -1 50 19 27 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 | | 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 = 710. Total = 399995. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 17816. 0 thru 39 = 359688.
histend K = 200000. 40 thru Max = 40307.
End analysis of Test T710 at 00:02:23.795 980617
==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 00:02:23.897 980617
End execution of Test T720 at 00:02:24.531 980617
Duration 0.634
Start analysis of Test T720 at 00:02:24.602 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.275 0.634 0.000 0.000 0.000 0.000 0.000 0.000
0.274 0.633 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 2 0 0 0
9999 9845 10156 0 0
19998 19854 20141 0 0
29997 29763 30231 0 0
39996 39559 40432 0 0
49995 49706 50285 0 0
59994 59687 60301 0 0
69993 69575 70409 0 0
79992 79710 80273 0 0
89991 89759 90222 0 0
99990 99808 100171 0 0
109989 109894 110078 0 0
119988 120000 119975 0 0
129987 126713 133153 0 0
139986 135605 199999 0 0
149985 135868 199999 0 0
159984 135868 199999 0 0
169983 135868 199999 0 0
179982 135868 199999 0 0
189981 135868 199999 0 0
199980 135868 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22222222222222222222222222
2
2 111111111111111111111111
1
2 11
2 1
11
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
21
21
31
3
2
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 154168 0
1 222508 222482
2 23251 23297
3 28 8
4 0 0
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 1 1
15 0 0
16 0 0
17 1 1
18 1 2
19 4 5
over 31 31
d = -1.
Event 7.1. u[ 4] = 6 < 7; v[ 7] = 3 < 4.
b=0 c=0 u[ 4]: 6
Event 7.1. u[ 6] = 8 < 9; v[ 9] = 5 < 6.
b=0 c=0 u[ 6]: 8
Event 7.2. v[ 7] = 3 < 4; u[ 4] = 6 < 7.
b=0 c=0 v[ 7]: 3
Event 7.1. u[ 8] = 10 < 11; v[ 11] = 7 < 8.
b=0 c=0 u[ 8]: 10
Event 7.2. v[ 9] = 5 < 6; u[ 6] = 8 < 9.
b=0 c=0 v[ 9]: 5
Event 7.1. u[ 10] = 12 < 13; v[ 13] = 9 < 10.
b=0 c=0 u[ 10]: 12
Event 7.2. v[ 11] = 7 < 8; u[ 8] = 10 < 11.
b=0 c=0 v[ 11]: 7
Event 7.2. v[ 13] = 9 < 10; u[ 10] = 12 < 13.
b=0 c=0 v[ 13]: 9
Event 7.1. u[ 14] = 16 < 17; v[ 17] = 13 < 14.
b=0 c=0 u[ 14]: 16
Event 7.1. u[ 17] = 20 < 21; v[ 21] = 16 < 17.
b=0 c=0 u[ 17]: 20
Event 7.2. v[ 17] = 13 < 14; u[ 14] = 16 < 17.
b=0 c=0 v[ 17]: 13
Event 7.2. v[ 21] = 16 < 17; u[ 17] = 20 < 21.
b=0 c=0 v[ 21]: 16
Event 7.1. u[ 23] = 25 < 26; v[ 26] = 22 < 23.
b=0 c=0 u[ 23]: 25
Event 7.2. v[ 26] = 22 < 23; u[ 23] = 25 < 26.
b=0 c=0 v[ 26]: 22
Event 7.1. u[ 140247] = 135867 < 135868; v[ 135868] = 140246 < 140247.
b=0 c=0 u[ 140247]: 135867
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 10248 10248 0 0 -1
-2 0 0 0 0 -2
Totals / Min / Under -25:
10248 10248 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 395082 0 34 20
0 -79 0 -59 0 -39 0 -19 230219 1 31 21
0 -78 0 -58 0 -38 0 -18 23343 2 30 22
0 -77 0 -57 0 -37 0 -17 70 3 29 23
0 -76 0 -56 0 -36 0 -16 42 4 28 24
0 -75 0 -55 0 -35 0 -15 41 5 28 25
0 -74 0 -54 0 -34 0 -14 41 6 26 26
0 -73 0 -53 0 -33 0 -13 41 7 26 27
0 -72 0 -52 0 -32 0 -12 41 8 26 28
0 -71 0 -51 0 -31 0 -11 41 9 25 29
0 -70 0 -50 0 -30 0 -10 41 10 25 30
0 -69 0 -49 0 -29 0 -9 41 11 25 31
0 -68 0 -48 0 -28 0 -8 41 12 25 32
0 -67 0 -47 0 -27 0 -7 41 13 25 33
0 -66 0 -46 0 -26 0 -6 41 14 24 34
0 -65 0 -45 0 -25 0 -5 40 15 24 35
0 -64 0 -44 0 -24 0 -4 40 16 24 36
0 -63 0 -43 0 -23 0 -3 40 17 24 37
0 -62 0 -42 0 -22 0 -2 39 18 24 38
0 -61 0 -41 0 -21 20496 -1 38 19 23 39
------ Relaxed ------ | ------ Strong ------
380000 | o
360000 | o
340000 | o
320000 | o
300000 | o
280000 | o
260000 | o
240000 | o
220000 | oo
200000 | oo
180000 | oo
160000 | oo
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | oo
40000 | oo
20000 | oooo
0 |_________._________.________o.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 735863. Min thru -81 = 0.
Type = RR|CC1. Minimum = -1. -80 thru -1 = 20496.
Behav = Relaxed. Maximum = 59753. 0 thru 39 = 649889.
histend K = 200000. 40 thru Max = 65478.
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 4 0 43 20
0 -79 0 -59 0 -39 0 -19 7711 1 36 21
0 -78 0 -58 0 -38 0 -18 239981 2 34 22
0 -77 0 -57 0 -37 0 -17 21436 3 31 23
0 -76 0 -56 0 -36 0 -16 68 4 32 24
0 -75 0 -55 0 -35 0 -15 42 5 29 25
0 -74 0 -54 0 -34 0 -14 42 6 28 26
0 -73 0 -53 0 -33 0 -13 42 7 28 27
0 -72 0 -52 0 -32 0 -12 42 8 27 28
0 -71 0 -51 0 -31 0 -11 42 9 27 29
0 -70 0 -50 0 -30 0 -10 42 10 26 30
0 -69 0 -49 0 -29 0 -9 42 11 26 31
0 -68 0 -48 0 -28 0 -8 42 12 26 32
0 -67 0 -47 0 -27 0 -7 42 13 26 33
0 -66 0 -46 0 -26 0 -6 42 14 25 34
0 -65 0 -45 0 -25 0 -5 41 15 25 35
0 -64 0 -44 0 -24 0 -4 41 16 25 36
0 -63 0 -43 0 -23 0 -3 41 17 25 37
0 -62 0 -42 0 -22 0 -2 42 18 25 38
0 -61 0 -41 0 -21 0 -1 42 19 25 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
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 = 720. Total = 399995. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 64131. 0 thru 39 = 270396.
histend K = 200000. 40 thru Max = 129599.
End analysis of Test T720 at 00:02:25.633 980617
==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 00:02:25.736 980617
End execution of Test T800 at 00:02:25.989 980617
Duration 0.253
Start analysis of Test T800 at 00:02:26.169 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.244 0.253 0.000 0.000 0.000 0.000 0.000 0.000
0.242 0.251 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 1 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....:....
22 F
F
22 F
2 F
F 1
F 1
F 1
2F
2F1
2F1
2F
F1
F
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F
2F
2F1
2F1
2F1
2F1
2F1
2F
2F1
2F1
F
2F1
2F1
2F
F
F1
2F
2F1
2F
2F1
2F1
2F1
2F1
2F1
2F
2F
F
2F1
2F
F1
F
F
F1
F1
F
F
F
F
F1
2F1
F
F
F
2F
2F
F
F
F
F
F
F
F
F
F
F
F
F
2F
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 799623 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 2 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 = 799625. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 3. 0 thru 39 = 799625.
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 799623 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 1 4 0 24
0 -75 0 -55 0 -35 0 -15 2 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 |_________._________._________.__ooo____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799627. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5. 0 thru 39 = 799627.
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 00:02:49.494 980617
==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 00:02:49.597 980617
End execution of Test T820 at 00:02:49.857 980617
Duration 0.260
Start analysis of Test T820 at 00:02:50.055 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.260 0.243 0.000 0.000 0.000 0.000 0.000 0.000
0.259 0.242 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 1 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....:....
F
1 F
F
F
F
11 F
1 F
F 2
11 F 22
1 F 2
F 2
11 F 2
11 F 22
1 F 22
F 22
1 F 2
11 F 2
1 F 22
11 F
11 F
1 F
1 F 2
F 2
1 F 2
F
11 F 2
1 F 22
1 F 22
1 F 2
F
1 F 22
11 F 22
1 F 22
F 2
1 F 22
F 22
1 F 22
1 F
1 F 22
1 F 22
11 F 2
1 F 22
1 F 22
1 F 22
1 F 22
1 F 22
11 F 22
11 F 2
11 F 2
F
F 2
1 F
11 F 22
1 F
F 2
1 F 22
11 F 2
11 F 2
1 F 2
F
1 F 2
11 F 22
1 F 2
F 2
F
11F 22
1 F
1F
11F 2
11F22
11F 2
11F
F 2
F22
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 799736 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,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799736. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799736.
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 799736 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 = 799736. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799736.
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 00:03:13.355 980617
==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.071
Additions: 0.090
Subtractions: 0.092
Multiplications: 0.253
Divisions: 0.385
Time to perform 1000000 of the following floating operations:
Additions: 0.099
Subtractions: 0.096
Multiplications: 0.095
Divisions: 0.136
================================================================================
Summary of run: 00:03:14.674 980617
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.
System = tarkovsky.npac.syr.edu
OS = Solaris 2.5.1
Machine = 4-way Sun Sparc Ultra-2
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.412 0.238 T100 1 0
0.409 0.239 T120 0 1
1.438 0.690 T200 2 0
1.244 0.681 T210 1 1
1.441 0.685 T220 0 2
0.234 1.540 T400.1 -1 2 0
T400.2 2 0
0.402 1.549 T410.1 -1 1 1
T410.2 1 1
0.243 1.530 T420.1 -2 0 2
T420.2 0 2
0.316 1.102 T700.1 -1 2 0
T700.2 2 0
0.300 1.207 T710.1 -1 1 1
T710.2 1 1
0.634 1.031 T720.1 -1 0 2
T720.2 0 2
0.253 23.325 T800 1 0
0.260 23.300 T820 0 1
Descriptions of the relaxations detected by the tests:
Write Order (WW): WW requires that all write operations
in a thread occur in the order defined by the thread.
A relaxation of WW allows writes to occur out of order.
Write-Read Order (WR): WR requires that a write operation
which occurs before a read operation in a thread, occur in
time before the read operation. A relaxation of WR allows a
read operation to occur before a logically preceding write
operation. This is the most common relaxation.
Read Order (RR): RR requires that all read operations
in a thread occur in the order defined by the thread.
A relaxation of RR allows reads to occur out of order.
Write Atomicity (CC1 or WA). for Cache Coherence Level 1,
the strongest level of cache coherence. CC1 requires that
every write operation (appear to) become visible to all
threads in a system at the same instant. A relaxation of CC1
allows two threads to see an operand change value at two
demonstrably different times. All relaxations of CC1 involve
making stale data visible. This is the second most common
relaxation.
CC3, for Cache Coherence Level 3, requires that all threads
see all changes in value of each individual operand in the same
order. A relaxation of CC3 allows two threads to see a single
operand assume different sequences of values.
No monotonicity relaxations seen.
The machine relaxed one or more rules
in each of the following sets of rules:
WR CC3
WW WR
RR CC1
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 X O
WW WR X O O
CC3 O O
RR CC1 O O X 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
Last updated April 20, 2000.