mirror of
				https://github.com/python/cpython.git
				synced 2025-10-31 10:26:02 +00:00 
			
		
		
		
	 08be72d0aa
			
		
	
	
		08be72d0aa
		
	
	
	
	
		
			
			except when configured --with-pydebug. Emit this warning from the GC shutdown procedure, rather than just printing to stderr.
		
			
				
	
	
		
			221 lines
		
	
	
	
		
			8.4 KiB
		
	
	
	
		
			ReStructuredText
		
	
	
	
	
	
			
		
		
	
	
			221 lines
		
	
	
	
		
			8.4 KiB
		
	
	
	
		
			ReStructuredText
		
	
	
	
	
	
| :mod:`gc` --- Garbage Collector interface
 | |
| =========================================
 | |
| 
 | |
| .. module:: gc
 | |
|    :synopsis: Interface to the cycle-detecting garbage collector.
 | |
| .. moduleauthor:: Neil Schemenauer <nas@arctrix.com>
 | |
| .. sectionauthor:: Neil Schemenauer <nas@arctrix.com>
 | |
| 
 | |
| 
 | |
| This module provides an interface to the optional garbage collector.  It
 | |
| provides the ability to disable the collector, tune the collection frequency,
 | |
| and set debugging options.  It also provides access to unreachable objects that
 | |
| the collector found but cannot free.  Since the collector supplements the
 | |
| reference counting already used in Python, you can disable the collector if you
 | |
| are sure your program does not create reference cycles.  Automatic collection
 | |
| can be disabled by calling ``gc.disable()``.  To debug a leaking program call
 | |
| ``gc.set_debug(gc.DEBUG_LEAK)``. Notice that this includes
 | |
| ``gc.DEBUG_SAVEALL``, causing garbage-collected objects to be saved in
 | |
| gc.garbage for inspection.
 | |
| 
 | |
| The :mod:`gc` module provides the following functions:
 | |
| 
 | |
| 
 | |
| .. function:: enable()
 | |
| 
 | |
|    Enable automatic garbage collection.
 | |
| 
 | |
| 
 | |
| .. function:: disable()
 | |
| 
 | |
|    Disable automatic garbage collection.
 | |
| 
 | |
| 
 | |
| .. function:: isenabled()
 | |
| 
 | |
|    Returns true if automatic collection is enabled.
 | |
| 
 | |
| 
 | |
| .. function:: collect(generations=2)
 | |
| 
 | |
|    With no arguments, run a full collection.  The optional argument *generation*
 | |
|    may be an integer specifying which generation to collect (from 0 to 2).  A
 | |
|    :exc:`ValueError` is raised if the generation number  is invalid. The number of
 | |
|    unreachable objects found is returned.
 | |
| 
 | |
|    The free lists maintained for a number of built-in types are cleared
 | |
|    whenever a full collection or collection of the highest generation (2)
 | |
|    is run.  Not all items in some free lists may be freed due to the
 | |
|    particular implementation, in particular :class:`float`.
 | |
| 
 | |
| 
 | |
| .. function:: set_debug(flags)
 | |
| 
 | |
|    Set the garbage collection debugging flags. Debugging information will be
 | |
|    written to ``sys.stderr``.  See below for a list of debugging flags which can be
 | |
|    combined using bit operations to control debugging.
 | |
| 
 | |
| 
 | |
| .. function:: get_debug()
 | |
| 
 | |
|    Return the debugging flags currently set.
 | |
| 
 | |
| 
 | |
| .. function:: get_objects()
 | |
| 
 | |
|    Returns a list of all objects tracked by the collector, excluding the list
 | |
|    returned.
 | |
| 
 | |
| 
 | |
| .. function:: set_threshold(threshold0[, threshold1[, threshold2]])
 | |
| 
 | |
|    Set the garbage collection thresholds (the collection frequency). Setting
 | |
|    *threshold0* to zero disables collection.
 | |
| 
 | |
|    The GC classifies objects into three generations depending on how many
 | |
|    collection sweeps they have survived.  New objects are placed in the youngest
 | |
|    generation (generation ``0``).  If an object survives a collection it is moved
 | |
|    into the next older generation.  Since generation ``2`` is the oldest
 | |
|    generation, objects in that generation remain there after a collection.  In
 | |
|    order to decide when to run, the collector keeps track of the number object
 | |
|    allocations and deallocations since the last collection.  When the number of
 | |
|    allocations minus the number of deallocations exceeds *threshold0*, collection
 | |
|    starts.  Initially only generation ``0`` is examined.  If generation ``0`` has
 | |
|    been examined more than *threshold1* times since generation ``1`` has been
 | |
|    examined, then generation ``1`` is examined as well.  Similarly, *threshold2*
 | |
|    controls the number of collections of generation ``1`` before collecting
 | |
|    generation ``2``.
 | |
| 
 | |
| 
 | |
| .. function:: get_count()
 | |
| 
 | |
|    Return the current collection  counts as a tuple of ``(count0, count1,
 | |
|    count2)``.
 | |
| 
 | |
| 
 | |
| .. function:: get_threshold()
 | |
| 
 | |
|    Return the current collection thresholds as a tuple of ``(threshold0,
 | |
|    threshold1, threshold2)``.
 | |
| 
 | |
| 
 | |
| .. function:: get_referrers(*objs)
 | |
| 
 | |
|    Return the list of objects that directly refer to any of objs. This function
 | |
|    will only locate those containers which support garbage collection; extension
 | |
|    types which do refer to other objects but do not support garbage collection will
 | |
|    not be found.
 | |
| 
 | |
