with Impdef;
WITH REPORT; USE REPORT;
PROCEDURE C97307A IS
BEGIN
TEST ("C97307A", "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");
DECLARE
DELAY_TIME : CONSTANT DURATION := 2 * 60.0 * Impdef.One_Second;
TASK EXPIRED IS
ENTRY INCREMENT;
ENTRY READ (COUNT : OUT NATURAL);
END EXPIRED;
TASK TYPE NON_TIMED_CALLER IS
ENTRY NAME (N : NATURAL);
END NON_TIMED_CALLER;
TASK TYPE TIMED_CALLER IS
ENTRY NAME (N : NATURAL);
END TIMED_CALLER;
CALLER1 : TIMED_CALLER;
CALLER2 : NON_TIMED_CALLER;
CALLER3 : TIMED_CALLER;
CALLER4 : NON_TIMED_CALLER;
CALLER5 : TIMED_CALLER;
TASK T IS
ENTRY E (NAME : NATURAL);
END T;
TASK DISPATCH IS
ENTRY READY;
END DISPATCH;
TASK BODY EXPIRED IS
EXPIRED_CALLS : NATURAL := 0;
BEGIN
LOOP
SELECT
ACCEPT INCREMENT DO
EXPIRED_CALLS := EXPIRED_CALLS + 1;
END INCREMENT;
OR
ACCEPT READ (COUNT : OUT NATURAL) DO
COUNT := EXPIRED_CALLS;
END READ;
OR
TERMINATE;
END SELECT;
END LOOP;
END EXPIRED;
TASK BODY NON_TIMED_CALLER IS
MY_NAME : NATURAL;
BEGIN
ACCEPT NAME (N : NATURAL) DO
MY_NAME := N;
END NAME;
T.E (MY_NAME);
END NON_TIMED_CALLER;
TASK BODY TIMED_CALLER IS
MY_NAME : NATURAL;
BEGIN
ACCEPT NAME (N : NATURAL) DO
MY_NAME := N;
END NAME;
SELECT
T.E (MY_NAME);
FAILED ("TIMED ENTRY CALL NOT CANCELED FOR CALLER" &
NATURAL'IMAGE(MY_NAME));
OR
DELAY DELAY_TIME;
EXPIRED.INCREMENT;
END SELECT;
EXCEPTION
WHEN OTHERS =>
FAILED ("EXCEPTION RAISED IN TIMED_CALLER -- " &
"CALLER" & NATURAL'IMAGE(MY_NAME));
END TIMED_CALLER;
TASK BODY DISPATCH IS
BEGIN
CALLER1.NAME (1);
ACCEPT READY;
CALLER2.NAME (2);
ACCEPT READY;
CALLER3.NAME (3);
ACCEPT READY;
CALLER4.NAME (4);
ACCEPT READY;
CALLER5.NAME (5);
END DISPATCH;
TASK BODY T IS
DESIRED_QUEUE_LENGTH : NATURAL := 1;
EXPIRED_CALLS : NATURAL;
ACCEPTED : ARRAY (1..5) OF NATURAL RANGE 0..5
:= (OTHERS => 0);
ACCEPTED_INDEX : NATURAL := 0;
BEGIN
LOOP
LOOP
EXPIRED.READ (EXPIRED_CALLS);
EXIT WHEN E'COUNT >= DESIRED_QUEUE_LENGTH -
EXPIRED_CALLS;
DELAY 2.0 * Impdef.One_Second;
END LOOP;
EXIT WHEN DESIRED_QUEUE_LENGTH = 5;
DISPATCH.READY;
DESIRED_QUEUE_LENGTH := DESIRED_QUEUE_LENGTH + 1;
END LOOP;
DELAY DELAY_TIME + 10.0 * Impdef.One_Second;
WHILE E'COUNT > 0 LOOP
ACCEPT E (NAME : NATURAL) DO
ACCEPTED_INDEX := ACCEPTED_INDEX + 1;
ACCEPTED (ACCEPTED_INDEX) := NAME;
END E;
END LOOP;
IF ACCEPTED /= (2, 4, 0, 0, 0) THEN
FAILED ("SOME TIMED CALLS NOT REMOVED FROM ENTRY " &
"QUEUE");
COMMENT ("ORDER ACCEPTED WAS:" &
NATURAL'IMAGE (ACCEPTED (1)) & ',' &
NATURAL'IMAGE (ACCEPTED (2)) & ',' &
NATURAL'IMAGE (ACCEPTED (3)) & ',' &
NATURAL'IMAGE (ACCEPTED (4)) & ',' &
NATURAL'IMAGE (ACCEPTED (5)) );
END IF;
END T;
BEGIN
NULL;
END;
RESULT;
END C97307A;