CVS difference for ais/ai-30302.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-30302.txt

--- ais/ai-30302.txt	2004/11/02 01:50:35	1.11
+++ ais/ai-30302.txt	2004/11/03 00:53:43	1.12
@@ -23867,6 +23867,33 @@
 
 ****************************************************************
 
+From: Nick Roberts
+Sent: Thursday, October 28, 2004 10:45 AM
+
+> The current rule is quite simple: if you want to use multiple tasks on a
+> single container (or any other entity of a predefined type), wrap it in a
+> protected object. Any other rule is going to be far more complex, both to
+> use and to understand.
+
+I agree with Randy on this issue. In particular, calling protected
+functions to read a wrapped container object should be something that
+multiple tasks can do in parallel (provided no protected procedures are
+in execution at the same time).
+
+I can find no functions in the latest AI (v1.10) which would themselves
+be likely to be implemented in such an impure manner that parallel calls
+could interfere with each other or the integrity of the container's state,
+but I suspect there is a possibility that the Find (plus Contains and
+Has_Element) functions /might/ be implemented like this, as well as Floor
+and Ceiling (they might modify the container's state in an effort to
+increase the speed of subsequent searches).
+
+How easy would it be to wrap a container in Ada 2005?  I guess each
+operation would have have to be explicitly wrapped (and in many cases
+this might be quite right, too).  Could this be done by renaming?
+
+****************************************************************
+
 From: Randy Brukardt
 Sent: Wednesday, October 27, 2004 11:58 PM
 
@@ -23972,6 +23999,20 @@
 
 ****************************************************************
 
+From: Nick Roberts
+Sent: Thursday, October 28, 2004  10:58 AM
+
+> ...
+> I tried to define this as a bounded error, with it being unspecified what
+> cursors are returned, but Matt convinced me that that was too hard to
+> implement, and that Insert and Delete in a passive iterator is a mistake
+> anyway. Fine; then simply checking that these don't happen is the better
+> option.
+
+I agree with this.
+
+****************************************************************
+
 From: Randy Brukardt
 Sent: Thursday, October 28, 2004 12:03 AM
 
@@ -24096,6 +24137,78 @@
 common, like Update_Element - even if it is renamed, it won't have the same
 parameter list or semantics). That means that there will be a few operations
 with odd semantics. So be it.
+
+****************************************************************
+
+From: Nick Roberts
+Sent: Thursday, October 28, 2004 11:07 AM
+
+Regarding AI95-00302-03/07 (v1.10), a few minor typos by line number:
+
+* 816, 823 [function]{procedure|operation}
+
+* 2335 [hastle]{hassle}
+
+* 3021 [Positiond oes]{Position does}
+
+* 3098, 3107, 8420, 8421 [communative]{commutative}
+
+I'll keep looking.
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
+
+****************************************************************
+
+From: Matthew Heaney
+Sent: Friday, September 2, 2004  9:31 AM
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent