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

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

--- ai12s/ai12-0291-1.txt	2018/12/02 06:12:29	1.2
+++ ai12s/ai12-0291-1.txt	2019/02/18 23:50:33	1.3
@@ -1,4 +1,4 @@
-!standard D.13(0)                                    18-11-26  AI12-0291-1/02
+!standard D.13(0)                                    19-02-18  AI12-0291-1/03
 !standard D.13(1/3)
 !standard D.13(4/3)
 !standard D.13(6/4)
@@ -58,7 +58,7 @@
 The new profile allows multiple protected entries per protected object 
 and multiple queued callers per protected entry (i.e., the queue length 
 can be greater than 1). In addition, in place of Simple_Barriers the new 
-restriction Pure_Barriers (see AI12-0290-1) is applied. With theses changes
+restriction Pure_Barriers (see AI12-0290-1) is applied. With these changes
 in place most canonical protected object idioms can be expressed.
 
 The new profile also allows relative delay statements and use of the 
@@ -77,9 +77,9 @@
 
     No_Implicit_Heap_Allocations
     No_Relative_Delay
-    Max_Entry_Queue_Length
     Simple_Barriers
-    Max_Protected_Entries
+    Max_Entry_Queue_Length => 1
+    Max_Protected_Entries => 1
     No_Dependence => Ada.Calendar
     No_Dependence => Ada.Synchronous_Barriers
 
@@ -187,7 +187,7 @@
                              Implementation Advice
 
 On a multiprocessor system, an implementation should support a fully
-partitioned approach if either of these profiles is specified. Each
+partitioned approach if one of these profiles is specified. Each
 processor should have separate and disjoint ready queues.
 
     NOTES
@@ -305,7 +305,7 @@
 ready queues.
 @dby
 On a multiprocessor system, an implementation should support a fully
-partitioned approach if either of these profiles is specified. Each
+partitioned approach if one of these profiles is specified. Each
 processor should have separate and disjoint ready queues.
 
 !corrigendum D.13(10/3)

Questions? Ask the ACAA Technical Agent