ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
00:06:56.286 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) [2]: 2
Define logical length of arrays (max=500000) [200000]: 200000
The following tests can be run:
100 200 300 400 500 600 700 800 900 1000 1100 1200
210 310 410 510 610 710 1010 1110 1210
120 220 320 420 520 620 720 820 920 1020 1120 1220
1030
Specify which tests to run ('a' for all):
[ 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:07:14.627 980617
End execution of Test T100 at 00:07:14.718 980617
Duration 0.091
Start analysis of Test T100 at 00:07:14.719 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.091 0.055 0.000 0.000 0.000 0.000 0.000 0.000
0.090 0.054 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 11852 0 0 0
19998 23954 0 0 0
29997 36437 0 0 0
39996 48091 0 0 0
49995 59161 0 0 0
59994 70983 0 0 0
69993 82800 0 0 0
79992 94643 0 0 0
89991 106360 0 0 0
99990 118823 0 0 0
109989 131275 0 0 0
119988 143813 0 0 0
129987 156120 0 0 0
139986 168558 0 0 0
149985 181011 0 0 0
159984 193332 0 0 0
169983 205444 0 0 0
179982 217579 0 0 0
189981 229682 0 0 0
199980 241418 0 0 0
dim = 80, max = 241441, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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
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 124173 0
1 2 56
2 5 31368
3 63208 44094
4 12319 295
5 234 2
6 9 0
7 0 0
8 9 0
9 18 0
10 9 0
11 3 0
12 2 0
13 2 0
14 0 0
15 0 0
16 2 0
17 0 0
18 0 0
19 0 0
over 3 10
End analysis of Test T100 at 00:07:14.965 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:07:15.069 980617
End execution of Test T120 at 00:07:15.177 980617
Duration 0.108
Start analysis of Test T120 at 00:07:15.247 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.107 0.047 0.000 0.000 0.000 0.000 0.000 0.000
0.106 0.046 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 16 0 0 0
9999 9815 0 0 0
19998 20195 0 0 0
29997 30964 0 0 0
39996 41570 0 0 0
49995 47761 0 0 0
59994 47761 0 0 0
69993 47761 0 0 0
79992 54516 0 0 0
89991 64790 0 0 0
99990 77064 0 0 0
109989 80283 0 0 0
119988 81837 0 0 0
129987 92078 0 0 0
139986 102326 0 0 0
149985 112803 0 0 0
159984 123046 0 0 0
169983 133167 0 0 0
179982 143416 0 0 0
189981 153321 0 0 0
199980 163470 0 0 0
dim = 80, max = 163489, 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
1111111
1
1
1
1
1
1
1
1
1
1
1
111111111111
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 147538 0
1 1 27
2 1 3170
3 50344 47686
4 2074 1548
5 29 25
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 11 4
End analysis of Test T120 at 00:07:15.486 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:07:15.588 980617
End execution of Test T200 at 00:07:15.751 980617
Duration 0.163
Start analysis of Test T200 at 00:07:15.751 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.162 0.162 0.000 0.000 0.000 0.000 0.000 0.000
0.161 0.161 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 12 18 0 0
9999 39450 39451 0 0
19998 78410 78411 0 0
29997 117127 117128 0 0
39996 152413 152414 0 0
49995 166364 166364 0 0
59994 187464 187464 0 0
69993 187464 187464 0 0
79992 187464 187464 0 0
89991 215251 215250 0 0
99990 215251 215250 0 0
109989 250541 250542 0 0
119988 290015 290016 0 0
129987 329530 329531 0 0
139986 369245 369246 0 0
149985 408576 408577 0 0
159984 448014 448015 0 0
169983 488013 488014 0 0
179982 527815 527816 0 0
189981 568143 568144 0 0
199980 599999 599999 0 0
dim = 80, max = 600000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33333
3
3
333333333333
3
333
3
3
3
33
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 103173 0
1 607 296019
2 1043 767
3 11609 2
4 262892 1
5 20173 0
6 399 0
7 85 0
8 0 0
9 0 1
10 0 1
11 0 0
12 1 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 14 32
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 154761 0 0 20
0 -79 0 -59 0 -39 0 -19 58958 1 0 21
0 -78 0 -58 0 -38 0 -18 142937 2 0 22
0 -77 0 -57 0 -37 0 -17 150076 3 0 23
0 -76 0 -56 0 -36 0 -16 272419 4 0 24
0 -75 0 -55 0 -35 0 -15 20311 5 0 25
0 -74 0 -54 0 -34 0 -14 421 6 0 26
0 -73 0 -53 0 -33 0 -13 87 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 1 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 ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | | o
240000 | | o
220000 | | o
200000 | | o
180000 | | o
160000 | | o
140000 | o ooo
120000 | o ooo
100000 | o ooo
80000 | o ooo
60000 | o ooo
40000 | ooooo
20000 | oooooo
0 |_________._________._________.ooooooo__._o_______._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 200. Total = 799992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1842. 0 thru 39 = 799971.
histend K = 200000. 40 thru Max = 21.
End analysis of Test T200 at 00:07:16.498 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:07:16.603 980617
End execution of Test T210 at 00:07:16.825 980617
Duration 0.222
Start analysis of Test T210 at 00:07:16.868 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.222 0.156 0.000 0.000 0.000 0.000 0.000 0.000
0.220 0.154 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 18 25 0 0
9999 19955 19954 0 0
19998 40763 40763 0 0
29997 61569 61568 0 0
39996 76505 76505 0 0
49995 98847 98847 0 0
59994 122867 122868 0 0
69993 146215 146216 0 0
79992 166948 166948 0 0
89991 188006 188006 0 0
99990 208843 208843 0 0
109989 226987 226988 0 0
119988 238971 238971 0 0
129987 238971 238971 0 0
139986 248134 248135 0 0
149985 258585 258585 0 0
159984 271954 271955 0 0
169983 296302 296302 0 0
179982 320824 320823 0 0
189981 346015 346016 0 0
199980 366505 366504 0 0
dim = 80, max = 366547, 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
33333
3
3
333333333
3
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
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 116236 0
1 47630 244725
2 101503 38998
3 64667 1
4 66751 2
5 3129 0
6 59 0
7 6 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 1 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 14 34
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 174357 0 0 20
0 -79 0 -59 0 -39 0 -19 232602 1 0 21
0 -78 0 -58 0 -38 0 -18 196624 2 0 22
0 -77 0 -57 0 -37 0 -17 123167 3 0 23
0 -76 0 -56 0 -36 0 -16 69994 4 0 24
0 -75 0 -55 0 -35 0 -15 3159 5 0 25
0 -74 0 -54 0 -34 0 -14 60 6 0 26
0 -73 0 -53 0 -33 0 -13 6 7 0 27
0 -72 0 -52 0 -32 0 -12 1 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 1 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 ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |o
200000 | |o
180000 | |oo
160000 | ooo
140000 | ooo
120000 | oooo
100000 | oooo
80000 | oooo
60000 | ooooo
40000 | ooooo
20000 | ooooo
0 |_________._________._________.oooooooo_.__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 = 592. 0 thru 39 = 799971.
histend K = 200000. 40 thru Max = 21.
End analysis of Test T210 at 00:07:17.586 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:07:17.689 980617
End execution of Test T220 at 00:07:17.931 980617
Duration 0.242
Start analysis of Test T220 at 00:07:18.001 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.241 0.182 0.000 0.000 0.000 0.000 0.000 0.000
0.240 0.181 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 5 8 0 0
9999 22550 22550 0 0
19998 41097 41098 0 0
29997 64134 64134 0 0
39996 94561 94562 0 0
49995 116992 116994 0 0
59994 139666 139667 0 0
69993 160687 160687 0 0
79992 160687 160687 0 0
89991 160687 160687 0 0
99990 177638 177638 0 0
109989 180406 180407 0 0
119988 202894 202895 0 0
129987 225427 225427 0 0
139986 247397 247398 0 0
149985 269644 269644 0 0
159984 292758 292759 0 0
169983 315118 315118 0 0
179982 337638 337639 0 0
189981 359878 359879 0 0
199980 382515 382516 0 0
dim = 80, max = 382560, 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
33333
3
3
3333333333
3
3
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 73959 0
1 69040 325999
2 130264 12
3 108904 2
4 17094 0
5 604 0
6 74 0
7 4 0
8 3 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 50 24
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 110941 0 0 20
0 -79 0 -59 0 -39 0 -19 255890 1 0 21
0 -78 0 -58 0 -38 0 -18 281680 2 0 22
0 -77 0 -57 0 -37 0 -17 133398 3 0 23
0 -76 0 -56 0 -36 0 -16 17297 4 0 24
0 -75 0 -55 0 -35 0 -15 630 5 0 25
0 -74 0 -54 0 -34 0 -14 74 6 0 26
0 -73 0 -53 0 -33 0 -13 4 7 0 27
0 -72 0 -52 0 -32 0 -12 3 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 ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | | o
260000 | | o
240000 | |oo
220000 | |oo
200000 | |oo
180000 | |oo
160000 | |oo
140000 | |oo
120000 | |ooo
100000 | oooo
80000 | oooo
60000 | oooo
40000 | oooo
20000 | oooo
0 |_________._________._________.oooooooo_._________._________._________
-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 = 9005. 0 thru 39 = 799917.
histend K = 200000. 40 thru Max = 75.
End analysis of Test T220 at 00:07:18.714 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:07:18.816 980617
End execution of Test T400 at 00:07:18.877 980617
Duration 0.061
Start analysis of Test T400 at 00:07:18.878 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.052 0.061 0.000 0.000 0.000 0.000 0.000 0.000
0.051 0.060 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 6 0 0
9999 10158 9834 0 0
19998 20124 19858 0 0
29997 30103 29897 0 0
39996 40268 39719 0 0
49995 50382 49606 0 0
59994 60261 59726 0 0
69993 70288 69696 0 0
79992 80353 79633 0 0
89991 90399 89594 0 0
99990 98815 101137 0 0
109989 108813 111130 0 0
119988 118885 121064 0 0
129987 125131 142942 0 0
139986 127023 152971 0 0
149985 137013 198342 0 0
159984 143999 199999 0 0
169983 143999 199999 0 0
179982 143999 199999 0 0
189981 143999 199999 0 0
199980 151618 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222222222222222222222
2
2
2
2 1
2 1
2 1
2 111111111111111
2 1
2 1
1
1
1
1
2111111
21
21
21
21
21
21
21
1
3
3
3
2
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
1
12
12
12
12
12
32
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 322008 0
1 763 126
2 2288 1996
3 29607 34020
4 21850 16735
5 21332 22797
6 2113 2211
7 15 26
8 3 37
9 2 29
10 1 3
11 1 1
12 4 0
13 2 0
14 1 0
15 0 1
16 0 0
17 0 0
18 0 0
19 0 0
over 6 6
d = -10.
Event 4.1. u[ 42326] = 42588 < 42589; v[ 42589] = 42316 < 42326.
b=2 c=2 u[ 42317]: 42586 42586 42587 42587 42587 42587 42587
42588 42588 42588
Event 4.1. u[ 42351] = 42594 < 42595; v[ 42595] = 42341 < 42351.
b=2 c=2 u[ 42342]: 42592 42592 42592 42593 42593 42594 42594
42594 42594 42594
d = -9.
Event 4.2. v[ 4016] = 3966 < 3967; u[ 3967] = 4007 < 4016.
b=2 c=2 v[ 4008]: 3964 3964 3965 3965 3965 3965 3966
3966 3966
Event 4.2. v[ 4028] = 3969 < 3970; u[ 3970] = 4019 < 4028.
b=2 c=2 v[ 4020]: 3967 3967 3967 3968 3968 3968 3969
3969 3969
Event 4.2. v[ 4040] = 3972 < 3973; u[ 3973] = 4031 < 4040.
b=2 c=2 v[ 4032]: 3970 3970 3970 3971 3971 3971 3972
3972 3972
Event 4.1. u[ 18967] = 19134 < 19135; v[ 19135] = 18958 < 18967.
b=2 c=1 u[ 18959]: 19132 19132 19132 19134 19134 19134 19134
19134 19134
Event 4.1. u[ 18978] = 19137 < 19138; v[ 19138] = 18969 < 18978.
b=2 c=1 u[ 18970]: 19135 19135 19135 19137 19137 19137 19137
19137 19137
Event 4.1. u[ 42325] = 42588 < 42589; v[ 42589] = 42316 < 42325.
b=2 c=2 u[ 42317]: 42586 42586 42587 42587 42587 42587 42587
42588 42588
Event 4.1. u[ 42338] = 42591 < 42592; v[ 42592] = 42329 < 42338.
b=2 c=2 u[ 42330]: 42589 42589 42589 42590 42590 42590 42591
42591 42591
Event 4.1. u[ 42350] = 42594 < 42595; v[ 42595] = 42341 < 42350.
b=2 c=2 u[ 42342]: 42592 42592 42592 42593 42593 42594 42594
42594 42594
d = -8.
Event 4.2. v[ 1088] = 1094 < 1095; u[ 1095] = 1080 < 1088.
b=0 c=0 v[ 1081]: 1094 1094 1094 1094 1094 1094 1094
1094
Event 4.2. v[ 4015] = 3966 < 3967; u[ 3967] = 4007 < 4015.
b=2 c=2 v[ 4008]: 3964 3964 3965 3965 3965 3965 3966
3966
Event 4.2. v[ 4027] = 3969 < 3970; u[ 3970] = 4019 < 4027.
b=2 c=2 v[ 4020]: 3967 3967 3967 3968 3968 3968 3969
3969
Event 4.2. v[ 4039] = 3972 < 3973; u[ 3973] = 4031 < 4039.
b=2 c=2 v[ 4032]: 3970 3970 3970 3971 3971 3971 3972
3972
Event 4.1. u[ 192834] = 144532 < 144533; v[ 144533] = 192826 < 192834.
b=0 c=0 u[ 192827]: 144532 144532 144532 144532 144532 144532 144532
144532
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 38318 38318 0 0 -1
-2 37798 38057 0 0 -2
-3 23216 22729 0 0 -3
-4 13279 12202 0 0 -4
-5 887 1884 0 0 -5
-6 266 297 0 0 -6
-7 62 186 0 0 -7
-8 14 28 0 0 -8
-9 5 3 0 0 -9
-10 2 0 0 0 -10
-11 0 0 0 0 -11
Totals / Min / Under -25:
113847 113704 0 0
10 9 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 394606 0 6 20
0 -79 0 -59 0 -39 0 -19 1381 1 6 21
0 -78 0 -58 0 -38 0 -18 2532 2 6 22
0 -77 0 -57 0 -37 0 -17 29703 3 6 23
0 -76 0 -56 0 -36 0 -16 21894 4 6 24
0 -75 0 -55 0 -35 0 -15 21366 5 6 25
0 -74 0 -54 0 -34 0 -14 2133 6 6 26
0 -73 0 -53 0 -33 0 -13 22 7 6 27
0 -72 0 -52 0 -32 0 -12 10 8 6 28
0 -71 0 -51 0 -31 0 -11 9 9 6 29
0 -70 0 -50 0 -30 2 -10 8 10 6 30
0 -69 0 -49 0 -29 8 -9 8 11 6 31
0 -68 0 -48 0 -28 42 -8 10 12 6 32
0 -67 0 -47 0 -27 248 -7 8 13 6 33
0 -66 0 -46 0 -26 563 -6 7 14 6 34
0 -65 0 -45 0 -25 2771 -5 6 15 6 35
0 -64 0 -44 0 -24 25481 -4 6 16 6 36
0 -63 0 -43 0 -23 45945 -3 6 17 6 37
0 -62 0 -42 0 -22 75855 -2 6 18 6 38
0 -61 0 -41 0 -21 76636 -1 6 19 6 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 | o
140000 | o
120000 | o
100000 | o
80000 | o
60000 | ooo
40000 | oooo
20000 | ooooo ooo
0 |_________._________oooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 751634. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -10. -80 thru -1 = 227551.
Behav = Relaxed. Maximum = 35968. 0 thru 39 = 473847.
histend K = 200000. 40 thru Max = 50236.
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 7 20
0 -79 0 -59 0 -39 0 -19 618 1 7 21
0 -78 0 -58 0 -38 0 -18 2186 2 7 22
0 -77 0 -57 0 -37 0 -17 32365 3 7 23
0 -76 0 -56 0 -36 0 -16 52199 4 7 24
0 -75 0 -55 0 -35 0 -15 74592 5 7 25
0 -74 0 -54 0 -34 0 -14 73948 6 7 26
0 -73 0 -53 0 -33 0 -13 51278 7 7 27
0 -72 0 -52 0 -32 0 -12 12058 8 7 28
0 -71 0 -51 0 -31 0 -11 1627 9 7 29
0 -70 0 -50 0 -30 0 -10 158 10 7 30
0 -69 0 -49 0 -29 0 -9 80 11 7 31
0 -68 0 -48 0 -28 0 -8 40 12 7 32
0 -67 0 -47 0 -27 0 -7 23 13 7 33
0 -66 0 -46 0 -26 0 -6 21 14 7 34
0 -65 0 -45 0 -25 0 -5 17 15 7 35
0 -64 0 -44 0 -24 0 -4 15 16 7 36
0 -63 0 -43 0 -23 0 -3 14 17 7 37
0 -62 0 -42 0 -22 0 -2 13 18 7 38
0 -61 0 -41 0 -21 0 -1 8 19 7 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | | oo
68000 | | oo
64000 | | oo
60000 | | oo
56000 | | oo
52000 | | ooo
48000 | | oooo
44000 | | oooo
40000 | | oooo
36000 | | oooo
32000 | | ooooo
28000 | | ooooo
24000 | | ooooo
20000 | | ooooo
16000 | | ooooo
12000 | | oooooo
8000 | | oooooo
4000 | | oooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 399985. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 48361. 0 thru 39 = 301401.
histend K = 200000. 40 thru Max = 98584.
End analysis of Test T400 at 00:07:19.986 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:07:20.089 980617
End execution of Test T410 at 00:07:20.157 980617
Duration 0.068
Start analysis of Test T410 at 00:07:20.200 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.067 0.062 0.000 0.000 0.000 0.000 0.000 0.000
0.066 0.061 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 24 0 0
9999 9918 10077 0 0
19998 16553 23548 0 0
29997 26785 33211 0 0
39996 36756 42989 0 0
49995 48839 51143 0 0
59994 58896 61098 0 0
69993 68969 71013 0 0
79992 100601 73015 0 0
89991 110502 73015 0 0
99990 131992 79378 0 0
109989 141974 89470 0 0
119988 151779 96601 0 0
129987 161747 97951 0 0
139986 172082 108015 0 0
149985 181749 118191 0 0
159984 191724 128203 0 0
169983 199999 137886 0 0
179982 199999 148218 0 0
189981 199999 158218 0 0
199980 199999 168262 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111
1
1
1
1
1
1
1
1
1
1
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
1 2
1 2
1 22
2
2
2
2
2
1
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 222222
1 2
2
2
2
2
2
2
2
222222222
2
21
21
21
21
21
21
21
21
21
21
221
2 1
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
311
3
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 302677 0
1 2555 918
2 11729 12881
3 38564 43844
4 35806 29168
5 8543 9621
6 83 789
7 16 58
8 4 21
9 2 7
10 0 0
11 4 2
12 4 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 9 10
d = -10.
Event 4.1. u[ 22884] = 19354 < 19355; v[ 19355] = 22874 < 22884.
b=2 c=1 u[ 22875]: 19352 19352 19352 19354 19354 19354 19354
19354 19354 19354
d = -9.
Event 4.1. u[ 22883] = 19354 < 19355; v[ 19355] = 22874 < 22883.
b=2 c=1 u[ 22875]: 19352 19352 19352 19354 19354 19354 19354
19354 19354
Event 4.2. v[ 58469] = 59609 < 59610; u[ 59610] = 58460 < 58469.
b=2 c=2 v[ 58461]: 59607 59607 59607 59608 59608 59608 59609
59609 59609
Event 4.2. v[ 58488] = 59614 < 59615; u[ 59615] = 58479 < 58488.
b=2 c=2 v[ 58480]: 59612 59612 59612 59613 59613 59613 59614
59614 59614
Event 4.2. v[ 58511] = 59620 < 59621; u[ 59621] = 58502 < 58511.
b=2 c=2 v[ 58503]: 59618 59618 59618 59619 59619 59619 59620
59620 59620
Event 4.1. u[ 141330] = 173377 < 173378; v[ 173378] = 141321 < 141330.
b=2 c=1 u[ 141322]: 173375 173375 173375 173377 173377 173377 173377
173377 173377
Event 4.2. v[ 173586] = 141528 < 141529; u[ 141529] = 173577 < 173586.
b=2 c=2 v[ 173578]: 141526 141526 141526 141527 141527 141527 141528
141528 141528
Event 4.2. v[ 173621] = 141537 < 141538; u[ 141538] = 173612 < 173621.
b=2 c=2 v[ 173613]: 141535 141535 141536 141536 141536 141537 141537
141537 141537
Event 4.2. v[ 173633] = 141540 < 141541; u[ 141541] = 173624 < 173633.
b=2 c=2 v[ 173625]: 141538 141538 141539 141539 141539 141540 141540
141540 141540
d = -8.
Event 4.1. u[ 22835] = 19337 < 19338; v[ 19338] = 22827 < 22835.
b=2 c=2 u[ 22828]: 19335 19335 19336 19336 19336 19337 19337
19337
Event 4.1. u[ 22882] = 19354 < 19355; v[ 19355] = 22874 < 22882.
b=2 c=1 u[ 22875]: 19352 19352 19352 19354 19354 19354 19354
19354
Event 4.2. v[ 58468] = 59609 < 59610; u[ 59610] = 58460 < 58468.
b=2 c=2 v[ 58461]: 59607 59607 59607 59608 59608 59608 59609
59609
Event 4.2. v[ 58487] = 59614 < 59615; u[ 59615] = 58479 < 58487.
b=2 c=2 v[ 58480]: 59612 59612 59612 59613 59613 59613 59614
59614
Event 4.2. v[ 58499] = 59617 < 59618; u[ 59618] = 58491 < 58499.
b=2 c=2 v[ 58492]: 59615 59615 59616 59616 59616 59617 59617
59617
Event 4.2. v[ 58510] = 59620 < 59621; u[ 59621] = 58502 < 58510.
b=2 c=2 v[ 58503]: 59618 59618 59618 59619 59619 59619 59620
59620
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 45816 45816 0 0 -1
-2 47976 35756 0 0 -2
-3 19362 32155 0 0 -3
-4 8885 4007 0 0 -4
-5 59 3165 0 0 -5
-6 32 3069 0 0 -6
-7 20 43 0 0 -7
-8 4 8 0 0 -8
-9 2 6 0 0 -9
-10 1 0 0 0 -10
-11 0 0 0 0 -11
Totals / Min / Under -25:
122157 124025 0 0
10 9 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 384487 0 10 20
0 -79 0 -59 0 -39 0 -19 2849 1 10 21
0 -78 0 -58 0 -38 0 -18 11788 2 10 22
0 -77 0 -57 0 -37 0 -17 38594 3 10 23
0 -76 0 -56 0 -36 0 -16 35834 4 10 24
0 -75 0 -55 0 -35 0 -15 8568 5 10 25
0 -74 0 -54 0 -34 0 -14 104 6 10 26
0 -73 0 -53 0 -33 0 -13 34 7 10 27
0 -72 0 -52 0 -32 0 -12 15 8 10 28
0 -71 0 -51 0 -31 0 -11 13 9 10 29
0 -70 0 -50 0 -30 1 -10 10 10 10 30
0 -69 0 -49 0 -29 8 -9 14 11 10 31
0 -68 0 -48 0 -28 12 -8 14 12 10 32
0 -67 0 -47 0 -27 63 -7 10 13 10 33
0 -66 0 -46 0 -26 3101 -6 10 14 9 34
0 -65 0 -45 0 -25 3224 -5 10 15 9 35
0 -64 0 -44 0 -24 12892 -4 10 16 9 36
0 -63 0 -43 0 -23 51517 -3 10 17 9 37
0 -62 0 -42 0 -22 83732 -2 10 18 9 38
0 -61 0 -41 0 -21 91632 -1 10 19 9 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 | o
140000 | o
120000 | o
100000 | o
80000 | ooo
60000 | ooo
40000 | oooo
20000 | oooo oo
0 |_________._________oooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 768281. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -10. -80 thru -1 = 246182.
Behav = Relaxed. Maximum = 21887. 0 thru 39 = 482588.
histend K = 200000. 40 thru Max = 39511.
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 10 20
0 -79 0 -59 0 -39 0 -19 294 1 10 21
0 -78 0 -58 0 -38 0 -18 10751 2 10 22
0 -77 0 -57 0 -37 0 -17 43838 3 10 23
0 -76 0 -56 0 -36 0 -16 86112 4 10 24
0 -75 0 -55 0 -35 0 -15 90179 5 10 25
0 -74 0 -54 0 -34 0 -14 55298 6 10 26
0 -73 0 -53 0 -33 0 -13 34723 7 10 27
0 -72 0 -52 0 -32 0 -12 5935 8 10 28
0 -71 0 -51 0 -31 0 -11 987 9 10 29
0 -70 0 -50 0 -30 0 -10 113 10 10 30
0 -69 0 -49 0 -29 0 -9 76 11 10 31
0 -68 0 -48 0 -28 0 -8 59 12 10 32
0 -67 0 -47 0 -27 0 -7 40 13 10 33
0 -66 0 -46 0 -26 0 -6 33 14 10 34
0 -65 0 -45 0 -25 0 -5 20 15 10 35
0 -64 0 -44 0 -24 0 -4 18 16 10 36
0 -63 0 -43 0 -23 0 -3 15 17 10 37
0 -62 0 -42 0 -22 0 -2 10 18 10 38
0 -61 0 -41 0 -21 0 -1 10 19 10 39
------ Relaxed ------ | ------ Strong ------
95000 | |
90000 | | o
85000 | | oo
80000 | | oo
75000 | | oo
70000 | | oo
65000 | | oo
60000 | | oo
55000 | | ooo
50000 | | ooo
45000 | | ooo
40000 | | oooo
35000 | | oooo
30000 | | ooooo
25000 | | ooooo
20000 | | ooooo
15000 | | ooooo
10000 | | oooooo
5000 | | ooooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 399964. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 31717. 0 thru 39 = 328715.
histend K = 200000. 40 thru Max = 71249.
End analysis of Test T410 at 00:07:21.379 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:07:21.483 980617
End execution of Test T420 at 00:07:21.554 980617
Duration 0.071
Start analysis of Test T420 at 00:07:21.625 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.071 0.071 0.000 0.000 0.000 0.000 0.000 0.000
0.069 0.069 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 6 0 0
9999 10202 9792 0 0
19998 20308 19661 0 0
29997 30266 29728 0 0
39996 40522 39504 0 0
49995 50523 49478 0 0
59994 60363 59622 0 0
69993 70537 69450 0 0
79992 80563 79420 0 0
89991 90359 89611 0 0
99990 100408 99568 0 0
109989 110426 109546 0 0
119988 120269 119702 0 0
129987 130424 129548 0 0
139986 140504 139478 0 0
149985 149357 150608 0 0
159984 157972 161858 0 0
169983 168568 171375 0 0
179982 178424 181519 0 0
189981 189016 190886 0 0
199980 199468 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
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
2
2 1
2 1
11
23
21
1
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
1
12
12
32
3
3
3
3
1
12
12
12
12
12
12
12
12
12
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 273297 0
1 4351 311
2 38541 47556
3 25439 27736
4 56832 46532
5 1411 1693
6 98 461
7 10 2362
8 2 23
9 2 9
10 2 4
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 1
17 0 0
18 0 0
19 0 0
over 11 11
d = -8.
Event 4.1. u[ 19830] = 20132 < 20133; v[ 20133] = 19822 < 19830.
b=2 c=1 u[ 19823]: 20130 20130 20132 20132 20132 20132 20132
20132
d = -7.
Event 4.2. v[ 208] = 198 < 199; u[ 199] = 201 < 208.
b=1 c=1 v[ 202]: 197 197 197 198 198 198 198
Event 4.2. v[ 3382] = 3238 < 3239; u[ 3239] = 3375 < 3382.
b=1 c=1 v[ 3376]: 3237 3237 3237 3238 3238 3238 3238
Event 4.2. v[ 3984] = 3798 < 3799; u[ 3799] = 3977 < 3984.
b=1 c=1 v[ 3978]: 3797 3797 3797 3798 3798 3798 3798
Event 4.2. v[ 4203] = 4006 < 4007; u[ 4007] = 4196 < 4203.
b=1 c=1 v[ 4197]: 4005 4005 4005 4006 4006 4006 4006
Event 4.2. v[ 4350] = 4134 < 4135; u[ 4135] = 4343 < 4350.
b=1 c=1 v[ 4344]: 4133 4133 4133 4134 4134 4134 4134
Event 4.2. v[ 4470] = 4246 < 4247; u[ 4247] = 4463 < 4470.
b=1 c=1 v[ 4464]: 4245 4245 4245 4246 4246 4246 4246
Event 4.1. u[ 13896] = 14148 < 14149; v[ 14149] = 13889 < 13896.
b=1 c=1 u[ 13890]: 14147 14147 14147 14148 14148 14148 14148
Event 4.1. u[ 17800] = 18132 < 18133; v[ 18133] = 17793 < 17800.
b=1 c=1 u[ 17794]: 18131 18131 18131 18132 18132 18132 18132
Event 4.1. u[ 19809] = 20125 < 20126; v[ 20126] = 19802 < 19809.
b=2 c=1 u[ 19803]: 20123 20123 20125 20125 20125 20125 20125
Event 4.1. u[ 19829] = 20132 < 20133; v[ 20133] = 19822 < 19829.
b=2 c=1 u[ 19823]: 20130 20130 20132 20132 20132 20132 20132
Event 4.1. u[ 20269] = 20564 < 20565; v[ 20565] = 20262 < 20269.
b=0 c=0 u[ 20263]: 20564 20564 20564 20564 20564 20564 20564
Event 4.1. u[ 26397] = 26708 < 26709; v[ 26709] = 26390 < 26397.
b=0 c=0 u[ 26391]: 26708 26708 26708 26708 26708 26708 26708
Event 4.2. v[ 26998] = 26662 < 26663; u[ 26663] = 26991 < 26998.
b=1 c=1 v[ 26992]: 26661 26661 26661 26662 26662 26662 26662
Event 4.2. v[ 193746] = 194470 < 194471; u[ 194471] = 193739 < 193746.
b=1 c=1 v[ 193740]: 194469 194469 194469 194470 194470 194470 194470
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 60148 60148 0 0 -1
-2 40813 41433 0 0 -2
-3 34712 34433 0 0 -3
-4 3302 3933 0 0 -4
-5 1862 2424 0 0 -5
-6 1622 2145 0 0 -6
-7 17 47 0 0 -7
-8 1 0 0 0 -8
-9 0 0 0 0 -9
Totals / Min / Under -25:
142477 144563 0 0
8 7 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 378436 0 11 20
0 -79 0 -59 0 -39 0 -19 4817 1 11 21
0 -78 0 -58 0 -38 0 -18 38645 2 11 22
0 -77 0 -57 0 -37 0 -17 25503 3 11 23
0 -76 0 -56 0 -36 0 -16 56885 4 11 24
0 -75 0 -55 0 -35 0 -15 1450 5 11 25
0 -74 0 -54 0 -34 0 -14 125 6 11 26
0 -73 0 -53 0 -33 0 -13 23 7 11 27
0 -72 0 -52 0 -32 0 -12 14 8 11 28
0 -71 0 -51 0 -31 0 -11 14 9 11 29
0 -70 0 -50 0 -30 0 -10 14 10 11 30
0 -69 0 -49 0 -29 0 -9 12 11 11 31
0 -68 0 -48 0 -28 1 -8 12 12 11 32
0 -67 0 -47 0 -27 64 -7 11 13 11 33
0 -66 0 -46 0 -26 3767 -6 11 14 11 34
0 -65 0 -45 0 -25 4286 -5 11 15 11 35
0 -64 0 -44 0 -24 7235 -4 11 16 11 36
0 -63 0 -43 0 -23 69145 -3 11 17 11 37
0 -62 0 -42 0 -22 82246 -2 11 18 11 38
0 -61 0 -41 0 -21 120296 -1 11 19 11 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 | o
140000 | o
120000 | oo
100000 | oo
80000 | ooo
60000 | oooo
40000 | oooo o
20000 | oooo ooo
0 |_________._________._oooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 799480. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -8. -80 thru -1 = 287040.
Behav = Relaxed. Maximum = 1912. 0 thru 39 = 506247.
histend K = 200000. 40 thru Max = 6193.
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 12 20
0 -79 0 -59 0 -39 0 -19 466 1 12 21
0 -78 0 -58 0 -38 0 -18 43549 2 12 22
0 -77 0 -57 0 -37 0 -17 58148 3 12 23
0 -76 0 -56 0 -36 0 -16 119975 4 12 24
0 -75 0 -55 0 -35 0 -15 111146 5 12 25
0 -74 0 -54 0 -34 0 -14 37247 6 12 26
0 -73 0 -53 0 -33 0 -13 18499 7 12 27
0 -72 0 -52 0 -32 0 -12 3222 8 12 28
0 -71 0 -51 0 -31 0 -11 270 9 12 29
0 -70 0 -50 0 -30 0 -10 170 10 12 30
0 -69 0 -49 0 -29 0 -9 99 11 12 31
0 -68 0 -48 0 -28 0 -8 70 12 12 32
0 -67 0 -47 0 -27 0 -7 47 13 12 33
0 -66 0 -46 0 -26 0 -6 35 14 12 34
0 -65 0 -45 0 -25 0 -5 29 15 12 35
0 -64 0 -44 0 -24 0 -4 14 16 12 36
0 -63 0 -43 0 -23 0 -3 13 17 12 37
0 -62 0 -42 0 -22 0 -2 12 18 12 38
0 -61 0 -41 0 -21 0 -1 12 19 12 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | |
110000 | | oo
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oo
50000 | | ooo
40000 | | oooo
30000 | | ooooo
20000 | | ooooo
10000 | | oooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 399984. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1918. 0 thru 39 = 393264.
histend K = 200000. 40 thru Max = 6720.
End analysis of Test T420 at 00:07:22.811 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:07:22.914 980617
End execution of Test T700 at 00:07:22.992 980617
Duration 0.078
Start analysis of Test T700 at 00:07:22.993 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.078 0.069 0.000 0.000 0.000 0.000 0.000 0.000
0.077 0.068 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 199999 199999
9999 9946 10053 0 0
19998 29899 17551 0 0
29997 41156 20097 0 0
39996 51147 28829 0 0
49995 61460 38827 0 0
59994 71444 48516 0 0
69993 81332 58557 0 0
79992 98130 68640 0 0
89991 107944 73489 0 0
99990 117497 81861 0 0
109989 127539 92141 0 0
119988 157705 102474 0 0
129987 167996 112432 0 0
139986 183863 113564 0 0
149985 193839 113564 0 0
159984 199999 122284 0 0
169983 199999 130149 0 0
179982 199999 136077 0 0
189981 199999 146113 0 0
199980 199999 156140 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 1111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1 2
1 2
1 2
2
2
2
2
2
2
2
222
1 2
1 2
1 2
1 2
1 2
1 2
1 222222222
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
2
2
1 2
1 2
1 2
1 2
1 222
1 2
1 2
1 2
1 2
1 2
1 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
2
2
2
22222
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 296348 0
1 2550 138
2 43414 48895
3 12761 9104
4 42780 43448
5 2064 1890
6 46 107
7 15 41
8 3 12
9 2 0
10 0 0
11 0 0
12 1 1
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 12 12
d = -7.
Event 7.2. v[ 31989] = 22266 < 22267; u[ 22267] = 31982 < 31989.
b=0 c=0 v[ 31983]: 22266 22266 22266 22266 22266 22266 22266
Event 7.2. v[ 31997] = 22268 < 22269; u[ 22269] = 31990 < 31997.
b=0 c=0 v[ 31991]: 22268 22268 22268 22268 22268 22268 22268
Event 7.2. v[ 32005] = 22270 < 22271; u[ 22271] = 31998 < 32005.
b=0 c=0 v[ 31999]: 22270 22270 22270 22270 22270 22270 22270
Event 7.2. v[ 32013] = 22272 < 22273; u[ 22273] = 32006 < 32013.
b=0 c=0 v[ 32007]: 22272 22272 22272 22272 22272 22272 22272
Event 7.2. v[ 32021] = 22274 < 22275; u[ 22275] = 32014 < 32021.
b=0 c=0 v[ 32015]: 22274 22274 22274 22274 22274 22274 22274
Event 7.2. v[ 32029] = 22276 < 22277; u[ 22277] = 32022 < 32029.
b=0 c=0 v[ 32023]: 22276 22276 22276 22276 22276 22276 22276
Event 7.2. v[ 32079] = 22295 < 22296; u[ 22296] = 32072 < 32079.
b=0 c=0 v[ 32073]: 22295 22295 22295 22295 22295 22295 22295
Event 7.2. v[ 32102] = 22302 < 22303; u[ 22303] = 32095 < 32102.
b=2 c=1 v[ 32096]: 22300 22300 22302 22302 22302 22302 22302
Event 7.2. v[ 56066] = 44928 < 44929; u[ 44929] = 56059 < 56066.
b=1 c=1 v[ 56060]: 44927 44927 44927 44928 44928 44928 44928
Event 7.2. v[ 56077] = 44931 < 44932; u[ 44932] = 56070 < 56077.
b=1 c=1 v[ 56071]: 44930 44930 44930 44931 44931 44931 44931
d = -6.
Event 7.1. u[ 7281] = 7252 < 7253; v[ 7253] = 7275 < 7281.
b=0 c=0 u[ 7276]: 7252 7252 7252 7252 7252 7252
Event 7.2. v[ 13338] = 13430 < 13431; u[ 13431] = 13332 < 13338.
b=0 c=0 v[ 13333]: 13430 13430 13430 13430 13430 13430
Event 7.2. v[ 13434] = 13526 < 13527; u[ 13527] = 13428 < 13434.
b=0 c=0 v[ 13429]: 13526 13526 13526 13526 13526 13526
Event 7.2. v[ 13530] = 13622 < 13623; u[ 13623] = 13524 < 13530.
b=0 c=0 v[ 13525]: 13622 13622 13622 13622 13622 13622
Event 7.2. v[ 194202] = 150342 < 150343; u[ 150343] = 194196 < 194202.
b=0 c=0 v[ 194197]: 150342 150342 150342 150342 150342 150342
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 51574 51574 0 0 -1
-2 29253 28259 0 0 -2
-3 24409 22772 0 0 -3
-4 891 1284 0 0 -4
-5 29 98 0 0 -5
-6 12 73 0 0 -6
-7 0 10 0 0 -7
-8 0 0 0 0 -8
Totals / Min / Under -25:
106168 104070 0 0
6 7 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 394981 0 12 20
0 -79 0 -59 0 -39 0 -19 2873 1 12 21
0 -78 0 -58 0 -38 0 -18 43601 2 12 22
0 -77 0 -57 0 -37 0 -17 12843 3 12 23
0 -76 0 -56 0 -36 0 -16 42848 4 12 24
0 -75 0 -55 0 -35 0 -15 2098 5 12 25
0 -74 0 -54 0 -34 0 -14 64 6 12 26
0 -73 0 -53 0 -33 0 -13 30 7 12 27
0 -72 0 -52 0 -32 0 -12 16 8 12 28
0 -71 0 -51 0 -31 0 -11 15 9 12 29
0 -70 0 -50 0 -30 0 -10 13 10 12 30
0 -69 0 -49 0 -29 0 -9 12 11 12 31
0 -68 0 -48 0 -28 0 -8 13 12 12 32
0 -67 0 -47 0 -27 10 -7 12 13 12 33
0 -66 0 -46 0 -26 85 -6 12 14 12 34
0 -65 0 -45 0 -25 127 -5 12 15 12 35
0 -64 0 -44 0 -24 2175 -4 12 16 12 36
0 -63 0 -43 0 -23 47181 -3 12 17 12 37
0 -62 0 -42 0 -22 57512 -2 12 18 12 38
0 -61 0 -41 0 -21 103148 -1 12 19 12 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 | o
140000 | o
120000 | o
100000 | oo
80000 | oo
60000 | oo
40000 | oooo o o
20000 | oooo o o
0 |_________._________.__ooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 756158. Min thru -81 = 0.
Type = RR|CC1. Minimum = -7. -80 thru -1 = 210238.
Behav = Relaxed. Maximum = 20181. 0 thru 39 = 499731.
histend K = 200000. 40 thru Max = 46189.
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 34 0 13 20
0 -79 0 -59 0 -39 0 -19 323 1 13 21
0 -78 0 -58 0 -38 0 -18 46167 2 13 22
0 -77 0 -57 0 -37 0 -17 56451 3 13 23
0 -76 0 -56 0 -36 0 -16 86537 4 13 24
0 -75 0 -55 0 -35 0 -15 78274 5 13 25
0 -74 0 -54 0 -34 0 -14 25057 6 13 26
0 -73 0 -53 0 -33 0 -13 15254 7 13 27
0 -72 0 -52 0 -32 0 -12 1223 8 13 28
0 -71 0 -51 0 -31 0 -11 110 9 13 29
0 -70 0 -50 0 -30 0 -10 66 10 13 30
0 -69 0 -49 0 -29 0 -9 48 11 13 31
0 -68 0 -48 0 -28 0 -8 42 12 13 32
0 -67 0 -47 0 -27 0 -7 33 13 13 33
0 -66 0 -46 0 -26 0 -6 24 14 13 34
0 -65 0 -45 0 -25 0 -5 18 15 13 35
0 -64 0 -44 0 -24 0 -4 13 16 13 36
0 -63 0 -43 0 -23 0 -3 13 17 13 37
0 -62 0 -42 0 -22 0 -2 13 18 13 38
0 -61 0 -41 0 -21 0 -1 13 19 13 39
------ Relaxed ------ | ------ Strong ------
95000 | |
90000 | |
85000 | | o
80000 | | o
75000 | | oo
70000 | | oo
65000 | | oo
60000 | | oo
55000 | | ooo
50000 | | ooo
45000 | | oooo
40000 | | oooo
35000 | | oooo
30000 | | oooo
25000 | | ooooo
20000 | | ooooo
15000 | | oooooo
10000 | | oooooo
5000 | | oooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 700. Total = 399988. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 43837. 0 thru 39 = 309973.
histend K = 200000. 40 thru Max = 90015.
End analysis of Test T700 at 00:07:24.107 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:07:24.209 980617
End execution of Test T710 at 00:07:24.290 980617
Duration 0.081
Start analysis of Test T710 at 00:07:24.333 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.073 0.081 0.000 0.000 0.000 0.000 0.000 0.000
0.072 0.080 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 10 199999 0
9999 8296 12050 0 0
19998 16763 23965 0 0
29997 24953 35881 0 0
39996 33377 47926 0 0
49995 41673 60042 0 0
59994 49958 72011 0 0
69993 58331 84030 0 0
79992 66665 96046 0 0
89991 74966 107971 0 0
99990 83213 119999 0 0
109989 91719 131909 0 0
119988 99978 144049 0 0
129987 108395 156011 0 0
139986 116669 168057 0 0
149985 124979 179917 0 0
159984 133313 191794 0 0
169983 141647 199999 0 0
179982 150036 199999 0 0
189981 158433 199999 0 0
199980 166752 199999 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4 22222222222222
2
2
2
2
2
2
2
2
2
2
2 1
2 11
2 1
2 1
1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 11
2 1
2 1
1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 11
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
1
2 1
2 11
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
1
2 11
2 1
2 1
2 1
2 1
11
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 266925 0
1 6000 3359
2 52365 64447
3 45553 34748
4 27311 25717
5 1810 2302
6 18 2473
7 6 16
8 1 1
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 7 7
d = -6.
Event 7.2. v[ 136781] = 164187 < 164188; u[ 164188] = 136775 < 136781.
b=2 c=1 v[ 136776]: 164185 164185 164187 164187 164187 164187
Event 7.2. v[ 136807] = 164198 < 164199; u[ 164199] = 136801 < 136807.
b=1 c=1 v[ 136802]: 164197 164197 164197 164197 164198 164198
d = -5.
Event 7.2. v[ 2699] = 3238 < 3239; u[ 3239] = 2694 < 2699.
b=0 c=0 v[ 2695]: 3238 3238 3238 3238 3238
Event 7.2. v[ 3083] = 3686 < 3687; u[ 3687] = 3078 < 3083.
b=0 c=0 v[ 3079]: 3686 3686 3686 3686 3686
Event 7.2. v[ 3961] = 4710 < 4711; u[ 4711] = 3956 < 3961.
b=0 c=0 v[ 3957]: 4710 4710 4710 4710 4710
Event 7.2. v[ 4681] = 5590 < 5591; u[ 5591] = 4676 < 4681.
b=0 c=0 v[ 4677]: 5590 5590 5590 5590 5590
Event 7.2. v[ 4786] = 5718 < 5719; u[ 5719] = 4781 < 4786.
b=0 c=0 v[ 4782]: 5718 5718 5718 5718 5718
Event 7.2. v[ 8403] = 10118 < 10119; u[ 10119] = 8398 < 8403.
b=0 c=0 v[ 8399]: 10118 10118 10118 10118 10118
Event 7.2. v[ 17113] = 20422 < 20423; u[ 20423] = 17108 < 17113.
b=0 c=0 v[ 17109]: 20422 20422 20422 20422 20422
Event 7.2. v[ 24277] = 29190 < 29191; u[ 29191] = 24272 < 24277.
b=0 c=0 v[ 24273]: 29190 29190 29190 29190 29190
Event 7.2. v[ 27339] = 32742 < 32743; u[ 32743] = 27334 < 27339.
b=0 c=0 v[ 27335]: 32742 32742 32742 32742 32742
Event 7.1. u[ 41785] = 34836 < 34837; v[ 34837] = 41780 < 41785.
b=0 c=0 u[ 41781]: 34836 34836 34836 34836 34836
Event 7.2. v[ 43385] = 52070 < 52071; u[ 52071] = 43380 < 43385.
b=0 c=0 v[ 43381]: 52070 52070 52070 52070 52070
Event 7.2. v[ 46462] = 55766 < 55767; u[ 55767] = 46457 < 46462.
b=0 c=0 v[ 46458]: 55766 55766 55766 55766 55766
Event 7.1. u[ 171639] = 143028 < 143029; v[ 143029] = 171634 < 171639.
b=0 c=0 u[ 171635]: 143028 143028 143028 143028 143028
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 63870 63870 0 0 -1
-2 36378 36508 0 0 -2
-3 28799 2309 0 0 -3
-4 1849 414 0 0 -4
-5 5 101 0 0 -5
-6 0 2 0 0 -6
-7 0 0 0 0 -7
Totals / Min / Under -25:
130901 103204 0 0
5 6 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 388998 0 7 20
0 -79 0 -59 0 -39 0 -19 9896 1 7 21
0 -78 0 -58 0 -38 0 -18 55626 2 7 22
0 -77 0 -57 0 -37 0 -17 47983 3 7 23
0 -76 0 -56 0 -36 0 -16 27377 4 7 24
0 -75 0 -55 0 -35 0 -15 1848 5 7 25
0 -74 0 -54 0 -34 0 -14 37 6 7 26
0 -73 0 -53 0 -33 0 -13 16 7 7 27
0 -72 0 -52 0 -32 0 -12 9 8 7 28
0 -71 0 -51 0 -31 0 -11 8 9 7 29
0 -70 0 -50 0 -30 0 -10 8 10 7 30
0 -69 0 -49 0 -29 0 -9 8 11 7 31
0 -68 0 -48 0 -28 0 -8 8 12 7 32
0 -67 0 -47 0 -27 0 -7 8 13 7 33
0 -66 0 -46 0 -26 2 -6 8 14 7 34
0 -65 0 -45 0 -25 106 -5 8 15 7 35
0 -64 0 -44 0 -24 2263 -4 8 16 7 36
0 -63 0 -43 0 -23 31108 -3 8 17 7 37
0 -62 0 -42 0 -22 72886 -2 7 18 7 38
0 -61 0 -41 0 -21 127740 -1 7 19 7 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 | o
140000 | o
120000 | oo
100000 | oo
80000 | oo
60000 | ooo
40000 | ooo oo
20000 | oooo ooo
0 |_________._________.___oooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 766765. Min thru -81 = 0.
Type = RR|CC1. Minimum = -6. -80 thru -1 = 234105.
Behav = Relaxed. Maximum = 198. 0 thru 39 = 532016.
histend K = 200000. 40 thru Max = 644.
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 15 0 8 20
0 -79 0 -59 0 -39 0 -19 3896 1 8 21
0 -78 0 -58 0 -38 0 -18 61146 2 8 22
0 -77 0 -57 0 -37 0 -17 99251 3 8 23
0 -76 0 -56 0 -36 0 -16 117058 4 8 24
0 -75 0 -55 0 -35 0 -15 65048 5 8 25
0 -74 0 -54 0 -34 0 -14 14870 6 8 26
0 -73 0 -53 0 -33 0 -13 4411 7 8 27
0 -72 0 -52 0 -32 0 -12 140 8 8 28
0 -71 0 -51 0 -31 0 -11 38 9 8 29
0 -70 0 -50 0 -30 0 -10 16 10 8 30
0 -69 0 -49 0 -29 0 -9 12 11 8 31
0 -68 0 -48 0 -28 0 -8 9 12 8 32
0 -67 0 -47 0 -27 0 -7 8 13 8 33
0 -66 0 -46 0 -26 0 -6 8 14 8 34
0 -65 0 -45 0 -25 0 -5 8 15 8 35
0 -64 0 -44 0 -24 0 -4 8 16 8 36
0 -63 0 -43 0 -23 0 -3 8 17 8 37
0 -62 0 -42 0 -22 0 -2 8 18 8 38
0 -61 0 -41 0 -21 0 -1 8 19 8 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | |
110000 | | o
100000 | | o
90000 | | oo
80000 | | oo
70000 | | oo
60000 | | oooo
50000 | | oooo
40000 | | oooo
30000 | | oooo
20000 | | oooo
10000 | | ooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 399981. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 33231. 0 thru 39 = 366126.
histend K = 200000. 40 thru Max = 33855.
End analysis of Test T710 at 00:07:25.494 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:07:25.599 980617
End execution of Test T720 at 00:07:25.689 980617
Duration 0.090
Start analysis of Test T720 at 00:07:25.759 980617
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.090 0.085 0.000 0.000 0.000 0.000 0.000 0.000
0.090 0.085 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 11545 8612 0 0
19998 22836 17368 0 0
29997 33512 26543 0 0
39996 44711 35902 0 0
49995 55482 44900 0 0
59994 65455 54035 0 0
69993 76423 64042 0 0
79992 87695 73240 0 0
89991 98484 82033 0 0
99990 109316 91366 0 0
109989 120432 100662 0 0
119988 131222 109560 0 0
129987 142099 118852 0 0
139986 152662 127926 0 0
149985 163231 137450 0 0
159984 174942 146995 0 0
169983 186396 155674 0 0
179982 197918 164537 0 0
189981 199999 173276 0 0
199980 199999 181862 0 0
dim = 80, max = 200000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111111
1
1
1
1
1
2
1 2
1 22
1 2
1 2
1 2
1 2
1 2
2
1 22
1 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 22
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 22
1
1 2
1 2
1 22
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 22
2
12
12
12
12
12
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 251315 0
1 4711 604
2 66639 72025
3 70587 71293
4 5624 4327
5 894 369
6 204 31
7 6 15
8 1 0
9 0 1
10 0 1
11 0 1
12 1 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 14 14
d = -5.
Event 7.2. v[ 121771] = 111200 < 111201; u[ 111201] = 121766 < 121771.
b=0 c=0 v[ 121767]: 111200 111200 111200 111200 111200
d = -4.
Event 7.2. v[ 55] = 54 < 55; u[ 55] = 51 < 55.
b=0 c=0 v[ 52]: 54 54 54 54
Event 7.2. v[ 3227] = 2534 < 2535; u[ 2535] = 3223 < 3227.
b=0 c=0 v[ 3224]: 2534 2534 2534 2534
Event 7.2. v[ 3253] = 2550 < 2551; u[ 2551] = 3249 < 3253.
b=0 c=0 v[ 3250]: 2550 2550 2550 2550
Event 7.2. v[ 3279] = 2566 < 2567; u[ 2567] = 3275 < 3279.
b=0 c=0 v[ 3276]: 2566 2566 2566 2566
Event 7.2. v[ 3467] = 2742 < 2743; u[ 2743] = 3463 < 3467.
b=0 c=0 v[ 3464]: 2742 2742 2742 2742
Event 7.2. v[ 3493] = 2758 < 2759; u[ 2759] = 3489 < 3493.
b=0 c=0 v[ 3490]: 2758 2758 2758 2758
Event 7.2. v[ 3761] = 2998 < 2999; u[ 2999] = 3757 < 3761.
b=0 c=0 v[ 3758]: 2998 2998 2998 2998
Event 7.2. v[ 3883] = 3110 < 3111; u[ 3111] = 3879 < 3883.
b=0 c=0 v[ 3880]: 3110 3110 3110 3110
Event 7.2. v[ 3909] = 3126 < 3127; u[ 3127] = 3905 < 3909.
b=0 c=0 v[ 3906]: 3126 3126 3126 3126
Event 7.2. v[ 3935] = 3142 < 3143; u[ 3143] = 3931 < 3935.
b=0 c=0 v[ 3932]: 3142 3142 3142 3142
Event 7.2. v[ 3986] = 3174 < 3175; u[ 3175] = 3982 < 3986.
b=0 c=0 v[ 3983]: 3174 3174 3174 3174
Event 7.2. v[ 4012] = 3190 < 3191; u[ 3191] = 4008 < 4012.
b=0 c=0 v[ 4009]: 3190 3190 3190 3190
Event 7.2. v[ 4136] = 3318 < 3319; u[ 3319] = 4132 < 4136.
b=0 c=0 v[ 4133]: 3318 3318 3318 3318
Event 7.2. v[ 197083] = 179398 < 179399; u[ 179399] = 197079 < 197083.
b=0 c=0 v[ 197080]: 179398 179398 179398 179398
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 73032 73032 0 0 -1
-2 31973 45514 0 0 -2
-3 1791 3184 0 0 -3
-4 84 229 0 0 -4
-5 0 1 0 0 -5
-6 0 0 0 0 -6
Totals / Min / Under -25:
106880 121960 0 0
4 5 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 395691 0 14 20
0 -79 0 -59 0 -39 0 -19 6901 1 14 21
0 -78 0 -58 0 -38 0 -18 68675 2 14 22
0 -77 0 -57 0 -37 0 -17 71078 3 14 23
0 -76 0 -56 0 -36 0 -16 5719 4 14 24
0 -75 0 -55 0 -35 0 -15 934 5 14 25
0 -74 0 -54 0 -34 0 -14 223 6 14 26
0 -73 0 -53 0 -33 0 -13 22 7 14 27
0 -72 0 -52 0 -32 0 -12 16 8 14 28
0 -71 0 -51 0 -31 0 -11 15 9 14 29
0 -70 0 -50 0 -30 0 -10 15 10 14 30
0 -69 0 -49 0 -29 0 -9 15 11 14 31
0 -68 0 -48 0 -28 0 -8 15 12 14 32
0 -67 0 -47 0 -27 0 -7 14 13 14 33
0 -66 0 -46 0 -26 0 -6 14 14 14 34
0 -65 0 -45 0 -25 1 -5 14 15 14 35
0 -64 0 -44 0 -24 313 -4 14 16 14 36
0 -63 0 -43 0 -23 4975 -3 14 17 14 37
0 -62 0 -42 0 -22 77487 -2 14 18 14 38
0 -61 0 -41 0 -21 146064 -1 14 19 14 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 | o
140000 | oo
120000 | oo
100000 | oo
80000 | oo
60000 | ooo oo
40000 | ooo oo
20000 | ooo oo
0 |_________._________.____ooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 781872. Min thru -81 = 0.
Type = RR|CC1. Minimum = -5. -80 thru -1 = 228840.
Behav = Relaxed. Maximum = 944. 0 thru 39 = 549697.
histend K = 200000. 40 thru Max = 3335.
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 8 0 15 20
0 -79 0 -59 0 -39 0 -19 2190 1 15 21
0 -78 0 -58 0 -38 0 -18 70744 2 15 22
0 -77 0 -57 0 -37 0 -17 141182 3 15 23
0 -76 0 -56 0 -36 0 -16 104314 4 15 24
0 -75 0 -55 0 -35 0 -15 53016 5 15 25
0 -74 0 -54 0 -34 0 -14 5665 6 15 26
0 -73 0 -53 0 -33 0 -13 792 7 15 27
0 -72 0 -52 0 -32 0 -12 110 8 15 28
0 -71 0 -51 0 -31 0 -11 57 9 15 29
0 -70 0 -50 0 -30 0 -10 27 10 15 30
0 -69 0 -49 0 -29 0 -9 17 11 15 31
0 -68 0 -48 0 -28 0 -8 17 12 15 32
0 -67 0 -47 0 -27 0 -7 16 13 15 33
0 -66 0 -46 0 -26 0 -6 15 14 15 34
0 -65 0 -45 0 -25 0 -5 15 15 15 35
0 -64 0 -44 0 -24 0 -4 15 16 15 36
0 -63 0 -43 0 -23 0 -3 15 17 15 37
0 -62 0 -42 0 -22 0 -2 15 18 15 38
0 -61 0 -41 0 -21 0 -1 15 19 15 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | | o
130000 | | o
120000 | | o
110000 | | o
100000 | | oo
90000 | | oo
80000 | | oo
70000 | | ooo
60000 | | ooo
50000 | | oooo
40000 | | oooo
30000 | | oooo
20000 | | oooo
10000 | | oooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 399990. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 18123. 0 thru 39 = 378545.
histend K = 200000. 40 thru Max = 21445.
End analysis of Test T720 at 00:07:26.916 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:07:27.033 980617
End execution of Test T800 at 00:07:27.123 980617
Duration 0.090
Start analysis of Test T800 at 00:07:27.310 980617
Thread start, stop, and dur times.
0.002 0.002 0.000 0.000 0.000 0.000 0.000 0.000
0.090 0.090 0.000 0.000 0.000 0.000 0.000 0.000
0.088 0.088 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
F2
F
F
F2
F
F
F2
F2
F2
F2
1F
F2
F2
F2
F2
F2
F2
F2
F2
F2
F
F
F
F2
F2
F22
F2
F2
F22
F2
F2
F2
F2
F 2
F2
F2
F2
F2
F
F2
F2
F
F2
F2
F
F
F2
F2
1F
F2
F
F2
F2
F
F2
F2
F2
F
F
F
F
F2
F
F
F
1F
F2
F2
F
2F
2F1
F
F2
F
F2
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 799657 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 = 800. Total = 799657. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 799657.
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 799657 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 6 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | o
720000 | o
680000 | o
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.____o____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 799663. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5. 0 thru 39 = 799663.
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:07:50.469 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:07:50.572 980617
End execution of Test T820 at 00:07:50.657 980617
Duration 0.085
Start analysis of Test T820 at 00:07:50.867 980617
Thread start, stop, and dur times.
0.001 0.001 0.000 0.000 0.000 0.000 0.000 0.000
0.085 0.085 0.000 0.000 0.000 0.000 0.000 0.000
0.084 0.084 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....:....
1F
1F
1F
1F2
1F2
1F
1F2
F
F
1F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F1
F
F
F
F
2F1
F1
F1
2F1
F
F1
F
F
F
2F1
F
F
F1
F
F
F
F
F
F
F
F1
F
1F
1F2
F2
1F2
F2
1F2
F
1F2
1F2
1F
1F
F2
F2
F
F
F
F
F
F
F
1F
F
F
F
2F
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 799758 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 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 |_________._________._________.____o____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799760. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5. 0 thru 39 = 799760.
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 799758 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 4 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,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 799762. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 5. 0 thru 39 = 799762.
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:08:14.110 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.091
Multiplications: 0.272
Divisions: 0.389
Time to perform 1000000 of the following floating operations:
Additions: 0.097
Subtractions: 0.095
Multiplications: 0.096
Divisions: 0.136
================================================================================
Summary of run: 00:08:15.448 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: never
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.091 0.246 T100 1 0
0.108 0.239 T120 0 1
0.163 0.747 T200 2 0
0.222 0.718 T210 1 1
0.242 0.713 T220 0 2
0.061 1.108 T400.1 -10 2 0
T400.2 2 0
0.068 1.179 T410.1 -10 1 1
T410.2 1 1
0.071 1.186 T420.1 -8 0 2
T420.2 0 2
0.078 1.114 T700.1 -7 2 0
T700.2 2 0
0.081 1.161 T710.1 -6 1 1
T710.2 1 1
0.090 1.157 T720.1 -5 0 2
T720.2 0 2
0.090 23.159 T800 1 0
0.085 23.243 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.