CVS difference for 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