products/sources/formale sprachen/Cobol/Test-Suite/SQL P/mp image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: bug_3590.v   Sprache: Coq

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


      * EMBEDDED COBOL (file "MPB007.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.
      *                                                              
      * MPB007.PCO                                                    
      * WRITTEN BY: David W. Flater                                  
      *                                                              
      * THIS PROGRAM IS PART B 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  tmpint PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  uid PIC  X(18).
       01  knum PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       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  flcnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  mxfail 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, mpb007.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 5 TO loops
             MOVE 0 TO flcnt
             MOVE 50 TO mxfail

      ******************** BEGIN TEST0507 *******************


             DISPLAY " TEST0507 "
             DISPLAY " Transactions serializable: dueling cursors"
             DISPLAY "Reference ANSI SQL-1992 section 4.28
      -    " SQL-transactions"
             DISPLAY " - - - - - - - - - - - - - - - - - - -"

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

             DISPLAY " This is Program B which starts after Program A...
      -    " "

      *                      -----Synchronization----- 
           .
        P105.
             MOVE 0 TO knum
             EXEC SQL SELECT COUNT(*)
               INTO :knum
               FROM MP7_NEXTKEY WHERE AUTHOR = 'A' 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
               DISPLAY " PLEASE start program MPA007!!! "
               GO TO P105
             END-IF

           .
        P106.
             MOVE 0 TO code1
             EXEC SQL INSERT INTO MP7_NEXTKEY (KEYNUM,AUTHOR)
               VALUES(2, 'B'END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  NOT =  0) then
               MOVE 1 TO code1
             END-IF
             if (code1  NOT =  0) then
               EXEC SQL ROLLBACK WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               DISPLAY "Retrying synchronization logic."
               GO TO P106
             END-IF

      *YES, we are in sync! 

             DISPLAY "Transaction B 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 AA for application Zook. 
             EXEC SQL DECLARE ZOOK CURSOR FOR
               SELECT BNUM FROM MP7_BB END-EXEC
             if (SQLCODE  <  0) then
               GO TO P120
             END-IF
             EXEC SQL OPEN ZOOK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             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 P120
             END-IF
             if (SQLCODE  >  0) then
               EXEC SQL COMMIT WORK END-EXEC
               MOVE SQLCODE TO SQL-COD
               DISPLAY count1 " rows moved from MP7_BB to MP7_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 P120
               END-IF
               GO TO P103
             END-IF
             EXEC SQL INSERT INTO MP7_AA VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             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 P120
             END-IF
             COMPUTE count1 = count1 + 1
             GO TO P104

           .
        P120.
             COMPUTE flcnt = flcnt + 1
             if (flcnt  >  mxfail) then
               GO TO P180
             END-IF
             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
             GO TO P101

           .
        P103.
      *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 P110
             END-IF
             EXEC SQL OPEN YOOK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             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 P110
             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 P110
               END-IF
               GO TO P166
             END-IF
             EXEC SQL INSERT INTO MP7_BB VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             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 P110
             END-IF
             COMPUTE count1 = count1 + 1
             GO TO P102

           .
        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.
             COMPUTE flcnt = flcnt + 1
             if (flcnt  >  mxfail) then
               GO TO P180
             END-IF
             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
             GO TO P103

           .
        P180.
             DISPLAY  " "
             DISPLAY "Maximum number of negative SQLCODEs exceeded"
             DISPLAY "Assuming no progress"
             DISPLAY "Program B giving up..."
             EXEC SQL ROLLBACK WORK END-EXEC
             MOVE SQLCODE TO SQL-COD

           .
        P199.
      *Finish up 

             DISPLAY  " "
             DISPLAY "Program A decides whether this was a pass or not."
             DISPLAY "Program B is now exiting."
      *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
             "===================================================="

      ******************** END TEST0507 *******************

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

      *    ****  Procedures for PERFORM statements

¤ Dauer der Verarbeitung: 0.75 Sekunden  (vorverarbeitet)  ¤





Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




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.


Bot Zugriff