CVS difference for ai12s/ai12-0281-1.txt
--- ai12s/ai12-0281-1.txt 2019/02/27 06:24:07 1.4
+++ ai12s/ai12-0281-1.txt 2019/03/06 05:05:13 1.5
@@ -1,4 +1,4 @@
-!standard D.16(7/3) 19-02-26 AI12-0281-1/02
+!standard D.16(7/3) 19-03-05 AI12-0281-1/03
!standard D.16(10/3)
!standard D.16(11/3)
!standard D.16(14/3)
@@ -33,9 +33,7 @@
protected object. If the protected objects were implemented with lock-free
algorithms, or if it could be guaranteed that all tasks that interact with a
protected object execute on the same processor, then this deadlocking could be
-avoided. Should Ada provide better mechanisms to guarantee that deadlocking will not
-occur when a program is executing on a multicore processor, if communicating tasks
-have the same CPU affinity?
+avoided.
!proposal
Questions? Ask the ACAA Technical Agent