URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c960002.a] - Rev 294
Compare with Previous | Blame | View Log
-- C960002.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:
-- 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
--
-- TEST DESCRIPTION:
-- Simulate a task that sends a "pulse" at regular intervals. The Delay
-- Until statement is used to avoid accumulated drift. In this test
-- three simple situations simulating the start of drift are used: the
-- 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
-- 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
-- in a serial fashion. This loop is shown in test C960001.
-- 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
-- we check that it expires before the next "pulse" should have been
-- issued.
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
--
--!
with Report;
with ImpDef;
with Ada.Calendar;
with System;
procedure C960002 is
begin
Report.Test ("C960002", "Simple Delay Until with requested time being" &
" ""now"" and time already in the past");
declare -- To get the Report.Result after all has completed
function "+" (Left : Ada.Calendar.Time; Right: Duration)
return Ada.Calendar.Time renames Ada.Calendar."+";
function "-" (Left : Ada.Calendar.Time; Right: Duration)
return Ada.Calendar.Time renames Ada.Calendar."-";
function "-" (Left, Right : Ada.Calendar.Time)
return duration renames Ada.Calendar."-";
function ">" (Left, Right : Ada.Calendar.Time)
return Boolean renames Ada.Calendar.">";
task Pulse_Task is
entry Trigger;
end Pulse_Task;
-- Task to synchronize all qualified receivers.
-- The entry Trigger starts the synchronization.
--
task body Pulse_Task is
Pulse_Time : Ada.Calendar.Time;
Pulse_Time_Delta : constant duration := ImpDef.Clear_Ready_Queue;
TC_Time_Back : Ada.Calendar.Time;
-- This routine transmits a synchronizing "pulse" to
-- all receivers
procedure Pulse is
begin
null; -- Stub
Report.Comment (".......PULSE........");
end Pulse;
begin
accept Trigger;
Pulse;
---------------
-- normal calculation for "next"
Pulse_Time := Ada.Calendar.Clock + Pulse_Time_Delta;
-- TC: unfold the "while" loop in C960001. Four passes through
-- the loop are shown
delay until Pulse_Time;
Pulse;
---------------
-- TC: the normal calculation for "next" would be
-- Pulse_Time := Pulse_Time + Pulse_Time_Delta;
-- Instead of this normal pulse time calculation simulate
-- the new pulse time to be exactly "now" (or, as exactly as
-- we can)
Pulse_Time := Ada.Calendar.Clock;
delay until Ada.Calendar.Clock;
TC_Time_Back := Ada.Calendar.Clock;
-- Now check for reasonableness
if TC_Time_Back > Pulse_Time + Pulse_Time_Delta then
Report.Failed
("""Now"" delayed for more than Pulse_Time_Delta - A");
end if;
Pulse;
---------------
-- normal calculation for "next" would be
Pulse_Time := Pulse_Time + Pulse_Time_Delta;
-- TC: Instead of this, simulate the new calculated pulse time
-- being already past
Pulse_Time := Ada.Calendar.Clock - System.Tick;
delay until Pulse_Time;
TC_Time_Back := Ada.Calendar.Clock;
-- Now check for reasonableness
if TC_Time_Back > Pulse_Time + Pulse_Time_Delta then
Report.Failed
("""Now"" delayed for more than Pulse_Time_Delta - B");
end if;
Pulse;
---------------
-- normal calculation for "next"
Pulse_Time := Pulse_Time + Pulse_Time_Delta;
-- Now simulate getting back into synch
delay until Pulse_Time;
Pulse;
---------------
-- This would be the end of the "while" loop
exception
when others =>
Report.Failed ("Unexpected exception in Pulse_Task");
end Pulse_Task;
begin -- declare
Pulse_Task.Trigger; -- Start test
end; -- declare
Report.Result;
end C960002;