ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
17:26:04.796 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: a1111101.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:26:34.015 980623
End execution of Test T100 at 17:26:34.515 980623
Duration 0.500
Start analysis of Test T100 at 17:26:34.515 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.094 0.000 0.000 0.000 0.000 0.000 0.000
0.172 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 0 0 0
24999 18581 0 0 0
49998 41337 0 0 0
74997 64068 0 0 0
99996 87335 0 0 0
124995 110308 0 0 0
149994 133107 0 0 0
174993 156123 0 0 0
199992 179020 0 0 0
224991 202023 0 0 0
249990 224259 0 0 0
274989 246917 0 0 0
299988 269833 0 0 0
324987 292295 0 0 0
349986 314861 0 0 0
374985 337259 0 0 0
399984 359929 0 0 0
424983 382541 0 0 0
449982 404626 0 0 0
474981 427286 0 0 0
499980 449226 0 0 0
dim = 80, max = 449253, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 408943 0
1 82 3372
2 12347 2344
3 17794 26138
4 10789 30320
5 11723 8294
6 14521 4330
7 12963 3428
8 7703 36
9 2630 32
10 430 37
11 56 50
12 8 75
13 3 97
14 0 1010
15 0 5906
16 0 2878
17 0 2352
18 0 229
19 0 71
over 6 56
End analysis of Test T100 at 17:26:34.781 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:26:35.109 980623
End execution of Test T120 at 17:26:35.609 980623
Duration 0.500
Start analysis of Test T120 at 17:26:36.062 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.172 0.078 0.000 0.000 0.000 0.000 0.000 0.000
0.172 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 18096 0 0 0
49998 39171 0 0 0
74997 60039 0 0 0
99996 80822 0 0 0
124995 101799 0 0 0
149994 122507 0 0 0
174993 143060 0 0 0
199992 164205 0 0 0
224991 185117 0 0 0
249990 206132 0 0 0
274989 227060 0 0 0
299988 248067 0 0 0
324987 268986 0 0 0
349986 289678 0 0 0
374985 309122 0 0 0
399984 330017 0 0 0
424983 351557 0 0 0
449982 372449 0 0 0
474981 393161 0 0 0
499980 414173 0 0 0
dim = 80, max = 414196, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
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 411015 0
1 102 2145
2 12686 2578
3 18751 24914
4 10703 30760
5 11939 7889
6 18161 4145
7 13374 3126
8 2928 19
9 290 27
10 23 11
11 12 9
12 7 11
13 1 64
14 1 2928
15 0 4873
16 0 3306
17 0 1684
18 0 360
19 0 90
over 5 44
End analysis of Test T120 at 17:26:36.328 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:26:36.656 980623
End execution of Test T200 at 17:26:37.171 980623
Duration 0.515
Start analysis of Test T200 at 17:26:37.171 980623
Thread start, stop, and dur times.
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
0.453 0.406 0.000 0.000 0.000 0.000 0.000 0.000
0.438 0.391 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 23 28 0 0
24999 63639 63642 0 0
49998 130223 130223 0 0
74997 197629 197628 0 0
99996 264938 264938 0 0
124995 332146 332151 0 0
149994 399495 399497 0 0
174993 466724 466724 0 0
199992 533313 533316 0 0
224991 600703 600706 0 0
249990 668131 668135 0 0
274989 735434 735437 0 0
299988 802437 802436 0 0
324987 868041 868041 0 0
349986 934809 934808 0 0
374985 1002017 1002016 0 0
399984 1061654 1061653 0 0
424983 1128833 1128833 0 0
449982 1195106 1195110 0 0
474981 1261291 1261294 0 0
499980 1327906 1327907 0 0
dim = 80, max = 1327964, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 391304 0
1 44659 316099
2 14209 222714
3 121023 55953
4 178592 8369
5 123733 5129
6 55857 303
7 37415 24
8 21378 9
9 8366 13
10 2617 37
11 657 6
12 113 14
13 16 5
14 2 1
15 2 2
16 1 1
17 0 3
18 0 0
19 0 0
over 52 10
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 588584 0 0 20
0 -79 0 -59 0 -39 0 -19 470537 1 0 21
0 -78 0 -58 0 -38 0 -18 97174 2 0 22
0 -77 0 -57 0 -37 0 -17 229327 3 0 23
0 -76 0 -56 0 -36 0 -16 265427 4 0 24
0 -75 0 -55 0 -35 0 -15 182245 5 0 25
0 -74 0 -54 0 -34 0 -14 77904 6 0 26
0 -73 0 -53 0 -33 0 -13 49169 7 0 27
0 -72 0 -52 0 -32 0 -12 26490 8 0 28
0 -71 0 -51 0 -31 0 -11 9471 9 0 29
0 -70 0 -50 0 -30 0 -10 2773 10 0 30
0 -69 0 -49 0 -29 0 -9 678 11 0 31
0 -68 0 -48 0 -28 0 -8 113 12 0 32
0 -67 0 -47 0 -27 0 -7 17 13 0 33
0 -66 0 -46 0 -26 0 -6 2 14 0 34
0 -65 0 -45 0 -25 0 -5 2 15 0 35
0 -64 0 -44 0 -24 0 -4 1 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 ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | o
520000 | o
480000 | o
440000 | oo
400000 | oo
360000 | oo
320000 | oo
280000 | oo
240000 | oo o
200000 | oo oo
160000 | oo ooo
120000 | oo ooo
80000 | oooooo
40000 | oooooooo
0 |_________._________._________.oooooooooooooooo___._________._________
-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 = 712. 0 thru 39 = 1999914.
histend K = 500000. 40 thru Max = 78.
End analysis of Test T200 at 17:26:37.984 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:26:38.312 980623
End execution of Test T210 at 17:26:38.812 980623
Duration 0.500
Start analysis of Test T210 at 17:26:39.015 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.469 0.375 0.000 0.000 0.000 0.000 0.000 0.000
0.469 0.375 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 15 15 0 0
24999 55572 55575 0 0
49998 114940 114939 0 0
74997 173488 173490 0 0
99996 232200 232199 0 0
124995 290682 290681 0 0
149994 349281 349281 0 0
174993 408355 408357 0 0
199992 467294 467296 0 0
224991 525781 525783 0 0
249990 584607 584610 0 0
274989 643416 643420 0 0
299988 701102 701102 0 0
324987 759265 759267 0 0
349986 818104 818105 0 0
374985 876658 876664 0 0
399984 935538 935538 0 0
424983 994505 994504 0 0
449982 1052942 1052941 0 0
474981 1110325 1110324 0 0
499980 1169617 1169617 0 0
dim = 80, max = 1169673, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 422805 0
1 51701 262955
2 18343 236842
3 125503 56169
4 194770 14982
5 98454 5740
6 42529 373
7 29402 50
8 11955 6
9 3580 6
10 767 18
11 102 29
12 24 9
13 11 2
14 2 0
15 0 2
16 0 0
17 0 0
18 0 0
19 0 2
over 48 6
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 637568 0 0 20
0 -79 0 -59 0 -39 0 -19 506511 1 0 21
0 -78 0 -58 0 -38 0 -18 77747 2 0 22
0 -77 0 -57 0 -37 0 -17 220673 3 0 23
0 -76 0 -56 0 -36 0 -16 300475 4 0 24
0 -75 0 -55 0 -35 0 -15 145538 5 0 25
0 -74 0 -54 0 -34 0 -14 56341 6 0 26
0 -73 0 -53 0 -33 0 -13 36608 7 0 27
0 -72 0 -52 0 -32 0 -12 13660 8 0 28
0 -71 0 -51 0 -31 0 -11 3843 9 0 29
0 -70 0 -50 0 -30 0 -10 813 10 0 30
0 -69 0 -49 0 -29 0 -9 106 11 0 31
0 -68 0 -48 0 -28 0 -8 24 12 0 32
0 -67 0 -47 0 -27 0 -7 11 13 0 33
0 -66 0 -46 0 -26 0 -6 2 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 ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | oo
440000 | oo
400000 | oo
360000 | oo
320000 | oo
280000 | oo o
240000 | oo o
200000 | oo oo
160000 | oo oo
120000 | oo ooo
80000 | oo ooo
40000 | ooooooo
0 |_________._________._________.oooooooooooooo_____._________._________
-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 = 266. 0 thru 39 = 1999920.
histend K = 500000. 40 thru Max = 72.
End analysis of Test T210 at 17:26:39.812 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:26:40.140 980623
End execution of Test T220 at 17:26:40.656 980623
Duration 0.516
Start analysis of Test T220 at 17:26:41.109 980623
Thread start, stop, and dur times.
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
0.485 0.375 0.000 0.000 0.000 0.000 0.000 0.000
0.469 0.359 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 52643 52647 0 0
49998 109438 109437 0 0
74997 166084 166087 0 0
99996 222863 222862 0 0
124995 279120 279120 0 0
149994 335537 335541 0 0
174993 392106 392106 0 0
199992 448436 448435 0 0
224991 505113 505112 0 0
249990 561214 561217 0 0
274989 618314 618313 0 0
299988 674739 674738 0 0
324987 731221 731221 0 0
349986 788002 788005 0 0
374985 845566 845565 0 0
399984 902317 902316 0 0
424983 958948 958947 0 0
449982 1015753 1015757 0 0
474981 1074454 1074457 0 0
499980 1130779 1130778 0 0
dim = 80, max = 1130824, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
33
3
3
3
3
3
3
3
3
3
3
3
3
3
3
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 436175 0
1 58488 237762
2 14979 247919
3 117287 57358
4 194822 15369
5 94910 5029
6 40891 179
7 27756 31
8 11006 13
9 2976 35
10 565 40
11 83 11
12 16 24
13 2 1
14 1 1
15 1 0
16 0 1
17 0 0
18 0 0
19 0 0
over 38 48
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 656678 0 0 20
0 -79 0 -59 0 -39 0 -19 531963 1 0 21
0 -78 0 -58 0 -38 0 -18 59611 2 0 22
0 -77 0 -57 0 -37 0 -17 202256 3 0 23
0 -76 0 -56 0 -36 0 -16 300850 4 2 24
0 -75 0 -55 0 -35 0 -15 141917 5 1 25
0 -74 0 -54 0 -34 0 -14 55503 6 3 26
0 -73 0 -53 0 -33 0 -13 34737 7 1 27
0 -72 0 -52 0 -32 0 -12 12576 8 3 28
0 -71 0 -51 0 -31 0 -11 3160 9 9 29
0 -70 0 -50 0 -30 0 -10 580 10 5 30
0 -69 0 -49 0 -29 0 -9 84 11 1 31
0 -68 0 -48 0 -28 0 -8 16 12 5 32
0 -67 0 -47 0 -27 0 -7 2 13 0 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 2 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 3 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | oo
480000 | oo
440000 | oo
400000 | oo
360000 | oo
320000 | oo
280000 | oo o
240000 | oo o
200000 | oo oo
160000 | oo oo
120000 | oo ooo
80000 | oo ooo
40000 | ooooooo
0 |_________._________._________.ooooooooooooooo____.___ooooooooo_oo__o_
-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 = 1183. 0 thru 39 = 1999971.
histend K = 500000. 40 thru Max = 21.
End analysis of Test T220 at 17:26:41.906 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:26:42.250 980623
End execution of Test T400 at 17:26:42.765 980623
Duration 0.515
Start analysis of Test T400 at 17:26:42.781 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.218 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.203 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 375 0 0 0
24999 27470 22635 0 0
49998 52414 47508 0 0
74997 77708 72326 0 0
99996 103240 96746 0 0
124995 128748 121520 0 0
149994 154731 145320 0 0
174993 180429 169753 0 0
199992 206040 194194 0 0
224991 231363 218682 0 0
249990 256626 243447 0 0
274989 281706 268260 0 0
299988 307376 292928 0 0
324987 332904 317242 0 0
349986 358179 342058 0 0
374985 384714 366480 0 0
399984 409923 390272 0 0
424983 434994 414816 0 0
449982 460148 439835 0 0
474981 485411 464568 0 0
499980 499999 489422 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
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
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
2
12
12
12
12
12
12
12
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 738062 0
1 34431 53604
2 43191 52954
3 64818 38258
4 41364 27046
5 30328 25960
6 17031 23561
7 13292 18209
8 9044 10916
9 4038 5029
10 1899 2721
11 1081 1574
12 713 972
13 384 595
14 174 314
15 87 136
16 31 52
17 8 11
18 0 1
19 1 0
over 18 21
d = -18.
Event 4.1. u[ 70899] = 73560 < 73561; v[ 73561] = 70881 < 70899.
b=2 c=1 u[ 70882]: 73558 73558 73560 73560 73560 73560 73560
73560 73560 73560 73560 73560 73560 73560
73560 73560 73560 73560
d = -17.
Event 4.1. u[ 64138] = 67008 < 67009; v[ 67009] = 64121 < 64138.
b=1 c=1 u[ 64122]: 67007 67007 67008 67008 67008 67008 67008
67008 67008 67008 67008 67008 67008 67008
67008 67008 67008
Event 4.1. u[ 70898] = 73560 < 73561; v[ 73561] = 70881 < 70898.
b=2 c=1 u[ 70882]: 73558 73558 73560 73560 73560 73560 73560
73560 73560 73560 73560 73560 73560 73560
73560 73560 73560
Event 4.1. u[ 91628] = 94952 < 94953; v[ 94953] = 91611 < 91628.
b=2 c=1 u[ 91612]: 94950 94950 94952 94952 94952 94952 94952
94952 94952 94952 94952 94952 94952 94952
94952 94952 94952
Event 4.1. u[ 213595] = 220088 < 220089; v[ 220089] = 213578 < 213595.
b=1 c=1 u[ 213579]: 220087 220087 220088 220088 220088 220088 220088
220088 220088 220088 220088 220088 220088 220088
220088 220088 220088
Event 4.1. u[ 239314] = 245968 < 245969; v[ 245969] = 239297 < 239314.
b=2 c=1 u[ 239298]: 245966 245966 245968 245968 245968 245968 245968
245968 245968 245968 245968 245968 245968 245968
245968 245968 245968
Event 4.1. u[ 341234] = 349120 < 349121; v[ 349121] = 341217 < 341234.
b=1 c=1 u[ 341218]: 349119 349119 349120 349120 349120 349120 349120
349120 349120 349120 349120 349120 349120 349120
349120 349120 349120
d = -16.
Event 4.2. v[ 8346] = 6352 < 6353; u[ 6353] = 8330 < 8346.
b=2 c=1 v[ 8331]: 6350 6350 6352 6352 6352 6352 6352
6352 6352 6352 6352 6352 6352 6352
6352 6352
Event 4.2. v[ 21747] = 19344 < 19345; u[ 19345] = 21731 < 21747.
b=0 c=0 v[ 21732]: 19344 19344 19344 19344 19344 19344 19344
19344 19344 19344 19344 19344 19344 19344
19344 19344
Event 4.2. v[ 29299] = 26784 < 26785; u[ 26785] = 29283 < 29299.
b=2 c=1 v[ 29284]: 26782 26782 26784 26784 26784 26784 26784
26784 26784 26784 26784 26784 26784 26784
26784 26784
Event 4.2. v[ 45603] = 43168 < 43169; u[ 43169] = 45587 < 45603.
b=1 c=1 v[ 45588]: 43167 43167 43168 43168 43168 43168 43168
43168 43168 43168 43168 43168 43168 43168
43168 43168
Event 4.1. u[ 46792] = 49288 < 49289; v[ 49289] = 46776 < 46792.
b=9 c=2 u[ 46777]: 49279 49279 49287 49287 49288 49288 49288
49288 49288 49288 49288 49288 49288 49288
49288 49288
Event 4.2. v[ 58536] = 55840 < 55841; u[ 55841] = 58520 < 58536.
b=11 c=2 v[ 58521]: 55829 55829 55839 55839 55840 55840 55840
55840 55840 55840 55840 55840 55840 55840
55840 55840
Event 4.1. u[ 64137] = 67008 < 67009; v[ 67009] = 64121 < 64137.
b=1 c=1 u[ 64122]: 67007 67007 67008 67008 67008 67008 67008
67008 67008 67008 67008 67008 67008 67008
67008 67008
Event 4.1. u[ 471913] = 482352 < 482353; v[ 482353] = 471897 < 471913.
b=2 c=1 u[ 471898]: 482350 482350 482352 482352 482352 482352 482352
482352 482352 482352 482352 482352 482352 482352
482352 482352
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 81869 81869 0 0 -1
-2 66360 67094 0 0 -2
-3 44976 45770 0 0 -3
-4 29242 30115 0 0 -4
-5 17708 18586 0 0 -5
-6 12215 12914 0 0 -6
-7 7679 8308 0 0 -7
-8 4496 5031 0 0 -8
-9 2812 3243 0 0 -9
-10 1875 2141 0 0 -10
-11 1075 1282 0 0 -11
-12 514 702 0 0 -12
-13 247 329 0 0 -13
-14 117 144 0 0 -14
-15 48 47 0 0 -15
-16 13 15 0 0 -16
-17 6 0 0 0 -17
-18 1 0 0 0 -18
-19 0 0 0 0 -19
Totals / Min / Under -25:
271253 277590 0 0
18 16 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 921240 0 20 20
0 -79 0 -59 0 -39 0 -19 106468 1 19 21
0 -78 0 -58 0 -38 1 -18 102451 2 19 22
0 -77 0 -57 0 -37 6 -17 110268 3 19 23
0 -76 0 -56 0 -36 28 -16 71943 4 19 24
0 -75 0 -55 0 -35 95 -15 48348 5 19 25
0 -74 0 -54 0 -34 261 -14 27647 6 18 26
0 -73 0 -53 0 -33 576 -13 20032 7 18 27
0 -72 0 -52 0 -32 1216 -12 13472 8 18 28
0 -71 0 -51 0 -31 2357 -11 6758 9 18 29
0 -70 0 -50 0 -30 4016 -10 3390 10 18 30
0 -69 0 -49 0 -29 6055 -9 1959 11 19 31
0 -68 0 -48 0 -28 9527 -8 1265 12 17 32
0 -67 0 -47 0 -27 15987 -7 741 13 17 33
0 -66 0 -46 0 -26 25129 -6 355 14 17 34
0 -65 0 -45 0 -25 36294 -5 176 15 17 35
0 -64 0 -44 0 -24 59357 -4 67 16 17 36
0 -63 0 -43 0 -23 90746 -3 30 17 17 37
0 -62 0 -42 0 -22 133454 -2 21 18 17 38
0 -61 0 -41 0 -21 163738 -1 21 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 | oo
100000 | oooooo
50000 | ooooooooo
0 |_________._oooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 1989442. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -18. -80 thru -1 = 548843.
Behav = Relaxed. Maximum = 1331. 0 thru 39 = 1437012.
histend K = 500000. 40 thru Max = 3587.
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 18038 0 36 20
0 -79 0 -59 0 -39 0 -19 72037 1 27 21
0 -78 0 -58 0 -38 0 -18 96008 2 22 22
0 -77 0 -57 0 -37 0 -17 121018 3 19 23
0 -76 0 -56 0 -36 0 -16 136089 4 19 24
0 -75 0 -55 0 -35 0 -15 139255 5 19 25
0 -74 0 -54 0 -34 0 -14 119287 6 19 26
0 -73 0 -53 0 -33 0 -13 94884 7 18 27
0 -72 0 -52 0 -32 0 -12 68540 8 18 28
0 -71 0 -51 0 -31 0 -11 45450 9 18 29
0 -70 0 -50 0 -30 0 -10 29617 10 18 30
0 -69 0 -49 0 -29 0 -9 18836 11 18 31
0 -68 0 -48 0 -28 0 -8 11688 12 18 32
0 -67 0 -47 0 -27 0 -7 6894 13 18 33
0 -66 0 -46 0 -26 0 -6 3963 14 18 34
0 -65 0 -45 0 -25 0 -5 2086 15 17 35
0 -64 0 -44 0 -24 0 -4 959 16 17 36
0 -63 0 -43 0 -23 0 -3 449 17 17 37
0 -62 0 -42 0 -22 0 -2 216 18 17 38
0 -61 0 -41 0 -21 0 -1 89 19 17 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | |
130000 | | oo
120000 | | ooo
110000 | | oooo
100000 | | oooo
90000 | | oooooo
80000 | | oooooo
70000 | |ooooooo
60000 | |oooooooo
50000 | |oooooooo
40000 | |ooooooooo
30000 | |ooooooooo
20000 | |oooooooooo
10000 | ooooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 999624. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 10557. 0 thru 39 = 985793.
histend K = 500000. 40 thru Max = 13831.
End analysis of Test T400 at 17:26:44.187 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:26:44.515 980623
End execution of Test T410 at 17:26:45.015 980623
Duration 0.500
Start analysis of Test T410 at 17:26:45.218 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.219 0.219 0.000 0.000 0.000 0.000 0.000 0.000
0.219 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 327 0 0 0
24999 24965 25024 0 0
49998 48724 51320 0 0
74997 72152 78056 0 0
99996 95608 104729 0 0
124995 118796 131319 0 0
149994 142579 157896 0 0
174993 166062 184440 0 0
199992 189672 210910 0 0
224991 213035 237838 0 0
249990 236456 264399 0 0
274989 259811 291150 0 0
299988 283188 318094 0 0
324987 306488 343576 0 0
349986 330937 370565 0 0
374985 354197 397360 0 0
399984 377446 423732 0 0
424983 401184 450381 0 0
449982 424602 477029 0 0
474981 448000 499999 0 0
499980 471344 499999 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
222222
2
2
2
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
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
1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
21
21
21
31
3
1
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 727779 0
1 36915 60073
2 46422 55661
3 75542 41777
4 45049 30059
5 27088 27490
6 16791 23565
7 12028 16231
8 6484 8429
9 2824 3943
10 1452 2127
11 821 1235
12 414 815
13 231 454
14 88 224
15 42 79
16 7 30
17 1 4
18 0 1
19 0 0
over 17 20
d = -17.
Event 4.1. u[ 35114] = 34520 < 34521; v[ 34521] = 35097 < 35114.
b=1 c=1 u[ 35098]: 34519 34519 34519 34520 34520 34520 34520
34520 34520 34520 34520 34520 34520 34520
34520 34520 34520
Event 4.1. u[ 226609] = 214560 < 214561; v[ 214561] = 226592 < 226609.
b=5 c=2 u[ 226593]: 214555 214559 214560 214560 214560 214560 214560
214560 214560 214560 214560 214560 214560 214560
214560 214560 214560
d = -16.
Event 4.1. u[ 35113] = 34520 < 34521; v[ 34521] = 35097 < 35113.
b=1 c=1 u[ 35098]: 34519 34519 34519 34520 34520 34520 34520
34520 34520 34520 34520 34520 34520 34520
34520 34520
Event 4.2. v[ 206113] = 217576 < 217577; u[ 217577] = 206097 < 206113.
b=2 c=1 v[ 206098]: 217574 217574 217576 217576 217576 217576 217576
217576 217576 217576 217576 217576 217576 217576
217576 217576
Event 4.1. u[ 226608] = 214560 < 214561; v[ 214561] = 226592 < 226608.
b=5 c=2 u[ 226593]: 214555 214559 214560 214560 214560 214560 214560
214560 214560 214560 214560 214560 214560 214560
214560 214560
Event 4.1. u[ 279794] = 264400 < 264401; v[ 264401] = 279778 < 279794.
b=1 c=1 u[ 279779]: 264399 264399 264399 264400 264400 264400 264400
264400 264400 264400 264400 264400 264400 264400
264400 264400
Event 4.1. u[ 416529] = 393176 < 393177; v[ 393177] = 416513 < 416529.
b=1 c=1 u[ 416514]: 393175 393175 393176 393176 393176 393176 393176
393176 393176 393176 393176 393176 393176 393176
393176 393176
d = -15.
Event 4.1. u[ 35112] = 34520 < 34521; v[ 34521] = 35097 < 35112.
b=1 c=1 u[ 35098]: 34519 34519 34519 34520 34520 34520 34520
34520 34520 34520 34520 34520 34520 34520
34520
Event 4.1. u[ 64863] = 62704 < 62705; v[ 62705] = 64848 < 64863.
b=1 c=1 u[ 64849]: 62703 62703 62703 62704 62704 62704 62704
62704 62704 62704 62704 62704 62704 62704
62704
Event 4.2. v[ 148520] = 156304 < 156305; u[ 156305] = 148505 < 148520.
b=1 c=1 v[ 148506]: 156303 156303 156304 156304 156304 156304 156304
156304 156304 156304 156304 156304 156304 156304
156304
Event 4.1. u[ 180344] = 171208 < 171209; v[ 171209] = 180329 < 180344.
b=0 c=0 u[ 180330]: 171208 171208 171208 171208 171208 171208 171208
171208 171208 171208 171208 171208 171208 171208
171208
Event 4.2. v[ 206112] = 217576 < 217577; u[ 217577] = 206097 < 206112.
b=2 c=1 v[ 206098]: 217574 217574 217576 217576 217576 217576 217576
217576 217576 217576 217576 217576 217576 217576
217576
Event 4.1. u[ 208095] = 197384 < 197385; v[ 197385] = 208080 < 208095.
b=2 c=1 u[ 208081]: 197382 197382 197382 197382 197384 197384 197384
197384 197384 197384 197384 197384 197384 197384
197384
Event 4.2. v[ 219161] = 231624 < 231625; u[ 231625] = 219146 < 219161.
b=1 c=1 v[ 219147]: 231623 231623 231624 231624 231624 231624 231624
231624 231624 231624 231624 231624 231624 231624
231624
Event 4.1. u[ 438455] = 413728 < 413729; v[ 413729] = 438440 < 438455.
b=1 c=1 u[ 438441]: 413727 413727 413727 413727 413728 413728 413728
413728 413728 413728 413728 413728 413728 413728
413728
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 83418 83418 0 0 -1
-2 68356 68196 0 0 -2
-3 45396 40343 0 0 -3
-4 27922 22427 0 0 -4
-5 15308 16253 0 0 -5
-6 10396 9987 0 0 -6
-7 6431 5444 0 0 -7
-8 3562 3226 0 0 -8
-9 2172 1924 0 0 -9
-10 1336 1057 0 0 -10
-11 682 517 0 0 -11
-12 303 221 0 0 -12
-13 128 80 0 0 -13
-14 45 19 0 0 -14
-15 13 4 0 0 -15
-16 4 1 0 0 -16
-17 2 0 0 0 -17
-18 0 0 0 0 -18
Totals / Min / Under -25:
265474 253117 0 0
17 16 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 915779 0 19 20
0 -79 0 -59 0 -39 0 -19 113657 1 18 21
0 -78 0 -58 0 -38 0 -18 110988 2 18 22
0 -77 0 -57 0 -37 2 -17 125280 3 18 23
0 -76 0 -56 0 -36 5 -16 74317 4 18 24
0 -75 0 -55 0 -35 17 -15 43558 5 18 25
0 -74 0 -54 0 -34 64 -14 26702 6 18 26
0 -73 0 -53 0 -33 208 -13 18428 7 19 27
0 -72 0 -52 0 -32 524 -12 10354 8 18 28
0 -71 0 -51 0 -31 1199 -11 4890 9 17 29
0 -70 0 -50 0 -30 2393 -10 2534 10 17 30
0 -69 0 -49 0 -29 4096 -9 1439 11 17 31
0 -68 0 -48 0 -28 6788 -8 798 12 17 32
0 -67 0 -47 0 -27 11875 -7 445 13 17 33
0 -66 0 -46 0 -26 20383 -6 199 14 17 34
0 -65 0 -45 0 -25 31561 -5 94 15 17 35
0 -64 0 -44 0 -24 50349 -4 34 16 17 36
0 -63 0 -43 0 -23 85739 -3 21 17 17 37
0 -62 0 -42 0 -22 136552 -2 20 18 17 38
0 -61 0 -41 0 -21 166836 -1 19 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 | oo
100000 | oooooo
50000 | ooooooooo
0 |_________.__ooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 1971369. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -17. -80 thru -1 = 518591.
Behav = Relaxed. Maximum = 1105. 0 thru 39 = 1449907.
histend K = 500000. 40 thru Max = 2871.
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 15664 0 24 20
0 -79 0 -59 0 -39 0 -19 76742 1 20 21
0 -78 0 -58 0 -38 0 -18 99875 2 20 22
0 -77 0 -57 0 -37 0 -17 131494 3 18 23
0 -76 0 -56 0 -36 0 -16 146328 4 18 24
0 -75 0 -55 0 -35 0 -15 140182 5 18 25
0 -74 0 -54 0 -34 0 -14 115271 6 18 26
0 -73 0 -53 0 -33 0 -13 88332 7 18 27
0 -72 0 -52 0 -32 0 -12 60286 8 18 28
0 -71 0 -51 0 -31 0 -11 37995 9 18 29
0 -70 0 -50 0 -30 0 -10 23509 10 18 30
0 -69 0 -49 0 -29 0 -9 14328 11 18 31
0 -68 0 -48 0 -28 0 -8 8344 12 17 32
0 -67 0 -47 0 -27 0 -7 4765 13 17 33
0 -66 0 -46 0 -26 0 -6 2635 14 17 34
0 -65 0 -45 0 -25 0 -5 1348 15 17 35
0 -64 0 -44 0 -24 0 -4 593 16 17 36
0 -63 0 -43 0 -23 0 -3 246 17 17 37
0 -62 0 -42 0 -22 0 -2 111 18 17 38
0 -61 0 -41 0 -21 0 -1 42 19 17 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | |
140000 | | oo
130000 | | ooo
120000 | | ooo
110000 | | oooo
100000 | | oooo
90000 | | ooooo
80000 | | oooooo
70000 | |ooooooo
60000 | |oooooooo
50000 | |oooooooo
40000 | |oooooooo
30000 | |ooooooooo
20000 | |oooooooooo
10000 | oooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 999668. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 28626. 0 thru 39 = 968452.
histend K = 500000. 40 thru Max = 31216.
End analysis of Test T410 at 17:26:46.656 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:26:46.984 980623
End execution of Test T420 at 17:26:47.484 980623
Duration 0.500
Start analysis of Test T420 at 17:26:47.937 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.219 0.219 0.000 0.000 0.000 0.000 0.000 0.000
0.219 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 128 0 0
24999 26209 23805 0 0
49998 51255 48720 0 0
74997 76535 73448 0 0
99996 101992 97981 0 0
124995 127154 122919 0 0
149994 152461 147463 0 0
174993 178353 171728 0 0
199992 203474 196520 0 0
224991 228453 221420 0 0
249990 253226 246700 0 0
274989 278299 271790 0 0
299988 303803 296319 0 0
324987 329163 320807 0 0
349986 353615 346464 0 0
374985 378730 371360 0 0
399984 403853 396230 0 0
424983 428962 421040 0 0
449982 453952 445970 0 0
474981 478789 471178 0 0
499980 499999 495819 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
13
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
12
1
1 2
1 2
1 2
1 2
1 2
122
12
12
12
12
12
12
1
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
12
12
12
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 707457 0
1 37498 65418
2 58485 64751
3 82840 43293
4 52427 33471
5 24067 33525
6 17920 25716
7 10999 13951
8 4432 5810
9 1689 2649
10 983 1761
11 641 1092
12 341 642
13 132 300
14 36 95
15 22 32
16 2 10
17 3 0
18 0 1
19 0 0
over 22 22
d = -17.
Event 4.1. u[ 13553] = 14512 < 14513; v[ 14513] = 13536 < 13553.
b=1 c=1 u[ 13537]: 14511 14511 14512 14512 14512 14512 14512
14512 14512 14512 14512 14512 14512 14512
14512 14512 14512
d = -16.
Event 4.1. u[ 13552] = 14512 < 14513; v[ 14513] = 13536 < 13552.
b=1 c=1 u[ 13537]: 14511 14511 14512 14512 14512 14512 14512
14512 14512 14512 14512 14512 14512 14512
14512 14512
d = -15.
Event 4.2. v[ 2567] = 2472 < 2473; u[ 2473] = 2552 < 2567.
b=1 c=1 v[ 2553]: 2471 2471 2471 2471 2472 2472 2472
2472 2472 2472 2472 2472 2472 2472
2472
Event 4.1. u[ 13551] = 14512 < 14513; v[ 14513] = 13536 < 13551.
b=1 c=1 u[ 13537]: 14511 14511 14512 14512 14512 14512 14512
14512 14512 14512 14512 14512 14512 14512
14512
Event 4.1. u[ 32427] = 33648 < 33649; v[ 33649] = 32412 < 32427.
b=0 c=0 u[ 32413]: 33648 33648 33648 33648 33648 33648 33648
33648 33648 33648 33648 33648 33648 33648
33648
Event 4.1. u[ 143424] = 145832 < 145833; v[ 145833] = 143409 < 143424.
b=1 c=1 u[ 143410]: 145831 145831 145832 145832 145832 145832 145832
145832 145832 145832 145832 145832 145832 145832
145832
Event 4.1. u[ 174886] = 178256 < 178257; v[ 178257] = 174871 < 174886.
b=0 c=0 u[ 174872]: 178256 178256 178256 178256 178256 178256 178256
178256 178256 178256 178256 178256 178256 178256
178256
Event 4.1. u[ 439347] = 443376 < 443377; v[ 443377] = 439332 < 439347.
b=1 c=1 u[ 439333]: 443375 443375 443375 443375 443375 443375 443375
443375 443376 443376 443376 443376 443376 443376
443376
Event 4.1. u[ 462563] = 466400 < 466401; v[ 466401] = 462548 < 462563.
b=0 c=0 u[ 462549]: 466400 466400 466400 466400 466400 466400 466400
466400 466400 466400 466400 466400 466400 466400
466400
d = -14.
Event 4.2. v[ 2566] = 2472 < 2473; u[ 2473] = 2552 < 2566.
b=1 c=1 v[ 2553]: 2471 2471 2471 2471 2472 2472 2472
2472 2472 2472 2472 2472 2472 2472
Event 4.1. u[ 13550] = 14512 < 14513; v[ 14513] = 13536 < 13550.
b=1 c=1 u[ 13537]: 14511 14511 14512 14512 14512 14512 14512
14512 14512 14512 14512 14512 14512 14512
Event 4.1. u[ 32426] = 33648 < 33649; v[ 33649] = 32412 < 32426.
b=0 c=0 u[ 32413]: 33648 33648 33648 33648 33648 33648 33648
33648 33648 33648 33648 33648 33648 33648
Event 4.1. u[ 60799] = 62064 < 62065; v[ 62065] = 60785 < 60799.
b=1 c=1 u[ 60786]: 62063 62063 62064 62064 62064 62064 62064
62064 62064 62064 62064 62064 62064 62064
Event 4.2. v[ 96394] = 94488 < 94489; u[ 94489] = 96380 < 96394.
b=0 c=0 v[ 96381]: 94488 94488 94488 94488 94488 94488 94488
94488 94488 94488 94488 94488 94488 94488
Event 4.2. v[ 123379] = 121288 < 121289; u[ 121289] = 123365 < 123379.
b=0 c=0 v[ 123366]: 121288 121288 121288 121288 121288 121288 121288
121288 121288 121288 121288 121288 121288 121288
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 92902 92902 0 0 -1
-2 75473 74663 0 0 -2
-3 42346 41446 0 0 -3
-4 21003 20587 0 0 -4
-5 14439 13961 0 0 -5
-6 8526 7907 0 0 -6
-7 4367 3970 0 0 -7
-8 2465 2216 0 0 -8
-9 1490 1362 0 0 -9
-10 773 653 0 0 -10
-11 307 236 0 0 -11
-12 117 86 0 0 -12
-13 45 26 0 0 -13
-14 11 9 0 0 -14
-15 6 1 0 0 -15
-16 1 0 0 0 -16
-17 1 0 0 0 -17
-18 0 0 0 0 -18
Totals / Min / Under -25:
264272 260025 0 0
17 15 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 909945 0 22 20
0 -79 0 -59 0 -39 0 -19 119642 1 22 21
0 -78 0 -58 0 -38 0 -18 126785 2 22 22
0 -77 0 -57 0 -37 1 -17 130519 3 22 23
0 -76 0 -56 0 -36 1 -16 82289 4 22 24
0 -75 0 -55 0 -35 7 -15 41019 5 22 25
0 -74 0 -54 0 -34 20 -14 27162 6 21 26
0 -73 0 -53 0 -33 71 -13 16135 7 21 27
0 -72 0 -52 0 -32 203 -12 7198 8 21 28
0 -71 0 -51 0 -31 543 -11 3172 9 21 29
0 -70 0 -50 0 -30 1426 -10 1799 10 21 30
0 -69 0 -49 0 -29 2852 -9 1145 11 21 31
0 -68 0 -48 0 -28 4681 -8 619 12 19 32
0 -67 0 -47 0 -27 8337 -7 257 13 19 33
0 -66 0 -46 0 -26 16433 -6 88 14 19 34
0 -65 0 -45 0 -25 28400 -5 56 15 18 35
0 -64 0 -44 0 -24 41590 -4 26 16 18 36
0 -63 0 -43 0 -23 83792 -3 25 17 18 37
0 -62 0 -42 0 -22 150136 -2 22 18 19 38
0 -61 0 -41 0 -21 185804 -1 22 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 | ooo
100000 | oooooo
50000 | oooooooo
0 |_________.__ooooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 1995825. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = -17. -80 thru -1 = 524297.
Behav = Relaxed. Maximum = 956. 0 thru 39 = 1468330.
histend K = 500000. 40 thru Max = 3198.
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 13411 0 22 20
0 -79 0 -59 0 -39 0