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 -19 82144 1 22 21
0 -78 0 -58 0 -38 0 -18 111333 2 22 22
0 -77 0 -57 0 -37 0 -17 148583 3 22 23
0 -76 0 -56 0 -36 0 -16 163587 4 22 24
0 -75 0 -55 0 -35 0 -15 144940 5 22 25
0 -74 0 -54 0 -34 0 -14 116855 6 21 26
0 -73 0 -53 0 -33 0 -13 86133 7 21 27
0 -72 0 -52 0 -32 0 -12 55105 8 21 28
0 -71 0 -51 0 -31 0 -11 30823 9 21 29
0 -70 0 -50 0 -30 0 -10 17099 10 21 30
0 -69 0 -49 0 -29 0 -9 9938 11 21 31
0 -68 0 -48 0 -28 0 -8 6013 12 21 32
0 -67 0 -47 0 -27 0 -7 3379 13 20 33
0 -66 0 -46 0 -26 0 -6 1634 14 19 34
0 -65 0 -45 0 -25 0 -5 721 15 19 35
0 -64 0 -44 0 -24 0 -4 268 16 18 36
0 -63 0 -43 0 -23 0 -3 113 17 18 37
0 -62 0 -42 0 -22 0 -2 51 18 18 38
0 -61 0 -41 0 -21 0 -1 23 19 18 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | | o
150000 | | o
140000 | | ooo
130000 | | ooo
120000 | | ooo
110000 | | ooooo
100000 | | ooooo
90000 | | ooooo
80000 | |ooooooo
70000 | |ooooooo
60000 | |ooooooo
50000 | |oooooooo
40000 | |oooooooo
30000 | |ooooooooo
20000 | |ooooooooo
10000 | ooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 999832. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 4169. 0 thru 39 = 992562.
histend K = 500000. 40 thru Max = 7270.
End analysis of Test T420 at 17:26:49.343 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:26:49.703 980623
End execution of Test T700 at 17:26:50.203 980623
Duration 0.500
Start analysis of Test T700 at 17:26:50.203 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.234 0.218 0.000 0.000 0.000 0.000 0.000 0.000
0.234 0.218 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 98 0 499999 499999
24999 25363 24648 0 0
49998 51440 48658 0 0
74997 77910 72272 0 0
99996 104470 95744 0 0
124995 131195 119248 0 0
149994 157852 142700 0 0
174993 184166 166355 0 0
199992 210616 190087 0 0
224991 236968 213474 0 0
249990 263715 237293 0 0
274989 289529 260856 0 0
299988 315763 285072 0 0
324987 342232 308686 0 0
349986 368072 332314 0 0
374985 394308 356579 0 0
399984 420632 380427 0 0
424983 447274 404024 0 0
449982 474464 427449 0 0
474981 499999 450464 0 0
499980 499999 473868 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
C 111111
1
1
1 2
1 2
1 22
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 22
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
2
1 2
1 2
1 2
1 2
1 2
1 2
1 22
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
32
2
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 694859 0
1 47004 79071
2 63338 65081
3 85193 55449
4 60476 37263
5 22649 21381
6 12923 19800
7 7237 13428
8 2896 5970
9 1390 2973
10 899 2111
11 578 1340
12 358 837
13 145 310
14 29 81
15 5 17
16 1 7
17 0 1
18 0 0
19 0 0
over 16 17
d = -15.
Event 7.2. v[ 131081] = 124888 < 124889; u[ 124889] = 131066 < 131081.
b=0 c=0 v[ 131067]: 124888 124888 124888 124888 124888 124888 124888
124888 124888 124888 124888 124888 124888 124888
124888
Event 7.1. u[ 239559] = 252472 < 252473; v[ 252473] = 239544 < 239559.
b=1 c=1 u[ 239545]: 252471 252471 252472 252472 252472 252472 252472
252472 252472 252472 252472 252472 252472 252472
252472
d = -14.
Event 7.2. v[ 131080] = 124888 < 124889; u[ 124889] = 131066 < 131080.
b=0 c=0 v[ 131067]: 124888 124888 124888 124888 124888 124888 124888
124888 124888 124888 124888 124888 124888 124888
Event 7.2. v[ 188302] = 178888 < 178889; u[ 178889] = 188288 < 188302.
b=1 c=1 v[ 188289]: 178887 178887 178888 178888 178888 178888 178888
178888 178888 178888 178888 178888 178888 178888
Event 7.1. u[ 239558] = 252472 < 252473; v[ 252473] = 239544 < 239558.
b=1 c=1 u[ 239545]: 252471 252471 252472 252472 252472 252472 252472
252472 252472 252472 252472 252472 252472 252472
Event 7.1. u[ 250506] = 264304 < 264305; v[ 264305] = 250492 < 250506.
b=0 c=0 u[ 250493]: 264304 264304 264304 264304 264304 264304 264304
264304 264304 264304 264304 264304 264304 264304
d = -13.
Event 7.1. u[ 30117] = 30568 < 30569; v[ 30569] = 30104 < 30117.
b=5 c=2 u[ 30105]: 30563 30567 30567 30568 30568 30568 30568
30568 30568 30568 30568 30568 30568
Event 7.1. u[ 55433] = 56912 < 56913; v[ 56913] = 55420 < 55433.
b=0 c=0 u[ 55421]: 56912 56912 56912 56912 56912 56912 56912
56912 56912 56912 56912 56912 56912
Event 7.2. v[ 55939] = 54512 < 54513; u[ 54513] = 55926 < 55939.
b=0 c=0 v[ 55927]: 54512 54512 54512 54512 54512 54512 54512
54512 54512 54512 54512 54512 54512
Event 7.2. v[ 59601] = 57968 < 57969; u[ 57969] = 59588 < 59601.
b=1 c=1 v[ 59589]: 57967 57967 57967 57967 57967 57967 57967
57968 57968 57968 57968 57968 57968
Event 7.1. u[ 65768] = 67904 < 67905; v[ 67905] = 65755 < 65768.
b=0 c=0 u[ 65756]: 67904 67904 67904 67904 67904 67904 67904
67904 67904 67904 67904 67904 67904
Event 7.2. v[ 66070] = 64032 < 64033; u[ 64033] = 66057 < 66070.
b=1 c=1 v[ 66058]: 64031 64031 64032 64032 64032 64032 64032
64032 64032 64032 64032 64032 64032
Event 7.2. v[ 114064] = 109064 < 109065; u[ 109065] = 114051 < 114064.
b=0 c=0 v[ 114052]: 109064 109064 109064 109064 109064 109064 109064
109064 109064 109064 109064 109064 109064
Event 7.1. u[ 127210] = 133488 < 133489; v[ 133489] = 127197 < 127210.
b=0 c=0 u[ 127198]: 133488 133488 133488 133488 133488 133488 133488
133488 133488 133488 133488 133488 133488
Event 7.2. v[ 475550] = 450960 < 450961; u[ 450961] = 475537 < 475550.
b=1 c=1 v[ 475538]: 450959 450960 450960 450960 450960 450960 450960
450960 450960 450960 450960 450960 450960
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 87847 87847 0 0 -1
-2 59280 60639 0 0 -2
-3 34300 35200 0 0 -3
-4 14842 17160 0 0 -4
-5 8984 11522 0 0 -5
-6 4665 6078 0 0 -6
-7 2281 3072 0 0 -7
-8 1378 1871 0 0 -8
-9 803 1186 0 0 -9
-10 337 569 0 0 -10
-11 112 199 0 0 -11
-12 22 53 0 0 -12
-13 8 11 0 0 -13
-14 2 2 0 0 -14
-15 1 1 0 0 -15
-16 0 0 0 0 -16
Totals / Min / Under -25:
214862 225410 0 0
15 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 906525 0 17 20
0 -79 0 -59 0 -39 0 -19 140442 1 17 21
0 -78 0 -58 0 -38 0 -18 141355 2 17 22
0 -77 0 -57 0 -37 0 -17 150420 3 17 23
0 -76 0 -56 0 -36 0 -16 101481 4 17 24
0 -75 0 -55 0 -35 2 -15 42106 5 17 25
0 -74 0 -54 0 -34 4 -14 22196 6 17 26
0 -73 0 -53 0 -33 19 -13 12413 7 17 27
0 -72 0 -52 0 -32 75 -12 5721 8 17 28
0 -71 0 -51 0 -31 311 -11 3094 9 17 29
0 -70 0 -50 0 -30 906 -10 2030 10 17 30
0 -69 0 -49 0 -29 1989 -9 1312 11 17 31
0 -68 0 -48 0 -28 3249 -8 778 12 17 32
0 -67 0 -47 0 -27 5353 -7 299 13 17 33
0 -66 0 -46 0 -26 10743 -6 72 14 17 34
0 -65 0 -45 0 -25 20506 -5 26 15 17 35
0 -64 0 -44 0 -24 32002 -4 19 16 17 36
0 -63 0 -43 0 -23 69500 -3 17 17 17 37
0 -62 0 -42 0 -22 119919 -2 17 18 17 38
0 -61 0 -41 0 -21 175694 -1 17 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 o
100000 | ooooooo
50000 | oooooooo
0 |_________.____ooooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 1973877. Min thru -81 = 0.
Type = RR|CC1. Minimum = -15. -80 thru -1 = 440272.
Behav = Relaxed. Maximum = 831. 0 thru 39 = 1530680.
histend K = 500000. 40 thru Max = 2925.
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 23750 0 17 20
0 -79 0 -59 0 -39 0 -19 93439 1 17 21
0 -78 0 -58 0 -38 0 -18 127813 2 17 22
0 -77 0 -57 0 -37 0 -17 156127 3 17 23
0 -76 0 -56 0 -36 0 -16 156178 4 17 24
0 -75 0 -55 0 -35 0 -15 127008 5 17 25
0 -74 0 -54 0 -34 0 -14 96940 6 17 26
0 -73 0 -53 0 -33 0 -13 69150 7 17 27
0 -72 0 -52 0 -32 0 -12 47676 8 17 28
0 -71 0 -51 0 -31 0 -11 30316 9 17 29
0 -70 0 -50 0 -30 0 -10 17923 10 17 30
0 -69 0 -49 0 -29 0 -9 10823 11 17 31
0 -68 0 -48 0 -28 0 -8 6633 12 17 32
0 -67 0 -47 0 -27 0 -7 3777 13 17 33
0 -66 0 -46 0 -26 0 -6 1869 14 17 34
0 -65 0 -45 0 -25 0 -5 757 15 17 35
0 -64 0 -44 0 -24 0 -4 261 16 17 36
0 -63 0 -43 0 -23 0 -3 86 17 17 37
0 -62 0 -42 0 -22 0 -2 29 18 17 38
0 -61 0 -41 0 -21 0 -1 18 19 17 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | oo
140000 | | oo
130000 | | oo
120000 | | oooo
110000 | | oooo
100000 | | oooo
90000 | |oooooo
80000 | |oooooo
70000 | |oooooo
60000 | |ooooooo
50000 | |ooooooo
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 = 700. Total = 999896. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 26117. 0 thru 39 = 970913.
histend K = 500000. 40 thru Max = 28983.
End analysis of Test T700 at 17:26:51.609 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:26:51.937 980623
End execution of Test T710 at 17:26:52.437 980623
Duration 0.500
Start analysis of Test T710 at 17:26:52.640 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.234 0.234 0.000 0.000 0.000 0.000 0.000 0.000
0.234 0.234 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 28 499999 0
24999 21432 28897 0 0
49998 43194 57650 0 0
74997 66087 84305 0 0
99996 89159 111612 0 0
124995 112071 138948 0 0
149994 135168 166100 0 0
174993 158123 193310 0 0
199992 181147 220431 0 0
224991 204176 247544 0 0
249990 227192 274654 0 0
274989 250274 301732 0 0
299988 273394 328672 0 0
324987 296632 356572 0 0
349986 319056 384081 0 0
374985 341731 411355 0 0
399984 364616 439024 0 0
424983 387106 465942 0 0
449982 410054 494466 0 0
474981 433652 499999 0 0
499980 455107 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 222222222
2
2
2
2
2
2 1
2 11
2 1
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 11
1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
1
2 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 1
11
21
21
21
21
21
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 694178 0
1 48911 82391
2 61300 66802
3 93147 54242
4 60236 37794
5 20070 20277
6 11100 19675
7 5858 12725
8 2346 5210
9 1191 2833
10 805 1939
11 488 1157
12 244 528
13 67 161
14 14 35
15 4 15
16 2 0
17 0 0
18 0 0
19 1 0
over 34 34
d = -13.
Event 7.1. u[ 19114] = 15824 < 15825; v[ 15825] = 19101 < 19114.
b=0 c=0 u[ 19102]: 15824 15824 15824 15824 15824 15824 15824
15824 15824 15824 15824 15824 15824
Event 7.1. u[ 67027] = 58752 < 58753; v[ 58753] = 67014 < 67027.
b=0 c=0 u[ 67015]: 58752 58752 58752 58752 58752 58752 58752
58752 58752 58752 58752 58752 58752
Event 7.1. u[ 116202] = 103984 < 103985; v[ 103985] = 116189 < 116202.
b=0 c=0 u[ 116190]: 103984 103984 103984 103984 103984 103984 103984
103984 103984 103984 103984 103984 103984
Event 7.1. u[ 125213] = 112256 < 112257; v[ 112257] = 125200 < 125213.
b=1 c=1 u[ 125201]: 112255 112255 112256 112256 112256 112256 112256
112256 112256 112256 112256 112256 112256
Event 7.2. v[ 304954] = 334248 < 334249; u[ 334249] = 304941 < 304954.
b=0 c=0 v[ 304942]: 334248 334248 334248 334248 334248 334248 334248
334248 334248 334248 334248 334248 334248
Event 7.1. u[ 451713] = 411648 < 411649; v[ 411649] = 451700 < 451713.
b=0 c=0 u[ 451701]: 411648 411648 411648 411648 411648 411648 411648
411648 411648 411648 411648 411648 411648
Event 7.1. u[ 492858] = 448480 < 448481; v[ 448481] = 492845 < 492858.
b=0 c=0 u[ 492846]: 448480 448480 448480 448480 448480 448480 448480
448480 448480 448480 448480 448480 448480
d = -12.
Event 7.1. u[ 6620] = 4760 < 4761; v[ 4761] = 6608 < 6620.
b=2 c=1 u[ 6609]: 4758 4758 4758 4760 4760 4760 4760
4760 4760 4760 4760 4760
Event 7.1. u[ 19113] = 15824 < 15825; v[ 15825] = 19101 < 19113.
b=0 c=0 u[ 19102]: 15824 15824 15824 15824 15824 15824 15824
15824 15824 15824 15824 15824
Event 7.1. u[ 25719] = 22080 < 22081; v[ 22081] = 25707 < 25719.
b=0 c=0 u[ 25708]: 22080 22080 22080 22080 22080 22080 22080
22080 22080 22080 22080 22080
Event 7.2. v[ 27309] = 31456 < 31457; u[ 31457] = 27297 < 27309.
b=1 c=1 v[ 27298]: 31455 31455 31456 31456 31456 31456 31456
31456 31456 31456 31456 31456
Event 7.2. v[ 35000] = 39720 < 39721; u[ 39721] = 34988 < 35000.
b=0 c=0 v[ 34989]: 39720 39720 39720 39720 39720 39720 39720
39720 39720 39720 39720 39720
Event 7.1. u[ 67026] = 58752 < 58753; v[ 58753] = 67014 < 67026.
b=0 c=0 u[ 67015]: 58752 58752 58752 58752 58752 58752 58752
58752 58752 58752 58752 58752
Event 7.1. u[ 67095] = 58800 < 58801; v[ 58801] = 67083 < 67095.
b=0 c=0 u[ 67084]: 58800 58800 58800 58800 58800 58800 58800
58800 58800 58800 58800 58800
Event 7.1. u[ 70664] = 62056 < 62057; v[ 62057] = 70652 < 70664.
b=0 c=0 u[ 70653]: 62056 62056 62056 62056 62056 62056 62056
62056 62056 62056 62056 62056
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 86257 86257 0 0 -1
-2 58012 60206 0 0 -2
-3 36853 29514 0 0 -3
-4 16769 11222 0 0 -4
-5 10860 6718 0 0 -5
-6 5686 3022 0 0 -6
-7 2533 1504 0 0 -7
-8 1391 914 0 0 -8
-9 841 463 0 0 -9
-10 438 174 0 0 -10
-11 138 38 0 0 -11
-12 28 4 0 0 -12
-13 6 1 0 0 -13
-14 0 0 0 0 -14
Totals / Min / Under -25:
219812 200037 0 0
13 13 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 902558 0 34 20
0 -79 0 -59 0 -39 0 -19 143749 1 34 21
0 -78 0 -58 0 -38 0 -18 141728 2 32 22
0 -77 0 -57 0 -37 0 -17 160511 3 32 23
0 -76 0 -56 0 -36 0 -16 100300 4 32 24
0 -75 0 -55 0 -35 0 -15 38180 5 33 25
0 -74 0 -54 0 -34 0 -14 19549 6 32 26
0 -73 0 -53 0 -33 7 -13 10162 7 31 27
0 -72 0 -52 0 -32 32 -12 4615 8 30 28
0 -71 0 -51 0 -31 176 -11 2587 9 30 29
0 -70 0 -50 0 -30 612 -10 1738 10 30 30
0 -69 0 -49 0 -29 1304 -9 1045 11 30 31
0 -68 0 -48 0 -28 2305 -8 514 12 28 32
0 -67 0 -47 0 -27 4037 -7 164 13 29 33
0 -66 0 -46 0 -26 8708 -6 58 14 27 34
0 -65 0 -45 0 -25 17578 -5 40 15 27 35
0 -64 0 -44 0 -24 27991 -4 36 16 27 36
0 -63 0 -43 0 -23 66367 -3 34 17 26 37
0 -62 0 -42 0 -22 118218 -2 34 18 26 38
0 -61 0 -41 0 -21 172514 -1 35 19 26 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 o
100000 | ooooooo
50000 | oooooooo
0 |_________.______ooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 1955125. Min thru -81 = 0.
Type = RR|CC1. Minimum = -13. -80 thru -1 = 419849.
Behav = Relaxed. Maximum = 1568. 0 thru 39 = 1528233.
histend K = 500000. 40 thru Max = 7043.
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 17252 0 33 20
0 -79 0 -59 0 -39 0 -19 94838 1 31 21
0 -78 0 -58 0 -38 0 -18 128641 2 31 22
0 -77 0 -57 0 -37 0 -17 159883 3 31 23
0 -76 0 -56 0 -36 0 -16 151747 4 31 24
0 -75 0 -55 0 -35 0 -15 122308 5 32 25
0 -74 0 -54 0 -34 0 -14 93534 6 31 26
0 -73 0 -53 0 -33 0 -13 67535 7 31 27
0 -72 0 -52 0 -32 0 -12 46296 8 31 28
0 -71 0 -51 0 -31 0 -11 29111 9 30 29
0 -70 0 -50 0 -30 0 -10 16566 10 29 30
0 -69 0 -49 0 -29 0 -9 9473 11 29 31
0 -68 0 -48 0 -28 0 -8 5531 12 28 32
0 -67 0 -47 0 -27 0 -7 2776 13 28 33
0 -66 0 -46 0 -26 0 -6 1181 14 27 34
0 -65 0 -45 0 -25 0 -5 435 15 26 35
0 -64 0 -44 0 -24 0 -4 152 16 25 36
0 -63 0 -43 0 -23 0 -3 63 17 25 37
0 -62 0 -42 0 -22 0 -2 38 18 25 38
0 -61 0 -41 0 -21 0 -1 33 19 25 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | |
160000 | |
150000 | | oo
140000 | | oo
130000 | | oo
120000 | | oooo
110000 | | oooo
100000 | | oooo
90000 | |oooooo
80000 | |oooooo
70000 | |oooooo
60000 | |ooooooo
50000 | |ooooooo
40000 | |oooooooo
30000 | |oooooooo
20000 | |ooooooooo
10000 | ooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 999938. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 44871. 0 thru 39 = 947972.
histend K = 500000. 40 thru Max = 51966.
End analysis of Test T710 at 17:26:54.062 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:26:54.390 980623
End execution of Test T720 at 17:26:54.890 980623
Duration 0.500
Start analysis of Test T720 at 17:26:55.343 980623
Thread start, stop, and dur times.
0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000
0.250 0.250 0.000 0.000 0.000 0.000 0.000 0.000
0.250 0.250 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 67 0 0 0
24999 23666 26363 0 0
49998 48240 51841 0 0
74997 71833 78339 0 0
99996 95979 104059 0 0
124995 120152 130233 0 0
149994 143619 156828 0 0
174993 167052 183195 0 0
199992 190411 210155 0 0
224991 214212 236386 0 0
249990 238065 262432 0 0
274989 262196 288168 0 0
299988 286774 313462 0 0
324987 311196 339479 0 0
349986 334943 365884 0 0
374985 358754 391748 0 0
399984 383092 417368 0 0
424983 407265 443664 0 0
449982 431014 470092 0 0
474981 454512 496136 0 0
499980 478848 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
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
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
1
2 1
2 1
2 1
2 11
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
2 1
1
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
21
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 672936 0
1 57116 97945
2 59858 63021
3 109044 61669
4 65575 40960
5 18695 21052
6 8866 20483
7 4055 11574
8 1814 4487
9 963 2695
10 565 1720
11 294 932
12 143 380
13 43 102
14 7 16
15 1 2
16 0 0
17 0 1
18 0 0
19 0 0
over 21 21
d = -13.
Event 7.1. u[ 100297] = 96256 < 96257; v[ 96257] = 100284 < 100297.
b=0 c=0 u[ 100285]: 96256 96256 96256 96256 96256 96256 96256
96256 96256 96256 96256 96256 96256
Event 7.1. u[ 139869] = 134032 < 134033; v[ 134033] = 139856 < 139869.
b=2 c=1 u[ 139857]: 134030 134030 134030 134030 134030 134032 134032
134032 134032 134032 134032 134032 134032
Event 7.1. u[ 426658] = 408704 < 408705; v[ 408705] = 426645 < 426658.
b=0 c=0 u[ 426646]: 408704 408704 408704 408704 408704 408704 408704
408704 408704 408704 408704 408704 408704
Event 7.1. u[ 464917] = 445120 < 445121; v[ 445121] = 464904 < 464917.
b=1 c=1 u[ 464905]: 445119 445119 445119 445120 445120 445120 445120
445120 445120 445120 445120 445120 445120
d = -12.
Event 7.1. u[ 27626] = 26264 < 26265; v[ 26265] = 27614 < 27626.
b=0 c=0 u[ 27615]: 26264 26264 26264 26264 26264 26264 26264
26264 26264 26264 26264 26264
Event 7.2. v[ 79991] = 83448 < 83449; u[ 83449] = 79979 < 79991.
b=0 c=0 v[ 79980]: 83448 83448 83448 83448 83448 83448 83448
83448 83448 83448 83448 83448
Event 7.1. u[ 100296] = 96256 < 96257; v[ 96257] = 100284 < 100296.
b=0 c=0 u[ 100285]: 96256 96256 96256 96256 96256 96256 96256
96256 96256 96256 96256 96256
Event 7.2. v[ 104671] = 108984 < 108985; u[ 108985] = 104659 < 104671.
b=0 c=0 v[ 104660]: 108984 108984 108984 108984 108984 108984 108984
108984 108984 108984 108984 108984
Event 7.2. v[ 111855] = 116352 < 116353; u[ 116353] = 111843 < 111855.
b=1 c=1 v[ 111844]: 116351 116351 116352 116352 116352 116352 116352
116352 116352 116352 116352 116352
Event 7.1. u[ 139868] = 134032 < 134033; v[ 134033] = 139856 < 139868.
b=2 c=1 u[ 139857]: 134030 134030 134030 134030 134030 134032 134032
134032 134032 134032 134032 134032
Event 7.2. v[ 180768] = 189280 < 189281; u[ 189281] = 180756 < 180768.
b=0 c=0 v[ 180757]: 189280 189280 189280 189280 189280 189280 189280
189280 189280 189280 189280 189280
Event 7.1. u[ 185922] = 177536 < 177537; v[ 177537] = 185910 < 185922.
b=0 c=0 u[ 185911]: 177536 177536 177536 177536 177536 177536 177536
177536 177536 177536 177536 177536
Event 7.1. u[ 246850] = 235136 < 235137; v[ 235137] = 246838 < 246850.
b=0 c=0 u[ 246839]: 235136 235136 235136 235136 235136 235136 235136
235136 235136 235136 235136 235136
Event 7.1. u[ 253263] = 241280 < 241281; v[ 241281] = 253251 < 253263.
b=0 c=0 u[ 253252]: 241280 241280 241280 241280 241280 241280 241280
241280 241280 241280 241280 241280
Event 7.1. u[ 259391] = 247168 < 247169; v[ 247169] = 259379 < 259391.
b=0 c=0 u[ 259380]: 247168 247168 247168 247168 247168 247168 247168
247168 247168 247168 247168 247168
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 86011 86011 0 0 -1
-2 62191 60192 0 0 -2
-3 33861 32951 0 0 -3
-4 11623 10674 0 0 -4
-5 7069 6110 0 0 -5
-6 3200 2740 0 0 -6
-7 1478 1316 0 0 -7
-8 787 674 0 0 -8
-9 390 314 0 0 -9
-10 171 135 0 0 -10
-11 43 30 0 0 -11
-12 11 7 0 0 -12
-13 4 0 0 0 -13
-14 0 0 0 0 -14
Totals / Min / Under -25:
206839 201154 0 0
13 12 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 887243 0 21 20
0 -79 0 -59 0 -39 0 -19 162182 1 22 21
0 -78 0 -58 0 -38 0 -18 153575 2 21 22
0 -77 0 -57 0 -37 0 -17 189031 3 21 23
0 -76 0 -56 0 -36 0 -16 109420 4 20 24
0 -75 0 -55 0 -35 0 -15 35802 5 20 25
0 -74 0 -54 0 -34 0 -14 15733 6 20 26
0 -73 0 -53 0 -33 4 -13 7204 7 21 27
0 -72 0 -52 0 -32 18 -12 3480 8 20 28
0 -71 0 -51 0 -31 73 -11 2034 9 20 29
0 -70 0 -50 0 -30 306 -10 1239 10 20 30
0 -69 0 -49 0 -29 704 -9 659 11 20 31
0 -68 0 -48 0 -28 1461 -8 318 12 20 32
0 -67 0 -47 0 -27 2794 -7 101 13 20 33
0 -66 0 -46 0 -26 5940 -6 35 14 20 34
0 -65 0 -45 0 -25 13179 -5 24 15 20 35
0 -64 0 -44 0 -24 22297 -4 21 16 20 36
0 -63 0 -43 0 -23 66812 -3 21 17 20 37
0 -62 0 -42 0 -22 122383 -2 21 18 20 38
0 -61 0 -41 0 -21 172022 -1 21 19 20 39
------ Relaxed ------ | ------ Strong ------
950000 | |
900000 | |
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | ooooo
100000 | ooooooo
50000 | oooooooo
0 |_________.______ooooooooooooo.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 1978858. Min thru -81 = 0.
Type = RR|CC1. Minimum = -13. -80 thru -1 = 407993.
Behav = Relaxed. Maximum = 718. 0 thru 39 = 1568570.
histend K = 500000. 40 thru Max = 2295.
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 13370 0 20 20
0 -79 0 -59 0 -39 0 -19 105066 1 20 21
0 -78 0 -58 0 -38 0 -18 134172 2 20 22
0 -77 0 -57 0 -37 0 -17 173502 3 20 23
0 -76 0 -56 0 -36 0 -16 159923 4 19 24
0 -75 0 -55 0 -35 0 -15 125549 5 19 25
0 -74 0 -54 0 -34 0 -14 95313 6 19 26
0 -73 0 -53 0 -33 0 -13 68482 7 19 27
0 -72 0 -52 0 -32 0 -12 45263 8 19 28
0 -71 0 -51 0 -31 0 -11 26919 9 19 29
0 -70 0 -50 0 -30 0 -10 14089 10 19 30
0 -69 0 -49 0 -29 0 -9 7479 11 19 31
0 -68 0 -48 0 -28 0 -8 4095 12 19 32
0 -67 0 -47 0 -27 0 -7 1831 13 19 33
0 -66 0 -46 0 -26 0 -6 699 14 19 34
0 -65 0 -45 0 -25 0 -5 217 15 19 35
0 -64 0 -44 0 -24 0 -4 65 16 19 36
0 -63 0 -43 0 -23 0 -3 32 17 19 37
0 -62 0 -42 0 -22 0 -2 23 18 19 38
0 -61 0 -41 0 -21 0 -1 20 19 19 39
------ Relaxed ------ | ------ Strong ------
190000 | |
180000 | |
170000 | | o
160000 | | o
150000 | | oo
140000 | | oo
130000 | | ooo
120000 | | oooo
110000 | | oooo
100000 | |ooooo
90000 | |oooooo
80000 | |oooooo
70000 | |oooooo
60000 | |ooooooo
50000 | |ooooooo
40000 | |oooooooo
30000 | |oooooooo
20000 | |ooooooooo
10000 | ooooooooooo
0 |_________._________._________.ooooooooo.ooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 999904. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 21140. 0 thru 39 = 976493.
histend K = 500000. 40 thru Max = 23411.
End analysis of Test T720 at 17:26:56.750 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:26:57.078 980623
End execution of Test T800 at 17:26:57.593 980623
Duration 0.515
Start analysis of Test T800 at 17:26:57.968 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.156 0.000 0.000 0.000 0.000 0.000 0.000
0.141 0.141 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 4220841 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....:....
2F
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
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 1995240 0 0 20
0 -79 0 -59 0 -39 0 -19 6 1 0 21
0 -78 0 -58 0 -38 0 -18 7 2 0 22
0 -77 0 -57 0 -37 0 -17 4 3 0 23
0 -76 0 -56 0 -36 0 -16 25 4 0 24
0 -75 0 -55 0 -35 0 -15 18 5 0 25
0 -74 0 -54 0 -34 0 -14 12 6 0 26
0 -73 0 -53 0 -33 0 -13 1 7 0 27
0 -72 0 -52 0 -32 0 -12 2 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 2 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 |_________._________._________.oooooooo_o_________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1995317. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 10. 0 thru 39 = 1995317.
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 1995240 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 19 2 0 22
0 -77 0 -57 0 -37 0 -17 5 3 0 23
0 -76 0 -56 0 -36 0 -16 18 4 0 24
0 -75 0 -55 0 -35 0 -15 9 5 0 25
0 -74 0 -54 0 -34 0 -14 1 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 2 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 1 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 |_________._________._________._ooooo_o_._o_______._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1995295. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 12. 0 thru 39 = 1995295.
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:27:27.453 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:27:27.781 980623
End execution of Test T820 at 17:27:28.281 980623
Duration 0.500
Start analysis of Test T820 at 17:27:29.171 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 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....:....
22F
22F1
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
22F11
2F11
22F11
22F11
2F11
2F11
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
2F1
F1
F
F2
1F2
F2
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1991334 0 0 20
0 -79 0 -59 0 -39 0 -19 24 1 0 21
0 -78 0 -58 0 -38 0 -18 40 2 0 22
0 -77 0 -57 0 -37 0 -17 182 3 0 23
0 -76 0 -56 0 -36 0 -16 270 4 0 24
0 -75 0 -55 0 -35 0 -15 118 5 0 25
0 -74 0 -54 0 -34 0 -14 29 6 0 26
0 -73 0 -53 0 -33 0 -13 5 7 0 27
0 -72 0 -52 0 -32 0 -12 1 8 0 28
0 -71 0 -51 0 -31 0 -11 1 9 0 29
0 -70 0 -50 0 -30 0 -10 1 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 1 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 |_________._________._________.oooooooooo___o_____._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1992006. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 14. 0 thru 39 = 1992006.
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 1991335 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 97 2 0 22
0 -77 0 -57 0 -37 0 -17 67 3 0 23
0 -76 0 -56 0 -36 0 -16 352 4 0 24
0 -75 0 -55 0 -35 0 -15 8 5 0 25
0 -74 0 -54 0 -34 0 -14 16 6 0 26
0 -73 0 -53 0 -33 0 -13 20 7 0 27
0 -72 0 -52 0 -32 0 -12 12 8 0 28
0 -71 0 -51 0 -31 0 -11 5 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 2 11 0 31
0 -68 0 -48 0 -28 0 -8 1 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 |_________._________._________._oooooooo.oo_______._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1991915. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 12. 0 thru 39 = 1991915.
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:27:58.625 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.015
Additions: 0.047
Subtractions: 0.031
Multiplications: 0.047
Divisions: 0.219
Time to perform 1000000 of the following floating operations:
Additions: 1.328
Subtractions: 1.343
Multiplications: 1.360
Divisions: 1.359
================================================================================
Summary of run: 17:28:04.390 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.
11111
Number of threads: 2.
Length of the arrays: 500000.
Frequency of fetching shared operands before stores: sometimes
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.266 T100 1 0
0.500 0.266 T120 0 1
0.515 0.813 T200 2 0
0.500 0.797 T210 1 1
0.516 0.797 T220 0 2
0.515 1.406 T400.1 -18 2 0
T400.2 2 0
0.500 1.438 T410.1 -17 1 1
T410.2 1 1
0.500 1.406 T420.1 -17 0 2
T420.2 0 2
0.500 1.406 T700.1 -15 2 0
T700.2 2 0
0.500 1.422 T710.1 -13 1 1
T710.2 1 1
0.500 1.407 T720.1 -13 0 2
T720.2 0 2
0.515 29.485 T800 1 0
0.500 29.454 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