-- C960002.A
|
-- C960002.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 the simple "delay until" when the request time is "now" and
|
-- Check that the simple "delay until" when the request time is "now" and
|
-- also some time already in the past is obeyed and returns immediately
|
-- also some time already in the past is obeyed and returns immediately
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- Simulate a task that sends a "pulse" at regular intervals. The Delay
|
-- Simulate a task that sends a "pulse" at regular intervals. The Delay
|
-- Until statement is used to avoid accumulated drift. In this test
|
-- Until statement is used to avoid accumulated drift. In this test
|
-- three simple situations simulating the start of drift are used: the
|
-- three simple situations simulating the start of drift are used: the
|
-- next pulse being called for at the normal time, the next pulse being
|
-- next pulse being called for at the normal time, the next pulse being
|
-- called for at exactly the current time and then at some time which has
|
-- called for at exactly the current time and then at some time which has
|
-- already past. We assume the delay is within a While Loop and, to
|
-- already past. We assume the delay is within a While Loop and, to
|
-- simplify the test, we "unfold" the While Loop and execute the Delays
|
-- simplify the test, we "unfold" the While Loop and execute the Delays
|
-- in a serial fashion. This loop is shown in test C960001.
|
-- in a serial fashion. This loop is shown in test C960001.
|
-- It is not possible to test the actual immediacy of the expiration. We
|
-- It is not possible to test the actual immediacy of the expiration. We
|
-- can only check that it returns in a "reasonable" time. In this case
|
-- can only check that it returns in a "reasonable" time. In this case
|
-- we check that it expires before the next "pulse" should have been
|
-- we check that it expires before the next "pulse" should have been
|
-- issued.
|
-- issued.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 06 Dec 94 SAIC ACVC 2.0
|
--
|
--
|
--!
|
--!
|
|
|
with Report;
|
with Report;
|
with ImpDef;
|
with ImpDef;
|
|
|
with Ada.Calendar;
|
with Ada.Calendar;
|
with System;
|
with System;
|
|
|
procedure C960002 is
|
procedure C960002 is
|
|
|
begin
|
begin
|
|
|
Report.Test ("C960002", "Simple Delay Until with requested time being" &
|
Report.Test ("C960002", "Simple Delay Until with requested time being" &
|
" ""now"" and time already in the past");
|
" ""now"" and time already in the past");
|
|
|
declare -- To get the Report.Result after all has completed
|
declare -- To get the Report.Result after all has completed
|
|
|
function "+" (Left : Ada.Calendar.Time; Right: Duration)
|
function "+" (Left : Ada.Calendar.Time; Right: Duration)
|
return Ada.Calendar.Time renames Ada.Calendar."+";
|
return Ada.Calendar.Time renames Ada.Calendar."+";
|
function "-" (Left : Ada.Calendar.Time; Right: Duration)
|
function "-" (Left : Ada.Calendar.Time; Right: Duration)
|
return Ada.Calendar.Time renames Ada.Calendar."-";
|
return Ada.Calendar.Time renames Ada.Calendar."-";
|
function "-" (Left, Right : Ada.Calendar.Time)
|
function "-" (Left, Right : Ada.Calendar.Time)
|
return duration renames Ada.Calendar."-";
|
return duration renames Ada.Calendar."-";
|
function ">" (Left, Right : Ada.Calendar.Time)
|
function ">" (Left, Right : Ada.Calendar.Time)
|
return Boolean renames Ada.Calendar.">";
|
return Boolean renames Ada.Calendar.">";
|
|
|
|
|
task Pulse_Task is
|
task Pulse_Task is
|
entry Trigger;
|
entry Trigger;
|
end Pulse_Task;
|
end Pulse_Task;
|
|
|
|
|
-- Task to synchronize all qualified receivers.
|
-- Task to synchronize all qualified receivers.
|
-- The entry Trigger starts the synchronization.
|
-- The entry Trigger starts the synchronization.
|
--
|
--
|
task body Pulse_Task is
|
task body Pulse_Task is
|
Pulse_Time : Ada.Calendar.Time;
|
Pulse_Time : Ada.Calendar.Time;
|
Pulse_Time_Delta : constant duration := ImpDef.Clear_Ready_Queue;
|
Pulse_Time_Delta : constant duration := ImpDef.Clear_Ready_Queue;
|
|
|
|
|
|
|
TC_Time_Back : Ada.Calendar.Time;
|
TC_Time_Back : Ada.Calendar.Time;
|
|
|
|
|
-- This routine transmits a synchronizing "pulse" to
|
-- This routine transmits a synchronizing "pulse" to
|
-- all receivers
|
-- all receivers
|
procedure Pulse is
|
procedure Pulse is
|
begin
|
begin
|
null; -- Stub
|
null; -- Stub
|
Report.Comment (".......PULSE........");
|
Report.Comment (".......PULSE........");
|
end Pulse;
|
end Pulse;
|
|
|
begin
|
begin
|
accept Trigger;
|
accept Trigger;
|
Pulse;
|
Pulse;
|
---------------
|
---------------
|
-- normal calculation for "next"
|
-- normal calculation for "next"
|
Pulse_Time := Ada.Calendar.Clock + Pulse_Time_Delta;
|
Pulse_Time := Ada.Calendar.Clock + Pulse_Time_Delta;
|
|
|
-- TC: unfold the "while" loop in C960001. Four passes through
|
-- TC: unfold the "while" loop in C960001. Four passes through
|
-- the loop are shown
|
-- the loop are shown
|
|
|
delay until Pulse_Time;
|
delay until Pulse_Time;
|
|
|
Pulse;
|
Pulse;
|
---------------
|
---------------
|
-- TC: the normal calculation for "next" would be
|
-- TC: the normal calculation for "next" would be
|
-- Pulse_Time := Pulse_Time + Pulse_Time_Delta;
|
-- Pulse_Time := Pulse_Time + Pulse_Time_Delta;
|
-- Instead of this normal pulse time calculation simulate
|
-- Instead of this normal pulse time calculation simulate
|
-- the new pulse time to be exactly "now" (or, as exactly as
|
-- the new pulse time to be exactly "now" (or, as exactly as
|
-- we can)
|
-- we can)
|
Pulse_Time := Ada.Calendar.Clock;
|
Pulse_Time := Ada.Calendar.Clock;
|
delay until Ada.Calendar.Clock;
|
delay until Ada.Calendar.Clock;
|
|
|
TC_Time_Back := Ada.Calendar.Clock;
|
TC_Time_Back := Ada.Calendar.Clock;
|
|
|
-- Now check for reasonableness
|
-- Now check for reasonableness
|
if TC_Time_Back > Pulse_Time + Pulse_Time_Delta then
|
if TC_Time_Back > Pulse_Time + Pulse_Time_Delta then
|
Report.Failed
|
Report.Failed
|
("""Now"" delayed for more than Pulse_Time_Delta - A");
|
("""Now"" delayed for more than Pulse_Time_Delta - A");
|
end if;
|
end if;
|
Pulse;
|
Pulse;
|
---------------
|
---------------
|
-- normal calculation for "next" would be
|
-- normal calculation for "next" would be
|
Pulse_Time := Pulse_Time + Pulse_Time_Delta;
|
Pulse_Time := Pulse_Time + Pulse_Time_Delta;
|
|
|
-- TC: Instead of this, simulate the new calculated pulse time
|
-- TC: Instead of this, simulate the new calculated pulse time
|
-- being already past
|
-- being already past
|
Pulse_Time := Ada.Calendar.Clock - System.Tick;
|
Pulse_Time := Ada.Calendar.Clock - System.Tick;
|
delay until Pulse_Time;
|
delay until Pulse_Time;
|
|
|
TC_Time_Back := Ada.Calendar.Clock;
|
TC_Time_Back := Ada.Calendar.Clock;
|
|
|
-- Now check for reasonableness
|
-- Now check for reasonableness
|
if TC_Time_Back > Pulse_Time + Pulse_Time_Delta then
|
if TC_Time_Back > Pulse_Time + Pulse_Time_Delta then
|
Report.Failed
|
Report.Failed
|
("""Now"" delayed for more than Pulse_Time_Delta - B");
|
("""Now"" delayed for more than Pulse_Time_Delta - B");
|
end if;
|
end if;
|
Pulse;
|
Pulse;
|
---------------
|
---------------
|
-- normal calculation for "next"
|
-- normal calculation for "next"
|
Pulse_Time := Pulse_Time + Pulse_Time_Delta;
|
Pulse_Time := Pulse_Time + Pulse_Time_Delta;
|
-- Now simulate getting back into synch
|
-- Now simulate getting back into synch
|
delay until Pulse_Time;
|
delay until Pulse_Time;
|
Pulse;
|
Pulse;
|
---------------
|
---------------
|
-- This would be the end of the "while" loop
|
-- This would be the end of the "while" loop
|
|
|
exception
|
exception
|
when others =>
|
when others =>
|
Report.Failed ("Unexpected exception in Pulse_Task");
|
Report.Failed ("Unexpected exception in Pulse_Task");
|
end Pulse_Task;
|
end Pulse_Task;
|
|
|
|
|
|
|
begin -- declare
|
begin -- declare
|
|
|
Pulse_Task.Trigger; -- Start test
|
Pulse_Task.Trigger; -- Start test
|
|
|
end; -- declare
|
end; -- declare
|
|
|
Report.Result;
|
Report.Result;
|
|
|
end C960002;
|
end C960002;
|
|
|
