ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/Coro/Coro/State.xs
(Generate patch)

Comparing Coro/Coro/State.xs (file contents):
Revision 1.5 by root, Tue Jul 17 02:55:29 2001 UTC vs.
Revision 1.332 by root, Thu Nov 27 12:20:31 2008 UTC

1#include "libcoro/coro.c"
2
3#define PERL_NO_GET_CONTEXT
4#define PERL_EXT
5
1#include "EXTERN.h" 6#include "EXTERN.h"
2#include "perl.h" 7#include "perl.h"
3#include "XSUB.h" 8#include "XSUB.h"
9#include "perliol.h"
4 10
5#if 0 11#include "patchlevel.h"
6# define CHK(x) (void *)0 12
13#include <stdio.h>
14#include <errno.h>
15#include <assert.h>
16
17#ifdef WIN32
18# undef setjmp
19# undef longjmp
20# undef _exit
21# define setjmp _setjmp /* deep magic */
7#else 22#else
8# define CHK(x) if (!(x)) croak("FATAL, CHK: " #x) 23# include <inttypes.h> /* most portable stdint.h */
24#endif
25
26#ifdef HAVE_MMAP
27# include <unistd.h>
28# include <sys/mman.h>
29# ifndef MAP_ANONYMOUS
30# ifdef MAP_ANON
31# define MAP_ANONYMOUS MAP_ANON
32# else
33# undef HAVE_MMAP
34# endif
9#endif 35# endif
36# include <limits.h>
37# ifndef PAGESIZE
38# define PAGESIZE pagesize
39# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE)
40static long pagesize;
41# else
42# define BOOT_PAGESIZE (void)0
43# endif
44#else
45# define PAGESIZE 0
46# define BOOT_PAGESIZE (void)0
47#endif
10 48
49#if CORO_USE_VALGRIND
50# include <valgrind/valgrind.h>
51#endif
52
53/* the maximum number of idle cctx that will be pooled */
54static int cctx_max_idle = 4;
55
56#define PERL_VERSION_ATLEAST(a,b,c) \
57 (PERL_REVISION > (a) \
58 || (PERL_REVISION == (a) \
59 && (PERL_VERSION > (b) \
60 || (PERL_VERSION == (b) && PERL_SUBVERSION >= (c)))))
61
62#if !PERL_VERSION_ATLEAST (5,6,0)
63# ifndef PL_ppaddr
64# define PL_ppaddr ppaddr
65# endif
66# ifndef call_sv
67# define call_sv perl_call_sv
68# endif
69# ifndef get_sv
70# define get_sv perl_get_sv
71# endif
72# ifndef get_cv
73# define get_cv perl_get_cv
74# endif
75# ifndef IS_PADGV
76# define IS_PADGV(v) 0
77# endif
78# ifndef IS_PADCONST
79# define IS_PADCONST(v) 0
80# endif
81#endif
82
83/* 5.11 */
84#ifndef CxHASARGS
85# define CxHASARGS(cx) (cx)->blk_sub.hasargs
86#endif
87
88/* 5.10.0 */
89#ifndef SvREFCNT_inc_NN
90# define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
91#endif
92
93/* 5.8.8 */
94#ifndef GV_NOTQUAL
95# define GV_NOTQUAL 0
96#endif
97#ifndef newSV
98# define newSV(l) NEWSV(0,l)
99#endif
100#ifndef CvISXSUB_on
101# define CvISXSUB_on(cv) (void)cv
102#endif
103#ifndef CvISXSUB
104# define CvISXSUB(cv) (CvXSUB (cv) ? TRUE : FALSE)
105#endif
106#ifndef Newx
107# define Newx(ptr,nitems,type) New (0,ptr,nitems,type)
108#endif
109
110/* 5.8.7 */
111#ifndef SvRV_set
112# define SvRV_set(s,v) SvRV(s) = (v)
113#endif
114
115#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
116# undef CORO_STACKGUARD
117#endif
118
119#ifndef CORO_STACKGUARD
120# define CORO_STACKGUARD 0
121#endif
122
123/* prefer perl internal functions over our own? */
124#ifndef CORO_PREFER_PERL_FUNCTIONS
125# define CORO_PREFER_PERL_FUNCTIONS 0
126#endif
127
128/* The next macros try to return the current stack pointer, in an as
129 * portable way as possible. */
130#if __GNUC__ >= 4
131# define dSTACKLEVEL int stacklevel_dummy
132# define STACKLEVEL __builtin_frame_address (0)
133#else
134# define dSTACKLEVEL volatile void *stacklevel
135# define STACKLEVEL ((void *)&stacklevel)
136#endif
137
138#define IN_DESTRUCT PL_dirty
139
140#if __GNUC__ >= 3
141# define attribute(x) __attribute__(x)
142# define expect(expr,value) __builtin_expect ((expr),(value))
143# define INLINE static inline
144#else
145# define attribute(x)
146# define expect(expr,value) (expr)
147# define INLINE static
148#endif
149
150#define expect_false(expr) expect ((expr) != 0, 0)
151#define expect_true(expr) expect ((expr) != 0, 1)
152
153#define NOINLINE attribute ((noinline))
154
155#include "CoroAPI.h"
156#define GCoroAPI (&coroapi) /* very sneaky */
157
158#ifdef USE_ITHREADS
159# if CORO_PTHREAD
160static void *coro_thx;
161# endif
162#endif
163
164static double (*nvtime)(); /* so why doesn't it take void? */
165
166/* we hijack an hopefully unused CV flag for our purposes */
167#define CVf_SLF 0x4000
168static OP *pp_slf (pTHX);
169
170static U32 cctx_gen;
171static size_t cctx_stacksize = CORO_STACKSIZE;
172static struct CoroAPI coroapi;
173static AV *main_mainstack; /* used to differentiate between $main and others */
174static JMPENV *main_top_env;
175static HV *coro_state_stash, *coro_stash;
176static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
177
178static AV *av_destroy; /* destruction queue */
179static SV *sv_manager; /* the manager coro */
180static SV *sv_idle; /* $Coro::idle */
181
182static GV *irsgv; /* $/ */
183static GV *stdoutgv; /* *STDOUT */
184static SV *rv_diehook;
185static SV *rv_warnhook;
186static HV *hv_sig; /* %SIG */
187
188/* async_pool helper stuff */
189static SV *sv_pool_rss;
190static SV *sv_pool_size;
191static SV *sv_async_pool_idle; /* description string */
192static AV *av_async_pool; /* idle pool */
193static SV *sv_Coro; /* class string */
194static CV *cv_pool_handler;
195static CV *cv_coro_state_new;
196
197/* Coro::AnyEvent */
198static SV *sv_activity;
199
200static struct coro_cctx *cctx_first;
201static int cctx_count, cctx_idle;
202
203enum {
204 CC_MAPPED = 0x01,
205 CC_NOREUSE = 0x02, /* throw this away after tracing */
206 CC_TRACE = 0x04,
207 CC_TRACE_SUB = 0x08, /* trace sub calls */
208 CC_TRACE_LINE = 0x10, /* trace each statement */
209 CC_TRACE_ALL = CC_TRACE_SUB | CC_TRACE_LINE,
210};
211
212/* this is a structure representing a c-level coroutine */
213typedef struct coro_cctx
214{
215 struct coro_cctx *next;
216
217 /* the stack */
218 void *sptr;
219 size_t ssize;
220
221 /* cpu state */
222 void *idle_sp; /* sp of top-level transfer/schedule/cede call */
223 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */
224 JMPENV *top_env;
225 coro_context cctx;
226
227 U32 gen;
228#if CORO_USE_VALGRIND
229 int valgrind_id;
230#endif
231 unsigned char flags;
232} coro_cctx;
233
234coro_cctx *cctx_current; /* the currently running cctx */
235
236/*****************************************************************************/
237
238enum {
239 CF_RUNNING = 0x0001, /* coroutine is running */
240 CF_READY = 0x0002, /* coroutine is ready */
241 CF_NEW = 0x0004, /* has never been switched to */
242 CF_DESTROYED = 0x0008, /* coroutine data has been freed */
243};
244
245/* the structure where most of the perl state is stored, overlaid on the cxstack */
246typedef struct
247{
248 SV *defsv;
249 AV *defav;
250 SV *errsv;
251 SV *irsgv;
252 HV *hinthv;
253#define VAR(name,type) type name;
254# include "state.h"
255#undef VAR
256} perl_slots;
257
258#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))
259
260/* this is a structure representing a perl-level coroutine */
11struct coro { 261struct coro {
12 U8 dowarn; 262 /* the C coroutine allocated to this perl coroutine, if any */
13 AV *defav; 263 coro_cctx *cctx;
14 264
15 PERL_SI *curstackinfo; 265 /* state data */
16 AV *curstack; 266 struct CoroSLF slf_frame; /* saved slf frame */
17 AV *mainstack; 267 AV *mainstack;
18 SV **stack_sp; 268 perl_slots *slot; /* basically the saved sp */
19 OP *op;
20 SV **curpad;
21 SV **stack_base;
22 SV **stack_max;
23 SV **tmps_stack;
24 I32 tmps_floor;
25 I32 tmps_ix;
26 I32 tmps_max;
27 I32 *markstack;
28 I32 *markstack_ptr;
29 I32 *markstack_max;
30 I32 *scopestack;
31 I32 scopestack_ix;
32 I32 scopestack_max;
33 ANY *savestack;
34 I32 savestack_ix;
35 I32 savestack_max;
36 OP **retstack;
37 I32 retstack_ix;
38 I32 retstack_max;
39 COP *curcop;
40 269
41 AV *args; 270 CV *startcv; /* the CV to execute */
271 AV *args; /* data associated with this coroutine (initial args) */
272 int refcnt; /* coroutines are refcounted, yes */
273 int flags; /* CF_ flags */
274 HV *hv; /* the perl hash associated with this coro, if any */
275 void (*on_destroy)(pTHX_ struct coro *coro);
276
277 /* statistics */
278 int usecount; /* number of transfers to this coro */
279
280 /* coro process data */
281 int prio;
282 SV *except; /* exception to be thrown */
283 SV *rouse_cb;
284
285 /* async_pool */
286 SV *saved_deffh;
287 SV *invoke_cb;
288 AV *invoke_av;
289
290 /* linked list */
291 struct coro *next, *prev;
42}; 292};
43 293
44typedef struct coro *Coro__State; 294typedef struct coro *Coro__State;
45typedef struct coro *Coro__State_or_hashref; 295typedef struct coro *Coro__State_or_hashref;
46 296
47static HV *padlist_cache; 297/* the following variables are effectively part of the perl context */
298/* and get copied between struct coro and these variables */
299/* the mainr easonw e don't support windows process emulation */
300static struct CoroSLF slf_frame; /* the current slf frame */
48 301
49/* mostly copied from op.c:cv_clone2 */ 302/** Coro ********************************************************************/
50STATIC AV * 303
51clone_padlist (AV *protopadlist) 304#define PRIO_MAX 3
305#define PRIO_HIGH 1
306#define PRIO_NORMAL 0
307#define PRIO_LOW -1
308#define PRIO_IDLE -3
309#define PRIO_MIN -4
310
311/* for Coro.pm */
312static SV *coro_current;
313static SV *coro_readyhook;
314static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];
315static CV *cv_coro_run, *cv_coro_terminate;
316static struct coro *coro_first;
317#define coro_nready coroapi.nready
318
319/** lowlevel stuff **********************************************************/
320
321static SV *
322coro_get_sv (pTHX_ const char *name, int create)
52{ 323{
53 AV *av; 324#if PERL_VERSION_ATLEAST (5,10,0)
54 I32 ix; 325 /* silence stupid and wrong 5.10 warning that I am unable to switch off */
55 AV *protopad_name = (AV *) * av_fetch (protopadlist, 0, FALSE); 326 get_sv (name, create);
56 AV *protopad = (AV *) * av_fetch (protopadlist, 1, FALSE); 327#endif
57 SV **pname = AvARRAY (protopad_name); 328 return get_sv (name, create);
58 SV **ppad = AvARRAY (protopad); 329}
59 I32 fname = AvFILLp (protopad_name); 330
60 I32 fpad = AvFILLp (protopad); 331static AV *
332coro_get_av (pTHX_ const char *name, int create)
333{
334#if PERL_VERSION_ATLEAST (5,10,0)
335 /* silence stupid and wrong 5.10 warning that I am unable to switch off */
336 get_av (name, create);
337#endif
338 return get_av (name, create);
339}
340
341static HV *
342coro_get_hv (pTHX_ const char *name, int create)
343{
344#if PERL_VERSION_ATLEAST (5,10,0)
345 /* silence stupid and wrong 5.10 warning that I am unable to switch off */
346 get_hv (name, create);
347#endif
348 return get_hv (name, create);
349}
350
351/* may croak */
352INLINE CV *
353coro_sv_2cv (pTHX_ SV *sv)
354{
355 HV *st;
356 GV *gvp;
357 return sv_2cv (sv, &st, &gvp, 0);
358}
359
360/*****************************************************************************/
361/* magic glue */
362
363#define CORO_MAGIC_type_cv 26
364#define CORO_MAGIC_type_state PERL_MAGIC_ext
365
366#define CORO_MAGIC_NN(sv, type) \
367 (expect_true (SvMAGIC (sv)->mg_type == type) \
368 ? SvMAGIC (sv) \
369 : mg_find (sv, type))
370
371#define CORO_MAGIC(sv, type) \
372 (expect_true (SvMAGIC (sv)) \
373 ? CORO_MAGIC_NN (sv, type) \
374 : 0)
375
376#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
377#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
378
379INLINE struct coro *
380SvSTATE_ (pTHX_ SV *coro)
381{
382 HV *stash;
383 MAGIC *mg;
384
385 if (SvROK (coro))
386 coro = SvRV (coro);
387
388 if (expect_false (SvTYPE (coro) != SVt_PVHV))
389 croak ("Coro::State object required");
390
391 stash = SvSTASH (coro);
392 if (expect_false (stash != coro_stash && stash != coro_state_stash))
393 {
394 /* very slow, but rare, check */
395 if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
396 croak ("Coro::State object required");
397 }
398
399 mg = CORO_MAGIC_state (coro);
400 return (struct coro *)mg->mg_ptr;
401}
402
403#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
404
405/* faster than SvSTATE, but expects a coroutine hv */
406#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
407#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
408
409/*****************************************************************************/
410/* padlist management and caching */
411
412static AV *
413coro_derive_padlist (pTHX_ CV *cv)
414{
415 AV *padlist = CvPADLIST (cv);
61 AV *newpadlist, *newpad_name, *newpad; 416 AV *newpadlist, *newpad;
62 SV **npad;
63
64 newpad_name = newAV ();
65 for (ix = fname; ix >= 0; ix--)
66 av_store (newpad_name, ix, SvREFCNT_inc (pname[ix]));
67
68 newpad = newAV ();
69 av_fill (newpad, AvFILLp (protopad));
70 npad = AvARRAY (newpad);
71 417
72 newpadlist = newAV (); 418 newpadlist = newAV ();
73 AvREAL_off (newpadlist); 419 AvREAL_off (newpadlist);
74 av_store (newpadlist, 0, (SV *) newpad_name); 420#if PERL_VERSION_ATLEAST (5,10,0)
421 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
422#else
423 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
424#endif
425 newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
426 --AvFILLp (padlist);
427
428 av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));
75 av_store (newpadlist, 1, (SV *) newpad); 429 av_store (newpadlist, 1, (SV *)newpad);
76 430
77 av = newAV (); /* will be @_ */ 431 return newpadlist;
78 av_extend (av, 0); 432}
79 av_store (newpad, 0, (SV *) av);
80 AvFLAGS (av) = AVf_REIFY;
81 433
82 for (ix = fpad; ix > 0; ix--) 434static void
435free_padlist (pTHX_ AV *padlist)
436{
437 /* may be during global destruction */
438 if (!IN_DESTRUCT)
83 { 439 {
84 SV *namesv = (ix <= fname) ? pname[ix] : Nullsv; 440 I32 i = AvFILLp (padlist);
85 if (namesv && namesv != &PL_sv_undef) 441
442 while (i > 0) /* special-case index 0 */
86 { 443 {
87 char *name = SvPVX (namesv); /* XXX */ 444 /* we try to be extra-careful here */
88 if (SvFLAGS (namesv) & SVf_FAKE || *name == '&') 445 AV *av = (AV *)AvARRAY (padlist)[i--];
89 { /* lexical from outside? */ 446 I32 j = AvFILLp (av);
90 npad[ix] = SvREFCNT_inc (ppad[ix]); 447
91 } 448 while (j >= 0)
92 else 449 SvREFCNT_dec (AvARRAY (av)[j--]);
93 { /* our own lexical */ 450
94 SV *sv; 451 AvFILLp (av) = -1;
95 if (*name == '&') 452 SvREFCNT_dec (av);
96 sv = SvREFCNT_inc (ppad[ix]);
97 else if (*name == '@')
98 sv = (SV *) newAV ();
99 else if (*name == '%')
100 sv = (SV *) newHV ();
101 else
102 sv = NEWSV (0, 0);
103 if (!SvPADBUSY (sv))
104 SvPADMY_on (sv);
105 npad[ix] = sv;
106 }
107 } 453 }
108 else if (IS_PADGV (ppad[ix]) || IS_PADCONST (ppad[ix]))
109 {
110 npad[ix] = SvREFCNT_inc (ppad[ix]);
111 }
112 else
113 {
114 SV *sv = NEWSV (0, 0);
115 SvPADTMP_on (sv);
116 npad[ix] = sv;
117 }
118 }
119 454
120#if 0 /* NONOTUNDERSTOOD */ 455 SvREFCNT_dec (AvARRAY (padlist)[0]);
121 /* Now that vars are all in place, clone nested closures. */
122 456
123 for (ix = fpad; ix > 0; ix--) {
124 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
125 if (namesv
126 && namesv != &PL_sv_undef
127 && !(SvFLAGS(namesv) & SVf_FAKE)
128 && *SvPVX(namesv) == '&'
129 && CvCLONE(ppad[ix]))
130 {
131 CV *kid = cv_clone((CV*)ppad[ix]);
132 SvREFCNT_dec(ppad[ix]);
133 CvCLONE_on(kid);
134 SvPADMY_on(kid);
135 npad[ix] = (SV*)kid;
136 }
137 }
138#endif
139
140 return newpadlist;
141}
142
143STATIC AV *
144free_padlist (AV *padlist)
145{
146 /* may be during global destruction */
147 if (SvREFCNT(padlist))
148 {
149 I32 i = AvFILLp(padlist); 457 AvFILLp (padlist) = -1;
150 while (i >= 0)
151 {
152 SV **svp = av_fetch(padlist, i--, FALSE);
153 SV *sv = svp ? *svp : Nullsv;
154 if (sv)
155 SvREFCNT_dec(sv);
156 }
157
158 SvREFCNT_dec((SV*)padlist); 458 SvREFCNT_dec ((SV*)padlist);
459 }
460}
461
462static int
463coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
464{
465 AV *padlist;
466 AV *av = (AV *)mg->mg_obj;
467
468 /* casting is fun. */
469 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
470 free_padlist (aTHX_ padlist);
471
472 SvREFCNT_dec (av); /* sv_magicext increased the refcount */
473
474 return 0;
475}
476
477static MGVTBL coro_cv_vtbl = {
478 0, 0, 0, 0,
479 coro_cv_free
480};
481
482/* the next two functions merely cache the padlists */
483static void
484get_padlist (pTHX_ CV *cv)
485{
486 MAGIC *mg = CORO_MAGIC_cv (cv);
487 AV *av;
488
489 if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))
490 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];
491 else
492 {
493#if CORO_PREFER_PERL_FUNCTIONS
494 /* this is probably cleaner? but also slower! */
495 /* in practise, it seems to be less stable */
496 CV *cp = Perl_cv_clone (aTHX_ cv);
497 CvPADLIST (cv) = CvPADLIST (cp);
498 CvPADLIST (cp) = 0;
499 SvREFCNT_dec (cp);
500#else
501 CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
502#endif
503 }
504}
505
506static void
507put_padlist (pTHX_ CV *cv)
508{
509 MAGIC *mg = CORO_MAGIC_cv (cv);
510 AV *av;
511
512 if (expect_false (!mg))
513 mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
514
515 av = (AV *)mg->mg_obj;
516
517 if (expect_false (AvFILLp (av) >= AvMAX (av)))
518 av_extend (av, AvFILLp (av) + 1);
519
520 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
521}
522
523/** load & save, init *******************************************************/
524
525static void
526load_perl (pTHX_ Coro__State c)
527{
528 perl_slots *slot = c->slot;
529 c->slot = 0;
530
531 PL_mainstack = c->mainstack;
532
533 GvSV (PL_defgv) = slot->defsv;
534 GvAV (PL_defgv) = slot->defav;
535 GvSV (PL_errgv) = slot->errsv;
536 GvSV (irsgv) = slot->irsgv;
537 GvHV (PL_hintgv) = slot->hinthv;
538
539 #define VAR(name,type) PL_ ## name = slot->name;
540 # include "state.h"
541 #undef VAR
542
543 {
544 dSP;
545
546 CV *cv;
547
548 /* now do the ugly restore mess */
549 while (expect_true (cv = (CV *)POPs))
550 {
551 put_padlist (aTHX_ cv); /* mark this padlist as available */
552 CvDEPTH (cv) = PTR2IV (POPs);
553 CvPADLIST (cv) = (AV *)POPs;
554 }
555
556 PUTBACK;
159 } 557 }
160}
161 558
162/* the next tow functions merely cache the padlists */ 559 slf_frame = c->slf_frame;
163STATIC void 560 CORO_THROW = c->except;
164get_padlist (CV *cv)
165{
166 SV **he = hv_fetch (padlist_cache, (void *)&cv, sizeof (CV *), 0);
167
168 if (he && AvFILLp ((AV *)*he) >= 0)
169 CvPADLIST (cv) = (AV *)av_pop ((AV *)*he);
170 else
171 CvPADLIST (cv) = clone_padlist (CvPADLIST (cv));
172} 561}
173 562
174STATIC void
175put_padlist (CV *cv)
176{
177 SV **he = hv_fetch (padlist_cache, (void *)&cv, sizeof (CV *), 1);
178
179 if (SvTYPE (*he) != SVt_PVAV)
180 {
181 SvREFCNT_dec (*he);
182 *he = (SV *)newAV ();
183 }
184
185 av_push ((AV *)*he, (SV *)CvPADLIST (cv));
186}
187
188static void 563static void
189SAVE(pTHX_ Coro__State c) 564save_perl (pTHX_ Coro__State c)
190{ 565{
566 c->except = CORO_THROW;
567 c->slf_frame = slf_frame;
568
191 { 569 {
192 dSP; 570 dSP;
193 I32 cxix = cxstack_ix; 571 I32 cxix = cxstack_ix;
572 PERL_CONTEXT *ccstk = cxstack;
194 PERL_SI *top_si = PL_curstackinfo; 573 PERL_SI *top_si = PL_curstackinfo;
195 PERL_CONTEXT *ccstk = cxstack;
196 574
197 /* 575 /*
198 * the worst thing you can imagine happens first - we have to save 576 * the worst thing you can imagine happens first - we have to save
199 * (and reinitialize) all cv's in the whole callchain :( 577 * (and reinitialize) all cv's in the whole callchain :(
200 */ 578 */
201 579
202 PUSHs (Nullsv); 580 XPUSHs (Nullsv);
203 /* this loop was inspired by pp_caller */ 581 /* this loop was inspired by pp_caller */
204 for (;;) 582 for (;;)
205 { 583 {
206 while (cxix >= 0) 584 while (expect_true (cxix >= 0))
207 { 585 {
208 PERL_CONTEXT *cx = &ccstk[cxix--]; 586 PERL_CONTEXT *cx = &ccstk[cxix--];
209 587
210 if (CxTYPE(cx) == CXt_SUB) 588 if (expect_true (CxTYPE (cx) == CXt_SUB || CxTYPE (cx) == CXt_FORMAT))
211 { 589 {
212 CV *cv = cx->blk_sub.cv; 590 CV *cv = cx->blk_sub.cv;
591
213 if (CvDEPTH(cv)) 592 if (expect_true (CvDEPTH (cv)))
214 { 593 {
215#ifdef USE_THREADS
216 XPUSHs ((SV *)CvOWNER(cv));
217#endif
218 EXTEND (SP, 3); 594 EXTEND (SP, 3);
219 PUSHs ((SV *)CvDEPTH(cv));
220 PUSHs ((SV *)CvPADLIST(cv)); 595 PUSHs ((SV *)CvPADLIST (cv));
596 PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));
221 PUSHs ((SV *)cv); 597 PUSHs ((SV *)cv);
222 598
223 get_padlist (cv);
224
225 CvDEPTH(cv) = 0; 599 CvDEPTH (cv) = 0;
226#ifdef USE_THREADS 600 get_padlist (aTHX_ cv);
227 CvOWNER(cv) = 0;
228 error must unlock this cv etc.. etc...
229 if you are here wondering about this error message then
230 the reason is that it will not work as advertised yet
231#endif
232 } 601 }
233 } 602 }
234 else if (CxTYPE(cx) == CXt_FORMAT) 603 }
604
605 if (expect_true (top_si->si_type == PERLSI_MAIN))
606 break;
607
608 top_si = top_si->si_prev;
609 ccstk = top_si->si_cxstack;
610 cxix = top_si->si_cxix;
611 }
612
613 PUTBACK;
614 }
615
616 /* allocate some space on the context stack for our purposes */
617 /* we manually unroll here, as usually 2 slots is enough */
618 if (SLOT_COUNT >= 1) CXINC;
619 if (SLOT_COUNT >= 2) CXINC;
620 if (SLOT_COUNT >= 3) CXINC;
621 {
622 int i;
623 for (i = 3; i < SLOT_COUNT; ++i)
624 CXINC;
625 }
626 cxstack_ix -= SLOT_COUNT; /* undo allocation */
627
628 c->mainstack = PL_mainstack;
629
630 {
631 perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
632
633 slot->defav = GvAV (PL_defgv);
634 slot->defsv = DEFSV;
635 slot->errsv = ERRSV;
636 slot->irsgv = GvSV (irsgv);
637 slot->hinthv = GvHV (PL_hintgv);
638
639 #define VAR(name,type) slot->name = PL_ ## name;
640 # include "state.h"
641 #undef VAR
642 }
643}
644
645/*
646 * allocate various perl stacks. This is almost an exact copy
647 * of perl.c:init_stacks, except that it uses less memory
648 * on the (sometimes correct) assumption that coroutines do
649 * not usually need a lot of stackspace.
650 */
651#if CORO_PREFER_PERL_FUNCTIONS
652# define coro_init_stacks(thx) init_stacks ()
653#else
654static void
655coro_init_stacks (pTHX)
656{
657 PL_curstackinfo = new_stackinfo(32, 8);
658 PL_curstackinfo->si_type = PERLSI_MAIN;
659 PL_curstack = PL_curstackinfo->si_stack;
660 PL_mainstack = PL_curstack; /* remember in case we switch stacks */
661
662 PL_stack_base = AvARRAY(PL_curstack);
663 PL_stack_sp = PL_stack_base;
664 PL_stack_max = PL_stack_base + AvMAX(PL_curstack);
665
666 New(50,PL_tmps_stack,32,SV*);
667 PL_tmps_floor = -1;
668 PL_tmps_ix = -1;
669 PL_tmps_max = 32;
670
671 New(54,PL_markstack,16,I32);
672 PL_markstack_ptr = PL_markstack;
673 PL_markstack_max = PL_markstack + 16;
674
675#ifdef SET_MARK_OFFSET
676 SET_MARK_OFFSET;
677#endif
678
679 New(54,PL_scopestack,8,I32);
680 PL_scopestack_ix = 0;
681 PL_scopestack_max = 8;
682
683 New(54,PL_savestack,24,ANY);
684 PL_savestack_ix = 0;
685 PL_savestack_max = 24;
686
687#if !PERL_VERSION_ATLEAST (5,10,0)
688 New(54,PL_retstack,4,OP*);
689 PL_retstack_ix = 0;
690 PL_retstack_max = 4;
691#endif
692}
693#endif
694
695/*
696 * destroy the stacks, the callchain etc...
697 */
698static void
699coro_destruct_stacks (pTHX)
700{
701 while (PL_curstackinfo->si_next)
702 PL_curstackinfo = PL_curstackinfo->si_next;
703
704 while (PL_curstackinfo)
705 {
706 PERL_SI *p = PL_curstackinfo->si_prev;
707
708 if (!IN_DESTRUCT)
709 SvREFCNT_dec (PL_curstackinfo->si_stack);
710
711 Safefree (PL_curstackinfo->si_cxstack);
712 Safefree (PL_curstackinfo);
713 PL_curstackinfo = p;
714 }
715
716 Safefree (PL_tmps_stack);
717 Safefree (PL_markstack);
718 Safefree (PL_scopestack);
719 Safefree (PL_savestack);
720#if !PERL_VERSION_ATLEAST (5,10,0)
721 Safefree (PL_retstack);
722#endif
723}
724
725#define CORO_RSS \
726 rss += sizeof (SYM (curstackinfo)); \
727 rss += (SYM (curstackinfo->si_cxmax) + 1) * sizeof (PERL_CONTEXT); \
728 rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (SYM (curstack))) * sizeof (SV *); \
729 rss += SYM (tmps_max) * sizeof (SV *); \
730 rss += (SYM (markstack_max) - SYM (markstack_ptr)) * sizeof (I32); \
731 rss += SYM (scopestack_max) * sizeof (I32); \
732 rss += SYM (savestack_max) * sizeof (ANY);
733
734static size_t
735coro_rss (pTHX_ struct coro *coro)
736{
737 size_t rss = sizeof (*coro);
738
739 if (coro->mainstack)
740 {
741 if (coro->flags & CF_RUNNING)
742 {
743 #define SYM(sym) PL_ ## sym
744 CORO_RSS;
745 #undef SYM
746 }
747 else
748 {
749 #define SYM(sym) coro->slot->sym
750 CORO_RSS;
751 #undef SYM
752 }
753 }
754
755 return rss;
756}
757
758/** coroutine stack handling ************************************************/
759
760static int (*orig_sigelem_get) (pTHX_ SV *sv, MAGIC *mg);
761static int (*orig_sigelem_set) (pTHX_ SV *sv, MAGIC *mg);
762static int (*orig_sigelem_clr) (pTHX_ SV *sv, MAGIC *mg);
763
764/* apparently < 5.8.8 */
765#ifndef MgPV_nolen_const
766#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \
767 SvPV_nolen((SV*)((mg)->mg_ptr)) : \
768 (const char*)(mg)->mg_ptr)
769#endif
770
771/*
772 * This overrides the default magic get method of %SIG elements.
773 * The original one doesn't provide for reading back of PL_diehook/PL_warnhook
774 * and instead of tryign to save and restore the hash elements, we just provide
775 * readback here.
776 * We only do this when the hook is != 0, as they are often set to 0 temporarily,
777 * not expecting this to actually change the hook. This is a potential problem
778 * when a schedule happens then, but we ignore this.
779 */
780static int
781coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
782{
783 const char *s = MgPV_nolen_const (mg);
784
785 if (*s == '_')
786 {
787 SV **svp = 0;
788
789 if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
790 if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
791
792 if (svp)
793 {
794 sv_setsv (sv, *svp ? *svp : &PL_sv_undef);
795 return 0;
796 }
797 }
798
799 return orig_sigelem_get ? orig_sigelem_get (aTHX_ sv, mg) : 0;
800}
801
802static int
803coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)
804{
805 const char *s = MgPV_nolen_const (mg);
806
807 if (*s == '_')
808 {
809 SV **svp = 0;
810
811 if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
812 if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
813
814 if (svp)
815 {
816 SV *old = *svp;
817 *svp = 0;
818 SvREFCNT_dec (old);
819 return 0;
820 }
821 }
822
823 return orig_sigelem_clr ? orig_sigelem_clr (aTHX_ sv, mg) : 0;
824}
825
826static int
827coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)
828{
829 const char *s = MgPV_nolen_const (mg);
830
831 if (*s == '_')
832 {
833 SV **svp = 0;
834
835 if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
836 if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
837
838 if (svp)
839 {
840 SV *old = *svp;
841 *svp = newSVsv (sv);
842 SvREFCNT_dec (old);
843 return 0;
844 }
845 }
846
847 return orig_sigelem_set ? orig_sigelem_set (aTHX_ sv, mg) : 0;
848}
849
850static void
851prepare_nop (pTHX_ struct coro_transfer_args *ta)
852{
853 /* kind of mega-hacky, but works */
854 ta->next = ta->prev = (struct coro *)ta;
855}
856
857static int
858slf_check_nop (pTHX_ struct CoroSLF *frame)
859{
860 return 0;
861}
862
863static int
864slf_check_repeat (pTHX_ struct CoroSLF *frame)
865{
866 return 1;
867}
868
869static UNOP coro_setup_op;
870
871static void NOINLINE /* noinline to keep it out of the transfer fast path */
872coro_setup (pTHX_ struct coro *coro)
873{
874 /*
875 * emulate part of the perl startup here.
876 */
877 coro_init_stacks (aTHX);
878
879 PL_runops = RUNOPS_DEFAULT;
880 PL_curcop = &PL_compiling;
881 PL_in_eval = EVAL_NULL;
882 PL_comppad = 0;
883 PL_comppad_name = 0;
884 PL_comppad_name_fill = 0;
885 PL_comppad_name_floor = 0;
886 PL_curpm = 0;
887 PL_curpad = 0;
888 PL_localizing = 0;
889 PL_dirty = 0;
890 PL_restartop = 0;
891#if PERL_VERSION_ATLEAST (5,10,0)
892 PL_parser = 0;
893#endif
894 PL_hints = 0;
895
896 /* recreate the die/warn hooks */
897 PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );
898 PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);
899
900 GvSV (PL_defgv) = newSV (0);
901 GvAV (PL_defgv) = coro->args; coro->args = 0;
902 GvSV (PL_errgv) = newSV (0);
903 GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
904 GvHV (PL_hintgv) = 0;
905 PL_rs = newSVsv (GvSV (irsgv));
906 PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
907
908 {
909 dSP;
910 UNOP myop;
911
912 Zero (&myop, 1, UNOP);
913 myop.op_next = Nullop;
914 myop.op_type = OP_ENTERSUB;
915 myop.op_flags = OPf_WANT_VOID;
916
917 PUSHMARK (SP);
918 PUSHs ((SV *)coro->startcv);
919 PUTBACK;
920 PL_op = (OP *)&myop;
921 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
922 }
923
924 /* this newly created coroutine might be run on an existing cctx which most
925 * likely was suspended in pp_slf, so we have to emulate entering pp_slf here.
926 */
927 slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
928 slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
929
930 /* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
931 coro_setup_op.op_next = PL_op;
932 coro_setup_op.op_type = OP_ENTERSUB;
933 coro_setup_op.op_ppaddr = pp_slf;
934 /* no flags etc. required, as an init function won't be called */
935
936 PL_op = (OP *)&coro_setup_op;
937
938 /* copy throw, in case it was set before coro_setup */
939 CORO_THROW = coro->except;
940}
941
942static void
943coro_destruct (pTHX_ struct coro *coro)
944{
945 if (!IN_DESTRUCT)
946 {
947 /* restore all saved variables and stuff */
948 LEAVE_SCOPE (0);
949 assert (PL_tmps_floor == -1);
950
951 /* free all temporaries */
952 FREETMPS;
953 assert (PL_tmps_ix == -1);
954
955 /* unwind all extra stacks */
956 POPSTACK_TO (PL_mainstack);
957
958 /* unwind main stack */
959 dounwind (-1);
960 }
961
962 SvREFCNT_dec (GvSV (PL_defgv));
963 SvREFCNT_dec (GvAV (PL_defgv));
964 SvREFCNT_dec (GvSV (PL_errgv));
965 SvREFCNT_dec (PL_defoutgv);
966 SvREFCNT_dec (PL_rs);
967 SvREFCNT_dec (GvSV (irsgv));
968 SvREFCNT_dec (GvHV (PL_hintgv));
969
970 SvREFCNT_dec (PL_diehook);
971 SvREFCNT_dec (PL_warnhook);
972
973 SvREFCNT_dec (coro->saved_deffh);
974 SvREFCNT_dec (coro->rouse_cb);
975 SvREFCNT_dec (coro->invoke_cb);
976 SvREFCNT_dec (coro->invoke_av);
977
978 coro_destruct_stacks (aTHX);
979}
980
981INLINE void
982free_coro_mortal (pTHX)
983{
984 if (expect_true (coro_mortal))
985 {
986 SvREFCNT_dec (coro_mortal);
987 coro_mortal = 0;
988 }
989}
990
991static int
992runops_trace (pTHX)
993{
994 COP *oldcop = 0;
995 int oldcxix = -2;
996
997 while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))
998 {
999 PERL_ASYNC_CHECK ();
1000
1001 if (cctx_current->flags & CC_TRACE_ALL)
1002 {
1003 if (PL_op->op_type == OP_LEAVESUB && cctx_current->flags & CC_TRACE_SUB)
1004 {
1005 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1006 SV **bot, **top;
1007 AV *av = newAV (); /* return values */
1008 SV **cb;
1009 dSP;
1010
1011 GV *gv = CvGV (cx->blk_sub.cv);
1012 SV *fullname = sv_2mortal (newSV (0));
1013 if (isGV (gv))
1014 gv_efullname3 (fullname, gv, 0);
1015
1016 bot = PL_stack_base + cx->blk_oldsp + 1;
1017 top = cx->blk_gimme == G_ARRAY ? SP + 1
1018 : cx->blk_gimme == G_SCALAR ? bot + 1
1019 : bot;
1020
1021 av_extend (av, top - bot);
1022 while (bot < top)
1023 av_push (av, SvREFCNT_inc_NN (*bot++));
1024
1025 PL_runops = RUNOPS_DEFAULT;
1026 ENTER;
1027 SAVETMPS;
1028 EXTEND (SP, 3);
1029 PUSHMARK (SP);
1030 PUSHs (&PL_sv_no);
1031 PUSHs (fullname);
1032 PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
1033 PUTBACK;
1034 cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
1035 if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1036 SPAGAIN;
1037 FREETMPS;
1038 LEAVE;
1039 PL_runops = runops_trace;
1040 }
1041
1042 if (oldcop != PL_curcop)
1043 {
1044 oldcop = PL_curcop;
1045
1046 if (PL_curcop != &PL_compiling)
1047 {
1048 SV **cb;
1049
1050 if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)
1051 {
1052 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1053
1054 if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1055 {
1056 dSP;
1057 GV *gv = CvGV (cx->blk_sub.cv);
1058 SV *fullname = sv_2mortal (newSV (0));
1059
1060 if (isGV (gv))
1061 gv_efullname3 (fullname, gv, 0);
1062
1063 PL_runops = RUNOPS_DEFAULT;
1064 ENTER;
1065 SAVETMPS;
1066 EXTEND (SP, 3);
1067 PUSHMARK (SP);
1068 PUSHs (&PL_sv_yes);
1069 PUSHs (fullname);
1070 PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);
1071 PUTBACK;
1072 cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
1073 if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1074 SPAGAIN;
1075 FREETMPS;
1076 LEAVE;
1077 PL_runops = runops_trace;
1078 }
1079
1080 oldcxix = cxstack_ix;
1081 }
1082
1083 if (cctx_current->flags & CC_TRACE_LINE)
1084 {
1085 dSP;
1086
1087 PL_runops = RUNOPS_DEFAULT;
1088 ENTER;
1089 SAVETMPS;
1090 EXTEND (SP, 3);
1091 PL_runops = RUNOPS_DEFAULT;
1092 PUSHMARK (SP);
1093 PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));
1094 PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));
1095 PUTBACK;
1096 cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_line_cb", sizeof ("_trace_line_cb") - 1, 0);
1097 if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1098 SPAGAIN;
1099 FREETMPS;
1100 LEAVE;
1101 PL_runops = runops_trace;
1102 }
1103 }
1104 }
1105 }
1106 }
1107
1108 TAINT_NOT;
1109 return 0;
1110}
1111
1112static struct CoroSLF cctx_ssl_frame;
1113
1114static void
1115slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)
1116{
1117 ta->prev = 0;
1118}
1119
1120static int
1121slf_check_set_stacklevel (pTHX_ struct CoroSLF *frame)
1122{
1123 *frame = cctx_ssl_frame;
1124
1125 return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1126}
1127
1128/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1129static void NOINLINE
1130cctx_prepare (pTHX)
1131{
1132 PL_top_env = &PL_start_env;
1133
1134 if (cctx_current->flags & CC_TRACE)
1135 PL_runops = runops_trace;
1136
1137 /* we already must be executing an SLF op, there is no other valid way
1138 * that can lead to creation of a new cctx */
1139 assert (("FATAL: can't prepare slf-less cctx in Coro module (please report)",
1140 slf_frame.prepare && PL_op->op_ppaddr == pp_slf));
1141
1142 /* we must emulate leaving pp_slf, which is done inside slf_check_set_stacklevel */
1143 cctx_ssl_frame = slf_frame;
1144
1145 slf_frame.prepare = slf_prepare_set_stacklevel;
1146 slf_frame.check = slf_check_set_stacklevel;
1147}
1148
1149/* the tail of transfer: execute stuff we can only do after a transfer */
1150INLINE void
1151transfer_tail (pTHX)
1152{
1153 free_coro_mortal (aTHX);
1154}
1155
1156/*
1157 * this is a _very_ stripped down perl interpreter ;)
1158 */
1159static void
1160cctx_run (void *arg)
1161{
1162#ifdef USE_ITHREADS
1163# if CORO_PTHREAD
1164 PERL_SET_CONTEXT (coro_thx);
1165# endif
1166#endif
1167 {
1168 dTHX;
1169
1170 /* normally we would need to skip the entersub here */
1171 /* not doing so will re-execute it, which is exactly what we want */
1172 /* PL_nop = PL_nop->op_next */
1173
1174 /* inject a fake subroutine call to cctx_init */
1175 cctx_prepare (aTHX);
1176
1177 /* cctx_run is the alternative tail of transfer() */
1178 transfer_tail (aTHX);
1179
1180 /* somebody or something will hit me for both perl_run and PL_restartop */
1181 PL_restartop = PL_op;
1182 perl_run (PL_curinterp);
1183 /*
1184 * Unfortunately, there is no way to get at the return values of the
1185 * coro body here, as perl_run destroys these
1186 */
1187
1188 /*
1189 * If perl-run returns we assume exit() was being called or the coro
1190 * fell off the end, which seems to be the only valid (non-bug)
1191 * reason for perl_run to return. We try to exit by jumping to the
1192 * bootstrap-time "top" top_env, as we cannot restore the "main"
1193 * coroutine as Coro has no such concept.
1194 * This actually isn't valid with the pthread backend, but OSes requiring
1195 * that backend are too broken to do it in a standards-compliant way.
1196 */
1197 PL_top_env = main_top_env;
1198 JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1199 }
1200}
1201
1202static coro_cctx *
1203cctx_new ()
1204{
1205 coro_cctx *cctx;
1206
1207 ++cctx_count;
1208 New (0, cctx, 1, coro_cctx);
1209
1210 cctx->gen = cctx_gen;
1211 cctx->flags = 0;
1212 cctx->idle_sp = 0; /* can be accessed by transfer between cctx_run and set_stacklevel, on throw */
1213
1214 return cctx;
1215}
1216
1217/* create a new cctx only suitable as source */
1218static coro_cctx *
1219cctx_new_empty ()
1220{
1221 coro_cctx *cctx = cctx_new ();
1222
1223 cctx->sptr = 0;
1224 coro_create (&cctx->cctx, 0, 0, 0, 0);
1225
1226 return cctx;
1227}
1228
1229/* create a new cctx suitable as destination/running a perl interpreter */
1230static coro_cctx *
1231cctx_new_run ()
1232{
1233 coro_cctx *cctx = cctx_new ();
1234 void *stack_start;
1235 size_t stack_size;
1236
1237#if HAVE_MMAP
1238 cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1239 /* mmap supposedly does allocate-on-write for us */
1240 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
1241
1242 if (cctx->sptr != (void *)-1)
1243 {
1244 #if CORO_STACKGUARD
1245 mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1246 #endif
1247 stack_start = (char *)cctx->sptr + CORO_STACKGUARD * PAGESIZE;
1248 stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1249 cctx->flags |= CC_MAPPED;
1250 }
1251 else
1252#endif
1253 {
1254 cctx->ssize = cctx_stacksize * (long)sizeof (long);
1255 New (0, cctx->sptr, cctx_stacksize, long);
1256
1257 if (!cctx->sptr)
1258 {
1259 perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1260 _exit (EXIT_FAILURE);
1261 }
1262
1263 stack_start = cctx->sptr;
1264 stack_size = cctx->ssize;
1265 }
1266
1267 #if CORO_USE_VALGRIND
1268 cctx->valgrind_id = VALGRIND_STACK_REGISTER ((char *)stack_start, (char *)stack_start + stack_size);
1269 #endif
1270
1271 coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);
1272
1273 return cctx;
1274}
1275
1276static void
1277cctx_destroy (coro_cctx *cctx)
1278{
1279 if (!cctx)
1280 return;
1281
1282 assert (cctx != cctx_current);//D temporary
1283
1284 --cctx_count;
1285 coro_destroy (&cctx->cctx);
1286
1287 /* coro_transfer creates new, empty cctx's */
1288 if (cctx->sptr)
1289 {
1290 #if CORO_USE_VALGRIND
1291 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1292 #endif
1293
1294#if HAVE_MMAP
1295 if (cctx->flags & CC_MAPPED)
1296 munmap (cctx->sptr, cctx->ssize);
1297 else
1298#endif
1299 Safefree (cctx->sptr);
1300 }
1301
1302 Safefree (cctx);
1303}
1304
1305/* wether this cctx should be destructed */
1306#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))
1307
1308static coro_cctx *
1309cctx_get (pTHX)
1310{
1311 while (expect_true (cctx_first))
1312 {
1313 coro_cctx *cctx = cctx_first;
1314 cctx_first = cctx->next;
1315 --cctx_idle;
1316
1317 if (expect_true (!CCTX_EXPIRED (cctx)))
1318 return cctx;
1319
1320 cctx_destroy (cctx);
1321 }
1322
1323 return cctx_new_run ();
1324}
1325
1326static void
1327cctx_put (coro_cctx *cctx)
1328{
1329 assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));
1330
1331 /* free another cctx if overlimit */
1332 if (expect_false (cctx_idle >= cctx_max_idle))
1333 {
1334 coro_cctx *first = cctx_first;
1335 cctx_first = first->next;
1336 --cctx_idle;
1337
1338 cctx_destroy (first);
1339 }
1340
1341 ++cctx_idle;
1342 cctx->next = cctx_first;
1343 cctx_first = cctx;
1344}
1345
1346/** coroutine switching *****************************************************/
1347
1348static void
1349transfer_check (pTHX_ struct coro *prev, struct coro *next)
1350{
1351 /* TODO: throwing up here is considered harmful */
1352
1353 if (expect_true (prev != next))
1354 {
1355 if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1356 croak ("Coro::State::transfer called with a suspended prev Coro::State, but can only transfer from running or new states,");
1357
1358 if (expect_false (next->flags & CF_RUNNING))
1359 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states,");
1360
1361 if (expect_false (next->flags & CF_DESTROYED))
1362 croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states,");
1363
1364#if !PERL_VERSION_ATLEAST (5,10,0)
1365 if (expect_false (PL_lex_state != LEX_NOTPARSING))
1366 croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1367#endif
1368 }
1369}
1370
1371/* always use the TRANSFER macro */
1372static void NOINLINE /* noinline so we have a fixed stackframe */
1373transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1374{
1375 dSTACKLEVEL;
1376
1377 /* sometimes transfer is only called to set idle_sp */
1378 if (expect_false (!prev))
1379 {
1380 cctx_current->idle_sp = STACKLEVEL;
1381 assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1382 }
1383 else if (expect_true (prev != next))
1384 {
1385 coro_cctx *cctx_prev;
1386
1387 if (expect_false (prev->flags & CF_NEW))
1388 {
1389 /* create a new empty/source context */
1390 prev->flags &= ~CF_NEW;
1391 prev->flags |= CF_RUNNING;
1392 }
1393
1394 prev->flags &= ~CF_RUNNING;
1395 next->flags |= CF_RUNNING;
1396
1397 /* first get rid of the old state */
1398 save_perl (aTHX_ prev);
1399
1400 if (expect_false (next->flags & CF_NEW))
1401 {
1402 /* need to start coroutine */
1403 next->flags &= ~CF_NEW;
1404 /* setup coroutine call */
1405 coro_setup (aTHX_ next);
1406 }
1407 else
1408 load_perl (aTHX_ next);
1409
1410 assert (!prev->cctx);//D temporary
1411
1412 /* possibly untie and reuse the cctx */
1413 if (expect_true (
1414 cctx_current->idle_sp == STACKLEVEL
1415 && !(cctx_current->flags & CC_TRACE)
1416 && !force_cctx
1417 ))
1418 {
1419 /* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1420 assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1421
1422 /* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */
1423 /* without this the next cctx_get might destroy the running cctx while still in use */
1424 if (expect_false (CCTX_EXPIRED (cctx_current)))
1425 if (expect_true (!next->cctx))
1426 next->cctx = cctx_get (aTHX);
1427
1428 cctx_put (cctx_current);
1429 }
1430 else
1431 prev->cctx = cctx_current;
1432
1433 ++next->usecount;
1434
1435 cctx_prev = cctx_current;
1436 cctx_current = expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);
1437
1438 next->cctx = 0;
1439
1440 if (expect_false (cctx_prev != cctx_current))
1441 {
1442 cctx_prev->top_env = PL_top_env;
1443 PL_top_env = cctx_current->top_env;
1444 coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);
1445 }
1446
1447 transfer_tail (aTHX);
1448 }
1449}
1450
1451#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))
1452#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)
1453
1454/** high level stuff ********************************************************/
1455
1456static int
1457coro_state_destroy (pTHX_ struct coro *coro)
1458{
1459 if (coro->flags & CF_DESTROYED)
1460 return 0;
1461
1462 if (coro->on_destroy)
1463 coro->on_destroy (aTHX_ coro);
1464
1465 coro->flags |= CF_DESTROYED;
1466
1467 if (coro->flags & CF_READY)
1468 {
1469 /* reduce nready, as destroying a ready coro effectively unreadies it */
1470 /* alternative: look through all ready queues and remove the coro */
1471 --coro_nready;
1472 }
1473 else
1474 coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
1475
1476 if (coro->mainstack && coro->mainstack != main_mainstack)
1477 {
1478 struct coro temp;
1479
1480 assert (("FATAL: tried to destroy currently running coroutine (please report)", !(coro->flags & CF_RUNNING)));
1481
1482 save_perl (aTHX_ &temp);
1483 load_perl (aTHX_ coro);
1484
1485 coro_destruct (aTHX_ coro);
1486
1487 load_perl (aTHX_ &temp);
1488
1489 coro->slot = 0;
1490 }
1491
1492 cctx_destroy (coro->cctx);
1493 SvREFCNT_dec (coro->startcv);
1494 SvREFCNT_dec (coro->args);
1495 SvREFCNT_dec (CORO_THROW);
1496
1497 if (coro->next) coro->next->prev = coro->prev;
1498 if (coro->prev) coro->prev->next = coro->next;
1499 if (coro == coro_first) coro_first = coro->next;
1500
1501 return 1;
1502}
1503
1504static int
1505coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1506{
1507 struct coro *coro = (struct coro *)mg->mg_ptr;
1508 mg->mg_ptr = 0;
1509
1510 coro->hv = 0;
1511
1512 if (--coro->refcnt < 0)
1513 {
1514 coro_state_destroy (aTHX_ coro);
1515 Safefree (coro);
1516 }
1517
1518 return 0;
1519}
1520
1521static int
1522coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)
1523{
1524 struct coro *coro = (struct coro *)mg->mg_ptr;
1525
1526 ++coro->refcnt;
1527
1528 return 0;
1529}
1530
1531static MGVTBL coro_state_vtbl = {
1532 0, 0, 0, 0,
1533 coro_state_free,
1534 0,
1535#ifdef MGf_DUP
1536 coro_state_dup,
1537#else
1538# define MGf_DUP 0
1539#endif
1540};
1541
1542static void
1543prepare_transfer (pTHX_ struct coro_transfer_args *ta, SV *prev_sv, SV *next_sv)
1544{
1545 ta->prev = SvSTATE (prev_sv);
1546 ta->next = SvSTATE (next_sv);
1547 TRANSFER_CHECK (*ta);
1548}
1549
1550static void
1551api_transfer (pTHX_ SV *prev_sv, SV *next_sv)
1552{
1553 struct coro_transfer_args ta;
1554
1555 prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1556 TRANSFER (ta, 1);
1557}
1558
1559/*****************************************************************************/
1560/* gensub: simple closure generation utility */
1561
1562#define GENSUB_ARG CvXSUBANY (cv).any_ptr
1563
1564/* create a closure from XS, returns a code reference */
1565/* the arg can be accessed via GENSUB_ARG from the callback */
1566/* the callback must use dXSARGS/XSRETURN */
1567static SV *
1568gensub (pTHX_ void (*xsub)(pTHX_ CV *), void *arg)
1569{
1570 CV *cv = (CV *)newSV (0);
1571
1572 sv_upgrade ((SV *)cv, SVt_PVCV);
1573
1574 CvANON_on (cv);
1575 CvISXSUB_on (cv);
1576 CvXSUB (cv) = xsub;
1577 GENSUB_ARG = arg;
1578
1579 return newRV_noinc ((SV *)cv);
1580}
1581
1582/** Coro ********************************************************************/
1583
1584INLINE void
1585coro_enq (pTHX_ struct coro *coro)
1586{
1587 av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));
1588}
1589
1590INLINE SV *
1591coro_deq (pTHX)
1592{
1593 int prio;
1594
1595 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )
1596 if (AvFILLp (coro_ready [prio]) >= 0)
1597 return av_shift (coro_ready [prio]);
1598
1599 return 0;
1600}
1601
1602static int
1603api_ready (pTHX_ SV *coro_sv)
1604{
1605 struct coro *coro;
1606 SV *sv_hook;
1607 void (*xs_hook)(void);
1608
1609 coro = SvSTATE (coro_sv);
1610
1611 if (coro->flags & CF_READY)
1612 return 0;
1613
1614 coro->flags |= CF_READY;
1615
1616 sv_hook = coro_nready ? 0 : coro_readyhook;
1617 xs_hook = coro_nready ? 0 : coroapi.readyhook;
1618
1619 coro_enq (aTHX_ coro);
1620 ++coro_nready;
1621
1622 if (sv_hook)
1623 {
1624 dSP;
1625
1626 ENTER;
1627 SAVETMPS;
1628
1629 PUSHMARK (SP);
1630 PUTBACK;
1631 call_sv (sv_hook, G_VOID | G_DISCARD);
1632
1633 FREETMPS;
1634 LEAVE;
1635 }
1636
1637 if (xs_hook)
1638 xs_hook ();
1639
1640 return 1;
1641}
1642
1643static int
1644api_is_ready (pTHX_ SV *coro_sv)
1645{
1646 return !!(SvSTATE (coro_sv)->flags & CF_READY);
1647}
1648
1649/* expects to own a reference to next->hv */
1650INLINE void
1651prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)
1652{
1653 SV *prev_sv = SvRV (coro_current);
1654
1655 ta->prev = SvSTATE_hv (prev_sv);
1656 ta->next = next;
1657
1658 TRANSFER_CHECK (*ta);
1659
1660 SvRV_set (coro_current, (SV *)next->hv);
1661
1662 free_coro_mortal (aTHX);
1663 coro_mortal = prev_sv;
1664}
1665
1666static void
1667prepare_schedule (pTHX_ struct coro_transfer_args *ta)
1668{
1669 for (;;)
1670 {
1671 SV *next_sv = coro_deq (aTHX);
1672
1673 if (expect_true (next_sv))
1674 {
1675 struct coro *next = SvSTATE_hv (next_sv);
1676
1677 /* cannot transfer to destroyed coros, skip and look for next */
1678 if (expect_false (next->flags & CF_DESTROYED))
1679 SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */
1680 else
1681 {
1682 next->flags &= ~CF_READY;
1683 --coro_nready;
1684
1685 prepare_schedule_to (aTHX_ ta, next);
1686 break;
1687 }
1688 }
1689 else
1690 {
1691 /* nothing to schedule: call the idle handler */
1692 if (SvROK (sv_idle)
1693 && SvOBJECT (SvRV (sv_idle)))
1694 {
1695 ++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1696 api_ready (aTHX_ SvRV (sv_idle));
1697 --coro_nready;
1698 }
1699 else
1700 {
1701 dSP;
1702
1703 ENTER;
1704 SAVETMPS;
1705
1706 PUSHMARK (SP);
1707 PUTBACK;
1708 call_sv (sv_idle, G_VOID | G_DISCARD);
1709
1710 FREETMPS;
1711 LEAVE;
1712 }
1713 }
1714 }
1715}
1716
1717INLINE void
1718prepare_cede (pTHX_ struct coro_transfer_args *ta)
1719{
1720 api_ready (aTHX_ coro_current);
1721 prepare_schedule (aTHX_ ta);
1722}
1723
1724INLINE void
1725prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)
1726{
1727 SV *prev = SvRV (coro_current);
1728
1729 if (coro_nready)
1730 {
1731 prepare_schedule (aTHX_ ta);
1732 api_ready (aTHX_ prev);
1733 }
1734 else
1735 prepare_nop (aTHX_ ta);
1736}
1737
1738static void
1739api_schedule (pTHX)
1740{
1741 struct coro_transfer_args ta;
1742
1743 prepare_schedule (aTHX_ &ta);
1744 TRANSFER (ta, 1);
1745}
1746
1747static void
1748api_schedule_to (pTHX_ SV *coro_sv)
1749{
1750 struct coro_transfer_args ta;
1751 struct coro *next = SvSTATE (coro_sv);
1752
1753 SvREFCNT_inc_NN (coro_sv);
1754 prepare_schedule_to (aTHX_ &ta, next);
1755}
1756
1757static int
1758api_cede (pTHX)
1759{
1760 struct coro_transfer_args ta;
1761
1762 prepare_cede (aTHX_ &ta);
1763
1764 if (expect_true (ta.prev != ta.next))
1765 {
1766 TRANSFER (ta, 1);
1767 return 1;
1768 }
1769 else
1770 return 0;
1771}
1772
1773static int
1774api_cede_notself (pTHX)
1775{
1776 if (coro_nready)
1777 {
1778 struct coro_transfer_args ta;
1779
1780 prepare_cede_notself (aTHX_ &ta);
1781 TRANSFER (ta, 1);
1782 return 1;
1783 }
1784 else
1785 return 0;
1786}
1787
1788static void
1789api_trace (pTHX_ SV *coro_sv, int flags)
1790{
1791 struct coro *coro = SvSTATE (coro_sv);
1792
1793 if (coro->flags & CF_RUNNING)
1794 croak ("cannot enable tracing on a running coroutine, caught");
1795
1796 if (flags & CC_TRACE)
1797 {
1798 if (!coro->cctx)
1799 coro->cctx = cctx_new_run ();
1800 else if (!(coro->cctx->flags & CC_TRACE))
1801 croak ("cannot enable tracing on coroutine with custom stack, caught");
1802
1803 coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));
1804 }
1805 else if (coro->cctx && coro->cctx->flags & CC_TRACE)
1806 {
1807 coro->cctx->flags &= ~(CC_TRACE | CC_TRACE_ALL);
1808
1809 if (coro->flags & CF_RUNNING)
1810 PL_runops = RUNOPS_DEFAULT;
1811 else
1812 coro->slot->runops = RUNOPS_DEFAULT;
1813 }
1814}
1815
1816static void
1817coro_call_on_destroy (pTHX_ struct coro *coro)
1818{
1819 SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);
1820 SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
1821
1822 if (on_destroyp)
1823 {
1824 AV *on_destroy = (AV *)SvRV (*on_destroyp);
1825
1826 while (AvFILLp (on_destroy) >= 0)
1827 {
1828 dSP; /* don't disturb outer sp */
1829 SV *cb = av_pop (on_destroy);
1830
1831 PUSHMARK (SP);
1832
1833 if (statusp)
1834 {
1835 int i;
1836 AV *status = (AV *)SvRV (*statusp);
1837 EXTEND (SP, AvFILLp (status) + 1);
1838
1839 for (i = 0; i <= AvFILLp (status); ++i)
1840 PUSHs (AvARRAY (status)[i]);
1841 }
1842
1843 PUTBACK;
1844 call_sv (sv_2mortal (cb), G_VOID | G_DISCARD);
1845 }
1846 }
1847}
1848
1849static void
1850slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1851{
1852 int i;
1853 HV *hv = (HV *)SvRV (coro_current);
1854 AV *av = newAV ();
1855
1856 av_extend (av, items - 1);
1857 for (i = 0; i < items; ++i)
1858 av_push (av, SvREFCNT_inc_NN (arg [i]));
1859
1860 hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);
1861
1862 av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */
1863 api_ready (aTHX_ sv_manager);
1864
1865 frame->prepare = prepare_schedule;
1866 frame->check = slf_check_repeat;
1867}
1868
1869/*****************************************************************************/
1870/* async pool handler */
1871
1872static int
1873slf_check_pool_handler (pTHX_ struct CoroSLF *frame)
1874{
1875 HV *hv = (HV *)SvRV (coro_current);
1876 struct coro *coro = (struct coro *)frame->data;
1877
1878 if (!coro->invoke_cb)
1879 return 1; /* loop till we have invoke */
1880 else
1881 {
1882 hv_store (hv, "desc", sizeof ("desc") - 1,
1883 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
1884
1885 coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
1886
1887 {
1888 dSP;
1889 XPUSHs (sv_2mortal (coro->invoke_cb)); coro->invoke_cb = 0;
1890 PUTBACK;
1891 }
1892
1893 SvREFCNT_dec (GvAV (PL_defgv));
1894 GvAV (PL_defgv) = coro->invoke_av;
1895 coro->invoke_av = 0;
1896
1897 return 0;
1898 }
1899}
1900
1901static void
1902slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1903{
1904 HV *hv = (HV *)SvRV (coro_current);
1905 struct coro *coro = SvSTATE_hv ((SV *)hv);
1906
1907 if (expect_true (coro->saved_deffh))
1908 {
1909 /* subsequent iteration */
1910 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
1911 coro->saved_deffh = 0;
1912
1913 if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
1914 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
1915 {
1916 coro->invoke_cb = SvREFCNT_inc_NN ((SV *)cv_coro_terminate);
1917 coro->invoke_av = newAV ();
1918
1919 frame->prepare = prepare_nop;
1920 }
1921 else
1922 {
1923 av_clear (GvAV (PL_defgv));
1924 hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
1925
1926 coro->prio = 0;
1927
1928 if (coro->cctx && (coro->cctx->flags & CC_TRACE))
1929 api_trace (aTHX_ coro_current, 0);
1930
1931 frame->prepare = prepare_schedule;
1932 av_push (av_async_pool, SvREFCNT_inc (hv));
1933 }
1934 }
1935 else
1936 {
1937 /* first iteration, simply fall through */
1938 frame->prepare = prepare_nop;
1939 }
1940
1941 frame->check = slf_check_pool_handler;
1942 frame->data = (void *)coro;
1943}
1944
1945/*****************************************************************************/
1946/* rouse callback */
1947
1948#define CORO_MAGIC_type_rouse PERL_MAGIC_ext
1949
1950static void
1951coro_rouse_callback (pTHX_ CV *cv)
1952{
1953 dXSARGS;
1954 SV *data = (SV *)GENSUB_ARG;
1955
1956 if (SvTYPE (SvRV (data)) != SVt_PVAV)
1957 {
1958 /* first call, set args */
1959 AV *av = newAV ();
1960 SV *coro = SvRV (data);
1961
1962 SvRV_set (data, (SV *)av);
1963 api_ready (aTHX_ coro);
1964 SvREFCNT_dec (coro);
1965
1966 /* better take a full copy of the arguments */
1967 while (items--)
1968 av_store (av, items, newSVsv (ST (items)));
1969 }
1970
1971 XSRETURN_EMPTY;
1972}
1973
1974static int
1975slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)
1976{
1977 SV *data = (SV *)frame->data;
1978
1979 if (CORO_THROW)
1980 return 0;
1981
1982 if (SvTYPE (SvRV (data)) != SVt_PVAV)
1983 return 1;
1984
1985 /* now push all results on the stack */
1986 {
1987 dSP;
1988 AV *av = (AV *)SvRV (data);
1989 int i;
1990
1991 EXTEND (SP, AvFILLp (av) + 1);
1992 for (i = 0; i <= AvFILLp (av); ++i)
1993 PUSHs (sv_2mortal (AvARRAY (av)[i]));
1994
1995 /* we have stolen the elements, so ste length to zero and free */
1996 AvFILLp (av) = -1;
1997 av_undef (av);
1998
1999 PUTBACK;
2000 }
2001
2002 return 0;
2003}
2004
2005static void
2006slf_init_rouse_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2007{
2008 SV *cb;
2009
2010 if (items)
2011 cb = arg [0];
2012 else
2013 {
2014 struct coro *coro = SvSTATE_current;
2015
2016 if (!coro->rouse_cb)
2017 croak ("Coro::rouse_wait called without rouse callback, and no default rouse callback found either,");
2018
2019 cb = sv_2mortal (coro->rouse_cb);
2020 coro->rouse_cb = 0;
2021 }
2022
2023 if (!SvROK (cb)
2024 || SvTYPE (SvRV (cb)) != SVt_PVCV
2025 || CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2026 croak ("Coro::rouse_wait called with illegal callback argument,");
2027
2028 {
2029 CV *cv = (CV *)SvRV (cb); /* for GENSUB_ARG */
2030 SV *data = (SV *)GENSUB_ARG;
2031
2032 frame->data = (void *)data;
2033 frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;
2034 frame->check = slf_check_rouse_wait;
2035 }
2036}
2037
2038static SV *
2039coro_new_rouse_cb (pTHX)
2040{
2041 HV *hv = (HV *)SvRV (coro_current);
2042 struct coro *coro = SvSTATE_hv (hv);
2043 SV *data = newRV_inc ((SV *)hv);
2044 SV *cb = gensub (aTHX_ coro_rouse_callback, (void *)data);
2045
2046 sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2047 SvREFCNT_dec (data); /* magicext increases the refcount */
2048
2049 SvREFCNT_dec (coro->rouse_cb);
2050 coro->rouse_cb = SvREFCNT_inc_NN (cb);
2051
2052 return cb;
2053}
2054
2055/*****************************************************************************/
2056/* schedule-like-function opcode (SLF) */
2057
2058static UNOP slf_restore; /* restore stack as entersub did, for first-re-run */
2059static const CV *slf_cv;
2060static SV **slf_argv;
2061static int slf_argc, slf_arga; /* count, allocated */
2062static I32 slf_ax; /* top of stack, for restore */
2063
2064/* this restores the stack in the case we patched the entersub, to */
2065/* recreate the stack frame as perl will on following calls */
2066/* since entersub cleared the stack */
2067static OP *
2068pp_restore (pTHX)
2069{
2070 int i;
2071 SV **SP = PL_stack_base + slf_ax;
2072
2073 PUSHMARK (SP);
2074
2075 EXTEND (SP, slf_argc + 1);
2076
2077 for (i = 0; i < slf_argc; ++i)
2078 PUSHs (sv_2mortal (slf_argv [i]));
2079
2080 PUSHs ((SV *)CvGV (slf_cv));
2081
2082 RETURNOP (slf_restore.op_first);
2083}
2084
2085static void
2086slf_prepare_transfer (pTHX_ struct coro_transfer_args *ta)
2087{
2088 SV **arg = (SV **)slf_frame.data;
2089
2090 prepare_transfer (aTHX_ ta, arg [0], arg [1]);
2091}
2092
2093static void
2094slf_init_transfer (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2095{
2096 if (items != 2)
2097 croak ("Coro::State::transfer (prev, next) expects two arguments, not %d,", items);
2098
2099 frame->prepare = slf_prepare_transfer;
2100 frame->check = slf_check_nop;
2101 frame->data = (void *)arg; /* let's hope it will stay valid */
2102}
2103
2104static void
2105slf_init_schedule (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2106{
2107 frame->prepare = prepare_schedule;
2108 frame->check = slf_check_nop;
2109}
2110
2111static void
2112slf_prepare_schedule_to (pTHX_ struct coro_transfer_args *ta)
2113{
2114 struct coro *next = (struct coro *)slf_frame.data;
2115
2116 SvREFCNT_inc_NN (next->hv);
2117 prepare_schedule_to (aTHX_ ta, next);
2118}
2119
2120static void
2121slf_init_schedule_to (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2122{
2123 if (!items)
2124 croak ("Coro::schedule_to expects a coroutine argument, caught");
2125
2126 frame->data = (void *)SvSTATE (arg [0]);
2127 frame->prepare = slf_prepare_schedule_to;
2128 frame->check = slf_check_nop;
2129}
2130
2131static void
2132slf_init_cede_to (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2133{
2134 api_ready (aTHX_ SvRV (coro_current));
2135
2136 slf_init_schedule_to (aTHX_ frame, cv, arg, items);
2137}
2138
2139static void
2140slf_init_cede (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2141{
2142 frame->prepare = prepare_cede;
2143 frame->check = slf_check_nop;
2144}
2145
2146static void
2147slf_init_cede_notself (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2148{
2149 frame->prepare = prepare_cede_notself;
2150 frame->check = slf_check_nop;
2151}
2152
2153/*
2154 * these not obviously related functions are all rolled into one
2155 * function to increase chances that they all will call transfer with the same
2156 * stack offset
2157 * SLF stands for "schedule-like-function".
2158 */
2159static OP *
2160pp_slf (pTHX)
2161{
2162 I32 checkmark; /* mark SP to see how many elements check has pushed */
2163
2164 /* set up the slf frame, unless it has already been set-up */
2165 /* the latter happens when a new coro has been started */
2166 /* or when a new cctx was attached to an existing coroutine */
2167 if (expect_true (!slf_frame.prepare))
2168 {
2169 /* first iteration */
2170 dSP;
2171 SV **arg = PL_stack_base + TOPMARK + 1;
2172 int items = SP - arg; /* args without function object */
2173 SV *gv = *sp;
2174
2175 /* do a quick consistency check on the "function" object, and if it isn't */
2176 /* for us, divert to the real entersub */
2177 if (SvTYPE (gv) != SVt_PVGV
2178 || !GvCV (gv)
2179 || !(CvFLAGS (GvCV (gv)) & CVf_SLF))
2180 return PL_ppaddr[OP_ENTERSUB](aTHX);
2181
2182 if (!(PL_op->op_flags & OPf_STACKED))
2183 {
2184 /* ampersand-form of call, use @_ instead of stack */
2185 AV *av = GvAV (PL_defgv);
2186 arg = AvARRAY (av);
2187 items = AvFILLp (av) + 1;
2188 }
2189
2190 /* now call the init function, which needs to set up slf_frame */
2191 ((coro_slf_cb)CvXSUBANY (GvCV (gv)).any_ptr)
2192 (aTHX_ &slf_frame, GvCV (gv), arg, items);
2193
2194 /* pop args */
2195 SP = PL_stack_base + POPMARK;
2196
2197 PUTBACK;
2198 }
2199
2200 /* now that we have a slf_frame, interpret it! */
2201 /* we use a callback system not to make the code needlessly */
2202 /* complicated, but so we can run multiple perl coros from one cctx */
2203
2204 do
2205 {
2206 struct coro_transfer_args ta;
2207
2208 slf_frame.prepare (aTHX_ &ta);
2209 TRANSFER (ta, 0);
2210
2211 checkmark = PL_stack_sp - PL_stack_base;
2212 }
2213 while (slf_frame.check (aTHX_ &slf_frame));
2214
2215 slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */
2216
2217 /* exception handling */
2218 if (expect_false (CORO_THROW))
2219 {
2220 SV *exception = sv_2mortal (CORO_THROW);
2221
2222 CORO_THROW = 0;
2223 sv_setsv (ERRSV, exception);
2224 croak (0);
2225 }
2226
2227 /* return value handling - mostly like entersub */
2228 /* make sure we put something on the stack in scalar context */
2229 if (GIMME_V == G_SCALAR)
2230 {
2231 dSP;
2232 SV **bot = PL_stack_base + checkmark;
2233
2234 if (sp == bot) /* too few, push undef */
2235 bot [1] = &PL_sv_undef;
2236 else if (sp != bot + 1) /* too many, take last one */
2237 bot [1] = *sp;
2238
2239 SP = bot + 1;
2240
2241 PUTBACK;
2242 }
2243
2244 return NORMAL;
2245}
2246
2247static void
2248api_execute_slf (pTHX_ CV *cv, coro_slf_cb init_cb, I32 ax)
2249{
2250 int i;
2251 SV **arg = PL_stack_base + ax;
2252 int items = PL_stack_sp - arg + 1;
2253
2254 assert (("FATAL: SLF call with illegal CV value", !CvANON (cv)));
2255
2256 if (PL_op->op_ppaddr != PL_ppaddr [OP_ENTERSUB]
2257 && PL_op->op_ppaddr != pp_slf)
2258 croak ("FATAL: Coro SLF calls can only be made normally, not via goto or any other means, caught");
2259
2260 CvFLAGS (cv) |= CVf_SLF;
2261 CvXSUBANY (cv).any_ptr = (void *)init_cb;
2262 slf_cv = cv;
2263
2264 /* we patch the op, and then re-run the whole call */
2265 /* we have to put the same argument on the stack for this to work */
2266 /* and this will be done by pp_restore */
2267 slf_restore.op_next = (OP *)&slf_restore;
2268 slf_restore.op_type = OP_CUSTOM;
2269 slf_restore.op_ppaddr = pp_restore;
2270 slf_restore.op_first = PL_op;
2271
2272 slf_ax = ax - 1; /* undo the ax++ inside dAXMARK */
2273
2274 if (PL_op->op_flags & OPf_STACKED)
2275 {
2276 if (items > slf_arga)
2277 {
2278 slf_arga = items;
2279 free (slf_argv);
2280 slf_argv = malloc (slf_arga * sizeof (SV *));
2281 }
2282
2283 slf_argc = items;
2284
2285 for (i = 0; i < items; ++i)
2286 slf_argv [i] = SvREFCNT_inc (arg [i]);
2287 }
2288 else
2289 slf_argc = 0;
2290
2291 PL_op->op_ppaddr = pp_slf;
2292 /*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */
2293
2294 PL_op = (OP *)&slf_restore;
2295}
2296
2297/*****************************************************************************/
2298/* PerlIO::cede */
2299
2300typedef struct
2301{
2302 PerlIOBuf base;
2303 NV next, every;
2304} PerlIOCede;
2305
2306static IV
2307PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)
2308{
2309 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2310
2311 self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
2312 self->next = nvtime () + self->every;
2313
2314 return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
2315}
2316
2317static SV *
2318PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)
2319{
2320 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2321
2322 return newSVnv (self->every);
2323}
2324
2325static IV
2326PerlIOCede_flush (pTHX_ PerlIO *f)
2327{
2328 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2329 double now = nvtime ();
2330
2331 if (now >= self->next)
2332 {
2333 api_cede (aTHX);
2334 self->next = now + self->every;
2335 }
2336
2337 return PerlIOBuf_flush (aTHX_ f);
2338}
2339
2340static PerlIO_funcs PerlIO_cede =
2341{
2342 sizeof(PerlIO_funcs),
2343 "cede",
2344 sizeof(PerlIOCede),
2345 PERLIO_K_DESTRUCT | PERLIO_K_RAW,
2346 PerlIOCede_pushed,
2347 PerlIOBuf_popped,
2348 PerlIOBuf_open,
2349 PerlIOBase_binmode,
2350 PerlIOCede_getarg,
2351 PerlIOBase_fileno,
2352 PerlIOBuf_dup,
2353 PerlIOBuf_read,
2354 PerlIOBuf_unread,
2355 PerlIOBuf_write,
2356 PerlIOBuf_seek,
2357 PerlIOBuf_tell,
2358 PerlIOBuf_close,
2359 PerlIOCede_flush,
2360 PerlIOBuf_fill,
2361 PerlIOBase_eof,
2362 PerlIOBase_error,
2363 PerlIOBase_clearerr,
2364 PerlIOBase_setlinebuf,
2365 PerlIOBuf_get_base,
2366 PerlIOBuf_bufsiz,
2367 PerlIOBuf_get_ptr,
2368 PerlIOBuf_get_cnt,
2369 PerlIOBuf_set_ptrcnt,
2370};
2371
2372/*****************************************************************************/
2373/* Coro::Semaphore & Coro::Signal */
2374
2375static SV *
2376coro_waitarray_new (pTHX_ int count)
2377{
2378 /* a semaphore contains a counter IV in $sem->[0] and any waiters after that */
2379 AV *av = newAV ();
2380 SV **ary;
2381
2382 /* unfortunately, building manually saves memory */
2383 Newx (ary, 2, SV *);
2384 AvALLOC (av) = ary;
2385#if PERL_VERSION_ATLEAST (5,10,0)
2386 AvARRAY (av) = ary;
2387#else
2388 /* 5.8.8 needs this syntax instead of AvARRAY = ary, yet */
2389 /* -DDEBUGGING flags this as a bug, despite it perfectly working */
2390 SvPVX ((SV *)av) = (char *)ary;
2391#endif
2392 AvMAX (av) = 1;
2393 AvFILLp (av) = 0;
2394 ary [0] = newSViv (count);
2395
2396 return newRV_noinc ((SV *)av);
2397}
2398
2399/* semaphore */
2400
2401static void
2402coro_semaphore_adjust (pTHX_ AV *av, IV adjust)
2403{
2404 SV *count_sv = AvARRAY (av)[0];
2405 IV count = SvIVX (count_sv);
2406
2407 count += adjust;
2408 SvIVX (count_sv) = count;
2409
2410 /* now wake up as many waiters as are expected to lock */
2411 while (count > 0 && AvFILLp (av) > 0)
2412 {
2413 SV *cb;
2414
2415 /* swap first two elements so we can shift a waiter */
2416 AvARRAY (av)[0] = AvARRAY (av)[1];
2417 AvARRAY (av)[1] = count_sv;
2418 cb = av_shift (av);
2419
2420 if (SvOBJECT (cb))
2421 {
2422 api_ready (aTHX_ cb);
2423 --count;
2424 }
2425 else if (SvTYPE (cb) == SVt_PVCV)
2426 {
2427 dSP;
2428 PUSHMARK (SP);
2429 XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
2430 PUTBACK;
2431 call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
2432 }
2433
2434 SvREFCNT_dec (cb);
2435 }
2436}
2437
2438static void
2439coro_semaphore_on_destroy (pTHX_ struct coro *coro)
2440{
2441 /* call $sem->adjust (0) to possibly wake up some other waiters */
2442 coro_semaphore_adjust (aTHX_ (AV *)coro->slf_frame.data, 0);
2443}
2444
2445static int
2446slf_check_semaphore_down_or_wait (pTHX_ struct CoroSLF *frame, int acquire)
2447{
2448 AV *av = (AV *)frame->data;
2449 SV *count_sv = AvARRAY (av)[0];
2450
2451 /* if we are about to throw, don't actually acquire the lock, just throw */
2452 if (CORO_THROW)
2453 return 0;
2454 else if (SvIVX (count_sv) > 0)
2455 {
2456 SvSTATE_current->on_destroy = 0;
2457
2458 if (acquire)
2459 SvIVX (count_sv) = SvIVX (count_sv) - 1;
2460 else
2461 coro_semaphore_adjust (aTHX_ av, 0);
2462
2463 return 0;
2464 }
2465 else
2466 {
2467 int i;
2468 /* if we were woken up but can't down, we look through the whole */
2469 /* waiters list and only add us if we aren't in there already */
2470 /* this avoids some degenerate memory usage cases */
2471
2472 for (i = 1; i <= AvFILLp (av); ++i)
2473 if (AvARRAY (av)[i] == SvRV (coro_current))
2474 return 1;
2475
2476 av_push (av, SvREFCNT_inc (SvRV (coro_current)));
2477 return 1;
2478 }
2479}
2480
2481static int
2482slf_check_semaphore_down (pTHX_ struct CoroSLF *frame)
2483{
2484 return slf_check_semaphore_down_or_wait (aTHX_ frame, 1);
2485}
2486
2487static int
2488slf_check_semaphore_wait (pTHX_ struct CoroSLF *frame)
2489{
2490 return slf_check_semaphore_down_or_wait (aTHX_ frame, 0);
2491}
2492
2493static void
2494slf_init_semaphore_down_or_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2495{
2496 AV *av = (AV *)SvRV (arg [0]);
2497
2498 if (SvIVX (AvARRAY (av)[0]) > 0)
2499 {
2500 frame->data = (void *)av;
2501 frame->prepare = prepare_nop;
2502 }
2503 else
2504 {
2505 av_push (av, SvREFCNT_inc (SvRV (coro_current)));
2506
2507 frame->data = (void *)sv_2mortal (SvREFCNT_inc ((SV *)av));
2508 frame->prepare = prepare_schedule;
2509
2510 /* to avoid race conditions when a woken-up coro gets terminated */
2511 /* we arrange for a temporary on_destroy that calls adjust (0) */
2512 SvSTATE_current->on_destroy = coro_semaphore_on_destroy;
2513 }
2514}
2515
2516static void
2517slf_init_semaphore_down (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2518{
2519 slf_init_semaphore_down_or_wait (aTHX_ frame, cv, arg, items);
2520 frame->check = slf_check_semaphore_down;
2521}
2522
2523static void
2524slf_init_semaphore_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2525{
2526 if (items >= 2)
2527 {
2528 /* callback form */
2529 AV *av = (AV *)SvRV (arg [0]);
2530 CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);
2531
2532 av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));
2533
2534 if (SvIVX (AvARRAY (av)[0]) > 0)
2535 coro_semaphore_adjust (aTHX_ av, 0);
2536
2537 frame->prepare = prepare_nop;
2538 frame->check = slf_check_nop;
2539 }
2540 else
2541 {
2542 slf_init_semaphore_down_or_wait (aTHX_ frame, cv, arg, items);
2543 frame->check = slf_check_semaphore_wait;
2544 }
2545}
2546
2547/* signal */
2548
2549static void
2550coro_signal_wake (pTHX_ AV *av, int count)
2551{
2552 SvIVX (AvARRAY (av)[0]) = 0;
2553
2554 /* now signal count waiters */
2555 while (count > 0 && AvFILLp (av) > 0)
2556 {
2557 SV *cb;
2558
2559 /* swap first two elements so we can shift a waiter */
2560 cb = AvARRAY (av)[0];
2561 AvARRAY (av)[0] = AvARRAY (av)[1];
2562 AvARRAY (av)[1] = cb;
2563
2564 cb = av_shift (av);
2565
2566 api_ready (aTHX_ cb);
2567 sv_setiv (cb, 0); /* signal waiter */
2568 SvREFCNT_dec (cb);
2569
2570 --count;
2571 }
2572}
2573
2574static int
2575slf_check_signal_wait (pTHX_ struct CoroSLF *frame)
2576{
2577 /* if we are about to throw, also stop waiting */
2578 return SvROK ((SV *)frame->data) && !CORO_THROW;
2579}
2580
2581static void
2582slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2583{
2584 AV *av = (AV *)SvRV (arg [0]);
2585
2586 if (SvIVX (AvARRAY (av)[0]))
2587 {
2588 SvIVX (AvARRAY (av)[0]) = 0;
2589 frame->prepare = prepare_nop;
2590 frame->check = slf_check_nop;
2591 }
2592 else
2593 {
2594 SV *waiter = newRV_inc (SvRV (coro_current)); /* owned by signal av */
2595
2596 av_push (av, waiter);
2597
2598 frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */
2599 frame->prepare = prepare_schedule;
2600 frame->check = slf_check_signal_wait;
2601 }
2602}
2603
2604/*****************************************************************************/
2605/* Coro::AIO */
2606
2607#define CORO_MAGIC_type_aio PERL_MAGIC_ext
2608
2609/* helper storage struct */
2610struct io_state
2611{
2612 int errorno;
2613 I32 laststype; /* U16 in 5.10.0 */
2614 int laststatval;
2615 Stat_t statcache;
2616};
2617
2618static void
2619coro_aio_callback (pTHX_ CV *cv)
2620{
2621 dXSARGS;
2622 AV *state = (AV *)GENSUB_ARG;
2623 SV *coro = av_pop (state);
2624 SV *data_sv = newSV (sizeof (struct io_state));
2625
2626 av_extend (state, items - 1);
2627
2628 sv_upgrade (data_sv, SVt_PV);
2629 SvCUR_set (data_sv, sizeof (struct io_state));
2630 SvPOK_only (data_sv);
2631
2632 {
2633 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2634
2635 data->errorno = errno;
2636 data->laststype = PL_laststype;
2637 data->laststatval = PL_laststatval;
2638 data->statcache = PL_statcache;
2639 }
2640
2641 /* now build the result vector out of all the parameters and the data_sv */
2642 {
2643 int i;
2644
2645 for (i = 0; i < items; ++i)
2646 av_push (state, SvREFCNT_inc_NN (ST (i)));
2647 }
2648
2649 av_push (state, data_sv);
2650
2651 api_ready (aTHX_ coro);
2652 SvREFCNT_dec (coro);
2653 SvREFCNT_dec ((AV *)state);
2654}
2655
2656static int
2657slf_check_aio_req (pTHX_ struct CoroSLF *frame)
2658{
2659 AV *state = (AV *)frame->data;
2660
2661 /* if we are about to throw, return early */
2662 /* this does not cancel the aio request, but at least */
2663 /* it quickly returns */
2664 if (CORO_THROW)
2665 return 0;
2666
2667 /* one element that is an RV? repeat! */
2668 if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))
2669 return 1;
2670
2671 /* restore status */
2672 {
2673 SV *data_sv = av_pop (state);
2674 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2675
2676 errno = data->errorno;
2677 PL_laststype = data->laststype;
2678 PL_laststatval = data->laststatval;
2679 PL_statcache = data->statcache;
2680
2681 SvREFCNT_dec (data_sv);
2682 }
2683
2684 /* push result values */
2685 {
2686 dSP;
2687 int i;
2688
2689 EXTEND (SP, AvFILLp (state) + 1);
2690 for (i = 0; i <= AvFILLp (state); ++i)
2691 PUSHs (sv_2mortal (SvREFCNT_inc_NN (AvARRAY (state)[i])));
2692
2693 PUTBACK;
2694 }
2695
2696 return 0;
2697}
2698
2699static void
2700slf_init_aio_req (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2701{
2702 AV *state = (AV *)sv_2mortal ((SV *)newAV ());
2703 SV *coro_hv = SvRV (coro_current);
2704 struct coro *coro = SvSTATE_hv (coro_hv);
2705
2706 /* put our coroutine id on the state arg */
2707 av_push (state, SvREFCNT_inc_NN (coro_hv));
2708
2709 /* first see whether we have a non-zero priority and set it as AIO prio */
2710 if (coro->prio)
2711 {
2712 dSP;
2713
2714 static SV *prio_cv;
2715 static SV *prio_sv;
2716
2717 if (expect_false (!prio_cv))
2718 {
2719 prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);
2720 prio_sv = newSViv (0);
2721 }
2722
2723 PUSHMARK (SP);
2724 sv_setiv (prio_sv, coro->prio);
2725 XPUSHs (prio_sv);
2726
2727 PUTBACK;
2728 call_sv (prio_cv, G_VOID | G_DISCARD);
2729 }
2730
2731 /* now call the original request */
2732 {
2733 dSP;
2734 CV *req = (CV *)CORO_MAGIC_NN ((SV *)cv, CORO_MAGIC_type_aio)->mg_obj;
2735 int i;
2736
2737 PUSHMARK (SP);
2738
2739 /* first push all args to the stack */
2740 EXTEND (SP, items + 1);
2741
2742 for (i = 0; i < items; ++i)
2743 PUSHs (arg [i]);
2744
2745 /* now push the callback closure */
2746 PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));
2747
2748 /* now call the AIO function - we assume our request is uncancelable */
2749 PUTBACK;
2750 call_sv ((SV *)req, G_VOID | G_DISCARD);
2751 }
2752
2753 /* now that the requets is going, we loop toll we have a result */
2754 frame->data = (void *)state;
2755 frame->prepare = prepare_schedule;
2756 frame->check = slf_check_aio_req;
2757}
2758
2759static void
2760coro_aio_req_xs (pTHX_ CV *cv)
2761{
2762 dXSARGS;
2763
2764 CORO_EXECUTE_SLF_XS (slf_init_aio_req);
2765
2766 XSRETURN_EMPTY;
2767}
2768
2769/*****************************************************************************/
2770
2771#if CORO_CLONE
2772# include "clone.c"
2773#endif
2774
2775MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2776
2777PROTOTYPES: DISABLE
2778
2779BOOT:
2780{
2781#ifdef USE_ITHREADS
2782# if CORO_PTHREAD
2783 coro_thx = PERL_GET_CONTEXT;
2784# endif
2785#endif
2786 BOOT_PAGESIZE;
2787
2788 cctx_current = cctx_new_empty ();
2789
2790 irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
2791 stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
2792
2793 orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;
2794 orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;
2795 orig_sigelem_clr = PL_vtbl_sigelem.svt_clear; PL_vtbl_sigelem.svt_clear = coro_sigelem_clr;
2796
2797 hv_sig = coro_get_hv (aTHX_ "SIG", TRUE);
2798 rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));
2799 rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));
2800
2801 coro_state_stash = gv_stashpv ("Coro::State", TRUE);
2802
2803 newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));
2804 newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));
2805 newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));
2806 newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));
2807
2808 main_mainstack = PL_mainstack;
2809 main_top_env = PL_top_env;
2810
2811 while (main_top_env->je_prev)
2812 main_top_env = main_top_env->je_prev;
2813
2814 {
2815 SV *slf = sv_2mortal (newSViv (PTR2IV (pp_slf)));
2816
2817 if (!PL_custom_op_names) PL_custom_op_names = newHV ();
2818 hv_store_ent (PL_custom_op_names, slf, newSVpv ("coro_slf", 0), 0);
2819
2820 if (!PL_custom_op_descs) PL_custom_op_descs = newHV ();
2821 hv_store_ent (PL_custom_op_descs, slf, newSVpv ("coro schedule like function", 0), 0);
2822 }
2823
2824 coroapi.ver = CORO_API_VERSION;
2825 coroapi.rev = CORO_API_REVISION;
2826
2827 coroapi.transfer = api_transfer;
2828
2829 coroapi.sv_state = SvSTATE_;
2830 coroapi.execute_slf = api_execute_slf;
2831 coroapi.prepare_nop = prepare_nop;
2832 coroapi.prepare_schedule = prepare_schedule;
2833 coroapi.prepare_cede = prepare_cede;
2834 coroapi.prepare_cede_notself = prepare_cede_notself;
2835
2836 {
2837 SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
2838
2839 if (!svp) croak ("Time::HiRes is required");
2840 if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
2841
2842 nvtime = INT2PTR (double (*)(), SvIV (*svp));
2843 }
2844
2845 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
2846}
2847
2848SV *
2849new (char *klass, ...)
2850 ALIAS:
2851 Coro::new = 1
2852 CODE:
2853{
2854 struct coro *coro;
2855 MAGIC *mg;
2856 HV *hv;
2857 CV *cb;
2858 int i;
2859
2860 if (items > 1)
2861 {
2862 cb = coro_sv_2cv (aTHX_ ST (1));
2863
2864 if (!ix)
235 { 2865 {
236 /* I never used formats, so how should I know how these are implemented? */ 2866 if (CvISXSUB (cb))
237 /* my bold guess is as a simple, plain sub... */ 2867 croak ("Coro::State doesn't support XS functions as coroutine start, caught");
238 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats"); 2868
2869 if (!CvROOT (cb))
2870 croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
239 } 2871 }
240 } 2872 }
241 2873
242 if (top_si->si_type == PERLSI_MAIN)
243 break;
244
245 top_si = top_si->si_prev;
246 ccstk = top_si->si_cxstack;
247 cxix = top_si->si_cxix;
248 }
249
250 PUTBACK;
251 }
252
253 c->dowarn = PL_dowarn;
254 c->defav = GvAV (PL_defgv);
255 c->curstackinfo = PL_curstackinfo;
256 c->curstack = PL_curstack;
257 c->mainstack = PL_mainstack;
258 c->stack_sp = PL_stack_sp;
259 c->op = PL_op;
260 c->curpad = PL_curpad;
261 c->stack_base = PL_stack_base;
262 c->stack_max = PL_stack_max;
263 c->tmps_stack = PL_tmps_stack;
264 c->tmps_floor = PL_tmps_floor;
265 c->tmps_ix = PL_tmps_ix;
266 c->tmps_max = PL_tmps_max;
267 c->markstack = PL_markstack;
268 c->markstack_ptr = PL_markstack_ptr;
269 c->markstack_max = PL_markstack_max;
270 c->scopestack = PL_scopestack;
271 c->scopestack_ix = PL_scopestack_ix;
272 c->scopestack_max = PL_scopestack_max;
273 c->savestack = PL_savestack;
274 c->savestack_ix = PL_savestack_ix;
275 c->savestack_max = PL_savestack_max;
276 c->retstack = PL_retstack;
277 c->retstack_ix = PL_retstack_ix;
278 c->retstack_max = PL_retstack_max;
279 c->curcop = PL_curcop;
280}
281
282static void
283LOAD(pTHX_ Coro__State c)
284{
285 PL_dowarn = c->dowarn;
286 GvAV (PL_defgv) = c->defav;
287 PL_curstackinfo = c->curstackinfo;
288 PL_curstack = c->curstack;
289 PL_mainstack = c->mainstack;
290 PL_stack_sp = c->stack_sp;
291 PL_op = c->op;
292 PL_curpad = c->curpad;
293 PL_stack_base = c->stack_base;
294 PL_stack_max = c->stack_max;
295 PL_tmps_stack = c->tmps_stack;
296 PL_tmps_floor = c->tmps_floor;
297 PL_tmps_ix = c->tmps_ix;
298 PL_tmps_max = c->tmps_max;
299 PL_markstack = c->markstack;
300 PL_markstack_ptr = c->markstack_ptr;
301 PL_markstack_max = c->markstack_max;
302 PL_scopestack = c->scopestack;
303 PL_scopestack_ix = c->scopestack_ix;
304 PL_scopestack_max = c->scopestack_max;
305 PL_savestack = c->savestack;
306 PL_savestack_ix = c->savestack_ix;
307 PL_savestack_max = c->savestack_max;
308 PL_retstack = c->retstack;
309 PL_retstack_ix = c->retstack_ix;
310 PL_retstack_max = c->retstack_max;
311 PL_curcop = c->curcop;
312
313 {
314 dSP;
315 CV *cv;
316
317 /* now do the ugly restore mess */
318 while ((cv = (CV *)POPs))
319 {
320 AV *padlist = (AV *)POPs;
321
322 put_padlist (cv);
323 CvPADLIST(cv) = padlist;
324 CvDEPTH(cv) = (I32)POPs;
325
326#ifdef USE_THREADS
327 CvOWNER(cv) = (struct perl_thread *)POPs;
328 error does not work either
329#endif
330 }
331
332 PUTBACK;
333 }
334}
335
336/* this is an EXACT copy of S_nuke_stacks in perl.c, which is unfortunately static */
337STATIC void
338destroy_stacks(pTHX)
339{
340 /* die does this while calling POPSTACK, but I just don't see why. */
341 dounwind(-1);
342
343 /* is this ugly, I ask? */
344 while (PL_scopestack_ix)
345 LEAVE;
346
347 while (PL_curstackinfo->si_next)
348 PL_curstackinfo = PL_curstackinfo->si_next;
349
350 while (PL_curstackinfo)
351 {
352 PERL_SI *p = PL_curstackinfo->si_prev;
353
354 SvREFCNT_dec(PL_curstackinfo->si_stack);
355 Safefree(PL_curstackinfo->si_cxstack);
356 Safefree(PL_curstackinfo);
357 PL_curstackinfo = p;
358 }
359
360 if (PL_scopestack_ix != 0)
361 Perl_warner(aTHX_ WARN_INTERNAL,
362 "Unbalanced scopes: %ld more ENTERs than LEAVEs\n",
363 (long)PL_scopestack_ix);
364 if (PL_savestack_ix != 0)
365 Perl_warner(aTHX_ WARN_INTERNAL,
366 "Unbalanced saves: %ld more saves than restores\n",
367 (long)PL_savestack_ix);
368 if (PL_tmps_floor != -1)
369 Perl_warner(aTHX_ WARN_INTERNAL,"Unbalanced tmps: %ld more allocs than frees\n",
370 (long)PL_tmps_floor + 1);
371 /*
372 */
373 Safefree(PL_tmps_stack);
374 Safefree(PL_markstack);
375 Safefree(PL_scopestack);
376 Safefree(PL_savestack);
377 Safefree(PL_retstack);
378}
379
380#define SUB_INIT "Coro::State::_newcoro"
381
382MODULE = Coro::State PACKAGE = Coro::State
383
384PROTOTYPES: ENABLE
385
386BOOT:
387 if (!padlist_cache)
388 padlist_cache = newHV ();
389
390Coro::State
391_newprocess(args)
392 SV * args
393 PROTOTYPE: $
394 CODE:
395 Coro__State coro;
396
397 if (!SvROK (args) || SvTYPE (SvRV (args)) != SVt_PVAV)
398 croak ("Coro::State::newprocess expects an arrayref");
399
400 New (0, coro, 1, struct coro); 2874 Newz (0, coro, 1, struct coro);
2875 coro->args = newAV ();
2876 coro->flags = CF_NEW;
401 2877
402 coro->mainstack = 0; /* actual work is done inside transfer */ 2878 if (coro_first) coro_first->prev = coro;
403 coro->args = (AV *)SvREFCNT_inc (SvRV (args)); 2879 coro->next = coro_first;
2880 coro_first = coro;
404 2881
405 RETVAL = coro; 2882 coro->hv = hv = newHV ();
2883 mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
2884 mg->mg_flags |= MGf_DUP;
2885 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2886
2887 if (items > 1)
2888 {
2889 av_extend (coro->args, items - 1 + ix - 1);
2890
2891 if (ix)
2892 {
2893 av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2894 cb = cv_coro_run;
2895 }
2896
2897 coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
2898
2899 for (i = 2; i < items; i++)
2900 av_push (coro->args, newSVsv (ST (i)));
2901 }
2902}
406 OUTPUT: 2903 OUTPUT:
407 RETVAL 2904 RETVAL
408 2905
409void 2906void
410transfer(prev,next) 2907transfer (...)
411 Coro::State_or_hashref prev 2908 PROTOTYPE: $$
412 Coro::State_or_hashref next 2909 CODE:
413 CODE: 2910 CORO_EXECUTE_SLF_XS (slf_init_transfer);
414 2911
415 if (prev != next) 2912bool
2913_destroy (SV *coro_sv)
2914 CODE:
2915 RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
2916 OUTPUT:
2917 RETVAL
2918
2919void
2920_exit (int code)
2921 PROTOTYPE: $
2922 CODE:
2923 _exit (code);
2924
2925SV *
2926clone (Coro::State coro)
2927 CODE:
2928{
2929#if CORO_CLONE
2930 struct coro *ncoro = coro_clone (coro);
2931 MAGIC *mg;
2932 /* TODO: too much duplication */
2933 ncoro->hv = newHV ();
2934 mg = sv_magicext ((SV *)ncoro->hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)ncoro, 0);
2935 mg->mg_flags |= MGf_DUP;
2936 RETVAL = sv_bless (newRV_noinc ((SV *)ncoro->hv), SvSTASH (coro->hv));
2937#else
2938 croak ("Coro::State->clone has not been configured into this installation of Coro, realised");
2939#endif
2940}
2941 OUTPUT:
2942 RETVAL
2943
2944int
2945cctx_stacksize (int new_stacksize = 0)
2946 PROTOTYPE: ;$
2947 CODE:
2948 RETVAL = cctx_stacksize;
2949 if (new_stacksize)
416 { 2950 {
417 PUTBACK; 2951 cctx_stacksize = new_stacksize;
418 SAVE (aTHX_ prev); 2952 ++cctx_gen;
419
420 /* 2953 }
421 * this could be done in newprocess which would lead to 2954 OUTPUT:
422 * extremely elegant and fast (just PUTBACK/SAVE/LOAD/SPAGAIN) 2955 RETVAL
423 * code here, but lazy allocation of stacks has also 2956
424 * some virtues and the overhead of the if() is nil. 2957int
2958cctx_max_idle (int max_idle = 0)
2959 PROTOTYPE: ;$
2960 CODE:
2961 RETVAL = cctx_max_idle;
2962 if (max_idle > 1)
2963 cctx_max_idle = max_idle;
2964 OUTPUT:
2965 RETVAL
2966
2967int
2968cctx_count ()
2969 PROTOTYPE:
2970 CODE:
2971 RETVAL = cctx_count;
2972 OUTPUT:
2973 RETVAL
2974
2975int
2976cctx_idle ()
2977 PROTOTYPE:
2978 CODE:
2979 RETVAL = cctx_idle;
2980 OUTPUT:
2981 RETVAL
2982
2983void
2984list ()
2985 PROTOTYPE:
2986 PPCODE:
2987{
2988 struct coro *coro;
2989 for (coro = coro_first; coro; coro = coro->next)
2990 if (coro->hv)
2991 XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
2992}
2993
2994void
2995call (Coro::State coro, SV *coderef)
2996 ALIAS:
2997 eval = 1
2998 CODE:
2999{
3000 if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
425 */ 3001 {
426 if (next->mainstack) 3002 struct coro temp;
3003
3004 if (!(coro->flags & CF_RUNNING))
427 { 3005 {
428 LOAD (aTHX_ next); 3006 PUTBACK;
429 next->mainstack = 0; /* unnecessary but much cleaner */ 3007 save_perl (aTHX_ &temp);
3008 load_perl (aTHX_ coro);
3009 }
3010
3011 {
3012 dSP;
3013 ENTER;
3014 SAVETMPS;
3015 PUTBACK;
3016 PUSHSTACK;
3017 PUSHMARK (SP);
3018
3019 if (ix)
3020 eval_sv (coderef, 0);
3021 else
3022 call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
3023
3024 POPSTACK;
3025 SPAGAIN;
3026 FREETMPS;
3027 LEAVE;
3028 PUTBACK;
3029 }
3030
3031 if (!(coro->flags & CF_RUNNING))
3032 {
3033 save_perl (aTHX_ coro);
3034 load_perl (aTHX_ &temp);
430 SPAGAIN; 3035 SPAGAIN;
431 } 3036 }
432 else
433 {
434 /*
435 * emulate part of the perl startup here.
436 */
437 UNOP myop;
438
439 init_stacks (); /* from perl.c */
440 PL_op = (OP *)&myop;
441 /*PL_curcop = 0;*/
442 GvAV (PL_defgv) = (AV *)SvREFCNT_inc ((SV *)next->args);
443
444 SPAGAIN;
445 Zero(&myop, 1, UNOP);
446 myop.op_next = Nullop;
447 myop.op_flags = OPf_WANT_VOID;
448
449 PUSHMARK(SP);
450 XPUSHs ((SV*)get_cv(SUB_INIT, TRUE));
451 PUTBACK;
452 /*
453 * the next line is slightly wrong, as PL_op->op_next
454 * is actually being executed so we skip the first op.
455 * that doesn't matter, though, since it is only
456 * pp_nextstate and we never return...
457 */
458 PL_op = Perl_pp_entersub(aTHX);
459 SPAGAIN;
460
461 ENTER;
462 }
463 } 3037 }
3038}
3039
3040SV *
3041is_ready (Coro::State coro)
3042 PROTOTYPE: $
3043 ALIAS:
3044 is_ready = CF_READY
3045 is_running = CF_RUNNING
3046 is_new = CF_NEW
3047 is_destroyed = CF_DESTROYED
3048 CODE:
3049 RETVAL = boolSV (coro->flags & ix);
3050 OUTPUT:
3051 RETVAL
464 3052
465void 3053void
466DESTROY(coro) 3054throw (Coro::State self, SV *throw = &PL_sv_undef)
467 Coro::State coro 3055 PROTOTYPE: $;$
468 CODE: 3056 CODE:
3057{
3058 struct coro *current = SvSTATE_current;
3059 SV **throwp = self == current ? &CORO_THROW : &self->except;
3060 SvREFCNT_dec (*throwp);
3061 *throwp = SvOK (throw) ? newSVsv (throw) : 0;
3062}
469 3063
470 if (coro->mainstack) 3064void
3065api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3066 PROTOTYPE: $;$
3067 C_ARGS: aTHX_ coro, flags
3068
3069SV *
3070has_cctx (Coro::State coro)
3071 PROTOTYPE: $
3072 CODE:
3073 /* maybe manage the running flag differently */
3074 RETVAL = boolSV (!!coro->cctx || (coro->flags & CF_RUNNING));
3075 OUTPUT:
3076 RETVAL
3077
3078int
3079is_traced (Coro::State coro)
3080 PROTOTYPE: $
3081 CODE:
3082 RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL;
3083 OUTPUT:
3084 RETVAL
3085
3086UV
3087rss (Coro::State coro)
3088 PROTOTYPE: $
3089 ALIAS:
3090 usecount = 1
3091 CODE:
3092 switch (ix)
3093 {
3094 case 0: RETVAL = coro_rss (aTHX_ coro); break;
3095 case 1: RETVAL = coro->usecount; break;
3096 }
3097 OUTPUT:
3098 RETVAL
3099
3100void
3101force_cctx ()
3102 PROTOTYPE:
3103 CODE:
3104 cctx_current->idle_sp = 0;
3105
3106void
3107swap_defsv (Coro::State self)
3108 PROTOTYPE: $
3109 ALIAS:
3110 swap_defav = 1
3111 CODE:
3112 if (!self->slot)
3113 croak ("cannot swap state with coroutine that has no saved state,");
3114 else
471 { 3115 {
472 struct coro temp; 3116 SV **src = ix ? (SV **)&GvAV (PL_defgv) : &GvSV (PL_defgv);
3117 SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;
473 3118
3119 SV *tmp = *src; *src = *dst; *dst = tmp;
3120 }
3121
3122
3123MODULE = Coro::State PACKAGE = Coro
3124
3125BOOT:
3126{
3127 int i;
3128
3129 sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3130 sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3131 cv_coro_run = get_cv ( "Coro::_terminate", GV_ADD);
3132 cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3133 coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
3134 av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
3135 av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);
3136 sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);
3137 sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3138
3139 sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3140 sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3141 cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3142 cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);
3143
3144 coro_stash = gv_stashpv ("Coro", TRUE);
3145
3146 newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));
3147 newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
3148 newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
3149 newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));
3150 newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
3151 newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));
3152
3153 for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
3154 coro_ready[i] = newAV ();
3155
3156 {
3157 SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
3158
3159 coroapi.schedule = api_schedule;
3160 coroapi.schedule_to = api_schedule_to;
3161 coroapi.cede = api_cede;
3162 coroapi.cede_notself = api_cede_notself;
3163 coroapi.ready = api_ready;
3164 coroapi.is_ready = api_is_ready;
3165 coroapi.nready = coro_nready;
3166 coroapi.current = coro_current;
3167
3168 /*GCoroAPI = &coroapi;*/
3169 sv_setiv (sv, (IV)&coroapi);
3170 SvREADONLY_on (sv);
3171 }
3172}
3173
3174void
3175terminate (...)
3176 CODE:
3177 CORO_EXECUTE_SLF_XS (slf_init_terminate);
3178
3179void
3180schedule (...)
3181 CODE:
3182 CORO_EXECUTE_SLF_XS (slf_init_schedule);
3183
3184void
3185schedule_to (...)
3186 CODE:
3187 CORO_EXECUTE_SLF_XS (slf_init_schedule_to);
3188
3189void
3190cede_to (...)
3191 CODE:
3192 CORO_EXECUTE_SLF_XS (slf_init_cede_to);
3193
3194void
3195cede (...)
3196 CODE:
3197 CORO_EXECUTE_SLF_XS (slf_init_cede);
3198
3199void
3200cede_notself (...)
3201 CODE:
3202 CORO_EXECUTE_SLF_XS (slf_init_cede_notself);
3203
3204void
3205_cancel (Coro::State self)
3206 CODE:
3207 coro_state_destroy (aTHX_ self);
3208 coro_call_on_destroy (aTHX_ self);
3209
3210void
3211_set_current (SV *current)
3212 PROTOTYPE: $
3213 CODE:
3214 SvREFCNT_dec (SvRV (coro_current));
3215 SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
3216
3217void
3218_set_readyhook (SV *hook)
3219 PROTOTYPE: $
3220 CODE:
3221 SvREFCNT_dec (coro_readyhook);
3222 coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;
3223
3224int
3225prio (Coro::State coro, int newprio = 0)
3226 PROTOTYPE: $;$
3227 ALIAS:
3228 nice = 1
3229 CODE:
3230{
3231 RETVAL = coro->prio;
3232
3233 if (items > 1)
3234 {
3235 if (ix)
3236 newprio = coro->prio - newprio;
3237
3238 if (newprio < PRIO_MIN) newprio = PRIO_MIN;
3239 if (newprio > PRIO_MAX) newprio = PRIO_MAX;
3240
3241 coro->prio = newprio;
3242 }
3243}
3244 OUTPUT:
3245 RETVAL
3246
3247SV *
3248ready (SV *self)
3249 PROTOTYPE: $
3250 CODE:
3251 RETVAL = boolSV (api_ready (aTHX_ self));
3252 OUTPUT:
3253 RETVAL
3254
3255int
3256nready (...)
3257 PROTOTYPE:
3258 CODE:
3259 RETVAL = coro_nready;
3260 OUTPUT:
3261 RETVAL
3262
3263void
3264_pool_handler (...)
3265 CODE:
3266 CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
3267
3268void
3269async_pool (SV *cv, ...)
3270 PROTOTYPE: &@
3271 PPCODE:
3272{
3273 HV *hv = (HV *)av_pop (av_async_pool);
3274 AV *av = newAV ();
3275 SV *cb = ST (0);
3276 int i;
3277
3278 av_extend (av, items - 2);
3279 for (i = 1; i < items; ++i)
3280 av_push (av, SvREFCNT_inc_NN (ST (i)));
3281
3282 if ((SV *)hv == &PL_sv_undef)
3283 {
3284 PUSHMARK (SP);
3285 EXTEND (SP, 2);
3286 PUSHs (sv_Coro);
3287 PUSHs ((SV *)cv_pool_handler);
474 PUTBACK; 3288 PUTBACK;
475 SAVE(aTHX_ (&temp)); 3289 call_sv ((SV *)cv_coro_state_new, G_SCALAR);
476 LOAD(aTHX_ coro);
477
478 destroy_stacks ();
479 SvREFCNT_dec ((SV *)GvAV (PL_defgv));
480
481 LOAD((&temp));
482 SPAGAIN; 3290 SPAGAIN;
3291
3292 hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));
483 } 3293 }
484 3294
3295 {
3296 struct coro *coro = SvSTATE_hv (hv);
3297
3298 assert (!coro->invoke_cb);
3299 assert (!coro->invoke_av);
3300 coro->invoke_cb = SvREFCNT_inc (cb);
3301 coro->invoke_av = av;
3302 }
3303
3304 api_ready (aTHX_ (SV *)hv);
3305
3306 if (GIMME_V != G_VOID)
3307 XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
3308 else
485 SvREFCNT_dec (coro->args); 3309 SvREFCNT_dec (hv);
486 Safefree (coro); 3310}
487 3311
3312SV *
3313rouse_cb ()
3314 PROTOTYPE:
3315 CODE:
3316 RETVAL = coro_new_rouse_cb (aTHX);
3317 OUTPUT:
3318 RETVAL
488 3319
3320void
3321rouse_wait (...)
3322 PROTOTYPE: ;$
3323 PPCODE:
3324 CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);
3325
3326
3327MODULE = Coro::State PACKAGE = PerlIO::cede
3328
3329BOOT:
3330 PerlIO_define_layer (aTHX_ &PerlIO_cede);
3331
3332
3333MODULE = Coro::State PACKAGE = Coro::Semaphore
3334
3335SV *
3336new (SV *klass, SV *count = 0)
3337 CODE:
3338 RETVAL = sv_bless (
3339 coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),
3340 GvSTASH (CvGV (cv))
3341 );
3342 OUTPUT:
3343 RETVAL
3344
3345# helper for Coro::Channel
3346SV *
3347_alloc (int count)
3348 CODE:
3349 RETVAL = coro_waitarray_new (aTHX_ count);
3350 OUTPUT:
3351 RETVAL
3352
3353SV *
3354count (SV *self)
3355 CODE:
3356 RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);
3357 OUTPUT:
3358 RETVAL
3359
3360void
3361up (SV *self, int adjust = 1)
3362 ALIAS:
3363 adjust = 1
3364 CODE:
3365 coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);
3366
3367void
3368down (...)
3369 CODE:
3370 CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
3371
3372void
3373wait (...)
3374 CODE:
3375 CORO_EXECUTE_SLF_XS (slf_init_semaphore_wait);
3376
3377void
3378try (SV *self)
3379 PPCODE:
3380{
3381 AV *av = (AV *)SvRV (self);
3382 SV *count_sv = AvARRAY (av)[0];
3383 IV count = SvIVX (count_sv);
3384
3385 if (count > 0)
3386 {
3387 --count;
3388 SvIVX (count_sv) = count;
3389 XSRETURN_YES;
3390 }
3391 else
3392 XSRETURN_NO;
3393}
3394
3395void
3396waiters (SV *self)
3397 PPCODE:
3398{
3399 AV *av = (AV *)SvRV (self);
3400 int wcount = AvFILLp (av) + 1 - 1;
3401
3402 if (GIMME_V == G_SCALAR)
3403 XPUSHs (sv_2mortal (newSViv (wcount)));
3404 else
3405 {
3406 int i;
3407 EXTEND (SP, wcount);
3408 for (i = 1; i <= wcount; ++i)
3409 PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));
3410 }
3411}
3412
3413MODULE = Coro::State PACKAGE = Coro::Signal
3414
3415SV *
3416new (SV *klass)
3417 CODE:
3418 RETVAL = sv_bless (
3419 coro_waitarray_new (aTHX_ 0),
3420 GvSTASH (CvGV (cv))
3421 );
3422 OUTPUT:
3423 RETVAL
3424
3425void
3426wait (...)
3427 CODE:
3428 CORO_EXECUTE_SLF_XS (slf_init_signal_wait);
3429
3430void
3431broadcast (SV *self)
3432 CODE:
3433{
3434 AV *av = (AV *)SvRV (self);
3435 coro_signal_wake (aTHX_ av, AvFILLp (av));
3436}
3437
3438void
3439send (SV *self)
3440 CODE:
3441{
3442 AV *av = (AV *)SvRV (self);
3443
3444 if (AvFILLp (av))
3445 coro_signal_wake (aTHX_ av, 1);
3446 else
3447 SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */
3448}
3449
3450IV
3451awaited (SV *self)
3452 CODE:
3453 RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;
3454 OUTPUT:
3455 RETVAL
3456
3457
3458MODULE = Coro::State PACKAGE = Coro::AnyEvent
3459
3460BOOT:
3461 sv_activity = coro_get_sv (aTHX_ "Coro::AnyEvent::ACTIVITY", TRUE);
3462
3463void
3464_schedule (...)
3465 CODE:
3466{
3467 static int incede;
3468
3469 api_cede_notself (aTHX);
3470
3471 ++incede;
3472 while (coro_nready >= incede && api_cede (aTHX))
3473 ;
3474
3475 sv_setsv (sv_activity, &PL_sv_undef);
3476 if (coro_nready >= incede)
3477 {
3478 PUSHMARK (SP);
3479 PUTBACK;
3480 call_pv ("Coro::AnyEvent::_activity", G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
3481 }
3482
3483 --incede;
3484}
3485
3486
3487MODULE = Coro::State PACKAGE = Coro::AIO
3488
3489void
3490_register (char *target, char *proto, SV *req)
3491 CODE:
3492{
3493 CV *req_cv = coro_sv_2cv (aTHX_ req);
3494 /* newXSproto doesn't return the CV on 5.8 */
3495 CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3496 sv_setpv ((SV *)slf_cv, proto);
3497 sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3498}
3499

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines