Quelle mpb002.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "MPB002.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1988/12/07 EMBEDDED 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.PCO
      * 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 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (uid  NOT  =   uidx) then
               DISPLAY "ERROR: User ", uid " expected. User ", uidx "
      -    " connected"
             STOP RUN
             END-IF
             MOVE 0 TO errcnt
             DISPLAY
           "SQL Test Suite, V6.0, Embedded COBOL, mpb002.pco"
             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 END-EXEC
             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 END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE 1 TO i
           .
        P101.
             EXEC SQL INSERT INTO MP2_MM2 VALUES (:i) END-EXEC
             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 END-EXEC
             MOVE SQLCODE TO SQL-COD

             EXEC SQL COMMIT WORK END-EXEC
             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 END-EXEC
             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 END-EXEC
             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 END-EXEC
             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 END-EXEC
             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 END-EXEC
               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 END-EXEC
               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
             END-EXEC
             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.pco: *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0231','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY "mpb002.pco: *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0231','fail','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF

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

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

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

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

           STOP RUN.

      *    ****  Procedures for PERFORM statements

quality96%

¤ Dauer der Verarbeitung: 0.14 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.