[pypy-commit] pypy gc-incminimark-pinning-improve: add description for PYPY_GC_MAX_PINNED

[groggi]

Author: Gregor Wegberg <code at gregorwegberg.com>
Branch: gc-incminimark-pinning-improve
Changeset: r76604:d4677a1be92e
Date: 2015-03-27 20:33 +0100
http://bitbucket.org/pypy/pypy/changeset/d4677a1be92e/

Log:	add description for PYPY_GC_MAX_PINNED

diff --git a/rpython/memory/gc/incminimark.py b/rpython/memory/gc/incminimark.py
--- a/rpython/memory/gc/incminimark.py
+++ b/rpython/memory/gc/incminimark.py
@@ -47,6 +47,11 @@
                          too slow for normal use.  Values are 0 (off),
                          1 (on major collections) or 2 (also on minor
                          collections).
+
+ PYPY_GC_MAX_PINNED     The maximal number of pinned objects at any point
+                        in time.  Defaults to a conservative value depending
+                        on nursery size and maximum object size inside the
+                        nursery.  Useful for debugging by setting it to 0.
 """
 # XXX Should find a way to bound the major collection threshold by the
 # XXX total addressable size.  Maybe by keeping some minimarkpage arenas