URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c940002.a] - Rev 384
Compare with Previous | Blame | View Log
-- C940002.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 a protected object provides coordinated access to shared
-- data. Check that it can implement a semaphore-like construct using a
-- parameterless procedure which allows a specific maximum number of tasks
-- to run and excludes all others
--
-- TEST DESCRIPTION:
-- Implement a counting semaphore type that can be initialized to a
-- specific number of available resources. Declare an entry for
-- requesting a resource and a procedure for releasing it. Declare an
-- object of this type, initialized to two resources. Declare and start
-- three tasks each of which asks for a resource. Verify that only two
-- resources are granted and that the last task in is queued.
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
--
--!
package C940002_0 is
-- Semaphores
protected type Semaphore_Type (Resources_Available : Integer :=1) is
entry Request;
procedure Release;
function Available return Integer;
private
Currently_Available : Integer := Resources_Available;
end Semaphore_Type;
Max_Resources : constant Integer := 2;
Resource : Semaphore_Type (Max_Resources);
end C940002_0;
-- Semaphores;
--========================================================--
package body C940002_0 is
-- Semaphores
protected body Semaphore_Type is
entry Request when Currently_Available >0 is -- when granted, secures
begin -- a resource
Currently_Available := Currently_Available - 1;
end Request;
procedure Release is -- when called, releases
begin -- a resource
Currently_Available := Currently_Available + 1;
end Release;
function Available return Integer is -- returns number of
begin -- available resources
return Currently_Available;
end Available;
end Semaphore_Type;
end C940002_0;
-- Semaphores;
--========================================================--
package C940002_1 is
-- Task_Pkg
task type Requesting_Task is
entry Done; -- call on Done instructs the task
end Requesting_Task; -- to release resource
type Task_Ptr is access Requesting_Task;
protected Counter is
procedure Increment;
procedure Decrement;
function Number return integer;
private
Count : Integer := 0;
end Counter;
protected Hold_Lock is
procedure Lock;
procedure Unlock;
function Locked return Boolean;
private
Lock_State : Boolean := true; -- starts out locked
end Hold_Lock;
end C940002_1;
-- Task_Pkg
--========================================================--
with Report;
with C940002_0;
-- Semaphores;
package body C940002_1 is
-- Task_Pkg is
protected body Counter is
procedure Increment is
begin
Count := Count + 1;
end Increment;
procedure Decrement is
begin
Count := Count - 1;
end Decrement;
function Number return Integer is
begin
return Count;
end Number;
end Counter;
protected body Hold_Lock is
procedure Lock is
begin
Lock_State := true;
end Lock;
procedure Unlock is
begin
Lock_State := false;
end Unlock;
function Locked return Boolean is
begin
return Lock_State;
end Locked;
end Hold_Lock;
task body Requesting_Task is
begin
C940002_0.Resource.Request; -- request a resource
-- if resource is not available,
-- task will be queued to wait
Counter.Increment; -- add to count of resources obtained
Hold_Lock.Unlock; -- and unlock Lock - system is stable;
-- status may now be queried
accept Done do -- hold resource until Done is called
C940002_0.Resource.Release; -- release the resource and
Counter.Decrement; -- note release
end Done;
exception
when others => Report.Failed ("Unexpected Exception in Requesting_Task");
end Requesting_Task;
end C940002_1;
-- Task_Pkg;
--========================================================--
with Report;
with ImpDef;
with C940002_0,
-- Semaphores,
C940002_1;
-- Task_Pkg;
procedure C940002 is
package Semaphores renames C940002_0;
package Task_Pkg renames C940002_1;
Ptr1,
Ptr2,
Ptr3 : Task_Pkg.Task_Ptr;
Num : Integer;
procedure Spinlock is
begin
-- loop until unlocked
while Task_Pkg.Hold_Lock.Locked loop
delay ImpDef.Minimum_Task_Switch;
end loop;
Task_Pkg.Hold_Lock.Lock;
end Spinlock;
begin
Report.Test ("C940002", "Check that a protected record can be used to " &
"control access to resources");
if (Task_Pkg.Counter.Number /=0)
or (Semaphores.Resource.Available /= 2) then
Report.Failed ("Wrong initial conditions");
end if;
Ptr1 := new Task_Pkg.Requesting_Task; -- newly allocated task requests
-- resource; request for resource should
-- be granted
Spinlock; -- ensure that task obtains resource
-- Task 1 waiting for call to Done
-- One resource assigned to task 1
-- One resource still available
if (Task_Pkg.Counter.Number /= 1)
or (Semaphores.Resource.Available /= 1) then
Report.Failed ("Resource not assigned to task 1");
end if;
Ptr2 := new Task_Pkg.Requesting_Task; -- newly allocated task requests
-- resource; request for resource should
-- be granted
Spinlock; -- ensure that task obtains resource
-- Task 1 waiting for call to Done
-- Task 2 waiting for call to Done
-- Resources held by tasks 1 and 2
-- No resources available
if (Task_Pkg.Counter.Number /= 2)
or (Semaphores.Resource.Available /= 0) then
Report.Failed ("Resource not assigned to task 2");
end if;
Ptr3 := new Task_Pkg.Requesting_Task; -- newly allocated task requests
-- resource; request for resource should
-- be denied and task queued to wait for
-- next available resource
Ptr1.all.Done; -- Task 1 releases resource and lock
-- Resource should be given to queued task
Spinlock; -- ensure that resource is released
-- Task 1 holds no resource
-- One resource still assigned to task 2
-- One resource assigned to task 3
-- No resources available
if (Task_Pkg.Counter.Number /= 2)
or (Semaphores.Resource.Available /= 0) then
Report.Failed ("Resource not properly released/assigned to task 3");
end if;
Ptr2.all.Done; -- Task 2 releases resource and lock
-- No outstanding request for resource
-- Tasks 1 and 2 hold no resources
-- One resource assigned to task 3
-- One resource available
if (Task_Pkg.Counter.Number /= 1)
or (Semaphores.Resource.Available /= 1) then
Report.Failed ("Resource not properly released from task 2");
end if;
Ptr3.all.Done; -- Task 3 releases resource and lock
-- All resources released
-- All tasks terminated (or close)
-- Two resources available
if (Task_Pkg.Counter.Number /=0)
or (Semaphores.Resource.Available /= 2) then
Report.Failed ("Resource not properly released from task 3");
end if;
Report.Result;
end C940002;