| products/sources/formale sprachen/Coq/test-suite/bugs/closed/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: mpa004.cob Sprache: Cobol |
|
||||||
|
IDENTIFICATION DIVISION.
PROGRAM-ID. MPA004. ENVIRONMENT DIVISION. CONFIGURATION SECTION. SOURCE-COMPUTER. xyz. OBJECT-COMPUTER. xyz. DATA DIVISION. WORKING-STORAGE SECTION. * EMBEDDED COBOL (file "MPA004.PCO") **************************************************************** * * COMMENT SECTION * * DATE 1989/10/07 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. * * MPA004.PCO * WRITTEN BY: SUN DAJUN * * THIS PROGRAM IS PART A OF A TWO-PART PROGRAM(A & B) THAT * TESTS THE CONCURRENCY OF SQL * * REFERENCES * AMERICAN NATIONAL STANDARD database language - SQL * X3.135-1989 * * SECTION 4.16 Transactions * Paragraph Two **************************************************************** EXEC SQL BEGIN DECLARE SECTION END-EXEC 01 who1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 who2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 knum PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 rslt1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 rslt2 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 test1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 test2 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 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 cnt PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 code1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 times1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 pauze 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 retrys PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 i PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 tranct PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 tx PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 txls19 PIC S9(9) DISPLAY SIGN LEADING SEPARATE. 01 CXXL3T 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, mpa004.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 *concurrency tuning variables follow: MOVE 1 TO pauze MOVE 300 TO pauze2 MOVE 300 TO pauze3 MOVE 13 TO retrys MOVE 50 TO tranct EXEC SQL COMMIT WORK END-EXEC MOVE SQLCODE TO SQL-COD ******************** BEGIN TEST0268 ******************* DISPLAY " TEST0268 " DISPLAY " Reference X3.135-1989 Section 4.16 Transactions - " " DISPLAY " Paragraph Two " DISPLAY " - - - - - - - - - - - - - - - - - - -" DISPLAY "*** This program is part A of a two-part - " " DISPLAY "*** program (A & B) that tests deadlock management - " " DISPLAY "*** in SQL. An implementation which rolls back " DISPLAY "*** without a negative SQLCODE will fail" DISPLAY " This is Program A which starts first and - " waits.... " . P100. * -----Initialization----- MOVE 0 TO code1 EXEC SQL DELETE FROM MP4_NEXTKEY END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE < 0) then MOVE 1 TO code1 END-IF EXEC SQL DELETE FROM MP4_NN END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE < 0) then MOVE 1 TO code1 END-IF EXEC SQL DELETE FROM MP4_MM2 END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE < 0) then MOVE 1 TO code1 END-IF EXEC SQL INSERT INTO MP4_NEXTKEY (KEYNUM,AUTHOR) VALUES (1,'A') END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF EXEC SQL INSERT INTO MP4_NN VALUES ( 1) END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF EXEC SQL INSERT INTO MP4_MM2 VALUES ( 100) 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----- DISPLAY " PLEASE start program MPB004!!! " . P105. *pause a little *increase value of variable pauze if MPB004 has trouble * getting table MP4_NEXTKEY. MOVE 0 TO i . P106. EXEC SQL UPDATE MP4_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 MP4_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 DISPLAY " PLEASE start program MPB004!!! " GO TO P105 END-IF *YES, we are in sync! DISPLAY "Transaction A Starts!! " DISPLAY " " DISPLAY "IF this test lasts too long, DEADLOCK" DISPLAY "has taken place, STOP this test!" MOVE 0 TO times1 * -----Concurrent Transactions Loop----- . P110. MOVE 0 TO code1 if (times1 > retrys) then DISPLAY "TEST 0268 Aborted" GO TO P193 END-IF EXEC SQL SELECT NUMTEST INTO :who1 FROM MP4_NN END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF *MP4_NN UPDATE loop MOVE 0 TO i . P111. EXEC SQL UPDATE MP4_NN SET NUMTEST = NUMTEST + 3 END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF COMPUTE i = i + 1 if (i < tranct AND code1 = 0) then GO TO P111 END-IF EXEC SQL SELECT NUMTEST INTO :who2 FROM MP4_MM2 END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF *MP4_MM2 UPDATE loop MOVE 0 TO i . P112. EXEC SQL UPDATE MP4_MM2 SET NUMTEST = NUMTEST + 5 END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF COMPUTE i = i + 1 if (i < 4 AND code1 = 0) then GO TO P112 END-IF EXEC SQL SELECT NUMTEST INTO :rslt1 FROM MP4_NN END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF EXEC SQL SELECT NUMTEST INTO :rslt2 FROM MP4_MM2 END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF if (code1 = 0) then EXEC SQL COMMIT WORK END-EXEC MOVE SQLCODE TO SQL-COD END-IF if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF if (code1 = 0 OR times1 NOT = 2) then GO TO P114 END-IF DISPLAY "After 3 attempts, let Program B go first." EXEC SQL ROLLBACK WORK END-EXEC MOVE SQLCODE TO SQL-COD MOVE 0 TO cnt . P113. EXEC SQL UPDATE MP4_NEXTKEY SET KEYNUM = KEYNUM +1 END-EXEC MOVE SQLCODE TO SQL-COD COMPUTE cnt = cnt + 1 if (cnt < pauze2) then GO TO P113 END-IF EXEC SQL COMMIT WORK END-EXEC MOVE SQLCODE TO SQL-COD . P114. if (code1 NOT = 0) then DISPLAY " " DISPLAY "!+!+!+!+!+!+!+!+ DEADLOCK? - " !+!+!+!+!+!+!+!+!+!+!" DISPLAY "Negative SQLCODE (Deadlock?) was returned - " earlier" DISPLAY "!+!+!+!+!+!+!+!+ DEADLOCK? - " !+!+!+!+!+!+!+!+!+!+!" COMPUTE times1 = times1 + 1 EXEC SQL ROLLBACK WORK END-EXEC MOVE SQLCODE TO SQL-COD GO TO P110 END-IF * -----Evaluation----- *---- compute difference from original value ---- COMPUTE rslt1 = rslt1 - who1 COMPUTE rslt2 = rslt2 - who2 *---- Give Program B time to finish ----- DISPLAY "MPA004 transaction completed." MOVE 0 TO cnt . P115. EXEC SQL UPDATE MP4_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 COMPUTE tx = tranct * 3 COMPUTE txls19 = tx - 19 COMPUTE CXXL3T = 120 - (3 * tranct) . P116. MOVE 0 TO code1 DISPLAY "MPB004 should be finished by now:" *date_time print ACCEPT TO-DAY FROM DATE ACCEPT THE-TIME FROM TIME DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME EXEC SQL SELECT NUMTEST INTO :test2 FROM MP4_MM2 END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF EXEC SQL SELECT NUMTEST INTO :test1 FROM MP4_NN END-EXEC MOVE SQLCODE TO SQL-COD if (SQLCODE NOT = 0) then MOVE 1 TO code1 END-IF if (code1 = 1) then DISPLAY "Cannot select from MP4_MM2 or MP4_NN" EXEC SQL COMMIT WORK END-EXEC MOVE SQLCODE TO SQL-COD GO TO P116 END-IF DISPLAY " The correct answer is :" DISPLAY " rslt1 is ", tx DISPLAY " rslt2 is 20" DISPLAY " test1 is ", txls19 DISPLAY " test2 is ", CXXL3T DISPLAY " Your answer is :" DISPLAY " rslt1 is ", rslt1 DISPLAY " rslt2 is ", rslt2 DISPLAY " test1 is ", test1 DISPLAY " test2 is ", test2 if ( rslt1 = tx AND rslt2 = 20 AND test1 = txls19 AND test2 = CXXL3T) then DISPLAY "mpa004.pco: *** pass *** " EXEC SQL INSERT INTO HU.TESTREPORT VALUES('0268','pass','PCO') END-EXEC MOVE SQLCODE TO SQL-COD else DISPLAY "mpa004.pco: *** fail *** " EXEC SQL INSERT INTO HU.TESTREPORT VALUES('0268','fail','PCO') END-EXEC MOVE SQLCODE TO SQL-COD COMPUTE errcnt = errcnt + 1 DISPLAY "MPA004 must check the total workload" DISPLAY " after MPB004 commits its results," DISPLAY " otherwise, MPA004 will issues a false *** fail - " ***" DISPLAY "If MPA004 fails and MPA004 finished first," DISPLAY " then delete the results from TESTREPORT and - " RERUN" DISPLAY " after (using TEd) to increase the value of - " pauze3." END-IF . P193. DISPLAY " " DISPLAY "====================================================" EXEC SQL COMMIT WORK END-EXEC MOVE SQLCODE TO SQL-COD if (times1 = 0) then DISPLAY "Look for DEADLOCK message from MPB004." DISPLAY "If MPB004 does not issues a DEADLOCK message," DISPLAY " you will need to RERUN this test, after" DISPLAY " (using TEd) increasing value of variable - " tranct." END-IF ******************** END TEST0268 ******************* **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0 STOP RUN. * **** Procedures for PERFORM statements ¤ Dauer der Verarbeitung: 0.53 Sekunden (vorverarbeitet) ¤ |
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 |
