ARCHTEST. Version 5.0. 960122. By W. W. Collier, mpdiag@acm.org
14:35:36.965 960126
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]: 3
Enter the number of threads (from 2 to 8) [2]: 4
Define logical length of arrays (max=500000) [200000]: 60
FUZZFREQ: Define frequency of error generation [0]: 6
The following tests can be run:
200 300 400 500 600 700 800 900 1000 1100 1200
310 610 910 1010
220 320 420 520 620 720 1020 1120 1220
230 430 730 1030 1130 1230
Specify which tests to run [all]: 200
Accept run-time defaults? (y,n,?) [y]
Parameters for this run:
Type of run: 3. Generate relaxed test data.
Output file name: a1260000.out.
Max. no. of threads: 4.
Length of the arrays: 60.
Fuzzfreq: 6.
Test(s) to run: 200
================================================================================
Test T200. Seek a violation of A(CMP,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
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]
Start generating data for Test 2 at: 14:35:51.626 960126
End generating data for Test 2 at: 14:35:51.626 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 1 0 0
1 3 3 0 0
2 3 3 0 0
3 2 4 0 0
4 5 5 0 0
5 5 6 0 0
6 7 6 0 0
7 6 6 0 0
8 7 6 0 0
9 7 7 0 0
10 7 8 0 0
11 12 12 0 0
12 13 13 0 0
13 17 17 0 0
14 17 18 0 0
15 19 17 0 0
16 19 20 0 0
17 19 20 0 0
18 20 22 0 0
19 22 22 0 0
20 23 24 0 0
21 24 24 0 0
22 24 24 0 0
23 24 25 0 0
24 26 27 0 0
25 28 27 0 0
26 27 27 0 0
27 28 31 0 0
28 31 31 0 0
29 32 31 0 0
30 32 32 0 0
31 33 33 0 0
32 34 35 0 0
33 36 35 0 0
34 36 36 0 0
35 39 39 0 0
36 42 42 0 0
37 42 43 0 0
38 45 45 0 0
39 44 46 0 0
40 46 45 0 0
41 47 48 0 0
42 47 48 0 0
43 48 48 0 0
44 48 48 0 0
45 51 49 0 0
46 50 50 0 0
47 51 51 0 0
48 51 51 0 0
49 52 51 0 0
50 52 52 0 0
51 53 52 0 0
52 54 53 0 0
53 54 53 0 0
54 55 54 0 0
55 55 55 0 0
56 57 56 0 0
57 57 56 0 0
58 57 58 0 0
59 59 60 0 0
Start analysis of Test 2 at: 14:35:51.636 960126
Event 200.0: u[ 2] = 3 > u[ 3] = 2. d = -1.
Event 200.0: u[ 6] = 7 > u[ 7] = 6. d = -1.
Event 200.0: u[ 25] = 28 > u[ 26] = 27. d = -1.
Event 200.0: u[ 38] = 45 > u[ 39] = 44. d = -1.
Event 200.0: u[ 45] = 51 > u[ 46] = 50. d = -1.
Event 200.0: v[ 14] = 18 > v[ 15] = 17. d = -1.
Event 200.0: v[ 39] = 46 > v[ 40] = 45. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
0 0 1 0 0
1 3 3 0 0
2 3 3 0 0
3 2 4 0 0
4 5 5 0 0
5 5 6 0 0
6 7 6 0 0
7 6 6 0 0
8 7 6 0 0
9 7 7 0 0
10 7 8 0 0
11 12 12 0 0
12 13 13 0 0
13 17 17 0 0
14 17 18 0 0
15 19 17 0 0
16 19 20 0 0
17 19 20 0 0
18 20 22 0 0
22 24 24 0 0
23 24 25 0 0
24 26 27 0 0
25 28 27 0 0
26 27 27 0 0
27 28 31 0 0
28 31 31 0 0
29 32 31 0 0
35 39 39 0 0
36 42 42 0 0
37 42 43 0 0
38 45 45 0 0
39 44 46 0 0
40 46 45 0 0
41 47 48 0 0
42 47 48 0 0
43 48 48 0 0
44 48 48 0 0
45 51 49 0 0
46 50 50 0 0
47 51 51 0 0
48 51 51 0 0
49 52 51 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 40 0 0 20
0 -79 0 -59 0 -39 0 -19 37 1 0 21
0 -78 0 -58 0 -38 0 -18 14 2 0 22
0 -77 0 -57 0 -37 0 -17 11 3 0 23
0 -76 0 -56 0 -36 0 -16 4 4 0 24
0 -75 0 -55 0 -35 0 -15 1 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 7 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
38 | o
36 | oo
34 | oo
32 | oo
30 | oo
28 | oo
26 | oo
24 | oo
22 | oo
20 | oo
18 | oo
16 | oo
14 | oo
12 | ooo
10 | oooo
8 | oooo
6 | ooooo
4 | ooooo
2 | oooooo
0 |_________._________.________o.ooooo____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 200. Total = 114. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 7.
Behav = Relaxed. Maximum = 5. 0 thru 39 = 107.
histend K = 60. 40 thru Max = 0.
d = 1.
Event 200.1: v[ 2] = 3 > u[ 3] = 3.
Event 200.2: u[ 15] = 19 > v[ 15]+1 = 18.
Event 200.1: v[ 16] = 20 > u[ 17] = 19.
Event 200.1: v[ 38] = 45 > u[ 39] = 45.
Event 200.1: v[ 41] = 48 > u[ 42] = 47.
Event 200.2: u[ 45] = 51 > v[ 45]+1 = 50.
Total number of 200.1 events: 4.
Total number of 200.2 events: 2.
End analysis of Test 2 at: 14:35:51.756 960126
Portions of the arrays containing relaxed events:
i U V X Y
0 0 1 0 0
1 3 3 0 0
2 3 3 0 0
3 2 4 0 0
4 5 5 0 0
5 5 6 0 0
12 13 13 0 0
13 17 17 0 0
14 17 18 0 0
15 19 17 0 0
16 19 20 0 0
17 19 20 0 0
18 20 22 0 0
19 22 22 0 0
35 39 39 0 0
36 42 42 0 0
37 42 43 0 0
38 45 45 0 0
39 44 46 0 0
40 46 45 0 0
41 47 48 0 0
42 47 48 0 0
43 48 48 0 0
44 48 48 0 0
45 51 49 0 0
46 50 50 0 0
47 51 51 0 0
48 51 51 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 30 0 0 20
0 -79 0 -59 0 -39 0 -19 52 1 0 21
0 -78 0 -58 0 -38 0 -18 21 2 0 22
0 -77 0 -57 0 -37 0 -17 6 3 0 23
0 -76 0 -56 0 -36 0 -16 3 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 6 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
57 | |
54 | |
51 | |o
48 | |o
45 | |o
42 | |o
39 | |o
36 | |o
33 | |o
30 | |o
27 | oo
24 | oo
21 | oo
18 | ooo
15 | ooo
12 | ooo
9 | ooo
6 | ooo
3 | ooooo
0 |_________._________.________o.oooo_____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 200. Total = 118. Min thru -81 = 0.
Type = Order. Minimum = -1. -80 thru -1 = 6.
Behav = Relaxed. Maximum = 4. 0 thru 39 = 112.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
0
1
3
3
3
3
2
4
5
5
5
6
7
6
6
6
7
6
7
7
7
8
12
12
13
13
17
17
17
18
19
17
19
20
19
20
20
22
22
22
23
24
24
24
24
24
24
25
26
27
28
27
27
27
28
31
31
31
32
31
32
32
33
33
34
35
36
35
36
36
39
39
42
42
42
43
45
45
44
46
46
45
47
48
47
48
48
48
48
48
51
49
50
50
51
51
51
51
52
51
52
52
53
52
54
53
54
53
55
54
55
55
57
56
57
56
57
58
59
60
================================================================================
Test T300. Seek a violation of A(CMP,RR,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
Start generating data for Test 3 at: 14:35:51.896 960126
End generating data for Test 3 at: 14:35:51.896 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 2 2 3 7
1 1 1 3 7
2 4 0 10 7
3 4 3 12 9
4 6 2 12 9
5 3 7 11 9
6 14 7 11 4
7 12 7 16 11
8 12 9 18 11
9 12 9 20 13
10 14 9 15 13
11 12 9 15 13
12 14 11 17 13
13 7 11 19 6
14 11 11 19 15
15 11 11 26 8
16 18 15 26 17
17 20 13 26 19
18 20 13 21 25
19 13 15 21 23
20 13 15 23 25
21 15 15 23 27
22 26 10 27 27
23 28 17 27 25
24 21 19 34 25
25 21 19 34 22
26 23 14 29 33
27 25 16 31 26
28 32 18 36 33
29 34 23 38 35
30 29 23 38 35
31 36 25 35 37
32 36 27 40 37
33 33 22 40 34
34 33 24 42 32
35 38 31 42 34
36 39 31 42 39
37 42 26 42 39
38 44 26 42 38
39 42 33 42 40
40 42 33 42 42
41 44 33 42 44
42 44 28 43 48
43 45 33 43 48
44 45 35 45 48
45 48 37 45 50
46 50 37 44 52
47 50 36 47 51
48 57 36 47 51
49 57 38 47 51
50 54 38 48 51
51 56 40 48 56
52 61 40 50 55
53 59 40 53 66
54 61 42 52 66
55 65 40 57 66
56 65 42 57 66
57 65 45 57 66
58 65 45 54 72
59 64 44 61 72
Start analysis of Test 3 at: 14:35:51.906 960126
Event 300.0: u[ 6] = 14 > u[ 7] = 12. d = -2.
Event 300.0: u[ 10] = 14 > u[ 11] = 12. d = -2.
Event 300.0: u[ 38] = 44 > u[ 39] = 42. d = -2.
Event 300.0: u[ 52] = 61 > u[ 53] = 59. d = -2.
Event 300.0: v[ 0] = 2 > v[ 2] = 0. d = -2.
Event 300.0: v[ 16] = 15 > v[ 17] = 13. d = -2.
Event 300.0: v[ 54] = 42 > v[ 55] = 40. d = -2.
Event 300.0: y[ 18] = 25 > y[ 19] = 23. d = -2.
Event 300.0: y[ 22] = 27 > y[ 23] = 25. d = -2.
Event 300.0: y[ 33] = 34 > y[ 34] = 32. d = -2.
Portions of the arrays containing relaxed events:
i U V X Y
0 2 2 3 7
1 1 1 3 7
2 4 0 10 7
3 4 3 12 9
4 6 2 12 9
5 3 7 11 9
6 14 7 11 4
7 12 7 16 11
8 12 9 18 11
9 12 9 20 13
10 14 9 15 13
11 12 9 15 13
12 14 11 17 13
13 7 11 19 6
14 11 11 19 15
15 11 11 26 8
16 18 15 26 17
17 20 13 26 19
18 20 13 21 25
19 13 15 21 23
20 13 15 23 25
21 15 15 23 27
22 26 10 27 27
23 28 17 27 25
24 21 19 34 25
25 21 19 34 22
26 23 14 29 33
30 29 23 38 35
31 36 25 35 37
32 36 27 40 37
33 33 22 40 34
34 33 24 42 32
35 38 31 42 34
36 39 31 42 39
37 42 26 42 39
38 44 26 42 38
39 42 33 42 40
40 42 33 42 42
41 44 33 42 44
42 44 28 43 48
49 57 38 47 51
50 54 38 48 51
51 56 40 48 56
52 61 40 50 55
53 59 40 53 66
54 61 42 52 66
55 65 40 57 66
56 65 42 57 66
57 65 45 57 66
58 65 45 54 72
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 92 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 79 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 29 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 8 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 10 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 1 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 2 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 1 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 0 -4 0 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 10 -2 0 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
95 | |
90 | o
85 | o
80 | o
75 | o o
70 | o o
65 | o o
60 | o o
55 | o o
50 | o o
45 | o o
40 | o o
35 | o o
30 | o o
25 | o o o
20 | o o o
15 | o o o
10 | o o o
5 | o o o o o o
0 |_________._________._______o_._o_o_o_o_o_o_o_____._________._________
-30 -20 -10 0 10 20 30 40
Test = 300. Total = 232. Min thru -81 = 0.
Type = RR/WW. Minimum = -2. -80 thru -1 = 10.
Behav = Relaxed. Maximum = 14. 0 thru 39 = 222.
histend K = 60. 40 thru Max = 0.
End analysis of Test 3 at: 14:35:52.036 960126
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 3 1 0 21
0 -78 0 -58 0 -38 0 -18 0 2 0 22
0 -77 0 -57 0 -37 0 -17 14 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 9 5 0 25
0 -74 0 -54 0 -34 0 -14 0 6 0 26
0 -73 0 -53 0 -33 0 -13 7 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 5 9 0 29
0 -70 0 -50 0 -30 0 -10 0 10 0 30
0 -69 0 -49 0 -29 0 -9 3 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 3 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 | | o
12 | | o
11 | | o
10 | | o
9 | | o
8 | | o o
7 | | o o
6 | | o o o
5 | | o o o
4 | | o o o o
3 | | o o o o
2 | |o o o o o o o
1 | |o o o o o o o
0 |_________._________._________.o_o_o_o_o.o_o______._________._________
-30 -20 -10 0 10 20 30 40
Test = 300. Total = 44. Min thru -81 = 0.
Type = RR/WW. Minimum = 1. -80 thru -1 = 0.
Behav = Strong. Maximum = 13. 0 thru 39 = 44.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
2 2 3 7
1 1 3 7
4 0 10 7
4 3 12 9
6 2 12 9
3 7 11 9
14 7 11 4
12 7 16 11
12 9 18 11
12 9 20 13
14 9 15 13
12 9 15 13
14 11 17 13
7 11 19 6
11 11 19 15
11 11 26 8
18 15 26 17
20 13 26 19
20 13 21 25
13 15 21 23
13 15 23 25
15 15 23 27
26 10 27 27
28 17 27 25
21 19 34 25
21 19 34 22
23 14 29 33
25 16 31 26
32 18 36 33
34 23 38 35
29 23 38 35
36 25 35 37
36 27 40 37
33 22 40 34
33 24 42 32
38 31 42 34
39 31 42 39
42 26 42 39
44 26 42 38
42 33 42 40
42 33 42 42
44 33 42 44
44 28 43 48
45 33 43 48
45 35 45 48
48 37 45 50
50 37 44 52
50 36 47 51
57 36 47 51
57 38 47 51
54 38 48 51
56 40 48 56
61 40 50 55
59 40 53 66
61 42 52 66
65 40 57 66
65 42 57 66
65 45 57 66
65 45 54 72
64 44 61 72
================================================================================
Test T400. Seek a violation of A(CMP,RW,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.
Start generating data for Test 4/7 at: 14:35:52.197 960126
End generating data for Test 4/7 at: 14:35:52.207 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 0 0 0
1 1 1 0 0
2 2 4 0 0
3 2 5 0 0
4 3 4 0 0
5 3 6 0 0
6 6 6 0 0
7 6 8 0 0
8 7 8 0 0
9 8 13 0 0
10 9 12 0 0
11 9 13 0 0
12 10 13 0 0
13 10 16 0 0
14 11 19 0 0
15 13 19 0 0
16 13 21 0 0
17 13 21 0 0
18 13 21 0 0
19 15 22 0 0
20 16 22 0 0
21 17 22 0 0
22 19 24 0 0
23 21 25 0 0
24 21 26 0 0
25 24 26 0 0
26 24 30 0 0
27 25 31 0 0
28 24 30 0 0
29 26 31 0 0
30 27 31 0 0
31 29 32 0 0
32 33 32 0 0
33 33 33 0 0
34 34 35 0 0
35 36 36 0 0
36 36 36 0 0
37 38 37 0 0
38 40 37 0 0
39 41 37 0 0
40 43 38 0 0
41 44 40 0 0
42 45 39 0 0
43 47 40 0 0
44 50 40 0 0
45 51 42 0 0
46 52 42 0 0
47 52 43 0 0
48 52 43 0 0
49 52 44 0 0
50 53 44 0 0
51 55 45 0 0
52 56 46 0 0
53 56 51 0 0
54 58 51 0 0
55 57 51 0 0
56 58 54 0 0
57 59 55 0 0
58 59 56 0 0
59 59 56 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 37 0
1 42 8
2 20 19
3 7 7
4 2 6
5 2 1
6 0 1
7 0 0
8 0 0
9 0 0
10 0 0
11 0 1
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 0 0
Start analysis of Test 4 at: 14:35:52.217 960126
Event 400.0: u[ 27] = 25 > u[ 28] = 24. d = -1.
Event 400.0: u[ 54] = 58 > u[ 55] = 57. d = -1.
Event 400.0: v[ 3] = 5 > v[ 4] = 4. d = -1.
Event 400.0: v[ 9] = 13 > v[ 10] = 12. d = -1.
Event 400.0: v[ 27] = 31 > v[ 28] = 30. d = -1.
Event 400.0: v[ 41] = 40 > v[ 42] = 39. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
0 0 0 0 0
1 1 1 0 0
2 2 4 0 0
3 2 5 0 0
4 3 4 0 0
5 3 6 0 0
6 6 6 0 0
7 6 8 0 0
8 7 8 0 0
9 8 13 0 0
10 9 12 0 0
11 9 13 0 0
12 10 13 0 0
13 10 16 0 0
24 21 26 0 0
25 24 26 0 0
26 24 30 0 0
27 25 31 0 0
28 24 30 0 0
29 26 31 0 0
30 27 31 0 0
31 29 32 0 0
38 40 37 0 0
39 41 37 0 0
40 43 38 0 0
41 44 40 0 0
42 45 39 0 0
43 47 40 0 0
44 50 40 0 0
45 51 42 0 0
51 55 45 0 0
52 56 46 0 0
53 56 51 0 0
54 58 51 0 0
55 57 51 0 0
56 58 54 0 0
57 59 55 0 0
58 59 56 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 36 0 0 20
0 -79 0 -59 0 -39 0 -19 41 1 0 21
0 -78 0 -58 0 -38 0 -18 20 2 0 22
0 -77 0 -57 0 -37 0 -17 7 3 0 23
0 -76 0 -56 0 -36 0 -16 2 4 0 24
0 -75 0 -55 0 -35 0 -15 2 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 6 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
57 | |
54 | |
51 | |
48 | |
45 | |
42 | |
39 | |o
36 | |o
33 | oo
30 | oo
27 | oo
24 | oo
21 | oo
18 | ooo
15 | ooo
12 | ooo
9 | ooo
6 | oooo
3 | ooooo
0 |_________._________.________o.ooooo____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 400. Total = 114. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 6.
Behav = Relaxed. Maximum = 5. 0 thru 39 = 108.
histend K = 60. 40 thru Max = 0.
d = -2.
Event 4.1. u[ 28] = 24 < 25 and v[ 25] = 26 < 28
d = -1.
Event 4.2. v[ 4] = 4 < 5 and u[ 5] = 3 < 4
Event 4.1. u[ 5] = 3 < 4 and v[ 4] = 4 < 5
Event 4.4. v[ 9] = 13 > 12 and u[ 12] = 10 > 9
Event 4.2. v[ 12] = 13 < 14 and u[ 14] = 11 < 12
Event 4.3. u[ 12] = 10 > 9 and v[ 9] = 13 > 12
Event 4.1. u[ 14] = 11 < 12 and v[ 12] = 13 < 14
Event 4.3. u[ 35] = 36 > 35 and v[ 35] = 36 > 35
Event 4.4. v[ 35] = 36 > 35 and u[ 35] = 36 > 35
Event 4.3. u[ 54] = 58 > 57 and v[ 57] = 55 > 54
Event 4.4. v[ 57] = 55 > 54 and u[ 54] = 58 > 57
End analysis of Test 4 at: 14:35:52.347 960126
Portions of the arrays containing events:
i U V d1 d2 d3 d4
1 1 1 3 1 1 1
2 2 4 3 1 1 0
3 2 5 2 3 2 0
4 3 4 0 -1 0 2
5 3 6 -1 1 1 2
6 6 6 2 0 0 3
7 6 8 1 1 1 1
8 7 8 0 0 2 2
9 8 13 4 2 1 -1
10 9 12 2 0 2 1
11 9 13 1 0 3 1
12 10 13 1 -1 -1 2
13 10 16 0 0 0 0
14 11 19 -1 2 2 1
15 13 19 4 1 2 2
16 13 21 3 3 3 0
17 13 21 2 2 4 1
22 19 24 0 2 1 1
23 21 25 1 1 1 2
24 21 26 0 1 2 0
25 24 26 1 0 0 1
26 24 30 0 3 1 0
27 25 31 3 6 1 0
28 24 30 -2 1 3 2
29 26 31 2 4 3 2
30 27 31 0 3 0 3
31 29 32 0 2 1 2
32 33 32 3 1 0 3
33 33 33 2 1 1 0
34 34 35 2 2 1 0
35 36 36 2 3 -1 -1
36 36 36 1 2 0 0
37 38 37 0 3 0 1
38 40 37 2 2 1 2
51 55 45 3 1 0 1
52 56 46 3 0 1 1
53 56 51 2 3 2 0
54 58 51 2 2 -1 1
55 57 51 1 1 1 2
56 58 54 0 1 1 0
57 59 55 2097152 1 1 -1
58 59 56 2097152 1 2 1
59 59 56 2097152 0 3 2
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 2 2 3 3 -1
-2 1 0 0 0 -2
-3 0 0 0 0 -3
Totals / Min / Under -25:
3 2 3 3
2 1 1 1
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 50 0 0 20
0 -79 0 -59 0 -39 0 -19 76 1 0 21
0 -78 0 -58 0 -38 0 -18 56 2 0 22
0 -77 0 -57 0 -37 0 -17 31 3 0 23
0 -76 0 -56 0 -36 0 -16 8 4 0 24
0 -75 0 -55 0 -35 0 -15 2 5 0 25
0 -74 0 -54 0 -34 0 -14 1 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 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 1 -2 0 18 0 38
0 -61 0 -41 0 -21 10 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
76 | |
72 | |o
68 | |o
64 | |o
60 | |o
56 | |o
52 | |oo
48 | ooo
44 | ooo
40 | ooo
36 | ooo
32 | ooo
28 | oooo
24 | oooo
20 | oooo
16 | oooo
12 | oooo
8 | ooooo
4 | oooooo
0 |_________._________._______oo.oooooo___._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 400. Total = 235. Min thru -81 = 0.
Type = Order. Minimum = -2. -80 thru -1 = 11.
Behav = Relaxed. Maximum = 6. 0 thru 39 = 224.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
0 0
1 1
2 4
2 5
3 4
3 6
6 6
6 8
7 8
8 13
9 12
9 13
10 13
10 16
11 19
13 19
13 21
13 21
13 21
15 22
16 22
17 22
19 24
21 25
21 26
24 26
24 30
25 31
24 30
26 31
27 31
29 32
33 32
33 33
34 35
36 36
36 36
38 37
40 37
41 37
43 38
44 40
45 39
47 40
50 40
51 42
52 42
52 43
52 43
52 44
53 44
55 45
56 46
56 51
58 51
57 51
58 54
59 55
59 56
59 56
================================================================================
Test T500. Seek a violation of A(CMP,RR,WW,WA).
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].
Start generating data for Test 5 at: 14:35:52.477 960126
End generating data for Test 5 at: 14:35:52.487 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 1 2 0 0
1 1 4 0 0
2 6 7 0 0
3 8 9 0 0
4 8 10 0 0
5 9 10 0 0
6 13 13 0 0
7 13 13 0 0
8 14 14 0 0
9 14 16 0 0
10 14 18 0 0
11 18 21 0 0
12 21 22 0 0
13 21 22 0 0
14 22 23 0 0
15 24 30 0 0
16 30 32 0 0
17 31 41 0 0
18 38 43 0 0
19 43 46 0 0
20 47 48 0 0
21 48 49 0 0
22 49 52 0 0
23 51 57 0 0
24 57 61 0 0
25 61 61 0 0
26 61 61 0 0
27 62 62 0 0
28 64 64 0 0
29 65 66 0 0
30 70 70 0 0
31 73 76 0 0
32 76 76 0 0
33 76 76 0 0
34 76 77 0 0
35 77 77 0 0
36 77 81 0 0
37 77 81 0 0
38 81 82 0 0
39 90 90 0 0
40 91 94 0 0
41 94 95 0 0
42 96 96 0 0
43 96 99 0 0
44 101 103 0 0
45 100 105 0 0
46 104 105 0 0
47 106 107 0 0
48 106 106 0 0
49 111 113 0 0
50 113 113 0 0
51 113 116 0 0
52 117 119 0 0
53 119 121 0 0
54 121 124 0 0
55 122 127 0 0
56 128 129 0 0
57 129 130 0 0
58 130 131 0 0
59 131 131 0 0
Start analysis of Test 5 at: 14:35:52.497 960126
Event 500.0: u[ 44] = 101 > u[ 45] = 100. d = -1.
Event 500.0: v[ 47] = 107 > v[ 48] = 106. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
41 94 95 0 0
42 96 96 0 0
43 96 99 0 0
44 101 103 0 0
45 100 105 0 0
46 104 105 0 0
47 106 107 0 0
48 106 106 0 0
49 111 113 0 0
50 113 113 0 0
51 113 116 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 25 0 0 20
0 -79 0 -59 0 -39 0 -19 23 1 0 21
0 -78 0 -58 0 -38 0 -18 22 2 0 22
0 -77 0 -57 0 -37 0 -17 14 3 0 23
0 -76 0 -56 0 -36 0 -16 12 4 0 24
0 -75 0 -55 0 -35 0 -15 6 5 0 25
0 -74 0 -54 0 -34 0 -14 4 6 0 26
0 -73 0 -53 0 -33 0 -13 3 7 0 27
0 -72 0 -52 0 -32 0 -12 1 8 0 28
0 -71 0 -51 0 -31 0 -11 2 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 2 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
38 | |
36 | |
34 | |
32 | |
30 | |
28 | |
26 | |
24 | o
22 | oo
20 | ooo
18 | ooo
16 | ooo
14 | ooo
12 | oooo
10 | ooooo
8 | ooooo
6 | ooooo
4 | oooooo
2 | oooooooo
0 |_________._________.________o.ooooooooo._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 500. Total = 114. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 2.
Behav = Relaxed. Maximum = 9. 0 thru 39 = 112.
histend K = 60. 40 thru Max = 0.
End analysis of Test 5 at: 14:35:52.627 960126
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 16 0 0 20
0 -79 0 -59 0 -39 0 -19 18 1 0 21
0 -78 0 -58 0 -38 0 -18 7 2 0 22
0 -77 0 -57 0 -37 0 -17 9 3 0 23
0 -76 0 -56 0 -36 0 -16 4 4 0 24
0 -75 0 -55 0 -35 0 -15 3 5 0 25
0 -74 0 -54 0 -34 0 -14 2 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 1 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 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 | |o
16 | |o
15 | oo
14 | oo
13 | oo
12 | oo
11 | oo
10 | oo
9 | oo
8 | oo o
7 | oo o
6 | oooo
5 | oooo
4 | oooo
3 | ooooo
2 | oooooo
1 | ooooooo
0 |_________._________._________.oooooo___o_________._________._________
-30 -20 -10 0 10 20 30 40
Test = 500. Total = 60. Min thru -81 = 0.
Type = Atom. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 10. 0 thru 39 = 60.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
1
2
1
4
6
7
8
9
8
10
9
10
13
13
13
13
14
14
14
16
14
18
18
21
21
22
21
22
22
23
24
30
30
32
31
41
38
43
43
46
47
48
48
49
49
52
51
57
57
61
61
61
61
61
62
62
64
64
65
66
70
70
73
76
76
76
76
76
76
77
77
77
77
81
77
81
81
82
90
90
91
94
94
95
96
96
96
99
101
103
100
105
104
105
106
107
106
106
111
113
113
113
113
116
117
119
119
121
121
124
122
127
128
129
129
130
130
131
131
131
================================================================================
Test T600. Seek a violation of A(CMP,RR,WW,WA).
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.
Start generating data for Test 6 at: 14:35:52.757 960126
End generating data for Test 6 at: 14:35:52.767 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 0 1 0
1 0 2 2 2
2 1 1 2 1
3 1 2 2 2
4 1 4 6 9
5 2 2 2 3
6 2 7 9 17
7 2 2 2 8
8 9 9 11 18
9 3 3 4 10
10 11 8 11 21
11 6 8 6 13
12 14 18 14 23
13 6 10 6 13
14 15 19 17 24
15 8 13 10 14
16 16 23 21 24
17 9 14 14 14
18 18 24 24 24
19 11 14 15 18
20 25 28 24 27
21 16 23 16 21
22 26 32 26 30
23 17 26 18 23
24 27 33 27 33
25 20 28 17 29
26 34 35 27 35
27 27 28 19 32
28 35 35 28 38
29 28 30 21 34
30 35 37 29 39
31 30 34 26 37
32 38 39 33 40
33 30 37 27 39
34 37 40 33 47
35 34 38 27 42
36 38 43 36 53
37 37 39 30 48
38 40 53 40 60
39 39 45 36 54
40 43 53 38 64
41 39 53 39 56
42 44 63 42 66
43 40 55 42 57
44 48 64 48 66
45 43 57 41 58
46 52 65 49 65
47 43 59 42 57
48 53 70 53 68
49 46 63 49 60
50 53 71 56 69
51 47 67 49 63
52 58 71 59 70
53 53 70 54 63
54 61 73 63 71
55 53 71 54 67
56 63 74 64 71
57 54 75 57 71
58 64 75 66 71
59 56 78 58 72
Start analysis of Test 6 at: 14:35:52.777 960126
Event 600.0: u[ 32] = 38 > u[ 34] = 37. d = -1.
Event 600.0: v[ 8] = 9 > v[ 10] = 8. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
5 2 2 2 3
6 2 7 9 17
7 2 2 2 8
8 9 9 11 18
9 3 3 4 10
10 11 8 11 21
11 6 8 6 13
12 14 18 14 23
13 6 10 6 13
29 28 30 21 34
30 35 37 29 39
31 30 34 26 37
32 38 39 33 40
33 30 37 27 39
34 37 40 33 47
35 34 38 27 42
36 38 43 36 53
37 37 39 30 48
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 17 0 0 20
0 -79 0 -59 0 -39 0 -19 32 1 0 21
0 -78 0 -58 0 -38 0 -18 19 2 0 22
0 -77 0 -57 0 -37 0 -17 16 3 0 23
0 -76 0 -56 0 -36 0 -16 9 4 0 24
0 -75 0 -55 0 -35 0 -15 4 5 0 25
0 -74 0 -54 0 -34 0 -14 2 6 0 26
0 -73 0 -53 0 -33 0 -13 4 7 0 27
0 -72 0 -52 0 -32 0 -12 1 8 0 28
0 -71 0 -51 0 -31 0 -11 1 9 0 29
0 -70 0 -50 0 -30 0 -10 3 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 2 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
38 | |
36 | |
34 | |
32 | |
30 | |o
28 | |o
26 | |o
24 | |o
22 | |o
20 | |o
18 | |oo
16 | ooo
14 | oooo
12 | oooo
10 | oooo
8 | ooooo
6 | ooooo
4 | ooooo
2 | oooooo o o
0 |_________._________.________o.ooooooooo._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 600. Total = 110. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 2.
Behav = Relaxed. Maximum = 10. 0 thru 39 = 108.
histend K = 60. 40 thru Max = 0.
End analysis of Test 6 at: 14:35:52.898 960126
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 0 20
0 -79 0 -59 0 -39 0 -19 4 1 0 21
0 -78 0 -58 0 -38 0 -18 6 2 0 22
0 -77 0 -57 0 -37 0 -17 5 3 0 23
0 -76 0 -56 0 -36 0 -16 7 4 0 24
0 -75 0 -55 0 -35 0 -15 5 5 0 25
0 -74 0 -54 0 -34 0 -14 7 6 0 26
0 -73 0 -53 0 -33 0 -13 8 7 0 27
0 -72 0 -52 0 -32 0 -12 3 8 0 28
0 -71 0 -51 0 -31 0 -11 3 9 0 29
0 -70 0 -50 0 -30 0 -10 3 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 2 12 0 32
0 -67 0 -47 0 -27 0 -7 1 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 | | o
6 | | o oo
5 | | o o oo
4 | | oooooo
3 | |ooooooo
2 | |oooooooooo
1 | |oooooooooo o
0 |_________._________._________oooooooooo._oo______._________._________
-30 -20 -10 0 10 20 30 40
Test = 600. Total = 55. Min thru -81 = 0.
Type = Atom. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 13. 0 thru 39 = 55.
histend K = 60. 40 thru Max = 0.
Plot of T6 data.
xmin xmax xintv ymin ymax yintv 0 0 1 0 0 1
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
1
1
AF5 2 42 4
B
4
5 5
2 1 8
1
4A
1
2 8 8
4 2A
4
41
14
8 4
4
1
84
2 8
4 2
41
2 3
8
34 1
8
38
4
1A
2
4 9 3
1
4
4 8 4
1 1
2
1
1
8
4 4
2 1 1
48 5
2
9
688
C
2
8
8A
A
2
8 2
8
2
2
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Output to SIMIN:
0 0
0 2
1 1
1 2
1 4
2 2
2 7
2 2
9 9
3 3
11 8
6 8
14 18
6 10
15 19
8 13
16 23
9 14
18 24
11 14
25 28
16 23
26 32
17 26
27 33
20 28
34 35
27 28
35 35
28 30
35 37
30 34
38 39
30 37
37 40
34 38
38 43
37 39
40 53
39 45
43 53
39 53
44 63
40 55
48 64
43 57
52 65
43 59
53 70
46 63
53 71
47 67
58 71
53 70
61 73
53 71
63 74
54 75
64 75
56 78
================================================================================
Test T700. Seek a violation of A(CMP,UPO,RR,WW,WA).
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.
Start generating data for Test 4/7 at: 14:35:53.208 960126
End generating data for Test 4/7 at: 14:35:53.208 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 0 0 0
1 2 1 0 0
2 3 1 0 0
3 6 2 0 0
4 6 2 0 0
5 6 2 0 0
6 7 3 0 0
7 8 5 0 0
8 9 6 0 0
9 11 7 0 0
10 10 10 0 0
11 13 10 0 0
12 16 10 0 0
13 18 11 0 0
14 18 12 0 0
15 19 12 0 0
16 21 14 0 0
17 22 14 0 0
18 22 13 0 0
19 22 14 0 0
20 22 15 0 0
21 22 16 0 0
22 22 16 0 0
23 22 24 0 0
24 23 27 0 0
25 24 28 0 0
26 24 29 0 0
27 24 31 0 0
28 25 31 0 0
29 26 32 0 0
30 26 33 0 0
31 28 33 0 0
32 30 32 0 0
33 32 33 0 0
34 34 34 0 0
35 38 34 0 0
36 38 34 0 0
37 39 35 0 0
38 39 35 0 0
39 39 37 0 0
40 41 40 0 0
41 41 40 0 0
42 42 42 0 0
43 43 45 0 0
44 43 47 0 0
45 43 50 0 0
46 44 51 0 0
47 44 51 0 0
48 45 53 0 0
49 44 52 0 0
50 45 52 0 0
51 46 54 0 0
52 50 54 0 0
53 51 55 0 0
54 51 56 0 0
55 52 57 0 0
56 54 56 0 0
57 53 59 0 0
58 56 59 0 0
59 57 59 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 38 0
1 40 15
2 18 11
3 10 8
4 2 5
5 0 2
6 0 4
7 0 0
8 1 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 0 0
Start analysis of Test 7 at: 14:35:53.218 960126
Event 700.0: u[ 9] = 11 > u[ 10] = 10. d = -1.
Event 700.0: u[ 48] = 45 > u[ 49] = 44. d = -1.
Event 700.0: u[ 56] = 54 > u[ 57] = 53. d = -1.
Event 700.0: v[ 17] = 14 > v[ 18] = 13. d = -1.
Event 700.0: v[ 31] = 33 > v[ 32] = 32. d = -1.
Event 700.0: v[ 48] = 53 > v[ 49] = 52. d = -1.
Event 700.0: v[ 55] = 57 > v[ 56] = 56. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
6 7 3 0 0
7 8 5 0 0
8 9 6 0 0
9 11 7 0 0
10 10 10 0 0
11 13 10 0 0
12 16 10 0 0
13 18 11 0 0
14 18 12 0 0
15 19 12 0 0
16 21 14 0 0
17 22 14 0 0
18 22 13 0 0
19 22 14 0 0
20 22 15 0 0
21 22 16 0 0
28 25 31 0 0
29 26 32 0 0
30 26 33 0 0
31 28 33 0 0
32 30 32 0 0
33 32 33 0 0
34 34 34 0 0
35 38 34 0 0
45 43 50 0 0
46 44 51 0 0
47 44 51 0 0
48 45 53 0 0
49 44 52 0 0
50 45 52 0 0
51 46 54 0 0
52 50 54 0 0
53 51 55 0 0
54 51 56 0 0
55 52 57 0 0
56 54 56 0 0
57 53 59 0 0
58 56 59 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 37 0 0 20
0 -79 0 -59 0 -39 0 -19 40 1 0 21
0 -78 0 -58 0 -38 0 -18 18 2 0 22
0 -77 0 -57 0 -37 0 -17 9 3 0 23
0 -76 0 -56 0 -36 0 -16 2 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 1 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 7 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
38 | |o
36 | oo
34 | oo
32 | oo
30 | oo
28 | oo
26 | oo
24 | oo
22 | oo
20 | oo
18 | oo
16 | ooo
14 | ooo
12 | ooo
10 | ooo
8 | oooo
6 | ooooo
4 | ooooo
2 | ooooo
0 |_________._________.________o.oooo___o_._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 700. Total = 114. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 7.
Behav = Relaxed. Maximum = 8. 0 thru 39 = 107.
histend K = 60. 40 thru Max = 0.
d = -3.
Event 7.2. v[ 56] = 56 < 57 and u[ 57] = 53 < 56
d = -2.
Event 7.4. v[ 16] = 14 > 13 and u[ 13] = 18 > 16
Event 7.4. v[ 48] = 53 > 52 and u[ 52] = 50 > 48
d = -1.
Event 7.3. u[ 9] = 11 > 10 and v[ 10] = 10 > 9
Event 7.4. v[ 10] = 10 > 9 and u[ 9] = 11 > 10
Event 7.3. u[ 13] = 18 > 17 and v[ 17] = 14 > 13
Event 7.4. v[ 17] = 14 > 13 and u[ 13] = 18 > 17
Event 7.2. v[ 54] = 56 < 57 and u[ 57] = 53 < 54
Event 7.1. u[ 57] = 53 < 54 and v[ 54] = 56 < 57
End analysis of Test 7 at: 14:35:53.358 960126
Portions of the arrays containing events:
i U V d1 d2 d3 d4
6 7 3 0 0 3 3
7 8 5 0 0 2 1
8 9 6 2 0 2 2
9 11 7 1 0 -1 2
10 10 10 0 3 3 -1
11 13 10 1 2 1 0
12 16 10 2 1 0 1
13 18 11 1 3 -1 3
14 18 12 0 4 0 1
15 19 12 0 3 2 2
16 21 14 0 3 1 -2
17 22 14 7 2 1 -1
18 22 13 6 0 2 2
19 22 14 5 0 3 1
20 22 15 4 1 4 2
45 43 50 2 1 3 1
46 44 51 4 4 1 1
47 44 51 3 3 2 2
48 45 53 3 3 1 -2
49 44 52 1 2 4 3
50 45 52 1 1 3 4
51 46 54 0 1 1 0
52 50 54 2 0 0 1
53 51 55 1 1 1 2
54 51 56 0 -1 2 2
55 52 57 0 1 1 1
56 54 56 1 -3 1 4
57 53 59 -1 2097152 3 1
58 56 59 1 2097152 1 2
59 57 59 0 2097152 3 3
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 1 1 2 5 -1
-2 0 0 0 2 -2
-3 0 1 0 0 -3
-4 0 0 0 0 -4
Totals / Min / Under -25:
1 2 2 4
1 3 1 2
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 42 0 0 20
0 -79 0 -59 0 -39 0 -19 78 1 0 21
0 -78 0 -58 0 -38 0 -18 46 2 0 22
0 -77 0 -57 0 -37 0 -17 38 3 0 23
0 -76 0 -56 0 -36 0 -16 15 4 0 24
0 -75 0 -55 0 -35 0 -15 2 5 0 25
0 -74 0 -54 0 -34 0 -14 2 6 0 26
0 -73 0 -53 0 -33 0 -13 2 7 0 27
0 -72 0 -52 0 -32 0 -12 1 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 1 -3 0 17 0 37
0 -62 0 -42 0 -22 2 -2 0 18 0 38
0 -61 0 -41 0 -21 6 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
76 | |o
72 | |o
68 | |o
64 | |o
60 | |o
56 | |o
52 | |o
48 | |o
44 | |oo
40 | ooo
36 | oooo
32 | oooo
28 | oooo
24 | oooo
20 | oooo
16 | oooo
12 | ooooo
8 | ooooo
4 | oooooo
0 |_________._________.______ooo.oooooooo_._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 700. Total = 235. Min thru -81 = 0.
Type = Atom. Minimum = -3. -80 thru -1 = 9.
Behav = Relaxed. Maximum = 8. 0 thru 39 = 226.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
0 0
2 1
3 1
6 2
6 2
6 2
7 3
8 5
9 6
11 7
10 10
13 10
16 10
18 11
18 12
19 12
21 14
22 14
22 13
22 14
22 15
22 16
22 16
22 24
23 27
24 28
24 29
24 31
25 31
26 32
26 33
28 33
30 32
32 33
34 34
38 34
38 34
39 35
39 35
39 37
41 40
41 40
42 42
43 45
43 47
43 50
44 51
44 51
45 53
44 52
45 52
46 54
50 54
51 55
51 56
52 57
54 56
53 59
56 59
57 59
================================================================================
Test T800. Seek a violation of A(CMP,UPO,CON).
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: W[1,1] = A; L12: W[1,2] = A; L12: W[1,3] = A; L12: W[1,4] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: W[2,1] = A; L22: W[2,2] = A; L22: W[2,3] = A; L22: W[2,4] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: W[3,1] = A; L32: W[3,2] = A; L32: W[3,3] = A; L32: W[3,4] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: W[4,1] = A; L42: W[4,2] = A; L42: W[4,3] = A; L42: W[4,4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: W[5,1] = A; L52: W[5,2] = A; L52: W[5,3] = A; L52: W[5,4] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: W[6,1] = A; L62: W[6,2] = A; L62: W[6,3] = A; L62: W[6,4] = A; etc.
WW event (two write operations occurred out of order):
W[i,j] >= W[i+,j] and W[i,j] = W[i+,j] (modulo 4)
where i+ is greater than i.
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
W[-,i] > W[-,j] > ... > W[-,i]
where each element of {1,2,3,4} occurs at most once
as one of the subscripts i, j, ....
Start generating data for Test 8 at: 14:35:53.488 960126
End generating data for Test 8 at: 14:35:53.498 960126
Every 1th entry of the arrays, from 0 to 60:
i w[i][0] w[i][1] w[i][2] w[i][3]
0 2 3 2 3
1 23 11 40 21
2 20 23 22 22
3 40 40 32 33
4 32 42 42 60
5 52 51 60 53
6 53 83 62 82
7 82 61 53 73
8 61 91 82 92
9 90 130 93 91
10 100 162 110 100
11 110 111 112 113
12 132 162 120 120
13 101 183 132 133
14 121 141 101 132
15 172 151 162 162
16 183 203 150 150
17 223 192 183 131
18 212 233 203 183
19 190 212 181 161
20 211 201 212 203
21 283 293 212 213
22 220 313 201 181
23 252 240 210 212
24 323 280 303 243
25 343 292 252 211
26 241 261 323 263
27 292 280 272 263
28 312 290 280 220
29 332 342 292 242
30 301 301 280 221
31 310 340 290 240
32 320 390 301 272
33 373 331 332 280
34 362 341 320 280
35 383 392 373 332
36 393 420 403 310
37 413 430 341 362
38 372 381 372 321
39 390 391 392 393
40 423 401 402 403
41 410 432 433 341
42 361 421 411 410
43 430 452 432 450
44 433 473 441 381
45 381 451 451 450
46 463 490 490 441
47 441 472 503 473
48 473 481 511 483
49 472 503 520 493
50 523 511 593 503
51 511 482 512 523
52 520 521 522 523
53 551 502 570 533
54 573 541 542 520
55 550 550 562 541
56 522 560 590 551
57 570 590 572 573
58 562 581 582 583
59 590 591 592 593
Start analysis of Test 8 at: 14:35:53.508 960126
Event 8.0. w[ 10][1] = 162 >= w[ 12][1]= 162. d = -1
Event 8.0. w[ 24][1] = 280 >= w[ 27][1]= 280. d = -1
Event 8.0. w[ 20][2] = 212 >= w[ 21][2]= 212. d = -1
Event 8.0. w[ 28][2] = 280 >= w[ 30][2]= 280. d = -1
Event 8.0. w[ 26][3] = 263 >= w[ 27][3]= 263. d = -1
Event 8.0. w[ 33][3] = 280 >= w[ 34][3]= 280. d = -1
Event 8.0. w[ 43][3] = 450 >= w[ 45][3]= 450. d = -1
Event 8.0. w[ 51][3] = 523 >= w[ 52][3]= 523. d = -1
Portions of the arrays containing errors:
i w[][0] w[][1] w[][2] w[][3]
7 82 61 53 73
8 61 91 82 92
9 90 130 93 91
10 100 162 110 100
11 110 111 112 113
12 132 162 120 120
13 101 183 132 133
14 121 141 101 132
15 172 151 162 162
16 183 203 150 150
17 223 192 183 131
18 212 233 203 183
19 190 212 181 161
20 211 201 212 203
21 283 293 212 213
22 220 313 201 181
23 252 240 210 212
24 323 280 303 243
25 343 292 252 211
26 241 261 323 263
27 292 280 272 263
28 312 290 280 220
29 332 342 292 242
30 301 301 280 221
31 310 340 290 240
32 320 390 301 272
33 373 331 332 280
34 362 341 320 280
35 383 392 373 332
36 393 420 403 310
37 413 430 341 362
38 372 381 372 321
39 390 391 392 393
40 423 401 402 403
41 410 432 433 341
42 361 421 411 410
43 430 452 432 450
44 433 473 441 381
45 381 451 451 450
46 463 490 490 441
47 441 472 503 473
48 473 481 511 483
49 472 503 520 493
50 523 511 593 503
51 511 482 512 523
52 520 521 522 523
53 551 502 570 533
54 573 541 542 520
55 550 550 562 541
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 0 0 1 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 1 7 0 27
0 -72 0 -52 0 -32 0 -12 0 8 0 28
0 -71 0 -51 0 -31 0 -11 38 9 39 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 1 36
0 -63 0 -43 0 -23 0 -3 2 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 8 -1 45 19 28 39
------ Relaxed ------ | ------ Strong ------
57 | |
54 | |
51 | |
48 | |
45 | |
42 | | o
39 | | o
36 | | o o o
33 | | o o o
30 | | o o o
27 | | o o o o
24 | | o o o o
21 | | o o o o
18 | | o o o o
15 | | o o o o
12 | | o o o o
9 | | o o o o
6 | o| o o o o
3 | o| o o o o
0 |_________._________.________o.______o_o.______oooo________o._____oooo
-30 -20 -10 0 10 20 30 40
Test = 800. Total = 232. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 8.
Behav = Relaxed. Maximum = 169. 0 thru 39 = 158.
histend K = 60. 40 thru Max = 66.
d = 3.
Event 8.1. w[ 25][0] = 34.3 > 33.3.
w[ 33][3] = 28.0 > 25.0.
d = 2.
Event 8.1. w[ 32][2] = 30.1 > 29.1.
w[ 29][1] = 34.2 > 32.2.
d = 1.
Event 8.1. w[ 3][0] = 4.0 > 3.0.
Event 8.2. w[ 7][1] = 6.1 < 7.1.
Event 8.1. w[ 8][1] = 9.1 > 8.1.
Event 8.1. w[ 15][2] = 16.2 > 15.2.
Event 8.1. w[ 20][2] = 21.2 > 20.2.
Event 8.1. w[ 27][0] = 29.2 > 28.2.
w[ 28][2] = 28.0 > 27.0.
Event 8.2. w[ 27][3] = 26.3 < 27.3.
Event 8.1. w[ 28][2] = 28.0 > 27.0.
w[ 27][0] = 29.2 > 28.2.
Event 8.1. w[ 29][1] = 34.2 > 33.2.
w[ 33][2] = 33.2 > 32.2.
w[ 32][2] = 30.1 > 29.1.
Event 8.2. w[ 38][2] = 37.2 < 38.2.
Event 8.1. w[ 43][1] = 45.2 > 44.2.
w[ 44][2] = 44.1 > 43.1.
Event 8.1. w[ 44][2] = 44.1 > 43.1.
w[ 43][1] = 45.2 > 44.2.
Event 8.1. w[ 55][2] = 56.2 > 55.2.
End analysis of Test 8 at: 14:35:53.649 960126
Portions of the arrays containing errors:
i w[][0] w[][1] w[][2] w[][3]
0 2 3 2 3
1 23 11 40 21
2 20 23 22 22
3 40 40 32 33
4 32 42 42 60
5 52 51 60 53
6 53 83 62 82
7 82 61 53 73
8 61 91 82 92
9 90 130 93 91
10 100 162 110 100
11 110 111 112 113
12 132 162 120 120
13 101 183 132 133
14 121 141 101 132
15 172 151 162 162
16 183 203 150 150
17 223 192 183 131
18 212 233 203 183
19 190 212 181 161
20 211 201 212 203
21 283 293 212 213
22 220 313 201 181
23 252 240 210 212
24 323 280 303 243
25 343 292 252 211
26 241 261 323 263
27 292 280 272 263
28 312 290 280 220
29 332 342 292 242
30 301 301 280 221
31 310 340 290 240
32 320 390 301 272
33 373 331 332 280
34 362 341 320 280
35 383 392 373 332
36 393 420 403 310
37 413 430 341 362
38 372 381 372 321
39 390 391 392 393
40 423 401 402 403
41 410 432 433 341
42 361 421 411 410
43 430 452 432 450
44 433 473 441 381
45 381 451 451 450
46 463 490 490 441
47 441 472 503 473
52 520 521 522 523
53 551 502 570 533
54 573 541 542 520
55 550 550 562 541
56 522 560 590 551
57 570 590 572 573
58 562 581 582 583
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 185 0 0 20
0 -79 0 -59 0 -39 0 -19 43 1 0 21
0 -78 0 -58 0 -38 0 -18 31 2 0 22
0 -77 0 -57 0 -37 0 -17 33 3 0 23
0 -76 0 -56 0 -36 0 -16 19 4 0 24
0 -75 0 -55 0 -35 0 -15 8 5 0 25
0 -74 0 -54 0 -34 0 -14 9 6 0 26
0 -73 0 -53 0 -33 0 -13 5 7 0 27
0 -72 0 -52 0 -32 0 -12 2 8 0 28
0 -71 0 -51 0 -31 0 -11 3 9 0 29
0 -70 0 -50 0 -30 0 -10 1 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 0 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 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 1 -3 0 17 0 37
0 -62 0 -42 0 -22 1 -2 0 18 0 38
0 -61 0 -41 0 -21 15 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
190 | |
180 | o
170 | o
160 | o
150 | o
140 | o
130 | o
120 | o
110 | o
100 | o
90 | o
80 | o
70 | o
60 | o
50 | o
40 | oo
30 | oooo
20 | oooo
10 | oooooo
0 |_________._________.______ooo.oooooooooo_________._________._________
-30 -20 -10 0 10 20 30 40
Test = 800. Total = 356. Min thru -81 = 0.
Type = CON. Minimum = -3. -80 thru -1 = 17.
Behav = Relaxed. Maximum = 10. 0 thru 39 = 339.
histend K = 60. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 6 3
1 24 2
2 31 3
3 67 4
4 79 3
A convoy of length 3 starts at line 6:
6 40 40 40 0
7 0 0 22 22
8 32 0 32 0
A convoy of length 2 starts at line 24:
24 100 0 0 100
25 110 0 110 0
A convoy of length 3 starts at line 31:
31 132 0 132 132
32 101 0 101 0
33 0 162 162 162
A convoy of length 4 starts at line 67:
67 0 240 0 240
68 323 0 323 0
69 0 0 272 272
70 0 280 280 280
A convoy of length 3 starts at line 79:
79 332 0 0 332
80 301 301 301 0
81 310 0 0 310
Output to SIMIN:
2 3 2 3
23 11 40 21
20 23 22 22
40 40 32 33
32 42 42 60
52 51 60 53
53 83 62 82
82 61 53 73
61 91 82 92
90 130 93 91
100 162 110 100
110 111 112 113
132 162 120 120
101 183 132 133
121 141 101 132
172 151 162 162
183 203 150 150
223 192 183 131
212 233 203 183
190 212 181 161
211 201 212 203
283 293 212 213
220 313 201 181
252 240 210 212
323 280 303 243
343 292 252 211
241 261 323 263
292 280 272 263
312 290 280 220
332 342 292 242
301 301 280 221
310 340 290 240
320 390 301 272
373 331 332 280
362 341 320 280
383 392 373 332
393 420 403 310
413 430 341 362
372 381 372 321
390 391 392 393
423 401 402 403
410 432 433 341
361 421 411 410
430 452 432 450
433 473 441 381
381 451 451 450
463 490 490 441
441 472 503 473
473 481 511 483
472 503 520 493
523 511 593 503
511 482 512 523
520 521 522 523
551 502 570 533
573 541 542 520
550 550 562 541
522 560 590 551
570 590 572 573
562 581 582 583
590 591 592 593
================================================================================
Test T900. Seek a violation of A(CMP,RR,WW,CON).
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.
Start generating data for Test 9 at: 14:35:53.869 960126
End generating data for Test 9 at: 14:35:53.879 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 0 0 1
1 0 0 0 3
2 0 0 0 7
3 0 0 1 8
4 3 8 3 13
5 3 12 3 20
6 3 16 5 29
7 5 11 23 31
8 12 25 25 34
9 16 23 30 34
10 20 27 32 37
11 23 27 34 39
12 25 30 33 39
13 34 32 39 39
14 34 39 35 39
15 34 35 39 39
16 41 39 39 36
17 39 36 44 44
18 38 44 44 44
19 44 44 50 44
20 44 44 50 47
21 47 49 49 49
22 50 49 47 57
23 50 51 57 52
24 51 57 58 54
25 57 56 60 57
26 61 61 56 66
27 71 61 63 66
28 77 63 66 63
29 75 62 66 72
30 75 66 65 72
31 77 67 68 76
32 79 72 68 85
33 81 72 68 85
34 85 69 72 87
35 78 73 72 95
36 78 73 69 95
37 87 73 77 101
38 93 75 75 101
39 93 75 79 105
40 95 77 79 98
41 84 79 85 100
42 86 83 78 108
43 90 87 87 108
44 94 87 82 119
45 103 91 84 119
46 107 93 86 121
47 98 90 101 112
48 98 98 97 112
49 119 98 97 123
50 121 117 109 123
51 112 108 100 125
52 123 108 108 125
53 125 121 108 116
54 129 121 112 129
55 116 112 112 128
56 137 116 123 128
57 124 129 116 132
58 126 133 130 134
59 128 137 130 142
Start analysis of Test 9 at: 14:35:53.889 960126
Event 900.0: u[ 16] = 41 > u[ 17] = 39. d = -2.
Event 900.0: u[ 28] = 77 > u[ 29] = 75. d = -2.
Event 900.0: v[ 8] = 25 > v[ 9] = 23. d = -2.
Event 900.0: v[ 14] = 39 > v[ 15] = 35. d = -4.
Portions of the arrays containing relaxed events:
i U V X Y
5 3 12 3 20
6 3 16 5 29
7 5 11 23 31
8 12 25 25 34
9 16 23 30 34
10 20 27 32 37
11 23 27 34 39
12 25 30 33 39
13 34 32 39 39
14 34 39 35 39
15 34 35 39 39
16 41 39 39 36
17 39 36 44 44
18 38 44 44 44
19 44 44 50 44
20 44 44 50 47
25 57 56 60 57
26 61 61 56 66
27 71 61 63 66
28 77 63 66 63
29 75 62 66 72
30 75 66 65 72
31 77 67 68 76
32 79 72 68 85
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 29 0 0 20
0 -79 0 -59 0 -39 0 -19 0 1 0 21
0 -78 0 -58 0 -38 0 -18 21 2 0 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 29 4 1 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 9 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 8 8 1 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 3 10 0 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 4 12 0 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 4 14 0 34
0 -65 0 -45 0 -25 0 -5 0 15 0 35
0 -64 0 -44 0 -24 1 -4 1 16 0 36
0 -63 0 -43 0 -23 0 -3 0 17 0 37
0 -62 0 -42 0 -22 3 -2 2 18 0 38
0 -61 0 -41 0 -21 0 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
38 | |
36 | |
34 | |
32 | |
30 | |
28 | o o
26 | o o
24 | o o
22 | o o
20 | o o o
18 | o o o
16 | o o o
14 | o o o
12 | o o o
10 | o o o
8 | o o o o
6 | o o o o o
4 | o o o o o
2 | o o o o o o o o o
0 |_________._________._____o_o_._o_o_o_o_._o_o_o_o_.___o___o_._________
-30 -20 -10 0 10 20 30 40
Test = 900. Total = 116. Min thru -81 = 0.
Type = RR/WW. Minimum = -4. -80 thru -1 = 4.
Behav = Relaxed. Maximum = 28. 0 thru 39 = 112.
histend K = 60. 40 thru Max = 0.
End analysis of Test 9 at: 14:35:54.009 960126
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 2 22
0 -77 0 -57 0 -37 0 -17 0 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 1 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 2 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 1 8 0 28
0 -71 0 -51 0 -31 0 -11 0 9 0 29
0 -70 0 -50 0 -30 0 -10 2 10 1 30
0 -69 0 -49 0 -29 0 -9 0 11 0 31
0 -68 0 -48 0 -28 0 -8 2 12 1 32
0 -67 0 -47 0 -27 0 -7 0 13 0 33
0 -66 0 -46 0 -26 0 -6 4 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 | | o
2 | | o
1 | | o o o o o
0 |_________._________._________._____o_o_._o_o_____._o_o_____o_o_______
-30 -20 -10 0 10 20 30 40
Test = 900. Total = 16. Min thru -81 = 0.
Type = CON. Minimum = 6. -80 thru -1 = 0.
Behav = Strong. Maximum = 32. 0 thru 39 = 16.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
0 0 0 1
0 0 0 3
0 0 0 7
0 0 1 8
3 8 3 13
3 12 3 20
3 16 5 29
5 11 23 31
12 25 25 34
16 23 30 34
20 27 32 37
23 27 34 39
25 30 33 39
34 32 39 39
34 39 35 39
34 35 39 39
41 39 39 36
39 36 44 44
38 44 44 44
44 44 50 44
44 44 50 47
47 49 49 49
50 49 47 57
50 51 57 52
51 57 58 54
57 56 60 57
61 61 56 66
71 61 63 66
77 63 66 63
75 62 66 72
75 66 65 72
77 67 68 76
79 72 68 85
81 72 68 85
85 69 72 87
78 73 72 95
78 73 69 95
87 73 77 101
93 75 75 101
93 75 79 105
95 77 79 98
84 79 85 100
86 83 78 108
90 87 87 108
94 87 82 119
103 91 84 119
107 93 86 121
98 90 101 112
98 98 97 112
119 98 97 123
121 117 109 123
112 108 100 125
123 108 108 125
125 121 108 116
129 121 112 129
116 112 112 128
137 116 123 128
124 129 116 132
126 133 130 134
128 137 130 142
================================================================================
Test T1000. t1: inv -> excl, and T2: inv -> excl.
T0 T1 T2
A = 0; U[0] = A; B = 1;
A = 1; B = 1; nop; -\
A = 2; U[1] = A; ... NOPCNT times.
A = 3; B = 2; nop; -/
A = 4; U[2] = A; B = 2;
A = 5; B = 3; nop; -\
A = 6; U[3] = A; ... NOPCNT times.
A = 7; B = 4; nop; -/
A = 8; U[4] = A; B = 3; etc.
================================================================================
Test T1000. t1: inv -> excl, and T2: inv -> excl.
T0 T1 T2
A = 0; U[0] = A; B = 1;
A = 1; B = 1; nop; -\
A = 2; U[1] = A; ... NOPCNT times.
A = 3; B = 2; nop; -/
A = 4; U[2] = A; B = 2;
A = 5; B = 3; nop; -\
A = 6; U[3] = A; ... NOPCNT times.
A = 7; B = 4; nop; -/
A = 8; U[4] = A; B = 3; etc.
Test T10. Collect performance data on cache hits.
Start generating data for Test 10 at: 14:35:54.159 960126
End generating data for Test 10 at: 14:35:55.601 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 5 0 0 0
1 10 0 0 0
2 11 0 0 0
3 11 0 0 0
4 13 0 0 0
5 14 0 0 0
6 20 0 0 0
7 20 0 0 0
8 22 0 0 0
9 22 0 0 0
10 23 0 0 0
11 23 0 0 0
12 23 0 0 0
13 26 0 0 0
14 26 0 0 0
15 27 0 0 0
16 27 0 0 0
17 28 0 0 0
18 28 0 0 0
19 30 0 0 0
20 31 0 0 0
21 33 0 0 0
22 37 0 0 0
23 37 0 0 0
24 39 0 0 0
25 40 0 0 0
26 44 0 0 0
27 47 0 0 0
28 49 0 0 0
29 50 0 0 0
30 50 0 0 0
31 52 0 0 0
32 52 0 0 0
33 54 0 0 0
34 58 0 0 0
35 59 0 0 0
36 59 0 0 0
37 64 0 0 0
38 65 0 0 0
39 65 0 0 0
40 66 0 0 0
41 67 0 0 0
42 68 0 0 0
43 69 0 0 0
44 69 0 0 0
45 72 0 0 0
46 74 0 0 0
47 74 0 0 0
48 74 0 0 0
49 74 0 0 0
50 74 0 0 0
51 74 0 0 0
52 75 0 0 0
53 77 0 0 0
54 80 0 0 0
55 84 0 0 0
56 84 0 0 0
57 84 0 0 0
58 88 0 0 0
59 91 0 0 0
Start analysis of Test 10 at: 14:35:55.611 960126
End analysis of Test 10 at: 14:35:55.862 960126
Show histogram of d values, d = u[i+1]-u[i] for 0<=i<=t10K-2.
There should be a large, early peek representing intervals when
t1 was not interrupted, and a smaller, later peak for when it was.
211679 0 0 25 0 50 0 75
105927 1 0 26 0 51 0 76
52779 2 0 27 0 52 0 77
64683 3 0 28 0 53 0 78
32018 4 0 29 0 54 0 79
16518 5 0 30 0 55 0 80
8203 6 0 31 0 56 0 81
4150 7 0 32 0 57 0 82
2039 8 0 33 0 58 0 83
1078 9 0 34 0 59 0 84
462 10 0 35 0 60 0 85
256 11 0 36 0 61 0 86
86 12 0 37 0 62 0 87
69 13 0 38 0 63 0 88
17 14 0 39 0 64 0 89
31 15 0 40 0 65 0 90
0 16 0 41 0 66 0 91
2 17 0 42 0 67 0 92
1 18 0 43 0 68 0 93
0 19 0 44 0 69 0 94
0 20 0 45 0 70 0 95
0 21 0 46 0 71 0 96
0 22 0 47 0 72 0 97
0 23 0 48 0 73 0 98
0 24 0 49 0 74 0 99
Total = 499998, min = 0, max = 18, under0 = 0, over99 = 0, overK = 0.
Output to SIMIN:
5
10
11
11
13
14
20
20
22
22
23
23
23
26
26
27
27
28
28
30
31
33
37
37
39
40
44
47
49
50
50
52
52
54
58
59
59
64
65
65
66
67
68
69
69
72
74
74
74
74
74
74
75
77
80
84
84
84
88
91
You have chosen to run one or more of tests T1000,
T1010, T1020, and T1030 under RUN_MODE 3 where data is
manufactured by ARCHTEST, rather than being developed
through multiprocessor interactions on shared data.
Since there is no essential difference in the manufactured
data for the several tests, only one of the tests is being run.
================================================================================
Test T1100. Seek a violation of A(CMP,PO).
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.
Start generating data for Test 1100/1200 at: 14:35:55.982 960126
End generating data for Test 1100/1200 at: 14:35:55.982 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 0 0 0
1 0 0 2 0
2 0 1 1 0
3 2 1 1 0
4 0 0 0 0
5 2 1 4 0
6 2 3 1 0
7 4 1 2 0
8 0 0 0 0
9 4 1 4 1
10 3 4 2 1
11 4 2 3 1
12 0 0 0 0
13 5 1 4 1
14 3 4 3 2
15 5 2 3 1
16 0 0 0 0
17 7 2 5 2
18 6 5 3 3
19 6 3 6 1
20 0 0 0 0
21 8 3 5 5
22 7 5 2 6
23 6 4 6 4
24 0 0 0 0
25 8 3 7 6
26 7 5 5 8
27 6 5 8 4
28 0 0 0 0
29 9 4 6 7
30 7 5 5 9
31 7 6 7 6
32 0 0 0 0
33 11 5 7 8
34 8 7 7 11
35 8 8 11 8
36 0 0 0 0
37 12 6 8 9
38 8 6 8 11
39 10 8 12 9
40 0 0 0 0
41 12 7 9 10
42 10 7 10 12
43 10 7 13 10
44 0 0 0 0
45 14 7 11 10
46 11 8 12 14
47 11 8 17 11
48 0 0 0 0
49 16 9 15 11
50 11 10 13 15
51 12 11 18 12
52 0 0 0 0
53 17 10 15 11
54 11 10 14 17
55 13 10 19 13
56 0 0 0 0
57 18 10 15 11
58 13 12 15 18
59 15 11 19 15
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 102 0
1 72 51
2 30 26
3 7 12
4 3 19
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
over 0 0
Start analysis of Test 1100 at: 14:35:55.992 960126
Event 1100.0: v[ 34] = 7 > v[ 38] = 6. d = -1.
Event 1100.0: v[ 39] = 8 > v[ 43] = 7. d = -1.
Event 1100.0: x[ 18] = 3 > x[ 22] = 2. d = -1.
Event 1100.0: x[ 25] = 7 > x[ 29] = 6. d = -1.
Event 1100.0: x[ 27] = 8 > x[ 31] = 7. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
15 5 2 3 1
16 0 0 0 0
17 7 2 5 2
18 6 5 3 3
19 6 3 6 1
20 0 0 0 0
21 8 3 5 5
22 7 5 2 6
23 6 4 6 4
24 0 0 0 0
25 8 3 7 6
26 7 5 5 8
27 6 5 8 4
28 0 0 0 0
29 9 4 6 7
30 7 5 5 9
31 7 6 7 6
32 0 0 0 0
33 11 5 7 8
34 8 7 7 11
35 8 8 11 8
36 0 0 0 0
37 12 6 8 9
38 8 6 8 11
39 10 8 12 9
40 0 0 0 0
41 12 7 9 10
42 10 7 10 12
43 10 7 13 10
44 0 0 0 0
45 14 7 11 10
46 11 8 12 14
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 95 0 0 20
0 -79 0 -59 0 -39 0 -19 66 1 0 21
0 -78 0 -58 0 -38 0 -18 28 2 0 22
0 -77 0 -57 0 -37 0 -17 7 3 0 23
0 -76 0 -56 0 -36 0 -16 3 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 5 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
95 | |
90 | o
85 | o
80 | o
75 | o
70 | o
65 | oo
60 | oo
55 | oo
50 | oo
45 | oo
40 | oo
35 | oo
30 | oo
25 | ooo
20 | ooo
15 | ooo
10 | ooo
5 | oooo
0 |_________._________.________o.oooo_____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1100. Total = 204. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 5.
Behav = Relaxed. Maximum = 4. 0 thru 39 = 199.
histend K = 60. 40 thru Max = 0.
d = 1.
Event 11.1. u[4* 9+2] = u[ 38] = 8 < 9
and x[4* 9+2] = x[ 38] = 8 < 9.
Event 11.2. v[4* 0+3] = v[ 3] = 1 > 0
and x[4* 0+3] = x[ 3] = 1 > 0.
Event 11.2. v[4* 12+3] = v[ 51] = 11 > 10
and x[4* 10+3] = x[ 43] = 13 > 12.
Total number of 1100.1 errors: 1.
Total number of 1100.2 errors: 2.
End analysis of Test 1100 at: 14:35:56.122 960126
Portions of the arrays containing relaxed events:
i U V X Y
0 0 0 0 0
1 0 0 2 0
2 0 1 1 0
3 2 1 1 0
4 0 0 0 0
5 2 1 4 0
6 2 3 1 0
7 4 1 2 0
8 0 0 0 0
9 4 1 4 1
32 0 0 0 0
33 11 5 7 8
34 8 7 7 11
35 8 8 11 8
36 0 0 0 0
37 12 6 8 9
38 8 6 8 11
39 10 8 12 9
40 0 0 0 0
41 12 7 9 10
42 10 7 10 12
43 10 7 13 10
44 0 0 0 0
45 14 7 11 10
46 11 8 12 14
47 11 8 17 11
48 0 0 0 0
49 16 9 15 11
50 11 10 13 15
51 12 11 18 12
52 0 0 0 0
53 17 10 15 11
54 11 10 14 17
55 13 10 19 13
56 0 0 0 0
57 18 10 15 11
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 37 0 0 20
0 -79 0 -59 0 -39 0 -19 54 1 0 21
0 -78 0 -58 0 -38 0 -18 39 2 0 22
0 -77 0 -57 0 -37 0 -17 14 3 0 23
0 -76 0 -56 0 -36 0 -16 8 4 0 24
0 -75 0 -55 0 -35 0 -15 0 5 0 25
0 -74 0 -54 0 -34 0 -14 1 6 0 26
0 -73 0 -53 0 -33 0 -13 0 7 0 27
0 -72 0 -52 0 -32 0 -12 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 3 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
57 | |
54 | |
51 | |o
48 | |o
45 | |o
42 | |o
39 | |o
36 | ooo
33 | ooo
30 | ooo
27 | ooo
24 | ooo
21 | ooo
18 | ooo
15 | ooo
12 | oooo
9 | oooo
6 | ooooo
3 | ooooo
0 |_________._________.________o.oooo_o___._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1100. Total = 156. Min thru -81 = 0.
Type = Order. Minimum = -1. -80 thru -1 = 3.
Behav = Relaxed. Maximum = 6. 0 thru 39 = 153.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
0 0 2 0
0 1 1 0
2 1 1 0
2 1 4 0
2 3 1 0
4 1 2 0
4 1 4 1
3 4 2 1
4 2 3 1
5 1 4 1
3 4 3 2
5 2 3 1
7 2 5 2
6 5 3 3
6 3 6 1
8 3 5 5
7 5 2 6
6 4 6 4
8 3 7 6
7 5 5 8
6 5 8 4
9 4 6 7
7 5 5 9
7 6 7 6
11 5 7 8
8 7 7 11
8 8 11 8
12 6 8 9
8 6 8 11
10 8 12 9
12 7 9 10
10 7 10 12
10 7 13 10
14 7 11 10
11 8 12 14
11 8 17 11
16 9 15 11
11 10 13 15
12 11 18 12
17 10 15 11
11 10 14 17
13 10 19 13
18 10 15 11
13 12 15 18
15 11 19 15
================================================================================
Test T1200. Seek a violation of A(CMP,UPO,RR,WW,WA).
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].
Start generating data for Test 1100/1200 at: 14:35:56.262 960126
End generating data for Test 1100/1200 at: 14:35:56.262 960126
Every 1th entry of the arrays, from 0 thru 59.
i U V X Y
0 0 0 0 0
1 0 0 0 1
2 1 0 0 0
3 0 1 0 0
4 1 1 1 1
5 2 0 0 2
6 2 0 0 3
7 1 2 0 3
8 2 2 1 2
9 3 1 1 5
10 5 1 0 2
11 2 2 1 4
12 3 3 4 4
13 3 2 1 6
14 5 2 1 4
15 2 5 3 4
16 4 4 4 4
17 4 4 1 7
18 7 3 1 5
19 4 6 3 5
20 5 5 5 5
21 5 5 2 9
22 9 4 3 6
23 5 7 3 6
24 6 6 6 6
25 7 5 3 9
26 10 5 4 7
27 6 9 4 6
28 7 7 7 7
29 8 6 4 10
30 10 5 5 9
31 7 9 5 8
32 8 8 9 8
33 10 6 4 11
34 11 6 5 10
35 7 10 6 9
36 10 9 9 9
37 10 7 6 12
38 11 7 6 12
39 8 10 8 11
40 10 10 10 10
41 10 7 6 13
42 11 8 7 12
43 9 11 9 13
44 11 10 11 11
45 11 12 9 13
46 12 9 10 13
47 9 13 10 14
48 12 12 12 12
49 11 13 9 15
50 13 9 11 15
51 10 13 11 16
52 13 13 13 13
53 14 13 10 15
54 14 11 13 15
55 10 13 13 18
56 14 14 14 14
57 13 14 11 17
58 12 12 14 16
59 11 16 14 18
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 51 0
1 124 18
2 32 13
3 9 4
4 0 1
5 1 6
6 0 3
7 0 1
8 0 2
9 0 1
10 0 2
11 0 0
12 0 0
13 0 0
14 0 1
15 0 2
16 0 0
17 0 0
18 0 0
19 0 0
over 0 0
Start analysis of Test 1200 at: 14:35:56.272 960126
Event 1200.0: y[ 6] = 3 > y[ 10] = 2. d = -1.
Portions of the arrays containing relaxed events:
i U V X Y
3 0 1 0 0
4 1 1 1 1
5 2 0 0 2
6 2 0 0 3
7 1 2 0 3
8 2 2 1 2
9 3 1 1 5
10 5 1 0 2
11 2 2 1 4
12 3 3 4 4
13 3 2 1 6
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 49 0 0 20
0 -79 0 -59 0 -39 0 -19 115 1 0 21
0 -78 0 -58 0 -38 0 -18 29 2 0 22
0 -77 0 -57 0 -37 0 -17 9 3 0 23
0 -76 0 -56 0 -36 0 -16 0 4 0 24
0 -75 0 -55 0 -35 0 -15 1 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 1 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
190 | |
180 | |
170 | |
160 | |
150 | |
140 | |
130 | |
120 | |
110 | |o
100 | |o
90 | |o
80 | |o
70 | |o
60 | |o
50 | |o
40 | oo
30 | oo
20 | ooo
10 | ooo
0 |_________._________.________o.ooo_o____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1200. Total = 204. Min thru -81 = 0.
Type = RR/WW. Minimum = -1. -80 thru -1 = 1.
Behav = Relaxed. Maximum = 5. 0 thru 39 = 203.
histend K = 60. 40 thru Max = 0.
d = 1.
Event 12.2. u[4* 2+3] = u[ 11] = 2 > 1
and y[4* 1+3] = y[ 7] = 3 > 2.
Total number of 1200.1 errors: 0.
Total number of 1200.2 errors: 1.
End analysis of Test 1200 at: 14:35:56.403 960126
Portions of the arrays containing relaxed events:
i U V X Y
1 0 0 0 1
2 1 0 0 0
3 0 1 0 0
4 1 1 1 1
5 2 0 0 2
6 2 0 0 3
7 1 2 0 3
8 2 2 1 2
9 3 1 1 5
10 5 1 0 2
11 2 2 1 4
12 3 3 4 4
13 3 2 1 6
14 5 2 1 4
15 2 5 3 4
16 4 4 4 4
17 4 4 1 7
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 29 0 0 20
0 -79 0 -59 0 -39 0 -19 67 1 0 21
0 -78 0 -58 0 -38 0 -18 42 2 0 22
0 -77 0 -57 0 -37 0 -17 13 3 0 23
0 -76 0 -56 0 -36 0 -16 3 4 0 24
0 -75 0 -55 0 -35 0 -15 1 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 1 -1 0 19 0 39
------ Relaxed ------ | ------ Strong ------
76 | |
72 | |
68 | |
64 | |o
60 | |o
56 | |o
52 | |o
48 | |o
44 | |o
40 | |oo
36 | |oo
32 | |oo
28 | ooo
24 | ooo
20 | ooo
16 | ooo
12 | oooo
8 | oooo
4 | oooo
0 |_________._________.________o.ooooo____._________._________._________
-30 -20 -10 0 10 20 30 40
Test = 1200. Total = 156. Min thru -81 = 0.
Type = Atom. Minimum = -1. -80 thru -1 = 1.
Behav = Relaxed. Maximum = 5. 0 thru 39 = 155.
histend K = 60. 40 thru Max = 0.
Output to SIMIN:
0 0 0 0
0 0 0 1
1 0 0 0
0 1 0 0
1 1 1 1
2 0 0 2
2 0 0 3
1 2 0 3
2 2 1 2
3 1 1 5
5 1 0 2
2 2 1 4
3 3 4 4
3 2 1 6
5 2 1 4
2 5 3 4
4 4 4 4
4 4 1 7
7 3 1 5
4 6 3 5
5 5 5 5
5 5 2 9
9 4 3 6
5 7 3 6
6 6 6 6
7 5 3 9
10 5 4 7
6 9 4 6
7 7 7 7
8 6 4 10
10 5 5 9
7 9 5 8
8 8 9 8
10 6 4 11
11 6 5 10
7 10 6 9
10 9 9 9
10 7 6 12
11 7 6 12
8 10 8 11
10 10 10 10
10 7 6 13
11 8 7 12
9 11 9 13
11 10 11 11
11 12 9 13
12 9 10 13
9 13 10 14
12 12 12 12
11 13 9 15
13 9 11 15
10 13 11 16
13 13 13 13
14 13 10 15
14 11 13 15
10 13 13 18
14 14 14 14
13 14 11 17
12 12 14 16
11 16 14 18
Relaxed RR/WW behavior: 200 300 400 500 600 700 800 900 1100 1200.
Other relaxed behavior: 200 400 700 800 1100 1200.
================================================================================
Run this job another time? [y]
Last updated April 20, 2000.