CVS difference for ai12s/ai12-0171-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0171-1.txt

--- ai12s/ai12-0171-1.txt	2016/03/22 06:19:04	1.4
+++ ai12s/ai12-0171-1.txt	2016/06/01 04:59:37	1.5
@@ -1208,3 +1208,31 @@
 profiles going forward, but of course I know just enough to cause trouble. :-)
 
 ****************************************************************
+
+From: Jeff Cousins
+Sent: Wednesday, May 18, 2016  1:58 PM
+
+Alan - what was the outcome of the IRTAW discussions on this?
+
+****************************************************************
+
+From: Alan Burns
+Sent: Friday, May 20, 2016  2:33 AM
+
+Yes IRTAW did discuss these issue at length, sorry for being slow in
+reporting.
+
+The view of the IRTAW was that
+
+1) The definition of Synchronous task control should not be changed;
+concurrent calls to \texttt{Suspend\_Until\_True} are not defined to be
+atomic and hence suspension objects cannot be shared between tasks
+
+2) Synchronous Barriers should not be included in the Ravenscar profile.
+The resistance to changes to Ravenscar is high, and there are work rounds.
+
+IRTAW also discussed an AI for more effective EDF task scheduling, and an
+AI for a profile that is more expressive than Ravenscar. These will be
+forwarded to the ARG.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent