Impressum mpa007.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "MPA007.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1992/07/17 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.
      *
      * MPA007.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  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).
             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
             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, mpa007.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 TEST0507 *******************
             MOVE 1 TO flag

             DISPLAY " TEST0507 "
             DISPLAY " Transactions serializable: dueling cursors"
             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 MP7_AA END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (1) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (2) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (3) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (4) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (5) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL DELETE FROM MP7_BB END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (6) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (7) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (8) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (9) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (10) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL DELETE FROM MP7_NEXTKEY END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL INSERT
               INTO MP7_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 MPB007!!! "
      *pause a little
      *increase value of variable pauze if MPB007 has trouble
      *  getting table MP7_NEXTKEY.
             MOVE 0 TO i
           .
        P106.
             EXEC SQL UPDATE MP7_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 MP7_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

      *We hired a couple of summer students to write application
      *programs.  The first one wrote application Yook, which
      *only works if all the data are in table BB, and table AA
      *is empty.  The second one wrote application Zook, which
      *only works if all the data are in table AA, and table BB
      *is empty.  The table names were hard-coded everywhere, so
      *rather than rewrite everything we just had another summer
      *student add code to move the data into the right table
      *before each application starts up.  This more or less
      *solved the problem, but we have to be careful not to have
      *two people trying to run the applications simultaneously.

           .
        P101.
      *Move all data into table BB for application Yook.
             EXEC SQL DECLARE YOOK CURSOR FOR
               SELECT ANUM FROM MP7_AA END-EXEC
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             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  >  0) then
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               DISPLAY count1 " rows moved from MP7_AA to MP7_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
               GO TO P103
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             EXEC SQL DELETE FROM MP7_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 MP7_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
               SELECT BNUM FROM MP7_BB END-EXEC
             if (SQLCODE  <  0) then
               GO TO P110
             END-IF
             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  >  0) then
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
      *date_time print
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME
               DISPLAY count1 " rows moved from MP7_BB to MP7_AA."
               if (SQLCODE  <  0) then
                 GO TO P110
               END-IF
               GO TO P166
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             END-IF
             EXEC SQL DELETE FROM MP7_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 MP7_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 "MPA007 transaction completed--wasting time...."
             MOVE 0 TO cnt
           .
        P115.
             EXEC SQL UPDATE MP7_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
      -    " MP7_AA;"
             EXEC SQL SELECT COUNT(DISTINCT ANUM) INTO :cnt1 FROM MP7_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 MP7_AA;"
             EXEC SQL SELECT COUNT(*) INTO :cnt2 FROM MP7_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
      -    " MP7_BB;"
             EXEC SQL SELECT COUNT(DISTINCT BNUM) INTO :cnt1 FROM MP7_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 MP7_BB;"
             EXEC SQL SELECT COUNT(*) INTO :cnt2 FROM MP7_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('0507','pass','PCO') END-EXEC
               MOVE SQLCODE TO SQL-COD
             else
               DISPLAY " mpa007.pco *** fail *** "
               EXEC SQL INSERT INTO HU.TESTREPORT
                 VALUES('0507','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 TEST0507 *******************

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

quality93%

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