CVS difference for ai05s/ai05-0168-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0168-1.txt

--- ai05s/ai05-0168-1.txt	2009/10/23 03:40:35	1.1
+++ ai05s/ai05-0168-1.txt	2010/02/20 04:02:07	1.2
@@ -1,5 +1,5 @@
-!standard  D.10(4)                                   09-10-22    AI05-0168-1/01
-!standard  D.10(10)
+!standard  D.10(5)                                   10-02-18    AI05-0168-1/02
+!standard  D.10(11)
 !class Amendment 09-10-22
 !status work item 09-10-22
 !status received 09-10-22
@@ -40,7 +40,28 @@
 
 !wording
 
-** TBD **
+Add after D.10(5):
+
+The following language-defined library package exists:
+
+with Ada.Real_Time;
+package Ada.Synchronous_Task_Control.EDF is
+  procedure Suspend_Until_True_And_Set_Deadline
+    (S : in out Suspension_Object;
+     TS : in Ada.Real_Time.Time_Span);
+end Ada.Synchronous_Task_Control.EDF;
+
+The procedure Suspend_Until_True_And_Set_Deadline blocks the calling task until
+the state of the object S is True: at that point the task becomes ready with a
+deadline of Ada.Real_Time.Clock + TS, and the state of the object becomes
+False.
+
+Add after D.10(11):
+
+NOTE: More complex schemes, such as setting the deadline relative
+to when Set_True is called, can be programmed using a protected
+object.
+
 
 !discussion
 

Questions? Ask the ACAA Technical Agent