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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0410-1.txt

--- ai12s/ai12-0410-1.txt	2020/12/04 07:59:30	1.2
+++ ai12s/ai12-0410-1.txt	2021/01/23 05:57:34	1.3
@@ -1,10 +1,11 @@
-!standard 9.5(55/5)                                  20-12-03  AI12-0410-1/01
+!standard 9.5(55/5)                                  21-01-21  AI12-0410-1/02
 !standard 13.11(17.1/5)
 !standard H.4(23.2/5)
 !standard H.4(23.4/5)
 !standard H.7(4/5)
 !standard H.7(7/5)
 !class Amendment 20-12-03
+!status Hold 11-1-3  21-01-20
 !status work item 20-12-03
 !status received 20-12-02
 !priority Low
@@ -68,14 +69,6 @@
     * the Allocate, Deallocate, and Storage_Size operations on
       its storage pool shall be nonblocking.
 
-Modify 13.11(17.1/5):
-
-  The type(s) of the standard pool(s), and the primitive Allocate,
-  Deallocate, and Storage_Size subprograms for the standard pool(s) are
-  nonblocking. {Concurrent invocations of these subprograms do not
-  conflict with one another (see 9.10) when applied to standard storage
-  pools.}
-  
 Modify H.4(23.2/5):
 
   No_Hidden_Indirect_Globals
@@ -133,11 +126,6 @@
 on storage pools if the restriction No_Hidden_Indirect_Globals is
 present, since without that restriction the use of access types is not
 necessarily reflected at all within global aspects.
-
-Although it has generally been assumed, there was no specific statement
-that concurrent allocators were safe, and did not represent any sort
-of race condition. In this AI we add such a statement, along with
-the statement that they are nonblocking.
 
 We leave to a separate AI the more general issue of whether concurrent
 allocators on a user-defined storage pool are safe, and more generally,

Questions? Ask the ACAA Technical Agent