ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
05:41:37.281 970609
Dual pentium II 400 MHz w/ Intel 440 BX AGPset
Thanks to Dave Magram at PC Expo on June 18, 1998.
Default answers to the following questions are shown in brackets.
Specify how to generate the data to be analyzed.
1. Perform a real multiprocessor test.
2. Execute the mp test code serially and with only one thread.
3. Generate test data with relaxed events.
4. Generate test data without relaxed events.
5. Process output from simulation. Choice [1]: 1
Enter the number of threads (from 2 to 8) [2]: 2
Define logical length of arrays (max=500000) [200000]: 500000
The following tests can be run:
100 200 300 400 500 600 700 800 900 1000 1100 1200
210 310 410 510 610 710 1010 1110 1210
120 220 320 420 520 620 720 820 920 1020 1120 1220
1030
Specify which tests to run [all]:
Parameters for this run:
Type of run: 1. Perform a real multiprocessor test.
Output file name: a_____01.out.
Number of threads: 2.
Length of the arrays: 500000.
Test(s) to run: all.
Select other options? (y,n,?)[n]
==sss========================================================================
Test T100. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T100 at 05:41:52.796 970609
End execution of Test T100 at 05:41:53.296 970609
Duration 0.500
Start analysis of Test T100 at 05:41:53.296 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.204 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.000 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 0 0 0 0
49998 0 0 0 0
74997 0 0 0 0
99996 0 0 0 0
124995 0 0 0 0
149994 0 0 0 0
174993 0 0 0 0
199992 0 0 0 0
224991 0 0 0 0
249990 0 0 0 0
274989 0 0 0 0
299988 0 0 0 0
324987 0 0 0 0
349986 0 0 0 0
374985 0 0 0 0
399984 0 0 0 0
424983 0 0 0 0
449982 0 0 0 0
474981 0 0 0 0
499980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 499998 0
1 0 0
2 0 0
3 0 0
4 0 0
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
End analysis of Test T100 at 05:41:53.437 970609
==sss========================================================================
Test T120. Seek a relaxation of A(CMP,UPO,URR,WW)
and of A(CMP,UPO,URR,CC3).
T0 T1
L0: A = 0; L0: U[0] = A;
L1: A = 1; L1: U[1] = A;
L2: A = 2; L2: U[2] = A;
L3: A = 3; L3: U[3] = A;
L4: A = 4; L4: U[4] = A;
L5: A = 5; L5: U[5] = A;
L6: A = 6; L6: U[6] = A;
L7: A = 7; L7: U[7] = A; etc.
Seek 1.0. U[i] > U[i+1]. d = U[i+1] - U[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Suffix for packed simulation output: T1: 0.
Start execution of Test T120 at 05:41:53.546 970609
End execution of Test T120 at 05:41:54.046 970609
Duration 0.500
Start analysis of Test T120 at 05:41:54.265 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.219 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.031 0.000 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 0 0 0 0
49998 0 0 0 0
74997 0 0 0 0
99996 0 0 0 0
124995 0 0 0 0
149994 0 0 0 0
174993 0 0 0 0
199992 0 0 0 0
224991 0 0 0 0
249990 0 0 0 0
274989 0 0 0 0
299988 0 0 0 0
324987 0 0 0 0
349986 0 0 0 0
374985 0 0 0 0
399984 0 0 0 0
424983 0 0 0 0
449982 0 0 0 0
474981 0 0 0 0
499980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 499998 0
1 0 0
2 0 0
3 0 0
4 0 0
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
End analysis of Test T120 at 05:41:54.406 970609
==sss========================================================================
Test T200. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T200 at 05:41:54.531 970609
End execution of Test T200 at 05:41:55.031 970609
Duration 0.500
Start analysis of Test T200 at 05:41:55.031 970609
Thread start, stop, and dur times.
0.187 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.234 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.047 0.015 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 0 0 0 0
49998 0 0 0 0
74997 0 0 0 0
99996 0 0 0 0
124995 0 0 0 0
149994 0 0 0 0
174993 0 0 0 0
199992 0 0 0 0
224991 0 0 0 0
249990 0 0 0 0
274989 0 0 0 0
299988 0 0 0 0
324987 0 0 0 0
349986 0 0 0 0
374985 0 0 0 0
399984 0 0 0 0
424983 0 0 0 0
449982 0 0 0 0
474981 0 0 0 0
499980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1499993 0 0 20
0 -79 0 -59 0 -39 0 -19 499999 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 ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
1500000 | |
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | oo
300000 | oo
200000 | oo
100000 | oo
0 |_________._________._________.o________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 200. Total = 1999992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1. 0 thru 39 = 1999992.
histend K = 500000. 40 thru Max = 0.
End analysis of Test T200 at 05:41:55.437 970609
==sss========================================================================
Test T210. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T210 at 05:41:55.562 970609
End execution of Test T210 at 05:41:56.062 970609
Duration 0.500
Start analysis of Test T210 at 05:41:56.171 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.250 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.062 0.015 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 0 0 0 0
49998 0 0 0 0
74997 0 0 0 0
99996 0 0 0 0
124995 0 0 0 0
149994 0 0 0 0
174993 0 0 0 0
199992 0 0 0 0
224991 0 0 0 0
249990 0 0 0 0
274989 0 0 0 0
299988 0 0 0 0
324987 0 0 0 0
349986 0 0 0 0
374985 0 0 0 0
399984 0 0 0 0
424983 0 0 0 0
449982 0 0 0 0
474981 0 0 0 0
499980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1499993 0 0 20
0 -79 0 -59 0 -39 0 -19 499999 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 ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
1500000 | |
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | oo
300000 | oo
200000 | oo
100000 | oo
0 |_________._________._________.o________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 210. Total = 1999992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1. 0 thru 39 = 1999992.
histend K = 500000. 40 thru Max = 0.
End analysis of Test T210 at 05:41:56.593 970609
==sss========================================================================
Test T220. Seek a relaxation of A(CMP,UPO,RR,WW).
T0 T1
L11: A = 1; L11: U[1] = A;
L12: B = 1; L12: V[1] = B;
L21: A = 2; L21: U[2] = A;
L22: B = 2; L22: V[2] = B;
L31: A = 3; L31: U[3] = A;
L32: B = 3; L32: V[3] = B;
L41: A = 4; L41: U[4] = A;
L42: B = 4; L42: V[4] = B; etc.
Seek 2.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 2.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 2.1. V[i] > U[i+1]. d = U[i+1] - V[i]
Seek 2.2. U[i] > V[i]+1. d = V[i]+1 - U[i]
To show: Not A(CMP,UPO,RR,WW).
Suffix for packed simulation output: T1: 0.
Start execution of Test T220 at 05:41:56.703 970609
End execution of Test T220 at 05:41:57.203 970609
Duration 0.500
Start analysis of Test T220 at 05:41:57.421 970609
Thread start, stop, and dur times.
0.187 0.093 0.000 0.000 0.000 0.000 0.000 0.000
0.250 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.063 0.016 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 0 0 0
24999 0 0 0 0
49998 0 0 0 0
74997 0 0 0 0
99996 0 0 0 0
124995 0 0 0 0
149994 0 0 0 0
174993 0 0 0 0
199992 0 0 0 0
224991 0 0 0 0
249990 0 0 0 0
274989 0 0 0 0
299988 0 0 0 0
324987 0 0 0 0
349986 0 0 0 0
374985 0 0 0 0
399984 0 0 0 0
424983 0 0 0 0
449982 0 0 0 0
474981 0 0 0 0
499980 0 0 0 0
dim = 80, max = 1, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1499993 0 0 20
0 -79 0 -59 0 -39 0 -19 499999 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 ------
1900000 | |
1800000 | |
1700000 | |
1600000 | |
1500000 | |
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | oo
300000 | oo
200000 | oo
100000 | oo
0 |_________._________._________.o________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,URR,WW).
Nmbr = 220. Total = 1999992. Min thru -81 = 0.
Type = WW|RR. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 1. 0 thru 39 = 1999992.
histend K = 500000. 40 thru Max = 0.
End analysis of Test T220 at 05:41:57.843 970609
==sss========================================================================
The maximum number of threads (2) is too few to run Test T300.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T310.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T320.
==sss========================================================================
Test T400. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T400 at 05:41:57.953 970609
End execution of Test T400 at 05:41:58.453 970609
Duration 0.500
Start analysis of Test T400 at 05:41:58.453 970609
Thread start, stop, and dur times.
0.187 0.093 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 499999 0 0 0
24999 499999 0 0 0
49998 499999 0 0 0
74997 499999 0 0 0
99996 499999 0 0 0
124995 499999 0 0 0
149994 499999 0 0 0
174993 499999 0 0 0
199992 499999 0 0 0
224991 499999 0 0 0
249990 499999 0 0 0
274989 499999 0 0 0
299988 499999 0 0 0
324987 499999 0 0 0
349986 499999 0 0 0
374985 499999 0 0 0
399984 499999 0 0 0
424983 499999 0 0 0
449982 499999 0 0 0
474981 499999 0 0 0
499980 499999 0 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111111111111111111111111111111111111111111111111111
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 999995 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | o
50000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 400. Total = 1499994. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 1000034.
histend K = 500000. 40 thru Max = 499960.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 400. Total = 500000. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 40.
histend K = 500000. 40 thru Max = 499960.
End analysis of Test T400 at 05:41:58.921 970609
==sss========================================================================
Test T410. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T410 at 05:41:59.046 970609
End execution of Test T410 at 05:41:59.546 970609
Duration 0.500
Start analysis of Test T410 at 05:41:59.656 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.204 0.110 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 499999 0 0 0
24999 499999 0 0 0
49998 499999 0 0 0
74997 499999 0 0 0
99996 499999 0 0 0
124995 499999 0 0 0
149994 499999 0 0 0
174993 499999 0 0 0
199992 499999 0 0 0
224991 499999 0 0 0
249990 499999 0 0 0
274989 499999 0 0 0
299988 499999 0 0 0
324987 499999 0 0 0
349986 499999 0 0 0
374985 499999 0 0 0
399984 499999 0 0 0
424983 499999 0 0 0
449982 499999 0 0 0
474981 499999 0 0 0
499980 499999 0 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111111111111111111111111111111111111111111111111111
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 999995 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | o
50000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 410. Total = 1499994. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 1000034.
histend K = 500000. 40 thru Max = 499960.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 410. Total = 500000. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 40.
histend K = 500000. 40 thru Max = 499960.
End analysis of Test T410 at 05:42:00.125 970609
==sss========================================================================
Test T420. Seek a relaxation of both A(CMP,UPO,WW,WR)
and A(CMP,UPO,WR,CC3)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: U[0] = B; L01: V[0] = A;
L10: A = 1; L10: B = 1;
L11: U[1] = B; L11: V[1] = A;
L20: A = 2; L20: B = 2;
L21: U[2] = B; L21: V[2] = A;
L30: A = 3; L30: B = 3;
L31: U[3] = B; L31: V[3] = A; etc.
Seek 4.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 4.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 4.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 4.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,WW,WR) and not A(CMP,UPO,WR,CC3).
Seek 4.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 4.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
d1<0, d2<0 => the machine performed a read operation before
a logically preceding write operation.
d3<0, d4<0 => the machine performed a write operation before
a logically preceding read operation.
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T420 at 05:42:00.250 970609
End execution of Test T420 at 05:42:00.750 970609
Duration 0.500
Start analysis of Test T420 at 05:42:00.968 970609
Thread start, stop, and dur times.
0.187 0.093 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 499999 0 0 0
24999 499999 0 0 0
49998 499999 0 0 0
74997 499999 0 0 0
99996 499999 0 0 0
124995 499999 0 0 0
149994 499999 0 0 0
174993 499999 0 0 0
199992 499999 0 0 0
224991 499999 0 0 0
249990 499999 0 0 0
274989 499999 0 0 0
299988 499999 0 0 0
324987 499999 0 0 0
349986 499999 0 0 0
374985 499999 0 0 0
399984 499999 0 0 0
424983 499999 0 0 0
449982 499999 0 0 0
474981 499999 0 0 0
499980 499999 0 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111111111111111111111111111111111111111111111111111
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 999995 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | o
50000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,WR,CC3).
Nmbr = 420. Total = 1499994. Min thru -81 = 0.
Type = WR|(WW&CC3). Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 1000034.
histend K = 500000. 40 thru Max = 499960.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 420. Total = 500000. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 40.
histend K = 500000. 40 thru Max = 499960.
End analysis of Test T420 at 05:42:01.453 970609
==sss========================================================================
The maximum number of threads (2) is too few to run Test T500.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T510.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T520.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T600.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T610.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T620.
==sss========================================================================
Test T700. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T700 at 05:42:01.562 970609
End execution of Test T700 at 05:42:02.062 970609
Duration 0.500
Start analysis of Test T700 at 05:42:02.062 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.015 0.015 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 499999 0 499999 499999
24999 499999 0 0 0
49998 499999 0 0 0
74997 499999 0 0 0
99996 499999 0 0 0
124995 499999 0 0 0
149994 499999 0 0 0
174993 499999 0 0 0
199992 499999 0 0 0
224991 499999 0 0 0
249990 499999 0 0 0
274989 499999 0 0 0
299988 499999 0 0 0
324987 499999 0 0 0
349986 499999 0 0 0
374985 499999 0 0 0
399984 499999 0 0 0
424983 499999 0 0 0
449982 499999 0 0 0
474981 499999 0 0 0
499980 499999 0 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
D1111111111111111111111111111111111111111111111111111111111111111111111111111111
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 999995 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | o
50000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 700. Total = 1499994. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 1000034.
histend K = 500000. 40 thru Max = 499960.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 700. Total = 500000. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 40.
histend K = 500000. 40 thru Max = 499960.
End analysis of Test T700 at 05:42:02.531 970609
==sss========================================================================
Test T710. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T710 at 05:42:02.656 970609
End execution of Test T710 at 05:42:03.156 970609
Duration 0.500
Start analysis of Test T710 at 05:42:03.265 970609
Thread start, stop, and dur times.
0.187 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.015 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 499999 0 499999 0
24999 499999 0 0 0
49998 499999 0 0 0
74997 499999 0 0 0
99996 499999 0 0 0
124995 499999 0 0 0
149994 499999 0 0 0
174993 499999 0 0 0
199992 499999 0 0 0
224991 499999 0 0 0
249990 499999 0 0 0
274989 499999 0 0 0
299988 499999 0 0 0
324987 499999 0 0 0
349986 499999 0 0 0
374985 499999 0 0 0
399984 499999 0 0 0
424983 499999 0 0 0
449982 499999 0 0 0
474981 499999 0 0 0
499980 499999 0 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
51111111111111111111111111111111111111111111111111111111111111111111111111111111
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 999995 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | o
50000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 710. Total = 1499994. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 1000034.
histend K = 500000. 40 thru Max = 499960.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 710. Total = 500000. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 40.
histend K = 500000. 40 thru Max = 499960.
End analysis of Test T710 at 05:42:03.734 970609
==sss========================================================================
Test T720. Seek a relaxation of A(CMP,UPO,RR,CC1)
or of both A(CMP,UPO,WW)
and A(CMP,UPO,RW).
T0 T1
L00: A = 0; L00: B = 0;
L01: - = A; L01: - = B;
L02: U[0] = B; L02: V[0] = A;
L10: A = 1; L10: B = 1;
L11: - = A; L11: - = B;
L12: U[1] = B; L12: V[1] = A;
L20: A = 2; L20: B = 2;
L21: - = A; L21: - = B;
L22: U[2] = B; L22: V[2] = A;
L30: A = 3; L30: B = 3;
L31: - = A; L31: - = B;
L32: U[3] = B; L32: V[3] = A; etc.
Seek 7.0. U[i] > U[i+1]. d = U[i+1] - U[i].
Seek 7.0. V[i] > V[i+1]. d = V[i+1] - V[i].
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Seek 7.1. U[i] < j and V[j] < i. d1 = V[ U[i]+1 ] - i < 0.
Seek 7.2. V[i] < j and U[j] < i. d2 = U[ V[i]+1 ] - i < 0.
To show: Not A(CMP,UPO,RR,CC1).
Seek 7.3. U[i] > j and V[j] > i. d3 = i - V[ U[i]-1 ] < 0.
Seek 7.4. V[i] > j and U[j] > i. d4 = i - U[ V[i]-1 ] < 0.
To show: Not A(CMP,UPO,WW) and not A(CMP,UPO,RW).
Suffixes for packed simulation output: T0: 0; T1: 1.
Start execution of Test T720 at 05:42:03.859 970609
End execution of Test T720 at 05:42:04.359 970609
Duration 0.500
Start analysis of Test T720 at 05:42:04.578 970609
Thread start, stop, and dur times.
0.187 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.109 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.015 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 499999 0 0 0
24999 499999 0 0 0
49998 499999 0 0 0
74997 499999 0 0 0
99996 499999 0 0 0
124995 499999 0 0 0
149994 499999 0 0 0
174993 499999 0 0 0
199992 499999 0 0 0
224991 499999 0 0 0
249990 499999 0 0 0
274989 499999 0 0 0
299988 499999 0 0 0
324987 499999 0 0 0
349986 499999 0 0 0
374985 499999 0 0 0
399984 499999 0 0 0
424983 499999 0 0 0
449982 499999 0 0 0
474981 499999 0 0 0
499980 499999 0 0 0
dim = 80, max = 500000, pamx = 1.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
11111111111111111111111111111111111111111111111111111111111111111111111111111111
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Data for calculating the percentage of time threads
were simultaneously active:
Histogram of deltas in value of consecutive array entries.
Histogram of the lengths of strings of consecutive array
entries, all with the same value.
i deltas strings
0 999996 0
1 0 0
2 0 0
3 0 0
4 0 0
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
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 999995 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
950000 | o
900000 | o
850000 | o
800000 | o
750000 | o
700000 | o
650000 | o
600000 | o
550000 | o
500000 | o
450000 | o
400000 | o
350000 | o
300000 | o
250000 | o
200000 | o
150000 | o
100000 | o
50000 | o
0 |_________._________._________.ooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RR,CC1).
Nmbr = 720. Total = 1499994. Min thru -81 = 0.
Type = RR|CC1. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 1000034.
histend K = 500000. 40 thru Max = 499960.
Histograms of d1, d2, d3, and d4 values:
i d1 d2 d3 d4 i
-1 0 0 0 0 -1
Totals / Min / Under -25:
0 0 0 0
0 0 0 0
0 0 0 0
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1 0 1 20
0 -79 0 -59 0 -39 0 -19 1 1 1 21
0 -78 0 -58 0 -38 0 -18 1 2 1 22
0 -77 0 -57 0 -37 0 -17 1 3 1 23
0 -76 0 -56 0 -36 0 -16 1 4 1 24
0 -75 0 -55 0 -35 0 -15 1 5 1 25
0 -74 0 -54 0 -34 0 -14 1 6 1 26
0 -73 0 -53 0 -33 0 -13 1 7 1 27
0 -72 0 -52 0 -32 0 -12 1 8 1 28
0 -71 0 -51 0 -31 0 -11 1 9 1 29
0 -70 0 -50 0 -30 0 -10 1 10 1 30
0 -69 0 -49 0 -29 0 -9 1 11 1 31
0 -68 0 -48 0 -28 0 -8 1 12 1 32
0 -67 0 -47 0 -27 0 -7 1 13 1 33
0 -66 0 -46 0 -26 0 -6 1 14 1 34
0 -65 0 -45 0 -25 0 -5 1 15 1 35
0 -64 0 -44 0 -24 0 -4 1 16 1 36
0 -63 0 -43 0 -23 0 -3 1 17 1 37
0 -62 0 -42 0 -22 0 -2 1 18 1 38
0 -61 0 -41 0 -21 0 -1 1 19 1 39
------ Relaxed ------ | ------ Strong ------
19 | |
18 | |
17 | |
16 | |
15 | |
14 | |
13 | |
12 | |
11 | |
10 | |
9 | |
8 | |
7 | |
6 | |
5 | |
4 | |
3 | |
2 | |
1 | |
0 |_________._________._________oooooooooooooooooooooooooooooooooooooooo
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW) and A(CMP,UPO,RW).
Nmbr = 720. Total = 500000. Min thru -81 = 0.
Type = WW&RW. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 499999. 0 thru 39 = 40.
histend K = 500000. 40 thru Max = 499960.
End analysis of Test T720 at 05:42:05.062 970609
==sss========================================================================
Test T800. Seek a relaxation of both A(CMP,UPO,CC3)
and A(CMP,UPO,WW,WR)
or of A(CMP,UPO,CC3),
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc.
Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent
modulo 10, where i+ > i, and W = U, V, X, Y.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a < b < c < d < e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a > b > c > d > e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3).
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T800 at 05:42:05.171 970609
End execution of Test T800 at 05:42:05.671 970609
Duration 0.500
Start analysis of Test T800 at 05:42:05.828 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.204 0.110 0.000 0.000 0.000 0.000 0.000 0.000
0.016 0.016 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 1 2 3
24999 249990 249991 249992 249993
49998 499980 499981 499982 499983
74997 749970 749971 749972 749973
99996 999960 999961 999962 999963
124995 1249950 1249951 1249952 1249953
149994 1499940 1499941 1499942 1499943
174993 1749930 1749931 1749932 1749933
199992 1999920 1999921 1999922 1999923
224991 2249910 2249911 2249912 2249913
249990 2499900 2499901 2499902 2499903
274989 2749890 2749891 2749892 2749893
299988 2999880 2999881 2999882 2999883
324987 3249870 3249871 3249872 3249873
349986 3499860 3499861 3499862 3499863
374985 3749850 3749851 3749852 3749853
399984 3999840 3999841 3999842 3999843
424983 4249830 4249831 4249832 4249833
449982 4499820 4499821 4499822 4499823
474981 4749810 4749811 4749812 4749813
499980 4999800 4999801 4999802 4999803
dim = 80, max = 5000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1999996 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1999996. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1999996.
histend K = 500000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1999996 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 800. Total = 1999996. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1999996.
histend K = 500000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T800 at 05:42:19.390 970609
==sss========================================================================
Test T820. Seek a relaxation of both A(CMP,UPO,CC3)
and A(CMP,UPO,WW,WR)
or of A(CMP,UPO,CC3),
T0 T1 T2 T3
L11: A = 11; L11: A = 12; L11: A = 13; L11: A = 14;
L12: U[1] = A; L12: V[1] = A; L12: X[1] = A; L12: Y[1] = A;
L21: A = 21; L21: A = 22; L21: A = 23; L21: A = 24;
L22: U[2] = A; L22: V[2] = A; L22: X[2] = A; L22: Y[2] = A;
L31: A = 31; L31: A = 32; L31: A = 33; L31: A = 34;
L32: U[3] = A; L32: V[3] = A; L32: X[3] = A; L32: Y[3] = A;
L41: A = 41; L41: A = 42; L41: A = 43; L41: A = 44;
L42: U[4] = A; L42: V[4] = A; L42: X[4] = A; L42: Y[4] = A;
L51: A = 51; L51: A = 52; L51: A = 53; L51: A = 54;
L52: U[5] = A; L52: V[5] = A; L52: X[5] = A; L52: Y[5] = A;
L61: A = 61; L61: A = 62; L61: A = 63; L61: A = 64;
L62: U[6] = A; L62: V[6] = A; L62: X[6] = A; L62: Y[6] = A; etc.
Seek 8.0: W[i] >= W[i+]; W[i] and W[i+] are congruent
modulo 10, where i+ > i, and W = U, V, X, Y.
To show: Not A(CMP,UPO,URR,WW) and not A(CMP,UPO,URR,CC3).
Consistency event (two changes in the value of one operand
became visible in different orders to two different threads):
8.1. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a < b < c < d < e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3) and not A(CMP,UPO,WW,WR).
8.2. Find 3, 4, or 5 elements, a,b,c,d,e, of the arrays,
such that a > b > c > d > e, and
1. a,b,c,d come from different arrays.
2. e occurs in the same array as a, but earlier.
To show: Not A(CMP,UPO,CC3).
Suffixes for packed simulation output: T0: 0; T1: 1; T2: 2; T3: 3.
Start execution of Test T820 at 05:42:19.515 970609
End execution of Test T820 at 05:42:20.015 970609
Duration 0.500
Start analysis of Test T820 at 05:42:20.453 970609
Thread start, stop, and dur times.
0.188 0.094 0.000 0.000 0.000 0.000 0.000 0.000
0.203 0.110 0.000 0.000 0.000 0.000 0.000 0.000
0.015 0.016 0.000 0.000 0.000 0.000 0.000 0.000
Every 24999th entry of the arrays, from 0 thru 499999.
i U V X Y
0 0 1 2 3
24999 249990 249991 249992 249993
49998 499980 499981 499982 499983
74997 749970 749971 749972 749973
99996 999960 999961 999962 999963
124995 1249950 1249951 1249952 1249953
149994 1499940 1499941 1499942 1499943
174993 1749930 1749931 1749932 1749933
199992 1999920 1999921 1999922 1999923
224991 2249910 2249911 2249912 2249913
249990 2499900 2499901 2499902 2499903
274989 2749890 2749891 2749892 2749893
299988 2999880 2999881 2999882 2999883
324987 3249870 3249871 3249872 3249873
349986 3499860 3499861 3499862 3499863
374985 3749850 3749851 3749852 3749853
399984 3999840 3999841 3999842 3999843
424983 4249830 4249831 4249832 4249833
449982 4499820 4499821 4499822 4499823
474981 4749810 4749811 4749812 4749813
499980 4999800 4999801 4999802 4999803
dim = 80, max = 5000000, pamx = 2.
Plot of the values in the arrays.
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
0....:....1....:....2....:....3....:....4....:....5....:....6....:....7....:....
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1999996 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,WW,WR) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1999996. Min thru -81 = 0.
Type = (WW|WR)&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1999996.
histend K = 500000. 40 thru Max = 0.
Relaxed (negative) versus strong (nonnegative) behavior seen in this test.
0 -80 0 -60 0 -40 0 -20 1999996 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 ------
1900000 | o
1800000 | o
1700000 | o
1600000 | o
1500000 | o
1400000 | o
1300000 | o
1200000 | o
1100000 | o
1000000 | o
900000 | o
800000 | o
700000 | o
600000 | o
500000 | o
400000 | o
300000 | o
200000 | o
100000 | o
0 |_________._________._________._________._________._________._________
-30 -20 -10 0 10 20 30 40
Test = A(CMP,UPO,RW) and A(CMP,UPO,CC3).
Nmbr = 820. Total = 1999996. Min thru -81 = 0.
Type = RW&CC3. Minimum = 0. -80 thru -1 = 0.
Behav = Strong. Maximum = 0. 0 thru 39 = 1999996.
histend K = 500000. 40 thru Max = 0.
Convoys are sequences of values which appear to two or more
processors. The 5 longest convoys on this test were:
0 0 0
1 0 0
2 0 0
3 0 0
4 0 0
End analysis of Test T820 at 05:42:35.093 970609
==sss========================================================================
The maximum number of threads (2) is too few to run Test T900.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T920.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1000.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1010.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1020.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1030.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1100.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1110.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1120.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1200.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1210.
==sss========================================================================
The maximum number of threads (2) is too few to run Test T1220.
==sss========================================================================
================================================================================
Summary of run: 05:42:35.093 970609
ARCHTEST. Version 5.4. 980526. By W. W. Collier, mpdiag@acm.org
This copy of ARCHTEST is licensed (under license no. vvv )
for use by vvv at vvv
Documentation is available via www.infomall.org/diagnostics.pcexpo
dual pentium II 400 MHz w/ Intel 440 BX AGPset
Number of threads: 2.
Length of the arrays: 500000.
Frequency of fetching shared operands before stores: always
Line count: 0.
Action count: 0.
Interference count: 0.
T10 thread 0 count: 100000.
T10 thread 1 count: 10000.
T10 thread 2 count: 100000.
Each test in ARCHTEST seeks to observe a relaxation of behavior
defined by one or another subset of the following seven rules:
URR, RR, WW, RW, WR, CC1, and CC3. Here are the tests that have
just been run and the architectures whose relaxation
the tests have sought to detect.
T1xx. Both A(CMP,UPO,URR,WW) and A(CMP,UPO,URR,CC3)
T2xx. A(CMP,UPO,RR,WW)
T4xx. Both A(CMP,UPO,WW,WR) and (A(CMP,UPO,WR,CC3),
or both A(CMP,UPO,WW) and (A(CMP,UPO,RW)
T7xx. A(CMP,UPO,RR,CC1)
or both A(CMP,UPO,WW) and (A(CMP,UPO,RW))
T8xx. Both A(CMP,UPO,CC3) and (A(CMP,UPO,WR),
or A(CMP,UPO,CC3)
The tests performed on this run are listed below. Shown for each test
are (1) the durations of the test and of its analysis, and (2) the number of
integer operands and the number of floating point operands used in the test.
The d value, if blank, indicates strong behavior. Otherwise, the more
negative the d value, the more relaxed the behavior observed by the test.
Execution Analysis Operands
Duration Duration Test d int flt
0.500 0.141 T100 1 0
0.500 0.141 T120 0 1
0.500 0.406 T200 2 0
0.500 0.422 T210 1 1
0.500 0.422 T220 0 2
0.500 0.468 T400.1 2 0
T400.2 2 0
0.500 0.469 T410.1 1 1
T410.2 1 1
0.500 0.485 T420.1 0 2
T420.2 0 2
0.500 0.469 T700.1 2 0
T700.2 2 0
0.500 0.469 T710.1 1 1
T710.2 1 1
0.500 0.484 T720.1 0 2
T720.2 0 2
0.500 13.562 T800 1 0
0.500 14.640 T820 0 1
No monotonicity relaxations seen.
No other relaxations seen.
Tests and the architectures they test for.
A nonblank character at (row,column) shows that the test at the head
of the column tests for the rules at the left end of the row. A '+'
shows the test was not executed. 'O' shows that strong behavior was
observed; 'X' shows relaxed behavior.
T T T T T T T T T T T T T T T T
1 2 3 4 4 5 6 7 7 8 8 9 1 1 1 1
. . . . . . 1 1 2 2
1 3 1 3 1 2 . . . .
1 2 1 2
RW O O O + +
WW O O O + +
WW RR O
URR WW O +
URR CC3 O +
WR CC3 O +
WW WR O O +
CC3 O O
RR CC1 + + O +
Save the parameters from this run in a file?
Press Enter for No. Otherwise, enter the name of the file.
Run this job another time? [y] n