|
|
1 | /* most win32 perls are beyond fixing, requiring dTHX */ |
|
|
2 | /* even for ISO-C functions such as malloc. avoid! avoid! avoid! */ |
|
|
3 | /* and fail to define numerous symbols, but still overrwide them */ |
|
|
4 | /* with non-working versions (e.g. setjmp). */ |
|
|
5 | #ifdef _WIN32 |
|
|
6 | /*# define PERL_CORE 1 fixes some, breaks others */ |
|
|
7 | #else |
1 | #define PERL_NO_GET_CONTEXT |
8 | # define PERL_NO_GET_CONTEXT |
|
|
9 | #endif |
2 | |
10 | |
3 | #include "EXTERN.h" |
11 | #include "EXTERN.h" |
4 | #include "perl.h" |
12 | #include "perl.h" |
5 | #include "XSUB.h" |
13 | #include "XSUB.h" |
6 | |
14 | |
7 | #define X_STACKSIZE -1 |
15 | #define X_STACKSIZE 1024 * sizeof (void *) |
8 | |
16 | |
9 | #include "CoroAPI.h" |
17 | #include "CoroAPI.h" |
10 | #include "perlmulticore.h" |
18 | #include "perlmulticore.h" |
11 | #include "schmorp.h" |
19 | #include "schmorp.h" |
12 | #include "xthread.h" |
20 | #include "xthread.h" |
13 | |
21 | |
14 | #ifdef _WIN32 |
22 | #ifdef _WIN32 |
15 | typedef char sigset_t; |
23 | #ifndef sigset_t |
16 | #define pthread_sigmask(mode,new,old) |
24 | #define sigset_t int |
17 | #endif |
25 | #endif |
|
|
26 | #endif |
18 | |
27 | |
19 | static pthread_key_t current_key; |
28 | #ifndef SvREFCNT_dec_NN |
|
|
29 | #define SvREFCNT_dec_NN(sv) SvREFCNT_dec (sv) |
|
|
30 | #endif |
|
|
31 | |
|
|
32 | #ifndef SvREFCNT_inc_NN |
|
|
33 | #define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv) |
|
|
34 | #endif |
|
|
35 | |
|
|
36 | #define RECURSION_CHECK 0 |
|
|
37 | |
|
|
38 | static X_TLS_DECLARE(current_key); |
|
|
39 | #if RECURSION_CHECK |
|
|
40 | static X_TLS_DECLARE(check_key); |
|
|
41 | #endif |
|
|
42 | |
20 | |
43 | |
21 | static s_epipe ep; |
44 | static s_epipe ep; |
22 | static void *perl_thx; |
45 | static void *perl_thx; |
23 | static sigset_t cursigset, fullsigset; |
46 | static sigset_t cursigset, fullsigset; |
24 | |
47 | |
|
|
48 | static int global_enable = 0; |
|
|
49 | static int thread_enable; /* 0 undefined, 1 disabled, 2 enabled */ |
|
|
50 | |
|
|
51 | /* assigned to a thread for each release/acquire */ |
25 | struct tctx |
52 | struct tctx |
26 | { |
53 | { |
27 | void *coro; |
54 | void *coro; |
|
|
55 | int wait_f; |
|
|
56 | xcond_t acquire_c; |
|
|
57 | int jeret; |
28 | }; |
58 | }; |
29 | |
59 | |
30 | static struct tctx *tctx_free; |
60 | static struct tctx *tctx_free; |
31 | |
|
|
32 | static int available; |
|
|
33 | static int max_idle = 8; |
|
|
34 | |
|
|
35 | static xmutex_t perl_m = X_MUTEX_INIT; static xcond_t perl_c = X_COND_INIT; static struct tctx *perl_f; |
|
|
36 | static xmutex_t wait_m = X_MUTEX_INIT; static xcond_t wait_c = X_COND_INIT; static int wait_f; |
|
|
37 | |
|
|
38 | static int wakeup_f; |
|
|
39 | static struct tctx **waiters; |
|
|
40 | static int waiters_count, waiters_max; |
|
|
41 | |
61 | |
42 | static struct tctx * |
62 | static struct tctx * |
43 | tctx_get (void) |
63 | tctx_get (void) |
44 | { |
64 | { |
45 | struct tctx *ctx; |
65 | struct tctx *ctx; |
46 | |
66 | |
47 | if (!tctx_free) |
67 | if (!tctx_free) |
|
|
68 | { |
48 | ctx = malloc (sizeof (*tctx_free)); |
69 | ctx = malloc (sizeof (*tctx_free)); |
|
|
70 | X_COND_CREATE (ctx->acquire_c); |
|
|
71 | } |
49 | else |
72 | else |
50 | { |
73 | { |
51 | ctx = tctx_free; |
74 | ctx = tctx_free; |
52 | tctx_free = tctx_free->coro; |
75 | tctx_free = tctx_free->coro; |
53 | } |
76 | } |
… | |
… | |
60 | { |
83 | { |
61 | ctx->coro = tctx_free; |
84 | ctx->coro = tctx_free; |
62 | tctx_free = ctx; |
85 | tctx_free = ctx; |
63 | } |
86 | } |
64 | |
87 | |
|
|
88 | /* a stack of tctxs */ |
|
|
89 | struct tctxs |
|
|
90 | { |
|
|
91 | struct tctx **ctxs; |
|
|
92 | int cur, max; |
|
|
93 | }; |
|
|
94 | |
|
|
95 | static struct tctx * |
|
|
96 | tctxs_get (struct tctxs *ctxs) |
|
|
97 | { |
|
|
98 | return ctxs->ctxs[--ctxs->cur]; |
|
|
99 | } |
|
|
100 | |
|
|
101 | static void |
|
|
102 | tctxs_put (struct tctxs *ctxs, struct tctx *ctx) |
|
|
103 | { |
|
|
104 | if (ctxs->cur >= ctxs->max) |
|
|
105 | { |
|
|
106 | ctxs->max = ctxs->max ? ctxs->max * 2 : 16; |
|
|
107 | ctxs->ctxs = realloc (ctxs->ctxs, ctxs->max * sizeof (ctxs->ctxs[0])); |
|
|
108 | } |
|
|
109 | |
|
|
110 | ctxs->ctxs[ctxs->cur++] = ctx; |
|
|
111 | } |
|
|
112 | |
|
|
113 | static xmutex_t release_m = X_MUTEX_INIT; |
|
|
114 | static xcond_t release_c = X_COND_INIT; |
|
|
115 | static struct tctxs releasers; |
|
|
116 | static int idle; |
|
|
117 | static int min_idle = 1; |
|
|
118 | static int curthreads, max_threads = 1; /* protected by release_m */ |
|
|
119 | |
|
|
120 | static xmutex_t acquire_m = X_MUTEX_INIT; |
|
|
121 | static struct tctxs acquirers; |
|
|
122 | |
65 | X_THREAD_PROC(thread_proc) |
123 | X_THREAD_PROC(thread_proc) |
66 | { |
124 | { |
67 | PERL_SET_CONTEXT (perl_thx); |
125 | PERL_SET_CONTEXT (perl_thx); |
68 | |
126 | |
69 | { |
127 | { |
70 | dTHX; /* inefficient, we already have perl_thx, but I see no better way */ |
128 | dTHXa (perl_thx); |
|
|
129 | dJMPENV; |
71 | struct tctx *ctx; |
130 | struct tctx *ctx; |
|
|
131 | int catchret; |
|
|
132 | |
|
|
133 | X_LOCK (release_m); |
72 | |
134 | |
73 | for (;;) |
135 | for (;;) |
74 | { |
136 | { |
75 | /* TODO: should really use some idle time and exit after that */ |
137 | while (!releasers.cur) |
|
|
138 | if (idle <= min_idle || 1) |
|
|
139 | X_COND_WAIT (release_c, release_m); |
|
|
140 | else |
|
|
141 | { |
|
|
142 | struct timespec ts = { time (0) + idle - min_idle, 0 }; |
|
|
143 | |
|
|
144 | if (X_COND_TIMEDWAIT (release_c, release_m, ts) == ETIMEDOUT) |
|
|
145 | if (idle > min_idle && !releasers.cur) |
|
|
146 | break; |
|
|
147 | } |
|
|
148 | |
|
|
149 | ctx = tctxs_get (&releasers); |
|
|
150 | --idle; |
76 | X_LOCK (perl_m); |
151 | X_UNLOCK (release_m); |
77 | while (!perl_f) |
152 | |
78 | X_COND_WAIT (perl_c, perl_m); |
153 | if (!ctx) /* timed out? */ |
79 | ctx = perl_f; |
154 | break; |
80 | perl_f = 0; |
155 | |
81 | --available; |
|
|
82 | pthread_sigmask (SIG_SETMASK, &cursigset, 0); |
156 | pthread_sigmask (SIG_SETMASK, &cursigset, 0); |
83 | X_UNLOCK (perl_m); |
157 | JMPENV_PUSH (ctx->jeret); |
84 | |
158 | |
|
|
159 | if (!ctx->jeret) |
85 | while (ctx->coro) |
160 | while (ctx->coro) |
86 | CORO_SCHEDULE; |
161 | CORO_SCHEDULE; |
87 | |
162 | |
88 | X_LOCK (wait_m); |
163 | JMPENV_POP; |
89 | pthread_sigmask (SIG_SETMASK, &fullsigset, &cursigset); |
164 | pthread_sigmask (SIG_SETMASK, &fullsigset, &cursigset); |
|
|
165 | |
|
|
166 | X_LOCK (acquire_m); |
90 | wait_f = 1; |
167 | ctx->wait_f = 1; |
91 | X_COND_SIGNAL (wait_c); |
168 | X_COND_SIGNAL (ctx->acquire_c); |
92 | |
|
|
93 | if (available >= max_idle) |
|
|
94 | { |
|
|
95 | X_UNLOCK (wait_m); |
|
|
96 | break; |
|
|
97 | } |
|
|
98 | |
|
|
99 | ++available; |
|
|
100 | X_UNLOCK (wait_m); |
169 | X_UNLOCK (acquire_m); |
|
|
170 | |
|
|
171 | X_LOCK (release_m); |
|
|
172 | ++idle; |
101 | } |
173 | } |
102 | } |
174 | } |
103 | } |
175 | } |
104 | |
176 | |
105 | static void |
177 | static void |
106 | start_thread (void) |
178 | start_thread (void) |
107 | { |
179 | { |
108 | xthread_t tid; |
180 | xthread_t tid; |
109 | |
181 | |
110 | ++available; |
182 | if (curthreads >= max_threads && 0) |
|
|
183 | return; |
|
|
184 | |
|
|
185 | ++curthreads; |
|
|
186 | ++idle; |
111 | xthread_create (&tid, thread_proc, 0); |
187 | xthread_create (&tid, thread_proc, 0); |
112 | } |
188 | } |
113 | |
189 | |
114 | static void |
190 | static void |
115 | pmapi_release (void) |
191 | pmapi_release (void) |
116 | { |
192 | { |
|
|
193 | #if RECURSION_CHECK |
|
|
194 | if (X_TLS_GET (check_key)) |
|
|
195 | croak ("perlinterp_release () called without valid perl context"); |
|
|
196 | |
|
|
197 | X_TLS_SET (check_key, &check_key); |
|
|
198 | #endif |
|
|
199 | |
|
|
200 | if (! ((thread_enable ? thread_enable : global_enable) & 1)) |
|
|
201 | { |
|
|
202 | X_TLS_SET (current_key, 0); |
|
|
203 | return; |
|
|
204 | } |
|
|
205 | |
117 | struct tctx *ctx = tctx_get (); |
206 | struct tctx *ctx = tctx_get (); |
118 | ctx->coro = SvREFCNT_inc_NN (CORO_CURRENT); |
207 | ctx->coro = SvREFCNT_inc_simple_NN (CORO_CURRENT); |
119 | pthread_setspecific (current_key, ctx); |
208 | ctx->wait_f = 0; |
|
|
209 | |
|
|
210 | X_TLS_SET (current_key, ctx); |
120 | pthread_sigmask (SIG_SETMASK, &fullsigset, &cursigset); |
211 | pthread_sigmask (SIG_SETMASK, &fullsigset, &cursigset); |
121 | |
212 | |
122 | if (!available) |
213 | X_LOCK (release_m); |
|
|
214 | |
|
|
215 | if (idle <= min_idle) |
123 | start_thread (); |
216 | start_thread (); |
124 | |
217 | |
125 | X_LOCK (perl_m); |
218 | tctxs_put (&releasers, ctx); |
126 | perl_f = ctx; |
|
|
127 | X_COND_SIGNAL (perl_c); |
219 | X_COND_SIGNAL (release_c); |
|
|
220 | |
|
|
221 | while (!idle && releasers.cur) |
|
|
222 | { |
|
|
223 | X_UNLOCK (release_m); |
|
|
224 | X_LOCK (release_m); |
|
|
225 | } |
|
|
226 | |
128 | X_UNLOCK (perl_m); |
227 | X_UNLOCK (release_m); |
129 | } |
228 | } |
130 | |
229 | |
131 | static void |
230 | static void |
132 | pmapi_acquire (void) |
231 | pmapi_acquire (void) |
133 | { |
232 | { |
134 | struct tctx *ctx = pthread_getspecific (current_key); |
233 | int jeret; |
|
|
234 | struct tctx *ctx = X_TLS_GET (current_key); |
135 | |
235 | |
|
|
236 | #if RECURSION_CHECK |
|
|
237 | if (X_TLS_GET (check_key) != &check_key) |
|
|
238 | croak ("perlinterp_acquire () called with valid perl context"); |
|
|
239 | |
|
|
240 | X_TLS_SET (check_key, 0); |
|
|
241 | #endif |
|
|
242 | |
|
|
243 | if (!ctx) |
|
|
244 | return; |
|
|
245 | |
136 | X_LOCK (wait_m); |
246 | X_LOCK (acquire_m); |
137 | |
247 | |
138 | if (waiters_count >= waiters_max) |
248 | tctxs_put (&acquirers, ctx); |
139 | { |
|
|
140 | waiters_max = waiters_max ? waiters_max * 2 : 16; |
|
|
141 | waiters = realloc (waiters, waiters_max * sizeof (*waiters)); |
|
|
142 | } |
|
|
143 | |
|
|
144 | waiters [waiters_count++] = ctx; |
|
|
145 | |
249 | |
146 | s_epipe_signal (&ep); |
250 | s_epipe_signal (&ep); |
147 | while (!wait_f) |
251 | while (!ctx->wait_f) |
148 | X_COND_WAIT (wait_c, wait_m); |
252 | X_COND_WAIT (ctx->acquire_c, acquire_m); |
149 | wait_f = 0; |
|
|
150 | X_UNLOCK (wait_m); |
253 | X_UNLOCK (acquire_m); |
151 | |
254 | |
|
|
255 | jeret = ctx->jeret; |
152 | tctx_put (ctx); |
256 | tctx_put (ctx); |
153 | pthread_sigmask (SIG_SETMASK, &cursigset, 0); |
257 | pthread_sigmask (SIG_SETMASK, &cursigset, 0); |
|
|
258 | |
|
|
259 | if (jeret) |
|
|
260 | { |
|
|
261 | dTHX; |
|
|
262 | JMPENV_JUMP (jeret); |
|
|
263 | } |
|
|
264 | } |
|
|
265 | |
|
|
266 | static void |
|
|
267 | set_thread_enable (pTHX_ void *arg) |
|
|
268 | { |
|
|
269 | thread_enable = PTR2IV (arg); |
154 | } |
270 | } |
155 | |
271 | |
156 | MODULE = Coro::Multicore PACKAGE = Coro::Multicore |
272 | MODULE = Coro::Multicore PACKAGE = Coro::Multicore |
157 | |
273 | |
158 | PROTOTYPES: DISABLE |
274 | PROTOTYPES: DISABLE |
159 | |
275 | |
160 | BOOT: |
276 | BOOT: |
161 | { |
277 | { |
162 | #ifndef _WIN32 |
278 | #ifndef _WIN32 |
163 | sigfillset (&fullsigset); |
279 | sigfillset (&fullsigset); |
164 | #endif |
280 | #endif |
165 | |
281 | |
166 | pthread_key_create (¤t_key, 0); |
282 | X_TLS_INIT (current_key); |
|
|
283 | #if RECURSION_CHECK |
|
|
284 | X_TLS_INIT (check_key); |
|
|
285 | #endif |
167 | |
286 | |
168 | if (s_epipe_new (&ep)) |
287 | if (s_epipe_new (&ep)) |
169 | croak ("Coro::Multicore: unable to initialise event pipe.\n"); |
288 | croak ("Coro::Multicore: unable to initialise event pipe.\n"); |
170 | |
289 | |
171 | perl_thx = PERL_GET_CONTEXT; |
290 | perl_thx = PERL_GET_CONTEXT; |
172 | |
291 | |
173 | I_CORO_API ("Coro::Multicore"); |
292 | I_CORO_API ("Coro::Multicore"); |
174 | |
293 | |
|
|
294 | X_LOCK (release_m); |
|
|
295 | while (idle < min_idle) |
|
|
296 | start_thread (); |
|
|
297 | X_UNLOCK (release_m); |
|
|
298 | |
175 | /* not perfectly efficient to do it this way, but it's simple */ |
299 | /* not perfectly efficient to do it this way, but it is simple */ |
176 | perl_multicore_init (); |
300 | perl_multicore_init (); /* calls release */ |
177 | perl_multicore_api->pmapi_release = pmapi_release; |
301 | perl_multicore_api->pmapi_release = pmapi_release; |
178 | perl_multicore_api->pmapi_acquire = pmapi_acquire; |
302 | perl_multicore_api->pmapi_acquire = pmapi_acquire; |
179 | } |
303 | } |
180 | |
304 | |
|
|
305 | bool |
|
|
306 | enable (bool enable = NO_INIT) |
|
|
307 | CODE: |
|
|
308 | RETVAL = global_enable; |
|
|
309 | if (items) |
|
|
310 | global_enable = enable; |
|
|
311 | OUTPUT: |
|
|
312 | RETVAL |
|
|
313 | |
|
|
314 | void |
|
|
315 | scoped_enable () |
|
|
316 | CODE: |
|
|
317 | LEAVE; /* see Guard.xs */ |
|
|
318 | CORO_ENTERLEAVE_SCOPE_HOOK (set_thread_enable, (void *)1, set_thread_enable, (void *)0); |
|
|
319 | ENTER; /* see Guard.xs */ |
|
|
320 | |
|
|
321 | void |
|
|
322 | scoped_disable () |
|
|
323 | CODE: |
|
|
324 | LEAVE; /* see Guard.xs */ |
|
|
325 | CORO_ENTERLEAVE_SCOPE_HOOK (set_thread_enable, (void *)2, set_thread_enable, (void *)0); |
|
|
326 | ENTER; /* see Guard.xs */ |
|
|
327 | |
181 | U32 |
328 | U32 |
182 | max_idle_threads (U32 max = NO_INIT) |
329 | min_idle_threads (U32 min = NO_INIT) |
183 | CODE: |
330 | CODE: |
184 | X_LOCK (wait_m); |
331 | X_LOCK (acquire_m); |
185 | RETVAL = max_idle; |
332 | RETVAL = min_idle; |
186 | if (items) |
333 | if (items) |
187 | max_idle = max; |
334 | min_idle = min; |
188 | X_UNLOCK (wait_m); |
335 | X_UNLOCK (acquire_m); |
189 | OUTPUT: |
336 | OUTPUT: |
190 | RETVAL |
337 | RETVAL |
191 | |
338 | |
192 | |
339 | |
193 | int |
340 | int |
… | |
… | |
199 | |
346 | |
200 | void |
347 | void |
201 | poll (...) |
348 | poll (...) |
202 | CODE: |
349 | CODE: |
203 | s_epipe_drain (&ep); |
350 | s_epipe_drain (&ep); |
204 | X_LOCK (wait_m); |
351 | X_LOCK (acquire_m); |
205 | while (waiters_count) |
352 | while (acquirers.cur) |
206 | { |
353 | { |
207 | struct tctx *ctx = waiters [--waiters_count]; |
354 | struct tctx *ctx = tctxs_get (&acquirers); |
208 | CORO_READY ((SV *)ctx->coro); |
355 | CORO_READY ((SV *)ctx->coro); |
209 | SvREFCNT_dec_NN ((SV *)ctx->coro); |
356 | SvREFCNT_dec_NN ((SV *)ctx->coro); |
210 | ctx->coro = 0; |
357 | ctx->coro = 0; |
211 | } |
358 | } |
212 | X_UNLOCK (wait_m); |
359 | X_UNLOCK (acquire_m); |
213 | |
360 | |
214 | void |
361 | void |
215 | sleep (NV seconds) |
362 | sleep (NV seconds) |
216 | CODE: |
363 | CODE: |
217 | perlinterp_release (); |
364 | perlinterp_release (); |
218 | usleep (seconds * 1e6); |
365 | { |
|
|
366 | int nsec = seconds; |
|
|
367 | if (nsec) sleep (nsec); |
|
|
368 | nsec = (seconds - nsec) * 1e9; |
|
|
369 | if (nsec) usleep (nsec); |
|
|
370 | } |
219 | perlinterp_acquire (); |
371 | perlinterp_acquire (); |
220 | |
372 | |