|    Note that objects which have already been dereferenced, but which live in cycles
 | |
|    and have not yet been collected by the garbage collector can be listed among the
 | |
|    resulting referrers.  To get only currently live objects, call :func:`collect`
 | |
|    before calling :func:`get_referrers`.
 | |
| 
 | |
|    Care must be taken when using objects returned by :func:`get_referrers` because
 | |
|    some of them could still be under construction and hence in a temporarily
 | |
|    invalid state. Avoid using :func:`get_referrers` for any purpose other than
 | |
|    debugging.
 | |
| 
 | |
| 
 | |
| .. function:: get_referents(*objs)
 | |
| 
 | |
|    Return a list of objects directly referred to by any of the arguments. The
 | |
|    referents returned are those objects visited by the arguments' C-level
 | |
|    :attr:`tp_traverse` methods (if any), and may not be all objects actually
 | |
|    directly reachable.  :attr:`tp_traverse` methods are supported only by objects
 | |
|    that support garbage collection, and are only required to visit objects that may
 | |
|    be involved in a cycle.  So, for example, if an integer is directly reachable
 | |
|    from an argument, that integer object may or may not appear in the result list.
 | |
| 
 | |
| 
 | |
| .. function:: is_tracked(obj)
 | |
| 
 | |
|    Returns True if the object is currently tracked by the garbage collector,
 | |
|    False otherwise.  As a general rule, instances of atomic types aren't
 | |
|    tracked and instances of non-atomic types (containers, user-defined
 | |
|    objects...) are.  However, some type-specific optimizations can be present
 | |
|    in order to suppress the garbage collector footprint of simple instances
 | |
|    (e.g. dicts containing only atomic keys and values)::
 | |
| 
 | |
|       >>> gc.is_tracked(0)
 | |
|       False
 | |
|       >>> gc.is_tracked("a")
 | |
|       False
 | |
|       >>> gc.is_tracked([])
 | |
|       True
 | |
|       >>> gc.is_tracked({})
 | |
|       False
 | |
|       >>> gc.is_tracked({"a": 1})
 | |
|       False
 | |
|       >>> gc.is_tracked({"a": []})
 | |
|       True
 | |
| 
 | |
|    .. versionadded:: 3.1
 | |
| 
 | |
| 
 | |
| The following variable is provided for read-only access (you can mutate its
 | |
| value but should not rebind it):
 | |
| 
 | |
| .. data:: garbage
 | |
| 
 | |
|    A list of objects which the collector found to be unreachable but could not be
 | |
|    freed (uncollectable objects).  By default, this list contains only objects with
 | |
|    :meth:`__del__` methods. Objects that have :meth:`__del__` methods and are
 | |
|    part of a reference cycle cause the entire reference cycle to be uncollectable,
 | |
|    including objects not necessarily in the cycle but reachable only from it.
 | |
|    Python doesn't collect such cycles automatically because, in general, it isn't
 | |
|    possible for Python to guess a safe order in which to run the :meth:`__del__`
 | |
|    methods.  If you know a safe order, you can force the issue by examining the
 | |
|    *garbage* list, and explicitly breaking cycles due to your objects within the
 | |
|    list.  Note that these objects are kept alive even so by virtue of being in the
 | |
|    *garbage* list, so they should be removed from *garbage* too.  For example,
 | |
|    after breaking cycles, do ``del gc.garbage[:]`` to empty the list.  It's
 | |
|    generally better to avoid the issue by not creating cycles containing objects
 | |
|    with :meth:`__del__` methods, and *garbage* can be examined in that case to
 | |
|    verify that no such cycles are being created.
 | |
| 
 | |
|    If :const:`DEBUG_SAVEALL` is set, then all unreachable objects will be added
 | |
|    to this list rather than freed.
 | |
| 
 | |
|    .. versionchanged:: 3.2
 | |
|       If this list is non-empty at interpreter shutdown, a
 | |
|       :exc:`ResourceWarning` is emitted, which is silent by default.  If
 | |
|       :const:`DEBUG_UNCOLLECTABLE` is set, in addition all uncollectable objects
 | |
|       are printed.
 | |
| 
 | |
| 
 | |
| The following constants are provided for use with :func:`set_debug`:
 | |
| 
 | |
| 
 | |
| .. data:: DEBUG_STATS
 | |
| 
 | |
|    Print statistics during collection.  This information can be useful when tuning
 | |
|    the collection frequency.
 | |
| 
 | |
| 
 | |
| .. data:: DEBUG_COLLECTABLE
 | |
| 
 | |
|    Print information on collectable objects found.
 | |
| 
 | |
| 
 | |
| .. data:: DEBUG_UNCOLLECTABLE
 | |
| 
 | |
|    Print information of uncollectable objects found (objects which are not
 | |
|    reachable but cannot be freed by the collector).  These objects will be added
 | |
|    to the ``garbage`` list.
 | |
| 
 | |
|    .. versionchanged:: 3.2
 | |
|       Also print the contents of the :data:`garbage` list at interpreter
 | |
|       shutdown, if it isn't empty.
 | |
| 
 | |
| .. data:: DEBUG_SAVEALL
 | |
| 
 | |
|    When set, all unreachable objects found will be appended to *garbage* rather
 | |
|    than being freed.  This can be useful for debugging a leaking program.
 | |
| 
 | |
| 
 | |
| .. data:: DEBUG_LEAK
 | |
| 
 | |
|    The debugging flags necessary for the collector to print information about a
 | |
|    leaking program (equal to ``DEBUG_COLLECTABLE | DEBUG_UNCOLLECTABLE |
 | |
|    DEBUG_SAVEALL``).
 |