CVS difference for ai12s/ai12-0171-1.txt
--- ai12s/ai12-0171-1.txt 2016/10/03 22:08:06 1.7
+++ ai12s/ai12-0171-1.txt 2016/10/06 04:09:17 1.8
@@ -1308,3 +1308,28 @@
by itself.
****************************************************************
+
+From: Tucker Taft
+Sent: Monday, October 3, 2016 3:21 PM
+
+Here is some proposed wording about what happens if two or more tasks attempt
+to call Suspend_Until_True on the same suspension object. I put it in a
+Bounded Errors section, and tried to allow for pretty much anything happening.
+[This is version /01 of the AI - Editor.]
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Monday, October 3, 2016 5:12 PM
+
+Thanks. I found it interesting that the "Editor's ramblings" became "some
+comments". :-) I updated them a bit, adding a new item to mention that AARM
+D.10(6.a) seems to indicate that the original intent is that only one task
+call Suspend_Until_True, and simplifying the last one a bit to make it more
+relevant. (I.e. one could use a PO like this if you wanted to have a
+suspension-like object that did allow multiple callers.)
+
+I also added some text to the ACATS test section (to say it's not testable).
+
+****************************************************************
+
Questions? Ask the ACAA Technical Agent