From:   IN%"toussi@kilimanjaro.ee.umn.edu" 28-DEC-1994 13:41:22.32
To:     IN%"MPDIAG@delphi.com"

Date: Wed, 28 Dec 1994 12:44:35 -1000
From: toussi@kilimanjaro.ee.umn.edu (Faranz)
To: MPDIAG@delphi.com

Test results for the 2 cpu Power Challenge.
--------------------------------------------
by W. W. Collier, mpdiag@acm.org.


Specify how to generate the data to be analyzed.
1.  Execute real multiprocessing code to generate data.
2.  Execute the real mp code, but with only one processor.
3.  Generate data randomly with errors.
4.  Generate data randomly, but without errors.
5.  Use static data with errors.
6.  Use static data without errors.
(Choices 2-6 are for debugging.)  Choice [1]: 1
Enter the number of processors (from 2 to 8) [2]:   2
Define logical length of arrays (max=500000) [20000]:   500000

The following tests can be run:  2    3    4    5    6    7    8    9
                                      310            610
                                 220  320  420  520  620  720

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

     Note added July 1996.

     The numbering scheme for some tests was changed in late 1995.

     The numbers for the following tests have not changed.

     200 300 400 500 600 700 800 900

     Two tests, 310 and 610, have been deleted.  They created
extraneous cache traffic in a fixed format in order to see if that
introduced relaxed behavior.  Currently, any test can have extraneous
cache traffic introduced in a random fashion by setting run time
parameters.

     The names of these tests have been changed

     220 320 420 520 620 720
to
     210 310 410 510 610 710

     The change in numbers should cause little confusion in
interpreting the results.  The relaxation that a test seeks to detect
is determined only by the initial digit in its number.  See the file
ANALYSIS to understand the relaxations that each of the tests seeks
to detect.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Specify which tests to run [all]:   all

Parameters for this run:
Type of run:           1. Execute real multiprocessing code to generate data.
Output file name:      arch.001.
Number of processors:  2.
Length of the arrays:  500000.
Test(s) to run:        2 3 4 5 6 7 8 9 310 610 220 320 420 520 620 720

================================================================================

  Test T200.  Seek a violation of A(CMP,RO,WO).

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[2i]   > U[2i+1] + 1
Start execution of Test 200 at:                12:59:46.542282 941228
  End execution of Test 200 at:                12:59:46.793000 941228
      i       U       V       X       Y
      0       0       0       0       0
  49999  257913       0       0       0
  99998  498518       0       0       0
 149997  498517       0       0       0
 199996  498518       0       0       0
 249995  498517       0       0       0
 299994  498518       0       0       0
 349993  498517       0       0       0
 399992  498518       0       0       0
 449991  499999       0       0       0
 499990  499999       0       0       0

Analysis of T2 data:
      i       U       V       X       Y

================================================================================

  Test T220.  Seek a violation of A(CMP,RO,WO).

Seek 2.1.  U[i]    > U[i+2]
Seek 2.2.  U[2i+1] > U[2i+2]
Seek 2.3.  U[2i]   > U[2i+1] + 1
Start execution of Test 220 at:                12:59:47.463664 941228
  End execution of Test 220 at:                12:59:48.201597 941228
      i       U       V       X       Y
      0      27       0       0       0
  49999  139000       0       0       0
  99998  286032       0       0       0
 149997  432382       0       0       0
 199996  462252       0       0       0
 249995  462252       0       0       0
 299994  462252       0       0       0
 349993  462252       0       0       0
 399992  462252       0       0       0
 449991  462252       0       0       0
 499990  462252       0       0       0

Analysis of T2 data:
      i       U       V       X       Y

================================================================================
The number of processors (2) is too few to run Test T300.

================================================================================
The number of processors (2) is too few to run Test T310.
================================================================================
The number of processors (2) is too few to run Test T320.
================================================================================

  Test T400.  Seek a violation of A(CMP,PO).

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.
Start execution of Test 400 at:                12:59:49.026437 941228
  End execution of Test 400 at:                12:59:50.022967 941228
      i       U       V       X       Y
      0       0      54       0       0
  49999   51181   48895       0       0
  99998  273639   81340       0       0
 149997  278739   81340       0       0
 199996  278739   81340       0       0
 249995  278739   81340       0       0
 299994  278739  426382       0       0
 349993  278739  426382       0       0
 399992  278739  426382       0       0
 449991  446774  499999       0       0
 499990  446774  499999       0       0

