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

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0178-1.txt

--- ai12s/ai12-0178-1.txt	2018/03/09 02:54:31	1.10
+++ ai12s/ai12-0178-1.txt	2018/07/15 00:25:58	1.11
@@ -304,10 +304,30 @@
 
 !corrigendum 9.7.3(6)
 
-@dprepl
-@xcode<@b<procedure> Spin(R : @b<in> Resource) @b<is>>
+@drepl
+@xcode<@b<procedure> Spin(R : @b<in> Resource) @b<is>
+@b<begin>
+   @b<loop>
+      @b<select>
+         R.Seize;
+         @b<return>;
+      @b<else>
+         @b<null>;  --@ft<@i<  busy waiting>>
+      @b<end select>;
+   @b<end loop>;
+@b<end>;>
 @dby
-@xcode<@b<procedure> Spin(R : @b<in out> Resource) @b<is>  --@ft<@i< see 9.4>>>
+@xcode<@b<procedure> Spin(R : @b<in out> Resource) @b<is>  --@ft<@i< see 9.4>>
+@b<begin>
+   @b<loop>
+      @b<select>
+         R.Seize;
+         @b<return>;
+      @b<else>
+         @b<null>;  --@ft<@i<  busy waiting>>
+      @b<end select>;
+   @b<end loop>;
+@b<end>;>
 
 !corrigendum 9.11(7.1/2)
 

Questions? Ask the ACAA Technical Agent