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: