blob: 42a7fc163064dc8825f17cd1dfd9fdc68b4aca1a [file] [log] [blame]
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +01001#ifndef Py_CPYTHON_PYSTATE_H
2# error "this header file must not be included directly"
3#endif
4
Victor Stinner331a6a52019-05-27 16:39:22 +02005#include "cpython/initconfig.h"
Victor Stinnerf684d832019-03-01 03:44:13 +01006
Eric Snowc11183c2019-03-15 16:35:46 -06007PyAPI_FUNC(int) _PyInterpreterState_RequiresIDRef(PyInterpreterState *);
8PyAPI_FUNC(void) _PyInterpreterState_RequireIDRef(PyInterpreterState *, int);
9
Eric Snowc11183c2019-03-15 16:35:46 -060010PyAPI_FUNC(PyObject *) _PyInterpreterState_GetMainModule(PyInterpreterState *);
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +010011
12/* State unique per thread */
13
14/* Py_tracefunc return -1 when raising an exception, or 0 for success. */
Victor Stinner7c59d7c2020-04-28 16:32:48 +020015typedef int (*Py_tracefunc)(PyObject *, PyFrameObject *, int, PyObject *);
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +010016
17/* The following values are used for 'what' for tracefunc functions
18 *
19 * To add a new kind of trace event, also update "trace_init" in
20 * Python/sysmodule.c to define the Python level event name
21 */
22#define PyTrace_CALL 0
23#define PyTrace_EXCEPTION 1
24#define PyTrace_LINE 2
25#define PyTrace_RETURN 3
26#define PyTrace_C_CALL 4
27#define PyTrace_C_EXCEPTION 5
28#define PyTrace_C_RETURN 6
29#define PyTrace_OPCODE 7
30
31
32typedef struct _err_stackitem {
33 /* This struct represents an entry on the exception stack, which is a
34 * per-coroutine state. (Coroutine in the computer science sense,
35 * including the thread and generators).
36 * This ensures that the exception state is not impacted by "yields"
37 * from an except handler.
38 */
39 PyObject *exc_type, *exc_value, *exc_traceback;
40
41 struct _err_stackitem *previous_item;
42
43} _PyErr_StackItem;
44
45
Eric Snowbe3b2952019-02-23 11:35:52 -070046// The PyThreadState typedef is in Include/pystate.h.
47struct _ts {
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +010048 /* See Python/ceval.c for comments explaining most fields */
49
50 struct _ts *prev;
51 struct _ts *next;
52 PyInterpreterState *interp;
53
Victor Stinner5804f872020-03-24 16:32:26 +010054 /* Borrowed reference to the current frame (it can be NULL) */
Victor Stinner7c59d7c2020-04-28 16:32:48 +020055 PyFrameObject *frame;
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +010056 int recursion_depth;
57 char overflowed; /* The stack has overflowed. Allow 50 more calls
58 to handle the runtime error. */
59 char recursion_critical; /* The current calls must not cause
60 a stack overflow. */
61 int stackcheck_counter;
62
63 /* 'tracing' keeps track of the execution depth when tracing/profiling.
64 This is to prevent the actual trace/profile code from being recorded in
65 the trace/profile. */
66 int tracing;
67 int use_tracing;
68
69 Py_tracefunc c_profilefunc;
70 Py_tracefunc c_tracefunc;
71 PyObject *c_profileobj;
72 PyObject *c_traceobj;
73
74 /* The exception currently being raised */
75 PyObject *curexc_type;
76 PyObject *curexc_value;
77 PyObject *curexc_traceback;
78
79 /* The exception currently being handled, if no coroutines/generators
80 * are present. Always last element on the stack referred to be exc_info.
81 */
82 _PyErr_StackItem exc_state;
83
84 /* Pointer to the top of the stack of the exceptions currently
85 * being handled */
86 _PyErr_StackItem *exc_info;
87
88 PyObject *dict; /* Stores per-thread state */
89
90 int gilstate_counter;
91
92 PyObject *async_exc; /* Asynchronous exception to raise */
93 unsigned long thread_id; /* Thread id where this tstate was created */
94
95 int trash_delete_nesting;
96 PyObject *trash_delete_later;
97
98 /* Called when a thread state is deleted normally, but not when it
99 * is destroyed after fork().
100 * Pain: to prevent rare but fatal shutdown errors (issue 18808),
101 * Thread.join() must wait for the join'ed thread's tstate to be unlinked
102 * from the tstate chain. That happens at the end of a thread's life,
103 * in pystate.c.
104 * The obvious way doesn't quite work: create a lock which the tstate
105 * unlinking code releases, and have Thread.join() wait to acquire that
106 * lock. The problem is that we _are_ at the end of the thread's life:
107 * if the thread holds the last reference to the lock, decref'ing the
108 * lock will delete the lock, and that may trigger arbitrary Python code
109 * if there's a weakref, with a callback, to the lock. But by this time
Victor Stinner0fd2c302019-06-04 03:15:09 +0200110 * _PyRuntime.gilstate.tstate_current is already NULL, so only the simplest
111 * of C code can be allowed to run (in particular it must not be possible to
112 * release the GIL).
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100113 * So instead of holding the lock directly, the tstate holds a weakref to
114 * the lock: that's the value of on_delete_data below. Decref'ing a
115 * weakref is harmless.
116 * on_delete points to _threadmodule.c's static release_sentinel() function.
117 * After the tstate is unlinked, release_sentinel is called with the
118 * weakref-to-lock (on_delete_data) argument, and release_sentinel releases
119 * the indirectly held lock.
120 */
121 void (*on_delete)(void *);
122 void *on_delete_data;
123
124 int coroutine_origin_tracking_depth;
125
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100126 PyObject *async_gen_firstiter;
127 PyObject *async_gen_finalizer;
128
129 PyObject *context;
130 uint64_t context_ver;
131
132 /* Unique thread state id. */
133 uint64_t id;
134
135 /* XXX signal handlers should also be here */
136
Eric Snowbe3b2952019-02-23 11:35:52 -0700137};
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100138
Victor Stinnerbe793732020-03-13 18:15:33 +0100139// Alias for backward compatibility with Python 3.8
140#define _PyInterpreterState_Get PyInterpreterState_Get
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100141
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100142PyAPI_FUNC(PyThreadState *) _PyThreadState_Prealloc(PyInterpreterState *);
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100143
144/* Similar to PyThreadState_Get(), but don't issue a fatal error
145 * if it is NULL. */
146PyAPI_FUNC(PyThreadState *) _PyThreadState_UncheckedGet(void);
147
Victor Stinner0e427c62020-03-25 21:22:55 +0100148PyAPI_FUNC(PyObject *) _PyThreadState_GetDict(PyThreadState *tstate);
149
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100150/* PyGILState */
151
152/* Helper/diagnostic function - return 1 if the current thread
153 currently holds the GIL, 0 otherwise.
154
155 The function returns 1 if _PyGILState_check_enabled is non-zero. */
156PyAPI_FUNC(int) PyGILState_Check(void);
157
158/* Get the single PyInterpreterState used by this process' GILState
159 implementation.
160
161 This function doesn't check for error. Return NULL before _PyGILState_Init()
162 is called and after _PyGILState_Fini() is called.
163
Victor Stinner81a7be32020-04-14 15:14:01 +0200164 See also _PyInterpreterState_Get() and _PyInterpreterState_GET(). */
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100165PyAPI_FUNC(PyInterpreterState *) _PyGILState_GetInterpreterStateUnsafe(void);
166
167/* The implementation of sys._current_frames() Returns a dict mapping
168 thread id to that thread's current frame.
169*/
170PyAPI_FUNC(PyObject *) _PyThread_CurrentFrames(void);
171
172/* Routines for advanced debuggers, requested by David Beazley.
173 Don't use unless you know what you are doing! */
174PyAPI_FUNC(PyInterpreterState *) PyInterpreterState_Main(void);
175PyAPI_FUNC(PyInterpreterState *) PyInterpreterState_Head(void);
176PyAPI_FUNC(PyInterpreterState *) PyInterpreterState_Next(PyInterpreterState *);
177PyAPI_FUNC(PyThreadState *) PyInterpreterState_ThreadHead(PyInterpreterState *);
178PyAPI_FUNC(PyThreadState *) PyThreadState_Next(PyThreadState *);
Joannah Nanjekye8855e472019-10-04 08:35:42 -0300179PyAPI_FUNC(void) PyThreadState_DeleteCurrent(void);
Victor Stinnerf2a9d5c2018-11-27 00:20:00 +0100180
Victor Stinner0b72b232020-03-12 23:18:39 +0100181/* Frame evaluation API */
182
Victor Stinner7c59d7c2020-04-28 16:32:48 +0200183typedef PyObject* (*_PyFrameEvalFunction)(PyThreadState *tstate, PyFrameObject *, int);
Victor Stinner0b72b232020-03-12 23:18:39 +0100184
185PyAPI_FUNC(_PyFrameEvalFunction) _PyInterpreterState_GetEvalFrameFunc(
186 PyInterpreterState *interp);
187PyAPI_FUNC(void) _PyInterpreterState_SetEvalFrameFunc(
188 PyInterpreterState *interp,
189 _PyFrameEvalFunction eval_frame);
190
Victor Stinnerda7933e2020-04-13 03:04:28 +0200191PyAPI_FUNC(const PyConfig*) _PyInterpreterState_GetConfig(PyInterpreterState *interp);
192
193// Get the configuration of the currrent interpreter.
194// The caller must hold the GIL.
195PyAPI_FUNC(const PyConfig*) _Py_GetConfig(void);
196
197
Eric Snowc11183c2019-03-15 16:35:46 -0600198/* cross-interpreter data */
199
200struct _xid;
201
202// _PyCrossInterpreterData is similar to Py_buffer as an effectively
203// opaque struct that holds data outside the object machinery. This
204// is necessary to pass safely between interpreters in the same process.
205typedef struct _xid {
206 // data is the cross-interpreter-safe derivation of a Python object
207 // (see _PyObject_GetCrossInterpreterData). It will be NULL if the
208 // new_object func (below) encodes the data.
209 void *data;
210 // obj is the Python object from which the data was derived. This
211 // is non-NULL only if the data remains bound to the object in some
212 // way, such that the object must be "released" (via a decref) when
213 // the data is released. In that case the code that sets the field,
214 // likely a registered "crossinterpdatafunc", is responsible for
215 // ensuring it owns the reference (i.e. incref).
216 PyObject *obj;
217 // interp is the ID of the owning interpreter of the original
218 // object. It corresponds to the active interpreter when
219 // _PyObject_GetCrossInterpreterData() was called. This should only
220 // be set by the cross-interpreter machinery.
221 //
222 // We use the ID rather than the PyInterpreterState to avoid issues
223 // with deleted interpreters. Note that IDs are never re-used, so
224 // each one will always correspond to a specific interpreter
225 // (whether still alive or not).
226 int64_t interp;
227 // new_object is a function that returns a new object in the current
228 // interpreter given the data. The resulting object (a new
229 // reference) will be equivalent to the original object. This field
230 // is required.
231 PyObject *(*new_object)(struct _xid *);
232 // free is called when the data is released. If it is NULL then
233 // nothing will be done to free the data. For some types this is
234 // okay (e.g. bytes) and for those types this field should be set
235 // to NULL. However, for most the data was allocated just for
236 // cross-interpreter use, so it must be freed when
237 // _PyCrossInterpreterData_Release is called or the memory will
238 // leak. In that case, at the very least this field should be set
239 // to PyMem_RawFree (the default if not explicitly set to NULL).
240 // The call will happen with the original interpreter activated.
241 void (*free)(void *);
242} _PyCrossInterpreterData;
243
244PyAPI_FUNC(int) _PyObject_GetCrossInterpreterData(PyObject *, _PyCrossInterpreterData *);
245PyAPI_FUNC(PyObject *) _PyCrossInterpreterData_NewObject(_PyCrossInterpreterData *);
246PyAPI_FUNC(void) _PyCrossInterpreterData_Release(_PyCrossInterpreterData *);
247
248PyAPI_FUNC(int) _PyObject_CheckCrossInterpreterData(PyObject *);
249
250/* cross-interpreter data registry */
251
252typedef int (*crossinterpdatafunc)(PyObject *, struct _xid *);
253
254PyAPI_FUNC(int) _PyCrossInterpreterData_RegisterClass(PyTypeObject *, crossinterpdatafunc);
255PyAPI_FUNC(crossinterpdatafunc) _PyCrossInterpreterData_Lookup(PyObject *);