ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
17:23:39.265 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: a0000000.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:23:48.625 980623
End execution of Test T100 at 17:23:49.125 980623
Duration 0.500
Start analysis of Test T100 at 17:23:49.125 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 74005 0 0 0
49998 150780 0 0 0
74997 229306 0 0 0
99996 308628 0 0 0
124995 386392 0 0 0
149994 461743 0 0 0
174993 539435 0 0 0
199992 614001 0 0 0
224991 690430 0 0 0
249990 768062 0 0 0
274989 842767 0 0 0
299988 919450 0 0 0
324987 999493 0 0 0
349986 999999 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....:....
11111111111111111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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 417816 0
1 0 1074
2 0 2457
3 1 35064
4 0 23492
5 66 1748
6 8485 17976
7 25325 334
8 873 34
9 1950 1
10 3666 0
11 1622 0
12 1506 0
13 2521 0
14 1205 0
15 6500 0
16 3929 0
17 5341 0
18 3170 0
19 11920 0
over 1809 2
End analysis of Test T100 at 17:23:49.390 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:23:49.734 980623
End execution of Test T120 at 17:23:50.234 980623
Duration 0.500
Start analysis of Test T120 at 17:23:50.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.094 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.094 0.094 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 57 0 0 0
24999 54405 0 0 0
49998 106675 0 0 0
74997 162246 0 0 0
99996 235328 0 0 0
124995 293149 0 0 0
149994 353121 0 0 0
174993 414548 0 0 0
199992 479208 0 0 0
224991 543289 0 0 0
249990 614162 0 0 0
274989 679366 0 0 0
299988 737274 0 0 0
324987 796578 0 0 0
349986 861333 0 0 0
374985 921573 0 0 0
399984 986200 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....:....
1111111111111111
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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 395354 0
1 0 3615
2 1 733
3 0 41773
4 0 34179
5 26990 7881
6 6307 15345
7 1073 1085
8 21492 29
9 2961 1
10 4350 0
11 805 0
12 3943 0
13 16931 0
14 8674 1
15 8357 0
16 1761 0
17 386 0
18 110 1
19 257 0
over 116 1
End analysis of Test T120 at 17:23:50.953 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:23:51.312 980623
End execution of Test T200 at 17:23:51.812 980623
Duration 0.500
Start analysis of Test T200 at 17:23:51.812 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.219 0.000 0.000 0.000 0.000 0.000 0.000
0.172 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 0 0 0 0
24999 242367 242370 0 0
49998 501599 501602 0 0
74997 764406 764409 0 0
99996 1021801 1021804 0 0
124995 1277778 1277781 0 0
149994 1499999 1499999 0 0
174993 1499999 1499999 0 0
199992 1499999 1499999 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....:....
333333333333333333333333333333333333333333333333333333333
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 723144 0
1 2046 263320
2 1 13516
3 31 0
4 9 2
5 107 0
6 653 0
7 82375 0
8 1052 1
9 11136 1
10 122086 0
11 4899 1
12 1193 1
13 790 3
14 2243 1
15 5852 0
16 9107 0
17 2912 0
18 4976 0
19 606 0
over 23782 6
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1084720 0 1030 20
0 -79 0 -59 0 -39 0 -19 383067 1 3678 21
0 -78 0 -58 0 -38 0 -18 2 2 7101 22
0 -77 0 -57 0 -37 0 -17 62 3 7677 23
0 -76 0 -56 0 -36 0 -16 145483 4 3828 24
0 -75 0 -55 0 -35 0 -15 3742 5 3757 25
0 -74 0 -54 0 -34 0 -14 2508 6 2914 26
0 -73 0 -53 0 -33 0 -13 145245 7 390 27
0 -72 0 -52 0 -32 0 -12 3640 8 850 28
0 -71 0 -51 0 -31 0 -11 21199 9 186 29
0 -70 0 -50 0 -30 0 -10 134570 10 7 30
0 -69 0 -49 0 -29 0 -9 5528 11 10 31
0 -68 0 -48 0 -28 0 -8 1233 12 7 32
0 -67 0 -47 0 -27 0 -7 1444 13 1 33
0 -66 0 -46 0 -26 0 -6 5674 14 1 34
0 -65 0 -45 0 -25 0 -5 10217 15 1 35
0 -64 0 -44 0 -24 0 -4 9180 16 0 36
0 -63 0 -43 0 -23 0 -3 3271 17 0 37
0 -62 0 -42 0 -22 0 -2 6819 18 0 38
0 -61 0 -41 0 -21 0 -1 916 19 0 39
------ Relaxed ------ | ------ Strong ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
1500000 | |
1400000 | |
1300000 | |
1200000 | |
1100000 | |
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | oo
200000 | oo
100000 | oo o o o
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooo____
-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 = 1971. 0 thru 39 = 1999958.
histend K = 500000. 40 thru Max = 34.
End analysis of Test T200 at 17:23:52.562 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:23:52.906 980623
End execution of Test T210 at 17:23:53.421 980623
Duration 0.515
Start analysis of Test T210 at 17:23:53.625 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.250 0.000 0.000 0.000 0.000 0.000 0.000
0.188 0.235 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 168587 168590 0 0
49998 381595 381598 0 0
74997 565379 565382 0 0
99996 774370 774373 0 0
124995 976302 976305 0 0
149994 1167587 1167586 0 0
174993 1345864 1345864 0 0
199992 1499999 1499999 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....:....
3333333333333333333333333333333333333333333333333
3
3
3
3
3
3
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 688358 0
1 2256 241450
2 0 70056
3 23 2
4 418 11
5 341 82
6 21489 9
7 57161 0
8 57719 0
9 114137 0
10 3291 0
11 1887 0
12 7953 0
13 526 0
14 3037 0
15 11425 0
16 4501 0
17 3287 0
18 4643 0
19 9121 0
over 6252 28
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1032547 0 3692 20
0 -79 0 -59 0 -39 0 -19 393414 1 1845 21
0 -78 0 -58 0 -38 0 -18 0 2 2892 22
0 -77 0 -57 0 -37 0 -17 10548 3 1420 23
0 -76 0 -56 0 -36 0 -16 123866 4 207 24
0 -75 0 -55 0 -35 0 -15 6100 5 220 25
0 -74 0 -54 0 -34 0 -14 84264 6 108 26
0 -73 0 -53 0 -33 0 -13 68085 7 11 27
0 -72 0 -52 0 -32 0 -12 84764 8 6 28
0 -71 0 -51 0 -31 0 -11 115040 9 1 29
0 -70 0 -50 0 -30 0 -10 3484 10 2 30
0 -69 0 -49 0 -29 0 -9 3334 11 2 31
0 -68 0 -48 0 -28 0 -8 12503 12 3 32
0 -67 0 -47 0 -27 0 -7 1384 13 1 33
0 -66 0 -46 0 -26 0 -6 4100 14 0 34
0 -65 0 -45 0 -25 0 -5 15384 15 0 35
0 -64 0 -44 0 -24 0 -4 9154 16 0 36
0 -63 0 -43 0 -23 0 -3 3532 17 1 37
0 -62 0 -42 0 -22 0 -2 6375 18 0 38
0 -61 0 -41 0 -21 0 -1 11669 19 0 39
------ Relaxed ------ | ------ Strong ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
1500000 | |
1400000 | |
1300000 | |
1200000 | |
1100000 | |
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | oo
200000 | oo
100000 | oo o o
0 |_________._________._________.o_ooooooooooooooooooooooooooooooo___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 = 10188. 0 thru 39 = 1999958.
histend K = 500000. 40 thru Max = 34.
End analysis of Test T210 at 17:23:54.406 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:23:54.750 980623
End execution of Test T220 at 17:23:55.265 980623
Duration 0.515
Start analysis of Test T220 at 17:23:55.718 980623
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.218 0.250 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.235 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 163586 163589 0 0
49998 321232 321231 0 0
74997 463884 463891 0 0
99996 612016 612015 0 0
124995 750473 750480 0 0
149994 889075 889074 0 0
174993 1031891 1031906 0 0
199992 1177157 1177160 0 0
224991 1324075 1324074 0 0
249990 1475039 1475039 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....:....
3333333333333333333333333333333333333333
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 674507 0
1 16817 147255
2 0 178134
3 12 0
4 741 18
5 1440 53
6 16811 15
7 59776 2
8 113971 0
9 46501 1
10 4801 1
11 3353 0
12 13037 0
13 1434 0
14 654 0
15 6329 0
16 13524 0
17 1539 0
18 8637 0
19 6502 0
over 3652 10
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1011766 0 9213 20
0 -79 0 -59 0 -39 0 -19 478931 1 585 21
0 -78 0 -58 0 -38 0 -18 0 2 1396 22
0 -77 0 -57 0 -37 0 -17 8687 3 1343 23
0 -76 0 -56 0 -36 0 -16 37819 4 365 24
0 -75 0 -55 0 -35 0 -15 4506 5 168 25
0 -74 0 -54 0 -34 0 -14 41267 6 41 26
0 -73 0 -53 0 -33 0 -13 94445 7 15 27
0 -72 0 -52 0 -32 0 -12 173861 8 8 28
0 -71 0 -51 0 -31 0 -11 47968 9 4 29
0 -70 0 -50 0 -30 0 -10 6632 10 5 30
0 -69 0 -49 0 -29 0 -9 5485 11 1 31
0 -68 0 -48 0 -28 0 -8 24198 12 3 32
0 -67 0 -47 0 -27 0 -7 2037 13 0 33
0 -66 0 -46 0 -26 0 -6 1095 14 0 34
0 -65 0 -45 0 -25 0 -5 8681 15 0 35
0 -64 0 -44 0 -24 0 -4 20916 16 0 36
0 -63 0 -43 0 -23 0 -3 2238 17 0 37
0 -62 0 -42 0 -22 0 -2 9037 18 0 38
0 -61 0 -41 0 -21 0 -1 7233 19 0 39
------ Relaxed ------ | ------ Strong ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
1500000 | |
1400000 | |
1300000 | |
1200000 | |
1100000 | |
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | oo
300000 | oo
200000 | oo
100000 | oo o
0 |_________._________._________.o_oooooooooooooooooooooooooooooo_______
-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 = 4566. 0 thru 39 = 1999949.
histend K = 500000. 40 thru Max = 43.
End analysis of Test T220 at 17:23:56.500 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:23:56.875 980623
End execution of Test T400 at 17:23:57.375 980623
Duration 0.500
Start analysis of Test T400 at 17:23:57.390 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.140 0.140 0.000 0.000 0.000 0.000 0.000 0.000
0.140 0.140 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 318 0 0
24999 25848 24077 0 0
49998 48794 51508 0 0
74997 70933 80224 0 0
99996 92624 107980 0 0
124995 112877 139838 0 0
149994 135100 166924 0 0
174993 156445 195364 0 0
199992 179344 224980 0 0
224991 199997 253877 0 0
249990 221427 282720 0 0
274989 243446 320671 0 0
299988 265331 352814 0 0
324987 277625 380188 0 0
349986 297619 407920 0 0
374985 320627 435373 0 0
399984 342645 465204 0 0
424983 365611 492365 0 0
449982 387255 499999 0 0
474981 408512 499999 0 0
499980 431824 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222222222222
2
2
2
2
2
2
2
2
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
11
2
11
2 1
1
2 1
2 1
2 11
2 1
2 111
2 1
2 1
1
2 1
2 1
2 1
2 1
2 11
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
11
2 1
2 1
2 1
2 1
2 11
2 1
1
21
21
21
21
21
31
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 852259 0
1 919 984
2 4544 22119
3 14514 19925
4 17731 3128
5 17915 3342
6 44686 22959
7 7256 29066
8 9018 26604
9 17952 6129
10 11344 3489
11 1205 1994
12 460 3307
13 100 4248
14 9 272
15 19 37
16 16 63
17 9 35
18 12 11
19 3 4
over 23 21
d = -25.
Event 4.1. u[ 13369] = 14944 < 14945; v[ 14945] = 13344 < 13369.
b=12 c=2 u[ 13345]: 14932 14940 14940 14940 14940 14940 14940
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944
d = -24.
Event 4.1. u[ 13368] = 14944 < 14945; v[ 14945] = 13344 < 13368.
b=12 c=2 u[ 13345]: 14932 14940 14940 14940 14940 14940 14940
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944
Event 4.2. v[ 239080] = 270048 < 270049; u[ 270049] = 239056 < 239080.
b=11 c=2 v[ 239057]: 270037 270045 270045 270045 270045 270045 270045
270048 270048 270048 270048 270048 270048 270048
270048 270048 270048 270048 270048 270048 270048
270048 270048 270048
d = -23.
Event 4.1. u[ 13367] = 14944 < 14945; v[ 14945] = 13344 < 13367.
b=12 c=2 u[ 13345]: 14932 14940 14940 14940 14940 14940 14940
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944 14944 14944 14944
14944 14944
Event 4.2. v[ 239079] = 270048 < 270049; u[ 270049] = 239056 < 239079.
b=11 c=2 v[ 239057]: 270037 270045 270045 270045 270045 270045 270045
270048 270048 270048 270048 270048 270048 270048
270048 270048 270048 270048 270048 270048 270048
270048 270048
d = -22.
Event 4.1. u[ 13366] = 14944 < 14945; v[ 14945] = 13344 < 13366.
b=12 c=2 u[ 13345]: 14932 14940 14940 14940 14940 14940 14940
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944 14944 14944 14944
14944
Event 4.2. v[ 239078] = 270048 < 270049; u[ 270049] = 239056 < 239078.
b=11 c=2 v[ 239057]: 270037 270045 270045 270045 270045 270045 270045
270048 270048 270048 270048 270048 270048 270048
270048 270048 270048 270048 270048 270048 270048
270048
d = -21.
Event 4.2. v[ 4000] = 3616 < 3617; u[ 3617] = 3979 < 4000.
b=10 c=2 v[ 3980]: 3606 3613 3613 3613 3616 3616 3616
3616 3616 3616 3616 3616 3616 3616
3616 3616 3616 3616 3616 3616 3616
Event 4.1. u[ 13365] = 14944 < 14945; v[ 14945] = 13344 < 13365.
b=12 c=2 u[ 13345]: 14932 14940 14940 14940 14940 14940 14940
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944 14944 14944 14944
Event 4.1. u[ 225981] = 200840 < 200841; v[ 200841] = 225960 < 225981.
b=12 c=2 u[ 225961]: 200828 200828 200836 200836 200836 200836 200836
200840 200840 200840 200840 200840 200840 200840
200840 200840 200840 200840 200840 200840 200840
Event 4.2. v[ 239077] = 270048 < 270049; u[ 270049] = 239056 < 239077.
b=11 c=2 v[ 239057]: 270037 270045 270045 270045 270045 270045 270045
270048 270048 270048 270048 270048 270048 270048
270048 270048 270048 270048 270048 270048 270048
d = -20.
Event 4.2. v[ 3999] = 3616 < 3617; u[ 3617] = 3979 < 3999.
b=10 c=2 v[ 3980]: 3606 3613 3613 3613 3616 3616 3616
3616 3616 3616 3616 3616 3616 3616
3616 3616 3616 3616 3616 3616
Event 4.1. u[ 13364] = 14944 < 14945; v[ 14945] = 13344 < 13364.
b=12 c=2 u[ 13345]: 14932 14940 14940 14940 14940 14940 14940
14944 14944 14944 14944 14944 14944 14944
14944 14944 14944 14944 14944 14944
Event 4.1. u[ 225980] = 200840 < 200841; v[ 200841] = 225960 < 225980.
b=12 c=2 u[ 225961]: 200828 200828 200836 200836 200836 200836 200836
200840 200840 200840 200840 200840 200840 200840
200840 200840 200840 200840 200840 200840
Event 4.1. u[ 317028] = 270912 < 270913; v[ 270913] = 317008 < 317028.
b=16 c=2 u[ 317009]: 270896 270896 270896 270910 270910 270910 270910
270912 270912 270912 270912 270912 270912 270912
270912 270912 270912 270912 270912 270912
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 62943 62943 0 0 -1
-2 59222 61621 0 0 -2
-3 48466 53475 0 0 -3
-4 48119 51681 0 0 -4
-5 47262 40334 0 0 -5
-6 40918 21032 0 0 -6
-7 23635 15500 0 0 -7
-8 22207 13762 0 0 -8
-9 8347 13073 0 0 -9
-10 2975 1209 0 0 -10
-11 2394 913 0 0 -11
-12 1964 664 0 0 -12
-13 1832 646 0 0 -13
-14 571 584 0 0 -14
-15 543 498 0 0 -15
-16 525 485 0 0 -16
-17 18 345 0 0 -17
-18 5 14 0 0 -18
-19 4 6 0 0 -19
-20 3 3 0 0 -20
-21 2 2 0 0 -21
-22 1 1 0 0 -22
-23 1 1 0 0 -23
-24 1 1 0 0 -24
-25 1 0 0 0 -25
Totals / Min / Under -25:
371959 338793 0 0
25 24 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 6 -20 957704 0 22 20
0 -79 0 -59 0 -39 10 -19 34792 1 24 21
0 -78 0 -58 0 -38 19 -18 19433 2 19 22
0 -77 0 -57 0 -37 363 -17 24322 3 19 23
0 -76 0 -56 0 -36 1010 -16 27267 4 19 24
0 -75 0 -55 0 -35 1041 -15 26911 5 19 25
0 -74 0 -54 0 -34 1155 -14 50381 6 18 26
0 -73 0 -53 0 -33 2478 -13 7867 7 17 27
0 -72 0 -52 0 -32 2628 -12 9585 8 17 28
0 -71 0 -51 0 -31 3307 -11 18262 9 17 29
0 -70 0 -50 0 -30 4184 -10 11615 10 17 30
0 -69 0 -49 0 -29 21420 -9 1452 11 17 31
0 -68 0 -48 0 -28 35969 -8 696 12 17 32
0 -67 0 -47 0 -27 39135 -7 280 13 17 33
0 -66 0 -46 0 -26 61950 -6 170 14 17 34
0 -65 0 -45 1 -25 87596 -5 127 15 17 35
0 -64 0 -44 2 -24 99800 -4 96 16 17 36
0 -63 0 -43 2 -23 101941 -3 34 17 17 37
0 -62 0 -42 2 -22 120843 -2 34 18 17 38
0 -61 0 -41 4 -21 125886 -1 23 19 17 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 | o
100000 | oooo
50000 | ooooooo o
0 |____ooooooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 1931863. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -25. -80 thru -1 = 710752.
Behav = Relaxed. Maximum = 11302. 0 thru 39 = 1191412.
histend K = 500000. 40 thru Max = 29699.
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 14350 0 73 20
0 -79 0 -59 0 -39 0 -19 33873 1 42 21
0 -78 0 -58 0 -38 0 -18 56224 2 32 22
0 -77 0 -57 0 -37 0 -17 67605 3 31 23
0 -76 0 -56 0 -36 0 -16 69654 4 28 24
0 -75 0 -55 0 -35 0 -15 81500 5 24 25
0 -74 0 -54 0 -34 0 -14 100873 6 20 26
0 -73 0 -53 0 -33 0 -13 101617 7 20 27
0 -72 0 -52 0 -32 0 -12 89957 8 17 28
0 -71 0 -51 0 -31 0 -11 80245 9 17 29
0 -70 0 -50 0 -30 0 -10 66986 10 17 30
0 -69 0 -49 0 -29 0 -9 54004 11 17 31
0 -68 0 -48 0 -28 0 -8 31707 12 17 32
0 -67 0 -47 0 -27 0 -7 20042 13 17 33
0 -66 0 -46 0 -26 0 -6 15597 14 17 34
0 -65 0 -45 0 -25 0 -5 11820 15 17 35
0 -64 0 -44 0 -24 0 -4 3245 16 17 36
0 -63 0 -43 0 -23 0 -3 1783 17 17 37
0 -62 0 -42 0 -22 0 -2 387 18 17 38
0 -61 0 -41 0 -21 0 -1 133 19 17 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | |
110000 | |
100000 | | oo
90000 | | oo
80000 | | ooooo
70000 | | ooooo
60000 | | oooooooo
50000 | | oooooooooo
40000 | | oooooooooo
30000 | |oooooooooooo
20000 | |ooooooooooooo
10000 | oooooooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 999674. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 68138. 0 thru 39 = 902076.
histend K = 500000. 40 thru Max = 97598.
End analysis of Test T400 at 17:23:58.796 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:23:59.140 980623
End execution of Test T410 at 17:23:59.640 980623
Duration 0.500
Start analysis of Test T410 at 17:23:59.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.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 196 0 0
24999 15252 38771 0 0
49998 33338 68602 0 0
74997 57216 93693 0 0
99996 80744 120792 0 0
124995 104506 146155 0 0
149994 128898 171155 0 0
174993 153828 196427 0 0
199992 178732 221757 0 0
224991 203218 246283 0 0
249990 228732 270776 0 0
274989 254066 295877 0 0
299988 279226 320702 0 0
324987 304138 346416 0 0
349986 328481 371779 0 0
374985 353260 396603 0 0
399984 378296 421925 0 0
424983 402986 448653 0 0
449982 426300 473643 0 0
474981 451301 499797 0 0
499980 475156 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
22222
2
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
1
2 1
22 1
2 1
1
2
2 11
1
2 1
2 11
1
211
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 828131 0
1 2427 2513
2 7443 39211
3 18717 5414
4 29757 8350
5 52532 11514
6 22420 18659
7 3501 47180
8 2311 24131
9 1100 10800
10 28540 1295
11 707 1663
12 1531 609
13 457 136
14 47 64
15 10 261
16 310 35
17 7 9
18 22 0
19 2 0
over 24 21
d = -24.
Event 4.1. u[ 10280] = 5624 < 5625; v[ 5625] = 10256 < 10280.
b=13 c=2 u[ 10257]: 5611 5611 5622 5622 5622 5622 5622
5624 5624 5624 5624 5624 5624 5624
5624 5624 5624 5624 5624 5624 5624
5624 5624 5624
d = -23.
Event 4.1. u[ 10279] = 5624 < 5625; v[ 5625] = 10256 < 10279.
b=13 c=2 u[ 10257]: 5611 5611 5622 5622 5622 5622 5622
5624 5624 5624 5624 5624 5624 5624
5624 5624 5624 5624 5624 5624 5624
5624 5624
d = -22.
Event 4.1. u[ 10278] = 5624 < 5625; v[ 5625] = 10256 < 10278.
b=13 c=2 u[ 10257]: 5611 5611 5622 5622 5622 5622 5622
5624 5624 5624 5624 5624 5624 5624
5624 5624 5624 5624 5624 5624 5624
5624
d = -21.
Event 4.1. u[ 608] = 184 < 185; v[ 185] = 587 < 608.
b=2 c=1 u[ 588]: 182 182 182 182 182 184 184
184 184 184 184 184 184 184
184 184 184 184 184 184 184
Event 4.1. u[ 1128] = 544 < 545; v[ 545] = 1107 < 1128.
b=2 c=1 u[ 1108]: 542 542 542 542 542 544 544
544 544 544 544 544 544 544
544 544 544 544 544 544 544
Event 4.1. u[ 1280] = 616 < 617; v[ 617] = 1259 < 1280.
b=4 c=2 u[ 1260]: 612 614 614 614 614 614 616
616 616 616 616 616 616 616
616 616 616 616 616 616 616
Event 4.1. u[ 1432] = 688 < 689; v[ 689] = 1411 < 1432.
b=4 c=2 u[ 1412]: 684 686 686 686 686 686 688
688 688 688 688 688 688 688
688 688 688 688 688 688 688
Event 4.1. u[ 1768] = 864 < 865; v[ 865] = 1747 < 1768.
b=2 c=1 u[ 1748]: 862 862 862 862 862 864 864
864 864 864 864 864 864 864
864 864 864 864 864 864 864
Event 4.1. u[ 1992] = 1032 < 1033; v[ 1033] = 1971 < 1992.
b=4 c=2 u[ 1972]: 1028 1030 1030 1030 1030 1030 1032
1032 1032 1032 1032 1032 1032 1032
1032 1032 1032 1032 1032 1032 1032
Event 4.1. u[ 2104] = 1096 < 1097; v[ 1097] = 2083 < 2104.
b=3 c=2 u[ 2084]: 1093 1095 1095 1095 1095 1095 1096
1096 1096 1096 1096 1096 1096 1096
1096 1096 1096 1096 1096 1096 1096
Event 4.1. u[ 2320] = 1224 < 1225; v[ 1225] = 2299 < 2320.
b=4 c=2 u[ 2300]: 1220 1222 1222 1222 1222 1222 1224
1224 1224 1224 1224 1224 1224 1224
1224 1224 1224 1224 1224 1224 1224
Event 4.1. u[ 2464] = 1304 < 1305; v[ 1305] = 2443 < 2464.
b=4 c=2 u[ 2444]: 1300 1302 1302 1302 1302 1302 1304
1304 1304 1304 1304 1304 1304 1304
1304 1304 1304 1304 1304 1304 1304
Event 4.1. u[ 2752] = 1464 < 1465; v[ 1465] = 2731 < 2752.
b=4 c=2 u[ 2732]: 1460 1462 1462 1462 1462 1462 1464
1464 1464 1464 1464 1464 1464 1464
1464 1464 1464 1464 1464 1464 1464
Event 4.1. u[ 2824] = 1504 < 1505; v[ 1505] = 2803 < 2824.
b=4 c=2 u[ 2804]: 1500 1502 1502 1502 1502 1502 1504
1504 1504 1504 1504 1504 1504 1504
1504 1504 1504 1504 1504 1504 1504
Event 4.1. u[ 487896] = 464016 < 464017; v[ 464017] = 487875 < 487896.
b=4 c=2 u[ 487876]: 464012 464014 464014 464014 464014 464014 464016
464016 464016 464016 464016 464016 464016 464016
464016 464016 464016 464016 464016 464016 464016
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 52292 52292 0 0 -1
-2 60938 58856 0 0 -2
-3 60954 59003 0 0 -3
-4 60597 58909 0 0 -4
-5 59845 53856 0 0 -5
-6 41639 40621 0 0 -6
-7 24107 38045 0 0 -7
-8 22470 32824 0 0 -8
-9 20944 21337 0 0 -9
-10 6688 5058 0 0 -10
-11 1843 2272 0 0 -11
-12 1582 708 0 0 -12
-13 1459 643 0 0 -13
-14 1446 456 0 0 -14
-15 1439 386 0 0 -15
-16 1419 359 0 0 -16
-17 1294 347 0 0 -17
-18 513 21 0 0 -18
-19 269 6 0 0 -19
-20 264 4 0 0 -20
-21 250 0 0 0 -21
-22 1 0 0 0 -22
-23 1 0 0 0 -23
-24 1 0 0 0 -24
-25 0 0 0 0 -25
Totals / Min / Under -25:
422255 426003 0 0
24 20 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 268 -20 920193 0 21 20
0 -79 0 -59 0 -39 275 -19 17241 1 23 21
0 -78 0 -58 0 -38 534 -18 10976 2 20 22
0 -77 0 -57 0 -37 1641 -17 21099 3 20 23
0 -76 0 -56 0 -36 1778 -16 31851 4 20 24
0 -75 0 -55 0 -35 1825 -15 54386 5 19 25
0 -74 0 -54 0 -34 1902 -14 23144 6 21 26
0 -73 0 -53 0 -33 2102 -13 3975 7 18 27
0 -72 0 -52 0 -32 2290 -12 2555 8 19 28
0 -71 0 -51 0 -31 4115 -11 1207 9 18 29
0 -70 0 -50 0 -30 11746 -10 28612 10 17 30
0 -69 0 -49 0 -29 42281 -9 767 11 17 31
0 -68 0 -48 0 -28 55294 -8 1583 12 17 32
0 -67 0 -47 0 -27 62152 -7 492 13 17 33
0 -66 0 -46 0 -26 82260 -6 81 14 17 34
0 -65 0 -45 0 -25 113701 -5 35 15 17 35
0 -64 0 -44 1 -24 119506 -4 334 16 17 36
0 -63 0 -43 1 -23 119957 -3 28 17 17 37
0 -62 0 -42 1 -22 119794 -2 43 18 17 38
0 -61 0 -41 250 -21 104584 -1 23 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 | oooooo
50000 | ooooooooo o
0 |_____oooooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 1975190. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -24. -80 thru -1 = 848258.
Behav = Relaxed. Maximum = 3778. 0 thru 39 = 1118994.
histend K = 500000. 40 thru Max = 7938.
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 2655 0 374 20
0 -79 0 -59 0 -39 0 -19 14814 1 328 21
0 -78 0 -58 0 -38 0 -18 73217 2 56 22
0 -77 0 -57 0 -37 0 -17 77720 3 42 23
0 -76 0 -56 0 -36 0 -16 84464 4 38 24
0 -75 0 -55 0 -35 0 -15 100631 5 33 25
0 -74 0 -54 0 -34 0 -14 120834 6 22 26
0 -73 0 -53 0 -33 0 -13 120296 7 20 27
0 -72 0 -52 0 -32 0 -12 107779 8 19 28
0 -71 0 -51 0 -31 0 -11 81871 9 19 29
0 -70 0 -50 0 -30 0 -10 78106 10 18 30
0 -69 0 -49 0 -29 0 -9 56618 11 18 31
0 -68 0 -48 0 -28 0 -8 24760 12 18 32
0 -67 0 -47 0 -27 0 -7 6336 13 17 33
0 -66 0 -46 0 -26 0 -6 5059 14 17 34
0 -65 0 -45 0 -25 0 -5 4061 15 17 35
0 -64 0 -44 0 -24 0 -4 3029 16 17 36
0 -63 0 -43 0 -23 0 -3 2571 17 17 37
0 -62 0 -42 0 -22 0 -2 785 18 17 38
0 -61 0 -41 0 -21 0 -1 407 19 17 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | oo
110000 | | oo
100000 | | oooo
90000 | | oooo
80000 | | oooooo
70000 | | ooooooooo
60000 | | ooooooooo
50000 | | oooooooooo
40000 | | oooooooooo
30000 | | oooooooooo
20000 | | ooooooooooo
10000 | |oooooooooooo
0 |_________._________._________oooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 999719. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 24819. 0 thru 39 = 967137.
histend K = 500000. 40 thru Max = 32582.
End analysis of Test T410 at 17:24:01.312 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:24:01.656 980623
End execution of Test T420 at 17:24:02.171 980623
Duration 0.515
Start analysis of Test T420 at 17:24:02.625 980623
Thread start, stop, and dur times.
0.015 0.015 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.141 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 135 0 0 0
24999 21102 30608 0 0
49998 41666 59357 0 0
74997 63906 86301 0 0
99996 88760 112489 0 0
124995 111627 139442 0 0
149994 133952 167739 0 0
174993 156368 196243 0 0
199992 178330 224979 0 0
224991 200002 251802 0 0
249990 223287 278996 0 0
274989 246621 305581 0 0
299988 270048 334235 0 0
324987 292096 362080 0 0
349986 314248 390749 0 0
374985 336112 420163 0 0
399984 358400 446572 0 0
424983 379409 472882 0 0
449982 403426 499788 0 0
474981 426877 499999 0 0
499980 450149 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222222222
2
2
2
2
2
2
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 11
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
1
2 1
2 1
2 1
2 11
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
1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
211
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 802361 0
1 3350 21276
2 6453 29136
3 53176 7860
4 20199 13764
5 63266 53254
6 27113 32878
7 7876 16830
8 2225 6963
9 8891 11651
10 2729 1513
11 876 1096
12 623 1034
13 419 145
14 184 24
15 11 89
16 89 97
17 100 7
18 32 3
19 1 1
over 16 14
d = -21.
Event 4.1. u[ 1599] = 1600 < 1601; v[ 1601] = 1578 < 1599.
b=4 c=2 u[ 1579]: 1596 1598 1598 1598 1598 1600 1600
1600 1600 1600 1600 1600 1600 1600
1600 1600 1600 1600 1600 1600 1600
Event 4.1. u[ 2079] = 2000 < 2001; v[ 2001] = 2058 < 2079.
b=4 c=2 u[ 2059]: 1996 1998 1998 1998 1998 2000 2000
2000 2000 2000 2000 2000 2000 2000
2000 2000 2000 2000 2000 2000 2000
Event 4.1. u[ 2231] = 2104 < 2105; v[ 2105] = 2210 < 2231.
b=4 c=2 u[ 2211]: 2100 2102 2102 2102 2102 2104 2104
2104 2104 2104 2104 2104 2104 2104
2104 2104 2104 2104 2104 2104 2104
Event 4.1. u[ 2327] = 2168 < 2169; v[ 2169] = 2306 < 2327.
b=4 c=2 u[ 2307]: 2164 2166 2166 2166 2166 2168 2168
2168 2168 2168 2168 2168 2168 2168
2168 2168 2168 2168 2168 2168 2168
Event 4.1. u[ 4775] = 4272 < 4273; v[ 4273] = 4754 < 4775.
b=4 c=2 u[ 4755]: 4268 4270 4270 4270 4270 4272 4272
4272 4272 4272 4272 4272 4272 4272
4272 4272 4272 4272 4272 4272 4272
Event 4.1. u[ 5679] = 4920 < 4921; v[ 4921] = 5658 < 5679.
b=4 c=2 u[ 5659]: 4916 4918 4918 4918 4918 4920 4920
4920 4920 4920 4920 4920 4920 4920
4920 4920 4920 4920 4920 4920 4920
Event 4.1. u[ 7599] = 6616 < 6617; v[ 6617] = 7578 < 7599.
b=4 c=2 u[ 7579]: 6612 6614 6614 6614 6614 6616 6616
6616 6616 6616 6616 6616 6616 6616
6616 6616 6616 6616 6616 6616 6616
Event 4.1. u[ 7679] = 6664 < 6665; v[ 6665] = 7658 < 7679.
b=4 c=2 u[ 7659]: 6660 6662 6662 6662 6662 6664 6664
6664 6664 6664 6664 6664 6664 6664
6664 6664 6664 6664 6664 6664 6664
Event 4.1. u[ 8439] = 7344 < 7345; v[ 7345] = 8418 < 8439.
b=4 c=2 u[ 8419]: 7340 7342 7342 7342 7342 7344 7344
7344 7344 7344 7344 7344 7344 7344
7344 7344 7344 7344 7344 7344 7344
Event 4.1. u[ 10183] = 8760 < 8761; v[ 8761] = 10162 < 10183.
b=4 c=2 u[ 10163]: 8756 8758 8758 8758 8758 8760 8760
8760 8760 8760 8760 8760 8760 8760
8760 8760 8760 8760 8760 8760 8760
Event 4.1. u[ 11455] = 9784 < 9785; v[ 9785] = 11434 < 11455.
b=4 c=2 u[ 11435]: 9780 9782 9782 9782 9782 9784 9784
9784 9784 9784 9784 9784 9784 9784
9784 9784 9784 9784 9784 9784 9784
Event 4.1. u[ 11727] = 9976 < 9977; v[ 9977] = 11706 < 11727.
b=4 c=2 u[ 11707]: 9972 9974 9974 9974 9974 9976 9976
9976 9976 9976 9976 9976 9976 9976
9976 9976 9976 9976 9976 9976 9976
Event 4.1. u[ 11839] = 10048 < 10049; v[ 10049] = 11818 < 11839.
b=4 c=2 u[ 11819]: 10044 10046 10046 10046 10046 10048 10048
10048 10048 10048 10048 10048 10048 10048
10048 10048 10048 10048 10048 10048 10048
Event 4.1. u[ 11959] = 10128 < 10129; v[ 10129] = 11938 < 11959.
b=4 c=2 u[ 11939]: 10124 10126 10126 10126 10126 10128 10128
10128 10128 10128 10128 10128 10128 10128
10128 10128 10128 10128 10128 10128 10128
Event 4.1. u[ 352055] = 316136 < 316137; v[ 316137] = 352034 < 352055.
b=4 c=2 u[ 352035]: 316132 316134 316134 316134 316134 316136 316136
316136 316136 316136 316136 316136 316136 316136
316136 316136 316136 316136 316136 316136 316136
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 75227 75227 0 0 -1
-2 64694 71507 0 0 -2
-3 61789 64392 0 0 -3
-4 60791 63512 0 0 -4
-5 41423 28953 0 0 -5
-6 22312 9101 0 0 -6
-7 17520 7157 0 0 -7
-8 15656 6034 0 0 -8
-9 3672 5573 0 0 -9
-10 1408 2544 0 0 -10
-11 991 1398 0 0 -11
-12 546 496 0 0 -12
-13 524 448 0 0 -13
-14 512 410 0 0 -14
-15 473 371 0 0 -15
-16 442 364 0 0 -16
-17 379 341 0 0 -17
-18 124 122 0 0 -18
-19 104 76 0 0 -19
-20 97 73 0 0 -20
-21 91 0 0 0 -21
-22 0 0 0 0 -22
Totals / Min / Under -25:
368775 338099 0 0
21 20 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 170 -20 941881 0 20 20
0 -79 0 -59 0 -39 180 -19 38660 1 14 21
0 -78 0 -58 0 -38 246 -18 33598 2 16 22
0 -77 0 -57 0 -37 720 -17 69159 3 14 23
0 -76 0 -56 0 -36 806 -16 32854 4 14 24
0 -75 0 -55 0 -35 844 -15 66831 5 14 25
0 -74 0 -54 0 -34 922 -14 29672 6 14 26
0 -73 0 -53 0 -33 972 -13 8983 7 14 27
0 -72 0 -52 0 -32 1042 -12 2436 8 14 28
0 -71 0 -51 0 -31 2389 -11 8970 9 14 29
0 -70 0 -50 0 -30 3952 -10