Analysis of T4 data:

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
================================================================================

  Test T420.  Seek a violation of A(CMP,PO).

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.
Start execution of Test 420 at:                12:59:51.058119 941228
  End execution of Test 420 at:                12:59:53.127448 941228
      i       U       V       X       Y
      0       0      23       0       0
  49999   23739  105647       0       0
  99998   47317  213342       0       0
 149997   70838  499999       0       0
 199996   93726  499999       0       0
 249995  112909  499999       0       0
 299994  112909  499999       0       0
 349993  112909  499999       0       0
 399992  112909  499999       0       0
 449991  112909  499999       0       0
 499990  112909  499999       0       0

Analysis of T4 data:
Error 4.2. v[      4] =      43 <      44 and u[     44] =       3 <       4
Error 4.2. v[      6] =      46 <      47 and u[     47] =       5 <       6
Error 4.2. v[      8] =      49 <      50 and u[     50] =       7 <       8
Error 4.2. v[     16] =      59 <      60 and u[     60] =      15 <      16
Error 4.2. v[     18] =      66 <      67 and u[     67] =      17 <      18
Error 4.2. v[     20] =      69 <      70 and u[     70] =      19 <      20

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
      1       0      42      41       2 2097152       1
      2       0      42      40       1 2097152       2
      3       0      43      39       0 2097152       2
      4       0      43      38      -1 2097152       3
      5       0      46      37       0 2097152       2
      6       0      46      36      -1 2097152       3
      7       0      49      35       0 2097152       2
      8       0      49      34      -1 2097152       3
      9       0      55      33       3 2097152       2
     10       0      55      32       2 2097152       3
     11       0      55      31       1 2097152       4
     12       0      55      30       0 2097152       5
     13       0      58      29       2 2097152       1
     14       0      58      28       1 2097152       2
     15       0      59      27       0 2097152       2
     16       0      59      26      -1 2097152       3
     17       0      66      25       0 2097152       2
     18       0      66      24      -1 2097152       3
     19       0      69      23       0 2097152       2
     20       0      69      22      -1 2097152       3
     21       0      76      21       0 2097152       2
     22       0      76      20      -1 2097152       3
     23       0      81      19       2 2097152       1

     41       0     117       1       0 2097152       2
     42       1     117       0      -1      19       3
     43       3     119       0       2       1       2
     44       3     119      -1       1       2       3
     45       3     120      -2       0       3       2
     46       5     120       0      -1       3       3
     47       5     123      -1       0       4       2
     48       5     123      -2      -1       5       3
     49       7     129       0       0       3       2
     50       7     129      -1      -1       4       3
     51       7     135      -2       0       5       2
     52       7     135      -3      -1       6       3
     53       7     139      -4       0       7       2

     57      12     145       1       0       2       2
     58      13     145       0      -1       3       3
     59      15     151       0       3       1       2
     60      15     151      -1       2       2       3
     61      15     151      -2       1       3       4
     62      15     151      -3       0       4       5
     63      15     154      -4       2       5       1
     64      15     154      -5       1       6       2
     65      15     155      -6       0       7       2
     66      17     155       0      -1       7       3
     67      17     161      -1       0       8       2
     68      17     161      -2      -1       9       3
     69      19     167       0       0       3       2
     70      19     167      -1      -1       4       3
     71      19     171      -2       0       5       2
     72      19     171      -3      -1       6       3
     73      19     177      -4       0       7       2

================================================================================
The number of processors (2) is too few to run Test T500.
================================================================================
The number of processors (2) is too few to run Test T520.
================================================================================
The number of processors (2) is too few to run Test T600.
================================================================================
The number of processors (2) is too few to run Test T610.
================================================================================
The number of processors (2) is too few to run Test T620.
================================================================================

  Test T700.  Seek a violation of A(CMP,UPO,RO,WO,WA).

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 execution of Test 700 at:                12:59:54.033609 941228
  End execution of Test 700 at:                12:59:55.252234 941228
      i       U       V       X       Y
      0       0  196498  499999  499999
  49999       0  246810       0       0
  99998       0  296978       0       0
 149997       0  499999       0       0
 199996    3197  499999       0       0
 249995   53094  499999       0       0
 299994  103221  499999       0       0
 349993  118317  499999       0       0
 399992  118317  499999       0       0
 449991  118317  499999       0       0
 499990  118317  499999       0       0

Analysis of T7 data:

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
================================================================================
Test T720.  Seek a violation of A(CMP,UPO,RO,WO,WA).

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 execution of Test 720 at:                12:59:56.260974 941228
  End execution of Test 720 at:                12:59:57.266860 941228
      i       U       V       X       Y
      0       0       0  499999       0
  49999   21162  104145       0       0
  99998   42476  104145       0       0
 149997  134914  151543       0       0
 199996  384656  151543       0       0
 249995  384656  151543       0       0
 299994  384656  198835       0       0
 349993  384656  198835       0       0
 399992  384656  467326       0       0
 449991  392834  475623       0       0
 499990  462540  499999       0       0

