Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Ada Reference Manual (Ada 2022)Legal Information
Contents   Index   References   Search   Previous   Next 

D.10.1 Synchronous Barriers

1/3
This subclause introduces a language-defined package to synchronously release a group of tasks after the number of blocked tasks reaches a specified count value. 

Static Semantics

2/3
The following language-defined library package exists: 
3/5
package Ada.Synchronous_Barriers
   with Preelaborate, Nonblocking, Global => in out synchronized is
4/3
   subtype Barrier_Limit is Positive range 1 .. implementation-defined;
5/3
   type Synchronous_Barrier (Release_Threshold : Barrier_Limit) is limited private;
6/5
   procedure Wait_For_Release (The_Barrier : in out Synchronous_Barrier;
                               Notified    :    out Boolean)
      with Nonblocking => False;
7/3
private
   -- not specified by the language
end Ada.Synchronous_Barriers;
8/3
Type Synchronous_Barrier needs finalization (see 7.6). 

Dynamic Semantics

9/3
Each call to Wait_For_Release blocks the calling task until the number of blocked tasks associated with the Synchronous_Barrier object is equal to Release_Threshold, at which time all blocked tasks are released. Notified is set to True for one of the released tasks, and set to False for all other released tasks.
10/3
The mechanism for determining which task sets Notified to True is implementation defined.
11/3
Once all tasks have been released, a Synchronous_Barrier object may be reused to block another Release_Threshold number of tasks.
12/3
As the first step of the finalization of a Synchronous_Barrier, each blocked task is unblocked and Program_Error is raised at the place of the call to Wait_For_Release.
13/3
It is implementation defined whether an abnormal task which is waiting on a Synchronous_Barrier object is aborted immediately or aborted when the tasks waiting on the object are released. 
14/5
This paragraph was deleted.

Bounded (Run-Time) Errors

15/3
It is a bounded error to call Wait_For_Release on a Synchronous_Barrier object after that object is finalized. If the error is detected, Program_Error is raised. Otherwise, the call proceeds normally, which may leave a task blocked forever. 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe