Python Subinterpreters

See also Python Finalization.

DONE!

  • Multiphase: 64% (76/118). At 2020-10-06, 76 extensions on a total of 118 use the new multi-phase initialization API. There are 42 remaining extensions using the old API (bpo-1635741).
  • Heap types: 35% (69/200). At 2020-11-01, 69 types are defined as heap types on a total of 200 types. There are 131 remaining static types (bpo-40077).
  • Per-interpreter free lists (bpo-40521):
    • MemoryError
    • asynchronous generator
    • context
    • dict
    • float
    • frame
    • list
    • slice
    • tuple
  • Per-interpreter singletons (bpo-40521):
    • small integer ([-5; 256] range) (bpo-38858)
    • empty bytes string singleton
    • empty Unicode string singleton
    • empty tuple singleton
    • single byte character (b'\x00' to b'\xFF')
    • single Unicode character (U+0000-U+00FF range)
    • Note: the empty frozenset singleton has been removed.
  • Per-interpreter slice cache (bpo-40521).
  • Per-interpreter pending calls (bpo-39984).
  • Per-interpreter type attribute lookup cache (bpo-42745).
  • Per-interpreter interned strings (bpo-40521).
  • Per-interpreter identifiers: _PyUnicode_FromId() (bpo-39465)
  • Per-interpreter states:
    • ast (bpo-41796)
    • gc (bpo-36854)
    • parser (bpo-36876)
    • warnings (bpo-36737 and bpo-40521)
  • Fix crashes with daemon threads: https://vstinner.github.io/gil-bugfixes-daemon-threads-python39.html
  • Fix bugs related to heap types:
    • Fix the traverse function of heap types for GC collection (bpo-40217, bpo-40149)
    • Fix pickling heap types implemented in C with protocols 0 and 1 (bpo-41052)

Open Questions

Thread local variable for tstate and interp?

If multiple interpreters can run in parallel, _PyThreadState_GET() and _PyInterpreterState_GET() must be able to get the Python thread state and intepreter of the current thread in an efficient way.

pthread_getspecific() is a function call: may slow down Python. GCC and clang have a __thread extension for thread local variable: use FS register on x86-64.

Allocate an unique index per interperter

_PyUnicode_FromId(): https://bugs.python.org/issue39465 fix adds an array per interpreter. The first _PyUnicode_FromId() call assigns an unique identifier (unique for the whole process, shared by all intepreters) to the identifier and the value is stored in the array.

The question is how to get and set the index in an efficient way.

An alternative is to use the identifier memory address as a key and use an hash table to store identifier values.

TODO list for per-interpreter GIL

Search for Subinterpreters issues at bugs.python.org.

Meta issue: per-interpreter GIL.

Effects of the EXPERIMENTAL_ISOLATED_SUBINTERPRETERS macro:

  • Good things!
    • Per-interpreter GIL!!!
    • Use a TSS to get the current Python thread state (‘tstate’)
    • _xxsubinterpreters.run_string() releases the GIL to run a subinterprer
  • Bad things :-( (mostly workarounds waiting for a real fix)
    • Disable pymalloc in preconfig.c: force malloc (or malloc_debug) allocator.
    • Don’t run GC collections in subinterpreters (see gc_collect_main).

Issues:

Enhancements:

Limitations

Not supported in subinterpreter:

  • os.fork(): it may be possible to fix it.
  • signal.signal()
  • static types

Current workarounds:

  • Disable GC
  • Disable many caches like frame free list
  • etc.

Convert static type to heap type

See PEP 630 – Isolating Extension Modules.

See: Convert static types to heap types: use PyType_FromSpec().

See Add _PyType_GetModuleByDef by Petr Viktorin.

Example: Modules/_abcmodule.c.

Decrement the type reference counter in the dealloc function. Something like:

static void
my_dealloc(my_data *self)
{
    (...)
    PyTypeObject *tp = Py_TYPE(self);
    tp->tp_free(self);
    Py_DECREF(tp);
}

Add a module state to a module

Example: Modules/_abcmodule.c.

Add traverse, clear and free functions to the module to better collaborate with the garbage collector. Otherwise, the GC fails to break reference cycles.

Heap allocated types

Modules/_randommodule.c:

PyObject *Random_Type = PyType_FromSpec(&Random_Type_spec);

Example:

$ ./python
Python 3.9.0a6+ (heads/frame_getback:6bde4d96c7, Apr 29 2020, 03:02:24)
>>> import _random as mod1
>>> import sys; del sys.modules['_random']
>>> import _random as mod2
>>> mod2.Random is mod1.Random
False
>>> mod1.Random.x=1
>>> mod2.Random.x
AttributeError: type object '_random.Random' has no attribute 'x'

Multiphase initialization (PEP 489)

See _abc module.

  • PyInit__abc() calls PyModuleDef_Init
  • PyModuleDef has slots, at least Py_mod_exec.

Get module

Create module:

_PyModule_CreateInitialized(struct PyModuleDef* module, int module_api_version)

Members:

  • PyModuleDef.m_base.m_index: int
  • PyInterpreterState.modules_by_index: list

PyModuleDef_Init() assigns an unique index to a PyModuleDef. It is called by _PyModule_CreateInitialized().

_PyImport_FixupExtensionObject() and import_find_extension() call:

_PyState_AddModule(PyThreadState *tstate, PyObject* module, struct PyModuleDef* def)

Modules with slots must not be added to PyInterpreterState.modules_by_index.

Module State

Find a module:

m = PyState_FindModule(&posixmodule);

From a module:

void *state = PyModule_GetState(module);