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 2775 10 14 30
0 -69 0 -49 0 -29 9245 -9 919 11 14 31
0 -68 0 -48 0 -28 21690 -8 663 12 14 32
0 -67 0 -47 0 -27 24677 -7 452 13 14 33
0 -66 0 -46 0 -26 31413 -6 213 14 14 34
0 -65 0 -45 0 -25 70376 -5 33 15 14 35
0 -64 0 -44 0 -24 124303 -4 109 16 14 36
0 -63 0 -43 0 -23 126181 -3 119 17 14 37
0 -62 0 -42 0 -22 136201 -2 47 18 14 38
0 -61 0 -41 91 -21 150454 -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 | oo
100000 | ooooo
50000 | oooooo o o
0 |________ooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 1950161. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -21. -80 thru -1 = 706874.
Behav = Relaxed. Maximum = 2160. 0 thru 39 = 1238678.
histend K = 500000. 40 thru Max = 4609.
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 23860 0 197 20
0 -79 0 -59 0 -39 0 -19 35310 1 116 21
0 -78 0 -58 0 -38 0 -18 79650 2 21 22
0 -77 0 -57 0 -37 0 -17 94507 3 21 23
0 -76 0 -56 0 -36 0 -16 95519 4 20 24
0 -75 0 -55 0 -35 0 -15 137456 5 20 25
0 -74 0 -54 0 -34 0 -14 129056 6 16 26
0 -73 0 -53 0 -33 0 -13 112075 7 14 27
0 -72 0 -52 0 -32 0 -12 83093 8 14 28
0 -71 0 -51 0 -31 0 -11 71232 9 14 29
0 -70 0 -50 0 -30 0 -10 49543 10 14 30
0 -69 0 -49 0 -29 0 -9 16074 11 14 31
0 -68 0 -48 0 -28 0 -8 5936 12 14 32
0 -67 0 -47 0 -27 0 -7 3511 13 14 33
0 -66 0 -46 0 -26 0 -6 2467 14 14 34
0 -65 0 -45 0 -25 0 -5 2019 15 14 35
0 -64 0 -44 0 -24 0 -4 1690 16 14 36
0 -63 0 -43 0 -23 0 -3 1360 17 14 37
0 -62 0 -42 0 -22 0 -2 325 18 14 38
0 -61 0 -41 0 -21 0 -1 211 19 14 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | | o
120000 | | oo
110000 | | ooo
100000 | | ooo
90000 | | ooooo
80000 | | oooooo
70000 | | oooooooo
60000 | | oooooooo
50000 | | oooooooo
40000 | | ooooooooo
30000 | |oooooooooo
20000 | ooooooooooo
10000 | oooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 999801. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49834. 0 thru 39 = 945487.
histend K = 500000. 40 thru Max = 54314.
End analysis of Test T420 at 17:24:04.062 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:24:04.421 980623
End execution of Test T700 at 17:24:04.921 980623
Duration 0.500
Start analysis of Test T700 at 17:24:04.921 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 966 0 499999 499999
24999 28323 21826 0 0
49998 53860 46243 0 0
74997 79411 70714 0 0
99996 105004 95190 0 0
124995 130995 119344 0 0
149994 156483 143554 0 0
174993 182440 167778 0 0
199992 207480 192730 0 0
224991 232931 217098 0 0
249990 258202 241962 0 0
274989 282416 267090 0 0
299988 306648 293144 0 0
324987 329859 320130 0 0
349986 355097 344586 0 0
374985 382539 367578 0 0
399984 407659 392522 0 0
424983 432268 417473 0 0
449982 457275 442481 0 0
474981 482123 467778 0 0
499980 499999 492751 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 111
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
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 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
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 787766 0
1 2204 61254
2 4721 21863
3 37256 4521
4 89546 7192
5 53356 19974
6 5775 17422
7 1694 57339
8 1117 5830
9 1215 1225
10 628 512
11 13696 13677
12 552 583
13 133 420
14 163 201
15 106 132
16 17 13
17 8 6
18 0 0
19 20 33
over 17 33
d = -25.
Event 7.1. u[ 474001] = 481128 < 481129; v[ 481129] = 473976 < 474001.
b=11 c=2 u[ 473977]: 481117 481127 481127 481127 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128 481128 481128
d = -24.
Event 7.1. u[ 474000] = 481128 < 481129; v[ 481129] = 473976 < 474000.
b=11 c=2 u[ 473977]: 481117 481127 481127 481127 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128 481128
d = -23.
Event 7.1. u[ 473999] = 481128 < 481129; v[ 481129] = 473976 < 473999.
b=11 c=2 u[ 473977]: 481117 481127 481127 481127 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128
d = -22.
Event 7.2. v[ 168427] = 161272 < 161273; u[ 161273] = 168405 < 168427.
b=0 c=0 v[ 168406]: 161272 161272 161272 161272 161272 161272 161272
161272 161272 161272 161272 161272 161272 161272
161272 161272 161272 161272 161272 161272 161272
161272
Event 7.2. v[ 168491] = 161312 < 161313; u[ 161313] = 168469 < 168491.
b=0 c=0 v[ 168470]: 161312 161312 161312 161312 161312 161312 161312
161312 161312 161312 161312 161312 161312 161312
161312 161312 161312 161312 161312 161312 161312
161312
Event 7.2. v[ 168555] = 161352 < 161353; u[ 161353] = 168533 < 168555.
b=0 c=0 v[ 168534]: 161352 161352 161352 161352 161352 161352 161352
161352 161352 161352 161352 161352 161352 161352
161352 161352 161352 161352 161352 161352 161352
161352
Event 7.2. v[ 168619] = 161392 < 161393; u[ 161393] = 168597 < 168619.
b=0 c=0 v[ 168598]: 161392 161392 161392 161392 161392 161392 161392
161392 161392 161392 161392 161392 161392 161392
161392 161392 161392 161392 161392 161392 161392
161392
Event 7.2. v[ 231635] = 223792 < 223793; u[ 223793] = 231613 < 231635.
b=0 c=0 v[ 231614]: 223792 223792 223792 223792 223792 223792 223792
223792 223792 223792 223792 223792 223792 223792
223792 223792 223792 223792 223792 223792 223792
223792
Event 7.2. v[ 231803] = 223928 < 223929; u[ 223929] = 231781 < 231803.
b=0 c=0 v[ 231782]: 223928 223928 223928 223928 223928 223928 223928
223928 223928 223928 223928 223928 223928 223928
223928 223928 223928 223928 223928 223928 223928
223928
Event 7.1. u[ 473998] = 481128 < 481129; v[ 481129] = 473976 < 473998.
b=11 c=2 u[ 473977]: 481117 481127 481127 481127 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128 481128 481128 481128 481128 481128 481128
481128
d = -21.
Event 7.2. v[ 168426] = 161272 < 161273; u[ 161273] = 168405 < 168426.
b=0 c=0 v[ 168406]: 161272 161272 161272 161272 161272 161272 161272
161272 161272 161272 161272 161272 161272 161272
161272 161272 161272 161272 161272 161272 161272
Event 7.2. v[ 168490] = 161312 < 161313; u[ 161313] = 168469 < 168490.
b=0 c=0 v[ 168470]: 161312 161312 161312 161312 161312 161312 161312
161312 161312 161312 161312 161312 161312 161312
161312 161312 161312 161312 161312 161312 161312
Event 7.2. v[ 168554] = 161352 < 161353; u[ 161353] = 168533 < 168554.
b=0 c=0 v[ 168534]: 161352 161352 161352 161352 161352 161352 161352
161352 161352 161352 161352 161352 161352 161352
161352 161352 161352 161352 161352 161352 161352
Event 7.2. v[ 168618] = 161392 < 161393; u[ 161393] = 168597 < 168618.
b=0 c=0 v[ 168598]: 161392 161392 161392 161392 161392 161392 161392
161392 161392 161392 161392 161392 161392 161392
161392 161392 161392 161392 161392 161392 161392
Event 7.2. v[ 231634] = 223792 < 223793; u[ 223793] = 231613 < 231634.
b=0 c=0 v[ 231614]: 223792 223792 223792 223792 223792 223792 223792
223792 223792 223792 223792 223792 223792 223792
223792 223792 223792 223792 223792 223792 223792
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 73773 73773 0 0 -1
-2 84360 60822 0 0 -2
-3 57062 60196 0 0 -3
-4 47326 50757 0 0 -4
-5 13257 37646 0 0 -5
-6 9514 35362 0 0 -6
-7 8920 34715 0 0 -7
-8 8337 32002 0 0 -8
-9 7976 7938 0 0 -9
-10 7538 7676 0 0 -10
-11 521 880 0 0 -11
-12 331 443 0 0 -12
-13 110 257 0 0 -13
-14 68 115 0 0 -14
-15 36 34 0 0 -15
-16 35 24 0 0 -16
-17 31 18 0 0 -17
-18 28 18 0 0 -18
-19 14 16 0 0 -19
-20 1 10 0 0 -20
-21 1 6 0 0 -21
-22 1 6 0 0 -22
-23 1 0 0 0 -23
-24 1 0 0 0 -24
-25 1 0 0 0 -25
Totals / Min / Under -25:
319243 402714 0 0
25 22 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 11 -20 911464 0 21 20
0 -79 0 -59 0 -39 30 -19 55529 1 18 21
0 -78 0 -58 0 -38 46 -18 57880 2 15 22
0 -77 0 -57 0 -37 49 -17 45821 3 15 23
0 -76 0 -56 0 -36 59 -16 97963 4 15 24
0 -75 0 -55 0 -35 70 -15 61375 5 15 25
0 -74 0 -54 0 -34 183 -14 10406 6 15 26
0 -73 0 -53 0 -33 367 -13 3782 7 14 27
0 -72 0 -52 0 -32 774 -12 1704 8 13 28
0 -71 0 -51 0 -31 1401 -11 1409 9 13 29
0 -70 0 -50 0 -30 15214 -10 719 10 13 30
0 -69 0 -49 0 -29 15914 -9 13773 11 13 31
0 -68 0 -48 0 -28 40339 -8 622 12 13 32
0 -67 0 -47 0 -27 43635 -7 201 13 13 33
0 -66 0 -46 0 -26 44876 -6 214 14 13 34
0 -65 0 -45 1 -25 50903 -5 150 15 13 35
0 -64 0 -44 1 -24 98083 -4 54 16 13 36
0 -63 0 -43 1 -23 117258 -3 44 17 13 37
0 -62 0 -42 7 -22 145182 -2 36 18 13 38
0 -61 0 -41 7 -21 147546 -1 55 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 | oooo
50000 | oooooooo oo
0 |____ooooooooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 1992766. Min thru -81 = 0.
Type = RR|CC1. Minimum = -25. -80 thru -1 = 721957.
Behav = Relaxed. Maximum = 2870. 0 thru 39 = 1263485.
histend K = 500000. 40 thru Max = 7324.
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 22933 0 95 20
0 -79 0 -59 0 -39 0 -19 53325 1 61 21
0 -78 0 -58 0 -38 0 -18 101969 2 55 22
0 -77 0 -57 0 -37 0 -17 104374 3 49 23
0 -76 0 -56 0 -36 0 -16 122885 4 37 24
0 -75 0 -55 0 -35 0 -15 125225 5 24 25
0 -74 0 -54 0 -34 0 -14 122889 6 21 26
0 -73 0 -53 0 -33 0 -13 118093 7 21 27
0 -72 0 -52 0 -32 0 -12 96106 8 14 28
0 -71 0 -51 0 -31 0 -11 49251 9 14 29
0 -70 0 -50 0 -30 0 -10 20993 10 14 30
0 -69 0 -49 0 -29 0 -9 18665 11 13 31
0 -68 0 -48 0 -28 0 -8 16210 12 13 32
0 -67 0 -47 0 -27 0 -7 3418 13 13 33
0 -66 0 -46 0 -26 0 -6 2661 14 13 34
0 -65 0 -45 0 -25 0 -5 2258 15 13 35
0 -64 0 -44 0 -24 0 -4 1735 16 13 36
0 -63 0 -43 0 -23 0 -3 1045 17 13 37
0 -62 0 -42 0 -22 0 -2 518 18 13 38
0 -61 0 -41 0 -21 0 -1 326 19 13 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | |
120000 | | ooo
110000 | | oooo
100000 | | oooooo
90000 | | ooooooo
80000 | | ooooooo
70000 | | ooooooo
60000 | | ooooooo
50000 | |oooooooo
40000 | |ooooooooo
30000 | |ooooooooo
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 = 700. Total = 999013. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 7229. 0 thru 39 = 985401.
histend K = 500000. 40 thru Max = 13612.
End analysis of Test T700 at 17:24:06.328 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:24:06.671 980623
End execution of Test T710 at 17:24:07.171 980623
Duration 0.500
Start analysis of Test T710 at 17:24:07.375 980623
Thread start, stop, and dur times.
0.000 0.000 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
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 131 0 499999 0
24999 18548 34171 0 0
49998 37216 65394 0 0
74997 59380 91538 0 0
99996 83193 118156 0 0
124995 107280 141870 0 0
149994 133426 165947 0 0
174993 159224 190118 0 0
199992 185080 214421 0 0
224991 210800 238428 0 0
249990 237075 262612 0 0
274989 262659 286828 0 0
299988 288500 310956 0 0
324987 313040 336983 0 0
349986 337978 362086 0 0
374985 363552 385672 0 0
399984 386864 414356 0 0
424983 410561 438640 0 0
449982 436024 463802 0 0
474981 461260 489244 0 0
499980 485908 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
4 2222
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
1
2 1
2 1
2 11
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 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
22 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
1
2 11
2 1
2 1
11
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 761477 0
1 7734 12870
2 41686 61127
3 32988 11768
4 78431 80011
5 29220 14735
6 34549 33774
7 4315 8633
8 2523 8105
9 4042 2028
10 1507 796
11 613 846
12 475 1019
13 35 2234
14 234 278
15 116 106
16 29 11
17 4 23
18 2 25
19 0 102
over 16 28
d = -20.
Event 7.1. u[ 199855] = 184952 < 184953; v[ 184953] = 199835 < 199855.
b=0 c=0 u[ 199836]: 184952 184952 184952 184952 184952 184952 184952
184952 184952 184952 184952 184952 184952 184952
184952 184952 184952 184952 184952 184952
d = -19.
Event 7.1. u[ 32590] = 24032 < 24033; v[ 24033] = 32571 < 32590.
b=0 c=0 u[ 32572]: 24032 24032 24032 24032 24032 24032 24032
24032 24032 24032 24032 24032 24032 24032
24032 24032 24032 24032 24032
Event 7.2. v[ 170657] = 185816 < 185817; u[ 185817] = 170638 < 170657.
b=0 c=0 v[ 170639]: 185816 185816 185816 185816 185816 185816 185816
185816 185816 185816 185816 185816 185816 185816
185816 185816 185816 185816 185816
Event 7.1. u[ 199854] = 184952 < 184953; v[ 184953] = 199835 < 199854.
b=0 c=0 u[ 199836]: 184952 184952 184952 184952 184952 184952 184952
184952 184952 184952 184952 184952 184952 184952
184952 184952 184952 184952 184952
Event 7.1. u[ 227130] = 212984 < 212985; v[ 212985] = 227111 < 227130.
b=0 c=0 u[ 227112]: 212984 212984 212984 212984 212984 212984 212984
212984 212984 212984 212984 212984 212984 212984
212984 212984 212984 212984 212984
Event 7.2. v[ 359889] = 371336 < 371337; u[ 371337] = 359870 < 359889.
b=0 c=0 v[ 359871]: 371336 371336 371336 371336 371336 371336 371336
371336 371336 371336 371336 371336 371336 371336
371336 371336 371336 371336 371336
Event 7.2. v[ 426993] = 440672 < 440673; u[ 440673] = 426974 < 426993.
b=0 c=0 v[ 426975]: 440672 440672 440672 440672 440672 440672 440672
440672 440672 440672 440672 440672 440672 440672
440672 440672 440672 440672 440672
Event 7.2. v[ 447473] = 461240 < 461241; u[ 461241] = 447454 < 447473.
b=0 c=0 v[ 447455]: 461240 461240 461240 461240 461240 461240 461240
461240 461240 461240 461240 461240 461240 461240
461240 461240 461240 461240 461240
Event 7.2. v[ 452593] = 466496 < 466497; u[ 466497] = 452574 < 452593.
b=0 c=0 v[ 452575]: 466496 466496 466496 466496 466496 466496 466496
466496 466496 466496 466496 466496 466496 466496
466496 466496 466496 466496 466496
Event 7.1. u[ 456298] = 442360 < 442361; v[ 442361] = 456279 < 456298.
b=0 c=0 u[ 456280]: 442360 442360 442360 442360 442360 442360 442360
442360 442360 442360 442360 442360 442360 442360
442360 442360 442360 442360 442360
d = -18.
Event 7.1. u[ 3678] = 2696 < 2697; v[ 2697] = 3660 < 3678.
b=0 c=0 u[ 3661]: 2696 2696 2696 2696 2696 2696 2696
2696 2696 2696 2696 2696 2696 2696
2696 2696 2696 2696
Event 7.1. u[ 32589] = 24032 < 24033; v[ 24033] = 32571 < 32589.
b=0 c=0 u[ 32572]: 24032 24032 24032 24032 24032 24032 24032
24032 24032 24032 24032 24032 24032 24032
24032 24032 24032 24032
Event 7.2. v[ 38984] = 52088 < 52089; u[ 52089] = 38966 < 38984.
b=0 c=0 v[ 38967]: 52088 52088 52088 52088 52088 52088 52088
52088 52088 52088 52088 52088 52088 52088
52088 52088 52088 52088
Event 7.2. v[ 42992] = 57080 < 57081; u[ 57081] = 42974 < 42992.
b=0 c=0 v[ 42975]: 57080 57080 57080 57080 57080 57080 57080
57080 57080 57080 57080 57080 57080 57080
57080 57080 57080 57080
Event 7.2. v[ 478600] = 492840 < 492841; u[ 492841] = 478582 < 478600.
b=0 c=0 v[ 478583]: 492840 492840 492840 492840 492840 492840 492840
492840 492840 492840 492840 492840 492840 492840
492840 492840 492840 492840
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 104980 104980 0 0 -1
-2 60142 93743 0 0 -2
-3 55111 89672 0 0 -3
-4 45431 19203 0 0 -4
-5 32047 12050 0 0 -5
-6 5242 9668 0 0 -6
-7 3616 7434 0 0 -7
-8 2604 5740 0 0 -8
-9 2012 4006 0 0 -9
-10 1257 3383 0 0 -10
-11 949 2979 0 0 -11
-12 513 2268 0 0 -12
-13 221 337 0 0 -13
-14 113 162 0 0 -14
-15 23 150 0 0 -15
-16 16 143 0 0 -16
-17 8 126 0 0 -17
-18 6 103 0 0 -18
-19 4 5 0 0 -19
-20 1 0 0 0 -20
-21 0 0 0 0 -21
Totals / Min / Under -25:
314296 356152 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 965765 0 17 20
0 -79 0 -59 0 -39 9 -19 40801 1 17 21
0 -78 0 -58 0 -38 109 -18 69049 2 17 22
0 -77 0 -57 0 -37 134 -17 48670 3 17 23
0 -76 0 -56 0 -36 159 -16 90669 4 17 24
0 -75 0 -55 0 -35 173 -15 36383 5 17 25
0 -74 0 -54 0 -34 275 -14 38474 6 17 26
0 -73 0 -53 0 -33 558 -13 6750 7 17 27
0 -72 0 -52 0 -32 2781 -12 3196 8 17 28
0 -71 0 -51 0 -31 3928 -11 4255 9 17 29
0 -70 0 -50 0 -30 4640 -10 1578 10 17 30
0 -69 0 -49 0 -29 6018 -9 670 11 17 31
0 -68 0 -48 0 -28 8344 -8 512 12 17 32
0 -67 0 -47 0 -27 11050 -7 70 13 17 33
0 -66 0 -46 0 -26 14910 -6 264 14 17 34
0 -65 0 -45 0 -25 44097 -5 143 15 17 35
0 -64 0 -44 0 -24 64634 -4 52 16 17 36
0 -63 0 -43 0 -23 144783 -3 25 17 17 37
0 -62 0 -42 0 -22 153885 -2 20 18 18 38
0 -61 0 -41 0 -21 209960 -1 18 19 16 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 | ooo
100000 | oooo
50000 | ooooo o o
0 |_________oooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 1985923. Min thru -81 = 0.
Type = RR|CC1. Minimum = -20. -80 thru -1 = 670448.
Behav = Relaxed. Maximum = 3853. 0 thru 39 = 1307704.
histend K = 500000. 40 thru Max = 7771.
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 15038 0 180 20
0 -79 0 -59 0 -39 0 -19 33067 1 160 21
0 -78 0 -58 0 -38 0 -18 92265 2 137 22
0 -77 0 -57 0 -37 0 -17 96737 3 32 23
0 -76 0 -56 0 -36 0 -16 153261 4 22 24
0 -75 0 -55 0 -35 0 -15 151283 5 22 25
0 -74 0 -54 0 -34 0 -14 162685 6 21 26
0 -73 0 -53 0 -33 0 -13 150361 7 19 27
0 -72 0 -52 0 -32 0 -12 41519 8 18 28
0 -71 0 -51 0 -31 0 -11 26469 9 18 29
0 -70 0 -50 0 -30 0 -10 15046 10 17 30
0 -69 0 -49 0 -29 0 -9 11350 11 17 31
0 -68 0 -48 0 -28 0 -8 7495 12 17 32
0 -67 0 -47 0 -27 0 -7 6102 13 17 33
0 -66 0 -46 0 -26 0 -6 5173 14 17 34
0 -65 0 -45 0 -25 0 -5 4316 15 17 35
0 -64 0 -44 0 -24 0 -4 3562 16 17 36
0 -63 0 -43 0 -23 0 -3 853 17 17 37
0 -62 0 -42 0 -22 0 -2 393 18 17 38
0 -61 0 -41 0 -21 0 -1 316 19 17 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | | o
150000 | | oooo
140000 | | oooo
130000 | | oooo
120000 | | oooo
110000 | | oooo
100000 | | oooo
90000 | | oooooo
80000 | | oooooo
70000 | | oooooo
60000 | | oooooo
50000 | | oooooo
40000 | | ooooooo
30000 | |oooooooo
20000 | |ooooooooo
10000 | oooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 999856. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 14070. 0 thru 39 = 978090.
histend K = 500000. 40 thru Max = 21766.
End analysis of Test T710 at 17:24:08.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:24:09.171 980623
End execution of Test T720 at 17:24:09.671 980623
Duration 0.500
Start analysis of Test T720 at 17:24:10.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.188 0.188 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 0 18 0 0
24999 18547 33200 0 0
49998 40259 60576 0 0
74997 64024 86872 0 0
99996 88488 111841 0 0
124995 113349 135964 0 0
149994 139077 162776 0 0
174993 162256 187528 0 0
199992 187352 212344 0 0
224991 212739 236960 0 0
249990 238083 261755 0 0
274989 263266 286656 0 0
299988 288361 311644 0 0
324987 312532 337388 0 0
349986 337653 362461 0 0
374985 362632 387176 0 0
399984 385845 414051 0 0
424983 411010 440249 0 0
449982 434848 464968 0 0
474981 460195 489679 0 0
499980 485460 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
2222
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
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
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
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
11
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 752382 0
1 7963 16114
2 52998 60547
3 17504 3007
4 101330 96557
5 18161 6423
6 40399 52204
7 5374 8264
8 1310 2161
9 2051 1185
10 126 131
11 202 409
12 68 190
13 57 163
14 45 124
15 5 85
16 1 12
17 2 16
18 0 3
19 0 1
over 17 18
d = -19.
Event 7.1. u[ 319505] = 307056 < 307057; v[ 307057] = 319486 < 319505.
b=0 c=0 u[ 319487]: 307056 307056 307056 307056 307056 307056 307056
307056 307056 307056 307056 307056 307056 307056
307056 307056 307056 307056 307056
d = -18.
Event 7.1. u[ 319504] = 307056 < 307057; v[ 307057] = 319486 < 319504.
b=0 c=0 u[ 319487]: 307056 307056 307056 307056 307056 307056 307056
307056 307056 307056 307056 307056 307056 307056
307056 307056 307056 307056
d = -17.
Event 7.2. v[ 215680] = 227896 < 227897; u[ 227897] = 215663 < 215680.
b=0 c=0 v[ 215664]: 227896 227896 227896 227896 227896 227896 227896
227896 227896 227896 227896 227896 227896 227896
227896 227896 227896
Event 7.1. u[ 319503] = 307056 < 307057; v[ 307057] = 319486 < 319503.
b=0 c=0 u[ 319487]: 307056 307056 307056 307056 307056 307056 307056
307056 307056 307056 307056 307056 307056 307056
307056 307056 307056
Event 7.2. v[ 385403] = 399568 < 399569; u[ 399569] = 385386 < 385403.
b=0 c=0 v[ 385387]: 399568 399568 399568 399568 399568 399568 399568
399568 399568 399568 399568 399568 399568 399568
399568 399568 399568
Event 7.2. v[ 431016] = 446176 < 446177; u[ 446177] = 430999 < 431016.
b=0 c=0 v[ 431000]: 446176 446176 446176 446176 446176 446176 446176
446176 446176 446176 446176 446176 446176 446176
446176 446176 446176
d = -16.
Event 7.2. v[ 11779] = 15928 < 15929; u[ 15929] = 11763 < 11779.
b=0 c=0 v[ 11764]: 15928 15928 15928 15928 15928 15928 15928
15928 15928 15928 15928 15928 15928 15928
15928 15928
Event 7.1. u[ 58278] = 47848 < 47849; v[ 47849] = 58262 < 58278.
b=0 c=0 u[ 58263]: 47848 47848 47848 47848 47848 47848 47848
47848 47848 47848 47848 47848 47848 47848
47848 47848
Event 7.1. u[ 106835] = 94856 < 94857; v[ 94857] = 106819 < 106835.
b=0 c=0 u[ 106820]: 94856 94856 94856 94856 94856 94856 94856
94856 94856 94856 94856 94856 94856 94856
94856 94856
Event 7.2. v[ 148227] = 161016 < 161017; u[ 161017] = 148211 < 148227.
b=0 c=0 v[ 148212]: 161016 161016 161016 161016 161016 161016 161016
161016 161016 161016 161016 161016 161016 161016
161016 161016
Event 7.2. v[ 156115] = 168856 < 168857; u[ 168857] = 156099 < 156115.
b=0 c=0 v[ 156100]: 168856 168856 168856 168856 168856 168856 168856
168856 168856 168856 168856 168856 168856 168856
168856 168856
Event 7.2. v[ 164355] = 177048 < 177049; u[ 177049] = 164339 < 164355.
b=0 c=0 v[ 164340]: 177048 177048 177048 177048 177048 177048 177048
177048 177048 177048 177048 177048 177048 177048
177048 177048
Event 7.2. v[ 167875] = 180472 < 180473; u[ 180473] = 167859 < 167875.
b=0 c=0 v[ 167860]: 180472 180472 180472 180472 180472 180472 180472
180472 180472 180472 180472 180472 180472 180472
180472 180472
Event 7.2. v[ 215679] = 227896 < 227897; u[ 227897] = 215663 < 215679.
b=0 c=0 v[ 215664]: 227896 227896 227896 227896 227896 227896 227896
227896 227896 227896 227896 227896 227896 227896
227896 227896
Event 7.2. v[ 224827] = 236792 < 236793; u[ 236793] = 224811 < 224827.
b=0 c=0 v[ 224812]: 236792 236792 236792 236792 236792 236792 236792
236792 236792 236792 236792 236792 236792 236792
236792 236792
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 109590 109590 0 0 -1
-2 87824 70744 0 0 -2
-3 86824 69799 0 0 -3
-4 21491 36549 0 0 -4
-5 16439 31666 0 0 -5
-6 3949 5530 0 0 -6
-7 2319 2143 0 0 -7
-8 1911 1315 0 0 -8
-9 459 650 0 0 -9
-10 390 599 0 0 -10
-11 222 369 0 0 -11
-12 192 208 0 0 -12
-13 97 148 0 0 -13
-14 35 77 0 0 -14
-15 11 19 0 0 -15
-16 4 16 0 0 -16
-17 1 3 0 0 -17
-18 1 0 0 0 -18
-19 1 0 0 0 -19
-20 0 0 0 0 -20
Totals / Min / Under -25:
331760 329425 0 0
19 17 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 979526 0 17 20
0 -79 0 -59 0 -39 1 -19 32211 1 16 21
0 -78 0 -58 0 -38 1 -18 72898 2 16 22
0 -77 0 -57 0 -37 4 -17 30691 3 16 23
0 -76 0 -56 0 -36 20 -16 114109 4 16 24
0 -75 0 -55 0 -35 30 -15 27863 5 16 25
0 -74 0 -54 0 -34 112 -14 49083 6 16 26
0 -73 0 -53 0 -33 245 -13 5876 7 16 27
0 -72 0 -52 0 -32 400 -12 1384 8 16 28
0 -71 0 -51 0 -31 591 -11 2098 9 16 29
0 -70 0 -50 0 -30 989 -10 169 10 16 30
0 -69 0 -49 0 -29 1109 -9 239 11 16 31
0 -68 0 -48 0 -28 3226 -8 100 12 16 32
0 -67 0 -47 0 -27 4462 -7 82 13 16 33
0 -66 0 -46 0 -26 9479 -6 64 14 16 34
0 -65 0 -45 0 -25 48105 -5 23 15 16 35
0 -64 0 -44 0 -24 58040 -4 18 16 16 36
0 -63 0 -43 0 -23 156623 -3 19 17 16 37
0 -62 0 -42 0 -22 158568 -2 17 18 16 38
0 -61 0 -41 0 -21 219180 -1 17 19 16 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 |_________.ooooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 1985478. Min thru -81 = 0.
Type = RR|CC1. Minimum = -19. -80 thru -1 = 661185.
Behav = Relaxed. Maximum = 1923. 0 thru 39 = 1316808.
histend K = 500000. 40 thru Max = 7485.
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 14461 0 26 20
0 -79 0 -59 0 -39 0 -19 24248 1 21 21
0 -78 0 -58 0 -38 0 -18 78262 2 19 22
0 -77 0 -57 0 -37 0 -17 78543 3 17 23
0 -76 0 -56 0 -36 0 -16 169735 4 16 24
0 -75 0 -55 0 -35 0 -15 171677 5 16 25
0 -74 0 -54 0 -34 0 -14 201312 6 16 26
0 -73 0 -53 0 -33 0 -13 190291 7 16 27
0 -72 0 -52 0 -32 0 -12 20408 8 16 28
0 -71 0 -51 0 -31 0 -11 12155 9 16 29
0 -70 0 -50 0 -30 0 -10 6887 10 16 30
0 -69 0 -49 0 -29 0 -9 4097 11 16 31
0 -68 0 -48 0 -28 0 -8 2212 12 16 32
0 -67 0 -47 0 -27 0 -7 1196 13 16 33
0 -66 0 -46 0 -26 0 -6 775 14 16 34
0 -65 0 -45 0 -25 0 -5 597 15 16 35
0 -64 0 -44 0 -24 0 -4 441 16 16 36
0 -63 0 -43 0 -23 0 -3 152 17 16 37
0 -62 0 -42 0 -22 0 -2 92 18 16 38
0 -61 0 -41 0 -21 0 -1 38 19 16 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | | o
180000 | | oo
160000 | | oooo
140000 | | oooo
120000 | | oooo
100000 | | oooo
80000 | | oooo
60000 | | oooooo
40000 | | oooooo
20000 | |oooooooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 999910. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 14519. 0 thru 39 = 977918.
histend K = 500000. 40 thru Max = 21992.
End analysis of Test T720 at 17:24:11.546 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:24:11.890 980623
End execution of Test T800 at 17:24:12.406 980623
Duration 0.516
Start analysis of Test T800 at 17:24:12.812 980623
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.110 0.110 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 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
1F2
F
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F2
F22
F2
F2
F
F2
22F
22F
2F
2F
22F
2F
2F1
F
F
2F
F
F
F
2F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F2
F
F
F
F
F
F
2F
2F
2F
2F
2F
2F
F
F
F1
2F
F
2F
2F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1998707 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1998707. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1998707.
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 1998707 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1998707. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1998707.
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:24:42.171 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:24:42.515 980623
End execution of Test T820 at 17:24:43.031 980623
Duration 0.516
Start analysis of Test T820 at 17:24:43.906 980623
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.110 0.110 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 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
F
2 F
F
F
F
F
F
F
F
F
2F
F
F
F
2 F1
F
F
F
F1
2F
F
2 F
F
2F 1
F1
F
F
F
F
F
F
2 F
F
F
F
F
F
F
F
F
F
F
2F
F
F
F
2 F
F
F1
F
F
2 F
F
F1
2F
2F1
F
2F1
F
F
F1
22F1
22F
22F1
2F11
22F11
2F
F11
F11
22F
2 F1
2 F 1
22F11
22F11
2F1
2F 1
2F1
2F1
F1
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 1999834 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1999834. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1999834.
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 1999834 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
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 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1999834. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1999834.
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:25:13.234 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.047
Subtractions: 0.031
Multiplications: 0.047
Divisions: 0.219
Time to perform 1000000 of the following floating operations:
Additions: 1.343
Subtractions: 1.344
Multiplications: 1.359
Divisions: 1.360
================================================================================
Summary of run: 17:25:19.031 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: never
Line count: 0.
Action count: 0.
Interference count: 0.
T10 thread 0 count: 100000.
T10 thread 1 count: 10000.
T10 thread 2 count: 100000.
Each test in ARCHTEST seeks to observe a relaxation of behavior
defined by one or another subset of the following seven rules:
URR, RR, WW, RW, WR, CC1, and CC3. Here are the tests that have
just been run and the architectures whose relaxation
the tests have sought to detect.
T1xx. Both A(CMP,UPO,URR,WW) and A(CMP,UPO,URR,CC3)
T2xx. A(CMP,UPO,RR,WW)
T4xx. Both A(CMP,UPO,WW,WR) and (A(CMP,UPO,WR,CC3),
or both A(CMP,UPO,WW) and (A(CMP,UPO,RW)
T7xx. A(CMP,UPO,RR,CC1)
or both A(CMP,UPO,WW) and (A(CMP,UPO,RW))
T8xx. Both A(CMP,UPO,CC3) and (A(CMP,UPO,WR),
or A(CMP,UPO,CC3)
The tests performed on this run are listed below. Shown for each test
are (1) the durations of the test and of its analysis, and (2) the number of
integer operands and the number of floating point operands used in the test.
The d value, if blank, indicates strong behavior. Otherwise, the more
negative the d value, the more relaxed the behavior observed by the test.
Execution Analysis Operands
Duration Duration Test d int flt
0.500 0.265 T100 1 0
0.500 0.266 T120 0 1
0.500 0.750 T200 2 0
0.515 0.781 T210 1 1
0.515 0.782 T220 0 2
0.500 1.406 T400.1 -25 2 0
T400.2 2 0
0.500 1.469 T410.1 -24 1 1
T410.2 1 1
0.515 1.437 T420.1 -21 0 2
T420.2 0 2
0.500 1.407 T700.1 -25 2 0
T700.2 2 0
0.500 1.453 T710.1 -20 1 1
T710.2 1 1
0.500 1.421 T720.1 -19 0 2
T720.2 0 2
0.516 29.359 T800 1 0
0.516 29.328 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