CVS difference for 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