CVS difference for arm/source/rt.mss

Differences between 1.80 and version 1.81
Log of other versions for file arm/source/rt.mss

--- arm/source/rt.mss	2008/04/19 05:43:18	1.80
+++ arm/source/rt.mss	2008/07/08 03:31:49	1.81
@@ -1,7 +1,7 @@
 @Comment{ $Source: e:\\cvsroot/ARM/Source/rt.mss,v $ }
-@comment{ $Revision: 1.80 $ $Date: 2008/04/19 05:43:18 $ $Author: randy $ }
+@comment{ $Revision: 1.81 $ $Date: 2008/07/08 03:31:49 $ $Author: randy $ }
 @Part(realtime, Root="ada.mss")
-@Comment{$Date: 2008/04/19 05:43:18 $}
+@Comment{$Date: 2008/07/08 03:31:49 $}
 
 @LabeledNormativeAnnex{Real-Time Systems}
 
@@ -4964,11 +4964,27 @@
 is raised.]}
 
 @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00297-01]}
+@ChgRef{Version=[3],Kind=[Revised],ARef=[AI05-0094-1]}
 @ChgAdded{Version=[2],Text=[If a procedure Set_Handler is called with zero or
 negative In_Time or with At_Time indicating a time in the past then the handler
-is executed immediately by the task executing the call of Set_Handler. The
-timing event Event is cleared.]}
+is executed @Chg{Version=[3],New=[as soon as possible after the completion of],
+Old=[immediately by the task executing]} the call of Set_Handler.@Chg{Version=[3],
+New=[],Old=[ The timing event Event is cleared.]}]}
 
+@begin{Ramification}
+@ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0094-1]}
+@ChgAdded{Version=[3],Text=[The handler will still be executed. Under no
+circumstances is a scheduled call of a handler lost.]}
+@end{Ramification}
+
+@begin{Discussion}
+@ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0094-1]}
+@ChgAdded{Version=[3],Text=[We say @ldquote@;as soon as possible@rdquote
+so that we do not deadlock if we are executing the handler when Set_Handler is
+called. In that case, the current invocation of the handler must complete
+before the new handler can start executing.]}
+@end{Discussion}
+
 @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00297-01]}
 @ChgAdded{Version=[2],Text=[The function Current_Handler returns the handler
 associated with the event Event if that event is set; otherwise it returns
@@ -5071,4 +5087,11 @@
   @ChgAdded{Version=[2],Text=[@Defn{extensions to Ada 95}
   The package Real_Time.Timing_Events is new.]}
 @end{Extend95}
+
+@begin{Diffword95}
+  @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0094-1]}
+  @ChgAdded{Version=[3],Text=[@b<Corrigendum 2:> Reworded to eliminate a
+  deadlock condition if the event time is in the past and a handler is currently
+  executing.]}
+@end{Diffword95}
 

Questions? Ask the ACAA Technical Agent