[pypy-commit] extradoc extradoc: Update

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: extradoc
Changeset: r4056:6d59f50abf58
Date: 2012-01-27 09:57 +0100
http://bitbucket.org/pypy/extradoc/changeset/6d59f50abf58/

Log:	Update

diff --git a/planning/stm.txt b/planning/stm.txt
--- a/planning/stm.txt
+++ b/planning/stm.txt
@@ -65,6 +65,11 @@
 
 (Optimization: objects declared immutable don't need a version number.)
 
+GC_WAS_COPIED should rather be some counter, counting how many threads
+have a local copy; something like 2 or 3 bits, where the maximum value
+means "overflowed" and is sticky (maybe until some global
+synchronization point, if we have one).
+
 
 stm_read
 --------