Quelle mpa008.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "MPA008.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1992/07/31 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.
      *
      * MPA008.PCO
      * WRITTEN BY: David W. Flater
      *
      * THIS PROGRAM IS PART A OF A TWO-PART PROGRAM(A & B) THAT
      * TESTS THE CONCURRENCY OF SQL
      *
      * REFERENCES
      *   ANSI SQL-1992
      *     4.28  SQL-transactions
      *
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  knum PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  tmpint 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  i PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       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  code1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  pauze PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  flcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  mxfail PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  pauze2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  pauze3 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  pauze4 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  j 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, mpa008.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

             MOVE 1 TO pauze
             MOVE 1 TO flag
             MOVE 300 TO pauze3
             MOVE 0 TO flcnt
             MOVE 10 TO mxfail
             MOVE 300 TO pauze2
             MOVE 75 TO pauze4

      ******************** BEGIN TEST0517 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0517 "
             DISPLAY " Transactions serializable: Twins Problem"
             DISPLAY "Reference ANSI SQL-1992 section 4.28
      -    " SQL-transactions"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

             DISPLAY "*** This program is part A of a two-part"
             DISPLAY "*** program (A & B)."

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

           .
        P100.
      *                      -----Initialization-----
             MOVE 0 TO code1
             EXEC SQL DELETE FROM MP8_AA END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP8_AA VALUES (1,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP8_AA VALUES (2,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP8_AA VALUES (3,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP8_AA VALUES (4,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP8_AA VALUES (5,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL DELETE FROM MP8_NEXTKEY END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT
               INTO MP8_NEXTKEY (KEYNUM,AUTHOR)
               VALUES (1,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF

             if (code1  =  1) then
               DISPLAY "*****Error initializing tables ****"
               EXEC SQL ROLLBACK WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               GO TO P100
             END-IF

             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               DISPLAY "*********Setup will not commit ********"
               EXEC SQL ROLLBACK WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               GO TO P100
             END-IF

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

           .
        P105.
             DISPLAY " PLEASE start program MPB008!!! "
      *pause a little
      *increase value of variable pauze if MPB008 has trouble
      *  getting table MP8_NEXTKEY.
             MOVE 0 TO i
           .
        P106.
             EXEC SQL UPDATE MP8_NN
               SET NUMTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE i = i + 1
             if (i  <  pauze) then
               GO TO P106
             END-IF
      *end of pause

             MOVE 0 TO knum
             EXEC SQL SELECT COUNT(*)
               INTO :knum
               FROM MP8_NEXTKEY WHERE AUTHOR = 'B' END-EXEC
             MOVE SQLCODE TO SQL-COD

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

      *are we in sync?

             if (knum  =  0) then
               GO TO P105
             END-IF

      *YES, we are in sync!

             DISPLAY "Transaction A Starts!! "
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
             DISPLAY  " "
             DISPLAY "IF this test lasts too long, DEADLOCK"
             DISPLAY "has taken place, STOP this test!"
             DISPLAY  " "

             DISPLAY "Brief pause"
             MOVE 0 TO j
           .
        P122.
             EXEC SQL UPDATE MP8_NN
               SET NUMTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE j = j + 1
             if (j  <  pauze4) then
               GO TO P122
             END-IF
      *end of pause

             DISPLAY "SELECT COUNT(*) FROM MP8_AA WHERE ANUM = 3;"
             EXEC SQL SELECT COUNT(*) INTO :tmpint
               FROM MP8_AA WHERE ANUM = 3 END-EXEC
             MOVE SQLCODE TO SQL-COD

             DISPLAY "COUNT must be 1; its value is ", tmpint

             if (tmpint  NOT =  1) then
               MOVE 0 TO flag
             END-IF

           .
        P101.
             DISPLAY "DELETE FROM MP8_AA WHERE ANUM = 3;"
             EXEC SQL DELETE FROM MP8_AA
               WHERE ANUM = 3 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF

             DISPLAY "Waste time...."
             MOVE 0 TO j
           .
        P102.
             EXEC SQL UPDATE MP8_NN
               SET NUMTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE j = j + 1
             if (j  <  pauze2) then
               GO TO P102
             END-IF
      *end of pause

             DISPLAY "INSERT INTO MP8_AA VALUES (3,'A');"
             EXEC SQL INSERT INTO MP8_AA VALUES (3,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             DISPLAY "COMMIT WORK;"
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT <  0) then
               GO TO P166
             END-IF

           .
        P120.
             DISPLAY "!+!+!+!+!+!+!+!+ DEADLOCK? !+!+!+!+!+!+!+!+!+!+!"
             DISPLAY "Negative SQLCODE (Deadlock?) was returned earlier"
             DISPLAY "!+!+!+!+!+!+!+!+ DEADLOCK? !+!+!+!+!+!+!+!+!+!+!"
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
             DISPLAY "Restarting transaction"
             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE flcnt = flcnt + 1
             if (flcnt  <  mxfail) then
               GO TO P101
             END-IF
             MOVE 0 TO flcnt
             DISPLAY "Wasting some time to try to end repeated
      -    " restarts..."
             MOVE 0 TO j
           .
        P136.
             EXEC SQL UPDATE MP8_NN
               SET NUMTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE j = j + 1
             if (j  <  pauze2) then
               GO TO P136
             END-IF
      *end of pause
             GO TO P101

           .
        P166.
      *Waste time
             DISPLAY "MPA008 transaction completed--wasting time...."
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
             MOVE 0 TO cnt
           .
        P115.
             EXEC SQL UPDATE MP8_NEXTKEY
               SET KEYNUM = KEYNUM +1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE cnt = cnt + 1
             if (cnt  <  pauze3) then
               GO TO P115
             END-IF
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

           .
        P168.
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
      *Finish up
             DISPLAY "SELECT COUNT(*) FROM MP8_AA WHERE ANUM = 3;"
             EXEC SQL SELECT COUNT(*) INTO :tmpint
               FROM MP8_AA WHERE ANUM = 3 END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT = 0 ) then
               DISPLAY "Restarting final evaluation due to negative
      -    " SQLCODE."
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               GO TO P168
             END-IF

             DISPLAY "COUNT must be 1; its value is ", tmpint
             if (tmpint  NOT =  1) then
               MOVE 0 TO flag
             END-IF

             DISPLAY "SELECT COUNT(*) FROM MP8_AA WHERE AUTHOR = 'B';"
             EXEC SQL SELECT COUNT(*) INTO :tmpint
               FROM MP8_AA WHERE AUTHOR = 'B' END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT = 0 ) then
               DISPLAY "Restarting final evaluation due to negative
      -    " SQLCODE."
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               GO TO P168
             END-IF

             DISPLAY "COUNT must be 0; its value is ", tmpint
             if (tmpint  NOT =  0) then
               MOVE 0 TO flag
             END-IF

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0517','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " mpa008.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0517','fail','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
               COMPUTE errcnt = errcnt + 1
             END-IF
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

           .
        P198.
             DISPLAY  " "
             DISPLAY
             "===================================================="

      ******************** END TEST0517 *******************

      *Empty table to prevent program MPB from jumping gun on rerun.
             EXEC SQL DELETE FROM MP8_NEXTKEY END-EXEC
             MOVE SQLCODE TO SQL-COD
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0
           STOP RUN.

      *    ****  Procedures for PERFORM statements

quality95%

¤ 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.