Subversion Repositories openrisc_me

-- C9A007A.ADA

--                             Grant of Unlimited Rights

--

--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,

--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 

--     this public release, the Government intends to confer upon all 

--     recipients unlimited rights  equal to those held by the Government.  

--     These rights include rights to use, duplicate, release or disclose the 

--     released technical data and computer software in whole or in part, in 

--     any manner and for any purpose whatsoever, and to have or permit others 

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

-- CHECK THAT A TASK MAY ABORT A TASK IT DEPENDS ON.

-- RM 5/26/82

-- RM 7/02/82

-- SPS 11/21/82

-- JBG 2/27/84

-- JBG 3/8/84

-- PWN 11/30/94 REMOVED PRAGMA PRIORITY INSTANCES FOR ADA 9X.

-- EDS 08/04/98 ENSURE THAT ABORTED TASKS HAVE TIME TO EFFECT THEIR ABORTIONS.

WITH IMPDEF;

WITH REPORT; USE REPORT;

WITH SYSTEM; USE SYSTEM;

PROCEDURE  C9A007A  IS

      TASK_NOT_ABORTED : BOOLEAN := FALSE;

      TEST_VALID       : BOOLEAN := TRUE ;

BEGIN

     -------------------------------------------------------------------

     TEST ( "C9A007A" , "CHECK THAT A TASK MAY ABORT A TASK" &

                        " IT DEPENDS ON"                     );

     DECLARE

          TASK  REGISTER  IS

               ENTRY  BIRTHS_AND_DEATHS;

               ENTRY  SYNC1;

               ENTRY  SYNC2;

          END  REGISTER;

          TASK BODY  REGISTER  IS

               TASK TYPE  SECONDARY  IS

                    ENTRY  WAIT_INDEFINITELY;

               END  SECONDARY;

               TASK TYPE  T_TYPE1  IS

                    ENTRY  E;

               END  T_TYPE1;

               TASK TYPE  T_TYPE2  IS

                    ENTRY  E;

               END  T_TYPE2;

               T_OBJECT1 : T_TYPE1;

               T_OBJECT2 : T_TYPE2;

               TASK BODY  SECONDARY  IS

               BEGIN

                    SYNC1;

                    ABORT  T_OBJECT1;

                    DELAY 0.0;

                    TASK_NOT_ABORTED  :=  TRUE;

               END  SECONDARY;

               TASK BODY  T_TYPE1  IS

                    TYPE  ACCESS_TO_TASK  IS  ACCESS SECONDARY;

               BEGIN

                    DECLARE

                         DEPENDENT_BY_ACCESS   :  ACCESS_TO_TASK  :=

                                                  NEW  SECONDARY ;

                    BEGIN

                         NULL;

                    END;

                    BIRTHS_AND_DEATHS;

                                     -- DURING THIS SUSPENSION

                                     --     MOST OF THE TASKS

                                     --     ARE ABORTED   (FIRST

                                     --     TASK #1    -- T_OBJECT1 --

                                     --     THEN  #2 ).

                    TASK_NOT_ABORTED := TRUE;

               END  T_TYPE1;

               TASK BODY  T_TYPE2  IS

                    TASK  INNER_TASK  IS

                         ENTRY  WAIT_INDEFINITELY;

                    END  INNER_TASK;

                    TASK BODY  INNER_TASK  IS

                    BEGIN

                         SYNC2;

                         ABORT  T_OBJECT2;

                         DELAY 0.0;

                         TASK_NOT_ABORTED  :=  TRUE;

                    END  INNER_TASK;

               BEGIN

                    BIRTHS_AND_DEATHS;

                                     -- DURING THIS SUSPENSION

                                     --     MOST OF THE TASKS

                                     --     ARE ABORTED   (FIRST

                                     --     TASK #1     -- T_OBJECT1 --

                                     --     THEN  #2 ).

                    TASK_NOT_ABORTED := TRUE;

               END  T_TYPE2;

          BEGIN

               DECLARE

                    OLD_COUNT : INTEGER := 0;

               BEGIN

                    FOR  I  IN  1..5  LOOP

                         EXIT WHEN  BIRTHS_AND_DEATHS'COUNT = 2;

                         DELAY 10.0 * Impdef.One_Second;

                    END LOOP;

                    OLD_COUNT := BIRTHS_AND_DEATHS'COUNT;

                    IF  OLD_COUNT = 2  THEN

                         ACCEPT  SYNC1;   -- ALLOWING  ABORT#1

                         DELAY IMPDEF.CLEAR_READY_QUEUE;

                         -- CHECK THAT  #1  WAS ABORTED  -  3 WAYS:

                         BEGIN

                              T_OBJECT1.E;

                              FAILED( "T_OBJECT1.E  DID NOT RAISE" &

                                                   "  TASKING_ERROR" );

                         EXCEPTION

                              WHEN TASKING_ERROR  =>

                                   NULL;

                              WHEN OTHERS  =>

                                   FAILED("OTHER EXCEPTION RAISED - 1");

                         END;

                         IF T_OBJECT1'CALLABLE  THEN

                              FAILED( "T_OBJECT1'CALLABLE = TRUE" );

                         END IF;

                         IF  OLD_COUNT - BIRTHS_AND_DEATHS'COUNT /= 1

                         THEN

                              FAILED( "TASK#1 NOT REMOVED FROM QUEUE" );

                         END IF;

                         OLD_COUNT := BIRTHS_AND_DEATHS'COUNT;

                         ACCEPT  SYNC2;   -- ALLOWING  ABORT#2

                         DELAY IMPDEF.CLEAR_READY_QUEUE;

                         -- CHECK THAT  #2  WAS ABORTED  -  3 WAYS:

                         BEGIN

                              T_OBJECT2.E;

                              FAILED( "T_OBJECT2.E  DID NOT RAISE" &

                                                   "  TASKING_ERROR" );

                         EXCEPTION

                              WHEN TASKING_ERROR  =>

                                   NULL;

                              WHEN OTHERS  =>

                                   FAILED("OTHER EXCEPTION RAISED - 2");

                         END;

                         IF T_OBJECT2'CALLABLE  THEN

                              FAILED( "T_OBJECT2'CALLABLE = TRUE" );

                         END IF;

                         IF  OLD_COUNT - BIRTHS_AND_DEATHS'COUNT /= 1

                         THEN

                              FAILED( "TASK#2 NOT REMOVED FROM QUEUE" );

                         END IF;

                         IF  BIRTHS_AND_DEATHS'COUNT /= 0  THEN

                              FAILED( "SOME TASKS STILL QUEUED" );

                         END IF;

                    ELSE

                         COMMENT( "LINEUP NOT COMPLETE (AFTER 50 S.)" );

                         TEST_VALID  :=  FALSE;

                    END IF;

               END;

               WHILE  BIRTHS_AND_DEATHS'COUNT > 0  LOOP

                    ACCEPT  BIRTHS_AND_DEATHS;

               END LOOP;

          END  REGISTER;

     BEGIN

          NULL;

     END;

     -------------------------------------------------------------------

     IF  TEST_VALID  AND  TASK_NOT_ABORTED  THEN

          FAILED( "SOME TASKS NOT ABORTED" );

     END IF;

     RESULT;

END  C9A007A;