Commits

Armin Rigo committed 6976b2c

Fixes

Comments (0)

Files changed (1)

talk/stm2012/stmimpl.rst

         W->h_global = False
         W->h_possibly_outdated = False
         W->h_written = True
-        W->h_revision = 0
+        W->h_revision = 1
         return W
 
 
 
 Hand-wavy pseudo-code::
 
-    def TransactionEnd():
+    def FinishTransaction():
         FindRootsForLocalCollect()
         PerformLocalCollect()
-        TransactionCommit()          # see below
+        CommitTransaction()          # see below
 
     def FindRootsForLocalCollect():
         for (R, L) in global_to_local: