From: IN%"nmanjiki@eecg.toronto.edu" "Naraig Manjikian" 4-MAY-1996 14:10:02.02
To: IN%"mpdiag@ACM.ORG"
Date: Sat, 04 May 1996 14:09:24 -0400
From: Naraig Manjikian
Subject: KSR tests
To: mpdiag@ACM.ORG
Here are the remaining tests on the KSR. Sorry about the delay.
Two reasons: (a) too busy, and (b) when not busy, all KSR processors in use.
--Naraig--
-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----
ARCHTEST. Version 5.2. 960320. By W. W. Collier, mpdiag@acm.org
12:56:15.237 960504
Continuation of all archtest tests.
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]: 900 920 1000 1010 1020 1030 1100 1110 1120 1200 1210 1220
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test..
Output file name: atestb00.out.
Number of threads: 8.
Length of the arrays: 200000.
Test(s) to run: 900 920 1000 1010 1020 1030 1100 1110 1120 1200 1210 1220
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 . . . .
================================================================================
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 12:57:28.637 960504
entr sync0 0 1 1 1 1 1 1 0 0
entr sync0 1 0 1 1 1 1 1 0 0
entr sync0 5 0 0 1 1 1 1 0 0
entr sync0 2 0 0 1 1 1 0 0 0
entr sync0 3 0 0 0 1 1 0 0 0
entr sync0 4 0 0 0 0 1 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
exit sync0 1 0 0 0 0 0 0 0 0
exit sync0 4 0 0 0 0 0 0 0 0
entr sync1 5 1 1 1 1 1 1 0 0
entr sync1 2 1 1 1 1 1 0 0 0
entr sync1 3 1 1 0 1 1 0 0 0
entr sync1 4 1 1 0 0 1 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
exit sync1 5 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
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T900 at 12:57:31.497 960504
Duration 2.860
Start analysis of Test T900 at 12:57:31.497 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 3873 0 0 131689
9999 50481 27783 35803 180823
19998 97329 59577 72807 199999
29997 199998 91865 109923 199999
39996 199998 124321 148019 199999
49995 199998 157427 184977 199999
59994 199998 189649 199999 199999
69993 199998 199999 199999 199999
79992 199998 199999 199999 199999
89991 199998 199999 199999 199999
99990 199998 199999 199999 199999
109989 199998 199999 199999 199999
119988 199998 199999 199999 199999
129987 199998 199999 199999 199999
139986 199998 199999 199999 199999
149985 199998 199999 199999 199999
159984 199998 199999 199999 199999
169983 199998 199999 199999 199999
179982 199998 199999 199999 199999
189981 199998 199999 199999 199999
199980 199998 199999 199999 199999
Start 2d analysis. 12:57:40.457 960504
Start 3d analysis. 12:57:41.457 960504
Start 4th analysis. 12:57:42.497 960504
Start 5th analysis. 12:57:43.377 960504
Start 6th analysis. 12:57:44.237 960504
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 740627 0 66 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 697 2 19 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 842 4 10 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 691 6 12 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 5108 8 4 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 46318 10 6 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 4235 12 7 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 697 14 8 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 338 16 9 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 254 18 6 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | o
680000 | o
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 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 = 900. Total = 799993. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 532. 0 thru 39 = 799954.
histend K = 200000. 40 thru Max = 39.
End analysis of Test T900 at 12:57:45.197 960504
================================================================================
Test T920. 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 T920 at 12:57:50.557 960504
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 5 0 0 0 1 1 1 0 0
entr sync0 3 0 0 0 1 1 0 0 0
entr sync0 4 0 0 0 0 1 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
exit sync0 3 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
entr sync1 5 1 1 1 1 1 1 0 0
entr sync1 2 1 1 1 1 1 0 0 0
entr sync1 3 1 1 0 1 1 0 0 0
entr sync1 4 1 1 0 0 1 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 2 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 4 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
End execution of Test T920 at 12:57:53.397 960504
Duration 2.840
Start analysis of Test T920 at 12:57:57.657 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 41789 45337 39435 172065
19998 80003 91915 76649 199999
29997 117739 139005 113439 199999
39996 199998 186049 151435 199999
49995 199998 199999 188679 199999
59994 199998 199999 199999 199999
69993 199998 199999 199999 199999
79992 199998 199999 199999 199999
89991 199998 199999 199999 199999
99990 199998 199999 199999 199999
109989 199998 199999 199999 199999
119988 199998 199999 199999 199999
129987 199998 199999 199999 199999
139986 199998 199999 199999 199999
149985 199998 199999 199999 199999
159984 199998 199999 199999 199999
169983 199998 199999 199999 199999
179982 199998 199999 199999 199999
189981 199998 199999 199999 199999
199980 199998 199999 199999 199999
Start 2d analysis. 12:58:06.357 960504
Start 3d analysis. 12:58:07.177 960504
Start 4th analysis. 12:58:08.057 960504
Start 5th analysis. 12:58:08.977 960504
Start 6th analysis. 12:58:09.837 960504
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 739338 0 140 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 1235 2 39 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 1962 4 47 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 1207 6 13 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 14242 8 6 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 34760 10 20 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 4191 12 26 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 1608 14 27 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 656 16 25 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 387 18 8 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | o
680000 | o
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 |_________._________._________._o_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 = 920. Total = 799992. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 199998. 0 thru 39 = 799937.
histend K = 200000. 40 thru Max = 55.
End analysis of Test T920 at 12:58:11.217 960504
================================================================================
================================================================================
Test T1000. T1: inv -> excl, and T2: inv -> excl.
T0 T1 T2
A = 0; U[0] = A; B = 1;
A = 1; B = 1; B = 1;
A = 2; U[1] = A; B = 1;
A = 3; B = 2; B = 1;
A = 4; U[2] = A; B = 1;
A = 5; B = 3; B = 1;
A = 6; U[3] = A; B = 1;
A = 7; B = 4; B = 1;
A = 8; U[4] = A; B = 1;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1000 at 12:58:16.497 960504
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 0 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
End execution of Test T1000 at 12:58:16.797 960504
Duration 0.300
Test T1000. T1: inv -> excl, and T2: inv -> excl.
T0 T1 T2
A = 0; U[0] = A; B = 1;
A = 1; B = 1; B = 1;
A = 2; U[1] = A; B = 1;
A = 3; B = 2; B = 1;
A = 4; U[2] = A; B = 1;
A = 5; B = 3; B = 1;
A = 6; U[3] = A; B = 1;
A = 7; B = 4; B = 1;
A = 8; U[4] = A; B = 1;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1000 at 12:58:22.137 960504
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
entr sync1 1 1 1 1 0 0 0 0 0
entr sync1 2 1 0 1 0 0 0 0 0
exit sync0 0 0 0 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
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T1000 at 12:58:24.497 960504
Duration 2.360
t10t0cnt = 100000.
t10t1cnt = 10000.
t10t2cnt = 100000.
Start analysis of Test T1000 at 12:58:24.617 960504
Every 499th entry of the arrays, from 0 thru 9999.
i U V X Y
0 0 0 0 0
499 0 0 0 0
998 0 0 0 0
1497 0 0 0 0
1996 0 0 0 0
2495 0 0 0 0
2994 0 0 0 0
3493 0 0 0 0
3992 0 0 0 0
4491 0 0 0 0
4990 0 0 0 0
5489 0 0 0 0
5988 0 0 0 0
6487 0 0 0 0
6986 0 0 0 0
7485 0 0 0 0
7984 0 0 0 0
8483 0 0 0 0
8982 0 0 0 0
9481 0 0 0 0
9980 0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1000. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1000. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 0 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1000. Total = 0. Min thru -81 = 0.
Type = CC3. Minimum = 2147483647. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 0.
histend K = 10000. 40 thru Max = 0.
End analysis of Test T1000 at 12:58:26.857 960504
================================================================================
================================================================================
Test T1010. T1: inv -> excl, and T2: inv -> ro.
T0 T1 T2
A = 0; U[0] = A; - = B;
A = 1; B = 1; - = B;
A = 2; U[1] = A; - = B;
A = 3; B = 2; - = B;
A = 4; U[2] = A; - = B;
A = 5; B = 3; - = B;
A = 6; U[3] = A; - = B;
A = 7; B = 4; - = B;
A = 8; U[4] = A; - = B;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1010 at 12:58:31.597 960504
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 2 0 0 0 0 0 0 0 0
exit sync0 1 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 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 2 0 0 0 0 0 0 0 0
exit sync1 0 0 0 0 0 0 0 0 0
End execution of Test T1010 at 12:58:31.877 960504
Duration 0.280
Test T1010. T1: inv -> excl, and T2: inv -> ro.
T0 T1 T2
A = 0; U[0] = A; - = B;
A = 1; B = 1; - = B;
A = 2; U[1] = A; - = B;
A = 3; B = 2; - = B;
A = 4; U[2] = A; - = B;
A = 5; B = 3; - = B;
A = 6; U[3] = A; - = B;
A = 7; B = 4; - = B;
A = 8; U[4] = A; - = B;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1010 at 12:58:37.317 960504
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 2 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
exit sync0 1 0 0 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
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T1010 at 12:58:39.797 960504
Duration 2.480
t10t0cnt = 100000.
t10t1cnt = 10000.
t10t2cnt = 100000.
Start analysis of Test T1010 at 12:58:39.797 960504
Every 499th entry of the arrays, from 0 thru 9999.
i U V X Y
0 0 99999 0 0
499 0 99999 0 0
998 0 99999 0 0
1497 0 99999 0 0
1996 0 99999 0 0
2495 0 99999 0 0
2994 0 99999 0 0
3493 0 99999 0 0
3992 0 99999 0 0
4491 0 99999 0 0
4990 0 99999 0 0
5489 0 99999 0 0
5988 0 99999 0 0
6487 0 99999 0 0
6986 0 99999 0 0
7485 0 99999 0 0
7984 0 99999 0 0
8483 0 99999 0 0
8982 0 99999 0 0
9481 0 99999 0 0
9980 0 99999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1010. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1010. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 0 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1010. Total = 0. Min thru -81 = 0.
Type = CC3. Minimum = 2147483647. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 0.
histend K = 10000. 40 thru Max = 0.
End analysis of Test T1010 at 12:58:42.937 960504
================================================================================
================================================================================
Test T1020. T1: inv -> ro, and T2: inv -> excl.
T0 T1 T2
A = 0; U[0] = A; B = 1;
A = 1; - = B; B = 1;
A = 2; U[1] = A; B = 1;
A = 3; - = B; B = 1;
A = 4; U[2] = A; B = 1;
A = 5; - = B; B = 1;
A = 6; U[3] = A; B = 1;
A = 7; - = B; B = 1;
A = 8; U[4] = A; B = 1;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1020 at 12:58:48.097 960504
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 2 0 1 1 0 0 0 0 0
entr sync1 1 0 1 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 0 0 0 0 0 0 0 0 0
End execution of Test T1020 at 12:58:48.337 960504
Duration 0.240
Test T1020. T1: inv -> ro, and T2: inv -> excl.
T0 T1 T2
A = 0; U[0] = A; B = 1;
A = 1; - = B; B = 1;
A = 2; U[1] = A; B = 1;
A = 3; - = B; B = 1;
A = 4; U[2] = A; B = 1;
A = 5; - = B; B = 1;
A = 6; U[3] = A; B = 1;
A = 7; - = B; B = 1;
A = 8; U[4] = A; B = 1;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1020 at 12:58:53.257 960504
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 2 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
exit sync0 1 0 0 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
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T1020 at 12:58:55.717 960504
Duration 2.460
t10t0cnt = 100000.
t10t1cnt = 10000.
t10t2cnt = 100000.
Start analysis of Test T1020 at 12:58:55.737 960504
Every 499th entry of the arrays, from 0 thru 9999.
i U V X Y
0 0 99999 0 0
499 0 99999 0 0
998 0 99999 0 0
1497 0 99999 0 0
1996 0 99999 0 0
2495 0 99999 0 0
2994 0 99999 0 0
3493 0 99999 0 0
3992 0 99999 0 0
4491 0 99999 0 0
4990 0 99999 0 0
5489 0 99999 0 0
5988 0 99999 0 0
6487 0 99999 0 0
6986 0 99999 0 0
7485 0 99999 0 0
7984 0 99999 0 0
8483 0 99999 0 0
8982 0 99999 0 0
9481 0 99999 0 0
9980 0 99999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1020. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1020. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 0 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1020. Total = 0. Min thru -81 = 0.
Type = CC3. Minimum = 2147483647. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 0.
histend K = 10000. 40 thru Max = 0.
End analysis of Test T1020 at 12:59:00.597 960504
================================================================================
================================================================================
Test T1030. T1: ro -> ro, and T2: ro -> ro.
T0 T1 T2
A = 0; U[0] = A; - = B;
A = 1; - = B; - = B;
A = 2; U[1] = A; - = B;
A = 3; - = B; - = B;
A = 4; U[2] = A; - = B;
A = 5; - = B; - = B;
A = 6; U[3] = A; - = B;
A = 7; - = B; - = B;
A = 8; U[4] = A; - = B;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1030 at 12:59:05.237 960504
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 1 1 1 1 0 0 0 0 0
entr sync1 2 1 0 1 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
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T1030 at 12:59:05.437 960504
Duration 0.200
Test T1030. T1: ro -> ro, and T2: ro -> ro.
T0 T1 T2
A = 0; U[0] = A; - = B;
A = 1; - = B; - = B;
A = 2; U[1] = A; - = B;
A = 3; - = B; - = B;
A = 4; U[2] = A; - = B;
A = 5; - = B; - = B;
A = 6; U[3] = A; - = B;
A = 7; - = B; - = B;
A = 8; U[4] = A; - = B;
Suffix for packed simulation output: T1: 0.
Start execution of Test T1030 at 12:59:10.177 960504
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 2 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 0 0 0 0 0
entr sync1 0 1 1 0 0 0 0 0 0
exit sync0 1 0 0 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
exit sync1 2 0 0 0 0 0 0 0 0
End execution of Test T1030 at 12:59:11.917 960504
Duration 1.740
t10t0cnt = 100000.
t10t1cnt = 10000.
t10t2cnt = 100000.
Start analysis of Test T1030 at 12:59:11.937 960504
Every 499th entry of the arrays, from 0 thru 9999.
i U V X Y
0 0 99999 0 0
499 0 99999 0 0
998 0 99999 0 0
1497 0 99999 0 0
1996 0 99999 0 0
2495 0 99999 0 0
2994 0 99999 0 0
3493 0 99999 0 0
3992 0 99999 0 0
4491 0 99999 0 0
4990 0 99999 0 0
5489 0 99999 0 0
5988 0 99999 0 0
6487 0 99999 0 0
6986 0 99999 0 0
7485 0 99999 0 0
7984 0 99999 0 0
8483 0 99999 0 0
8982 0 99999 0 0
9481 0 99999 0 0
9980 0 99999 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1030. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 9999 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
9500 | o
9000 | o
8500 | o
8000 | o
7500 | o
7000 | o
6500 | o
6000 | o
5500 | o
5000 | o
4500 | o
4000 | o
3500 | o
3000 | o
2500 | o
2000 | o
1500 | o
1000 | o
500 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1030. Total = 9999. Min thru -81 = 0.
Type = CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 9999.
histend K = 10000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 0 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 0 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 0 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1030. Total = 0. Min thru -81 = 0.
Type = CC3. Minimum = 2147483647. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 0.
histend K = 10000. 40 thru Max = 0.
End analysis of Test T1030 at 12:59:13.757 960504
================================================================================
Test T1100. Seek a relaxation of RR, WW, and either RW or WR.
T0 T1 T2 T3
A = 0; B = 0; C = 0; D = 0;
U[ 1] = B; V[ 1] = A; X[ 1] = D; Y[ 1] = C;
U[ 2] = C; V[ 2] = D; X[ 2] = A; Y[ 2] = B;
U[ 3] = D; V[ 3] = C; X[ 3] = B; Y[ 3] = A;
A = 1; B = 1; C = 1; D = 1;
U[ 5] = B; V[ 5] = A; X[ 5] = D; Y[ 5] = C;
U[ 6] = C; V[ 6] = D; X[ 6] = A; Y[ 6] = B;
U[ 7] = D; V[ 7] = C; X[ 7] = B; Y[ 7] = A;
A = 2; B = 2; C = 2; D = 2;
U[ 9] = B; V[ 9] = A; X[ 9] = D; Y[ 9] = C;
U[10] = C; V[10] = D; X[10] = A; Y[10] = B;
U[11] = D; V[11] = C; X[11] = B; Y[11] = A; etc.
Seek 1100.0. u[i] > u[i+4]. d = u[i+4] - u[i].
Seek 1100.0. v[i] > v[i+4]. d = v[i+4] - v[i].
Seek 1100.0. x[i] > x[i+4]. d = x[i+4] - x[i].
Seek 1100.0. y[i] > y[i+4]. d = y[i+4] - y[i].
Seek 1100.1. u[4i+1] < j and v[4j+1] < i. d = v[4j+1] - i.
Seek 1100.2. u[4i+1] > j and v[4j+1] > i. d = i - v[4j+1].
Seek 1100.1. u[4i+2] < j and x[4j+2] < i. d = v[4j+i] - i.
Seek 1100.2. u[4i+2] > j and x[4j+2] > i. d = i - v[4j+i].
Seek 1100.1. u[4i+3] < j and y[4j+3] < i. d = v[4j+i] - i.
Seek 1100.2. u[4i+3] > j and y[4j+3] > i. d = i - v[4j+i].
Seek 1100.1. v[4j+3] < j and x[4j+3] < i. d = v[4j+i] - i.
Seek 1100.2. v[4j+3] > j and x[4j+3] > i. d = i - v[4j+i].
Seek 1100.1. v[4j+2] < j and y[4j+2] < i. d = v[4j+i] - i.
Seek 1100.2. v[4j+2] > j and y[4j+2] > i. d = i - v[4j+i].
Seek 1100.1. x[4j+1] < j and y[4j+1] < i. d = v[4j+i] - i.
Seek 1100.2. x[4j+1] > j and y[4j+1] > i. d = i - v[4j+i].
Event 1100.1 => the machine performed a read operation before
a logically preceding write operation.
Event 1100.2 => the machine performed a write operation before
a logically preceding read operation.
Suffix for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T1100 at 12:59:18.697 960504
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 2 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
entr sync1 1 1 1 1 1 0 0 0 0
entr sync1 2 1 0 1 1 0 0 0 0
entr sync1 0 1 0 0 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 3 0 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 T1100 at 12:59:21.917 960504
Duration 3.220
Start analysis of Test T1100 at 12:59:21.977 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 0 2974 2146 7249
19998 6412 0 3861 12852
29997 48719 7249 0 17173
39996 0 0 0 0
49995 37815 14368 10532 7249
59994 49999 6992 7249 23622
69993 49999 7249 7819 27203
79992 0 0 0 0
89991 37815 23584 21328 7249
99990 49999 16274 7249 34484
109989 49999 7249 17773 37289
119988 0 0 0 0
129987 37815 32900 32059 7249
139986 49999 25486 7249 45357
149985 49999 7249 27695 47477
159984 0 0 0 0
169983 37815 42291 42708 49999
179982 49999 34640 7249 49999
189981 49999 7249 37517 49999
199980 0 0 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 596833 0
1 141563 450278
2 40289 89966
3 17409 56587
4 3454 2
5 251 0
6 43 0
7 13 0
8 6 0
9 9 0
10 11 0
11 6 0
12 5 0
13 6 0
14 4 0
15 4 0
16 3 0
17 4 0
18 4 0
19 4 0
over 57 0
Total number of 1100.1 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 627329 0 38 20
0 -79 0 -59 0 -39 0 -19 216686 1 44 21
0 -78 0 -58 0 -38 0 -18 65463 2 35 22
0 -77 0 -57 0 -37 0 -17 28144 3 29 23
0 -76 0 -56 0 -36 0 -16 7018 4 30 24
0 -75 0 -55 0 -35 0 -15 1128 5 24 25
0 -74 0 -54 0 -34 0 -14 275 6 25 26
0 -73 0 -53 0 -33 0 -13 97 7 22 27
0 -72 0 -52 0 -32 0 -12 76 8 22 28
0 -71 0 -51 0 -31 0 -11 77 9 28 29
0 -70 0 -50 0 -30 0 -10 73 10 20 30
0 -69 0 -49 0 -29 0 -9 63 11 21 31
0 -68 0 -48 0 -28 0 -8 55 12 21 32
0 -67 0 -47 0 -27 0 -7 55 13 20 33
0 -66 0 -46 0 -26 0 -6 50 14 14 34
0 -65 0 -45 0 -25 0 -5 45 15 12 35
0 -64 0 -44 0 -24 0 -4 43 16 13 36
0 -63 0 -43 0 -23 0 -3 45 17 12 37
0 -62 0 -42 0 -22 0 -2 43 18 14 38
0 -61 0 -41 0 -21 0 -1 41 19 12 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | oo
160000 | oo
120000 | oo
80000 | oo
40000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1100. Total = 1017819. Min thru -81 = 0.
Type = WR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 42750. 0 thru 39 = 947262.
histend K = 200000. 40 thru Max = 70557.
Total number of 1100.2 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 10324 0 35 20
0 -79 0 -59 0 -39 0 -19 70618 1 35 21
0 -78 0 -58 0 -38 0 -18 37975 2 32 22
0 -77 0 -57 0 -37 0 -17 19756 3 28 23
0 -76 0 -56 0 -36 0 -16 5859 4 30 24
0 -75 0 -55 0 -35 0 -15 1304 5 27 25
0 -74 0 -54 0 -34 0 -14 286 6 23 26
0 -73 0 -53 0 -33 0 -13 102 7 21 27
0 -72 0 -52 0 -32 0 -12 71 8 22 28
0 -71 0 -51 0 -31 0 -11 66 9 20 29
0 -70 0 -50 0 -30 0 -10 61 10 18 30
0 -69 0 -49 0 -29 0 -9 58 11 17 31
0 -68 0 -48 0 -28 0 -8 51 12 16 32
0 -67 0 -47 0 -27 0 -7 49 13 16 33
0 -66 0 -46 0 -26 0 -6 45 14 15 34
0 -65 0 -45 0 -25 0 -5 43 15 10 35
0 -64 0 -44 0 -24 0 -4 39 16 10 36
0 -63 0 -43 0 -23 0 -3 38 17 10 37
0 -62 0 -42 0 -22 0 -2 39 18 11 38
0 -61 0 -41 0 -21 0 -1 37 19 10 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |
68000 | |o
64000 | |o
60000 | |o
56000 | |o
52000 | |o
48000 | |o
44000 | |o
40000 | |o
36000 | |oo
32000 | |oo
28000 | |oo
24000 | |oo
20000 | |oo
16000 | |ooo
12000 | |ooo
8000 | oooo
4000 | ooooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1100. Total = 275695. Min thru -81 = 0.
Type = RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 42749. 0 thru 39 = 147227.
histend K = 200000. 40 thru Max = 128468.
End analysis of Test T1100 at 12:59:36.217 960504
================================================================================
Test T1110. Seek a relaxation of RR, WW, and either RW or WR.
T0 T1 T2 T3
A = 0; B = 0; C = 0; D = 0;
U[ 1] = B; V[ 1] = A; X[ 1] = D; Y[ 1] = C;
U[ 2] = C; V[ 2] = D; X[ 2] = A; Y[ 2] = B;
U[ 3] = D; V[ 3] = C; X[ 3] = B; Y[ 3] = A;
A = 1; B = 1; C = 1; D = 1;
U[ 5] = B; V[ 5] = A; X[ 5] = D; Y[ 5] = C;
U[ 6] = C; V[ 6] = D; X[ 6] = A; Y[ 6] = B;
U[ 7] = D; V[ 7] = C; X[ 7] = B; Y[ 7] = A;
A = 2; B = 2; C = 2; D = 2;
U[ 9] = B; V[ 9] = A; X[ 9] = D; Y[ 9] = C;
U[10] = C; V[10] = D; X[10] = A; Y[10] = B;
U[11] = D; V[11] = C; X[11] = B; Y[11] = A; etc.
Seek 1100.0. u[i] > u[i+4]. d = u[i+4] - u[i].
Seek 1100.0. v[i] > v[i+4]. d = v[i+4] - v[i].
Seek 1100.0. x[i] > x[i+4]. d = x[i+4] - x[i].
Seek 1100.0. y[i] > y[i+4]. d = y[i+4] - y[i].
Seek 1100.1. u[4i+1] < j and v[4j+1] < i. d = v[4j+1] - i.
Seek 1100.2. u[4i+1] > j and v[4j+1] > i. d = i - v[4j+1].
Seek 1100.1. u[4i+2] < j and x[4j+2] < i. d = v[4j+i] - i.
Seek 1100.2. u[4i+2] > j and x[4j+2] > i. d = i - v[4j+i].
Seek 1100.1. u[4i+3] < j and y[4j+3] < i. d = v[4j+i] - i.
Seek 1100.2. u[4i+3] > j and y[4j+3] > i. d = i - v[4j+i].
Seek 1100.1. v[4j+3] < j and x[4j+3] < i. d = v[4j+i] - i.
Seek 1100.2. v[4j+3] > j and x[4j+3] > i. d = i - v[4j+i].
Seek 1100.1. v[4j+2] < j and y[4j+2] < i. d = v[4j+i] - i.
Seek 1100.2. v[4j+2] > j and y[4j+2] > i. d = i - v[4j+i].
Seek 1100.1. x[4j+1] < j and y[4j+1] < i. d = v[4j+i] - i.
Seek 1100.2. x[4j+1] > j and y[4j+1] > i. d = i - v[4j+i].
Event 1100.1 => the machine performed a read operation before
a logically preceding write operation.
Event 1100.2 => the machine performed a write operation before
a logically preceding read operation.
Suffix for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T1110 at 12:59:42.017 960504
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 2 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 1 0 0 0 0 0 0 0 0
entr sync1 3 1 1 1 1 0 0 0 0
entr sync1 2 1 1 1 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 3 0 0 0 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 T1110 at 12:59:45.257 960504
Duration 3.240
Start analysis of Test T1110 at 12:59:46.857 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 2394 9920 0 2613
19998 5015 12135 4986 0
29997 49999 7204 7148 7832
39996 0 0 0 0
49995 49999 19741 5106 7204
59994 49999 22332 7204 7790
69993 49999 7204 17472 17524
79992 0 0 0 0
89991 49999 29570 15312 7204
99990 49999 32365 7204 17647
109989 49999 7204 27809 27190
119988 0 0 0 0
129987 49999 39424 25528 7204
139986 49999 42506 7204 27531
149985 49999 7204 38040 36973
159984 0 0 0 0
169983 49999 49400 35552 7204
179982 49999 49999 7204 37432
189981 49999 7204 48207 46794
199980 0 0 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 600253 0
1 129031 449154
2 50449 102473
3 15474 48626
4 4116 0
5 342 0
6 99 0
7 48 0
8 40 0
9 17 0
10 11 0
11 14 0
12 10 0
13 12 0
14 7 0
15 4 0
16 8 0
17 7 0
18 4 0
19 4 0
over 23 0
Total number of 1110.1 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 636317 0 14 20
0 -79 0 -59 0 -39 0 -19 198013 1 11 21
0 -78 0 -58 0 -38 0 -18 78505 2 7 22
0 -77 0 -57 0 -37 0 -17 27020 3 8 23
0 -76 0 -56 0 -36 0 -16 7325 4 4 24
0 -75 0 -55 0 -35 0 -15 780 5 4 25
0 -74 0 -54 0 -34 0 -14 272 6 5 26
0 -73 0 -53 0 -33 0 -13 138 7 4 27
0 -72 0 -52 0 -32 0 -12 99 8 5 28
0 -71 0 -51 0 -31 0 -11 55 9 2 29
0 -70 0 -50 0 -30 0 -10 42 10 2 30
0 -69 0 -49 0 -29 0 -9 42 11 4 31
0 -68 0 -48 0 -28 0 -8 37 12 2 32
0 -67 0 -47 0 -27 0 -7 37 13 2 33
0 -66 0 -46 0 -26 0 -6 28 14 2 34
0 -65 0 -45 0 -25 0 -5 19 15 2 35
0 -64 0 -44 0 -24 0 -4 21 16 3 36
0 -63 0 -43 0 -23 0 -3 17 17 2 37
0 -62 0 -42 0 -22 0 -2 13 18 2 38
0 -61 0 -41 0 -21 0 -1 13 19 2 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
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 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1110. Total = 956257. Min thru -81 = 0.
Type = WR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49999. 0 thru 39 = 948880.
histend K = 200000. 40 thru Max = 7377.
Total number of 1110.2 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 11509 0 13 20
0 -79 0 -59 0 -39 0 -19 72435 1 14 21
0 -78 0 -58 0 -38 0 -18 42036 2 11 22
0 -77 0 -57 0 -37 0 -17 17013 3 10 23
0 -76 0 -56 0 -36 0 -16 4477 4 11 24
0 -75 0 -55 0 -35 0 -15 683 5 9 25
0 -74 0 -54 0 -34 0 -14 256 6 7 26
0 -73 0 -53 0 -33 0 -13 126 7 7 27
0 -72 0 -52 0 -32 0 -12 74 8 7 28
0 -71 0 -51 0 -31 0 -11 50 9 7 29
0 -70 0 -50 0 -30 0 -10 44 10 7 30
0 -69 0 -49 0 -29 0 -9 36 11 6 31
0 -68 0 -48 0 -28 0 -8 34 12 6 32
0 -67 0 -47 0 -27 0 -7 32 13 6 33
0 -66 0 -46 0 -26 0 -6 28 14 6 34
0 -65 0 -45 0 -25 0 -5 22 15 6 35
0 -64 0 -44 0 -24 0 -4 20 16 6 36
0 -63 0 -43 0 -23 0 -3 17 17 6 37
0 -62 0 -42 0 -22 0 -2 16 18 6 38
0 -61 0 -41 0 -21 0 -1 13 19 6 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |o
68000 | |o
64000 | |o
60000 | |o
56000 | |o
52000 | |o
48000 | |o
44000 | |o
40000 | |oo
36000 | |oo
32000 | |oo
28000 | |oo
24000 | |oo
20000 | |oo
16000 | |ooo
12000 | |ooo
8000 | oooo
4000 | ooooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1110. Total = 292543. Min thru -81 = 0.
Type = RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 42794. 0 thru 39 = 149078.
histend K = 200000. 40 thru Max = 143465.
End analysis of Test T1110 at 13:00:00.217 960504
================================================================================
Test T1120. Seek a relaxation of RR, WW, and either RW or WR.
T0 T1 T2 T3
A = 0; B = 0; C = 0; D = 0;
U[ 1] = B; V[ 1] = A; X[ 1] = D; Y[ 1] = C;
U[ 2] = C; V[ 2] = D; X[ 2] = A; Y[ 2] = B;
U[ 3] = D; V[ 3] = C; X[ 3] = B; Y[ 3] = A;
A = 1; B = 1; C = 1; D = 1;
U[ 5] = B; V[ 5] = A; X[ 5] = D; Y[ 5] = C;
U[ 6] = C; V[ 6] = D; X[ 6] = A; Y[ 6] = B;
U[ 7] = D; V[ 7] = C; X[ 7] = B; Y[ 7] = A;
A = 2; B = 2; C = 2; D = 2;
U[ 9] = B; V[ 9] = A; X[ 9] = D; Y[ 9] = C;
U[10] = C; V[10] = D; X[10] = A; Y[10] = B;
U[11] = D; V[11] = C; X[11] = B; Y[11] = A; etc.
Seek 1100.0. u[i] > u[i+4]. d = u[i+4] - u[i].
Seek 1100.0. v[i] > v[i+4]. d = v[i+4] - v[i].
Seek 1100.0. x[i] > x[i+4]. d = x[i+4] - x[i].
Seek 1100.0. y[i] > y[i+4]. d = y[i+4] - y[i].
Seek 1100.1. u[4i+1] < j and v[4j+1] < i. d = v[4j+1] - i.
Seek 1100.2. u[4i+1] > j and v[4j+1] > i. d = i - v[4j+1].
Seek 1100.1. u[4i+2] < j and x[4j+2] < i. d = v[4j+i] - i.
Seek 1100.2. u[4i+2] > j and x[4j+2] > i. d = i - v[4j+i].
Seek 1100.1. u[4i+3] < j and y[4j+3] < i. d = v[4j+i] - i.
Seek 1100.2. u[4i+3] > j and y[4j+3] > i. d = i - v[4j+i].
Seek 1100.1. v[4j+3] < j and x[4j+3] < i. d = v[4j+i] - i.
Seek 1100.2. v[4j+3] > j and x[4j+3] > i. d = i - v[4j+i].
Seek 1100.1. v[4j+2] < j and y[4j+2] < i. d = v[4j+i] - i.
Seek 1100.2. v[4j+2] > j and y[4j+2] > i. d = i - v[4j+i].
Seek 1100.1. x[4j+1] < j and y[4j+1] < i. d = v[4j+i] - i.
Seek 1100.2. x[4j+1] > j and y[4j+1] > i. d = i - v[4j+i].
Event 1100.1 => the machine performed a read operation before
a logically preceding write operation.
Event 1100.2 => the machine performed a write operation before
a logically preceding read operation.
Suffix for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T1120 at 13:00:06.397 960504
entr sync0 0 1 1 1 1 0 0 0 0
entr sync0 1 0 1 1 1 0 0 0 0
entr sync0 3 0 0 1 1 0 0 0 0
entr sync0 2 0 0 1 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 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 1 0 0 0 0
entr sync1 3 0 1 1 1 0 0 0 0
entr sync1 2 0 1 1 0 0 0 0 0
entr sync1 1 0 1 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
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 T1120 at 13:00:09.377 960504
Duration 2.980
Start analysis of Test T1120 at 13:00:13.797 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 3042 0 6448 1997
19998 0 5853 12763 4216
29997 6448 49999 15173 0
39996 0 0 0 0
49995 12512 49999 6448 12487
59994 6876 49999 24790 6448
69993 6448 49999 25120 9865
79992 0 0 0 0
89991 20762 49999 6448 24615
99990 15171 49999 36772 6448
109989 6448 49999 35022 19885
119988 0 0 0 0
129987 29015 49999 6448 36696
139986 23498 49999 48828 6448
149985 6448 49999 44964 29994
159984 0 0 0 0
169983 37298 49999 6448 48873
179982 31875 49999 49999 6448
189981 6448 49999 49999 39965
199980 0 0 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 599944 0
1 136182 451579
2 48671 96696
3 12836 51668
4 1978 1
5 130 0
6 34 0
7 30 0
8 66 0
9 12 0
10 5 0
11 8 0
12 10 0
13 5 0
14 6 0
15 3 0
16 5 0
17 7 0
18 1 0
19 4 0
over 39 0
Total number of 1120.1 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 628234 0 19 20
0 -79 0 -59 0 -39 0 -19 204996 1 22 21
0 -78 0 -58 0 -38 0 -18 82659 2 24 22
0 -77 0 -57 0 -37 0 -17 26408 3 14 23
0 -76 0 -56 0 -36 0 -16 4978 4 14 24
0 -75 0 -55 0 -35 0 -15 443 5 10 25
0 -74 0 -54 0 -34 0 -14 153 6 12 26
0 -73 0 -53 0 -33 0 -13 126 7 9 27
0 -72 0 -52 0 -32 0 -12 121 8 7 28
0 -71 0 -51 0 -31 0 -11 53 9 9 29
0 -70 0 -50 0 -30 0 -10 42 10 8 30
0 -69 0 -49 0 -29 0 -9 42 11 4 31
0 -68 0 -48 0 -28 0 -8 42 12 4 32
0 -67 0 -47 0 -27 0 -7 34 13 6 33
0 -66 0 -46 0 -26 0 -6 31 14 4 34
0 -65 0 -45 0 -25 0 -5 23 15 4 35
0 -64 0 -44 0 -24 0 -4 27 16 4 36
0 -63 0 -43 0 -23 0 -3 27 17 6 37
0 -62 0 -42 0 -22 0 -2 19 18 4 38
0 -61 0 -41 0 -21 0 -1 20 19 4 39
------ Relaxed ------ | ------ Strong ------
760000 | |
720000 | |
680000 | |
640000 | |
600000 | o
560000 | o
520000 | o
480000 | o
440000 | o
400000 | o
360000 | o
320000 | o
280000 | o
240000 | o
200000 | oo
160000 | oo
120000 | oo
80000 | ooo
40000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1120. Total = 1005287. Min thru -81 = 0.
Type = WR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49999. 0 thru 39 = 948666.
histend K = 200000. 40 thru Max = 56621.
Total number of 1120.2 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 10698 0 15 20
0 -79 0 -59 0 -39 0 -19 72854 1 14 21
0 -78 0 -58 0 -38 0 -18 41609 2 14 22
0 -77 0 -57 0 -37 0 -17 18884 3 14 23
0 -76 0 -56 0 -36 0 -16 3228 4 10 24
0 -75 0 -55 0 -35 0 -15 551 5 11 25
0 -74 0 -54 0 -34 0 -14 211 6 11 26
0 -73 0 -53 0 -33 0 -13 109 7 9 27
0 -72 0 -52 0 -32 0 -12 88 8 7 28
0 -71 0 -51 0 -31 0 -11 50 9 7 29
0 -70 0 -50 0 -30 0 -10 40 10 8 30
0 -69 0 -49 0 -29 0 -9 34 11 4 31
0 -68 0 -48 0 -28 0 -8 31 12 4 32
0 -67 0 -47 0 -27 0 -7 33 13 4 33
0 -66 0 -46 0 -26 0 -6 28 14 4 34
0 -65 0 -45 0 -25 0 -5 22 15 4 35
0 -64 0 -44 0 -24 0 -4 22 16 4 36
0 -63 0 -43 0 -23 0 -3 21 17 4 37
0 -62 0 -42 0 -22 0 -2 18 18 4 38
0 -61 0 -41 0 -21 0 -1 18 19 4 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |o
68000 | |o
64000 | |o
60000 | |o
56000 | |o
52000 | |o
48000 | |o
44000 | |o
40000 | |oo
36000 | |oo
32000 | |oo
28000 | |oo
24000 | |oo
20000 | |oo
16000 | |ooo
12000 | |ooo
8000 | oooo
4000 | oooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1120. Total = 286599. Min thru -81 = 0.
Type = RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 43550. 0 thru 39 = 148705.
histend K = 200000. 40 thru Max = 137894.
End analysis of Test T1120 at 13:00:26.637 960504
================================================================================
Test T1200. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2 T3
A = 0; B = 0; C = 0; D = 0;
U[ 0] = A; V[ 0] = B; X[ 0] = C; Y[ 0] = D;
U[ 1] = B; V[ 1] = A; X[ 1] = D; Y[ 1] = C;
U[ 2] = C; V[ 2] = D; X[ 2] = A; Y[ 2] = B;
U[ 3] = D; V[ 3] = C; X[ 3] = B; Y[ 3] = A;
A = 1; B = 1; C = 1; D = 1;
U[ 4] = A; V[ 4] = B; X[ 4] = C; Y[ 4] = D;
U[ 5] = B; V[ 5] = A; X[ 5] = D; Y[ 5] = C;
U[ 6] = C; V[ 6] = D; X[ 6] = A; Y[ 6] = B;
U[ 7] = D; V[ 7] = C; X[ 7] = B; Y[ 7] = A;
A = 2; B = 2; C = 2; D = 2;
U[ 8] = A; V[ 8] = B; X[ 8] = C; Y[ 8] = D;
U[ 9] = B; V[ 9] = A; X[ 9] = D; Y[ 9] = C;
U[10] = C; V[10] = D; X[10] = A; Y[10] = B;
U[11] = D; V[11] = C; X[11] = B; Y[11] = A; etc.
Seek 1200.0. u[i] > u[i+4]. d = u[i+4] - u[i].
Seek 1200.0. v[i] > v[i+4]. d = v[i+4] - v[i].
Seek 1200.0. x[i] > x[i+4]. d = x[i+4] - x[i].
Seek 1200.0. y[i] > y[i+4]. d = y[i+4] - y[i].
Seek 1200.1. u[4i+1] < j and v[4j+1] < i. d = v[4j+1] - i.
Seek 1200.2. u[4i+1] > j and v[4j+1] > i. d = i - v[4j+1].
Seek 1200.1. u[4i+2] < j and x[4j+2] < i. d = v[4j+i] - i.
Seek 1200.2. u[4i+2] > j and x[4j+2] > i. d = i - v[4j+i].
Seek 1200.1. u[4i+3] < j and y[4j+3] < i. d = v[4j+i] - i.
Seek 1200.2. u[4i+3] > j and y[4j+3] > i. d = i - v[4j+i].
Seek 1200.1. v[4j+3] < j and x[4j+3] < i. d = v[4j+i] - i.
Seek 1200.2. v[4j+3] > j and x[4j+3] > i. d = i - v[4j+i].
Seek 1200.1. v[4j+2] < j and y[4j+2] < i. d = v[4j+i] - i.
Seek 1200.2. v[4j+2] > j and y[4j+2] > i. d = i - v[4j+i].
Seek 1200.1. x[4j+1] < j and y[4j+1] < i. d = v[4j+i] - i.
Seek 1200.2. x[4j+1] > j and y[4j+1] > i. d = i - v[4j+i].
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T1200 at 13:00:33.017 960504
entr sync0 0 1 1 1 1 0 0 0 0
entr sync0 1 0 1 1 1 0 0 0 0
entr sync0 3 0 0 1 1 0 0 0 0
entr sync0 2 0 0 1 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 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 1 0 0 0 0
entr sync1 3 0 1 1 1 0 0 0 0
entr sync1 2 0 1 1 0 0 0 0 0
entr sync1 1 0 1 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
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 T1200 at 13:00:35.877 960504
Duration 2.860
Start analysis of Test T1200 at 13:00:35.877 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 2996 0 6718 2016
19998 0 5867 13763 4150
29997 6718 47657 14562 0
39996 9999 9999 9999 9999
49995 11468 30337 6718 13983
59994 5932 43672 26892 6718
69993 6718 49999 23552 10804
79992 19998 19998 19998 19998
89991 18310 49999 6718 28659
99990 13531 49999 39860 6718
109989 6718 49999 32634 21875
119988 29997 29997 29997 29997
129987 25204 49999 16636 42925
139986 21265 49999 49999 6718
149985 6718 49999 49999 30337
159984 39996 39996 39996 39996
169983 32167 49999 16636 49999
179982 28908 49999 49999 16302
189981 7344 49999 49999 32360
199980 49995 49995 49995 49995
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 405007 0
1 334627 185191
2 41968 118747
3 15925 26988
4 2151 74079
5 99 0
6 26 0
7 25 1
8 28 1
9 14 0
10 5 0
11 6 0
12 4 0
13 10 0
14 8 0
15 3 0
16 3 0
17 3 0
18 5 0
19 4 0
over 56 0
Total number of 1200.1 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 427444 0 36 20
0 -79 0 -59 0 -39 0 -19 405448 1 34 21
0 -78 0 -58 0 -38 0 -18 75996 2 27 22
0 -77 0 -57 0 -37 0 -17 31844 3 33 23
0 -76 0 -56 0 -36 0 -16 8049 4 29 24
0 -75 0 -55 0 -35 0 -15 1038 5 31 25
0 -74 0 -54 0 -34 0 -14 192 6 24 26
0 -73 0 -53 0 -33 0 -13 133 7 18 27
0 -72 0 -52 0 -32 0 -12 115 8 16 28
0 -71 0 -51 0 -31 0 -11 86 9 15 29
0 -70 0 -50 0 -30 0 -10 67 10 15 30
0 -69 0 -49 0 -29 0 -9 65 11 16 31
0 -68 0 -48 0 -28 0 -8 58 12 18 32
0 -67 0 -47 0 -27 0 -7 65 13 12 33
0 -66 0 -46 0 -26 0 -6 56 14 14 34
0 -65 0 -45 0 -25 0 -5 47 15 12 35
0 -64 0 -44 0 -24 0 -4 47 16 11 36
0 -63 0 -43 0 -23 0 -3 42 17 12 37
0 -62 0 -42 0 -22 0 -2 41 18 9 38
0 -61 0 -41 0 -21 0 -1 37 19 10 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | o
400000 | oo
375000 | oo
350000 | oo
325000 | oo
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | ooo
50000 | ooo
25000 | oooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1200. Total = 1018081. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 39791. 0 thru 39 = 951262.
histend K = 200000. 40 thru Max = 66819.
Total number of 1200.2 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 8738 0 30 20
0 -79 0 -59 0 -39 0 -19 67378 1 28 21
0 -78 0 -58 0 -38 0 -18 39633 2 27 22
0 -77 0 -57 0 -37 0 -17 25251 3 26 23
0 -76 0 -56 0 -36 0 -16 7507 4 24 24
0 -75 0 -55 0 -35 0 -15 1421 5 25 25
0 -74 0 -54 0 -34 0 -14 295 6 21 26
0 -73 0 -53 0 -33 0 -13 102 7 18 27
0 -72 0 -52 0 -32 0 -12 81 8 16 28
0 -71 0 -51 0 -31 0 -11 70 9 15 29
0 -70 0 -50 0 -30 0 -10 66 10 15 30
0 -69 0 -49 0 -29 0 -9 60 11 15 31
0 -68 0 -48 0 -28 0 -8 55 12 16 32
0 -67 0 -47 0 -27 0 -7 54 13 13 33
0 -66 0 -46 0 -26 0 -6 52 14 11 34
0 -65 0 -45 0 -25 0 -5 47 15 11 35
0 -64 0 -44 0 -24 0 -4 42 16 12 36
0 -63 0 -43 0 -23 0 -3 36 17 12 37
0 -62 0 -42 0 -22 0 -2 35 18 10 38
0 -61 0 -41 0 -21 0 -1 34 19 10 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |
68000 | |
64000 | |o
60000 | |o
56000 | |o
52000 | |o
48000 | |o
44000 | |o
40000 | |o
36000 | |oo
32000 | |oo
28000 | |oo
24000 | |ooo
20000 | |ooo
16000 | |ooo
12000 | |ooo
8000 | oooo
4000 | ooooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1200. Total = 285864. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 39791. 0 thru 39 = 151312.
histend K = 200000. 40 thru Max = 134552.
End analysis of Test T1200 at 13:00:49.257 960504
================================================================================
Test T1210. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2 T3
A = 0; B = 0; C = 0; D = 0;
U[ 0] = A; V[ 0] = B; X[ 0] = C; Y[ 0] = D;
U[ 1] = B; V[ 1] = A; X[ 1] = D; Y[ 1] = C;
U[ 2] = C; V[ 2] = D; X[ 2] = A; Y[ 2] = B;
U[ 3] = D; V[ 3] = C; X[ 3] = B; Y[ 3] = A;
A = 1; B = 1; C = 1; D = 1;
U[ 4] = A; V[ 4] = B; X[ 4] = C; Y[ 4] = D;
U[ 5] = B; V[ 5] = A; X[ 5] = D; Y[ 5] = C;
U[ 6] = C; V[ 6] = D; X[ 6] = A; Y[ 6] = B;
U[ 7] = D; V[ 7] = C; X[ 7] = B; Y[ 7] = A;
A = 2; B = 2; C = 2; D = 2;
U[ 8] = A; V[ 8] = B; X[ 8] = C; Y[ 8] = D;
U[ 9] = B; V[ 9] = A; X[ 9] = D; Y[ 9] = C;
U[10] = C; V[10] = D; X[10] = A; Y[10] = B;
U[11] = D; V[11] = C; X[11] = B; Y[11] = A; etc.
Seek 1200.0. u[i] > u[i+4]. d = u[i+4] - u[i].
Seek 1200.0. v[i] > v[i+4]. d = v[i+4] - v[i].
Seek 1200.0. x[i] > x[i+4]. d = x[i+4] - x[i].
Seek 1200.0. y[i] > y[i+4]. d = y[i+4] - y[i].
Seek 1200.1. u[4i+1] < j and v[4j+1] < i. d = v[4j+1] - i.
Seek 1200.2. u[4i+1] > j and v[4j+1] > i. d = i - v[4j+1].
Seek 1200.1. u[4i+2] < j and x[4j+2] < i. d = v[4j+i] - i.
Seek 1200.2. u[4i+2] > j and x[4j+2] > i. d = i - v[4j+i].
Seek 1200.1. u[4i+3] < j and y[4j+3] < i. d = v[4j+i] - i.
Seek 1200.2. u[4i+3] > j and y[4j+3] > i. d = i - v[4j+i].
Seek 1200.1. v[4j+3] < j and x[4j+3] < i. d = v[4j+i] - i.
Seek 1200.2. v[4j+3] > j and x[4j+3] > i. d = i - v[4j+i].
Seek 1200.1. v[4j+2] < j and y[4j+2] < i. d = v[4j+i] - i.
Seek 1200.2. v[4j+2] > j and y[4j+2] > i. d = i - v[4j+i].
Seek 1200.1. x[4j+1] < j and y[4j+1] < i. d = v[4j+i] - i.
Seek 1200.2. x[4j+1] > j and y[4j+1] > i. d = i - v[4j+i].
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T1210 at 13:00:54.677 960504
entr sync0 0 1 1 1 1 0 0 0 0
entr sync0 1 0 1 1 1 0 0 0 0
entr sync0 3 0 0 1 1 0 0 0 0
entr sync0 2 0 0 1 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 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 1 1 0 0 0 0
entr sync1 3 0 1 1 1 0 0 0 0
entr sync1 2 0 1 1 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 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 T1210 at 13:00:57.957 960504
Duration 3.280
Start analysis of Test T1210 at 13:00:59.677 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 2635 35442 0 2344
19998 4866 40128 5136 0
29997 0 49999 7500 7498
39996 9999 9999 9999 9999
49995 11862 44449 0 13164
59994 14355 49999 15712 0
69993 0 49999 17187 17820
79992 19998 19998 19998 19998
89991 21107 44449 0 24007
99990 23812 49999 26264 0
109989 0 49999 26999 28024
119988 29997 29997 29997 29997
129987 30360 44449 0 34813
139986 33340 49999 36776 0
149985 0 49999 44433 35442
159984 39996 39996 39996 39996
169983 40239 49999 7168 44680
179982 35840 49999 49999 7168
189981 7168 49999 49999 40608
199980 49995 49995 49995 49995
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 399382 0
1 328231 183696
2 55388 103167
3 14400 40130
4 2156 72387
5 180 0
6 79 2
7 41 0
8 15 0
9 9 0
10 14 0
11 4 0
12 9 0
13 8 0
14 8 0
15 7 0
16 8 0
17 6 0
18 4 0
19 2 0
over 21 0
Total number of 1210.1 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 433492 0 21 20
0 -79 0 -59 0 -39 0 -19 398471 1 15 21
0 -78 0 -58 0 -38 0 -18 84560 2 12 22
0 -77 0 -57 0 -37 0 -17 26100 3 10 23
0 -76 0 -56 0 -36 0 -16 5594 4 10 24
0 -75 0 -55 0 -35 0 -15 650 5 10 25
0 -74 0 -54 0 -34 0 -14 298 6 7 26
0 -73 0 -53 0 -33 0 -13 172 7 7 27
0 -72 0 -52 0 -32 0 -12 101 8 7 28
0 -71 0 -51 0 -31 0 -11 71 9 7 29
0 -70 0 -50 0 -30 0 -10 69 10 6 30
0 -69 0 -49 0 -29 0 -9 53 11 5 31
0 -68 0 -48 0 -28 0 -8 52 12 5 32
0 -67 0 -47 0 -27 0 -7 42 13 5 33
0 -66 0 -46 0 -26 0 -6 40 14 5 34
0 -65 0 -45 0 -25 0 -5 35 15 5 35
0 -64 0 -44 0 -24 0 -4 32 16 5 36
0 -63 0 -43 0 -23 0 -3 26 17 5 37
0 -62 0 -42 0 -22 0 -2 20 18 5 38
0 -61 0 -41 0 -21 0 -1 18 19 5 39
------ Relaxed ------ | ------ Strong ------
475000 | |
450000 | |
425000 | o
400000 | o
375000 | oo
350000 | oo
325000 | oo
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | ooo
50000 | ooo
25000 | oooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1210. Total = 1038429. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 37541. 0 thru 39 = 950053.
histend K = 200000. 40 thru Max = 88376.
Total number of 1210.2 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 12343 0 17 20
0 -79 0 -59 0 -39 0 -19 73754 1 14 21
0 -78 0 -58 0 -38 0 -18 43165 2 13 22
0 -77 0 -57 0 -37 0 -17 16339 3 12 23
0 -76 0 -56 0 -36 0 -16 3023 4 11 24
0 -75 0 -55 0 -35 0 -15 491 5 9 25
0 -74 0 -54 0 -34 0 -14 232 6 9 26
0 -73 0 -53 0 -33 0 -13 144 7 9 27
0 -72 0 -52 0 -32 0 -12 90 8 9 28
0 -71 0 -51 0 -31 0 -11 65 9 8 29
0 -70 0 -50 0 -30 0 -10 60 10 8 30
0 -69 0 -49 0 -29 0 -9 54 11 8 31
0 -68 0 -48 0 -28 0 -8 42 12 7 32
0 -67 0 -47 0 -27 0 -7 36 13 7 33
0 -66 0 -46 0 -26 0 -6 37 14 7 34
0 -65 0 -45 0 -25 0 -5 33 15 7 35
0 -64 0 -44 0 -24 0 -4 25 16 7 36
0 -63 0 -43 0 -23 0 -3 22 17 7 37
0 -62 0 -42 0 -22 0 -2 21 18 7 38
0 -61 0 -41 0 -21 0 -1 19 19 7 39
------ Relaxed ------ | ------ Strong ------
76000 | |
72000 | |o
68000 | |o
64000 | |o
60000 | |o
56000 | |o
52000 | |o
48000 | |o
44000 | |o
40000 | |oo
36000 | |oo
32000 | |oo
28000 | |oo
24000 | |oo
20000 | |oo
16000 | |ooo
12000 | oooo
8000 | oooo
4000 | oooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1210. Total = 262453. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 42830. 0 thru 39 = 150178.
histend K = 200000. 40 thru Max = 112275.
End analysis of Test T1210 at 13:01:13.357 960504
================================================================================
Test T1220. Seek a relaxation of RR, WW, and CC1.
T0 T1 T2 T3
A = 0; B = 0; C = 0; D = 0;
U[ 0] = A; V[ 0] = B; X[ 0] = C; Y[ 0] = D;
U[ 1] = B; V[ 1] = A; X[ 1] = D; Y[ 1] = C;
U[ 2] = C; V[ 2] = D; X[ 2] = A; Y[ 2] = B;
U[ 3] = D; V[ 3] = C; X[ 3] = B; Y[ 3] = A;
A = 1; B = 1; C = 1; D = 1;
U[ 4] = A; V[ 4] = B; X[ 4] = C; Y[ 4] = D;
U[ 5] = B; V[ 5] = A; X[ 5] = D; Y[ 5] = C;
U[ 6] = C; V[ 6] = D; X[ 6] = A; Y[ 6] = B;
U[ 7] = D; V[ 7] = C; X[ 7] = B; Y[ 7] = A;
A = 2; B = 2; C = 2; D = 2;
U[ 8] = A; V[ 8] = B; X[ 8] = C; Y[ 8] = D;
U[ 9] = B; V[ 9] = A; X[ 9] = D; Y[ 9] = C;
U[10] = C; V[10] = D; X[10] = A; Y[10] = B;
U[11] = D; V[11] = C; X[11] = B; Y[11] = A; etc.
Seek 1200.0. u[i] > u[i+4]. d = u[i+4] - u[i].
Seek 1200.0. v[i] > v[i+4]. d = v[i+4] - v[i].
Seek 1200.0. x[i] > x[i+4]. d = x[i+4] - x[i].
Seek 1200.0. y[i] > y[i+4]. d = y[i+4] - y[i].
Seek 1200.1. u[4i+1] < j and v[4j+1] < i. d = v[4j+1] - i.
Seek 1200.2. u[4i+1] > j and v[4j+1] > i. d = i - v[4j+1].
Seek 1200.1. u[4i+2] < j and x[4j+2] < i. d = v[4j+i] - i.
Seek 1200.2. u[4i+2] > j and x[4j+2] > i. d = i - v[4j+i].
Seek 1200.1. u[4i+3] < j and y[4j+3] < i. d = v[4j+i] - i.
Seek 1200.2. u[4i+3] > j and y[4j+3] > i. d = i - v[4j+i].
Seek 1200.1. v[4j+3] < j and x[4j+3] < i. d = v[4j+i] - i.
Seek 1200.2. v[4j+3] > j and x[4j+3] > i. d = i - v[4j+i].
Seek 1200.1. v[4j+2] < j and y[4j+2] < i. d = v[4j+i] - i.
Seek 1200.2. v[4j+2] > j and y[4j+2] > i. d = i - v[4j+i].
Seek 1200.1. x[4j+1] < j and y[4j+1] < i. d = v[4j+i] - i.
Seek 1200.2. x[4j+1] > j and y[4j+1] > i. d = i - v[4j+i].
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T1220 at 13:01:18.837 960504
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 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 0 0 0 0 0 0 0 0 0
entr sync1 2 1 1 1 1 0 0 0 0
entr sync1 3 1 1 0 1 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 2 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
exit sync1 1 0 0 0 0 0 0 0 0
End execution of Test T1220 at 13:01:22.577 960504
Duration 3.740
Start analysis of Test T1220 at 13:01:26.977 960504
Every 9999th entry of the arrays, from 0 thru 199999.
i U V X Y
0 0 0 0 0
9999 39542 2609 2382 0
19998 43282 4462 0 5580
29997 41024 0 6962 8049
39996 9999 9999 9999 9999
49995 47537 11928 13125 0
59994 49999 13554 0 16540
69993 41024 0 16720 18330
79992 19998 19998 19998 19998
89991 49999 21322 23751 0
99990 49999 22692 0 27593
109989 41024 0 26352 28687
119988 29997 29997 29997 29997
129987 49999 30657 34263 0
139986 49999 31969 0 38366
149985 41024 0 36184 38859
159984 39996 39996 39996 39996
169983 49999 49999 41024 6172
179982 49999 49999 6967 41024
189981 41024 49999 45424 49791
199980 49995 49995 49995 49995
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 355191 0
1 393187 146973
2 44600 75625
3 6291 28620
4 452 103972
5 59 0
6 30 1
7 15 0
8 9 0
9 16 0
10 12 0
11 10 0
12 15 0
13 8 0
14 11 0
15 6 0
16 9 0
17 9 0
18 6 0
19 8 0
over 32 0
Total number of 1220.1 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 376238 0 11 20
0 -79 0 -59 0 -39 0 -19 493623 1 10 21
0 -78 0 -58 0 -38 0 -18 73907 2 15 22
0 -77 0 -57 0 -37 0 -17 13024 3 6 23
0 -76 0 -56 0 -36 0 -16 1688 4 10 24
0 -75 0 -55 0 -35 0 -15 207 5 6 25
0 -74 0 -54 0 -34 0 -14 85 6 5 26
0 -73 0 -53 0 -33 0 -13 63 7 5 27
0 -72 0 -52 0 -32 0 -12 49 8 7 28
0 -71 0 -51 0 -31 0 -11 54 9 6 29
0 -70 0 -50 0 -30 0 -10 45 10 3 30
0 -69 0 -49 0 -29 0 -9 38 11 3 31
0 -68 0 -48 0 -28 0 -8 38 12 3 32
0 -67 0 -47 0 -27 0 -7 33 13 3 33
0 -66 0 -46 0 -26 0 -6 34 14 3 34
0 -65 0 -45 0 -25 0 -5 26 15 3 35
0 -64 0 -44 0 -24 0 -4 26 16 3 36
0 -63 0 -43 0 -23 0 -3 19 17 3 37
0 -62 0 -42 0 -22 0 -2 15 18 3 38
0 -61 0 -41 0 -21 0 -1 16 19 3 39
------ Relaxed ------ | ------ Strong ------
475000 | |o
450000 | |o
425000 | |o
400000 | |o
375000 | oo
350000 | oo
325000 | oo
300000 | oo
275000 | oo
250000 | oo
225000 | oo
200000 | oo
175000 | oo
150000 | oo
125000 | oo
100000 | oo
75000 | oo
50000 | ooo
25000 | ooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1220. Total = 1009663. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49999. 0 thru 39 = 959339.
histend K = 200000. 40 thru Max = 50324.
Total number of 1220.2 errors: 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 7907 0 10 20
0 -79 0 -59 0 -39 0 -19 97614 1 8 21
0 -78 0 -58 0 -38 0 -18 42719 2 9 22
0 -77 0 -57 0 -37 0 -17 9613 3 8 23
0 -76 0 -56 0 -36 0 -16 893 4 8 24
0 -75 0 -55 0 -35 0 -15 164 5 6 25
0 -74 0 -54 0 -34 0 -14 60 6 6 26
0 -73 0 -53 0 -33 0 -13 49 7 6 27
0 -72 0 -52 0 -32 0 -12 44 8 6 28
0 -71 0 -51 0 -31 0 -11 41 9 6 29
0 -70 0 -50 0 -30 0 -10 37 10 6 30
0 -69 0 -49 0 -29 0 -9 35 11 5 31
0 -68 0 -48 0 -28 0 -8 27 12 5 32
0 -67 0 -47 0 -27 0 -7 26 13 5 33
0 -66 0 -46 0 -26 0 -6 25 14 5 34
0 -65 0 -45 0 -25 0 -5 24 15 5 35
0 -64 0 -44 0 -24 0 -4 19 16 5 36
0 -63 0 -43 0 -23 0 -3 16 17 5 37
0 -62 0 -42 0 -22 0 -2 13 18 5 38
0 -61 0 -41 0 -21 0 -1 11 19 5 39
------ Relaxed ------ | ------ Strong ------
95000 | |o
90000 | |o
85000 | |o
80000 | |o
75000 | |o
70000 | |o
65000 | |o
60000 | |o
55000 | |o
50000 | |o
45000 | |o
40000 | |oo
35000 | |oo
30000 | |oo
25000 | |oo
20000 | |oo
15000 | |oo
10000 | |oo
5000 | oooo
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = 1220. Total = 299556. Min thru -81 = 0.
Type = RR,CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 49998. 0 thru 39 = 159461.
histend K = 200000. 40 thru Max = 140095.
End analysis of Test T1220 at 13:01:40.697 960504
================================================================================
Summary of run parameters:
Number of threads: 8.
Length of the arrays: 200000.
Line count: 0.
Action count: 0.
Interference count: 0.
T10 thread 0 count: 100000.
T10 thread 1 count: 10000.
T10 thread 2 count: 100000.
A memory model is defined by the set of rules it obeys.
Each test in ARCHTEST seeks to observe a relaxation of
behavior defined by one or another subset of the following
seven rules: UPO, RR, WW, RW, WR, CC1, and CC3.
The tests that were performed above are listed below.
Shown with each test is the set of rules whose relaxation the test sought
to observe. Also shown are the duration of the test and the number
of integer operands and the number of floating operands used in the test.
Test Rules Duration int flt
T900 UPO WW CC3 2.860 1 0
T920 UPO WW CC3 2.840 0 1
T1100 RR WW RW 3.220 4 0
T1100 RR WW WR 4 0
T1110 RR WW RW 3.240 2 2
T1110 RR WW WR 2 2
T1120 RR WW RW 2.980 0 4
T1120 RR WW WR 0 4
T1200 UPO RR WW CC1 2.860 4 0
T1210 UPO RR WW CC1 3.280 2 2
T1220 UPO RR WW CC1 3.740 0 4
Descriptions of the relaxations detected by the tests:
None.
Tests which saw relaxed behavior, and the relaxations seen:
None None
================================================================================