URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c954022.a] - Rev 867
Go to most recent revision | Compare with Previous | Blame | View Log
-- C954022.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:
-- In an entry body requeue the call to the same entry. Check that the
-- items go to the right queue and that they are placed back on the end
-- of the queue
--
-- TEST DESCRIPTION:
-- Simulate part of a message handling application where the messages are
-- composed of several segments. The sequence of the segments within the
-- message is specified by Seg_Sequence_No. The segments are handled by
-- different tasks and finally forwarded to an output driver. The
-- segments can arrive in any order but must be assembled into the proper
-- sequence for final output. There is a Sequencer task interposed
-- before the Driver. This takes the segments of the message off the
-- Ordering_Queue and those that are in the right order it sends on to
-- the driver; those that are out of order it places back on the end of
-- the queue.
--
-- The test just simulates the arrival of the segments at the Sequencer.
-- The task generating the segments handshakes with the Sequencer during
-- the "Await Arrival" phase ensuring that the three segments of a
-- message arrive in REVERSE order (the End-of-Message segment arrives
-- first and the Header last). In the first cycle the sequencer pulls
-- segments off the queue and puts them back on the end till it
-- encounters the header. It checks the sequence of the ones it pulls
-- off in case the segments are being put back on in the wrong part of
-- the queue. Having cycled once through it no longer verifies the
-- sequence - it just executes the "application" code for the correct
-- order for dispatch to the driver.
--
-- In this simple example no attempt is made to address segments of
-- another message arriving or any other error conditions (such as
-- missing segments, timing etc.)
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 07 Nov 95 SAIC ACVC 2.0.1
--
--!
with Report;
with ImpDef;
procedure C954022 is
-- These global Booleans are set when failure conditions inside Protected
-- objects are encountered. Report.Failed cannot be called within
-- the object or a Bounded Error would occur
--
TC_Failed_1 : Boolean := false;
TC_Failed_2 : Boolean := false;
TC_Failed_3 : Boolean := false;
begin
Report.Test ("C954022", "Check Requeue to the same Protected Entry");
declare -- encapsulate the test
type Segment_Sequence is range 1..8;
Header : constant Segment_Sequence := Segment_Sequence'first;
type Message_Segment is record
ID : integer; -- Message ID
Seg_Sequence_No : Segment_Sequence; -- Within the message
Segs_In_Message : integer; -- Total segs this message
EOM : Boolean := false; -- true for final msg segment
Alpha : string (1..128);
end record;
type acc_Message_Segment is access Message_Segment;
task TC_Simulate_Arrival;
task type Carrier_Task is
entry Input ( Segment : acc_Message_Segment );
end Carrier_Task;
type acc_Carrier_Task is access Carrier_Task;
protected Sequencer is
function TC_Arrivals return integer;
entry Input ( Segment : acc_Message_Segment );
entry Ordering_Queue ( Segment : acc_Message_Segment );
private
Number_of_Segments_Arrived : integer := 0;
Number_of_Segments_Expected : integer := 0;
Next_Needed : Segment_Sequence := Header;
All_Segments_Arrived : Boolean := false;
Seen_EOM : Boolean := false;
TC_First_Cycle : Boolean := true;
TC_Expected_Sequence : Segment_Sequence := Header+2;
end Sequencer;
task Output_Driver is
entry Input ( Segment : acc_Message_Segment );
end Output_Driver;
-- Simulate the arrival of three message segments in REVERSE order
--
task body TC_Simulate_Arrival is
begin
for i in 1..3 loop
declare
-- Create a task for the next message segment
Next_Segment_Task : acc_Carrier_Task := new Carrier_Task;
-- Create a record for the next segment
Next_Segment : acc_Message_Segment := new Message_Segment;
begin
if i = 1 then
-- Build the EOM segment as the first to "send"
Next_Segment.Seg_Sequence_No := Header + 2;
Next_Segment.Segs_In_Message := 3;
Next_Segment.EOM := true;
elsif i = 2 then
-- Wait for the first segment to arrive at the Sequencer
-- before "sending" the second
while Sequencer.TC_Arrivals < 1 loop
delay ImpDef.Minimum_Task_Switch;
end loop;
-- Build the segment
Next_Segment.Seg_Sequence_No := Header +1;
else
-- Wait for the second segment to arrive at the Sequencer
-- before "sending" the third
while Sequencer.TC_Arrivals < 2 loop
delay ImpDef.Minimum_Task_Switch;
end loop;
-- Build the segment. The last segment (in order) to
-- arrive will be the "header" segment
Next_Segment.Seg_Sequence_No := Header;
end if;
-- pass the record to its carrier
Next_Segment_Task.Input ( Next_Segment );
end;
end loop;
exception
when others =>
Report.Failed ("Unexpected Exception in TC_Simulate_Arrival");
end TC_Simulate_Arrival;
-- One of these is generated for each message segment and the flow
-- of the segments through the system is controlled by the calls the
-- task makes and the requeues of those calls
--
task body Carrier_Task is
This_Segment : acc_Message_Segment := new Message_Segment;
begin
accept Input ( Segment : acc_Message_Segment ) do
This_Segment.all := Segment.all;
end Input;
null; --:: stub. Pass the segment around the application as needed
-- Now output the segment to the Output_Driver. First we have to
-- go through the Sequencer.
Sequencer.Input ( This_Segment );
exception
when others =>
Report.Failed ("Unexpected Exception in Carrier_Task");
end Carrier_Task;
-- Store segments on the Ordering_Queue then deliver them in the correct
-- sequence to the Output_Driver.
--
protected body Sequencer is
function TC_Arrivals return integer is
begin
return Number_of_Segments_Arrived;
end TC_Arrivals;
-- Segments arriving at the Input queue are counted and checked
-- against the total number of segments for the message. They
-- are requeued onto the ordering queue where they are held until
-- all the segments have arrived.
entry Input ( Segment : acc_Message_Segment ) when true is
begin
-- check for EOM, if so get the number of segments in the message
-- Note: in this portion of code no attempt is made to address
-- reset for new message , end conditions, missing segments,
-- segments of a different message etc.
Number_of_Segments_Arrived := Number_of_Segments_Arrived + 1;
if Segment.EOM then
Number_of_Segments_Expected := Segment.Segs_In_Message;
Seen_EOM := true;
end if;
if Seen_EOM then
if Number_of_Segments_Arrived = Number_of_Segments_Expected then
-- This is the last segment for this message
All_Segments_Arrived := true; -- clear the barrier
end if;
end if;
requeue Ordering_Queue;
-- At this exit point the entry queue barriers are evaluated
end Input;
entry Ordering_Queue ( Segment : acc_Message_Segment )
when All_Segments_Arrived is
begin
--=====================================================
-- This part is all Test_Control code
if TC_First_Cycle then
-- Check the order of the original three
if Segment.Seg_Sequence_No /= TC_Expected_Sequence then
-- The segments are not being pulled off in the
-- expected sequence. This could occur if the
-- requeue is not putting them back on the end.
TC_Failed_3 := true;
end if; -- sequence check
-- Decrement the expected sequence
if TC_Expected_Sequence /= Header then
TC_Expected_Sequence := TC_Expected_Sequence - 1;
else
TC_First_Cycle := false; -- This is the Header - the
-- first two segments are
-- back on the queue
end if; -- decrementing
end if; -- first cycle
--=====================================================
-- And this is the Application code
if Segment.Seg_Sequence_No = Next_Needed then
if Segment.EOM then
Next_Needed := Header; -- reset for next message
-- :: other resets not shown
else
Next_Needed := Next_Needed + 1;
end if;
requeue Output_Driver.Input with abort;
-- set to Report Failed - Requeue did not complete entry body
TC_Failed_1 := true;
else
-- Not the next needed - put it back on the queue
-- NOTE: here we are requeueing to the same entry
requeue Sequencer.Ordering_Queue;
-- set to Report Failed - Requeue did not complete entry body
TC_Failed_2 := true;
end if;
end Ordering_Queue;
end Sequencer;
task body Output_Driver is
This_Segment : acc_Message_Segment := new Message_Segment;
TC_Expected_Sequence : Segment_Sequence := Segment_Sequence'first;
TC_Segment_Total : integer := 0;
TC_Expected_Total : integer := 3;
begin
loop
-- Note: normally we would expect this Accept to be in a select
-- with terminate. For the test we exit the loop on completion
-- to give better control
accept Input ( Segment : acc_Message_Segment ) do
This_Segment.all := Segment.all;
end Input;
null; --::: stub - output the next segment of the message
-- The following is all test control code
--
if This_Segment.Seg_Sequence_No /= TC_Expected_Sequence then
Report.Failed ("Output_Driver: Segment out of sequence");
end if;
TC_Expected_Sequence := TC_Expected_Sequence + 1;
-- Now count the number of segments
TC_Segment_Total := TC_Segment_Total + 1;
-- Check the number and exit loop when complete
-- There must be exactly TC_Expected_Total in number and
-- the last one must be EOM
-- (test will hang if < TC_Expected_Total arrive
-- without EOM)
if This_Segment.EOM then
-- This is the last segment.
if TC_Segment_Total /= TC_Expected_Total then
Report.Failed ("EOM and wrong number of segments");
end if;
exit; -- the loop and terminate the task
elsif TC_Segment_Total = TC_Expected_Total then
Report.Failed ("No EOM found");
exit;
end if;
end loop;
exception
when others =>
Report.Failed ("Unexpected Exception in Output_Driver");
end Output_Driver;
begin
null;
end; -- encapsulation
if TC_Failed_1 then
Report.Failed ("Requeue did not complete entry body - 1");
end if;
if TC_Failed_2 then
Report.Failed ("Requeue did not complete entry body - 2");
end if;
if TC_Failed_3 then
Report.Failed ("Sequencer: Segment out of sequence");
end if;
Report.Result;
end C954022;
Go to most recent revision | Compare with Previous | Blame | View Log