Quelle mpa002.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "MPA002.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.
      *
      * MPA002.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  dol1 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  code1 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, mpa002.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 A 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.
      -    " "

             DISPLAY " This is Program A which starts first and
      -    " waits.... "

      *                      -----Initialization-----
           .
        P100.
             MOVE 0 TO code1
             EXEC SQL DELETE FROM MP2_NEXTKEY END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0)  then
               MOVE 1 TO code1
             END-IF
             MOVE 1 TO keyval
           .
        P101.
             EXEC SQL INSERT
               INTO MP2_NEXTKEY (KEYNUM,AUTHOR,DOLLARS)
               VALUES (:keyval,'A',500) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             COMPUTE keyval = keyval + 1
             if (keyval  <  1001) then
               GO TO P101
             END-IF

             DISPLAY "1000 rows inserted into MP2_NEXTKEY "

             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
             DISPLAY "MPA002: sum of accounts 1, 500, and 999 starts at
      -    " $", dollar
             DISPLAY "sum should be $1500 initially "

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             if (code1  =  1) then
               DISPLAY " Cannot initialize MP2_NEXTKEY"
               GO TO P100
             END-IF
             DISPLAY "MPA002: account 1 has $500 and account 500 has
      -    " $500"

      *                      -----Synchronization-----
           .
        P102.

      *pause a little
             EXEC SQL DELETE FROM MP2_NN END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE 1 TO i
           .
        P103.
             EXEC SQL INSERT INTO MP2_NN VALUES (:i) END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE i = i + 1
             if (i  <  pauze) then
               GO TO P103
             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 " PLEASE start program MPB002!!! "
               GO TO P102
             END-IF

      *YES, we are in sync!
             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 dol1
             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 :dol1
               FROM MP2_NEXTKEY  WHERE KEYNUM = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO iserr
               GO TO P901
             END-IF

             COMPUTE dol500 = dol500 - 5
             COMPUTE dol1   = dol1   + 5

             EXEC SQL UPDATE MP2_NEXTKEY
               SET DOLLARS = :dol1    WHERE KEYNUM = 1 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 "MPA002: account 1 has $", dol1 " and account
      -    " 500 has $", dol500
               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  >  5) then
               COMPUTE concur = concur + 1
               DISPLAY " *** A 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 for MP2_NEXTKEY"
               GO TO P130
             END-IF
             DISPLAY " MPA002: sum of accounts 1, 500, and 999 = $",
             dollar
             DISPLAY " sum should be $1500 after transferring
      -    " money"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

             if (concur  <  3  AND  dollar  =  1500) then
               DISPLAY " Insufficient interleaving to demonstrate
      -    " concurrency!"
               DISPLAY " Using TEd, decrease variable pauze to start"
               DISPLAY " MPA002 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 "mpa002.pco: *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0231','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY "mpa002.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%

¤ 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.2Bemerkung: (vorverarbeitet) ¤

*Bot Zugriff

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.