Quelle mpa009.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "MPA009.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1995/03/23 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.
      *
      * MPA009.PCO
      * WRITTEN BY: David W. Flater
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      * THIS PROGRAM IS PART A OF A TWO-PART PROGRAM(A & B) THAT
      * TESTS THE CONCURRENCY OF DYNAMIC SQL
      *
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  knum PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cnt1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  cnt2 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).
       01  dstmt PIC  X(50).
             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  count1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  loops 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  flag PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  j PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  tmpcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  flg1 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
             EXEC SQL ROLLBACK WORK 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, mpa009.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 5 TO loops
             MOVE 0 TO flcnt
             MOVE 10 TO mxfail
             MOVE 100 TO pauze2

      ******************** BEGIN TEST0847 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0847 "
             DISPLAY " Dynamic SQL: serializability"
             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 MP9_AA END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (1) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (2) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (3) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (4) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (5) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL DELETE FROM MP9_BB END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (6) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (7) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (8) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (9) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (10) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL DELETE FROM MP9_NEXTKEY END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT
               INTO MP9_NEXTKEY (KEYNUM,AUTHOR)
               VALUES (1,'A') END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  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  <  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 MPB009!!! "
      *pause a little
      *increase value of variable pauze if MPB009 has trouble
      *  getting table MP9_NEXTKEY.
             MOVE 0 TO i
           .
        P106.
             EXEC SQL UPDATE MP9_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 MP9_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!"

             MOVE 1 TO i

             MOVE "SELECT ANUM FROM MP9_AA
      -    " " TO dstmt
             EXEC SQL PREPARE ERTY FROM :dstmt END-EXEC
             MOVE SQLCODE TO SQL-COD
             MOVE "SELECT BNUM FROM MP9_BB
      -    " " TO dstmt
             EXEC SQL PREPARE ZERTY FROM :dstmt END-EXEC
             MOVE SQLCODE TO SQL-COD

           .
        P101.
      *Move all data into table BB for application Yook.
             EXEC SQL DECLARE YOOK CURSOR FOR ERTY END-EXEC
             EXEC SQL OPEN YOOK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             MOVE 0 TO count1

           .
        P102.
             EXEC SQL FETCH YOOK INTO :tmpint END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             if (SQLCODE  =  100) then
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               DISPLAY count1 " rows moved from MP9_AA to MP9_BB."
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
               if (SQLCODE  <  0) then
                 GO TO P120
               END-IF
               if (count1  NOT =  10  AND  count1  NOT =  5  AND  count1
              NOT =  0) then
                 MOVE 0 TO flag
               END-IF
               if (i  NOT =  1  AND  count1 =  5) then
                 MOVE 0 TO flag
               END-IF
               GO TO P103
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             EXEC SQL DELETE FROM MP9_AA WHERE CURRENT OF YOOK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             COMPUTE count1 = count1 + 1
             GO TO P102

           .
        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 ", i "A."
             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 MP9_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

           .
        P103.
      *Move all data into table AA for application Zook.
             EXEC SQL DECLARE ZOOK CURSOR FOR ZERTY END-EXEC
             EXEC SQL OPEN ZOOK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             END-IF
             MOVE 0 TO count1

           .
        P104.
             EXEC SQL FETCH ZOOK INTO :tmpint END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             END-IF
             if (SQLCODE  =  100) then
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               DISPLAY count1 " rows moved from MP9_BB to MP9_AA."
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
               if (SQLCODE  <  0) then
                 GO TO P110
               END-IF
               if (count1  NOT =  10  AND  count1  NOT =  0) then
                 MOVE 0 TO flag
               END-IF
               GO TO P166
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             END-IF
             EXEC SQL DELETE FROM MP9_BB WHERE CURRENT OF ZOOK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             END-IF
             COMPUTE count1 = count1 + 1
             GO TO P104

           .
        P166.
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
             DISPLAY "Survived transaction ", i "."
             if (i  NOT <  loops) then
               GO TO P199
             END-IF
             COMPUTE i = i + 1
             GO TO P101

           .
        P110.
             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 ", i "B."
             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE flcnt = flcnt + 1
             if (flcnt  <  mxfail) then
               GO TO P103
             END-IF
             MOVE 0 TO flcnt
             DISPLAY "Wasting some time to try to end repeated
      -    " restarts..."
             MOVE 0 TO j
           .
        P137.
             EXEC SQL UPDATE MP9_NN
               SET NUMTEST = 1 END-EXEC
             MOVE SQLCODE TO SQL-COD
             COMPUTE j = j + 1
             if (j  <  pauze2) then
               GO TO P137
             END-IF
      *end of pause
             GO TO P103

           .
        P199.
      *Waste time
             DISPLAY "MPA009 transaction completed--wasting time...."
             MOVE 0 TO cnt
           .
        P115.
             EXEC SQL UPDATE MP9_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

      *Finish up

      *All the data must end up in one table in order for the
      *transactions to be serializable.  It is not permissible
      *for a simultaneous swap of the contents of the two tables
      *to occur.  One transaction or the other MUST go first.

           .
        P201.
      *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 "SELECT COUNT(DISTINCT ANUM) INTO :cnt1 FROM
      -    " MP9_AA;"
             EXEC SQL SELECT COUNT(DISTINCT ANUM) INTO :cnt1 FROM MP9_AA
             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 P201
             END-IF
             DISPLAY "SELECT COUNT(*) INTO :cnt2 FROM MP9_AA;"
             EXEC SQL SELECT COUNT(*) INTO :cnt2 FROM MP9_AA 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 P201
             END-IF
             DISPLAY "cnt1 = ", cnt1 "; cnt2 = ", cnt2
             DISPLAY "They should be equal."
             if (cnt1  NOT =  cnt2) then
               MOVE 0 TO flag
             END-IF
             DISPLAY "tmpcnt = cnt1;"
             MOVE cnt1 TO tmpcnt

             DISPLAY  " "
             DISPLAY "SELECT COUNT(DISTINCT BNUM) INTO :cnt1 FROM
      -    " MP9_BB;"
             EXEC SQL SELECT COUNT(DISTINCT BNUM) INTO :cnt1 FROM MP9_BB
             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 P201
             END-IF
             DISPLAY "SELECT COUNT(*) INTO :cnt2 FROM MP9_BB;"
             EXEC SQL SELECT COUNT(*) INTO :cnt2 FROM MP9_BB 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 P201
             END-IF
             DISPLAY "cnt1 = ", cnt1 "; cnt2 = ", cnt2
             DISPLAY "They should be equal."
             if (cnt1  NOT =  cnt2) then
               MOVE 0 TO flag
             END-IF

             DISPLAY  " "
             DISPLAY "We must also have either (cnt1 == 10 && tmpcnt ==
      -    " 0)"
             DISPLAY " or (cnt1 == 0 && tmpcnt == 10)."

             MOVE 0 TO flg1
             if (cnt1  =  10  AND  tmpcnt  =  0) then
               MOVE 1 TO flg1
             END-IF
             if (cnt1  =  0  AND  tmpcnt  =  10) then
               MOVE 1 TO flg1
             END-IF
             if (flg1  =  0) then
               MOVE 0 TO flag
             END-IF

             if ( flag  =  1 ) then
               DISPLAY " *** pass *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0847','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " mpa009.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0847','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 TEST0847 *******************

      *Empty table to prevent program MPB from jumping gun on rerun.
             EXEC SQL DELETE FROM MP9_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.

quality93%

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