ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
17:28:19.406 980623
Parameters initialized from file: reilly.
An Intergraph TD400, two 200 MHz Pentium Pro processors
running Windows NT 4.0, 1381.
Thanks to Jim Reilly at Aqua Process Corp., jim@aquaprocess.com.
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) [500000]: 500000
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: a2222200.out.
Number of threads: 2.
Length of the arrays: 500000.
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 17:28:34.906 980623
End execution of Test T100 at 17:28:35.406 980623
Duration 0.500
Start analysis of Test T100 at 17:28:35.406 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.078 0.078 0.000 0.000 0.000 0.000 0.000 0.000
0.078 0.078 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 55574 0 0 0
49998 126192 0 0 0
74997 191040 0 0 0
99996 262248 0 0 0
124995 334564 0 0 0
149994 403899 0 0 0
174993 470335 0 0 0
199992 539967 0 0 0
224991 608188 0 0 0
249990 677078 0 0 0
274989 745481 0 0 0
299988 797157 0 0 0
324987 865326 0 0 0
349986 931724 0 0 0
374985 999999 0 0 0
399984 999999 0 0 0
424983 999999 0 0 0
449982 999999 0 0 0
474981 999999 0 0 0
499980 999999 0 0 0
dim = 80, max = 1000000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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 403199 0
1 0 8604
2 1 1414
3 0 36352
4 161 31081
5 25521 7338
6 1171 9782
7 1055 896
8 13739 52
9 7012 2
10 1546 0
11 1237 2
12 1505 4
13 14960 13
14 11654 73
15 14571 463
16 827 357
17 484 281
18 472 11
19 142 9
over 68 65
End analysis of Test T100 at 17:28:35.671 980623
==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 17:28:36.000 980623
End execution of Test T120 at 17:28:36.500 980623
Duration 0.500
Start analysis of Test T120 at 17:28:36.953 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.093 0.093 0.000 0.000 0.000 0.000 0.000 0.000
0.093 0.093 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 41886 0 0 0
49998 88078 0 0 0
74997 135873 0 0 0
99996 181503 0 0 0
124995 228083 0 0 0
149994 275704 0 0 0
174993 322642 0 0 0
199992 369352 0 0 0
224991 416490 0 0 0
249990 463790 0 0 0
274989 511362 0 0 0
299988 558831 0 0 0
324987 605285 0 0 0
349986 652862 0 0 0
374985 701944 0 0 0
399984 749691 0 0 0
424983 797452 0 0 0
449982 846350 0 0 0
474981 896183 0 0 0
499980 944818 0 0 0
dim = 80, max = 944856, 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
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 372407 0
1 0 4632
2 0 841
3 93 48882
4 43457 32010
5 1522 34383
6 15715 5529
7 10891 829
8 984 6
9 266 0
10 30403 0
11 17954 0
12 4630 0
13 954 0
14 192 2
15 66 27
16 417 405
17 1 42
18 0 1
19 15 0
over 8 2
End analysis of Test T120 at 17:28:37.218 980623
==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 17:28:37.562 980623
End execution of Test T200 at 17:28:38.062 980623
Duration 0.500
Start analysis of Test T200 at 17:28:38.062 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.219 0.250 0.000 0.000 0.000 0.000 0.000 0.000
0.219 0.250 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 158151 158154 0 0
49998 333412 333415 0 0
74997 508409 508415 0 0
99996 674452 674455 0 0
124995 847580 847586 0 0
149994 1019060 1019064 0 0
174993 1200927 1200927 0 0
199992 1374707 1374717 0 0
224991 1499999 1499999 0 0
249990 1499999 1499999 0 0
274989 1499999 1499999 0 0
299988 1499999 1499999 0 0
324987 1499999 1499999 0 0
349986 1499999 1499999 0 0
374985 1499999 1499999 0 0
399984 1499999 1499999 0 0
424983 1499999 1499999 0 0
449982 1499999 1499999 0 0
474981 1499999 1499999 0 0
499980 1499999 1499999 0 0
dim = 80, max = 1500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
333333333333333333333333333333333333333333333
3
3
3
3
3
3
3
3
3
3
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 656860 0
1 2000 250719
2 2 92405
3 2 0
4 444 2
5 1383 0
6 11340 0
7 158527 3
8 21943 1
9 79750 0
10 4083 2
11 17719 0
12 2475 0
13 11995 0
14 13657 0
15 5802 0
16 1356 0
17 5923 0
18 4185 0
19 293 0
over 86 4
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 985292 0 186 20
0 -79 0 -59 0 -39 0 -19 389689 1 47 21
0 -78 0 -58 0 -38 0 -18 4 2 0 22
0 -77 0 -57 0 -37 0 -17 6622 3 10 23
0 -76 0 -56 0 -36 0 -16 138486 4 0 24
0 -75 0 -55 0 -35 0 -15 19336 5 0 25
0 -74 0 -54 0 -34 0 -14 56045 6 1 26
0 -73 0 -53 0 -33 0 -13 209815 7 0 27
0 -72 0 -52 0 -32 0 -12 26479 8 0 28
0 -71 0 -51 0 -31 0 -11 81725 9 0 29
0 -70 0 -50 0 -30 0 -10 4403 10 0 30
0 -69 0 -49 0 -29 0 -9 18454 11 0 31
0 -68 0 -48 0 -28 0 -8 2663 12 0 32
0 -67 0 -47 0 -27 0 -7 16917 13 0 33
0 -66 0 -46 0 -26 0 -6 20487 14 0 34
0 -65 0 -45 0 -25 0 -5 9223 15 0 35
0 -64 0 -44 0 -24 0 -4 2018 16 0 36
0 -63 0 -43 0 -23 0 -3 7035 17 0 37
0 -62 0 -42 0 -22 0 -2 4716 18 0 38
0 -61 0 -41 0 -21 0 -1 297 19 0 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | oo
300000 | oo
250000 | oo
200000 | oo o
150000 | oo o
100000 | oo o o
50000 | oo o oo o
0 |_________._________._________.ooooooooooooooooooooo_o__o___._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 200. Total = 1999992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1449. 0 thru 39 = 1999950.
histend K = 500000. 40 thru Max = 42.
End analysis of Test T200 at 17:28:38.812 980623
==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 17:28:39.140 980623
End execution of Test T210 at 17:28:39.640 980623
Duration 0.500
Start analysis of Test T210 at 17:28:39.843 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.266 0.297 0.000 0.000 0.000 0.000 0.000 0.000
0.266 0.297 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 126113 126119 0 0
49998 271892 271891 0 0
74997 408405 408407 0 0
99996 545819 545818 0 0
124995 684782 684787 0 0
149994 831881 831880 0 0
174993 966257 966257 0 0
199992 1107368 1107370 0 0
224991 1247858 1247860 0 0
249990 1390245 1390247 0 0
274989 1499999 1499999 0 0
299988 1499999 1499999 0 0
324987 1499999 1499999 0 0
349986 1499999 1499999 0 0
374985 1499999 1499999 0 0
399984 1499999 1499999 0 0
424983 1499999 1499999 0 0
449982 1499999 1499999 0 0
474981 1499999 1499999 0 0
499980 1499999 1499999 0 0
dim = 80, max = 1500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3333333333333333333333333333333333333
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 580403 0
1 2813 301428
2 0 118153
3 108 0
4 461 0
5 100902 0
6 101153 1
7 129822 1
8 7420 2
9 11437 1
10 10800 1
11 7149 0
12 26794 0
13 5727 0
14 9261 0
15 2967 0
16 2597 0
17 89 0
18 27 0
19 20 0
over 44 6
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 870607 0 4 20
0 -79 0 -59 0 -39 0 -19 369135 1 1 21
0 -78 0 -58 0 -38 0 -18 0 2 1 22
0 -77 0 -57 0 -37 0 -17 170797 3 0 23
0 -76 0 -56 0 -36 0 -16 9750 4 2 24
0 -75 0 -55 0 -35 0 -15 168422 5 4 25
0 -74 0 -54 0 -34 0 -14 157851 6 2 26
0 -73 0 -53 0 -33 0 -13 144981 7 0 27
0 -72 0 -52 0 -32 0 -12 7889 8 0 28
0 -71 0 -51 0 -31 0 -11 12094 9 1 29
0 -70 0 -50 0 -30 0 -10 11505 10 0 30
0 -69 0 -49 0 -29 0 -9 8300 11 0 31
0 -68 0 -48 0 -28 0 -8 42305 12 0 32
0 -67 0 -47 0 -27 0 -7 8245 13 0 33
0 -66 0 -46 0 -26 0 -6 10224 14 0 34
0 -65 0 -45 0 -25 0 -5 3938 15 0 35
0 -64 0 -44 0 -24 0 -4 3719 16 0 36
0 -63 0 -43 0 -23 0 -3 102 17 0 37
0 -62 0 -42 0 -22 0 -2 33 18 0 38
0 -61 0 -41 0 -21 0 -1 29 19 0 39
------ Relaxed ------ | ------ Strong ------
950000 | |
900000 | |
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | oo
300000 | oo
250000 | oo
200000 | oo
150000 | oo o oo
100000 | oo o ooo
50000 | oo o ooo
0 |_________._________._________.o_oooooooooooooooooooo_ooo__o._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 210. Total = 1999992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 845. 0 thru 39 = 1999941.
histend K = 500000. 40 thru Max = 51.
End analysis of Test T210 at 17:28:40.625 980623
==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 17:28:40.953 980623
End execution of Test T220 at 17:28:41.453 980623
Duration 0.500
Start analysis of Test T220 at 17:28:41.906 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.265 0.297 0.000 0.000 0.000 0.000 0.000 0.000
0.265 0.297 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 122972 122977 0 0
49998 242947 242946 0 0
74997 367224 367226 0 0
99996 489615 489614 0 0
124995 610025 610030 0 0
149994 733203 733202 0 0
174993 854462 854473 0 0
199992 978051 978053 0 0
224991 1107499 1107505 0 0
249990 1229057 1229056 0 0
274989 1353610 1353616 0 0
299988 1470696 1470698 0 0
324987 1499999 1499999 0 0
349986 1499999 1499999 0 0
374985 1499999 1499999 0 0
399984 1499999 1499999 0 0
424983 1499999 1499999 0 0
449982 1499999 1499999 0 0
474981 1499999 1499999 0 0
499980 1499999 1499999 0 0
dim = 80, max = 1500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33333333333333333333333333333333
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 600347 0
1 5097 193716
2 13 205803
3 122 0
4 962 27
5 66188 70
6 85103 10
7 155819 7
8 2617 1
9 12962 1
10 4635 2
11 5962 0
12 38267 2
13 7721 0
14 3156 1
15 5317 1
16 5174 0
17 337 0
18 119 0
19 16 0
over 50 8
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 900533 0 12 20
0 -79 0 -59 0 -39 0 -19 425197 1 5 21
0 -78 0 -58 0 -38 0 -18 26 2 5 22
0 -77 0 -57 0 -37 0 -17 105197 3 3 23
0 -76 0 -56 0 -36 0 -16 12539 4 1 24
0 -75 0 -55 0 -35 0 -15 98273 5 0 25
0 -74 0 -54 0 -34 0 -14 129364 6 0 26
0 -73 0 -53 0 -33 0 -13 211083 7 0 27
0 -72 0 -52 0 -32 0 -12 3312 8 0 28
0 -71 0 -51 0 -31 0 -11 13578 9 0 29
0 -70 0 -50 0 -30 0 -10 5183 10 0 30
0 -69 0 -49 0 -29 0 -9 8965 11 0 31
0 -68 0 -48 0 -28 0 -8 56878 12 0 32
0 -67 0 -47 0 -27 0 -7 10486 13 0 33
0 -66 0 -46 0 -26 0 -6 3795 14 0 34
0 -65 0 -45 0 -25 0 -5 7318 15 0 35
0 -64 0 -44 0 -24 0 -4 7604 16 0 36
0 -63 0 -43 0 -23 0 -3 418 17 0 37
0 -62 0 -42 0 -22 0 -2 143 18 0 38
0 -61 0 -41 0 -21 0 -1 20 19 0 39
------ Relaxed ------ | ------ Strong ------
950000 | |
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | oo
350000 | oo
300000 | oo
250000 | oo
200000 | oo o
150000 | oo o
100000 | oo o oo
50000 | oo o ooo o
0 |_________._________._________.oooooooooooooooooooooooo_____._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 220. Total = 1999992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6258. 0 thru 39 = 1999938.
histend K = 500000. 40 thru Max = 54.
End analysis of Test T220 at 17:28:42.687 980623
==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 17:28:43.031 980623
End execution of Test T400 at 17:28:43.531 980623
Duration 0.500
Start analysis of Test T400 at 17:28:43.546 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.156 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.156 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 66 0 0
24999 23378 26468 0 0
49998 50218 49800 0 0
74997 76584 73493 0 0
99996 102799 97228 0 0
124995 129154 121096 0 0
149994 155045 145128 0 0
174993 181112 169146 0 0
199992 207386 192934 0 0
224991 232746 217744 0 0
249990 259005 241238 0 0
274989 285185 265360 0 0
299988 313536 288424 0 0
324987 340432 310890 0 0
349986 367047 333956 0 0
374985 393272 357556 0 0
399984 422220 381388 0 0
424983 448341 402327 0 0
449982 475546 426574 0 0
474981 499999 449512 0 0
499980 499999 472832 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
111111
1
1
1 2
1 2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
22
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
12
12
12
12
12
12
12
12
12
12
12
12
32
3
3
2
21
21
21
21
21
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 815356 0
1 5325 978
2 8397 44360
3 27901 12060
4 30171 9011
5 62873 39553
6 17940 33430
7 6069 13440
8 5115 11080
9 1186 5796
10 12348 7911
11 487 1719
12 2008 1174
13 480 1836
14 2630 1060
15 1404 1000
16 68 48
17 15 57
18 122 15
19 68 72
over 14 40
d = -20.
Event 4.1. u[ 6262] = 5048 < 5049; v[ 5049] = 6242 < 6262.
b=2 c=1 u[ 6243]: 5046 5046 5046 5046 5046 5048 5048
5048 5048 5048 5048 5048 5048 5048
5048 5048 5048 5048 5048 5048
Event 4.1. u[ 12910] = 10496 < 10497; v[ 10497] = 12890 < 12910.
b=2 c=1 u[ 12891]: 10494 10494 10494 10494 10494 10496 10496
10496 10496 10496 10496 10496 10496 10496
10496 10496 10496 10496 10496 10496
Event 4.1. u[ 53155] = 53552 < 53553; v[ 53553] = 53135 < 53155.
b=0 c=0 u[ 53136]: 53552 53552 53552 53552 53552 53552 53552
53552 53552 53552 53552 53552 53552 53552
53552 53552 53552 53552 53552 53552
Event 4.1. u[ 407390] = 430040 < 430041; v[ 430041] = 407370 < 407390.
b=1 c=1 u[ 407371]: 430039 430039 430039 430039 430039 430040 430040
430040 430040 430040 430040 430040 430040 430040
430040 430040 430040 430040 430040 430040
d = -19.
Event 4.1. u[ 5682] = 4664 < 4665; v[ 4665] = 5663 < 5682.
b=0 c=0 u[ 5664]: 4664 4664 4664 4664 4664 4664 4664
4664 4664 4664 4664 4664 4664 4664
4664 4664 4664 4664 4664
Event 4.1. u[ 5827] = 4744 < 4745; v[ 4745] = 5808 < 5827.
b=0 c=0 u[ 5809]: 4744 4744 4744 4744 4744 4744 4744
4744 4744 4744 4744 4744 4744 4744
4744 4744 4744 4744 4744
Event 4.1. u[ 6261] = 5048 < 5049; v[ 5049] = 6242 < 6261.
b=2 c=1 u[ 6243]: 5046 5046 5046 5046 5046 5048 5048
5048 5048 5048 5048 5048 5048 5048
5048 5048 5048 5048 5048
Event 4.1. u[ 10790] = 8912 < 8913; v[ 8913] = 10771 < 10790.
b=1 c=1 u[ 10772]: 8911 8911 8911 8911 8912 8912 8912
8912 8912 8912 8912 8912 8912 8912
8912 8912 8912 8912 8912
Event 4.1. u[ 12909] = 10496 < 10497; v[ 10497] = 12890 < 12909.
b=2 c=1 u[ 12891]: 10494 10494 10494 10494 10494 10496 10496
10496 10496 10496 10496 10496 10496 10496
10496 10496 10496 10496 10496
Event 4.1. u[ 13427] = 10856 < 10857; v[ 10857] = 13408 < 13427.
b=0 c=0 u[ 13409]: 10856 10856 10856 10856 10856 10856 10856
10856 10856 10856 10856 10856 10856 10856
10856 10856 10856 10856 10856
Event 4.2. v[ 18410] = 20352 < 20353; u[ 20353] = 18391 < 18410.
b=0 c=0 v[ 18392]: 20352 20352 20352 20352 20352 20352 20352
20352 20352 20352 20352 20352 20352 20352
20352 20352 20352 20352 20352
Event 4.2. v[ 27554] = 28912 < 28913; u[ 28913] = 27535 < 27554.
b=0 c=0 v[ 27536]: 28912 28912 28912 28912 28912 28912 28912
28912 28912 28912 28912 28912 28912 28912
28912 28912 28912 28912 28912
Event 4.1. u[ 40137] = 39776 < 39777; v[ 39777] = 40118 < 40137.
b=0 c=0 u[ 40119]: 39776 39776 39776 39776 39776 39776 39776
39776 39776 39776 39776 39776 39776 39776
39776 39776 39776 39776 39776
Event 4.1. u[ 45034] = 44896 < 44897; v[ 44897] = 45015 < 45034.
b=0 c=0 u[ 45016]: 44896 44896 44896 44896 44896 44896 44896
44896 44896 44896 44896 44896 44896 44896
44896 44896 44896 44896 44896
Event 4.1. u[ 457145] = 483336 < 483337; v[ 483337] = 457126 < 457145.
b=0 c=0 u[ 457127]: 483336 483336 483336 483336 483336 483336 483336
483336 483336 483336 483336 483336 483336 483336
483336 483336 483336 483336 483336
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 67621 67621 0 0 -1
-2 66112 65386 0 0 -2
-3 64175 63261 0 0 -3
-4 59809 59481 0 0 -4
-5 39764 35874 0 0 -5
-6 25562 28658 0 0 -6
-7 17979 23483 0 0 -7
-8 12954 19694 0 0 -8
-9 9790 18091 0 0 -9
-10 4737 8214 0 0 -10
-11 2778 5047 0 0 -11
-12 2403 2993 0 0 -12
-13 2328 1712 0 0 -13
-14 2125 794 0 0 -14
-15 1330 152 0 0 -15
-16 1287 134 0 0 -16
-17 1268 111 0 0 -17
-18 786 46 0 0 -18
-19 25 4 0 0 -19
-20 4 0 0 0 -20
-21 0 0 0 0 -21
Totals / Min / Under -25:
382837 400756 0 0
20 19 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 4 -20 932481 0 34 20
0 -79 0 -59 0 -39 29 -19 37143 1 14 21
0 -78 0 -58 0 -38 832 -18 25423 2 14 22
0 -77 0 -57 0 -37 1379 -17 34038 3 14 23
0 -76 0 -56 0 -36 1421 -16 34282 4 14 24
0 -75 0 -55 0 -35 1482 -15 64495 5 14 25
0 -74 0 -54 0 -34 2919 -14 19133 6 15 26
0 -73 0 -53 0 -33 4040 -13 7107 7 14 27
0 -72 0 -52 0 -32 5396 -12 5991 8 14 28
0 -71 0 -51 0 -31 7825 -11 1350 9 14 29
0 -70 0 -50 0 -30 12951 -10 12464 10 14 30
0 -69 0 -49 0 -29 27881 -9 582 11 14 31
0 -68 0 -48 0 -28 32648 -8 2082 12 13 32
0 -67 0 -47 0 -27 41462 -7 521 13 13 33
0 -66 0 -46 0 -26 54220 -6 2665 14 13 34
0 -65 0 -45 0 -25 75638 -5 1432 15 13 35
0 -64 0 -44 0 -24 119290 -4 90 16 13 36
0 -63 0 -43 0 -23 127436 -3 36 17 13 37
0 -62 0 -42 0 -22 131498 -2 141 18 13 38
0 -61 0 -41 0 -21 135242 -1 85 19 13 39
------ Relaxed ------ | ------ Strong ------
950000 | |
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | ooooo
50000 | ooooooo o
0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 1972845. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -20. -80 thru -1 = 783593.
Behav = Relaxed. Maximum = 3017. 0 thru 39 = 1181834.
histend K = 500000. 40 thru Max = 7418.
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 19222 0 1725 20
0 -79 0 -59 0 -39 0 -19 31818 1 317 21
0 -78 0 -58 0 -38 0 -18 77730 2 200 22
0 -77 0 -57 0 -37 0 -17 87341 3 164 23
0 -76 0 -56 0 -36 0 -16 98745 4 112 24
0 -75 0 -55 0 -35 0 -15 129220 5 24 25
0 -74 0 -54 0 -34 0 -14 121045 6 17 26
0 -73 0 -53 0 -33 0 -13 100945 7 16 27
0 -72 0 -52 0 -32 0 -12 81868 8 15 28
0 -71 0 -51 0 -31 0 -11 68955 9 14 29
0 -70 0 -50 0 -30 0 -10 48275 10 14 30
0 -69 0 -49 0 -29 0 -9 31499 11 14 31
0 -68 0 -48 0 -28 0 -8 14827 12 14 32
0 -67 0 -47 0 -27 0 -7 9722 13 14 33
0 -66 0 -46 0 -26 0 -6 8019 14 14 34
0 -65 0 -45 0 -25 0 -5 8652 15 13 35
0 -64 0 -44 0 -24 0 -4 8092 16 13 36
0 -63 0 -43 0 -23 0 -3 7009 17 13 37
0 -62 0 -42 0 -22 0 -2 5521 18 13 38
0 -61 0 -41 0 -21 0 -1 4110 19 13 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | oo
110000 | | oo
100000 | | ooo
90000 | | oooo
80000 | | oooooo
70000 | | ooooooo
60000 | | oooooooo
50000 | | oooooooo
40000 | | ooooooooo
30000 | |ooooooooooo
20000 | |ooooooooooo
10000 | ooooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 999918. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 27152. 0 thru 39 = 965354.
histend K = 500000. 40 thru Max = 34564.
End analysis of Test T400 at 17:28:44.984 980623
==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 17:28:45.312 980623
End execution of Test T410 at 17:28:45.812 980623
Duration 0.500
Start analysis of Test T410 at 17:28:46.015 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.172 0.000 0.000 0.000 0.000 0.000 0.000
0.156 0.172 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 866 0 0 0
24999 26536 23184 0 0
49998 50096 49866 0 0
74997 73088 77223 0 0
99996 94848 105684 0 0
124995 117272 133456 0 0
149994 139857 161258 0 0
174993 162328 188914 0 0
199992 185032 216470 0 0
224991 207630 244365 0 0
249990 230098 272224 0 0
274989 251570 300733 0 0
299988 274229 325640 0 0
324987 299338 353189 0 0
349986 322137 380530 0 0
374985 344698 407610 0 0
399984 367975 434850 0 0
424983 390403 461304 0 0
449982 414402 487555 0 0
474981 438149 499999 0 0
499980 462105 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222
2
2
2
2
2
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
1
21
21
21
21
21
31
3
3
1
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 794368 0
1 6052 12241
2 15129 44520
3 41016 13997
4 45492 28883
5 54945 40286
6 23163 31498
7 2867 12354
8 3402 7128
9 1910 2544
10 6315 6790
11 750 899
12 1087 1722
13 1348 673
14 841 1189
15 1118 755
16 57 49
17 15 11
18 49 19
19 47 46
over 16 24
d = -20.
Event 4.1. u[ 222915] = 205672 < 205673; v[ 205673] = 222895 < 222915.
b=0 c=0 u[ 222896]: 205672 205672 205672 205672 205672 205672 205672
205672 205672 205672 205672 205672 205672 205672
205672 205672 205672 205672 205672 205672
d = -19.
Event 4.2. v[ 11253] = 9664 < 9665; u[ 9665] = 11234 < 11253.
b=2 c=1 v[ 11235]: 9662 9662 9662 9662 9662 9664 9664
9664 9664 9664 9664 9664 9664 9664
9664 9664 9664 9664 9664
Event 4.2. v[ 17253] = 14632 < 14633; u[ 14633] = 17234 < 17253.
b=2 c=1 v[ 17235]: 14630 14630 14630 14630 14632 14632 14632
14632 14632 14632 14632 14632 14632 14632
14632 14632 14632 14632 14632
Event 4.1. u[ 222914] = 205672 < 205673; v[ 205673] = 222895 < 222914.
b=0 c=0 u[ 222896]: 205672 205672 205672 205672 205672 205672 205672
205672 205672 205672 205672 205672 205672 205672
205672 205672 205672 205672 205672
Event 4.1. u[ 444995] = 409592 < 409593; v[ 409593] = 444976 < 444995.
b=0 c=0 u[ 444977]: 409592 409592 409592 409592 409592 409592 409592
409592 409592 409592 409592 409592 409592 409592
409592 409592 409592 409592 409592
Event 4.1. u[ 468418] = 431752 < 431753; v[ 431753] = 468399 < 468418.
b=0 c=0 u[ 468400]: 431752 431752 431752 431752 431752 431752 431752
431752 431752 431752 431752 431752 431752 431752
431752 431752 431752 431752 431752
Event 4.1. u[ 485651] = 448176 < 448177; v[ 448177] = 485632 < 485651.
b=8 c=2 u[ 485633]: 448168 448168 448175 448175 448175 448175 448175
448176 448176 448176 448176 448176 448176 448176
448176 448176 448176 448176 448176
Event 4.1. u[ 487475] = 449896 < 449897; v[ 449897] = 487456 < 487475.
b=8 c=2 u[ 487457]: 449888 449888 449895 449895 449895 449895 449895
449896 449896 449896 449896 449896 449896 449896
449896 449896 449896 449896 449896
Event 4.1. u[ 494259] = 456496 < 456497; v[ 456497] = 494240 < 494259.
b=8 c=2 u[ 494241]: 456488 456488 456495 456495 456495 456495 456495
456496 456496 456496 456496 456496 456496 456496
456496 456496 456496 456496 456496
Event 4.1. u[ 494755] = 456944 < 456945; v[ 456945] = 494736 < 494755.
b=8 c=2 u[ 494737]: 456936 456936 456943 456943 456943 456943 456943
456944 456944 456944 456944 456944 456944 456944
456944 456944 456944 456944 456944
Event 4.1. u[ 495483] = 457608 < 457609; v[ 457609] = 495464 < 495483.
b=8 c=2 u[ 495465]: 457600 457600 457607 457607 457607 457607 457607
457608 457608 457608 457608 457608 457608 457608
457608 457608 457608 457608 457608
Event 4.1. u[ 496443] = 458488 < 458489; v[ 458489] = 496424 < 496443.
b=8 c=2 u[ 496425]: 458480 458480 458487 458487 458487 458487 458487
458488 458488 458488 458488 458488 458488 458488
458488 458488 458488 458488 458488
Event 4.1. u[ 496827] = 458808 < 458809; v[ 458809] = 496808 < 496827.
b=8 c=2 u[ 496809]: 458800 458800 458807 458807 458807 458807 458807
458808 458808 458808 458808 458808 458808 458808
458808 458808 458808 458808 458808
Event 4.1. u[ 498171] = 460152 < 460153; v[ 460153] = 498152 < 498171.
b=8 c=2 u[ 498153]: 460144 460144 460151 460151 460151 460151 460151
460152 460152 460152 460152 460152 460152 460152
460152 460152 460152 460152 460152
d = -18.
Event 4.1. u[ 1260] = 2440 < 2441; v[ 2441] = 1242 < 1260.
b=2 c=1 u[ 1243]: 2438 2438 2438 2438 2438 2440 2440
2440 2440 2440 2440 2440 2440 2440
2440 2440 2440 2440
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 72223 72223 0 0 -1
-2 76036 66275 0 0 -2
-3 77100 62651 0 0 -3
-4 64455 41624 0 0 -4
-5 36869 33284 0 0 -5
-6 17455 29465 0 0 -6
-7 11690 23808 0 0 -7
-8 9195 20007 0 0 -8
-9 8252 11283 0 0 -9
-10 5163 4365 0 0 -10
-11 3670 3370 0 0 -11
-12 2659 3055 0 0 -12
-13 2215 2956 0 0 -13
-14 1491 346 0 0 -14
-15 255 333 0 0 -15
-16 220 144 0 0 -16
-17 208 76 0 0 -17
-18 161 3 0 0 -18
-19 11 2 0 0 -19
-20 1 0 0 0 -20
-21 0 0 0 0 -21
Totals / Min / Under -25:
389329 375270 0 0
20 19 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 1 -20 916503 0 26 20
0 -79 0 -59 0 -39 13 -19 37873 1 18 21
0 -78 0 -58 0 -38 164 -18 30940 2 17 22
0 -77 0 -57 0 -37 284 -17 47286 3 17 23
0 -76 0 -56 0 -36 364 -16 51142 4 16 24
0 -75 0 -55 0 -35 588 -15 57639 5 16 25
0 -74 0 -54 0 -34 1837 -14 25248 6 16 26
0 -73 0 -53 0 -33 5171 -13 4492 7 16 27
0 -72 0 -52 0 -32 5714 -12 3671 8 16 28
0 -71 0 -51 0 -31 7040 -11 2079 9 16 29
0 -70 0 -50 0 -30 9528 -10 6391 10 14 30
0 -69 0 -49 0 -29 19535 -9 820 11 14 31
0 -68 0 -48 0 -28 29202 -8 1141 12 14 32
0 -67 0 -47 0 -27 35498 -7 1386 13 14 33
0 -66 0 -46 0 -26 46920 -6 873 14 14 34
0 -65 0 -45 0 -25 70153 -5 1139 15 14 35
0 -64 0 -44 0 -24 106079 -4 76 16 14 36
0 -63 0 -43 0 -23 139751 -3 33 17 13 37
0 -62 0 -42 0 -22 142311 -2 66 18 13 38
0 -61 0 -41 0 -21 144446 -1 64 19 13 39
------ Relaxed ------ | ------ Strong ------
950000 | |
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | ooooo
50000 | oooooo oo
0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 1962127. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -20. -80 thru -1 = 764599.
Behav = Relaxed. Maximum = 2957. 0 thru 39 = 1189173.
histend K = 500000. 40 thru Max = 8355.
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 13927 0 1289 20
0 -79 0 -59 0 -39 0 -19 31821 1 111 21
0 -78 0 -58 0 -38 0 -18 77064 2 101 22
0 -77 0 -57 0 -37 0 -17 88598 3 91 23
0 -76 0 -56 0 -36 0 -16 125852 4 75 24
0 -75 0 -55 0 -35 0 -15 140800 5 23 25
0 -74 0 -54 0 -34 0 -14 127969 6 18 26
0 -73 0 -53 0 -33 0 -13 103772 7 17 27
0 -72 0 -52 0 -32 0 -12 76215 8 17 28
0 -71 0 -51 0 -31 0 -11 57138 9 17 29
0 -70 0 -50 0 -30 0 -10 33704 10 17 30
0 -69 0 -49 0 -29 0 -9 19182 11 16 31
0 -68 0 -48 0 -28 0 -8 12241 12 15 32
0 -67 0 -47 0 -27 0 -7 11153 13 14 33
0 -66 0 -46 0 -26 0 -6 6455 14 14 34
0 -65 0 -45 0 -25 0 -5 7265 15 14 35
0 -64 0 -44 0 -24 0 -4 6916 16 14 36
0 -63 0 -43 0 -23 0 -3 6449 17 14 37
0 -62 0 -42 0 -22 0 -2 3081 18 14 38
0 -61 0 -41 0 -21 0 -1 2209 19 13 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | | o
130000 | | o
120000 | | ooo
110000 | | ooo
100000 | | oooo
90000 | | oooo
80000 | | ooooo
70000 | | ooooooo
60000 | | ooooooo
50000 | | oooooooo
40000 | | oooooooo
30000 | |oooooooooo
20000 | |oooooooooo
10000 | oooooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 999117. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 37868. 0 thru 39 = 953715.
histend K = 500000. 40 thru Max = 45402.
End analysis of Test T410 at 17:28:47.468 980623
==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 17:28:47.796 980623
End execution of Test T420 at 17:28:48.296 980623
Duration 0.500
Start analysis of Test T420 at 17:28:48.750 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.172 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.172 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 920 0 0 0
24999 25839 24039 0 0
49998 49398 50587 0 0
74997 74508 75504 0 0
99996 97565 102596 0 0
124995 120477 129923 0 0
149994 144233 156151 0 0
174993 168064 182520 0 0
199992 191480 209374 0 0
224991 214704 235944 0 0
249990 238082 262403 0 0
274989 262266 288448 0 0
299988 285820 315274 0 0
324987 308836 339954 0 0
349986 333968 367426 0 0
374985 357066 393734 0 0
399984 381031 419730 0 0
424983 404824 445995 0 0
449982 428683 479871 0 0
474981 445004 499999 0 0
499980 467416 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222222
2
2
2 1
2 1
2 11
2 11
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2
11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
21
31
3
2
21
31
3
3
1
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 785831 0
1 7240 7032
2 21386 41630
3 27618 23507
4 85139 60342
5 38916 35599
6 15654 22443
7 2033 5847
8 2136 4894
9 4181 2713
10 4569 2384
11 3069 1849
12 741 2213
13 285 1614
14 591 1534
15 34 212
16 39 188
17 425 56
18 3 58
19 51 24
over 27 26
d = -19.
Event 4.1. u[ 201315] = 192640 < 192641; v[ 192641] = 201296 < 201315.
b=11 c=2 u[ 201297]: 192629 192638 192638 192638 192638 192638 192638
192640 192640 192640 192640 192640 192640 192640
192640 192640 192640 192640 192640
Event 4.2. v[ 239760] = 251760 < 251761; u[ 251761] = 239741 < 239760.
b=0 c=0 v[ 239742]: 251760 251760 251760 251760 251760 251760 251760
251760 251760 251760 251760 251760 251760 251760
251760 251760 251760 251760 251760
Event 4.2. v[ 406384] = 426632 < 426633; u[ 426633] = 406365 < 406384.
b=0 c=0 v[ 406366]: 426632 426632 426632 426632 426632 426632 426632
426632 426632 426632 426632 426632 426632 426632
426632 426632 426632 426632 426632
d = -18.
Event 4.1. u[ 10185] = 13112 < 13113; v[ 13113] = 10167 < 10185.
b=0 c=0 u[ 10168]: 13112 13112 13112 13112 13112 13112 13112
13112 13112 13112 13112 13112 13112 13112
13112 13112 13112 13112
Event 4.1. u[ 71465] = 71088 < 71089; v[ 71089] = 71447 < 71465.
b=0 c=0 u[ 71448]: 71088 71088 71088 71088 71088 71088 71088
71088 71088 71088 71088 71088 71088 71088
71088 71088 71088 71088
Event 4.1. u[ 105457] = 102528 < 102529; v[ 102529] = 105439 < 105457.
b=0 c=0 u[ 105440]: 102528 102528 102528 102528 102528 102528 102528
102528 102528 102528 102528 102528 102528 102528
102528 102528 102528 102528
Event 4.1. u[ 126777] = 122072 < 122073; v[ 122073] = 126759 < 126777.
b=0 c=0 u[ 126760]: 122072 122072 122072 122072 122072 122072 122072
122072 122072 122072 122072 122072 122072 122072
122072 122072 122072 122072
Event 4.1. u[ 173961] = 167064 < 167065; v[ 167065] = 173943 < 173961.
b=0 c=0 u[ 173944]: 167064 167064 167064 167064 167064 167064 167064
167064 167064 167064 167064 167064 167064 167064
167064 167064 167064 167064
Event 4.2. v[ 192697] = 201352 < 201353; u[ 201353] = 192679 < 192697.
b=0 c=0 v[ 192680]: 201352 201352 201352 201352 201352 201352 201352
201352 201352 201352 201352 201352 201352 201352
201352 201352 201352 201352
Event 4.1. u[ 201314] = 192640 < 192641; v[ 192641] = 201296 < 201314.
b=11 c=2 u[ 201297]: 192629 192638 192638 192638 192638 192638 192638
192640 192640 192640 192640 192640 192640 192640
192640 192640 192640 192640
Event 4.1. u[ 215657] = 206080 < 206081; v[ 206081] = 215639 < 215657.
b=0 c=0 u[ 215640]: 206080 206080 206080 206080 206080 206080 206080
206080 206080 206080 206080 206080 206080 206080
206080 206080 206080 206080
Event 4.2. v[ 239759] = 251760 < 251761; u[ 251761] = 239741 < 239759.
b=0 c=0 v[ 239742]: 251760 251760 251760 251760 251760 251760 251760
251760 251760 251760 251760 251760 251760 251760
251760 251760 251760 251760
Event 4.2. v[ 266265] = 279184 < 279185; u[ 279185] = 266247 < 266265.
b=0 c=0 v[ 266248]: 279184 279184 279184 279184 279184 279184 279184
279184 279184 279184 279184 279184 279184 279184
279184 279184 279184 279184
Event 4.2. v[ 319745] = 334472 < 334473; u[ 334473] = 319727 < 319745.
b=0 c=0 v[ 319728]: 334472 334472 334472 334472 334472 334472 334472
334472 334472 334472 334472 334472 334472 334472
334472 334472 334472 334472
Event 4.2. v[ 463329] = 496264 < 496265; u[ 496265] = 463311 < 463329.
b=0 c=0 v[ 463312]: 496264 496264 496264 496264 496264 496264 496264
496264 496264 496264 496264 496264 496264 496264
496264 496264 496264 496264
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 95597 95597 0 0 -1
-2 80342 78230 0 0 -2
-3 67120 70559 0 0 -3
-4 33951 32025 0 0 -4
-5 15755 15438 0 0 -5
-6 9250 7817 0 0 -6
-7 7950 6876 0 0 -7
-8 6870 6097 0 0 -8
-9 5508 4309 0 0 -9
-10 5057 3504 0 0 -10
-11 4023 2257 0 0 -11
-12 2978 1405 0 0 -12
-13 1790 1069 0 0 -13
-14 386 304 0 0 -14
-15 319 169 0 0 -15
-16 142 92 0 0 -16
-17 106 38 0 0 -17
-18 17 8 0 0 -18
-19 1 2 0 0 -19
-20 0 0 0 0 -20
Totals / Min / Under -25:
337162 325796 0 0
19 19 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 957519 0 51 20
0 -79 0 -59 0 -39 3 -19 46092 1 27 21
0 -78 0 -58 0 -38 25 -18 54707 2 23 22
0 -77 0 -57 0 -37 144 -17 39545 3 23 23
0 -76 0 -56 0 -36 234 -16 94446 4 22 24
0 -75 0 -55 0 -35 488 -15 44310 5 22 25
0 -74 0 -54 0 -34 690 -14 18990 6 22 26
0 -73 0 -53 0 -33 2859 -13 3430 7 21 27
0 -72 0 -52 0 -32 4383 -12 3238 8 21 28
0 -71 0 -51 0 -31 6280 -11 4902 9 22 29
0 -70 0 -50 0 -30 8561 -10 5157 10 21 30
0 -69 0 -49 0 -29 9817 -9 3623 11 21 31
0 -68 0 -48 0 -28 12967 -8 993 12 21 32
0 -67 0 -47 0 -27 14826 -7 403 13 21 33
0 -66 0 -46 0 -26 17067 -6 655 14 21 34
0 -65 0 -45 0 -25 31193 -5 65 15 20 35
0 -64 0 -44 0 -24 65976 -4 67 16 20 36
0 -63 0 -43 0 -23 137679 -3 448 17 20 37
0 -62 0 -42 0 -22 158572 -2 26 18 21 38
0 -61 0 -41 0 -21 191194 -1 74 19 20 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o