Analysis of T7 data:
Error 7.2. v[   3753] =    8768 <    8769 and u[   8769] =    3752 <    3753
Error 7.2. v[   3755] =    8772 <    8773 and u[   8773] =    3754 <    3755
Error 7.2. v[   3758] =    8783 <    8784 and u[   8784] =    3757 <    3758
Error 7.2. v[   7848] =   18737 <   18738 and u[  18738] =    7847 <    7848
Error 7.2. v[   7850] =   18741 <   18742 and u[  18742] =    7849 <    7850
Error 7.2. v[   7854] =   18745 <   18746 and u[  18746] =    7853 <    7854

                           d1 = v[ u[i]+1 ] - i;
                           d2 = u[ v[i]+1 ] - i;
                           d3 = i - v[ u[i]-1 ];
                           d4 = i - u[ v[i]-1 ];

      i       U       V      d1      d2      d3      d4
   3750    1721    8759       1       1       4       2
   3751    1722    8760       1       0       2       2
   3752    1723    8768       3       0       1       1
   3753    1723    8768       2      -1       2       2
   3754    1723    8772       1       0       3       1
   3755    1724    8772       2      -1       3       2
   3756    1724    8775       1       0       4       2
   3757    1725    8783       1       0       2       1
   3758    1726    8783       4      -1       1       2
   3759    1726    8786       3       0       2       2
   3760    1726    8791       2       2       3       1
   3761    1726    8791       1       1       4       2

   7845    3378   18728       1       0       3       1
   7846    3379   18732       1       0       3       1
   7847    3380   18737       3       0       1       1
   7848    3380   18737       2      -1       2       2
   7849    3380   18741       1       0       3       1
   7850    3381   18741       2      -1       3       2
   7851    3381   18743       1       1       4       2
   7852    3382   18743       6       0       2       3
   7853    3382   18745       5       0       3       1
   7854    3382   18745       4      -1       4       2
   7855    3382   18747       3       0       5       2
   7856    3382   18753       2       1       6       1
   7857    3382   18754       1       0       7       1

   8766    3751   20389       2       0       7       1
   8767    3751   20393       1       0       8       1
   8768    3752   20396       0       1       8       1
   8769    3752   20397      -1       0       9       1
   8770    3752   20400      -2       0      10       1
   8771    3753   20402       1       1       3       1
   8772    3754   20403       0       0       4       1
   8773    3754   20406      -1       1       5       1
   8774    3754   20407      -2       0       6       2
   8775    3756   20413       8       0       3       1
   8776    3756   20415       7       1       4       1

   8781    3756   20425       2       1       9       1
   8782    3756   20426       1       0      10       1
   8783    3757   20430       0       0       8       1
   8784    3757   20433      -1       0       9       1
   8785    3757   20435      -2       1      10       1
   8786    3759   20436       5       0       3       1
   8787    3759   20438       4       1       4       1

  18735    7846   44190       2       1       7       1
  18736    7846   44191       1       0       8       1
  18737    7847   44194       0       1       5       1
  18738    7847   44195      -1       0       6       1
  18739    7847   44198      -2       0       7       1
  18740    7848   44200       1       1       3       1
  18741    7849   44201       0       0       4       1
  18742    7849   44204      -1       0       5       1
  18743    7851   44212       0       2       2       1
  18744    7852   44212       1       1       1       2
  18745    7853   44213       0       0       2       2
  18746    7853   44215      -1       1       3       1
  18747    7855   44216       6       0       2       1
  18748    7855   44219       5       0       3       1
  18749    7855   44221       4       1       4       1

================================================================================

  Test T8.  Seek a violation of A(CMP,UPO,CON).

Start execution of Test 800 at:                12:59:58.148283 941228
  End execution of Test 800 at:                12:59:59.561047 941228
       i w[i][0] w[i][1] w[i][2] w[i][3]
       0       0 1635130       2       3
   49999  499990  499991  499992  499993
   99998  999980  999981  999982  999983
  149997 1499970 1499971 1499972 1499973
  199996 1999960 1999961 1999962 1999963
  249995 2499950 2499951 2499952 2499953
  299994 2999940 2999941 2999942 2999943
  349993 3499930 3499931 3499932 3499933
  399992 3999920 3999921 3999922 3999923
  449991 4499910 4499911 4499912 4499913
  499990 3359871 4999901 4999902 4999903
Analysis of T8 data:
      i  w[][0]  w[][1]  w[][2]  w[][3]

Save output from Test 8? [n] n
================================================================================
The number of processors (2) is too few to run Test TT9 .