| :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() | |
| Return ``True`` if automatic collection is enabled. | |
| .. function:: collect(generation=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 sum of | |
| collected objects and uncollectable objects 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`. | |
| The effect of calling ``gc.collect()`` while the interpreter is already | |
| performing a collection is undefined. | |
| .. 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(generation=None) | |
| Returns a list of all objects tracked by the collector, excluding the list | |
| returned. If *generation* is not ``None``, return only the objects tracked by | |
| the collector that are in that generation. | |
| .. versionchanged:: 3.8 | |
| New *generation* parameter. | |
| .. audit-event:: gc.get_objects generation gc.get_objects | |
| .. function:: get_stats() | |
| Return a list of three per-generation dictionaries containing collection | |
| statistics since interpreter start. The number of keys may change | |
| in the future, but currently each dictionary will contain the following | |
| items: | |
| * ``collections`` is the number of times this generation was collected; | |
| * ``collected`` is the total number of objects collected inside this | |
| generation; | |
| * ``uncollectable`` is the total number of objects which were found | |
| to be uncollectable (and were therefore moved to the :data:`garbage` | |
| list) inside this generation. | |
| .. versionadded:: 3.4 | |
| .. 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. | |
| With the third generation, things are a bit more complicated, | |
| see `Collecting the oldest generation <https://devguide.python.org/garbage_collector/#collecting-the-oldest-generation>`_ for more information. | |
| .. 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`. | |
| .. warning:: | |
| 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. | |
| .. audit-event:: gc.get_referrers objs gc.get_referrers | |
| .. 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 | |
| :c:member:`~PyTypeObject.tp_traverse` methods (if any), and may not be all objects actually | |
| directly reachable. :c:member:`~PyTypeObject.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. | |
| .. audit-event:: gc.get_referents objs gc.get_referents | |
| .. 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 | |
| .. function:: is_finalized(obj) | |
| Returns ``True`` if the given object has been finalized by the | |
| garbage collector, ``False`` otherwise. :: | |
| >>> x = None | |
| >>> class Lazarus: | |
| ... def __del__(self): | |
| ... global x | |
| ... x = self | |
| ... | |
| >>> lazarus = Lazarus() | |
| >>> gc.is_finalized(lazarus) | |
| False | |
| >>> del lazarus | |
| >>> gc.is_finalized(x) | |
| True | |
| .. versionadded:: 3.9 | |
| .. function:: freeze() | |
| Freeze all the objects tracked by the garbage collector; move them to a | |
| permanent generation and ignore them in all the future collections. | |
| If a process will ``fork()`` without ``exec()``, avoiding unnecessary | |
| copy-on-write in child processes will maximize memory sharing and reduce | |
| overall memory usage. This requires both avoiding creation of freed "holes" | |
| in memory pages in the parent process and ensuring that GC collections in | |
| child processes won't touch the ``gc_refs`` counter of long-lived objects | |
| originating in the parent process. To accomplish both, call ``gc.disable()`` | |
| early in the parent process, ``gc.freeze()`` right before ``fork()``, and | |
| ``gc.enable()`` early in child processes. | |
| .. versionadded:: 3.7 | |
| .. function:: unfreeze() | |
| Unfreeze the objects in the permanent generation, put them back into the | |
| oldest generation. | |
| .. versionadded:: 3.7 | |
| .. function:: get_freeze_count() | |
| Return the number of objects in the permanent generation. | |
| .. versionadded:: 3.7 | |
| The following variables are provided for read-only access (you can mutate the | |
| values but should not rebind them): | |
| .. data:: garbage | |
| A list of objects which the collector found to be unreachable but could | |
| not be freed (uncollectable objects). Starting with Python 3.4, this | |
| list should be empty most of the time, except when using instances of | |
| C extension types with a non-``NULL`` ``tp_del`` slot. | |
| 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 :term:`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. | |
| .. versionchanged:: 3.4 | |
| Following :pep:`442`, objects with a :meth:`~object.__del__` method don't end | |
| up in :data:`gc.garbage` anymore. | |
| .. data:: callbacks | |
| A list of callbacks that will be invoked by the garbage collector before and | |
| after collection. The callbacks will be called with two arguments, | |
| *phase* and *info*. | |
| *phase* can be one of two values: | |
| "start": The garbage collection is about to start. | |
| "stop": The garbage collection has finished. | |
| *info* is a dict providing more information for the callback. The following | |
| keys are currently defined: | |
| "generation": The oldest generation being collected. | |
| "collected": When *phase* is "stop", the number of objects | |
| successfully collected. | |
| "uncollectable": When *phase* is "stop", the number of objects | |
| that could not be collected and were put in :data:`garbage`. | |
| Applications can add their own callbacks to this list. The primary | |
| use cases are: | |
| Gathering statistics about garbage collection, such as how often | |
| various generations are collected, and how long the collection | |
| takes. | |
| Allowing applications to identify and clear their own uncollectable | |
| types when they appear in :data:`garbage`. | |
| .. versionadded:: 3.3 | |
| 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 | |
| :term:`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``). |