Subversion Repositories openrisc_me

-- C951001.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 two procedures in a protected object will not be

--      executed concurrently.

--

-- TEST DESCRIPTION:

--      A very simple example of two tasks calling two procedures in the same

--      protected object is used.  Test control code has been added to the

--      procedures such that, whichever gets called first executes a lengthy

--      calculation giving sufficient time (on a multiprocessor or a

--      time-slicing machine) for the other task to get control and call the

--      other procedure.  The control code verifies that entry to the second

--      routine is postponed until the first is complete.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

with Report;

with ImpDef;

procedure C951001 is

   protected Ramp_31 is

      procedure Add_Meter_Queue;

      procedure Subtract_Meter_Queue;

      function  TC_Failed return Boolean;

   private

      Ramp_Count : integer range 0..20 := 4;  -- Start test with some

                                              -- vehicles on the ramp

      TC_Add_Started       : Boolean := false;

      TC_Subtract_Started  : Boolean := false;

      TC_Add_Finished      : Boolean := false;

      TC_Subtract_Finished : Boolean := false;

      TC_Concurrent_Running: Boolean := false;

   end Ramp_31;

   protected body Ramp_31 is

      function TC_Failed return Boolean is

      begin

         -- this indicator will have been set true if any instance

         -- of concurrent running has been proved

         return TC_Concurrent_Running;

      end TC_Failed;

      procedure Add_Meter_Queue is

      begin

         --==================================================

         -- This section is all Test_Control code

         TC_Add_Started := true;

         if TC_Subtract_Started then

            if not TC_Subtract_Finished then

               TC_Concurrent_Running := true;

            end if;

         else

            -- Subtract has not started.

            -- Execute a lengthy routine to give it a chance to do so

            ImpDef.Exceed_Time_Slice;

            if TC_Subtract_Started then

               -- Subtract was able to start so we have concurrent

               -- running and the test has failed

               TC_Concurrent_Running := true;

            end if;

         end if;

         TC_Add_Finished := true;

         --==================================================

         Ramp_Count := Ramp_Count + 1;

      end Add_Meter_Queue;

      procedure Subtract_Meter_Queue is

      begin

         --==================================================

         -- This section is all Test_Control code

         TC_Subtract_Started := true;

         if TC_Add_Started then

            if not TC_Add_Finished then

               -- We already have concurrent running

               TC_Concurrent_Running := true;

            end if;

         else

            -- Add has not started.

            -- Execute a lengthy routine to give it a chance to do so

            ImpDef.Exceed_Time_Slice;

            if TC_Add_Started then

               -- Add was able to start so we have concurrent

               -- running and the test has failed

               TC_Concurrent_Running := true;

            end if;

         end if;

         TC_Subtract_Finished := true;

         --==================================================

         Ramp_Count := Ramp_Count - 1;

      end Subtract_Meter_Queue;

   end Ramp_31;

begin

   Report.Test ("C951001", "Check that two procedures in a protected" &

                           " object will not be executed concurrently");

   declare -- encapsulate the test

      task Vehicle_1;

      task Vehicle_2;

      -- Vehicle_1 and Vehicle_2 are simulations of Instances of the task

      -- of type Vehicle in different stages of execution

      task body Vehicle_1 is

      begin

         null;  -- ::::: stub.  preparation code

         -- Add to the count of vehicles on the queue

         Ramp_31.Add_Meter_Queue;

         null;  -- ::::: stub:  wait at the meter then pass to first sensor

         -- Reduce the count of vehicles on the queue

         null;  -- ::::: stub: Ramp_31.Subtract_Meter_Queue

      exception

         when others =>

               Report.Failed ("Unexpected Exception in Vehicle_1 task");

      end Vehicle_1;

      task body Vehicle_2 is

      begin

         null;  -- ::::: stub.  preparation code

         -- Add to the count of vehicles on the queue

         null;  -- ::::: stub Ramp_31.Add_Meter_Queue;

         null;  -- ::::: stub:  wait at the meter then pass to first sensor

         -- Reduce the count of vehicles on the queue

         Ramp_31.Subtract_Meter_Queue;

      exception

         when others =>

               Report.Failed ("Unexpected Exception in Vehicle_2 task");

      end Vehicle_2;

   begin

      null;

   end;   -- encapsulation

   if Ramp_31.TC_Failed then

      Report.Failed ("Concurrent Running detected");

   end if;

   Report.Result;

end C951001;