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

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0183-1.txt

--- ai12s/ai12-0183-1.txt	2017/12/20 04:49:57	1.8
+++ ai12s/ai12-0183-1.txt	2018/05/18 01:58:46	1.9
@@ -4,6 +4,7 @@
 !standard 8.3(12.3/2)
 !standard D.4(4)
 !standard D.4(7/5)
+!standard E.4(17)
 !class presentation 16-03-23
 !status Amendment 1-2012 16-03-23
 !status work item 16-03-23
@@ -29,6 +30,8 @@
 
 6) Clarify 8.3(12.3/2) as conformance applies to profiles, not subprograms.
 
+7) E.4(17) ought to reference 9.5, not 9.5.1.
+
 !question
 
 1) AI12-0163-1 defines policy Ordered_FIFO_Queuing. But the Legality Rule
@@ -46,7 +49,7 @@
 
 4) 3.7.2(3/3) says that the result of A'Constrained is either True or False,
 but it never gives the type of the attribute. Compare to T'Callable, which
-explicit says that the type of the attribute is Boolean. Should this be
+explicitly says that the type of the attribute is Boolean. Should this be
 fixed? (Yes.)
 
 5) 5.5.2(5/5) starts:
@@ -60,6 +63,10 @@
 6) 8.3(12.3/2) says that "they fully conform", but full conformance applies to
 profiles, not subprograms. Should this wording be clarified? (Yes.)
 
+7) E.4(17) says "All forms of remote subprogram calls are potentially blocking
+operations (see 9.5.1)." But The definition of "potentially blocking" was
+moved to 9.5. The reference ought to be changed, right? (Yes.)
+
 !recommendation
 
 (See Summary.)
@@ -106,6 +113,11 @@
      another, one is chosen arbitrarily; if not, they are all hidden from all
      visibility. 
 
+7) Modify E.4(17):
+
+   All forms of remote subprogram calls are potentially blocking operations
+   (see {9.5}[9.5.1]). 
+
 !discussion
 
 1) This is a clear omission from AI12-0163-1. Obviously, if we define a queuing
@@ -147,6 +159,8 @@
 from the discussion of AI12-0064-2 during the Lexington ARG meeting in October
 2017.]
 
+7) The reference clearly ought to be corrected.
+
 !corrigendum 3.7.2(3)
 
 @drepl
@@ -227,6 +241,15 @@
 to any of the program units comprising the partition, the queuing policy
 for that partition is FIFO_Queuing. The rules for the FIFO_Queuing policy are
 specified in 9.5.3 and 9.7.1.
+
+!corrigendum E.4(17)
+
+@drepl
+All forms of remote subprogram calls are potentially blocking operations
+(see 9.5.1). 
+@dby
+All forms of remote subprogram calls are potentially blocking operations
+(see 9.5). 
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent