From: IN%"nmanjiki@eecg.toronto.edu" "Naraig Manjikian" 11-APR-1996 22:03:00.14
To: IN%"mpdiag@ACM.ORG"
Date: Thu, 11 Apr 1996 22:02:09 -0400
From: Naraig Manjikian
Subject: success
To: mpdiag@ACM.ORG
I tried out ARCHTEST on the KSR. Took me about only about 20 minutes
to modify the code and compile it. Worked fine.
Here is the output from my test.
It was terminated prematurely at the end by 'signal 24', which is
caused by exceeding the CPU time limit, which is hard-limited to 10 minutes.
So don't worry; it's not a problem with ARCHTEST.
It was quite easy to get it working; the 'partest' code was useful.
--Naraig--
---8<------8<------8<------8<------8<------8<------8<------8<------8<---
ARCHTEST. Version 5.2. 960320. By W. W. Collier, mpdiag@acm.org
20:33:08.002 960411
Test made by Naraig Manjikian, nmanjiki@eecg.toronto.edu, and the
High Performance Research Computing Dept. at the University of Toronto.
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 errors.
4. Generate test data without errors.
5. Process output from simulation. Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]: 8
Define logical length of arrays (max=500000) [200000]: 200000
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 [all]:
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test..
Output file name: atest_00.out.
Number of threads: 8.
Length of the arrays: 200000.
Test(s) to run: all.
Select other options? (y,n,?)[y]
Choose an action to perform:
1. Execute tests.
2. Display tests to run.
3. Add tests to run.
4. Delete tests to run.
5. Generate extraneous cache traffic.
6. Stop extraneous cache traffic.
7. Info on extraneous cache traffic.
8. Set operation count for Test T1xx.
9. Set parameters for Test T10xx.
10. Display tests to dump.
11. Add tests to dump.
12. Delete tests to dump.
13. Set run time flags.
14. Note research questions.
15. Write out description of all tests in output file.
Selection: 1 1
Executing tests . . . .
================================================================================
Time to perform 1000000 of the following integer operations:
NOPs: 0.620
Additions: 0.880
Subtractions: 0.660
Multiplications: 0.680
Divisions: 3.140
Test T100. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: A = 2; L12: U[2] = A;
L21: A = 3; L21: U[3] = A;
L22: A = 4; L22: U[4] = A;
L31: A = 5; L31: U[5] = A;
L32: A = 6; L32: U[6] = A;
L41: A = 7; L41: U[7] = A;
L42: A = 8; L42: U[8] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Suffix for packed simulation output: T1: 0.
Start execution of Test T100 at 20:34:38.122 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T100 at 20:34:39.082 960411
Duration 0.960
Start analysis of Test T100 at 20:34:39.102 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1233 0 0 0
9999 30024 0 0 0
19998 58228 0 0 0
29997 86305 0 0 0
39996 114482 0 0 0
49995 142866 0 0 0
59994 171140 0 0 0
69993 199375 0 0 0
79992 199999 0 0 0
89991 199999 0 0 0
99990 199999 0 0 0
109989 199999 0 0 0
119988 199999 0 0 0
129987 199999 0 0 0
139986 199999 0 0 0
149985 199999 0 0 0
159984 199999 0 0 0
169983 199999 0 0 0
179982 199999 0 0 0
189981 199999 0 0 0
199980 199999 0 0 0
End analysis of Test T100 at 20:34:40.462 960411
================================================================================
Time to perform 1000000 of the following floating operations:
Additions: 0.980
Subtractions: 0.980
Multiplications: 0.960
Divisions: 6.260
Test T120. Seek a relaxation of RR and WW.
T0 T1
L11: A = 1; L11: U[1] = A;
L12: A = 2; L12: U[2] = A;
L21: A = 3; L21: U[3] = A;
L22: A = 4; L22: U[4] = A;
L31: A = 5; L31: U[5] = A;
L32: A = 6; L32: U[6] = A;
L41: A = 7; L41: U[7] = A;
L42: A = 8; L42: U[8] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Suffix for packed simulation output: T1: 0.
Start execution of Test T120 at 20:34:53.682 960411
entr sync0 1 1 1 0 0 0 0 0 0
entr sync0 0 1 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T120 at 20:34:54.742 960411
Duration 1.060
Start analysis of Test T120 at 20:34:55.382 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 19825 0 0 0
19998 41667 0 0 0
29997 63541 0 0 0
39996 84156 0 0 0
49995 106021 0 0 0
59994 126526 0 0 0
69993 149437 0 0 0
79992 175113 0 0 0
89991 199253 0 0 0
99990 199999 0 0 0
109989 199999 0 0 0
119988 199999 0 0 0
129987 199999 0 0 0
139986 199999 0 0 0
149985 199999 0 0 0
159984 199999 0 0 0
169983 199999 0 0 0
179982 199999 0 0 0
189981 199999 0 0 0
199980 199999 0 0 0
End analysis of Test T120 at 20:34:56.702 960411
================================================================================
Test T200. Seek a relaxation of RR and 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].
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]
Suffix for packed simulation output: T1: 0.
Start execution of Test T200 at 20:35:00.802 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T200 at 20:35:02.122 960411
Duration 1.320
Start analysis of Test T200 at 20:35:02.122 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 897 913 0 0
9999 81274 81275 0 0
19998 164791 164795 0 0
29997 199999 199999 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 527882 0 18 20
0 -79 0 -59 0 -39 0 -19 176117 1 3 21
0 -78 0 -58 0 -38 0 -18 4464 2 11 22
0 -77 0 -57 0 -37 0 -17 280 3 2 23
0 -76 0 -56 0 -36 0 -16 16926 4 11 24
0 -75 0 -55 0 -35 0 -15 25212 5 10 25
0 -74 0 -54 0 -34 0 -14 7167 6 3 26
0 -73 0 -53 0 -33 0 -13 5017 7 6 27
0 -72 0 -52 0 -32 0 -12 19075 8 7 28
0 -71 0 -51 0 -31 0 -11 9873 9 5 29
0 -70 0 -50 0 -30 0 -10 3607 10 1 30
0 -69 0 -49 0 -29 0 -9 1089 11 1 31
0 -68 0 -48 0 -28 0 -8 804 12 0 32
0 -67 0 -47 0 -27 0 -7 911 13 8 33
0 -66 0 -46 0 -26 0 -6 503 14 4 34
0 -65 0 -45 0 -25 0 -5 351 15 6 35
0 -64 0 -44 0 -24 0 -4 273 16 2 36
0 -63 0 -43 0 -23 0 -3 128 17 1 37
0 -62 0 -42 0 -22 0 -2 107 18 3 38
0 -61 0 -41 0 -21 0 -1 17 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo
0 |_________._________._________.ooooooooooooooooooooooooooooooo_ooooooo
-30 -20 -10 0 10 20 30 40
Test = 200. Total = 799992. Min thru -81 = 0.
Type = RR,WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 94. 0 thru 39 = 799907.
histend K = 200000. 40 thru Max = 85.
End analysis of Test T200 at 20:35:07.562 960411
================================================================================
Test T210. Seek a relaxation of RR and 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].
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]
Suffix for packed simulation output: T1: 0.
Start execution of Test T210 at 20:35:11.622 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T210 at 20:35:13.162 960411
Duration 1.540
Start analysis of Test T210 at 20:35:13.642 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 974 987 0 0
9999 63854 63854 0 0
19998 126036 126039 0 0
29997 188053 188054 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 504184 0 14 20
0 -79 0 -59 0 -39 0 -19 173059 1 33 21
0 -78 0 -58 0 -38 0 -18 10758 2 12 22
0 -77 0 -57 0 -37 0 -17 9096 3 24 23
0 -76 0 -56 0 -36 0 -16 44450 4 15 24
0 -75 0 -55 0 -35 0 -15 19655 5 2 25
0 -74 0 -54 0 -34 0 -14 7748 6 9 26
0 -73 0 -53 0 -33 0 -13 16774 7 3 27
0 -72 0 -52 0 -32 0 -12 9030 8 15 28
0 -71 0 -51 0 -31 0 -11 1985 9 9 29
0 -70 0 -50 0 -30 0 -10 982 10 6 30
0 -69 0 -49 0 -29 0 -9 945 11 3 31
0 -68 0 -48 0 -28 0 -8 507 12 3 32
0 -67 0 -47 0 -27 0 -7 314 13 5 33
0 -66 0 -46 0 -26 0 -6 62 14 1 34
0 -65 0 -45 0 -25 0 -5 127 15 2 35
0 -64 0 -44 0 -24 0 -4 16 16 2 36
0 -63 0 -43 0 -23 0 -3 11 17 3 37
0 -62 0 -42 0 -22 0 -2 14 18 1 38
0 -61 0 -41 0 -21 0 -1 14 19 4 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 210. Total = 799992. Min thru -81 = 0.
Type = RR,WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 491. 0 thru 39 = 799897.
histend K = 200000. 40 thru Max = 95.
End analysis of Test T210 at 20:35:19.022 960411
================================================================================
Test T220. Seek a relaxation of RR and 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].
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]
Suffix for packed simulation output: T1: 0.
Start execution of Test T220 at 20:35:23.122 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T220 at 20:35:24.722 960411
Duration 1.600
Start analysis of Test T220 at 20:35:25.462 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 669 679 0 0
9999 62966 62967 0 0
19998 125741 125744 0 0
29997 187952 187953 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 504251 0 33 20
0 -79 0 -59 0 -39 0 -19 169196 1 21 21
0 -78 0 -58 0 -38 0 -18 11050 2 30 22
0 -77 0 -57 0 -37 0 -17 16632 3 10 23
0 -76 0 -56 0 -36 0 -16 40420 4 5 24
0 -75 0 -55 0 -35 0 -15 13976 5 9 25
0 -74 0 -54 0 -34 0 -14 17243 6 22 26
0 -73 0 -53 0 -33 0 -13 15976 7 14 27
0 -72 0 -52 0 -32 0 -12 6362 8 3 28
0 -71 0 -51 0 -31 0 -11 1571 9 2 29
0 -70 0 -50 0 -30 0 -10 1112 10 4 30
0 -69 0 -49 0 -29 0 -9 753 11 5 31
0 -68 0 -48 0 -28 0 -8 551 12 6 32
0 -67 0 -47 0 -27 0 -7 409 13 4 33
0 -66 0 -46 0 -26 0 -6 87 14 6 34
0 -65 0 -45 0 -25 0 -5 40 15 3 35
0 -64 0 -44 0 -24 0 -4 14 16 5 36
0 -63 0 -43 0 -23 0 -3 11 17 6 37
0 -62 0 -42 0 -22 0 -2 6 18 11 38
0 -61 0 -41 0 -21 0 -1 44 19 8 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | oo
120000 | oo
80000 | oo
40000 | oo o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 220. Total = 799992. Min thru -81 = 0.
Type = RR,WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 103. 0 thru 39 = 799911.
histend K = 200000. 40 thru Max = 81.
End analysis of Test T220 at 20:35:30.762 960411
================================================================================
Test T300. Seek a relaxation of RR and WW.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T300 at 20:35:34.962 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 4 0 0 1 0 1 1 0 0
entr sync0 5 0 0 1 0 0 1 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 3 1 1 1 1 1 1 0 0
entr sync1 2 1 1 1 0 1 1 0 0
entr sync1 5 1 1 0 0 1 1 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 4 1 1 0 0 1 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T300 at 20:35:37.822 960411
Duration 2.860
Start analysis of Test T300 at 20:35:37.842 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1632 3517 4220 4451
9999 7868 7715 8590 8487
19998 11456 11055 12674 12315
29997 15136 14437 16902 16289
39996 18872 17851 21002 20239
49995 22380 21257 24992 23929
59994 26132 24591 29280 28015
69993 29722 28139 33406 31821
79992 33424 31471 37536 35757
89991 37090 34841 41618 39597
99990 40720 38203 45636 43355
109989 44320 41615 49816 47193
119988 47924 44897 53894 51055
129987 51732 48261 58002 54977
139986 55328 51783 62108 58947
149985 58974 55035 66140 62695
159984 62520 58461 70294 66609
169983 66152 61829 75030 70505
179982 69822 65055 81046 74899
189981 73768 68651 87318 80517
199980 78524 71919 130360 87417
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 667416 0 90 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 116416 2 13 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 4886 4 5 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 4032 6 6 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 5709 8 4 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 763 10 3 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 269 12 3 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 40 14 3 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 25 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 191 18 2 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 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o o
40000 | o o
0 |_________._________._________._o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o_o___o_
-30 -20 -10 0 10 20 30 40
Test = 300. Total = 799996. Min thru -81 = 0.
Type = RR/WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1204. 0 thru 39 = 799876.
histend K = 200000. 40 thru Max = 120.
End analysis of Test T300 at 20:35:48.842 960411
================================================================================
Test T310. Seek a relaxation of RR and WW.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T310 at 20:35:53.042 960411
entr sync0 1 1 1 1 1 1 1 0 0
entr sync0 0 1 0 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 2 0 0 1 0 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 1 1 1 0 0
entr sync1 4 1 1 0 1 1 1 0 0
entr sync1 5 1 1 0 1 0 1 0 0
entr sync1 0 1 1 0 1 0 0 0 0
entr sync1 1 0 1 0 1 0 0 0 0
entr sync1 3 0 0 0 1 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
End execution of Test T310 at 20:35:58.062 960411
Duration 5.020
Start analysis of Test T310 at 20:35:58.942 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 2020 440 137 15443
9999 5812 4108 4221 16318
19998 9410 7728 10482 23469
29997 10361 14047 11933 27375
39996 16992 127793 16143 31259
49995 20632 121332 20161 31234
59994 24216 144389 27738 39163
69993 27800 152707 28043 43043
79992 31280 142952 31945 42104
89991 30865 169689 40196 45362
99990 34259 178293 39763 54411
109989 41984 164450 43443 51916
119988 45420 171684 47019 61995
129987 48948 199998 50601 58746
139986 52474 199998 54283 62064
149985 56070 199998 64886 73325
159984 53127 199998 69068 68952
169983 56287 199998 65323 72744
179982 66618 199998 68747 77154
189981 70272 199998 80866 95185
199980 73666 199998 75801 103643
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 540100 0 9 20
0 -79 0 -59 0 -39 0 -19 6455 1 18 21
0 -78 0 -58 0 -38 0 -18 226076 2 8 22
0 -77 0 -57 0 -37 0 -17 59456 3 16 23
0 -76 0 -56 0 -36 0 -16 21852 4 18 24
0 -75 0 -55 0 -35 0 -15 26539 5 13 25
0 -74 0 -54 0 -34 0 -14 7192 6 14 26
0 -73 0 -53 0 -33 0 -13 7168 7 18 27
0 -72 0 -52 0 -32 0 -12 3676 8 8 28
0 -71 0 -51 0 -31 0 -11 1712 9 13 29
0 -70 0 -50 0 -30 0 -10 664 10 5 30
0 -69 0 -49 0 -29 0 -9 528 11 6 31
0 -68 0 -48 0 -28 0 -8 129 12 10 32
0 -67 0 -47 0 -27 0 -7 196 13 13 33
0 -66 0 -46 0 -26 0 -6 34 14 7 34
0 -65 0 -45 0 -25 0 -5 45 15 7 35
0 -64 0 -44 0 -24 0 -4 25 16 9 36
0 -63 0 -43 0 -23 0 -3 28 17 9 37
0 -62 0 -42 0 -22 0 -2 11 18 7 38
0 -61 0 -41 0 -21 0 -1 24 19 7 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o o
160000 | o o
120000 | o o
80000 | o o
40000 | o oo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 310. Total = 952361. Min thru -81 = 0.
Type = RR/WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 106283. 0 thru 39 = 902125.
histend K = 200000. 40 thru Max = 50236.
End analysis of Test T310 at 20:36:14.882 960411
================================================================================
Test T320. Seek a relaxation of RR and WW.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = B; X[0] = A; Y[0] = B; B = 0;
B = 1; U[1] = A; V[1] = B; X[1] = A; Y[1] = B; A = 1;
A = 2; U[2] = A; V[2] = B; X[2] = A; Y[2] = B; B = 2;
B = 3; U[3] = A; V[3] = B; X[3] = A; Y[3] = B; A = 3;
A = 4; U[4] = A; V[4] = B; X[4] = A; Y[4] = B; B = 4;
B = 5; U[5] = A; V[5] = B; X[5] = A; Y[5] = B; A = 5;
A = 6; U[6] = A; V[6] = B; X[6] = A; Y[6] = B; B = 6;
B = 7; U[7] = A; V[7] = B; X[7] = A; Y[7] = B; A = 7; etc.
Seek 3.0. U[i] > U[j] and both have the same parity.
Seek 3.0. V[i] > V[j] and both have the same parity.
Seek 3.0. X[i] > X[j] and both have the same parity.
Seek 3.0. Y[i] > Y[j] and both have the same parity.
Let i+ > i and j+ > j.
Seek 3.1. 0 < U[i+] < V[j] < V[j+] < U[i]. d = U[i] - V[j+].
is is is is
odd even odd even
Seek 3.2. 0 < U[i+] < V[j] < V[j+] < U[i] d = U[i] - V[j+].
is is is is
even odd even odd
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T320 at 20:36:19.122 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 2 0 0 1 1 1 1 0 0
entr sync0 3 0 0 0 1 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
entr sync1 3 1 1 1 1 1 1 0 0
entr sync1 2 1 1 1 0 1 1 0 0
entr sync1 5 1 1 0 0 1 1 0 0
entr sync1 4 1 1 0 0 1 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T320 at 20:36:22.202 960411
Duration 3.080
Start analysis of Test T320 at 20:36:26.002 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1288 3855 2418 3133
9999 3029 3308 7446 3532
19998 6289 6376 7557 10979
29997 9765 9590 15440 10800
39996 13145 16637 15549 14550
49995 20396 15970 23168 18390
59994 23638 19428 23539 25575
69993 23493 26095 27589 25828
79992 26921 29279 34784 29700
89991 33484 29222 35583 36567
99990 36908 35617 39645 37222
109989 37209 35776 43709 40992
119988 40705 39102 47705 44816
129987 44159 45187 51869 48670
139986 50132 48277 57814 54595
149985 53316 49062 59793 56232
159984 54621 52360 63841 60072
169983 59950 55660 69750 65509
179982 61545 60831 74268 67394
189981 64953 63981 76545 73249
199980 70226 65544 83523 77457
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 553896 0 22 20
0 -79 0 -59 0 -39 0 -19 23201 1 16 21
0 -78 0 -58 0 -38 0 -18 213086 2 11 22
0 -77 0 -57 0 -37 0 -17 100197 3 19 23
0 -76 0 -56 0 -36 0 -16 27491 4 14 24
0 -75 0 -55 0 -35 0 -15 50356 5 19 25
0 -74 0 -54 0 -34 0 -14 4311 6 9 26
0 -73 0 -53 0 -33 0 -13 10094 7 10 27
0 -72 0 -52 0 -32 0 -12 713 8 9 28
0 -71 0 -51 0 -31 0 -11 1514 9 11 29
0 -70 0 -50 0 -30 0 -10 132 10 11 30
0 -69 0 -49 0 -29 0 -9 242 11 13 31
0 -68 0 -48 0 -28 0 -8 39 12 12 32
0 -67 0 -47 0 -27 0 -7 77 13 25 33
0 -66 0 -46 0 -26 0 -6 35 14 9 34
0 -65 0 -45 0 -25 0 -5 36 15 21 35
0 -64 0 -44 0 -24 0 -4 27 16 11 36
0 -63 0 -43 0 -23 0 -3 39 17 23 37
0 -62 0 -42 0 -22 0 -2 17 18 4 38
0 -61 0 -41 0 -21 0 -1 18 19 7 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o o
160000 | o o
120000 | o o
80000 | o oo
40000 | o oo o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 320. Total = 986191. Min thru -81 = 0.
Type = RR/WW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 922. 0 thru 39 = 985797.
histend K = 200000. 40 thru Max = 394.
End analysis of Test T320 at 20:36:43.302 960411
================================================================================
Test T400. Seek a relaxation of RR, WW, and either RW or WR.
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].
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.
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.
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 20:36:47.622 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T400 at 20:36:51.342 960411
Duration 3.720
Start analysis of Test T400 at 20:36:51.362 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 289 0 0
9999 10799 9274 0 0
19998 21984 18261 0 0
29997 33039 27200 0 0
39996 44050 36297 0 0
49995 55019 45485 0 0
59994 66144 54452 0 0
69993 76983 63488 0 0
79992 88064 72775 0 0
89991 99080 81750 0 0
99990 109947 90784 0 0
109989 121000 100032 0 0
119988 131990 109056 0 0
129987 142972 118180 0 0
139986 153683 127248 0 0
149985 164629 136528 0 0
159984 175704 145807 0 0
169983 186624 154783 0 0
179982 197680 163948 0 0
189981 199999 173010 0 0
199980 199999 182105 0 0
Data for calculating the percentage of time both 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 115789 0
1 242006 73193
2 25046 5182
3 4656 6007
4 2638 4385
5 2939 3377
6 3554 3992
7 2736 2495
8 206 2732
9 49 2334
10 34 1917
11 30 1918
12 14 1357
13 8 1164
14 14 986
15 17 770
16 28 696
17 28 473
18 33 370
19 23 314
over 132 2127
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 158557 0 166 20
0 -79 0 -59 0 -39 0 -19 486072 1 152 21
0 -78 0 -58 0 -38 0 -18 66658 2 126 22
0 -77 0 -57 0 -37 0 -17 21408 3 114 23
0 -76 0 -56 0 -36 0 -16 13603 4 103 24
0 -75 0 -55 0 -35 0 -15 12258 5 94 25
0 -74 0 -54 0 -34 0 -14 10634 6 99 26
0 -73 0 -53 0 -33 0 -13 6025 7 92 27
0 -72 0 -52 0 -32 0 -12 811 8 88 28
0 -71 0 -51 0 -31 0 -11 473 9 84 29
0 -70 0 -50 0 -30 0 -10 417 10 78 30
0 -69 0 -49 0 -29 0 -9 383 11 79 31
0 -68 0 -48 0 -28 0 -8 340 12 75 32
0 -67 0 -47 0 -27 0 -7 319 13 76 33
0 -66 0 -46 0 -26 0 -6 319 14 72 34
0 -65 0 -45 0 -25 0 -5 304 15 70 35
0 -64 0 -44 0 -24 0 -4 292 16 63 36
0 -63 0 -43 0 -23 0 -3 269 17 54 37
0 -62 0 -42 0 -22 0 -2 243 18 54 38
0 -61 0 -41 0 -21 0 -1 200 19 46 39
------ Relaxed ------ | ------ Strong ------
475000 | |o
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |o
250000 | |o
225000 | |o
200000 | |o
175000 | |o
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 400. Total = 782116. Min thru -81 = 0.
Type = WR . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 302. 0 thru 39 = 781370.
histend K = 200000. 40 thru Max = 746.
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 455 0 180 20
0 -79 0 -59 0 -39 0 -19 244067 1 162 21
0 -78 0 -58 0 -38 0 -18 62695 2 135 22
0 -77 0 -57 0 -37 0 -17 23414 3 116 23
0 -76 0 -56 0 -36 0 -16 14218 4 107 24
0 -75 0 -55 0 -35 0 -15 12324 5 97 25
0 -74 0 -54 0 -34 0 -14 10905 6 97 26
0 -73 0 -53 0 -33 0 -13 6473 7 93 27
0 -72 0 -52 0 -32 0 -12 1172 8 89 28
0 -71 0 -51 0 -31 0 -11 575 9 87 29
0 -70 0 -50 0 -30 0 -10 455 10 81 30
0 -69 0 -49 0 -29 0 -9 400 11 78 31
0 -68 0 -48 0 -28 0 -8 346 12 76 32
0 -67 0 -47 0 -27 0 -7 329 13 74 33
0 -66 0 -46 0 -26 0 -6 322 14 73 34
0 -65 0 -45 0 -25 0 -5 311 15 69 35
0 -64 0 -44 0 -24 0 -4 301 16 65 36
0 -63 0 -43 0 -23 0 -3 269 17 57 37
0 -62 0 -42 0 -22 0 -2 254 18 58 38
0 -61 0 -41 0 -21 0 -1 215 19 49 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |o
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |oo
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 400. Total = 399698. Min thru -81 = 0.
Type = RW . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 17878. 0 thru 39 = 381343.
histend K = 200000. 40 thru Max = 18355.
End analysis of Test T400 at 20:37:02.122 960411
================================================================================
Test T410. Seek a relaxation of RR, WW, and either RW or WR.
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].
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.
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.
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 20:37:06.182 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T410 at 20:37:09.882 960411
Duration 3.700
Start analysis of Test T410 at 20:37:10.302 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 515 0 0
9999 10372 9642 0 0
19998 21721 18573 0 0
29997 32919 27328 0 0
39996 44207 36332 0 0
49995 55655 45060 0 0
59994 66869 53877 0 0
69993 78212 62802 0 0
79992 89599 71509 0 0
89991 100921 80344 0 0
99990 112038 89209 0 0
109989 123195 98163 0 0
119988 134619 107120 0 0
129987 145799 115986 0 0
139986 157184 124807 0 0
149985 168608 133648 0 0
159984 179915 142416 0 0
169983 191264 151151 0 0
179982 199999 160036 0 0
189981 199999 168876 0 0
199980 199999 177770 0 0
Data for calculating the percentage of time both 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 125520 0
1 235469 85981
2 19932 4252
3 1837 4611
4 5311 3422
5 3067 3410
6 7206 3183
7 1024 2718
8 71 3309
9 96 2742
10 37 1665
11 22 1662
12 17 1942
13 17 1106
14 32 1151
15 56 953
16 86 852
17 48 450
18 46 275
19 40 256
over 58 1580
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 165422 0 70 20
0 -79 0 -59 0 -39 0 -19 474014 1 64 21
0 -78 0 -58 0 -38 0 -18 58252 2 59 22
0 -77 0 -57 0 -37 0 -17 20530 3 58 23
0 -76 0 -56 0 -36 0 -16 19942 4 59 24
0 -75 0 -55 0 -35 0 -15 14583 5 55 25
0 -74 0 -54 0 -34 0 -14 16134 6 53 26
0 -73 0 -53 0 -33 0 -13 2582 7 45 27
0 -72 0 -52 0 -32 0 -12 671 8 39 28
0 -71 0 -51 0 -31 0 -11 646 9 38 29
0 -70 0 -50 0 -30 0 -10 502 10 43 30
0 -69 0 -49 0 -29 0 -9 458 11 31 31
0 -68 0 -48 0 -28 0 -8 438 12 29 32
0 -67 0 -47 0 -27 0 -7 419 13 33 33
0 -66 0 -46 0 -26 0 -6 397 14 25 34
0 -65 0 -45 0 -25 0 -5 402 15 23 35
0 -64 0 -44 0 -24 0 -4 353 16 21 36
0 -63 0 -43 0 -23 0 -3 242 17 20 37
0 -62 0 -42 0 -22 0 -2 194 18 21 38
0 -61 0 -41 0 -21 0 -1 146 19 26 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |o
425000 | |o
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |o
250000 | |o
225000 | |o
200000 | |o
175000 | |o
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 410. Total = 777779. Min thru -81 = 0.
Type = WR . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 529. 0 thru 39 = 777139.
histend K = 200000. 40 thru Max = 640.
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 363 0 86 20
0 -79 0 -59 0 -39 0 -19 238545 1 72 21
0 -78 0 -58 0 -38 0 -18 55883 2 63 22
0 -77 0 -57 0 -37 0 -17 21698 3 61 23
0 -76 0 -56 0 -36 0 -16 19898 4 58 24
0 -75 0 -55 0 -35 0 -15 14507 5 55 25
0 -74 0 -54 0 -34 0 -14 16834 6 54 26
0 -73 0 -53 0 -33 0 -13 3235 7 48 27
0 -72 0 -52 0 -32 0 -12 786 8 44 28
0 -71 0 -51 0 -31 0 -11 703 9 44 29
0 -70 0 -50 0 -30 0 -10 533 10 48 30
0 -69 0 -49 0 -29 0 -9 485 11 42 31
0 -68 0 -48 0 -28 0 -8 461 12 36 32
0 -67 0 -47 0 -27 0 -7 441 13 36 33
0 -66 0 -46 0 -26 0 -6 422 14 31 34
0 -65 0 -45 0 -25 0 -5 419 15 25 35
0 -64 0 -44 0 -24 0 -4 382 16 22 36
0 -63 0 -43 0 -23 0 -3 265 17 20 37
0 -62 0 -42 0 -22 0 -2 219 18 20 38
0 -61 0 -41 0 -21 0 -1 164 19 20 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |o
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 410. Total = 399471. Min thru -81 = 0.
Type = RW . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 22215. 0 thru 39 = 377128.
histend K = 200000. 40 thru Max = 22343.
End analysis of Test T410 at 20:37:20.942 960411
================================================================================
Test T420. Seek a relaxation of RR, WW, and either RW or WR.
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].
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.
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.
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 20:37:24.982 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
entr sync1 1 0 1 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T420 at 20:37:28.522 960411
Duration 3.540
Start analysis of Test T420 at 20:37:29.282 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 215 0 0
9999 7824 12694 0 0
19998 16179 24212 0 0
29997 25125 36042 0 0
39996 33104 48043 0 0
49995 41808 58927 0 0
59994 50915 69865 0 0
69993 60120 80758 0 0
79992 69294 91702 0 0
89991 78376 103020 0 0
99990 87408 114160 0 0
109989 96170 125160 0 0
119988 105316 136168 0 0
129987 114265 147216 0 0
139986 123460 158320 0 0
149985 132432 169337 0 0
159984 141466 180233 0 0
169983 150569 191120 0 0
179982 159759 199999 0 0
189981 168930 199999 0 0
199980 178064 199999 0 0
Data for calculating the percentage of time both 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 144777 0
1 204378 93591
2 24874 8758
3 4908 9465
4 9762 5578
5 4782 5330
6 4705 4355
7 1025 3332
8 148 3234
9 101 2251
10 27 2077
11 31 1769
12 51 1647
13 68 1010
14 85 612
15 81 482
16 99 220
17 17 148
18 10 122
19 10 124
over 50 672
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 196811 0 77 20
0 -79 0 -59 0 -39 0 -19 414635 1 62 21
0 -78 0 -58 0 -38 0 -18 74048 2 61 22
0 -77 0 -57 0 -37 0 -17 29320 3 58 23
0 -76 0 -56 0 -36 0 -16 27065 4 48 24
0 -75 0 -55 0 -35 0 -15 15955 5 46 25
0 -74 0 -54 0 -34 0 -14 11300 6 39 26
0 -73 0 -53 0 -33 0 -13 2727 7 42 27
0 -72 0 -52 0 -32 0 -12 908 8 38 28
0 -71 0 -51 0 -31 0 -11 751 9 42 29
0 -70 0 -50 0 -30 0 -10 564 10 33 30
0 -69 0 -49 0 -29 0 -9 532 11 33 31
0 -68 0 -48 0 -28 0 -8 511 12 33 32
0 -67 0 -47 0 -27 0 -7 488 13 30 33
0 -66 0 -46 0 -26 0 -6 435 14 23 34
0 -65 0 -45 0 -25 0 -5 349 15 22 35
0 -64 0 -44 0 -24 0 -4 245 16 20 36
0 -63 0 -43 0 -23 0 -3 124 17 18 37
0 -62 0 -42 0 -22 0 -2 100 18 18 38
0 -61 0 -41 0 -21 0 -1 91 19 20 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | |
400000 | |o
375000 | |o
350000 | |o
325000 | |o
300000 | |o
275000 | |o
250000 | |o
225000 | |o
200000 | |o
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 420. Total = 778075. Min thru -81 = 0.
Type = WR . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 226. 0 thru 39 = 777722.
histend K = 200000. 40 thru Max = 353.
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 1031 0 83 20
0 -79 0 -59 0 -39 0 -19 210257 1 75 21
0 -78 0 -58 0 -38 0 -18 68671 2 68 22
0 -77 0 -57 0 -37 0 -17 31136 3 64 23
0 -76 0 -56 0 -36 0 -16 27172 4 54 24
0 -75 0 -55 0 -35 0 -15 16382 5 49 25
0 -74 0 -54 0 -34 0 -14 12749 6 43 26
0 -73 0 -53 0 -33 0 -13 3643 7 40 27
0 -72 0 -52 0 -32 0 -12 1323 8 36 28
0 -71 0 -51 0 -31 0 -11 922 9 37 29
0 -70 0 -50 0 -30 0 -10 644 10 32 30
0 -69 0 -49 0 -29 0 -9 551 11 32 31
0 -68 0 -48 0 -28 0 -8 518 12 33 32
0 -67 0 -47 0 -27 0 -7 489 13 30 33
0 -66 0 -46 0 -26 0 -6 448 14 26 34
0 -65 0 -45 0 -25 0 -5 362 15 22 35
0 -64 0 -44 0 -24 0 -4 266 16 21 36
0 -63 0 -43 0 -23 0 -3 140 17 19 37
0 -62 0 -42 0 -22 0 -2 108 18 18 38
0 -61 0 -41 0 -21 0 -1 100 19 18 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |
220000 | |
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |oo
40000 | |oo
20000 | |oooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 420. Total = 399774. Min thru -81 = 0.
Type = RW . Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 21919. 0 thru 39 = 377712.
histend K = 200000. 40 thru Max = 22062.
End analysis of Test T420 at 20:37:39.922 960411
================================================================================
Test T500. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2
L0: A = 0; L0: B = A; L00: U[0] = B;
L1: A = 1; L1: B = A; L01: V[0] = A;
L2: A = 2; L2: B = A; L10: U[1] = B;
L3: A = 3; L3: B = A; L11: V[1] = A;
L4: A = 4; L4: B = A; L20: U[2] = B;
L5: A = 5; L5: B = A; L21: V[2] = A;
L6: A = 6; L6: B = A; L30: U[3] = B;
L7: A = 7; L7: B = A; L31: V[3] = A; etc.
Seek 5.0 U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 5.0 V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 5.1 U[i] > V[i]. d = V[i] - U[i].
Suffix for packed simulation output: T2: 0.
Start execution of Test T500 at 20:37:44.102 960411
entr sync0 0 1 1 1 0 0 0 0 0
entr sync0 1 0 1 1 0 0 0 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 0 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T500 at 20:37:45.542 960411
Duration 1.440
Start analysis of Test T500 at 20:37:45.542 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 2307 2693 0 0
9999 65159 65170 0 0
19998 127949 127956 0 0
29997 190552 190569 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 533049 0 553 20
0 -79 0 -59 0 -39 0 -19 6 1 439 21
0 -78 0 -58 0 -38 0 -18 21 2 229 22
0 -77 0 -57 0 -37 0 -17 99 3 172 23
0 -76 0 -56 0 -36 0 -16 118 4 119 24
0 -75 0 -55 0 -35 0 -15 556 5 70 25
0 -74 0 -54 0 -34 0 -14 1138 6 52 26
0 -73 0 -53 0 -33 0 -13 5261 7 19 27
0 -72 0 -52 0 -32 0 -12 18514 8 5 28
0 -71 0 -51 0 -31 0 -11 12962 9 6 29
0 -70 0 -50 0 -30 0 -10 3299 10 3 30
0 -69 0 -49 0 -29 0 -9 1440 11 4 31
0 -68 0 -48 0 -28 0 -8 966 12 1 32
0 -67 0 -47 0 -27 0 -7 841 13 10 33
0 -66 0 -46 0 -26 0 -6 1382 14 4 34
0 -65 0 -45 0 -25 0 -5 2964 15 1 35
0 -64 0 -44 0 -24 0 -4 6931 16 2 36
0 -63 0 -43 0 -23 0 -3 4698 17 2 37
0 -62 0 -42 0 -22 0 -2 2996 18 0 38
0 -61 0 -41 0 -21 0 -1 957 19 1 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooo_o
-30 -20 -10 0 10 20 30 40
Test = 500. Total = 599994. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 391. 0 thru 39 = 599890.
histend K = 200000. 40 thru Max = 104.
End analysis of Test T500 at 20:37:49.782 960411
================================================================================
Test T510. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2
L0: A = 0; L0: B = A; L00: U[0] = B;
L1: A = 1; L1: B = A; L01: V[0] = A;
L2: A = 2; L2: B = A; L10: U[1] = B;
L3: A = 3; L3: B = A; L11: V[1] = A;
L4: A = 4; L4: B = A; L20: U[2] = B;
L5: A = 5; L5: B = A; L21: V[2] = A;
L6: A = 6; L6: B = A; L30: U[3] = B;
L7: A = 7; L7: B = A; L31: V[3] = A; etc.
Seek 5.0 U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 5.0 V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 5.1 U[i] > V[i]. d = V[i] - U[i].
Suffix for packed simulation output: T2: 0.
Start execution of Test T510 at 20:37:54.242 960411
entr sync0 0 1 1 1 0 0 0 0 0
entr sync0 1 0 1 1 0 0 0 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 0 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T510 at 20:37:55.802 960411
Duration 1.560
Start analysis of Test T510 at 20:37:56.242 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 62740 62762 0 0
19998 126730 126744 0 0
29997 191138 191146 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 533177 0 704 20
0 -79 0 -59 0 -39 0 -19 1 1 450 21
0 -78 0 -58 0 -38 0 -18 28 2 175 22
0 -77 0 -57 0 -37 0 -17 182 3 153 23
0 -76 0 -56 0 -36 0 -16 106 4 93 24
0 -75 0 -55 0 -35 0 -15 325 5 118 25
0 -74 0 -54 0 -34 0 -14 760 6 84 26
0 -73 0 -53 0 -33 0 -13 6371 7 30 27
0 -72 0 -52 0 -32 0 -12 17498 8 11 28
0 -71 0 -51 0 -31 0 -11 12180 9 15 29
0 -70 0 -50 0 -30 0 -10 3892 10 13 30
0 -69 0 -49 0 -29 0 -9 1554 11 11 31
0 -68 0 -48 0 -28 0 -8 833 12 6 32
0 -67 0 -47 0 -27 0 -7 804 13 3 33
0 -66 0 -46 0 -26 0 -6 1028 14 12 34
0 -65 0 -45 0 -25 0 -5 3155 15 7 35
0 -64 0 -44 0 -24 0 -4 7313 16 5 36
0 -63 0 -43 0 -23 0 -3 4580 17 1 37
0 -62 0 -42 0 -22 0 -2 2973 18 4 38
0 -61 0 -41 0 -21 0 -1 1276 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 510. Total = 599994. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 83. 0 thru 39 = 599933.
histend K = 200000. 40 thru Max = 61.
End analysis of Test T510 at 20:38:00.482 960411
================================================================================
Test T520. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2
L0: A = 0; L0: B = A; L00: U[0] = B;
L1: A = 1; L1: B = A; L01: V[0] = A;
L2: A = 2; L2: B = A; L10: U[1] = B;
L3: A = 3; L3: B = A; L11: V[1] = A;
L4: A = 4; L4: B = A; L20: U[2] = B;
L5: A = 5; L5: B = A; L21: V[2] = A;
L6: A = 6; L6: B = A; L30: U[3] = B;
L7: A = 7; L7: B = A; L31: V[3] = A; etc.
Seek 5.0 U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 5.0 V[i] > V[i+1]. d = V[i+1] - V[i].
Seek 5.1 U[i] > V[i]. d = V[i] - U[i].
Suffix for packed simulation output: T2: 0.
Start execution of Test T520 at 20:38:04.582 960411
entr sync0 0 1 1 1 0 0 0 0 0
entr sync0 1 0 1 1 0 0 0 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 0 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T520 at 20:38:06.122 960411
Duration 1.540
Start analysis of Test T520 at 20:38:06.842 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 801 818 0 0
9999 64427 64435 0 0
19998 128404 128419 0 0
29997 192450 192464 0 0
39996 199999 199999 0 0
49995 199999 199999 0 0
59994 199999 199999 0 0
69993 199999 199999 0 0
79992 199999 199999 0 0
89991 199999 199999 0 0
99990 199999 199999 0 0
109989 199999 199999 0 0
119988 199999 199999 0 0
129987 199999 199999 0 0
139986 199999 199999 0 0
149985 199999 199999 0 0
159984 199999 199999 0 0
169983 199999 199999 0 0
179982 199999 199999 0 0
189981 199999 199999 0 0
199980 199999 199999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 532778 0 800 20
0 -79 0 -59 0 -39 0 -19 37 1 620 21
0 -78 0 -58 0 -38 0 -18 36 2 306 22
0 -77 0 -57 0 -37 0 -17 77 3 205 23
0 -76 0 -56 0 -36 0 -16 63 4 212 24
0 -75 0 -55 0 -35 0 -15 620 5 130 25
0 -74 0 -54 0 -34 0 -14 1256 6 24 26
0 -73 0 -53 0 -33 0 -13 8281 7 11 27
0 -72 0 -52 0 -32 0 -12 20032 8 12 28
0 -71 0 -51 0 -31 0 -11 7872 9 20 29
0 -70 0 -50 0 -30 0 -10 2716 10 8 30
0 -69 0 -49 0 -29 0 -9 1576 11 6 31
0 -68 0 -48 0 -28 0 -8 1025 12 5 32
0 -67 0 -47 0 -27 0 -7 1478 13 4 33
0 -66 0 -46 0 -26 0 -6 1713 14 9 34
0 -65 0 -45 0 -25 0 -5 5202 15 5 35
0 -64 0 -44 0 -24 0 -4 6918 16 2 36
0 -63 0 -43 0 -23 0 -3 3018 17 5 37
0 -62 0 -42 0 -22 0 -2 1920 18 3 38
0 -61 0 -41 0 -21 0 -1 975 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 520. Total = 599994. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49. 0 thru 39 = 599982.
histend K = 200000. 40 thru Max = 12.
End analysis of Test T520 at 20:38:11.022 960411
================================================================================
Test T600. Seek a relaxation of RR, WW,and CC1.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; B = 0;
A = 1; U[1] = B; V[1] = B; X[1] = B; Y[1] = B; B = 1;
A = 2; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; B = 2;
A = 3; U[3] = B; V[3] = B; X[3] = B; Y[3] = B; B = 3;
A = 4; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; B = 4;
A = 5; U[5] = B; V[5] = B; X[5] = B; Y[5] = B; B = 5;
A = 6; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; B = 6;
A = 7; U[7] = B; V[7] = B; X[7] = B; Y[7] = B; B = 7; etc.
Seek 6.0. U[i] > U[i+2]. d = U[i+2] - U[i].
Seek 6.0. V[i] > V[i+2]. d = V[i+2] - V[i].
Seek 6.0. X[i] > X[i+2]. d = X[i+2] - X[i].
Seek 6.0. Y[i] > Y[i+2]. d = Y[i+2] - Y[i].
Seek U[i] < V[j] and V[j+1] < U[i-1]. d = V[j+1] - U[i-1].
6.1. i and j are even.
6.2. i and j are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T600 at 20:38:15.162 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 4 0 0 1 0 1 1 0 0
entr sync0 2 0 0 1 0 0 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 1 1 1 1 1 1 1 0 0
entr sync1 0 1 0 1 1 1 1 0 0
entr sync1 2 0 0 1 1 1 1 0 0
entr sync1 3 0 0 0 1 1 1 0 0
entr sync1 5 0 0 0 0 1 1 0 0
entr sync1 4 0 0 0 0 1 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
End execution of Test T600 at 20:38:16.182 960411
Duration 1.020
Start analysis of Test T600 at 20:38:16.202 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 1761 857 0 2485
9999 39097 41015 35606 44602
19998 67244 72213 73665 76406
29997 115319 124687 132838 131280
39996 137027 151497 166884 159453
49995 191794 199999 199999 199999
59994 192180 195553 199999 199546
69993 199999 199999 199999 199999
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
Start 2d analysis. 20:38:22.722 960411
Start 3d analysis. 20:38:23.782 960411
Start 4th analysis. 20:38:24.862 960411
Start 5th analysis. 20:38:25.922 960411
Start 6th analysis. 20:38:26.982 960411
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 659526 0 12452 20
0 -79 0 -59 0 -39 0 -19 580 1 9703 21
0 -78 0 -58 0 -38 0 -18 2777 2 7800 22
0 -77 0 -57 0 -37 0 -17 3442 3 5729 23
0 -76 0 -56 0 -36 0 -16 8308 4 4369 24
0 -75 0 -55 0 -35 0 -15 19739 5 3357 25
0 -74 0 -54 0 -34 0 -14 23948 6 2375 26
0 -73 0 -53 0 -33 0 -13 30112 7 1538 27
0 -72 0 -52 0 -32 0 -12 34061 8 1207 28
0 -71 0 -51 0 -31 0 -11 37378 9 767 29
0 -70 0 -50 0 -30 0 -10 37815 10 613 30
0 -69 0 -49 0 -29 0 -9 36009 11 410 31
0 -68 0 -48 0 -28 0 -8 33301 12 228 32
0 -67 0 -47 0 -27 0 -7 29387 13 202 33
0 -66 0 -46 0 -26 0 -6 27771 14 117 34
0 -65 0 -45 0 -25 0 -5 25402 15 60 35
0 -64 0 -44 0 -24 0 -4 22728 16 48 36
0 -63 0 -43 0 -23 0 -3 20636 17 43 37
0 -62 0 -42 0 -22 0 -2 18323 18 44 38
0 -61 0 -41 0 -21 0 -1 14870 19 45 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 600. Total = 1142732. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2822. 0 thru 39 = 1137220.
histend K = 200000. 40 thru Max = 5512.
Plot of T6 data.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
5F
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
F
FF
FF
FF
FF
FFF
FF
FFFFFFF
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End analysis of Test T600 at 20:38:31.562 960411
================================================================================
Test T610. Seek a relaxation of RR, WW,and CC1.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; B = 0;
A = 1; U[1] = B; V[1] = B; X[1] = B; Y[1] = B; B = 1;
A = 2; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; B = 2;
A = 3; U[3] = B; V[3] = B; X[3] = B; Y[3] = B; B = 3;
A = 4; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; B = 4;
A = 5; U[5] = B; V[5] = B; X[5] = B; Y[5] = B; B = 5;
A = 6; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; B = 6;
A = 7; U[7] = B; V[7] = B; X[7] = B; Y[7] = B; B = 7; etc.
Seek 6.0. U[i] > U[i+2]. d = U[i+2] - U[i].
Seek 6.0. V[i] > V[i+2]. d = V[i+2] - V[i].
Seek 6.0. X[i] > X[i+2]. d = X[i+2] - X[i].
Seek 6.0. Y[i] > Y[i+2]. d = Y[i+2] - Y[i].
Seek U[i] < V[j] and V[j+1] < U[i-1]. d = V[j+1] - U[i-1].
6.1. i and j are even.
6.2. i and j are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T610 at 20:38:36.062 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 2 0 0 1 1 1 1 0 0
entr sync0 3 0 0 0 1 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 1 1 1 0 0
entr sync1 1 0 1 1 1 1 1 0 0
entr sync1 2 0 0 1 1 1 1 0 0
entr sync1 3 0 0 0 1 1 1 0 0
entr sync1 4 0 0 0 0 1 1 0 0
entr sync1 5 0 0 0 0 0 1 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
End execution of Test T610 at 20:38:37.182 960411
Duration 1.120
Start analysis of Test T610 at 20:38:39.322 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 34975 40558 48856 54621
19998 73507 84667 101998 112561
29997 110654 125087 148291 161456
39996 157573 180100 199999 199999
49995 185121 192382 199999 199999
59994 199999 199999 199999 199999
69993 199999 199999 199999 199999
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
Start 2d analysis. 20:38:45.622 960411
Start 3d analysis. 20:38:46.702 960411
Start 4th analysis. 20:38:47.762 960411
Start 5th analysis. 20:38:48.782 960411
Start 6th analysis. 20:38:49.782 960411
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 669917 0 12824 20
0 -79 0 -59 0 -39 0 -19 526 1 11364 21
0 -78 0 -58 0 -38 0 -18 2666 2 9753 22
0 -77 0 -57 0 -37 0 -17 3486 3 8263 23
0 -76 0 -56 0 -36 0 -16 6127 4 6851 24
0 -75 0 -55 0 -35 0 -15 12452 5 5371 25
0 -74 0 -54 0 -34 0 -14 13318 6 4346 26
0 -73 0 -53 0 -33 0 -13 18888 7 3332 27
0 -72 0 -52 0 -32 0 -12 23327 8 2521 28
0 -71 0 -51 0 -31 0 -11 28468 9 1870 29
0 -70 0 -50 0 -30 0 -10 31795 10 1300 30
0 -69 0 -49 0 -29 0 -9 33001 11 976 31
0 -68 0 -48 0 -28 0 -8 33101 12 655 32
0 -67 0 -47 0 -27 0 -7 32081 13 423 33
0 -66 0 -46 0 -26 0 -6 28601 14 360 34
0 -65 0 -45 0 -25 0 -5 25611 15 170 35
0 -64 0 -44 0 -24 0 -4 22536 16 166 36
0 -63 0 -43 0 -23 0 -3 18840 17 138 37
0 -62 0 -42 0 -22 0 -2 16598 18 118 38
0 -61 0 -41 0 -21 0 -1 14501 19 77 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 610. Total = 1111471. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2109. 0 thru 39 = 1106718.
histend K = 200000. 40 thru Max = 4753.
Plot of T6 data.
T6 plot bounds exceeded; tmp = 6479; i = 42048.
tmp = 80*( 199040 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42050.
tmp = 80*( 199047 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42052.
tmp = 80*( 199047 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42054.
tmp = 80*( 199050 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42056.
tmp = 80*( 199055 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42058.
tmp = 80*( 199055 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42060.
tmp = 80*( 199060 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42062.
tmp = 80*( 199065 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42064.
tmp = 80*( 199065 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42066.
tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42068.
tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42070.
tmp = 80*( 199074 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42072.
tmp = 80*( 199079 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42074.
tmp = 80*( 199083 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42076.
tmp = 80*( 199083 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42078.
tmp = 80*( 199088 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42080.
tmp = 80*( 199098 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42082.
tmp = 80*( 199104 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42084.
tmp = 80*( 199104 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42086.
tmp = 80*( 199109 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42088.
tmp = 80*( 199109 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42090.
tmp = 80*( 199114 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42092.
tmp = 80*( 199114 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42094.
tmp = 80*( 199119 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42096.
tmp = 80*( 199119 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42098.
tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42100.
tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42102.
tmp = 80*( 199127 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42104.
tmp = 80*( 199132 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42106.
tmp = 80*( 199132 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42108.
tmp = 80*( 199138 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42110.
tmp = 80*( 199138 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42112.
tmp = 80*( 199145 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42114.
tmp = 80*( 199151 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42116.
tmp = 80*( 199151 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42118.
tmp = 80*( 199156 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42120.
tmp = 80*( 199156 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42122.
tmp = 80*( 199163 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42124.
tmp = 80*( 199163 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42126.
tmp = 80*( 199166 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42128.
tmp = 80*( 199170 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42130.
tmp = 80*( 199177 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42132.
tmp = 80*( 199177 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42134.
tmp = 80*( 199181 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42136.
tmp = 80*( 199181 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42138.
tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42140.
tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42142.
tmp = 80*( 199185 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42144.
tmp = 80*( 199192 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42146.
tmp = 80*( 199197 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42148.
tmp = 80*( 199197 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42150.
tmp = 80*( 199202 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42152.
tmp = 80*( 199208 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42154.
tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42156.
tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42158.
tmp = 80*( 199212 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42160.
tmp = 80*( 199217 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42162.
tmp = 80*( 199227 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42164.
tmp = 80*( 199230 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42166.
tmp = 80*( 199230 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42168.
tmp = 80*( 199235 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42170.
tmp = 80*( 199235 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42172.
tmp = 80*( 199240 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42174.
tmp = 80*( 199240 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42176.
tmp = 80*( 199245 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42178.
tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42180.
tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42182.
tmp = 80*( 199253 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42184.
tmp = 80*( 199259 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42186.
tmp = 80*( 199259 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42188.
tmp = 80*( 199264 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42190.
tmp = 80*( 199264 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42192.
tmp = 80*( 199269 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42194.
tmp = 80*( 199274 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42196.
tmp = 80*( 199279 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42198.
tmp = 80*( 199279 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42200.
tmp = 80*( 199283 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42202.
tmp = 80*( 199287 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42204.
tmp = 80*( 199287 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42206.
tmp = 80*( 199291 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42208.
tmp = 80*( 199298 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42210.
tmp = 80*( 199306 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42212.
tmp = 80*( 199306 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42214.
tmp = 80*( 199310 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42216.
tmp = 80*( 199310 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42218.
tmp = 80*( 199318 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42220.
tmp = 80*( 199318 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42222.
tmp = 80*( 199323 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42224.
tmp = 80*( 199323 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42226.
tmp = 80*( 199329 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42228.
tmp = 80*( 199334 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42230.
tmp = 80*( 199334 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42232.
tmp = 80*( 199339 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42234.
tmp = 80*( 199344 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42236.
tmp = 80*( 199344 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42238.
tmp = 80*( 199349 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42240.
tmp = 80*( 199357 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42242.
tmp = 80*( 199373 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42244.
tmp = 80*( 199373 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42246.
tmp = 80*( 199376 / 2488 ) + ( 199999 / 2488 ).
T6 plot bounds exceeded; tmp = 6479; i = 42248.
tmp = 80*( 199380 / 2488 ) + ( 199999 / 2488 ).
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
7
F
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
F
F
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End analysis of Test T610 at 20:38:55.262 960411
================================================================================
Test T620. Seek a relaxation of RR, WW,and CC1.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; B = 0;
A = 1; U[1] = B; V[1] = B; X[1] = B; Y[1] = B; B = 1;
A = 2; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; B = 2;
A = 3; U[3] = B; V[3] = B; X[3] = B; Y[3] = B; B = 3;
A = 4; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; B = 4;
A = 5; U[5] = B; V[5] = B; X[5] = B; Y[5] = B; B = 5;
A = 6; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; B = 6;
A = 7; U[7] = B; V[7] = B; X[7] = B; Y[7] = B; B = 7; etc.
Seek 6.0. U[i] > U[i+2]. d = U[i+2] - U[i].
Seek 6.0. V[i] > V[i+2]. d = V[i+2] - V[i].
Seek 6.0. X[i] > X[i+2]. d = X[i+2] - X[i].
Seek 6.0. Y[i] > Y[i+2]. d = Y[i+2] - Y[i].
Seek U[i] < V[j] and V[j+1] < U[i-1]. d = V[j+1] - U[i-1].
6.1. i and j are even.
6.2. i and j are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T620 at 20:38:59.522 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 3 0 0 1 1 1 1 0 0
entr sync0 4 0 0 1 0 1 1 0 0
entr sync0 5 0 0 1 0 0 1 0 0
entr sync0 2 0 0 1 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 1 1 1 0 0
entr sync1 1 0 1 1 1 1 1 0 0
entr sync1 4 0 0 1 1 1 1 0 0
entr sync1 5 0 0 1 1 0 1 0 0
entr sync1 2 0 0 1 1 0 0 0 0
entr sync1 3 0 0 0 1 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T620 at 20:39:00.562 960411
Duration 1.040
Start analysis of Test T620 at 20:39:04.382 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 56902 50708 34820 41560
19998 110924 101183 71672 83843
29997 160104 148314 107748 124516
39996 199999 199999 148121 170995
49995 199999 199999 180550 197052
59994 199999 199999 199999 199999
69993 199999 199999 199999 199999
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
Start 2d analysis. 20:39:10.582 960411
Start 3d analysis. 20:39:11.522 960411
Start 4th analysis. 20:39:12.442 960411
Start 5th analysis. 20:39:13.402 960411
Start 6th analysis. 20:39:14.362 960411
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 645771 0 14909 20
0 -79 0 -59 0 -39 0 -19 490 1 12024 21
0 -78 0 -58 0 -38 0 -18 1944 2 9905 22
0 -77 0 -57 0 -37 0 -17 3242 3 7527 23
0 -76 0 -56 0 -36 0 -16 4863 4 5510 24
0 -75 0 -55 0 -35 0 -15 9926 5 3863 25
0 -74 0 -54 0 -34 0 -14 14533 6 2783 26
0 -73 0 -53 0 -33 0 -13 20096 7 1972 27
0 -72 0 -52 0 -32 0 -12 24662 8 1156 28
0 -71 0 -51 0 -31 0 -11 28537 9 814 29
0 -70 0 -50 0 -30 0 -10 29601 10 574 30
0 -69 0 -49 0 -29 0 -9 28906 11 332 31
0 -68 0 -48 0 -28 0 -8 26896 12 298 32
0 -67 0 -47 0 -27 0 -7 25405 13 180 33
0 -66 0 -46 0 -26 0 -6 23802 14 145 34
0 -65 0 -45 0 -25 0 -5 22816 15 76 35
0 -64 0 -44 0 -24 0 -4 22226 16 95 36
0 -63 0 -43 0 -23 0 -3 20949 17 139 37
0 -62 0 -42 0 -22 0 -2 19670 18 47 38
0 -61 0 -41 0 -21 0 -1 17355 19 46 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | o
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | o
160000 | o
120000 | o
80000 | o
40000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 620. Total = 1056026. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1868. 0 thru 39 = 1054085.
histend K = 200000. 40 thru Max = 1941.
Plot of T6 data.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
E
F
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
3FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FF
FFF
FF
FF
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
End analysis of Test T620 at 20:39:19.862 960411
================================================================================
Test T700. Seek a relaxation of UPO, RR, WW, and CC1.
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].
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.
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.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T700 at 20:39:24.322 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T700 at 20:39:28.482 960411
Duration 4.160
Start analysis of Test T700 at 20:39:28.482 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 219 199999 199999
9999 10191 9818 0 0
19998 20489 19505 0 0
29997 30783 29197 0 0
39996 41244 38817 0 0
49995 51675 48337 0 0
59994 61921 58169 0 0
69993 72407 67725 0 0
79992 82638 77445 0 0
89991 92905 87134 0 0
99990 103259 96864 0 0
109989 113632 106481 0 0
119988 123948 116177 0 0
129987 134398 125733 0 0
139986 144656 135406 0 0
149985 155040 145175 0 0
159984 165362 154751 0 0
169983 175762 164397 0 0
179982 186219 174034 0 0
189981 196607 183644 0 0
199980 199999 193297 0 0
Data for calculating the percentage of time both 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 82201 0
1 282648 47082
2 22467 3226
3 1370 4134
4 3351 2472
5 3349 2526
6 4146 1913
7 66 2123
8 58 2202
9 29 1603
10 16 1672
11 22 1386
12 13 1432
13 23 1256
14 34 1182
15 39 1193
16 38 1121
17 44 729
18 22 459
19 12 415
over 45 4075
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 117565 0 65 20
0 -79 0 -59 0 -39 0 -19 566899 1 61 21
0 -78 0 -58 0 -38 0 -18 56902 2 57 22
0 -77 0 -57 0 -37 0 -17 13480 3 52 23
0 -76 0 -56 0 -36 0 -16 13665 4 43 24
0 -75 0 -55 0 -35 0 -15 11558 5 40 25
0 -74 0 -54 0 -34 0 -14 8750 6 27 26
0 -73 0 -53 0 -33 0 -13 535 7 27 27
0 -72 0 -52 0 -32 0 -12 474 8 21 28
0 -71 0 -51 0 -31 0 -11 384 9 21 29
0 -70 0 -50 0 -30 0 -10 338 10 19 30
0 -69 0 -49 0 -29 0 -9 326 11 13 31
0 -68 0 -48 0 -28 0 -8 297 12 12 32
0 -67 0 -47 0 -27 0 -7 289 13 14 33
0 -66 0 -46 0 -26 0 -6 279 14 11 34
0 -65 0 -45 0 -25 0 -5 247 15 12 35
0 -64 0 -44 0 -24 0 -4 205 16 11 36
0 -63 0 -43 0 -23 0 -3 175 17 10 37
0 -62 0 -42 0 -22 0 -2 113 18 7 38
0 -61 0 -41 0 -21 0 -1 85 19 7 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |o
520000 | |o
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | |o
200000 | |o
160000 | |o
120000 | |o
80000 | oo
40000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 700. Total = 793307. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 227. 0 thru 39 = 793096.
histend K = 200000. 40 thru Max = 211.
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 522 0 65 20
0 -79 0 -59 0 -39 0 -19 284251 1 62 21
0 -78 0 -58 0 -38 0 -18 54030 2 53 22
0 -77 0 -57 0 -37 0 -17 15241 3 51 23
0 -76 0 -56 0 -36 0 -16 13532 4 45 24
0 -75 0 -55 0 -35 0 -15 11726 5 42 25
0 -74 0 -54 0 -34 0 -14 8989 6 37 26
0 -73 0 -53 0 -33 0 -13 896 7 32 27
0 -72 0 -52 0 -32 0 -12 503 8 25 28
0 -71 0 -51 0 -31 0 -11 417 9 19 29
0 -70 0 -50 0 -30 0 -10 358 10 20 30
0 -69 0 -49 0 -29 0 -9 338 11 14 31
0 -68 0 -48 0 -28 0 -8 306 12 13 32
0 -67 0 -47 0 -27 0 -7 292 13 14 33
0 -66 0 -46 0 -26 0 -6 284 14 12 34
0 -65 0 -45 0 -25 0 -5 252 15 13 35
0 -64 0 -44 0 -24 0 -4 210 16 9 36
0 -63 0 -43 0 -23 0 -3 186 17 10 37
0 -62 0 -42 0 -22 0 -2 122 18 8 38
0 -61 0 -41 0 -21 0 -1 86 19 7 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |o
260000 | |o
240000 | |o
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |o
40000 | |oo
20000 | |oo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 700. Total = 399773. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 6687. 0 thru 39 = 393092.
histend K = 200000. 40 thru Max = 6681.
End analysis of Test T700 at 20:39:39.262 960411
================================================================================
Test T710. Seek a relaxation of UPO, RR, WW, and CC1.
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].
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.
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.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T710 at 20:39:43.342 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T710 at 20:39:47.382 960411
Duration 4.040
Start analysis of Test T710 at 20:39:47.802 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 644 199999 0
9999 8856 11232 0 0
19998 18240 21853 0 0
29997 28127 31904 0 0
39996 38245 41697 0 0
49995 48520 51545 0 0
59994 58240 61582 0 0
69993 68783 71127 0 0
79992 78466 81631 0 0
89991 88092 91993 0 0
99990 97536 102692 0 0
109989 106875 113243 0 0
119988 116528 123312 0 0
129987 126658 133575 0 0
139986 136723 143135 0 0
149985 147324 152544 0 0
159984 157799 161947 0 0
169983 168500 171365 0 0
179982 179253 180713 0 0
189981 189815 190144 0 0
199980 199999 199577 0 0
Data for calculating the percentage of time both 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 99863 0
1 256055 55748
2 23376 4977
3 3452 6474
4 7504 3738
5 7225 3983
6 1899 2953
7 96 3009
8 48 3047
9 32 2365
10 29 1873
11 25 1798
12 62 1972
13 47 1710
14 99 1475
15 82 1269
16 38 984
17 5 373
18 8 279
19 3 203
over 44 1633
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 144864 0 60 20
0 -79 0 -59 0 -39 0 -19 514880 1 57 21
0 -78 0 -58 0 -38 0 -18 66098 2 50 22
0 -77 0 -57 0 -37 0 -17 22917 3 51 23
0 -76 0 -56 0 -36 0 -16 23396 4 43 24
0 -75 0 -55 0 -35 0 -15 17003 5 43 25
0 -74 0 -54 0 -34 0 -14 4439 6 36 26
0 -73 0 -53 0 -33 0 -13 724 7 34 27
0 -72 0 -52 0 -32 0 -12 593 8 35 28
0 -71 0 -51 0 -31 0 -11 527 9 27 29
0 -70 0 -50 0 -30 0 -10 489 10 24 30
0 -69 0 -49 0 -29 0 -9 448 11 25 31
0 -68 0 -48 0 -28 0 -8 454 12 23 32
0 -67 0 -47 0 -27 0 -7 378 13 23 33
0 -66 0 -46 0 -26 0 -6 378 14 20 34
0 -65 0 -45 0 -25 0 -5 267 15 24 35
0 -64 0 -44 0 -24 0 -4 148 16 21 36
0 -63 0 -43 0 -23 0 -3 83 17 19 37
0 -62 0 -42 0 -22 0 -2 79 18 14 38
0 -61 0 -41 0 -21 0 -1 65 19 14 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | |o
200000 | |o
160000 | |o
120000 | oo
80000 | oo
40000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 710. Total = 799587. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 658. 0 thru 39 = 798873.
histend K = 200000. 40 thru Max = 714.
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 618 0 64 20
0 -79 0 -59 0 -39 0 -19 258826 1 59 21
0 -78 0 -58 0 -38 0 -18 62680 2 52 22
0 -77 0 -57 0 -37 0 -17 24861 3 50 23
0 -76 0 -56 0 -36 0 -16 23224 4 44 24
0 -75 0 -55 0 -35 0 -15 17796 5 39 25
0 -74 0 -54 0 -34 0 -14 4965 6 37 26
0 -73 0 -53 0 -33 0 -13 1116 7 34 27
0 -72 0 -52 0 -32 0 -12 682 8 31 28
0 -71 0 -51 0 -31 0 -11 566 9 29 29
0 -70 0 -50 0 -30 0 -10 499 10 29 30
0 -69 0 -49 0 -29 0 -9 457 11 25 31
0 -68 0 -48 0 -28 0 -8 455 12 25 32
0 -67 0 -47 0 -27 0 -7 395 13 22 33
0 -66 0 -46 0 -26 0 -6 382 14 21 34
0 -65 0 -45 0 -25 0 -5 287 15 21 35
0 -64 0 -44 0 -24 0 -4 173 16 20 36
0 -63 0 -43 0 -23 0 -3 95 17 16 37
0 -62 0 -42 0 -22 0 -2 81 18 14 38
0 -61 0 -41 0 -21 0 -1 75 19 15 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |o
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |oo
40000 | |oo
20000 | |oooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 710. Total = 399342. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 407. 0 thru 39 = 398880.
histend K = 200000. 40 thru Max = 462.
End analysis of Test T710 at 20:39:58.562 960411
================================================================================
Test T720. Seek a relaxation of UPO, RR, WW, and CC1.
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].
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.
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.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T720 at 20:40:02.642 960411
entr sync0 0 1 1 0 0 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 1 1 1 0 0 0 0 0 0
entr sync1 0 1 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T720 at 20:40:06.682 960411
Duration 4.040
Start analysis of Test T720 at 20:40:07.422 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 798 0 0
9999 9234 10704 0 0
19998 19632 20376 0 0
29997 29875 30127 0 0
39996 40051 39937 0 0
49995 50302 49696 0 0
59994 60441 59544 0 0
69993 70548 69424 0 0
79992 80720 79256 0 0
89991 90848 89135 0 0
99990 101079 98912 0 0
109989 111288 108757 0 0
119988 121317 118624 0 0
129987 131444 128516 0 0
139986 141608 138401 0 0
149985 151891 148176 0 0
159984 162028 157973 0 0
169983 172174 167801 0 0
179982 182357 177632 0 0
189981 192561 187458 0 0
199980 199999 197197 0 0
Data for calculating the percentage of time both 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 101282 0
1 253314 55962
2 24833 3479
3 5853 6931
4 5167 3760
5 8103 5387
6 693 3974
7 107 3461
8 73 3774
9 25 2528
10 24 1514
11 34 1755
12 104 2230
13 158 2117
14 60 950
15 37 784
16 11 505
17 6 217
18 8 196
19 6 197
over 95 1561
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 148026 0 108 20
0 -79 0 -59 0 -39 0 -19 510489 1 105 21
0 -78 0 -58 0 -38 0 -18 68434 2 104 22
0 -77 0 -57 0 -37 0 -17 24172 3 103 23
0 -76 0 -56 0 -36 0 -16 18387 4 91 24
0 -75 0 -55 0 -35 0 -15 17883 5 87 25
0 -74 0 -54 0 -34 0 -14 2067 6 82 26
0 -73 0 -53 0 -33 0 -13 859 7 82 27
0 -72 0 -52 0 -32 0 -12 721 8 74 28
0 -71 0 -51 0 -31 0 -11 612 9 68 29
0 -70 0 -50 0 -30 0 -10 579 10 67 30
0 -69 0 -49 0 -29 0 -9 558 11 57 31
0 -68 0 -48 0 -28 0 -8 568 12 47 32
0 -67 0 -47 0 -27 0 -7 522 13 42 33
0 -66 0 -46 0 -26 0 -6 272 14 41 34
0 -65 0 -45 0 -25 0 -5 199 15 35 35
0 -64 0 -44 0 -24 0 -4 144 16 29 36
0 -63 0 -43 0 -23 0 -3 133 17 28 37
0 -62 0 -42 0 -22 0 -2 130 18 26 38
0 -61 0 -41 0 -21 0 -1 118 19 25 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | |
560000 | |
520000 | |
480000 | |o
440000 | |o
400000 | |o
360000 | |o
320000 | |o
280000 | |o
240000 | |o
200000 | |o
160000 | |o
120000 | oo
80000 | oo
40000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 720. Total = 797209. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 813. 0 thru 39 = 796174.
histend K = 200000. 40 thru Max = 1035.
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 423 0 115 20
0 -79 0 -59 0 -39 0 -19 257176 1 106 21
0 -78 0 -58 0 -38 0 -18 66799 2 107 22
0 -77 0 -57 0 -37 0 -17 24543 3 93 23
0 -76 0 -56 0 -36 0 -16 18776 4 92 24
0 -75 0 -55 0 -35 0 -15 18536 5 88 25
0 -74 0 -54 0 -34 0 -14 2793 6 86 26
0 -73 0 -53 0 -33 0 -13 961 7 80 27
0 -72 0 -52 0 -32 0 -12 762 8 77 28
0 -71 0 -51 0 -31 0 -11 643 9 69 29
0 -70 0 -50 0 -30 0 -10 596 10 66 30
0 -69 0 -49 0 -29 0 -9 575 11 64 31
0 -68 0 -48 0 -28 0 -8 585 12 54 32
0 -67 0 -47 0 -27 0 -7 559 13 48 33
0 -66 0 -46 0 -26 0 -6 316 14 46 34
0 -65 0 -45 0 -25 0 -5 231 15 36 35
0 -64 0 -44 0 -24 0 -4 172 16 33 36
0 -63 0 -43 0 -23 0 -3 142 17 27 37
0 -62 0 -42 0 -22 0 -2 130 18 25 38
0 -61 0 -41 0 -21 0 -1 122 19 26 39
------ Relaxed ------ | ------ Strong ------
380000 | |
360000 | |
340000 | |
320000 | |
300000 | |
280000 | |
260000 | |
240000 | |o
220000 | |o
200000 | |o
180000 | |o
160000 | |o
140000 | |o
120000 | |o
100000 | |o
80000 | |o
60000 | |oo
40000 | |oo
20000 | |ooo
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 720. Total = 399187. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 2785. 0 thru 39 = 396178.
histend K = 200000. 40 thru Max = 3009.
End analysis of Test T720 at 20:40:18.122 960411
================================================================================
Test T800. Seek a relaxation of WW and 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.
WW event (two write operations occurred out of order):
U[i] >= U[i+] and U[i] = U[i+] (modulo 4)
where i+ is greater than i.
Similarly for V, X, and Y.
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
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.
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T800 at 20:40:22.242 960411
entr sync0 0 1 1 1 1 0 0 0 0
entr sync0 2 0 1 1 1 0 0 0 0
entr sync0 3 0 1 0 1 0 0 0 0
entr sync0 1 0 1 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 1 0 0 0 0
entr sync1 3 0 1 1 1 0 0 0 0
entr sync1 1 0 1 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T800 at 20:40:26.622 960411
Duration 4.380
Start analysis of Test T800 at 20:40:29.262 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 922 1353 7880
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 300851
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 699930 699931 699932 699933
79992 799920 799921 799922 799923
89991 899910 899911 899912 899913
99990 999900 999901 999902 999903
109989 1099890 1099891 1099892 1099893
119988 1199880 1199881 1199882 1199883
129987 1299870 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1699830 1699831 1699832 1699833
179982 1799820 1799821 1799822 1799823
189981 1899810 1899811 1899812 1899813
199980 1999800 1999801 1999802 1999803
Every 9999th entry of the arrays, from 0 to 200000:
i w[i][0] w[i][1] w[i][2] w[i][3]
0 0 922 1353 7880
9999 99990 99991 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 300851
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 699930 699931 699932 699933
79992 799920 799921 799922 799923
89991 899910 899911 899912 899913
99990 999900 999901 999902 999903
109989 1099890 1099891 1099892 1099893
119988 1199880 1199881 1199882 1199883
129987 1299870 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1699830 1699831 1699832 1699833
179982 1799820 1799821 1799822 1799823
189981 1899810 1899811 1899812 1899813
199980 1999800 1999801 1999802 1999803
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1563600 0 0 20
0 -79 0 -59 0 -39 0 -19 17 1 0 21
0 -78 0 -58 0 -38 0 -18 37 2 1 22
0 -77 0 -57 0 -37 0 -17 35 3 1 23
0 -76 0 -56 0 -36 0 -16 33 4 0 24
0 -75 0 -55 0 -35 0 -15 42 5 1 25
0 -74 0 -54 0 -34 0 -14 37 6 1 26
0 -73 0 -53 0 -33 0 -13 37 7 1 27
0 -72 0 -52 0 -32 0 -12 18 8 0 28
0 -71 0 -51 0 -31 0 -11 16 9 0 29
0 -70 0 -50 0 -30 0 -10 7 10 0 30
0 -69 0 -49 0 -29 0 -9 4 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 1 15 0 35
0 -64 0 -44 0 -24 0 -4 3 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 2 19 0 39
------ Relaxed ------ | ------ Strong ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
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 |_________._________._________.ooooooooooo_o_oo__o._oo_ooo__.__o______
-30 -20 -10 0 10 20 30 40
Test = 800. Total = 1563897. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 58. 0 thru 39 = 1563896.
histend K = 200000. 40 thru Max = 1.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 117824 3
1 149957 3
2 158808 3
3 201526 3
4 229082 3
A convoy of length 3 starts at line 117824:
117824 310570 0 0 310570
117825 0 0 298023 298023
117826 0 297912 297912 0
A convoy of length 3 starts at line 149957:
149957 393030 0 0 393030
149958 0 0 380003 380003
149959 0 379402 379402 0
A convoy of length 3 starts at line 158808:
158808 415780 0 0 415780
158809 0 0 403383 403383
158810 0 401782 401782 0
A convoy of length 3 starts at line 201526:
201526 525300 0 0 525300
201527 0 0 512143 512143
201528 0 511322 511322 0
A convoy of length 3 starts at line 229082:
229082 595290 0 0 595290
229083 0 0 583343 583343
229084 0 581752 581752 0
End analysis of Test T800 at 20:42:45.062 960411
================================================================================
Test T820. Seek a relaxation of WW and 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.
WW event (two write operations occurred out of order):
U[i] >= U[i+] and U[i] = U[i+] (modulo 4)
where i+ is greater than i.
Similarly for V, X, and Y.
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
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.
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T820 at 20:42:49.502 960411
entr sync0 0 1 1 1 1 0 0 0 0
entr sync0 1 0 1 1 1 0 0 0 0
entr sync0 2 0 0 1 1 0 0 0 0
entr sync0 3 0 0 0 1 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
entr sync1 3 1 1 1 1 0 0 0 0
entr sync1 1 1 1 1 0 0 0 0 0
entr sync1 0 1 0 1 0 0 0 0 0
entr sync1 2 0 0 1 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
End execution of Test T820 at 20:42:54.062 960411
Duration 4.560
Start analysis of Test T820 at 20:43:00.282 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 8461 1 800 3
9999 99990 93853 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 706851 699931 699932 699933
79992 806623 799921 800030 799923
89991 899910 899911 899912 899913
99990 999900 999901 1005941 999903
109989 1099890 1099891 1099892 1099893
119988 1206891 1199881 1199882 1199883
129987 1306601 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1704541 1699831 1699832 1692492
179982 1799820 1799821 1799822 1792192
189981 1899810 1899811 1899812 1899813
199980 1999800 1996850 1999802 1999803
Every 9999th entry of the arrays, from 0 to 200000:
i w[i][0] w[i][1] w[i][2] w[i][3]
0 8461 1 800 3
9999 99990 93853 99992 99993
19998 199980 199981 199982 199983
29997 299970 299971 299972 299973
39996 399960 399961 399962 399963
49995 499950 499951 499952 499953
59994 599940 599941 599942 599943
69993 706851 699931 699932 699933
79992 806623 799921 800030 799923
89991 899910 899911 899912 899913
99990 999900 999901 1005941 999903
109989 1099890 1099891 1099892 1099893
119988 1206891 1199881 1199882 1199883
129987 1306601 1299871 1299872 1299873
139986 1399860 1399861 1399862 1399863
149985 1499850 1499851 1499852 1499853
159984 1599840 1599841 1599842 1599843
169983 1704541 1699831 1699832 1692492
179982 1799820 1799821 1799822 1792192
189981 1899810 1899811 1899812 1899813
199980 1999800 1996850 1999802 1999803
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1501758 0 1 20
0 -79 0 -59 0 -39 0 -19 132 1 0 21
0 -78 0 -58 0 -38 0 -18 365 2 1 22
0 -77 0 -57 0 -37 0 -17 296 3 1 23
0 -76 0 -56 0 -36 0 -16 240 4 1 24
0 -75 0 -55 0 -35 0 -15 194 5 0 25
0 -74 0 -54 0 -34 0 -14 82 6 0 26
0 -73 0 -53 0 -33 0 -13 45 7 0 27
0 -72 0 -52 0 -32 0 -12 16 8 0 28
0 -71 0 -51 0 -31 0 -11 3 9 2 29
0 -70 0 -50 0 -30 0 -10 2 10 1 30
0 -69 0 -49 0 -29 0 -9 10 11 0 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 2 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 1 16 0 36
0 -63 0 -43 0 -23 0 -3 1 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 2 19 0 39
------ Relaxed ------ | ------ Strong ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
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 |_________._________._________.oooooooooooooo_oo_oo_ooo____oo_o_______
-30 -20 -10 0 10 20 30 40
Test = 820. Total = 1503162. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 57. 0 thru 39 = 1503160.
histend K = 200000. 40 thru Max = 2.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 48837 3
1 111504 3
2 131594 3
3 144408 3
4 158613 3
A convoy of length 3 starts at line 48837:
48837 0 129653 0 129653
48838 129663 0 0 129663
48839 127650 0 127650 0
A convoy of length 3 starts at line 111504:
111504 301491 301491 0 0
111505 293740 0 293740 0
111506 0 0 292042 292042
A convoy of length 3 starts at line 131594:
131594 354491 354491 0 0
131595 347020 0 347020 0
131596 0 0 346132 346132
A convoy of length 3 starts at line 144408:
144408 0 386063 0 386063
144409 386073 0 0 386073
144410 381040 0 381040 0
A convoy of length 3 starts at line 158613:
158613 425741 425741 0 0
158614 419390 0 419390 0
158615 0 0 418052 418052
End analysis of Test T820 at 20:45:18.422 960411
================================================================================
Test T900. Seek a relaxation of WW and CC3.
T0 T1 T2 T3 T4 T5
A = 0; U[0] = A; V[0] = A; X[0] = A; Y[0] = A; A = 1;
A = 2; U[1] = A; V[1] = A; X[1] = A; Y[1] = A; A = 3;
A = 4; U[2] = A; V[2] = A; X[2] = A; Y[2] = A; A = 5;
A = 6; U[3] = A; V[3] = A; X[3] = A; Y[3] = A; A = 7;
A = 8; U[4] = A; V[4] = A; X[4] = A; Y[4] = A; A = 9;
A =10; U[5] = A; V[5] = A; X[5] = A; Y[5] = A; A =11;
A =12; U[6] = A; V[6] = A; X[6] = A; Y[6] = A; A =13;
A =14; U[7] = A; V[7] = A; X[7] = A; Y[7] = A; A =15; etc.
Seek 9.0. U[i] > U[j], i V[j], i X[j], i Y[j], ij. d = V[j+] - U[i-1].
9.1. U[i] and V[j] are odd, and V[j+] and U[i-1] are even.
9.2. U[i] and V[j] are even, and V[j+] and U[i-1] are odd.
Suffixes for packed simulation output: T1: 0; T2: 1; T3: 2; T4: 3.
Start execution of Test T900 at 20:45:22.722 960411
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 2 0 0 1 1 1 1 0 0
entr sync0 3 0 0 0 1 1 1 0 0
entr sync0 4 0 0 0 0 1 1 0 0
entr sync0 5 0 0 0 0 0 1 0 0
exit sync0 0 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
exit sync0 2 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 3 0 0 0 0 0 0 0 0
exit sync0 5 0 0 0 0 0 0 0 0
entr sync1 0 1 1 1 1 1 1 0 0
entr sync1 5 0 1 1 1 1 1 0 0
entr sync1 1 0 1 1 1 1 0 0 0
entr sync1 2 0 0 1 1 1 0 0 0
entr sync1 4 0 0 0 1 1 0 0 0
entr sync1 3 0 0 0 1 0 0 0 0
exit sync1 4 0 0 0 0 0 0 0 0
exit sync1 1 0 0 0 0 0 0 0 0
exit sync1 2 0 0 0 0 0 0 0 0
exit sync1 3 0 0 0 0 0 0 0 0
exit sync1 5 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T900 at 20:45:23.722 960411
Duration 1.000
Start analysis of Test T900 at 20:45:23.722 960411
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 6302 4910 7266 3356
9999 24861 36404 47106 31620
19998 59034 60951 87108 58242
29997 85486 98942 126790 80119
39996 112110 129354 166350 112154
49995 138306 155931 199999 138708
59994 164248 190064 199999 165016
69993 190198 199999 199999 191362
79992 199999 199999 199999 199999
89991 199999 199999 199999 199999
99990 199999 199999 199999 199999
109989 199999 199999 199999 199999
119988 199999 199999 199999 199999
129987 199999 199999 199999 199999
139986 199999 199999 199999 199999
149985 199999 199999 199999 199999
159984 199999 199999 199999 199999
169983 199999 199999 199999 199999
179982 199999 199999 199999 199999
189981 199999 199999 199999 199999
199980 199999 199999 199999 199999
child terminated due to signal 24