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

Differences between 1.4 and version 1.5
Log of other versions for file 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