Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 1 | #ifndef Py_CEVAL_H |
| 2 | #define Py_CEVAL_H |
| 3 | #ifdef __cplusplus |
| 4 | extern "C" { |
| 5 | #endif |
| 6 | |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 7 | |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 8 | /* Interface to random parts in ceval.c */ |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 9 | |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 10 | PyAPI_FUNC(PyObject *) PyEval_CallObjectWithKeywords( |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 11 | PyObject *, PyObject *, PyObject *); |
Guido van Rossum | a049031 | 1991-07-27 21:33:03 +0000 | [diff] [blame] | 12 | |
Guido van Rossum | 8368453 | 1999-03-17 18:44:39 +0000 | [diff] [blame] | 13 | /* DLL-level Backwards compatibility: */ |
| 14 | #undef PyEval_CallObject |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 15 | PyAPI_FUNC(PyObject *) PyEval_CallObject(PyObject *, PyObject *); |
Guido van Rossum | 8368453 | 1999-03-17 18:44:39 +0000 | [diff] [blame] | 16 | |
Guido van Rossum | d7ed683 | 1997-08-30 15:02:50 +0000 | [diff] [blame] | 17 | /* Inline this */ |
| 18 | #define PyEval_CallObject(func,arg) \ |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 19 | PyEval_CallObjectWithKeywords(func, arg, (PyObject *)NULL) |
Guido van Rossum | d7ed683 | 1997-08-30 15:02:50 +0000 | [diff] [blame] | 20 | |
Jeremy Hylton | af68c87 | 2005-12-10 18:50:16 +0000 | [diff] [blame] | 21 | PyAPI_FUNC(PyObject *) PyEval_CallFunction(PyObject *obj, |
| 22 | const char *format, ...); |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 23 | PyAPI_FUNC(PyObject *) PyEval_CallMethod(PyObject *obj, |
Jeremy Hylton | af68c87 | 2005-12-10 18:50:16 +0000 | [diff] [blame] | 24 | const char *methodname, |
| 25 | const char *format, ...); |
Guido van Rossum | 3d109a0 | 1998-08-08 20:53:36 +0000 | [diff] [blame] | 26 | |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 27 | PyAPI_FUNC(void) PyEval_SetProfile(Py_tracefunc, PyObject *); |
| 28 | PyAPI_FUNC(void) PyEval_SetTrace(Py_tracefunc, PyObject *); |
Fred Drake | 55fb6e0 | 2001-06-27 19:18:03 +0000 | [diff] [blame] | 29 | |
Guido van Rossum | 6297a7a | 2003-02-19 15:53:17 +0000 | [diff] [blame] | 30 | struct _frame; /* Avoid including frameobject.h */ |
| 31 | |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 32 | PyAPI_FUNC(PyObject *) PyEval_GetBuiltins(void); |
| 33 | PyAPI_FUNC(PyObject *) PyEval_GetGlobals(void); |
| 34 | PyAPI_FUNC(PyObject *) PyEval_GetLocals(void); |
Guido van Rossum | 6297a7a | 2003-02-19 15:53:17 +0000 | [diff] [blame] | 35 | PyAPI_FUNC(struct _frame *) PyEval_GetFrame(void); |
Tim Peters | 5ba5866 | 2001-07-16 02:29:45 +0000 | [diff] [blame] | 36 | |
| 37 | /* Look at the current frame's (if any) code's co_flags, and turn on |
| 38 | the corresponding compiler flags in cf->cf_flags. Return 1 if any |
| 39 | flag was set, else return 0. */ |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 40 | PyAPI_FUNC(int) PyEval_MergeCompilerFlags(PyCompilerFlags *cf); |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 41 | |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 42 | PyAPI_FUNC(int) Py_AddPendingCall(int (*func)(void *), void *arg); |
| 43 | PyAPI_FUNC(int) Py_MakePendingCalls(void); |
Guido van Rossum | 9566408 | 1994-09-14 13:23:36 +0000 | [diff] [blame] | 44 | |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 45 | /* Protection against deeply nested recursive calls |
| 46 | |
| 47 | In Python 3.0, this protection has two levels: |
| 48 | * normal anti-recursion protection is triggered when the recursion level |
| 49 | exceeds the current recursion limit. It raises a RuntimeError, and sets |
| 50 | the "overflowed" flag in the thread state structure. This flag |
| 51 | temporarily *disables* the normal protection; this allows cleanup code |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 52 | to potentially outgrow the recursion limit while processing the |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 53 | RuntimeError. |
| 54 | * "last chance" anti-recursion protection is triggered when the recursion |
| 55 | level exceeds "current recursion limit + 50". By construction, this |
| 56 | protection can only be triggered when the "overflowed" flag is set. It |
| 57 | means the cleanup code has itself gone into an infinite loop, or the |
| 58 | RuntimeError has been mistakingly ignored. When this protection is |
| 59 | triggered, the interpreter aborts with a Fatal Error. |
| 60 | |
| 61 | In addition, the "overflowed" flag is automatically reset when the |
| 62 | recursion level drops below "current recursion limit - 50". This heuristic |
| 63 | is meant to ensure that the normal anti-recursion protection doesn't get |
| 64 | disabled too long. |
| 65 | |
| 66 | Please note: this scheme has its own limitations. See: |
| 67 | http://mail.python.org/pipermail/python-dev/2008-August/082106.html |
| 68 | for some observations. |
| 69 | */ |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 70 | PyAPI_FUNC(void) Py_SetRecursionLimit(int); |
| 71 | PyAPI_FUNC(int) Py_GetRecursionLimit(void); |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 72 | |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 73 | #define Py_EnterRecursiveCall(where) \ |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 74 | (_Py_MakeRecCheck(PyThreadState_GET()->recursion_depth) && \ |
| 75 | _Py_CheckRecursiveCall(where)) |
| 76 | #define Py_LeaveRecursiveCall() \ |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 77 | do{ if(_Py_MakeEndRecCheck(PyThreadState_GET()->recursion_depth)) \ |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 78 | PyThreadState_GET()->overflowed = 0; \ |
| 79 | } while(0) |
Armin Rigo | 2b3eb40 | 2003-10-28 12:05:48 +0000 | [diff] [blame] | 80 | PyAPI_FUNC(int) _Py_CheckRecursiveCall(char *where); |
| 81 | PyAPI_DATA(int) _Py_CheckRecursionLimit; |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 82 | |
Armin Rigo | 2b3eb40 | 2003-10-28 12:05:48 +0000 | [diff] [blame] | 83 | #ifdef USE_STACKCHECK |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 84 | /* With USE_STACKCHECK, we artificially decrement the recursion limit in order |
| 85 | to trigger regular stack checks in _Py_CheckRecursiveCall(), except if |
| 86 | the "overflowed" flag is set, in which case we need the true value |
| 87 | of _Py_CheckRecursionLimit for _Py_MakeEndRecCheck() to function properly. |
| 88 | */ |
| 89 | # define _Py_MakeRecCheck(x) \ |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 90 | (++(x) > (_Py_CheckRecursionLimit += PyThreadState_GET()->overflowed - 1)) |
Armin Rigo | 2b3eb40 | 2003-10-28 12:05:48 +0000 | [diff] [blame] | 91 | #else |
| 92 | # define _Py_MakeRecCheck(x) (++(x) > _Py_CheckRecursionLimit) |
| 93 | #endif |
| 94 | |
Antoine Pitrou | 652e707 | 2009-03-13 19:25:20 +0000 | [diff] [blame] | 95 | #define _Py_MakeEndRecCheck(x) \ |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 96 | (--(x) < ((_Py_CheckRecursionLimit > 100) \ |
| 97 | ? (_Py_CheckRecursionLimit - 50) \ |
| 98 | : (3 * (_Py_CheckRecursionLimit >> 2)))) |
Antoine Pitrou | 658fad8 | 2008-09-03 18:34:34 +0000 | [diff] [blame] | 99 | |
Martin v. Löwis | 5b22213 | 2007-06-10 09:51:05 +0000 | [diff] [blame] | 100 | #define Py_ALLOW_RECURSION \ |
| 101 | do { unsigned char _old = PyThreadState_GET()->recursion_critical;\ |
| 102 | PyThreadState_GET()->recursion_critical = 1; |
| 103 | |
| 104 | #define Py_END_ALLOW_RECURSION \ |
| 105 | PyThreadState_GET()->recursion_critical = _old; \ |
| 106 | } while(0); |
| 107 | |
Jeremy Hylton | af68c87 | 2005-12-10 18:50:16 +0000 | [diff] [blame] | 108 | PyAPI_FUNC(const char *) PyEval_GetFuncName(PyObject *); |
| 109 | PyAPI_FUNC(const char *) PyEval_GetFuncDesc(PyObject *); |
Tim Peters | 6d6c1a3 | 2001-08-02 04:15:00 +0000 | [diff] [blame] | 110 | |
Jeremy Hylton | 985eba5 | 2003-02-05 23:13:00 +0000 | [diff] [blame] | 111 | PyAPI_FUNC(PyObject *) PyEval_GetCallStats(PyObject *); |
Martin v. Löwis | 8d97e33 | 2004-06-27 15:43:12 +0000 | [diff] [blame] | 112 | PyAPI_FUNC(PyObject *) PyEval_EvalFrame(struct _frame *); |
Phillip J. Eby | 0d6615f | 2005-08-02 00:46:46 +0000 | [diff] [blame] | 113 | PyAPI_FUNC(PyObject *) PyEval_EvalFrameEx(struct _frame *f, int exc); |
Jeremy Hylton | 985eba5 | 2003-02-05 23:13:00 +0000 | [diff] [blame] | 114 | |
Skip Montanaro | d581d77 | 2002-09-03 20:10:45 +0000 | [diff] [blame] | 115 | /* this used to be handled on a per-thread basis - now just two globals */ |
| 116 | PyAPI_DATA(volatile int) _Py_Ticker; |
| 117 | PyAPI_DATA(int) _Py_CheckInterval; |
| 118 | |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 119 | /* Interface for threads. |
| 120 | |
| 121 | A module that plans to do a blocking system call (or something else |
| 122 | that lasts a long time and doesn't touch Python data) can allow other |
| 123 | threads to run as follows: |
| 124 | |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 125 | ...preparations here... |
| 126 | Py_BEGIN_ALLOW_THREADS |
| 127 | ...blocking system call here... |
| 128 | Py_END_ALLOW_THREADS |
| 129 | ...interpret result here... |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 130 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 131 | The Py_BEGIN_ALLOW_THREADS/Py_END_ALLOW_THREADS pair expands to a |
| 132 | {}-surrounded block. |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 133 | To leave the block in the middle (e.g., with return), you must insert |
Skip Montanaro | 682c25a | 2000-09-15 18:19:27 +0000 | [diff] [blame] | 134 | a line containing Py_BLOCK_THREADS before the return, e.g. |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 135 | |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 136 | if (...premature_exit...) { |
| 137 | Py_BLOCK_THREADS |
| 138 | PyErr_SetFromErrno(PyExc_IOError); |
| 139 | return NULL; |
| 140 | } |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 141 | |
| 142 | An alternative is: |
| 143 | |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 144 | Py_BLOCK_THREADS |
| 145 | if (...premature_exit...) { |
| 146 | PyErr_SetFromErrno(PyExc_IOError); |
| 147 | return NULL; |
| 148 | } |
| 149 | Py_UNBLOCK_THREADS |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 150 | |
| 151 | For convenience, that the value of 'errno' is restored across |
Skip Montanaro | 682c25a | 2000-09-15 18:19:27 +0000 | [diff] [blame] | 152 | Py_END_ALLOW_THREADS and Py_BLOCK_THREADS. |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 153 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 154 | WARNING: NEVER NEST CALLS TO Py_BEGIN_ALLOW_THREADS AND |
| 155 | Py_END_ALLOW_THREADS!!! |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 156 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 157 | The function PyEval_InitThreads() should be called only from |
Georg Brandl | 2067bfd | 2008-05-25 13:05:15 +0000 | [diff] [blame] | 158 | init_thread() in "_threadmodule.c". |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 159 | |
| 160 | Note that not yet all candidates have been converted to use this |
| 161 | mechanism! |
| 162 | */ |
| 163 | |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 164 | PyAPI_FUNC(PyThreadState *) PyEval_SaveThread(void); |
| 165 | PyAPI_FUNC(void) PyEval_RestoreThread(PyThreadState *); |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 166 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 167 | #ifdef WITH_THREAD |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 168 | |
Tim Peters | 7f468f2 | 2004-10-11 02:40:51 +0000 | [diff] [blame] | 169 | PyAPI_FUNC(int) PyEval_ThreadsInitialized(void); |
Mark Hammond | 91a681d | 2002-08-12 07:21:58 +0000 | [diff] [blame] | 170 | PyAPI_FUNC(void) PyEval_InitThreads(void); |
| 171 | PyAPI_FUNC(void) PyEval_AcquireLock(void); |
| 172 | PyAPI_FUNC(void) PyEval_ReleaseLock(void); |
| 173 | PyAPI_FUNC(void) PyEval_AcquireThread(PyThreadState *tstate); |
| 174 | PyAPI_FUNC(void) PyEval_ReleaseThread(PyThreadState *tstate); |
| 175 | PyAPI_FUNC(void) PyEval_ReInitThreads(void); |
Guido van Rossum | 2fca21f7 | 1997-07-18 23:56:58 +0000 | [diff] [blame] | 176 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 177 | #define Py_BEGIN_ALLOW_THREADS { \ |
Antoine Pitrou | 7f14f0d | 2010-05-09 16:14:21 +0000 | [diff] [blame] | 178 | PyThreadState *_save; \ |
| 179 | _save = PyEval_SaveThread(); |
| 180 | #define Py_BLOCK_THREADS PyEval_RestoreThread(_save); |
| 181 | #define Py_UNBLOCK_THREADS _save = PyEval_SaveThread(); |
| 182 | #define Py_END_ALLOW_THREADS PyEval_RestoreThread(_save); \ |
| 183 | } |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 184 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 185 | #else /* !WITH_THREAD */ |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 186 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 187 | #define Py_BEGIN_ALLOW_THREADS { |
| 188 | #define Py_BLOCK_THREADS |
| 189 | #define Py_UNBLOCK_THREADS |
| 190 | #define Py_END_ALLOW_THREADS } |
Guido van Rossum | ff4949e | 1992-08-05 19:58:53 +0000 | [diff] [blame] | 191 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 192 | #endif /* !WITH_THREAD */ |
Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 193 | |
Martin v. Löwis | 18e1655 | 2006-02-15 17:27:45 +0000 | [diff] [blame] | 194 | PyAPI_FUNC(int) _PyEval_SliceIndex(PyObject *, Py_ssize_t *); |
Guido van Rossum | 7c36ada | 2000-05-08 14:04:54 +0000 | [diff] [blame] | 195 | |
| 196 | |
Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 197 | #ifdef __cplusplus |
| 198 | } |
| 199 | #endif |
| 200 | #endif /* !Py_CEVAL_H */ |