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