-- C97307A.ADA
|
-- C97307A.ADA
|
|
|
-- 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.
|
--*
|
--*
|
-- CHECK THAT A TIMED ENTRY CALL THAT IS CANCELED (BECAUSE THE DELAY HAS
|
-- CHECK THAT A TIMED ENTRY CALL THAT IS CANCELED (BECAUSE THE DELAY HAS
|
-- EXPIRED) IS REMOVED FROM THE QUEUE OF THE CALLED TASK'S ENTRY.
|
-- EXPIRED) IS REMOVED FROM THE QUEUE OF THE CALLED TASK'S ENTRY.
|
|
|
-- WRG 7/14/86
|
-- WRG 7/14/86
|
|
|
with Impdef;
|
with Impdef;
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
PROCEDURE C97307A IS
|
PROCEDURE C97307A IS
|
|
|
BEGIN
|
BEGIN
|
|
|
TEST ("C97307A", "CHECK THAT A TIMED ENTRY CALL THAT IS " &
|
TEST ("C97307A", "CHECK THAT A TIMED ENTRY CALL THAT IS " &
|
"CANCELED (BECAUSE THE DELAY HAS EXPIRED) IS " &
|
"CANCELED (BECAUSE THE DELAY HAS EXPIRED) IS " &
|
"REMOVED FROM THE QUEUE OF THE CALLED TASK'S " &
|
"REMOVED FROM THE QUEUE OF THE CALLED TASK'S " &
|
"ENTRY");
|
"ENTRY");
|
|
|
DECLARE
|
DECLARE
|
|
|
DELAY_TIME : CONSTANT DURATION := 2 * 60.0 * Impdef.One_Second;
|
DELAY_TIME : CONSTANT DURATION := 2 * 60.0 * Impdef.One_Second;
|
|
|
TASK EXPIRED IS
|
TASK EXPIRED IS
|
ENTRY INCREMENT;
|
ENTRY INCREMENT;
|
ENTRY READ (COUNT : OUT NATURAL);
|
ENTRY READ (COUNT : OUT NATURAL);
|
END EXPIRED;
|
END EXPIRED;
|
|
|
TASK TYPE NON_TIMED_CALLER IS
|
TASK TYPE NON_TIMED_CALLER IS
|
ENTRY NAME (N : NATURAL);
|
ENTRY NAME (N : NATURAL);
|
END NON_TIMED_CALLER;
|
END NON_TIMED_CALLER;
|
|
|
TASK TYPE TIMED_CALLER IS
|
TASK TYPE TIMED_CALLER IS
|
ENTRY NAME (N : NATURAL);
|
ENTRY NAME (N : NATURAL);
|
END TIMED_CALLER;
|
END TIMED_CALLER;
|
|
|
CALLER1 : TIMED_CALLER;
|
CALLER1 : TIMED_CALLER;
|
CALLER2 : NON_TIMED_CALLER;
|
CALLER2 : NON_TIMED_CALLER;
|
CALLER3 : TIMED_CALLER;
|
CALLER3 : TIMED_CALLER;
|
CALLER4 : NON_TIMED_CALLER;
|
CALLER4 : NON_TIMED_CALLER;
|
CALLER5 : TIMED_CALLER;
|
CALLER5 : TIMED_CALLER;
|
|
|
TASK T IS
|
TASK T IS
|
ENTRY E (NAME : NATURAL);
|
ENTRY E (NAME : NATURAL);
|
END T;
|
END T;
|
|
|
TASK DISPATCH IS
|
TASK DISPATCH IS
|
ENTRY READY;
|
ENTRY READY;
|
END DISPATCH;
|
END DISPATCH;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
TASK BODY EXPIRED IS
|
TASK BODY EXPIRED IS
|
EXPIRED_CALLS : NATURAL := 0;
|
EXPIRED_CALLS : NATURAL := 0;
|
BEGIN
|
BEGIN
|
LOOP
|
LOOP
|
SELECT
|
SELECT
|
ACCEPT INCREMENT DO
|
ACCEPT INCREMENT DO
|
EXPIRED_CALLS := EXPIRED_CALLS + 1;
|
EXPIRED_CALLS := EXPIRED_CALLS + 1;
|
END INCREMENT;
|
END INCREMENT;
|
OR
|
OR
|
ACCEPT READ (COUNT : OUT NATURAL) DO
|
ACCEPT READ (COUNT : OUT NATURAL) DO
|
COUNT := EXPIRED_CALLS;
|
COUNT := EXPIRED_CALLS;
|
END READ;
|
END READ;
|
OR
|
OR
|
TERMINATE;
|
TERMINATE;
|
END SELECT;
|
END SELECT;
|
END LOOP;
|
END LOOP;
|
END EXPIRED;
|
END EXPIRED;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
TASK BODY NON_TIMED_CALLER IS
|
TASK BODY NON_TIMED_CALLER IS
|
MY_NAME : NATURAL;
|
MY_NAME : NATURAL;
|
BEGIN
|
BEGIN
|
ACCEPT NAME (N : NATURAL) DO
|
ACCEPT NAME (N : NATURAL) DO
|
MY_NAME := N;
|
MY_NAME := N;
|
END NAME;
|
END NAME;
|
|
|
T.E (MY_NAME);
|
T.E (MY_NAME);
|
END NON_TIMED_CALLER;
|
END NON_TIMED_CALLER;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
TASK BODY TIMED_CALLER IS
|
TASK BODY TIMED_CALLER IS
|
MY_NAME : NATURAL;
|
MY_NAME : NATURAL;
|
BEGIN
|
BEGIN
|
ACCEPT NAME (N : NATURAL) DO
|
ACCEPT NAME (N : NATURAL) DO
|
MY_NAME := N;
|
MY_NAME := N;
|
END NAME;
|
END NAME;
|
|
|
SELECT
|
SELECT
|
T.E (MY_NAME);
|
T.E (MY_NAME);
|
FAILED ("TIMED ENTRY CALL NOT CANCELED FOR CALLER" &
|
FAILED ("TIMED ENTRY CALL NOT CANCELED FOR CALLER" &
|
NATURAL'IMAGE(MY_NAME));
|
NATURAL'IMAGE(MY_NAME));
|
OR
|
OR
|
DELAY DELAY_TIME;
|
DELAY DELAY_TIME;
|
EXPIRED.INCREMENT;
|
EXPIRED.INCREMENT;
|
END SELECT;
|
END SELECT;
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("EXCEPTION RAISED IN TIMED_CALLER -- " &
|
FAILED ("EXCEPTION RAISED IN TIMED_CALLER -- " &
|
"CALLER" & NATURAL'IMAGE(MY_NAME));
|
"CALLER" & NATURAL'IMAGE(MY_NAME));
|
END TIMED_CALLER;
|
END TIMED_CALLER;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
TASK BODY DISPATCH IS
|
TASK BODY DISPATCH IS
|
BEGIN
|
BEGIN
|
CALLER1.NAME (1);
|
CALLER1.NAME (1);
|
ACCEPT READY;
|
ACCEPT READY;
|
|
|
CALLER2.NAME (2);
|
CALLER2.NAME (2);
|
ACCEPT READY;
|
ACCEPT READY;
|
|
|
CALLER3.NAME (3);
|
CALLER3.NAME (3);
|
ACCEPT READY;
|
ACCEPT READY;
|
|
|
CALLER4.NAME (4);
|
CALLER4.NAME (4);
|
ACCEPT READY;
|
ACCEPT READY;
|
|
|
CALLER5.NAME (5);
|
CALLER5.NAME (5);
|
END DISPATCH;
|
END DISPATCH;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
TASK BODY T IS
|
TASK BODY T IS
|
|
|
DESIRED_QUEUE_LENGTH : NATURAL := 1;
|
DESIRED_QUEUE_LENGTH : NATURAL := 1;
|
EXPIRED_CALLS : NATURAL;
|
EXPIRED_CALLS : NATURAL;
|
|
|
ACCEPTED : ARRAY (1..5) OF NATURAL RANGE 0..5
|
ACCEPTED : ARRAY (1..5) OF NATURAL RANGE 0..5
|
:= (OTHERS => 0);
|
:= (OTHERS => 0);
|
ACCEPTED_INDEX : NATURAL := 0;
|
ACCEPTED_INDEX : NATURAL := 0;
|
|
|
BEGIN
|
BEGIN
|
LOOP
|
LOOP
|
LOOP
|
LOOP
|
EXPIRED.READ (EXPIRED_CALLS);
|
EXPIRED.READ (EXPIRED_CALLS);
|
EXIT WHEN E'COUNT >= DESIRED_QUEUE_LENGTH -
|
EXIT WHEN E'COUNT >= DESIRED_QUEUE_LENGTH -
|
EXPIRED_CALLS;
|
EXPIRED_CALLS;
|
DELAY 2.0 * Impdef.One_Second;
|
DELAY 2.0 * Impdef.One_Second;
|
END LOOP;
|
END LOOP;
|
EXIT WHEN DESIRED_QUEUE_LENGTH = 5;
|
EXIT WHEN DESIRED_QUEUE_LENGTH = 5;
|
DISPATCH.READY;
|
DISPATCH.READY;
|
DESIRED_QUEUE_LENGTH := DESIRED_QUEUE_LENGTH + 1;
|
DESIRED_QUEUE_LENGTH := DESIRED_QUEUE_LENGTH + 1;
|
END LOOP;
|
END LOOP;
|
|
|
-- AT THIS POINT, FIVE TASKS WERE QUEUED.
|
-- AT THIS POINT, FIVE TASKS WERE QUEUED.
|
-- LET THE TIMED ENTRY CALLS ISSUED BY CALLER1,
|
-- LET THE TIMED ENTRY CALLS ISSUED BY CALLER1,
|
-- CALLER3, AND CALLER5 EXPIRE:
|
-- CALLER3, AND CALLER5 EXPIRE:
|
|
|
DELAY DELAY_TIME + 10.0 * Impdef.One_Second;
|
DELAY DELAY_TIME + 10.0 * Impdef.One_Second;
|
|
|
-- AT THIS POINT, ALL THE TIMED ENTRY CALLS MUST HAVE
|
-- AT THIS POINT, ALL THE TIMED ENTRY CALLS MUST HAVE
|
-- EXPIRED AND BEEN REMOVED FROM THE ENTRY QUEUE FOR E,
|
-- EXPIRED AND BEEN REMOVED FROM THE ENTRY QUEUE FOR E,
|
-- OTHERWISE THE IMPLEMENTATION HAS FAILED THIS TEST.
|
-- OTHERWISE THE IMPLEMENTATION HAS FAILED THIS TEST.
|
|
|
WHILE E'COUNT > 0 LOOP
|
WHILE E'COUNT > 0 LOOP
|
ACCEPT E (NAME : NATURAL) DO
|
ACCEPT E (NAME : NATURAL) DO
|
ACCEPTED_INDEX := ACCEPTED_INDEX + 1;
|
ACCEPTED_INDEX := ACCEPTED_INDEX + 1;
|
ACCEPTED (ACCEPTED_INDEX) := NAME;
|
ACCEPTED (ACCEPTED_INDEX) := NAME;
|
END E;
|
END E;
|
END LOOP;
|
END LOOP;
|
|
|
IF ACCEPTED /= (2, 4, 0, 0, 0) THEN
|
IF ACCEPTED /= (2, 4, 0, 0, 0) THEN
|
FAILED ("SOME TIMED CALLS NOT REMOVED FROM ENTRY " &
|
FAILED ("SOME TIMED CALLS NOT REMOVED FROM ENTRY " &
|
"QUEUE");
|
"QUEUE");
|
COMMENT ("ORDER ACCEPTED WAS:" &
|
COMMENT ("ORDER ACCEPTED WAS:" &
|
NATURAL'IMAGE (ACCEPTED (1)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (1)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (2)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (2)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (3)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (3)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (4)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (4)) & ',' &
|
NATURAL'IMAGE (ACCEPTED (5)) );
|
NATURAL'IMAGE (ACCEPTED (5)) );
|
END IF;
|
END IF;
|
END T;
|
END T;
|
|
|
--------------------------------------------------
|
--------------------------------------------------
|
|
|
BEGIN
|
BEGIN
|
|
|
NULL;
|
NULL;
|
|
|
END;
|
END;
|
|
|
RESULT;
|
RESULT;
|
|
|
END C97307A;
|
END C97307A;
|
|
|