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_1618.v   Sprache: Coq

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


      * EMBEDDED COBOL (file "MPB009.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.
      *                                                              
      * MPB009.PCO                                                    
      * WRITTEN BY: David W. Flater                                  
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *                                                              
      * THIS PROGRAM IS PART B OF A TWO-PART PROGRAM(A & B) THAT     
      * TESTS THE CONCURRENCY OF DYNAMIC SQL                         
      *                                                              
      ****************************************************************


           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).
       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  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
             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, mpb009.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 TEST0847 *******************

             DISPLAY " TEST0847 "
             DISPLAY " Dynamic SQL: serializability"
             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 MP9_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 MPA009!!! "
               GO TO P105
             END-IF

           .
        P106.
             MOVE 0 TO code1
             EXEC SQL INSERT INTO MP9_NEXTKEY (KEYNUM,AUTHOR)
               VALUES(2, 'B'END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               MOVE 1 TO code1
             END-IF
             EXEC SQL COMMIT WORK END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  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

             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 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 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  =  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 P120
               END-IF
               GO TO P103
             END-IF
             EXEC SQL INSERT INTO MP9_AA VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P120
             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 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 ERTY END-EXEC
             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  =  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 P110
               END-IF
               GO TO P166
             END-IF
             EXEC SQL INSERT INTO MP9_BB VALUES (:tmpint) END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  <  0) then
               GO TO P110
             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 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 failures 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 TEST0847 *******************

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

¤ Dauer der Verarbeitung: 0.27 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




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