Quelle mpb004.cob Sprache: Cobol

       IDENTIFICATION DIVISION.
       PROGRAM-ID.  MPB004.
       ENVIRONMENT DIVISION.
       CONFIGURATION SECTION.
       SOURCE-COMPUTER.  xyz.
       OBJECT-COMPUTER.  xyz.
       DATA DIVISION.
       WORKING-STORAGE SECTION.

      * Standard COBOL (file "MPB004.SCO") calling SQL
      * procedures in file "MPB004.MCO".
      * STANDARD COBOL (file "MPB004.SCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1989/10/07 STANDARD COBOL LANGUAGE
      * NIST SQL VALIDATION TEST SUITE V6.0
      *  DISCLAIMER:
      *  This program was written by employees of NIST to test SQL
      *  implementations for conformance to the SQL standards.
      *  NIST assumes no responsibility for any party's use of
      *  this program.
      *
      * MPB004.SCO
      * WRITTEN BY: SUN DAJUN
      *
      * THIS PROGRAM IS PART B OF A TWO-PART PROGRAM(A & B) THAT
      * TESTS THE CONCURRENCY OF SQL
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                         X3.135-1989
      *
      *          SECTION  4.16 Transactions
      *                   Paragraph Two
      ****************************************************************

      * EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  who1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  who2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  knum PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  rslt1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  rslt2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC  X(18).
       01  uidx PIC  X(18).
      *  EXEC SQL END DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

      *date_time declaration
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).

       01  cnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  code1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  times1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  retrys PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  tranct PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       PROCEDURE DIVISION.
       P0.

             MOVE "SULLIVAN1" TO uid
             CALL "AUTHID" USING uid
             MOVE "not logged in, not" TO uidx
      *  EXEC SQL SELECT USER INTO :uidx FROM HU.ECCO;
             CALL "SUB1" USING SQLCODE uidx
             MOVE SQLCODE TO SQL-COD
             if (uid  NOT  =   uidx) then
               DISPLAY "ERROR: User ", uid " expected. User ", uidx "
      -    " connected"
             END-IF
             MOVE 0 TO errcnt
           DISPLAY "SQL Test Suite, V6.0, Module COBOL, mpb004.sco"
             DISPLAY
           "59-byte ID"
           DISPLAY "TEd Version #"

      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

      *concurrency tuning variables follow:
             MOVE 13 TO retrys
             MOVE 50 TO tranct

      *  EXEC SQL COMMIT WORK;
             CALL "SUB2" USING SQLCODE
             MOVE SQLCODE TO SQL-COD

      ******************** BEGIN TEST0268 *******************

             DISPLAY " TEST0268 "
             DISPLAY " Reference X3.135-1989 Section 4.16 Transactions
      -    " "
             DISPLAY " Paragraph Two "
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "*** This program is part B of a two-part
      -    " "
             DISPLAY "*** program (A & B) that tests deadlock management
      -    " "
             DISPLAY "*** in SQL. An implementation which rolls back "
             DISPLAY "*** without a negative SQLCODE will fail"

             DISPLAY " This is Program B which starts after Program A...
      -    " "

      *                      -----Synchronization-----

           .
        P105.
             MOVE 0 TO knum
      *  EXEC SQL SELECT COUNT(*)
      *    INTO :knum
      *    FROM MP4_NEXTKEY WHERE AUTHOR = 'A';
             CALL "SUB3" USING SQLCODE knum
             MOVE SQLCODE TO SQL-COD

      *  EXEC SQL COMMIT WORK;
             CALL "SUB4" USING SQLCODE
             MOVE SQLCODE TO SQL-COD

      *are we in sync?

             if (knum  =  0) then
               DISPLAY " PLEASE start program MPA004!!! "
               GO TO P105
             END-IF

           .
        P106.
             MOVE 0 TO code1
      *  EXEC SQL INSERT INTO MP4_NEXTKEY (KEYNUM,AUTHOR)
      *    VALUES(2, 'B');
             CALL "SUB5" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
      *  EXEC SQL COMMIT WORK;
             CALL "SUB6" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             if (code1  NOT =  0) then
      *    EXEC SQL ROLLBACK WORK;
               CALL "SUB7" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               DISPLAY "Retrying synchronization logic."
               GO TO P106
             END-IF

      *YES, we are in sync!

             DISPLAY "Transaction B Starts!! "
             DISPLAY  " "
             DISPLAY "IF this test lasts too long, DEADLOCK "
             DISPLAY "has taken place, STOP this test!"
             MOVE 0 TO times1

      *          -----Concurrent Transaction Loops-----
           .
        P110.
             MOVE 0 TO code1
             if (times1  >  retrys) then
               DISPLAY "**** TEST 0268 aborted***"
               DISPLAY "MPA004 will give a false *** fail ***"
               DISPLAY "Remove the test results from TESTREPORT"
               DISPLAY " and RERUN, after debugging."
               GO TO P193
             END-IF
      *  EXEC SQL SELECT NUMTEST INTO :who2  FROM MP4_MM2;
             CALL "SUB8" USING SQLCODE who2
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF

      *MP4_MM2 UPDATE loop
             MOVE 0 TO cnt
           .
        P111.
      *  EXEC SQL UPDATE MP4_MM2
      *    SET NUMTEST = NUMTEST - 3;
             CALL "SUB9" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             COMPUTE cnt = cnt + 1
             if (cnt  <  tranct  AND  code1  =  0) then
               GO TO P111
             END-IF

      *  EXEC SQL SELECT NUMTEST INTO :who1 FROM MP4_NN;
             CALL "SUB10" USING SQLCODE who1
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF

      *MP4_NN UPDATE loop
             MOVE 0 TO cnt

           .
        P112.
      *  EXEC SQL UPDATE MP4_NN
      *    SET NUMTEST = NUMTEST - 5;
             CALL "SUB11" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             COMPUTE cnt = cnt + 1
             if (cnt  <  4  AND  code1  =  0) then
               GO TO P112
             END-IF

      *                          -----Evaluation-----

      *  EXEC SQL SELECT NUMTEST INTO :rslt1 FROM MP4_NN;
             CALL "SUB12" USING SQLCODE rslt1
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
      *  EXEC SQL SELECT NUMTEST INTO :rslt2 FROM MP4_MM2;
             CALL "SUB13" USING SQLCODE rslt2
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF

             if (code1  =  0) then
      *    EXEC SQL COMMIT WORK;
               CALL "SUB14" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               if (SQLCODE  NOT =  0) then
                 MOVE 1 TO code1
               END-IF
             END-IF
             if (code1  NOT =  0) then
               DISPLAY " "
               DISPLAY "!+!+!+!+!+!+!+!+ DEADLOCK?
      -    " !+!+!+!+!+!+!+!+!+!+!"
               DISPLAY "Negative SQLCODE (Deadlock?) was returned
      -    " earlier"
               DISPLAY "!+!+!+!+!+!+!+!+ DEADLOCK?
      -    " !+!+!+!+!+!+!+!+!+!+!"
               COMPUTE times1 = times1 + 1
      *    EXEC SQL ROLLBACK WORK;
               CALL "SUB15" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               GO TO P110
             END-IF

      *end transaction
             DISPLAY "MPB004 transaction completed !! at time: "
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

      *Compute difference from original value
             COMPUTE rslt1 = who1 - rslt1
             COMPUTE rslt2 = who2 - rslt2
             COMPUTE tranct = tranct * 3

             DISPLAY " The correct answer is :"
             DISPLAY " rslt1 is 20"
             DISPLAY " rslt2 is ", tranct
             DISPLAY " Your answer is :"
             DISPLAY " rslt1 is ", rslt1
             DISPLAY " rslt2 is ", rslt2

             if ( rslt1  =  20  AND  rslt2  =  tranct) then
               DISPLAY "mpb004.sco: *** pass *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0268','pass','MCO');
               CALL "SUB16" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY "mpb004.sco: *** fail *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0268','fail','MCO');
               CALL "SUB17" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

           .
        P193.
             DISPLAY  " "
             DISPLAY
             "===================================================="

      *  EXEC SQL COMMIT WORK;
             CALL "SUB18" USING SQLCODE
             MOVE SQLCODE TO SQL-COD

             if (times1  =  0) then
               DISPLAY "Look for DEADLOCK message from MPA004."
               DISPLAY "If MPA004 does not issues a DEADLOCK message,"
               DISPLAY " you will need to RERUN this test, after"
               DISPLAY " (using TEd) increasing value of variable
      -    " tranct."
             END-IF

      ******************** END TEST0268 *******************

      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0

           STOP RUN.

      *    ****  Procedures for PERFORM statements

quality97%

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.