Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Implementation of the Global Interpreter Lock (GIL). |
| 3 | */ |
| 4 | |
| 5 | #include <stdlib.h> |
| 6 | #include <errno.h> |
| 7 | |
Victor Stinner | 27e2d1f | 2018-11-01 00:52:28 +0100 | [diff] [blame] | 8 | #include "pycore_atomic.h" |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 9 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 10 | |
| 11 | /* |
| 12 | Notes about the implementation: |
| 13 | |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 14 | - The GIL is just a boolean variable (locked) whose access is protected |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 15 | by a mutex (gil_mutex), and whose changes are signalled by a condition |
| 16 | variable (gil_cond). gil_mutex is taken for short periods of time, |
| 17 | and therefore mostly uncontended. |
| 18 | |
| 19 | - In the GIL-holding thread, the main loop (PyEval_EvalFrameEx) must be |
| 20 | able to release the GIL on demand by another thread. A volatile boolean |
| 21 | variable (gil_drop_request) is used for that purpose, which is checked |
| 22 | at every turn of the eval loop. That variable is set after a wait of |
| 23 | `interval` microseconds on `gil_cond` has timed out. |
Serhiy Storchaka | 009b811 | 2015-03-18 21:53:15 +0200 | [diff] [blame] | 24 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 25 | [Actually, another volatile boolean variable (eval_breaker) is used |
| 26 | which ORs several conditions into one. Volatile booleans are |
| 27 | sufficient as inter-thread signalling means since Python is run |
| 28 | on cache-coherent architectures only.] |
| 29 | |
| 30 | - A thread wanting to take the GIL will first let pass a given amount of |
| 31 | time (`interval` microseconds) before setting gil_drop_request. This |
| 32 | encourages a defined switching period, but doesn't enforce it since |
| 33 | opcodes can take an arbitrary time to execute. |
Serhiy Storchaka | 009b811 | 2015-03-18 21:53:15 +0200 | [diff] [blame] | 34 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 35 | The `interval` value is available for the user to read and modify |
| 36 | using the Python API `sys.{get,set}switchinterval()`. |
| 37 | |
| 38 | - When a thread releases the GIL and gil_drop_request is set, that thread |
| 39 | ensures that another GIL-awaiting thread gets scheduled. |
| 40 | It does so by waiting on a condition variable (switch_cond) until |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 41 | the value of last_holder is changed to something else than its |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 42 | own thread state pointer, indicating that another thread was able to |
| 43 | take the GIL. |
Serhiy Storchaka | 009b811 | 2015-03-18 21:53:15 +0200 | [diff] [blame] | 44 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 45 | This is meant to prohibit the latency-adverse behaviour on multi-core |
| 46 | machines where one thread would speculatively release the GIL, but still |
| 47 | run and end up being the first to re-acquire it, making the "timeslices" |
| 48 | much longer than expected. |
| 49 | (Note: this mechanism is enabled with FORCE_SWITCHING above) |
| 50 | */ |
| 51 | |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 52 | #include "condvar.h" |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 53 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 54 | #define MUTEX_INIT(mut) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 55 | if (PyMUTEX_INIT(&(mut))) { \ |
| 56 | Py_FatalError("PyMUTEX_INIT(" #mut ") failed"); }; |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 57 | #define MUTEX_FINI(mut) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 58 | if (PyMUTEX_FINI(&(mut))) { \ |
| 59 | Py_FatalError("PyMUTEX_FINI(" #mut ") failed"); }; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 60 | #define MUTEX_LOCK(mut) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 61 | if (PyMUTEX_LOCK(&(mut))) { \ |
| 62 | Py_FatalError("PyMUTEX_LOCK(" #mut ") failed"); }; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 63 | #define MUTEX_UNLOCK(mut) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 64 | if (PyMUTEX_UNLOCK(&(mut))) { \ |
| 65 | Py_FatalError("PyMUTEX_UNLOCK(" #mut ") failed"); }; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 66 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 67 | #define COND_INIT(cond) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 68 | if (PyCOND_INIT(&(cond))) { \ |
| 69 | Py_FatalError("PyCOND_INIT(" #cond ") failed"); }; |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 70 | #define COND_FINI(cond) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 71 | if (PyCOND_FINI(&(cond))) { \ |
| 72 | Py_FatalError("PyCOND_FINI(" #cond ") failed"); }; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 73 | #define COND_SIGNAL(cond) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 74 | if (PyCOND_SIGNAL(&(cond))) { \ |
| 75 | Py_FatalError("PyCOND_SIGNAL(" #cond ") failed"); }; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 76 | #define COND_WAIT(cond, mut) \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 77 | if (PyCOND_WAIT(&(cond), &(mut))) { \ |
| 78 | Py_FatalError("PyCOND_WAIT(" #cond ") failed"); }; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 79 | #define COND_TIMED_WAIT(cond, mut, microseconds, timeout_result) \ |
| 80 | { \ |
Kristján Valur Jónsson | e75ff35 | 2012-06-18 20:30:44 +0000 | [diff] [blame] | 81 | int r = PyCOND_TIMEDWAIT(&(cond), &(mut), (microseconds)); \ |
| 82 | if (r < 0) \ |
| 83 | Py_FatalError("PyCOND_WAIT(" #cond ") failed"); \ |
| 84 | if (r) /* 1 == timeout, 2 == impl. can't say, so assume timeout */ \ |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 85 | timeout_result = 1; \ |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 86 | else \ |
| 87 | timeout_result = 0; \ |
| 88 | } \ |
| 89 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 90 | |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 91 | #define DEFAULT_INTERVAL 5000 |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 92 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 93 | static void _gil_initialize(struct _gil_runtime_state *gil) |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 94 | { |
| 95 | _Py_atomic_int uninitialized = {-1}; |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 96 | gil->locked = uninitialized; |
| 97 | gil->interval = DEFAULT_INTERVAL; |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 98 | } |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 99 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 100 | static int gil_created(struct _gil_runtime_state *gil) |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 101 | { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 102 | return (_Py_atomic_load_explicit(&gil->locked, _Py_memory_order_acquire) >= 0); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 105 | static void create_gil(struct _gil_runtime_state *gil) |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 106 | { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 107 | MUTEX_INIT(gil->mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 108 | #ifdef FORCE_SWITCHING |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 109 | MUTEX_INIT(gil->switch_mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 110 | #endif |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 111 | COND_INIT(gil->cond); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 112 | #ifdef FORCE_SWITCHING |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 113 | COND_INIT(gil->switch_cond); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 114 | #endif |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 115 | _Py_atomic_store_relaxed(&gil->last_holder, 0); |
| 116 | _Py_ANNOTATE_RWLOCK_CREATE(&gil->locked); |
| 117 | _Py_atomic_store_explicit(&gil->locked, 0, _Py_memory_order_release); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 118 | } |
| 119 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 120 | static void destroy_gil(struct _gil_runtime_state *gil) |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 121 | { |
Kristján Valur Jónsson | 187aa54 | 2012-06-05 22:17:42 +0000 | [diff] [blame] | 122 | /* some pthread-like implementations tie the mutex to the cond |
| 123 | * and must have the cond destroyed first. |
| 124 | */ |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 125 | COND_FINI(gil->cond); |
| 126 | MUTEX_FINI(gil->mutex); |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 127 | #ifdef FORCE_SWITCHING |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 128 | COND_FINI(gil->switch_cond); |
| 129 | MUTEX_FINI(gil->switch_mutex); |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 130 | #endif |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 131 | _Py_atomic_store_explicit(&gil->locked, -1, |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 132 | _Py_memory_order_release); |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 133 | _Py_ANNOTATE_RWLOCK_DESTROY(&gil->locked); |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 134 | } |
| 135 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 136 | static void recreate_gil(struct _gil_runtime_state *gil) |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 137 | { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 138 | _Py_ANNOTATE_RWLOCK_DESTROY(&gil->locked); |
Antoine Pitrou | 1df1536 | 2010-09-13 14:16:46 +0000 | [diff] [blame] | 139 | /* XXX should we destroy the old OS resources here? */ |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 140 | create_gil(gil); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 141 | } |
| 142 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 143 | static void |
| 144 | drop_gil(struct _ceval_runtime_state *ceval, PyThreadState *tstate) |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 145 | { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 146 | struct _gil_runtime_state *gil = &ceval->gil; |
| 147 | if (!_Py_atomic_load_relaxed(&gil->locked)) { |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 148 | Py_FatalError("drop_gil: GIL is not locked"); |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 149 | } |
| 150 | |
Antoine Pitrou | 6a002c0 | 2011-01-15 11:37:11 +0000 | [diff] [blame] | 151 | /* tstate is allowed to be NULL (early interpreter init) */ |
| 152 | if (tstate != NULL) { |
| 153 | /* Sub-interpreter support: threads might have been switched |
| 154 | under our feet using PyThreadState_Swap(). Fix the GIL last |
| 155 | holder variable so that our heuristics work. */ |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 156 | _Py_atomic_store_relaxed(&gil->last_holder, (uintptr_t)tstate); |
Antoine Pitrou | 6a002c0 | 2011-01-15 11:37:11 +0000 | [diff] [blame] | 157 | } |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 158 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 159 | MUTEX_LOCK(gil->mutex); |
| 160 | _Py_ANNOTATE_RWLOCK_RELEASED(&gil->locked, /*is_write=*/1); |
| 161 | _Py_atomic_store_relaxed(&gil->locked, 0); |
| 162 | COND_SIGNAL(gil->cond); |
| 163 | MUTEX_UNLOCK(gil->mutex); |
Serhiy Storchaka | 009b811 | 2015-03-18 21:53:15 +0200 | [diff] [blame] | 164 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 165 | #ifdef FORCE_SWITCHING |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 166 | if (_Py_atomic_load_relaxed(&ceval->gil_drop_request) && tstate != NULL) { |
| 167 | MUTEX_LOCK(gil->switch_mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 168 | /* Not switched yet => wait */ |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 169 | if (((PyThreadState*)_Py_atomic_load_relaxed(&gil->last_holder)) == tstate) |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 170 | { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 171 | RESET_GIL_DROP_REQUEST(ceval); |
Antoine Pitrou | cf4cabb | 2009-11-11 18:11:36 +0000 | [diff] [blame] | 172 | /* NOTE: if COND_WAIT does not atomically start waiting when |
| 173 | releasing the mutex, another thread can run through, take |
| 174 | the GIL and drop it again, and reset the condition |
Antoine Pitrou | a1d2332 | 2009-11-12 22:56:02 +0000 | [diff] [blame] | 175 | before we even had a chance to wait for it. */ |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 176 | COND_WAIT(gil->switch_cond, gil->switch_mutex); |
| 177 | } |
| 178 | MUTEX_UNLOCK(gil->switch_mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 179 | } |
| 180 | #endif |
| 181 | } |
| 182 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 183 | static void |
| 184 | take_gil(struct _ceval_runtime_state *ceval, PyThreadState *tstate) |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 185 | { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 186 | if (tstate == NULL) { |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 187 | Py_FatalError("take_gil: NULL tstate"); |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 188 | } |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 189 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 190 | struct _gil_runtime_state *gil = &ceval->gil; |
| 191 | int err = errno; |
| 192 | MUTEX_LOCK(gil->mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 193 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 194 | if (!_Py_atomic_load_relaxed(&gil->locked)) { |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 195 | goto _ready; |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 196 | } |
Serhiy Storchaka | 009b811 | 2015-03-18 21:53:15 +0200 | [diff] [blame] | 197 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 198 | while (_Py_atomic_load_relaxed(&gil->locked)) { |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 199 | int timed_out = 0; |
| 200 | unsigned long saved_switchnum; |
| 201 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 202 | saved_switchnum = gil->switch_number; |
| 203 | |
| 204 | |
| 205 | unsigned long interval = (gil->interval >= 1 ? gil->interval : 1); |
| 206 | COND_TIMED_WAIT(gil->cond, gil->mutex, interval, timed_out); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 207 | /* If we timed out and no switch occurred in the meantime, it is time |
| 208 | to ask the GIL-holding thread to drop it. */ |
Jeffrey Yasskin | 3937083 | 2010-05-03 19:29:34 +0000 | [diff] [blame] | 209 | if (timed_out && |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 210 | _Py_atomic_load_relaxed(&gil->locked) && |
| 211 | gil->switch_number == saved_switchnum) |
| 212 | { |
| 213 | SET_GIL_DROP_REQUEST(ceval); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 214 | } |
| 215 | } |
| 216 | _ready: |
| 217 | #ifdef FORCE_SWITCHING |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 218 | /* This mutex must be taken before modifying gil->last_holder: |
| 219 | see drop_gil(). */ |
| 220 | MUTEX_LOCK(gil->switch_mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 221 | #endif |
| 222 | /* We now hold the GIL */ |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 223 | _Py_atomic_store_relaxed(&gil->locked, 1); |
| 224 | _Py_ANNOTATE_RWLOCK_ACQUIRED(&gil->locked, /*is_write=*/1); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 225 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 226 | if (tstate != (PyThreadState*)_Py_atomic_load_relaxed(&gil->last_holder)) { |
| 227 | _Py_atomic_store_relaxed(&gil->last_holder, (uintptr_t)tstate); |
| 228 | ++gil->switch_number; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 229 | } |
Jeffrey Yasskin | 3937083 | 2010-05-03 19:29:34 +0000 | [diff] [blame] | 230 | |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 231 | #ifdef FORCE_SWITCHING |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 232 | COND_SIGNAL(gil->switch_cond); |
| 233 | MUTEX_UNLOCK(gil->switch_mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 234 | #endif |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 235 | if (_Py_atomic_load_relaxed(&ceval->gil_drop_request)) { |
| 236 | RESET_GIL_DROP_REQUEST(ceval); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 237 | } |
| 238 | if (tstate->async_exc != NULL) { |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 239 | _PyEval_SignalAsyncExc(ceval); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 240 | } |
Serhiy Storchaka | 009b811 | 2015-03-18 21:53:15 +0200 | [diff] [blame] | 241 | |
Victor Stinner | 09532fe | 2019-05-10 23:39:09 +0200 | [diff] [blame] | 242 | MUTEX_UNLOCK(gil->mutex); |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 243 | errno = err; |
| 244 | } |
| 245 | |
| 246 | void _PyEval_SetSwitchInterval(unsigned long microseconds) |
| 247 | { |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 248 | _PyRuntime.ceval.gil.interval = microseconds; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 249 | } |
| 250 | |
| 251 | unsigned long _PyEval_GetSwitchInterval() |
| 252 | { |
Eric Snow | 2ebc5ce | 2017-09-07 23:51:28 -0600 | [diff] [blame] | 253 | return _PyRuntime.ceval.gil.interval; |
Antoine Pitrou | 074e5ed | 2009-11-10 19:50:40 +0000 | [diff] [blame] | 254 | } |