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
350000 | o
300000 | o
250000 | o
200000 | o
150000 | ooo
100000 | oooo
50000 | ooooo o o
0 |_________.ooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 1967430. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -19. -80 thru -1 = 662958.
Behav = Relaxed. Maximum = 7882. 0 thru 39 = 1279150.
histend K = 500000. 40 thru Max = 25322.
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 13388 0 215 20
0 -79 0 -59 0 -39 0 -19 38852 1 155 21
0 -78 0 -58 0 -38 0 -18 70777 2 118 22
0 -77 0 -57 0 -37 0 -17 90771 3 46 23
0 -76 0 -56 0 -36 0 -16 148088 4 25 24
0 -75 0 -55 0 -35 0 -15 153233 5 21 25
0 -74 0 -54 0 -34 0 -14 135719 6 21 26
0 -73 0 -53 0 -33 0 -13 117137 7 20 27
0 -72 0 -52 0 -32 0 -12 52679 8 20 28
0 -71 0 -51 0 -31 0 -11 30631 9 19 29
0 -70 0 -50 0 -30 0 -10 19637 10 19 30
0 -69 0 -49 0 -29 0 -9 15566 11 18 31
0 -68 0 -48 0 -28 0 -8 13162 12 18 32
0 -67 0 -47 0 -27 0 -7 11694 13 18 33
0 -66 0 -46 0 -26 0 -6 9200 14 18 34
0 -65 0 -45 0 -25 0 -5 8406 15 18 35
0 -64 0 -44 0 -24 0 -4 7458 16 18 36
0 -63 0 -43 0 -23 0 -3 3075 17 18 37
0 -62 0 -42 0 -22 0 -2 1061 18 19 38
0 -61 0 -41 0 -21 0 -1 562 19 19 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | o
140000 | | oo
130000 | | ooo
120000 | | ooo
110000 | | oooo
100000 | | oooo
90000 | | ooooo
80000 | | ooooo
70000 | | oooooo
60000 | | oooooo
50000 | | ooooooo
40000 | | ooooooo
30000 | |ooooooooo
20000 | |ooooooooo
10000 | oooooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 998934. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 32567. 0 thru 39 = 941939.
histend K = 500000. 40 thru Max = 56995.
End analysis of Test T420 at 17:28:50.171 980623
==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 17:28:50.500 980623
End execution of Test T700 at 17:28:51.015 980623
Duration 0.515
Start analysis of Test T700 at 17:28:51.015 980623
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.203 0.000 0.000 0.000 0.000 0.000 0.000
0.188 0.188 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 177 0 499999 499999
24999 23438 26552 0 0
49998 48264 51771 0 0
74997 73331 76706 0 0
99996 97563 102451 0 0
124995 122623 127313 0 0
149994 147848 152080 0 0
174993 172681 177244 0 0
199992 197749 202245 0 0
224991 222480 227459 0 0
249990 247033 252899 0 0
274989 271992 277984 0 0
299988 297011 303048 0 0
324987 321724 328349 0 0
349986 345976 353940 0 0
374985 370725 379109 0 0
399984 395621 402357 0 0
424983 421891 428152 0 0
449982 446336 453752 0 0
474981 471272 478707 0 0
499980 496294 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 23
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
1
3
3
3
3
3
3
3
3
3
3
3
2
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
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 749715 0
1 10082 5633
2 48175 70482
3 17496 7309
4 110618 104148
5 13245 4860
6 42810 44559
7 2132 5649
8 2794 3649
9 1362 665
10 609 487
11 576 846
12 209 905
13 60 678
14 32 168
15 52 166
16 5 25
17 6 31
18 3 2
19 0 1
over 15 18
d = -21.
Event 7.1. u[ 481545] = 477832 < 477833; v[ 477833] = 481524 < 481545.
b=0 c=0 u[ 481525]: 477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832 477832
d = -20.
Event 7.1. u[ 481544] = 477832 < 477833; v[ 477833] = 481524 < 481544.
b=0 c=0 u[ 481525]: 477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832
d = -19.
Event 7.1. u[ 481543] = 477832 < 477833; v[ 477833] = 481524 < 481543.
b=0 c=0 u[ 481525]: 477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832
d = -18.
Event 7.1. u[ 19001] = 17400 < 17401; v[ 17401] = 18983 < 19001.
b=0 c=0 u[ 18984]: 17400 17400 17400 17400 17400 17400 17400
17400 17400 17400 17400 17400 17400 17400
17400 17400 17400 17400
Event 7.1. u[ 481542] = 477832 < 477833; v[ 477833] = 481524 < 481542.
b=0 c=0 u[ 481525]: 477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832
d = -17.
Event 7.1. u[ 19000] = 17400 < 17401; v[ 17401] = 18983 < 19000.
b=0 c=0 u[ 18984]: 17400 17400 17400 17400 17400 17400 17400
17400 17400 17400 17400 17400 17400 17400
17400 17400 17400
Event 7.1. u[ 198680] = 196528 < 196529; v[ 196529] = 198663 < 198680.
b=0 c=0 u[ 198664]: 196528 196528 196528 196528 196528 196528 196528
196528 196528 196528 196528 196528 196528 196528
196528 196528 196528
Event 7.1. u[ 481541] = 477832 < 477833; v[ 477833] = 481524 < 481541.
b=0 c=0 u[ 481525]: 477832 477832 477832 477832 477832 477832 477832
477832 477832 477832 477832 477832 477832 477832
477832 477832 477832
d = -16.
Event 7.1. u[ 18999] = 17400 < 17401; v[ 17401] = 18983 < 18999.
b=0 c=0 u[ 18984]: 17400 17400 17400 17400 17400 17400 17400
17400 17400 17400 17400 17400 17400 17400
17400 17400
Event 7.2. v[ 71179] = 72840 < 72841; u[ 72841] = 71163 < 71179.
b=0 c=0 v[ 71164]: 72840 72840 72840 72840 72840 72840 72840
72840 72840 72840 72840 72840 72840 72840
72840 72840
Event 7.1. u[ 76299] = 74592 < 74593; v[ 74593] = 76283 < 76299.
b=0 c=0 u[ 76284]: 74592 74592 74592 74592 74592 74592 74592
74592 74592 74592 74592 74592 74592 74592
74592 74592
Event 7.1. u[ 84307] = 81920 < 81921; v[ 81921] = 84291 < 84307.
b=0 c=0 u[ 84292]: 81920 81920 81920 81920 81920 81920 81920
81920 81920 81920 81920 81920 81920 81920
81920 81920
Event 7.2. v[ 94435] = 96816 < 96817; u[ 96817] = 94419 < 94435.
b=0 c=0 v[ 94420]: 96816 96816 96816 96816 96816 96816 96816
96816 96816 96816 96816 96816 96816 96816
96816 96816
Event 7.1. u[ 116883] = 114552 < 114553; v[ 114553] = 116867 < 116883.
b=0 c=0 u[ 116868]: 114552 114552 114552 114552 114552 114552 114552
114552 114552 114552 114552 114552 114552 114552
114552 114552
Event 7.1. u[ 497003] = 493288 < 493289; v[ 493289] = 496987 < 497003.
b=0 c=0 u[ 496988]: 493288 493288 493288 493288 493288 493288 493288
493288 493288 493288 493288 493288 493288 493288
493288 493288
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 116308 116308 0 0 -1
-2 84430 80147 0 0 -2
-3 82056 78268 0 0 -3
-4 27276 29794 0 0 -4
-5 22139 24893 0 0 -5
-6 2741 4029 0 0 -6
-7 2387 3236 0 0 -7
-8 1750 2412 0 0 -8
-9 1377 1771 0 0 -9
-10 1232 1537 0 0 -10
-11 798 1159 0 0 -11
-12 355 702 0 0 -12
-13 162 223 0 0 -13
-14 103 104 0 0 -14
-15 38 9 0 0 -15
-16 20 6 0 0 -16
-17 3 0 0 0 -17
-18 2 0 0 0 -18
-19 1 0 0 0 -19
-20 1 0 0 0 -20
-21 1 0 0 0 -21
-22 0 0 0 0 -22
Totals / Min / Under -25:
343180 344598 0 0
21 16 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 1 -20 978264 0 16 20
0 -79 0 -59 0 -39 1 -19 36698 1 16 21
0 -78 0 -58 0 -38 2 -18 73626 2 16 22
0 -77 0 -57 0 -37 3 -17 26749 3 16 23
0 -76 0 -56 0 -36 26 -16 116021 4 16 24
0 -75 0 -55 0 -35 47 -15 15999 5 16 25
0 -74 0 -54 0 -34 207 -14 45224 6 16 26
0 -73 0 -53 0 -33 385 -13 3562 7 16 27
0 -72 0 -52 0 -32 1057 -12 3956 8 15 28
0 -71 0 -51 0 -31 1957 -11 1623 9 15 29
0 -70 0 -50 0 -30 2769 -10 765 10 15 30
0 -69 0 -49 0 -29 3148 -9 656 11 15 31
0 -68 0 -48 0 -28 4162 -8 250 12 15 32
0 -67 0 -47 0 -27 5623 -7 94 13 15 33
0 -66 0 -46 0 -26 6770 -6 62 14 15 34
0 -65 0 -45 0 -25 47032 -5 81 15 15 35
0 -64 0 -44 0 -24 57070 -4 31 16 15 36
0 -63 0 -43 0 -23 160324 -3 30 17 15 37
0 -62 0 -42 0 -22 164577 -2 20 18 15 38
0 -61 0 -41 1 -21 232616 -1 16 19 15 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 | o
300000 | o
250000 | o
200000 | oo
150000 | oooo
100000 | oooo o
50000 | ooooo o o
0 |________ooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 1996300. Min thru -81 = 0.
Type = RR|CC1. Minimum = -21. -80 thru -1 = 687778.
Behav = Relaxed. Maximum = 2332. 0 thru 39 = 1304035.
histend K = 500000. 40 thru Max = 4487.
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 9479 0 63 20
0 -79 0 -59 0 -39 0 -19 26616 1 28 21
0 -78 0 -58 0 -38 0 -18 88437 2 23 22
0 -77 0 -57 0 -37 0 -17 84182 3 18 23
0 -76 0 -56 0 -36 0 -16 168040 4 17 24
0 -75 0 -55 0 -35 0 -15 165952 5 17 25
0 -74 0 -54 0 -34 0 -14 193903 6 16 26
0 -73 0 -53 0 -33 0 -13 186427 7 16 27
0 -72 0 -52 0 -32 0 -12 22891 8 16 28
0 -71 0 -51 0 -31 0 -11 12551 9 15 29
0 -70 0 -50 0 -30 0 -10 8393 10 15 30
0 -69 0 -49 0 -29 0 -9 7052 11 15 31
0 -68 0 -48 0 -28 0 -8 5479 12 15 32
0 -67 0 -47 0 -27 0 -7 3972 13 15 33
0 -66 0 -46 0 -26 0 -6 2917 14 15 34
0 -65 0 -45 0 -25 0 -5 2289 15 15 35
0 -64 0 -44 0 -24 0 -4 1877 16 15 36
0 -63 0 -43 0 -23 0 -3 471 17 15 37
0 -62 0 -42 0 -22 0 -2 351 18 15 38
0 -61 0 -41 0 -21 0 -1 97 19 15 39
------ Relaxed ------ | ------ Strong ------
190000 | | o
180000 | | oo
170000 | | oo
160000 | | oooo
150000 | | oooo
140000 | | oooo
130000 | | oooo
120000 | | oooo
110000 | | oooo
100000 | | oooo
90000 | | oooo
80000 | | oooooo
70000 | | oooooo
60000 | | oooooo
50000 | | oooooo
40000 | | oooooo
30000 | | oooooo
20000 | |oooooooo
10000 | |ooooooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 700. Total = 999816. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 3693. 0 thru 39 = 991755.
histend K = 500000. 40 thru Max = 8061.
End analysis of Test T700 at 17:28:52.406 980623
==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 17:28:52.734 980623
End execution of Test T710 at 17:28:53.234 980623
Duration 0.500
Start analysis of Test T710 at 17:28:53.437 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.187 0.187 0.000 0.000 0.000 0.000 0.000 0.000
0.187 0.187 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 28 0 499999 0
24999 23032 26952 0 0
49998 49652 50288 0 0
74997 77152 72872 0 0
99996 104243 96002 0 0
124995 131596 118719 0 0
149994 158578 142434 0 0
174993 185315 165320 0 0
199992 212668 188432 0 0
224991 239923 211008 0 0
249990 265769 234232 0 0
274989 292907 258403 0 0
299988 320265 281410 0 0
324987 344036 304371 0 0
349986 371162 330624 0 0
374985 397272 353587 0 0
399984 423732 377456 0 0
424983 449818 401228 0 0
449982 474745 425128 0 0
474981 499999 450232 0 0
499980 499999 474192 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4 111111
1
1
1 2
11 2
2
1 2
1 22
1
1 2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
11 2
2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2
11 2
22
1 2
1
1 2
1 22
1 2
1 2
1 2
1 2
1 2
1 2
2
1 2
1 2
1 2
1 2
1 2
1 22
1 2
1 2
1 2
1 2
1 2
2
12
12
12
12
12
12
12
32
3
2
21
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 755039 0
1 41981 52930
2 19330 31720
3 32346 10698
4 91323 78079
5 17463 12459
6 4268 12805
7 23085 31635
8 5634 6093
9 3884 1721
10 2131 2061
11 487 828
12 156 1623
13 1123 1773
14 1482 287
15 79 182
16 143 42
17 27 3
18 0 0
19 0 1
over 15 17
d = -20.
Event 7.1. u[ 3118] = 2520 < 2521; v[ 2521] = 3098 < 3118.
b=1 c=1 u[ 3099]: 2519 2519 2519 2519 2520 2520 2520
2520 2520 2520 2520 2520 2520 2520
2520 2520 2520 2520 2520 2520
d = -19.
Event 7.1. u[ 3117] = 2520 < 2521; v[ 2521] = 3098 < 3117.
b=1 c=1 u[ 3099]: 2519 2519 2519 2519 2520 2520 2520
2520 2520 2520 2520 2520 2520 2520
2520 2520 2520 2520 2520
d = -18.
Event 7.1. u[ 3116] = 2520 < 2521; v[ 2521] = 3098 < 3116.
b=1 c=1 u[ 3099]: 2519 2519 2519 2519 2520 2520 2520
2520 2520 2520 2520 2520 2520 2520
2520 2520 2520 2520
d = -17.
Event 7.1. u[ 3115] = 2520 < 2521; v[ 2521] = 3098 < 3115.
b=1 c=1 u[ 3099]: 2519 2519 2519 2519 2520 2520 2520
2520 2520 2520 2520 2520 2520 2520
2520 2520 2520
d = -16.
Event 7.1. u[ 3114] = 2520 < 2521; v[ 2521] = 3098 < 3114.
b=1 c=1 u[ 3099]: 2519 2519 2519 2519 2520 2520 2520
2520 2520 2520 2520 2520 2520 2520
2520 2520
Event 7.2. v[ 118679] = 113064 < 113065; u[ 113065] = 118663 < 118679.
b=0 c=0 v[ 118664]: 113064 113064 113064 113064 113064 113064 113064
113064 113064 113064 113064 113064 113064 113064
113064 113064
Event 7.2. v[ 264071] = 248288 < 248289; u[ 248289] = 264055 < 264071.
b=0 c=0 v[ 264056]: 248288 248288 248288 248288 248288 248288 248288
248288 248288 248288 248288 248288 248288 248288
248288 248288
Event 7.2. v[ 447530] = 422728 < 422729; u[ 422729] = 447514 < 447530.
b=1 c=1 v[ 447515]: 422727 422727 422727 422728 422728 422728 422728
422728 422728 422728 422728 422728 422728 422728
422728 422728
d = -15.
Event 7.1. u[ 3113] = 2520 < 2521; v[ 2521] = 3098 < 3113.
b=1 c=1 u[ 3099]: 2519 2519 2519 2519 2520 2520 2520
2520 2520 2520 2520 2520 2520 2520
2520
Event 7.2. v[ 42274] = 43136 < 43137; u[ 43137] = 42259 < 42274.
b=0 c=0 v[ 42260]: 43136 43136 43136 43136 43136 43136 43136
43136 43136 43136 43136 43136 43136 43136
43136
Event 7.2. v[ 55058] = 54680 < 54681; u[ 54681] = 55043 < 55058.
b=0 c=0 v[ 55044]: 54680 54680 54680 54680 54680 54680 54680
54680 54680 54680 54680 54680 54680 54680
54680
Event 7.2. v[ 106834] = 102296 < 102297; u[ 102297] = 106819 < 106834.
b=0 c=0 v[ 106820]: 102296 102296 102296 102296 102296 102296 102296
102296 102296 102296 102296 102296 102296 102296
102296
Event 7.2. v[ 118678] = 113064 < 113065; u[ 113065] = 118663 < 118678.
b=0 c=0 v[ 118664]: 113064 113064 113064 113064 113064 113064 113064
113064 113064 113064 113064 113064 113064 113064
113064
Event 7.2. v[ 124434] = 118184 < 118185; u[ 118185] = 124419 < 124434.
b=0 c=0 v[ 124420]: 118184 118184 118184 118184 118184 118184 118184
118184 118184 118184 118184 118184 118184 118184
118184
Event 7.1. u[ 172042] = 182016 < 182017; v[ 182017] = 172027 < 172042.
b=0 c=0 u[ 172028]: 182016 182016 182016 182016 182016 182016 182016
182016 182016 182016 182016 182016 182016 182016
182016
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 67498 67498 0 0 -1
-2 49861 59150 0 0 -2
-3 46456 52591 0 0 -3
-4 14139 35093 0 0 -4
-5 7039 29285 0 0 -5
-6 5193 28109 0 0 -6
-7 3987 6820 0 0 -7
-8 2148 4668 0 0 -8
-9 1333 1954 0 0 -9
-10 73 1334 0 0 -10
-11 26 878 0 0 -11
-12 19 489 0 0 -12
-13 12 229 0 0 -13
-14 10 27 0 0 -14
-15 2 12 0 0 -15
-16 1 3 0 0 -16
-17 1 0 0 0 -17
-18 1 0 0 0 -18
-19 1 0 0 0 -19
-20 1 0 0 0 -20
-21 0 0 0 0 -21
Totals / Min / Under -25:
197801 288140 0 0
20 16 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 1 -20 934553 0 16 20
0 -79 0 -59 0 -39 1 -19 117407 1 16 21
0 -78 0 -58 0 -38 1 -18 88399 2 16 22
0 -77 0 -57 0 -37 1 -17 87073 3 16 23
0 -76 0 -56 0 -36 4 -16 141992 4 16 24
0 -75 0 -55 0 -35 14 -15 32576 5 16 25
0 -74 0 -54 0 -34 37 -14 14881 6 15 26
0 -73 0 -53 0 -33 241 -13 28917 7 15 27
0 -72 0 -52 0 -32 508 -12 9692 8 15 28
0 -71 0 -51 0 -31 904 -11 7220 9 16 29
0 -70 0 -50 0 -30 1407 -10 5304 10 14 30
0 -69 0 -49 0 -29 3287 -9 3524 11 14 31
0 -68 0 -48 0 -28 6816 -8 3002 12 14 32
0 -67 0 -47 0 -27 10807 -7 2866 13 14 33
0 -66 0 -46 0 -26 33302 -6 1746 14 14 34
0 -65 0 -45 0 -25 36324 -5 267 15 14 35
0 -64 0 -44 0 -24 49232 -4 188 16 14 36
0 -63 0 -43 0 -23 99047 -3 44 17 14 37
0 -62 0 -42 0 -22 109011 -2 16 18 14 38
0 -61 0 -41 0 -21 134996 -1 16 19 14 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 | oooo o
50000 | oooooooo
0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 1974198. Min thru -81 = 0.
Type = RR|CC1. Minimum = -20. -80 thru -1 = 485941.
Behav = Relaxed. Maximum = 2636. 0 thru 39 = 1479980.
histend K = 500000. 40 thru Max = 8277.
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 17727 0 152 20
0 -79 0 -59 0 -39 0 -19 75426 1 36 21
0 -78 0 -58 0 -38 0 -18 94149 2 33 22
0 -77 0 -57 0 -37 0 -17 94833 3 29 23
0 -76 0 -56 0 -36 0 -16 154532 4 16 24
0 -75 0 -55 0 -35 0 -15 147971 5 16 25
0 -74 0 -54 0 -34 0 -14 137991 6 16 26
0 -73 0 -53 0 -33 0 -13 141304 7 16 27
0 -72 0 -52 0 -32 0 -12 34872 8 16 28
0 -71 0 -51 0 -31 0 -11 19545 9 16 29
0 -70 0 -50 0 -30 0 -10 13346 10 14 30
0 -69 0 -49 0 -29 0 -9 9165 11 14 31
0 -68 0 -48 0 -28 0 -8 7476 12 14 32
0 -67 0 -47 0 -27 0 -7 5984 13 14 33
0 -66 0 -46 0 -26 0 -6 5168 14 14 34
0 -65 0 -45 0 -25 0 -5 3181 15 14 35
0 -64 0 -44 0 -24 0 -4 1346 16 14 36
0 -63 0 -43 0 -23 0 -3 805 17 14 37
0 -62 0 -42 0 -22 0 -2 321 18 14 38
0 -61 0 -41 0 -21 0 -1 271 19 14 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | o
140000 | | oo o
130000 | | oooo
120000 | | oooo
110000 | | oooo
100000 | | oooo
90000 | | oooooo
80000 | | oooooo
70000 | |ooooooo
60000 | |ooooooo
50000 | |ooooooo
40000 | |ooooooo
30000 | |oooooooo
20000 | |oooooooo
10000 | ooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 999960. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 25799. 0 thru 39 = 965899.
histend K = 500000. 40 thru Max = 34061.
End analysis of Test T710 at 17:28:54.828 980623
==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 17:28:55.156 980623
End execution of Test T720 at 17:28:55.656 980623
Duration 0.500
Start analysis of Test T720 at 17:28:56.109 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.219 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.219 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 31 0 0 0
24999 23572 26594 0 0
49998 46744 53608 0 0
74997 69648 80704 0 0
99996 93112 106959 0 0
124995 116754 133881 0 0
149994 140173 160573 0 0
174993 163404 187288 0 0
199992 186287 214704 0 0
224991 209418 241627 0 0
249990 232600 268564 0 0
274989 255984 295355 0 0
299988 279185 322487 0 0
324987 302254 349235 0 0
349986 325711 375825 0 0
374985 349220 404256 0 0
399984 371180 430601 0 0
424983 394672 457760 0 0
449982 417834 484890 0 0
474981 440747 499999 0 0
499980 464201 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 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
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
1
2 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
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
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 722777 0
1 36716 82210
2 46734 40339
3 74143 21424
4 74397 56958
5 17189 21394
6 6681 28787
7 5333 8021
8 8681 9929
9 4320 3661
10 873 655
11 421 399
12 122 1031
13 564 1639
14 684 411
15 258 235
16 74 97
17 10 5
18 1 2
19 0 4
over 17 18
d = -16.
Event 7.2. v[ 80106] = 86136 < 86137; u[ 86137] = 80090 < 80106.
b=1 c=1 v[ 80091]: 86135 86135 86135 86135 86136 86136 86136
86136 86136 86136 86136 86136 86136 86136
86136 86136
Event 7.2. v[ 123106] = 131688 < 131689; u[ 131689] = 123090 < 123106.
b=1 c=1 v[ 123091]: 131687 131687 131687 131687 131688 131688 131688
131688 131688 131688 131688 131688 131688 131688
131688 131688
Event 7.2. v[ 177250] = 189664 < 189665; u[ 189665] = 177234 < 177250.
b=1 c=1 v[ 177235]: 189663 189663 189663 189663 189664 189664 189664
189664 189664 189664 189664 189664 189664 189664
189664 189664
Event 7.2. v[ 226266] = 242960 < 242961; u[ 242961] = 226250 < 226266.
b=1 c=1 v[ 226251]: 242959 242959 242959 242959 242960 242960 242960
242960 242960 242960 242960 242960 242960 242960
242960 242960
Event 7.2. v[ 337810] = 363016 < 363017; u[ 363017] = 337794 < 337810.
b=1 c=1 v[ 337795]: 363015 363015 363015 363015 363016 363016 363016
363016 363016 363016 363016 363016 363016 363016
363016 363016
Event 7.2. v[ 366730] = 395248 < 395249; u[ 395249] = 366714 < 366730.
b=1 c=1 v[ 366715]: 395247 395247 395247 395247 395248 395248 395248
395248 395248 395248 395248 395248 395248 395248
395248 395248
Event 7.2. v[ 396026] = 426384 < 426385; u[ 426385] = 396010 < 396026.
b=1 c=1 v[ 396011]: 426383 426383 426383 426383 426384 426384 426384
426384 426384 426384 426384 426384 426384 426384
426384 426384
Event 7.2. v[ 403026] = 434048 < 434049; u[ 434049] = 403010 < 403026.
b=1 c=1 v[ 403011]: 434047 434047 434047 434047 434047 434048 434048
434048 434048 434048 434048 434048 434048 434048
434048 434048
d = -15.
Event 7.2. v[ 18514] = 19728 < 19729; u[ 19729] = 18499 < 18514.
b=0 c=0 v[ 18500]: 19728 19728 19728 19728 19728 19728 19728
19728 19728 19728 19728 19728 19728 19728
19728
Event 7.2. v[ 18554] = 19768 < 19769; u[ 19769] = 18539 < 18554.
b=0 c=0 v[ 18540]: 19768 19768 19768 19768 19768 19768 19768
19768 19768 19768 19768 19768 19768 19768
19768
Event 7.2. v[ 27042] = 28664 < 28665; u[ 28665] = 27027 < 27042.
b=0 c=0 v[ 27028]: 28664 28664 28664 28664 28664 28664 28664
28664 28664 28664 28664 28664 28664 28664
28664
Event 7.2. v[ 37426] = 40104 < 40105; u[ 40105] = 37411 < 37426.
b=0 c=0 v[ 37412]: 40104 40104 40104 40104 40104 40104 40104
40104 40104 40104 40104 40104 40104 40104
40104
Event 7.2. v[ 38754] = 41360 < 41361; u[ 41361] = 38739 < 38754.
b=0 c=0 v[ 38740]: 41360 41360 41360 41360 41360 41360 41360
41360 41360 41360 41360 41360 41360 41360
41360
Event 7.2. v[ 59250] = 63632 < 63633; u[ 63633] = 59235 < 59250.
b=0 c=0 v[ 59236]: 63632 63632 63632 63632 63632 63632 63632
63632 63632 63632 63632 63632 63632 63632
63632
Event 7.2. v[ 452722] = 487736 < 487737; u[ 487737] = 452707 < 452722.
b=0 c=0 v[ 452708]: 487736 487736 487736 487736 487736 487736 487736
487736 487736 487736 487736 487736 487736 487736
487736
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 73535 73535 0 0 -1
-2 49908 56871 0 0 -2
-3 29771 42409 0 0 -3
-4 16851 16134 0 0 -4
-5 11571 10518 0 0 -5
-6 9222 8904 0 0 -6
-7 7380 7013 0 0 -7
-8 3655 3117 0 0 -8
-9 705 1491 0 0 -9
-10 509 1046 0 0 -10
-11 266 930 0 0 -11
-12 114 718 0 0 -12
-13 31 180 0 0 -13
-14 14 124 0 0 -14
-15 0 76 0 0 -15
-16 0 8 0 0 -16
-17 0 0 0 0 -17
Totals / Min / Under -25:
203532 223074 0 0
14 16 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 915722 0 18 20
0 -79 0 -59 0 -39 0 -19 132557 1 17 21
0 -78 0 -58 0 -38 0 -18 124481 2 17 22
0 -77 0 -57 0 -37 0 -17 139930 3 17 23
0 -76 0 -56 0 -36 8 -16 122108 4 17 24
0 -75 0 -55 0 -35 76 -15 41680 5 17 25
0 -74 0 -54 0 -34 138 -14 19052 6 17 26
0 -73 0 -53 0 -33 211 -13 9412 7 17 27
0 -72 0 -52 0 -32 832 -12 11281 8 17 28
0 -71 0 -51 0 -31 1196 -11 6504 9 17 29
0 -70 0 -50 0 -30 1555 -10 2851 10 18 30
0 -69 0 -49 0 -29 2196 -9 2117 11 16 31
0 -68 0 -48 0 -28 6772 -8 1690 12 16 32
0 -67 0 -47 0 -27 14393 -7 1614 13 16 33
0 -66 0 -46 0 -26 18126 -6 1057 14 16 34
0 -65 0 -45 0 -25 22089 -5 368 15 16 35
0 -64 0 -44 0 -24 32985 -4 106 16 16 36
0 -63 0 -43 0 -23 72180 -3 29 17 16 37
0 -62 0 -42 0 -22 106779 -2 19 18 16 38
0 -61 0 -41 0 -21 147070 -1 18 19 17 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 | ooooooo
50000 | oooooooo
0 |_________.___oooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 1964210. Min thru -81 = 0.
Type = RR|CC1. Minimum = -16. -80 thru -1 = 426606.
Behav = Relaxed. Maximum = 1202. 0 thru 39 = 1532930.
histend K = 500000. 40 thru Max = 4674.
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 26016 0 59 20
0 -79 0 -59 0 -39 0 -19 95841 1 35 21
0 -78 0 -58 0 -38 0 -18 110122 2 25 22
0 -77 0 -57 0 -37 0 -17 131012 3 17 23
0 -76 0 -56 0 -36 0 -16 158334 4 16 24
0 -75 0 -55 0 -35 0 -15 144959 5 16 25
0 -74 0 -54 0 -34 0 -14 119674 6 16 26
0 -73 0 -53 0 -33 0 -13 75857 7 16 27
0 -72 0 -52 0 -32 0 -12 37673 8 16 28
0 -71 0 -51 0 -31 0 -11 21592 9 16 29
0 -70 0 -50 0 -30 0 -10 11209 10 16 30
0 -69 0 -49 0 -29 0 -9 6269 11 16 31
0 -68 0 -48 0 -28 0 -8 5114 12 16 32
0 -67 0 -47 0 -27 0 -7 4185 13 15 33
0 -66 0 -46 0 -26 0 -6 3663 14 15 34
0 -65 0 -45 0 -25 0 -5 3268 15 15 35
0 -64 0 -44 0 -24 0 -4 2686 16 15 36
0 -63 0 -43 0 -23 0 -3 1245 17 15 37
0 -62 0 -42 0 -22 0 -2 253 18 15 38
0 -61 0 -41 0 -21 0 -1 94 19 15 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | o
140000 | | oo
130000 | | ooo
120000 | | ooo
110000 | | ooooo
100000 | | ooooo
90000 | |oooooo
80000 | |oooooo
70000 | |ooooooo
60000 | |ooooooo
50000 | |ooooooo
40000 | |ooooooo
30000 | |oooooooo
20000 | oooooooooo
10000 | ooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 999924. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 35784. 0 thru 39 = 959451.
histend K = 500000. 40 thru Max = 40473.
End analysis of Test T720 at 17:28:57.500 980623
==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 17:28:57.828 980623
End execution of Test T800 at 17:28:58.328 980623
Duration 0.500
Start analysis of Test T800 at 17:28:58.687 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 0.000 0.000 0.000 0.000 0.000 0.000
0.125 0.125 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 1 2 3
24999 249990 249991 249992 249993
49998 499980 499981 499982 499983
74997 749970 749971 749972 749973
99996 999960 999961 999962 999963
124995 1249950 1249951 1249952 1249953
149994 1499940 1499941 1499942 1499943
174993 1749930 1749931 1749932 1749933
199992 1999920 1999921 1999922 1999923
224991 2249910 2249911 2249912 2249913
249990 2499900 2499901 2499902 2499903
274989 2749890 2749891 2749892 2749893
299988 2999880 2999881 2999882 2999883
324987 3249870 3249871 3249872 3249873
349986 3499860 3499861 3499862 3499863
374985 3749850 3749851 3749852 3749853
399984 3999840 3999841 3999842 3999843
424983 4249830 4249831 4249832 4249833
449982 4499820 4499821 4499822 4499823
474981 4749810 4749811 4749812 4749813
499980 4999800 4999801 4999802 4999803
dim = 80, max = 5000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22 F
22 F
22 F
22 F
22 F
22 F
22 F 1
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
22 F
2 F 1
22F 1
22F 11
22F 1
22F
22F
22F
22F
22F11
22F
22F
22F
22F1
22F
22F
22F
22F
2F1
2F
2F
2F
2F
2F1
2F
2F
2F
2F
2F
2F
2F1
2F
2F
2F
2F
2F
2F
2F
F
F
F
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
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 1982995 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 1 3 0 23
0 -76 0 -56 0 -36 0 -16 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 1 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________.__o_____o._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1982997. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 9. 0 thru 39 = 1982997.
histend K = 500000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1982995 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 1 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________._o_______._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1982996. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2. 0 thru 39 = 1982996.
histend K = 500000. 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 17:29:29.093 980623
==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 17:29:29.421 980623
End execution of Test T820 at 17:29:29.921 980623
Duration 0.500
Start analysis of Test T820 at 17:29:30.796 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.157 0.157 0.000 0.000 0.000 0.000 0.000 0.000
0.157 0.157 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 1 2 3
24999 249990 249991 249992 249993
49998 499980 499981 499982 499983
74997 749970 749971 749972 749973
99996 999960 999961 999962 999963
124995 1249950 1249951 1249952 1249953
149994 1499940 1499941 1499942 1499943
174993 1749930 1749931 1749932 1749933
199992 1999920 1999921 1999922 1999923
224991 2249910 2249911 2249912 2249913
249990 2499900 2499901 2499902 2499903
274989 2749890 2749891 2749892 2749893
299988 2999880 2999881 2999882 2999883
324987 3249870 3249871 3249872 3249873
349986 3499860 3499861 3499862 3499863
374985 3749850 3749851 3749852 3749853
399984 3999840 3999841 3999842 3999843
424983 4249830 4249831 4249832 4249833
449982 4499820 4499821 4499822 4499823
474981 4749810 4749811 4749812 4749813
499980 4999800 4999801 4999802 4999803
dim = 80, max = 5000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
1F
1F
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F
F2
1F
1F2
1F2
2F2
2F1
F
2F1
2F1
2F1
2F1
2F1
2F
2F1
2F1
2F1
2F
2F1
2F1
F1
2F1
2F1
2F1
2F1
2F1
2F
F1
2F
2F
2F1
2F1
2F1
2F1
2F1
2F1
F1
2F1
1F1
1F2
1F2
1F2
1F2
1F2
1F2
1F2
1F
1F2
1F2
1F2
1F2
1F2
1F2
1F2
F2
1F2
1F2
1F2
1F2
1F2
1F2
F2
1F2
1F2
1F2
1F2
1F2
F2
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 1993432 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 18 2 0 22
0 -77 0 -57 0 -37 0 -17 27 3 0 23
0 -76 0 -56 0 -36 0 -16 37 4 0 24
0 -75 0 -55 0 -35 0 -15 29 5 0 25
0 -74 0 -54 0 -34 0 -14 8 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 2 9 0 29
0 -70 0 -50 0 -30 0 -10 1 10 0 30
0 -69 0 -49 0 -29 0 -9 5 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________._oooooo_ooo________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1993561. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 11. 0 thru 39 = 1993561.
histend K = 500000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1993432 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 82 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 1 6 0 26
0 -73 0 -53 0 -33 0 -13 0 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 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________.___o_o_o_._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1993516. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 8. 0 thru 39 = 1993516.
histend K = 500000. 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 17:30:01.140 980623
==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.031
Additions: 0.031
Subtractions: 0.032
Multiplications: 0.046
Divisions: 0.219
Time to perform 1000000 of the following floating operations:
Additions: 1.328
Subtractions: 1.360
Multiplications: 1.343
Divisions: 1.360
================================================================================
Summary of run: 17:30:06.906 980623
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.
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.
Number of threads: 2.
Length of the arrays: 500000.
Frequency of fetching shared operands before stores: always
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.500 0.265 T100 1 0
0.500 0.265 T120 0 1
0.500 0.750 T200 2 0
0.500 0.782 T210 1 1
0.500 0.781 T220 0 2
0.500 1.438 T400.1 -20 2 0
T400.2 2 0
0.500 1.453 T410.1 -20 1 1
T410.2 1 1
0.500 1.421 T420.1 -19 0 2
T420.2 0 2
0.515 1.391 T700.1 -21 2 0
T700.2 2 0
0.500 1.391 T710.1 -20 1 1
T710.2 1 1
0.500 1.391 T720.1 -16 0 2
T720.2 0 2
0.500 30.406 T800 1 0
0.500 30.344 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 + +
WW O O O + +
WW RR O
URR WW O +
URR CC3 O +
WR CC3 X +
WW WR X O +
CC3 O O
RR CC1 + + X +
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