Subversion Repositories openrisc_me

-- C974012.A

--

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

--*

--

-- OBJECTIVE:

--      Check that the abortable part of an asynchronous select statement is

--      aborted if it does not complete before the triggering statement

--      completes, where the triggering statement is a call on a protected

--      entry which is queued.

--

-- TEST DESCRIPTION:

--      A fraction of in-line code is simulated.  A voltage deficiency causes

--      the routine to seek an alternate best-cost route on an electrical grid

--      system.

--

--      An asynchronous select is used with the triggering alternative being a

--      call to a protected entry with a barrier.  The abortable part is a

--      routine simulating the lengthy alternate path negotiation.  The entry

--      barrier would be cleared if the voltage deficiency is rectified before

--      the alternate can be found thus nullifying the need for the alternate.

--

--      The test simulates a return to normal in the middle of the

--      negotiation.  The barrier is cleared, the triggering alternative

--      completes first and the abortable part should be aborted.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

with Report;

with ImpDef;

procedure C974012 is

   subtype Grid_Path is string(1..21);

   subtype Deficiency is integer range 100..1_000;   -- in MWh

   New_Path         : Grid_Path;

   Dummy_Deficiency : Deficiency := 520;

   Path_Available   : Boolean    := false;

   TC_Terminate_Negotiation_Executed  : Boolean := false;

   TC_Trigger_Completed               : Boolean := false;

   TC_Negotiation_Completed           : Boolean := false;

   protected Local_Deficit is

      procedure Set_Good_Voltage;

      procedure Bad_Voltage;

      entry Terminate_Negotiation;

   private

      Good_Voltage   : Boolean := false;   -- barrier

   end Local_Deficit;

   protected body Local_Deficit is

      procedure Set_Good_Voltage is

      begin

         Good_Voltage := true;

      end Set_Good_Voltage;

      procedure Bad_Voltage is

      begin

         Good_Voltage := false;

      end Bad_Voltage;

      -- Trigger is queued on this entry with barrier condition

      entry Terminate_Negotiation when Good_Voltage is

      begin

         -- complete the triggering call thus terminating grid_path

         -- negotiation.

         null; --::: stub - signal main board

         TC_Terminate_Negotiation_Executed := true;   -- show path traversal

      end Terminate_Negotiation;

   end Local_Deficit;

   -- Routine to find the most cost effective grid path for this

   -- particular deficiency at this particular time

   --

   procedure Path_Negotiation (Requirement : in  Deficiency;

                               Best_Path   : out Grid_Path  ) is

      Dummy_Path : Grid_Path := "NYC.425_NY.227_NH.132";

      Match : Deficiency := Report.Ident_Int (Requirement);

   begin

      --

      null; --::: stub

      --

      -- Simulate a lengthy path negotiation

      for i in 1..5 loop

         delay ImpDef.Minimum_Task_Switch;

         -- Part of the way through the negotiation simulate some external

         -- event returning the voltage to acceptable level

         if i = 3 then

            Local_Deficit.Set_Good_Voltage;   -- clear the barrier

         end if;

      end loop;

      Best_Path := Dummy_Path;

      TC_Negotiation_Completed := true;

   end Path_Negotiation;

begin

   Report.Test ("C974012", "Asynchronous Select: Trigger is queued on a " &

                           "protected entry and completes before the " &

                           "abortable part");

   -- :::::::::   Fragment of code

   Local_Deficit.Bad_Voltage;      -- Set barrier condition

   -- For the given voltage deficiency start negotiating the best grid

   -- path.  If voltage returns to acceptable level cancel the negotiation

   --

   select

      -- Prepare to terminate the Path_Negotiation if voltage improves

      Local_Deficit.Terminate_Negotiation;

      TC_Trigger_Completed := true;

   then abort

      Path_Negotiation (Dummy_Deficiency, New_Path) ;

      Path_Available := true;

   end select;

   -- :::::::::

   if not TC_Terminate_Negotiation_Executed or else not

                                               TC_Trigger_Completed then

      Report.Failed ("Unexpected test path taken");

   end if;

   if Path_Available or else TC_Negotiation_Completed then

      Report.Failed ("Abortable part was not aborted");

   end if;

   Report.Result;

end C974012;