Impressum mpb002.cob Sprache: Cobol

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

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

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1988/12/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.
      *
      * MPB002.SCO
      * WRITTEN BY: J Sullivan
      *
      * THIS PROGRAM IS PART A 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  dol999 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  dol500 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  dollar PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  keyval PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  i 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  iserr PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  pauze PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  tranct PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  olddol PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  doldif PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  concur 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, mpb002.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 11 TO pauze
             MOVE 15 TO tranct

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

      ******************** BEGIN TEST0231 *******************

             DISPLAY " TEST0231 "
             DISPLAY " Reference X3.135-1989 Section 4.16 Transactions
      -    " "
             DISPLAY " Paragraph Two - Serializability
      -    " "
             DISPLAY " SELECT into host variable and then"
             DISPLAY " UPDATE with recomputed host variable"
             DISPLAY " e.g. SELECT DOLLARS INTO :dol1 ... "
             DISPLAY " dol1 = dol1 + 10 "
             DISPLAY " UPDATE ... SET DOLLARS = :dol1 ..."
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY " *** This program is part B of a two-part
      -    " "
             DISPLAY " *** program (A & B) that tests for the
      -    " concurrency "
             DISPLAY " *** of SQL. Program A inserts 1000 rows into "
             DISPLAY " *** a table and waits for Program B.
      -    " "

      *                      -----Synchronization-----
           .
        P100.

      *pause a little
      *  EXEC SQL DELETE FROM MP2_MM2;
             CALL "SUB3" USING SQLCODE
             MOVE SQLCODE TO SQL-COD
             MOVE 1 TO i
           .
        P101.
      *  EXEC SQL INSERT INTO MP2_MM2 VALUES (:i);
             CALL "SUB4" USING SQLCODE i
             MOVE SQLCODE TO SQL-COD
             COMPUTE i = i + 1
             if (i  <  pauze) then
               GO TO P101
             END-IF
      *end of pause

      *are we in sync?

             MOVE 0 TO dollar
      *  EXEC SQL SELECT DOLLARS
      *    INTO :dollar
      *    FROM MP2_NEXTKEY WHERE KEYNUM = 999;
             CALL "SUB5" USING SQLCODE dollar
             MOVE SQLCODE TO SQL-COD

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

             if (dollar  =  500) then
               DISPLAY "This is Program B. "
               DISPLAY "Program A has initialized the table. "
             else
               DISPLAY "Waiting for program MPA002 to start "
               GO TO P100
             END-IF

      *YES, we are in sync!

             DISPLAY "MPB002: account 500 has $500 and account 999 has
      -    " $500"
             MOVE 0 TO doldif
             MOVE 0 TO concur
             MOVE 500 TO olddol
             MOVE 0 TO i

      *           -----Concurrent Transaction Loop-----
           .
        P120.
             MOVE 0 TO iserr
             MOVE 0 TO dol999
             MOVE 0 TO dol500
      *start record lock
      *  EXEC SQL SELECT DOLLARS INTO :dol500
      *    FROM MP2_NEXTKEY  WHERE KEYNUM = 500;
             CALL "SUB7" USING SQLCODE dol500
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO iserr
               GO TO P901
             END-IF
      *  EXEC SQL SELECT DOLLARS INTO :dol999
      *    FROM MP2_NEXTKEY  WHERE KEYNUM = 999;
             CALL "SUB8" USING SQLCODE dol999
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO iserr
               GO TO P901
             END-IF

             COMPUTE dol500 = dol500 - 10
             COMPUTE dol999 = dol999 + 10

      *  EXEC SQL UPDATE MP2_NEXTKEY
      *    SET DOLLARS = :dol999    WHERE KEYNUM = 999;
             CALL "SUB9" USING SQLCODE dol999
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO iserr
               GO TO P901
             END-IF
      *  EXEC SQL UPDATE MP2_NEXTKEY
      *    SET DOLLARS = :dol500    WHERE KEYNUM = 500;
             CALL "SUB10" USING SQLCODE dol500
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO iserr
               GO TO P901
             END-IF
           .
        P901.
             if (iserr  =  0) then
      *    EXEC SQL COMMIT WORK;
               CALL "SUB11" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               DISPLAY "MPB002:account 500 has $", dol500 " and account
      -    " 999 has $", dol999
               COMPUTE doldif = olddol - dol500
               MOVE dol500 TO olddol
             END-IF
             if (iserr  =  1  OR  SQLCODE  NOT =  0) then
               MOVE 1 TO iserr
      *    EXEC SQL ROLLBACK WORK;
               CALL "SUB12" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               COMPUTE tranct = tranct + 1
               DISPLAY "ROLLBACK due to nonzero SQLCODE (Deadlock?)"
             END-IF
             if (iserr  =  0  AND  doldif  >  10) then
               COMPUTE concur = concur + 1
               DISPLAY " *** B interleaved #", concur " ***"
             END-IF
      *end record lock
             COMPUTE i = i + 1
             if (i  <  tranct) then
               GO TO P120
             END-IF

      *                          -----Evaluation-----
           .
        P130.
             MOVE 0 TO dollar
      *  EXEC SQL SELECT SUM(DOLLARS) INTO :dollar
      *    FROM MP2_NEXTKEY
      *    WHERE KEYNUM = 1  OR  KEYNUM = 500  OR KEYNUM = 999
      * ;
             CALL "SUB13" USING SQLCODE dollar
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               DISPLAY " Cannot select from MP2_NEXTKEY"
               GO TO P130
             END-IF

             DISPLAY "MPB002: sum of accounts 1, 500, and 999 = $",
             dollar
             DISPLAY " sum should be $1500 after transferring money"

             if (concur  <  3  AND  dollar  =  1500) then
               DISPLAY " Insufficient interleaving to demonstrate
      -    " concurrency!"
               DISPLAY " Using TEd, decrease variable pauze to start"
               DISPLAY " MPB002 sooner or increase value of variable
      -    " tranct"
               DISPLAY " in both MPA002 and MPB002 to lengthen test."
               DISPLAY " Then RERUN!"
               GO TO P140
             END-IF

             if ( dollar  =  1500) then
               DISPLAY "mpb002.sco: *** pass *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0231','pass','MCO');
               CALL "SUB14" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY "mpb002.sco: *** fail *** "
      *    EXEC SQL INSERT INTO HU.TESTREPORT
      *      VALUES('0231','fail','MCO');
               CALL "SUB15" USING SQLCODE
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

           .
        P140.
             DISPLAY  " "
             DISPLAY
             "===================================================="

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

      ******************** END TEST0231 *******************

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

           STOP RUN.

      *    ****  Procedures for PERFORM statements

quality95%

¤ 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.0.16Bemerkung: (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.