-- C954016.A
|
-- C954016.A
|
--
|
--
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
--
|
--
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- Check that when a task that is called by a requeue is aborted, the
|
-- Check that when a task that is called by a requeue is aborted, the
|
-- original caller receives Tasking_Error and the requeuing task is
|
-- original caller receives Tasking_Error and the requeuing task is
|
-- unaffected.
|
-- unaffected.
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- The Intermediate task requeues a call from the Original_Caller to the
|
-- The Intermediate task requeues a call from the Original_Caller to the
|
-- Receiver. While the Receiver is in the accept body for this
|
-- Receiver. While the Receiver is in the accept body for this
|
-- rendezvous the Main aborts it. Check that Tasking_Error is raised in
|
-- rendezvous the Main aborts it. Check that Tasking_Error is raised in
|
-- the Original_Caller, that the Receiver does, indeed, get aborted and
|
-- the Original_Caller, that the Receiver does, indeed, get aborted and
|
-- the Intermediate task is undisturbed.
|
-- the Intermediate task is undisturbed.
|
-- There are several delay loops in this test any one of which could
|
-- There are several delay loops in this test any one of which could
|
-- cause it to hang which would constitute failure.
|
-- cause it to hang which would constitute failure.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 25 Nov 95 SAIC Replaced shared global variable with protected
|
-- 25 Nov 95 SAIC Replaced shared global variable with protected
|
-- object for ACVC 2.0.1
|
-- object for ACVC 2.0.1
|
--
|
--
|
--!
|
--!
|
|
|
with Report;
|
with Report;
|
with ImpDef;
|
with ImpDef;
|
|
|
procedure C954016 is
|
procedure C954016 is
|
|
|
TC_Original_Caller_Complete : Boolean := false;
|
TC_Original_Caller_Complete : Boolean := false;
|
TC_Intermediate_Complete : Boolean := false;
|
TC_Intermediate_Complete : Boolean := false;
|
|
|
|
|
protected type Shared_Boolean (Initial_Value : Boolean := False) is
|
protected type Shared_Boolean (Initial_Value : Boolean := False) is
|
procedure Set_True;
|
procedure Set_True;
|
procedure Set_False;
|
procedure Set_False;
|
function Value return Boolean;
|
function Value return Boolean;
|
private
|
private
|
Current_Value : Boolean := Initial_Value;
|
Current_Value : Boolean := Initial_Value;
|
end Shared_Boolean;
|
end Shared_Boolean;
|
|
|
protected body Shared_Boolean is
|
protected body Shared_Boolean is
|
procedure Set_True is
|
procedure Set_True is
|
begin
|
begin
|
Current_Value := True;
|
Current_Value := True;
|
end Set_True;
|
end Set_True;
|
|
|
procedure Set_False is
|
procedure Set_False is
|
begin
|
begin
|
Current_Value := False;
|
Current_Value := False;
|
end Set_False;
|
end Set_False;
|
|
|
function Value return Boolean is
|
function Value return Boolean is
|
begin
|
begin
|
return Current_Value;
|
return Current_Value;
|
end Value;
|
end Value;
|
end Shared_Boolean;
|
end Shared_Boolean;
|
|
|
TC_Receiver_in_Accept : Shared_Boolean (False);
|
TC_Receiver_in_Accept : Shared_Boolean (False);
|
|
|
|
|
task Original_Caller is
|
task Original_Caller is
|
entry Start;
|
entry Start;
|
end Original_Caller;
|
end Original_Caller;
|
|
|
task Intermediate is
|
task Intermediate is
|
entry Input;
|
entry Input;
|
entry TC_Abort_Process_Complete;
|
entry TC_Abort_Process_Complete;
|
end Intermediate;
|
end Intermediate;
|
|
|
task Receiver is
|
task Receiver is
|
entry Input;
|
entry Input;
|
entry TC_Never_Called;
|
entry TC_Never_Called;
|
end Receiver;
|
end Receiver;
|
|
|
|
|
task body Original_Caller is
|
task body Original_Caller is
|
begin
|
begin
|
accept Start; -- wait for the trigger from Main
|
accept Start; -- wait for the trigger from Main
|
|
|
Intermediate.Input;
|
Intermediate.Input;
|
Report.Failed ("Tasking_Error not raised in Original_Caller task");
|
Report.Failed ("Tasking_Error not raised in Original_Caller task");
|
|
|
exception
|
exception
|
when tasking_error =>
|
when tasking_error =>
|
TC_Original_Caller_Complete := true; -- expected behavior
|
TC_Original_Caller_Complete := true; -- expected behavior
|
when others =>
|
when others =>
|
Report.Failed ("Unexpected Exception in Original_Caller task");
|
Report.Failed ("Unexpected Exception in Original_Caller task");
|
end Original_Caller;
|
end Original_Caller;
|
|
|
|
|
task body Intermediate is
|
task body Intermediate is
|
begin
|
begin
|
accept Input do
|
accept Input do
|
-- Within this accept call another task
|
-- Within this accept call another task
|
requeue Receiver.Input with abort;
|
requeue Receiver.Input with abort;
|
end Input;
|
end Input;
|
|
|
-- Wait for Main to ensure that the abort housekeeping is finished
|
-- Wait for Main to ensure that the abort housekeeping is finished
|
accept TC_Abort_Process_Complete;
|
accept TC_Abort_Process_Complete;
|
|
|
TC_Intermediate_Complete := true;
|
TC_Intermediate_Complete := true;
|
|
|
exception
|
exception
|
when others =>
|
when others =>
|
Report.Failed ("Unexpected exception in Intermediate task");
|
Report.Failed ("Unexpected exception in Intermediate task");
|
end Intermediate;
|
end Intermediate;
|
|
|
|
|
task body Receiver is
|
task body Receiver is
|
begin
|
begin
|
accept Input do
|
accept Input do
|
TC_Receiver_in_Accept.Set_True;
|
TC_Receiver_in_Accept.Set_True;
|
-- Hang within the accept body to allow Main to abort this task
|
-- Hang within the accept body to allow Main to abort this task
|
accept TC_Never_Called;
|
accept TC_Never_Called;
|
end Input;
|
end Input;
|
exception
|
exception
|
when others =>
|
when others =>
|
Report.Failed ("Unexpected Exception in Receiver Task");
|
Report.Failed ("Unexpected Exception in Receiver Task");
|
|
|
end Receiver;
|
end Receiver;
|
|
|
|
|
begin
|
begin
|
Report.Test ("C954016", "Requeue: abort the called task");
|
Report.Test ("C954016", "Requeue: abort the called task");
|
|
|
Original_Caller.Start;
|
Original_Caller.Start;
|
|
|
-- Wait till the rendezvous with Receiver is started
|
-- Wait till the rendezvous with Receiver is started
|
while not TC_Receiver_in_Accept.Value loop
|
while not TC_Receiver_in_Accept.Value loop
|
delay ImpDef.Minimum_Task_Switch;
|
delay ImpDef.Minimum_Task_Switch;
|
end loop;
|
end loop;
|
|
|
-- At this point the Receiver is guaranteed to be in its accept
|
-- At this point the Receiver is guaranteed to be in its accept
|
--
|
--
|
abort Receiver;
|
abort Receiver;
|
|
|
-- Wait for the whole of the abort process to complete
|
-- Wait for the whole of the abort process to complete
|
while not ( Original_Caller'terminated and Receiver'terminated ) loop
|
while not ( Original_Caller'terminated and Receiver'terminated ) loop
|
delay ImpDef.Minimum_Task_Switch;
|
delay ImpDef.Minimum_Task_Switch;
|
end loop;
|
end loop;
|
|
|
-- Inform the Intermediate task that the process is complete to allow
|
-- Inform the Intermediate task that the process is complete to allow
|
-- it to continue to completion itself
|
-- it to continue to completion itself
|
Intermediate.TC_Abort_Process_Complete;
|
Intermediate.TC_Abort_Process_Complete;
|
|
|
-- Wait for everything to settle before reporting the result
|
-- Wait for everything to settle before reporting the result
|
while not ( Intermediate'terminated ) loop
|
while not ( Intermediate'terminated ) loop
|
delay ImpDef.Minimum_Task_Switch;
|
delay ImpDef.Minimum_Task_Switch;
|
end loop;
|
end loop;
|
|
|
|
|
if not ( TC_Original_Caller_Complete and TC_Intermediate_Complete ) then
|
if not ( TC_Original_Caller_Complete and TC_Intermediate_Complete ) then
|
Report.Failed ("Proper paths not traversed");
|
Report.Failed ("Proper paths not traversed");
|
end if;
|
end if;
|
|
|
Report.Result;
|
Report.Result;
|
|
|
end C954016;
|
end C954016;
|
|
|
