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.6 by root, Tue Jul 17 15:42:28 2001 UTC vs.
Revision 1.259 by root, Mon Nov 10 00:02:29 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, don't ask
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# define REGISTER_STACK(cctx,start,end) (cctx)->valgrind_id = VALGRIND_STACK_REGISTER ((start), (end))
52#else
53# define REGISTER_STACK(cctx,start,end)
54#endif
55
56/* the maximum number of idle cctx that will be pooled */
57static int cctx_max_idle = 4;
58
59#define PERL_VERSION_ATLEAST(a,b,c) \
60 (PERL_REVISION > (a) \
61 || (PERL_REVISION == (a) \
62 && (PERL_VERSION > (b) \
63 || (PERL_VERSION == (b) && PERLSUBVERSION >= (c)))))
64
65#if !PERL_VERSION_ATLEAST (5,6,0)
66# ifndef PL_ppaddr
67# define PL_ppaddr ppaddr
68# endif
69# ifndef call_sv
70# define call_sv perl_call_sv
71# endif
72# ifndef get_sv
73# define get_sv perl_get_sv
74# endif
75# ifndef get_cv
76# define get_cv perl_get_cv
77# endif
78# ifndef IS_PADGV
79# define IS_PADGV(v) 0
80# endif
81# ifndef IS_PADCONST
82# define IS_PADCONST(v) 0
83# endif
84#endif
85
86/* 5.11 */
87#ifndef CxHASARGS
88# define CxHASARGS(cx) (cx)->blk_sub.hasargs
89#endif
90
91/* 5.10.0 */
92#ifndef SvREFCNT_inc_NN
93# define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
94#endif
95
96/* 5.8.8 */
97#ifndef GV_NOTQUAL
98# define GV_NOTQUAL 0
99#endif
100#ifndef newSV
101# define newSV(l) NEWSV(0,l)
102#endif
103
104/* 5.8.7 */
105#ifndef SvRV_set
106# define SvRV_set(s,v) SvRV(s) = (v)
107#endif
108
109#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
110# undef CORO_STACKGUARD
111#endif
112
113#ifndef CORO_STACKGUARD
114# define CORO_STACKGUARD 0
115#endif
116
117/* prefer perl internal functions over our own? */
118#ifndef CORO_PREFER_PERL_FUNCTIONS
119# define CORO_PREFER_PERL_FUNCTIONS 0
120#endif
121
122/* The next macros try to return the current stack pointer, in an as
123 * portable way as possible. */
124#define dSTACKLEVEL volatile char stacklevel
125#define STACKLEVEL ((void *)&stacklevel)
126
127#define IN_DESTRUCT (PL_main_cv == Nullcv)
128
129#if __GNUC__ >= 3
130# define attribute(x) __attribute__(x)
131# define BARRIER __asm__ __volatile__ ("" : : : "memory")
132# define expect(expr,value) __builtin_expect ((expr),(value))
133#else
134# define attribute(x)
135# define BARRIER
136# define expect(expr,value) (expr)
137#endif
138
139#define expect_false(expr) expect ((expr) != 0, 0)
140#define expect_true(expr) expect ((expr) != 0, 1)
141
142#define NOINLINE attribute ((noinline))
143
144#include "CoroAPI.h"
145
146#ifdef USE_ITHREADS
147
148static perl_mutex coro_lock;
149# define LOCK do { MUTEX_LOCK (&coro_lock); } while (0)
150# define UNLOCK do { MUTEX_UNLOCK (&coro_lock); } while (0)
151# if CORO_PTHREAD
152static void *coro_thx;
153# endif
154
155#else
156
157# define LOCK (void)0
158# define UNLOCK (void)0
159
160#endif
161
162# undef LOCK
163# define LOCK (void)0
164# undef UNLOCK
165# define UNLOCK (void)0
166
167/* helper storage struct for Coro::AIO */
168struct io_state
169{
170 AV *res;
171 int errorno;
172 I32 laststype; /* U16 in 5.10.0 */
173 int laststatval;
174 Stat_t statcache;
175};
176
177static double (*nvtime)(); /* so why doesn't it take void? */
178
179static U32 cctx_gen;
180static size_t cctx_stacksize = CORO_STACKSIZE;
181static struct CoroAPI coroapi;
182static AV *main_mainstack; /* used to differentiate between $main and others */
183static JMPENV *main_top_env;
184static HV *coro_state_stash, *coro_stash;
185static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
186static volatile char next_has_throw; /* speedup flag for next->throw check */
187
188static GV *irsgv; /* $/ */
189static GV *stdoutgv; /* *STDOUT */
190static SV *rv_diehook;
191static SV *rv_warnhook;
192static HV *hv_sig; /* %SIG */
193
194/* async_pool helper stuff */
195static SV *sv_pool_rss;
196static SV *sv_pool_size;
197static AV *av_async_pool;
198
199/* Coro::AnyEvent */
200static SV *sv_activity;
201
202static struct coro_cctx *cctx_first;
203static int cctx_count, cctx_idle;
204
205enum {
206 CC_MAPPED = 0x01,
207 CC_NOREUSE = 0x02, /* throw this away after tracing */
208 CC_TRACE = 0x04,
209 CC_TRACE_SUB = 0x08, /* trace sub calls */
210 CC_TRACE_LINE = 0x10, /* trace each statement */
211 CC_TRACE_ALL = CC_TRACE_SUB | CC_TRACE_LINE,
212};
213
214/* this is a structure representing a c-level coroutine */
215typedef struct coro_cctx {
216 struct coro_cctx *next;
217
218 /* the stack */
219 void *sptr;
220 size_t ssize;
221
222 /* cpu state */
223 void *idle_sp; /* sp of top-level transfer/schedule/cede call */
224 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */
225 JMPENV *top_env;
226 coro_context cctx;
227
228 U32 gen;
229#if CORO_USE_VALGRIND
230 int valgrind_id;
231#endif
232 unsigned char flags;
233} coro_cctx;
234
235enum {
236 CF_RUNNING = 0x0001, /* coroutine is running */
237 CF_READY = 0x0002, /* coroutine is ready */
238 CF_NEW = 0x0004, /* has never been switched to */
239 CF_DESTROYED = 0x0008, /* coroutine data has been freed */
240};
241
242/* the structure where most of the perl state is stored, overlaid on the cxstack */
243typedef struct {
244 SV *defsv;
245 AV *defav;
246 SV *errsv;
247 SV *irsgv;
248#define VAR(name,type) type name;
249# include "state.h"
250#undef VAR
251} perl_slots;
252
253#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))
254
255/* this is a structure representing a perl-level coroutine */
11struct coro { 256struct coro {
12 U8 dowarn; 257 /* the c coroutine allocated to this perl coroutine, if any */
13 AV *defav; 258 coro_cctx *cctx;
14 259
15 PERL_SI *curstackinfo; 260 /* process data */
16 AV *curstack;
17 AV *mainstack; 261 AV *mainstack;
18 SV **stack_sp; 262 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 263
41 AV *args; 264 AV *args; /* data associated with this coroutine (initial args) */
265 int refcnt; /* coroutines are refcounted, yes */
266 int flags; /* CF_ flags */
267 HV *hv; /* the perl hash associated with this coro, if any */
268
269 /* statistics */
270 int usecount; /* number of transfers to this coro */
271
272 /* coro process data */
273 int prio;
274 SV *throw; /* exception to be thrown */
275
276 /* async_pool */
277 SV *saved_deffh;
278
279 /* linked list */
280 struct coro *next, *prev;
42}; 281};
43 282
44typedef struct coro *Coro__State; 283typedef struct coro *Coro__State;
45typedef struct coro *Coro__State_or_hashref; 284typedef struct coro *Coro__State_or_hashref;
46 285
47static HV *padlist_cache; 286/** Coro ********************************************************************/
48 287
49/* mostly copied from op.c:cv_clone2 */ 288#define PRIO_MAX 3
50STATIC AV * 289#define PRIO_HIGH 1
51clone_padlist (AV *protopadlist) 290#define PRIO_NORMAL 0
291#define PRIO_LOW -1
292#define PRIO_IDLE -3
293#define PRIO_MIN -4
294
295/* for Coro.pm */
296static SV *coro_current;
297static SV *coro_readyhook;
298static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];
299static int coro_nready;
300static struct coro *coro_first;
301
302/** lowlevel stuff **********************************************************/
303
304static SV *
305coro_get_sv (pTHX_ const char *name, int create)
52{ 306{
53 AV *av; 307#if PERL_VERSION_ATLEAST (5,10,0)
54 I32 ix; 308 /* silence stupid and wrong 5.10 warning that I am unable to switch off */
55 AV *protopad_name = (AV *) * av_fetch (protopadlist, 0, FALSE); 309 get_sv (name, create);
56 AV *protopad = (AV *) * av_fetch (protopadlist, 1, FALSE); 310#endif
57 SV **pname = AvARRAY (protopad_name); 311 return get_sv (name, create);
58 SV **ppad = AvARRAY (protopad); 312}
59 I32 fname = AvFILLp (protopad_name); 313
60 I32 fpad = AvFILLp (protopad); 314static AV *
315coro_get_av (pTHX_ const char *name, int create)
316{
317#if PERL_VERSION_ATLEAST (5,10,0)
318 /* silence stupid and wrong 5.10 warning that I am unable to switch off */
319 get_av (name, create);
320#endif
321 return get_av (name, create);
322}
323
324static HV *
325coro_get_hv (pTHX_ const char *name, int create)
326{
327#if PERL_VERSION_ATLEAST (5,10,0)
328 /* silence stupid and wrong 5.10 warning that I am unable to switch off */
329 get_hv (name, create);
330#endif
331 return get_hv (name, create);
332}
333
334static AV *
335coro_clone_padlist (pTHX_ CV *cv)
336{
337 AV *padlist = CvPADLIST (cv);
61 AV *newpadlist, *newpad_name, *newpad; 338 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 339
72 newpadlist = newAV (); 340 newpadlist = newAV ();
73 AvREAL_off (newpadlist); 341 AvREAL_off (newpadlist);
74 av_store (newpadlist, 0, (SV *) newpad_name); 342#if PERL_VERSION_ATLEAST (5,10,0)
343 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
344#else
345 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
346#endif
347 newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
348 --AvFILLp (padlist);
349
350 av_store (newpadlist, 0, SvREFCNT_inc_NN (*av_fetch (padlist, 0, FALSE)));
75 av_store (newpadlist, 1, (SV *) newpad); 351 av_store (newpadlist, 1, (SV *)newpad);
76 352
77 av = newAV (); /* will be @_ */ 353 return newpadlist;
78 av_extend (av, 0); 354}
79 av_store (newpad, 0, (SV *) av);
80 AvFLAGS (av) = AVf_REIFY;
81 355
82 for (ix = fpad; ix > 0; ix--) 356static void
357free_padlist (pTHX_ AV *padlist)
358{
359 /* may be during global destruction */
360 if (SvREFCNT (padlist))
83 { 361 {
84 SV *namesv = (ix <= fname) ? pname[ix] : Nullsv; 362 I32 i = AvFILLp (padlist);
85 if (namesv && namesv != &PL_sv_undef) 363 while (i >= 0)
86 { 364 {
87 char *name = SvPVX (namesv); /* XXX */ 365 SV **svp = av_fetch (padlist, i--, FALSE);
88 if (SvFLAGS (namesv) & SVf_FAKE || *name == '&') 366 if (svp)
89 { /* lexical from outside? */
90 npad[ix] = SvREFCNT_inc (ppad[ix]);
91 } 367 {
92 else
93 { /* our own lexical */
94 SV *sv; 368 SV *sv;
95 if (*name == '&') 369 while (&PL_sv_undef != (sv = av_pop ((AV *)*svp)))
96 sv = SvREFCNT_inc (ppad[ix]); 370 SvREFCNT_dec (sv);
97 else if (*name == '@') 371
98 sv = (SV *) newAV (); 372 SvREFCNT_dec (*svp);
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 } 373 }
107 } 374 }
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 375
120#if 0 /* NONOTUNDERSTOOD */
121 /* Now that vars are all in place, clone nested closures. */
122
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);
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); 376 SvREFCNT_dec ((SV*)padlist);
377 }
378}
379
380static int
381coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
382{
383 AV *padlist;
384 AV *av = (AV *)mg->mg_obj;
385
386 /* casting is fun. */
387 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
388 free_padlist (aTHX_ padlist);
389
390 SvREFCNT_dec (av); /* sv_magicext increased the refcount */
391
392 return 0;
393}
394
395#define CORO_MAGIC_type_cv PERL_MAGIC_ext
396#define CORO_MAGIC_type_state PERL_MAGIC_ext
397
398static MGVTBL coro_cv_vtbl = {
399 0, 0, 0, 0,
400 coro_cv_free
401};
402
403#define CORO_MAGIC(sv, type) \
404 SvMAGIC (sv) \
405 ? SvMAGIC (sv)->mg_type == type \
406 ? SvMAGIC (sv) \
407 : mg_find (sv, type) \
408 : 0
409
410#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
411#define CORO_MAGIC_state(sv) CORO_MAGIC (((SV *)(sv)), CORO_MAGIC_type_state)
412
413static struct coro *
414SvSTATE_ (pTHX_ SV *coro)
415{
416 HV *stash;
417 MAGIC *mg;
418
419 if (SvROK (coro))
420 coro = SvRV (coro);
421
422 if (expect_false (SvTYPE (coro) != SVt_PVHV))
423 croak ("Coro::State object required");
424
425 stash = SvSTASH (coro);
426 if (expect_false (stash != coro_stash && stash != coro_state_stash))
427 {
428 /* very slow, but rare, check */
429 if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
430 croak ("Coro::State object required");
431 }
432
433 mg = CORO_MAGIC_state (coro);
434 return (struct coro *)mg->mg_ptr;
435}
436
437#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
438
439/* the next two functions merely cache the padlists */
440static void
441get_padlist (pTHX_ CV *cv)
442{
443 MAGIC *mg = CORO_MAGIC_cv (cv);
444 AV *av;
445
446 if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))
447 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];
448 else
449 {
450#if CORO_PREFER_PERL_FUNCTIONS
451 /* this is probably cleaner? but also slower! */
452 /* in practise, it seems to be less stable */
453 CV *cp = Perl_cv_clone (cv);
454 CvPADLIST (cv) = CvPADLIST (cp);
455 CvPADLIST (cp) = 0;
456 SvREFCNT_dec (cp);
457#else
458 CvPADLIST (cv) = coro_clone_padlist (aTHX_ cv);
459#endif
460 }
461}
462
463static void
464put_padlist (pTHX_ CV *cv)
465{
466 MAGIC *mg = CORO_MAGIC_cv (cv);
467 AV *av;
468
469 if (expect_false (!mg))
470 mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
471
472 av = (AV *)mg->mg_obj;
473
474 if (expect_false (AvFILLp (av) >= AvMAX (av)))
475 av_extend (av, AvMAX (av) + 1);
476
477 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
478}
479
480/** load & save, init *******************************************************/
481
482static void
483load_perl (pTHX_ Coro__State c)
484{
485 perl_slots *slot = c->slot;
486 c->slot = 0;
487
488 PL_mainstack = c->mainstack;
489
490 GvSV (PL_defgv) = slot->defsv;
491 GvAV (PL_defgv) = slot->defav;
492 GvSV (PL_errgv) = slot->errsv;
493 GvSV (irsgv) = slot->irsgv;
494
495 #define VAR(name,type) PL_ ## name = slot->name;
496 # include "state.h"
497 #undef VAR
498
499 {
500 dSP;
501
502 CV *cv;
503
504 /* now do the ugly restore mess */
505 while (expect_true (cv = (CV *)POPs))
506 {
507 put_padlist (aTHX_ cv); /* mark this padlist as available */
508 CvDEPTH (cv) = PTR2IV (POPs);
509 CvPADLIST (cv) = (AV *)POPs;
510 }
511
512 PUTBACK;
159 } 513 }
160} 514}
161 515
162/* the next tow functions merely cache the padlists */
163STATIC void
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}
173
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 516static void
189save_state(pTHX_ Coro__State c) 517save_perl (pTHX_ Coro__State c)
190{ 518{
191 { 519 {
192 dSP; 520 dSP;
193 I32 cxix = cxstack_ix; 521 I32 cxix = cxstack_ix;
522 PERL_CONTEXT *ccstk = cxstack;
194 PERL_SI *top_si = PL_curstackinfo; 523 PERL_SI *top_si = PL_curstackinfo;
195 PERL_CONTEXT *ccstk = cxstack;
196 524
197 /* 525 /*
198 * the worst thing you can imagine happens first - we have to save 526 * the worst thing you can imagine happens first - we have to save
199 * (and reinitialize) all cv's in the whole callchain :( 527 * (and reinitialize) all cv's in the whole callchain :(
200 */ 528 */
201 529
202 PUSHs (Nullsv); 530 XPUSHs (Nullsv);
203 /* this loop was inspired by pp_caller */ 531 /* this loop was inspired by pp_caller */
204 for (;;) 532 for (;;)
205 { 533 {
206 while (cxix >= 0) 534 while (expect_true (cxix >= 0))
207 { 535 {
208 PERL_CONTEXT *cx = &ccstk[cxix--]; 536 PERL_CONTEXT *cx = &ccstk[cxix--];
209 537
210 if (CxTYPE(cx) == CXt_SUB) 538 if (expect_true (CxTYPE (cx) == CXt_SUB || CxTYPE (cx) == CXt_FORMAT))
211 { 539 {
212 CV *cv = cx->blk_sub.cv; 540 CV *cv = cx->blk_sub.cv;
541
213 if (CvDEPTH(cv)) 542 if (expect_true (CvDEPTH (cv)))
214 { 543 {
215#ifdef USE_THREADS
216 XPUSHs ((SV *)CvOWNER(cv));
217#endif
218 EXTEND (SP, 3); 544 EXTEND (SP, 3);
219 PUSHs ((SV *)CvDEPTH(cv));
220 PUSHs ((SV *)CvPADLIST(cv)); 545 PUSHs ((SV *)CvPADLIST (cv));
546 PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));
221 PUSHs ((SV *)cv); 547 PUSHs ((SV *)cv);
222 548
223 get_padlist (cv);
224
225 CvDEPTH(cv) = 0; 549 CvDEPTH (cv) = 0;
226#ifdef USE_THREADS 550 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 } 551 }
233 } 552 }
234 else if (CxTYPE(cx) == CXt_FORMAT) 553 }
554
555 if (expect_true (top_si->si_type == PERLSI_MAIN))
556 break;
557
558 top_si = top_si->si_prev;
559 ccstk = top_si->si_cxstack;
560 cxix = top_si->si_cxix;
561 }
562
563 PUTBACK;
564 }
565
566 /* allocate some space on the context stack for our purposes */
567 /* we manually unroll here, as usually 2 slots is enough */
568 if (SLOT_COUNT >= 1) CXINC;
569 if (SLOT_COUNT >= 2) CXINC;
570 if (SLOT_COUNT >= 3) CXINC;
571 {
572 int i;
573 for (i = 3; i < SLOT_COUNT; ++i)
574 CXINC;
575 }
576 cxstack_ix -= SLOT_COUNT; /* undo allocation */
577
578 c->mainstack = PL_mainstack;
579
580 {
581 perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
582
583 slot->defav = GvAV (PL_defgv);
584 slot->defsv = DEFSV;
585 slot->errsv = ERRSV;
586 slot->irsgv = GvSV (irsgv);
587
588 #define VAR(name,type) slot->name = PL_ ## name;
589 # include "state.h"
590 #undef VAR
591 }
592}
593
594/*
595 * allocate various perl stacks. This is an exact copy
596 * of perl.c:init_stacks, except that it uses less memory
597 * on the (sometimes correct) assumption that coroutines do
598 * not usually need a lot of stackspace.
599 */
600#if CORO_PREFER_PERL_FUNCTIONS
601# define coro_init_stacks init_stacks
602#else
603static void
604coro_init_stacks (pTHX)
605{
606 PL_curstackinfo = new_stackinfo(32, 8);
607 PL_curstackinfo->si_type = PERLSI_MAIN;
608 PL_curstack = PL_curstackinfo->si_stack;
609 PL_mainstack = PL_curstack; /* remember in case we switch stacks */
610
611 PL_stack_base = AvARRAY(PL_curstack);
612 PL_stack_sp = PL_stack_base;
613 PL_stack_max = PL_stack_base + AvMAX(PL_curstack);
614
615 New(50,PL_tmps_stack,32,SV*);
616 PL_tmps_floor = -1;
617 PL_tmps_ix = -1;
618 PL_tmps_max = 32;
619
620 New(54,PL_markstack,16,I32);
621 PL_markstack_ptr = PL_markstack;
622 PL_markstack_max = PL_markstack + 16;
623
624#ifdef SET_MARK_OFFSET
625 SET_MARK_OFFSET;
626#endif
627
628 New(54,PL_scopestack,8,I32);
629 PL_scopestack_ix = 0;
630 PL_scopestack_max = 8;
631
632 New(54,PL_savestack,24,ANY);
633 PL_savestack_ix = 0;
634 PL_savestack_max = 24;
635
636#if !PERL_VERSION_ATLEAST (5,10,0)
637 New(54,PL_retstack,4,OP*);
638 PL_retstack_ix = 0;
639 PL_retstack_max = 4;
640#endif
641}
642#endif
643
644/*
645 * destroy the stacks, the callchain etc...
646 */
647static void
648coro_destruct_stacks (pTHX)
649{
650 while (PL_curstackinfo->si_next)
651 PL_curstackinfo = PL_curstackinfo->si_next;
652
653 while (PL_curstackinfo)
654 {
655 PERL_SI *p = PL_curstackinfo->si_prev;
656
657 if (!IN_DESTRUCT)
658 SvREFCNT_dec (PL_curstackinfo->si_stack);
659
660 Safefree (PL_curstackinfo->si_cxstack);
661 Safefree (PL_curstackinfo);
662 PL_curstackinfo = p;
663 }
664
665 Safefree (PL_tmps_stack);
666 Safefree (PL_markstack);
667 Safefree (PL_scopestack);
668 Safefree (PL_savestack);
669#if !PERL_VERSION_ATLEAST (5,10,0)
670 Safefree (PL_retstack);
671#endif
672}
673
674static size_t
675coro_rss (pTHX_ struct coro *coro)
676{
677 size_t rss = sizeof (*coro);
678
679 if (coro->mainstack)
680 {
681 perl_slots tmp_slot;
682 perl_slots *slot;
683
684 if (coro->flags & CF_RUNNING)
685 {
686 slot = &tmp_slot;
687
688 #define VAR(name,type) slot->name = PL_ ## name;
689 # include "state.h"
690 #undef VAR
691 }
692 else
693 slot = coro->slot;
694
695 if (slot)
696 {
697 rss += sizeof (slot->curstackinfo);
698 rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT);
699 rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *);
700 rss += slot->tmps_max * sizeof (SV *);
701 rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32);
702 rss += slot->scopestack_max * sizeof (I32);
703 rss += slot->savestack_max * sizeof (ANY);
704
705#if !PERL_VERSION_ATLEAST (5,10,0)
706 rss += slot->retstack_max * sizeof (OP *);
707#endif
708 }
709 }
710
711 return rss;
712}
713
714/** coroutine stack handling ************************************************/
715
716static int (*orig_sigelem_get) (pTHX_ SV *sv, MAGIC *mg);
717static int (*orig_sigelem_set) (pTHX_ SV *sv, MAGIC *mg);
718static int (*orig_sigelem_clr) (pTHX_ SV *sv, MAGIC *mg);
719
720/* apparently < 5.8.8 */
721#ifndef MgPV_nolen_const
722#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \
723 SvPV_nolen((SV*)((mg)->mg_ptr)) : \
724 (const char*)(mg)->mg_ptr)
725#endif
726
727/*
728 * This overrides the default magic get method of %SIG elements.
729 * The original one doesn't provide for reading back of PL_diehook/PL_warnhook
730 * and instead of tryign to save and restore the hash elements, we just provide
731 * readback here.
732 * We only do this when the hook is != 0, as they are often set to 0 temporarily,
733 * not expecting this to actually change the hook. This is a potential problem
734 * when a schedule happens then, but we ignore this.
735 */
736static int
737coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
738{
739 const char *s = MgPV_nolen_const (mg);
740
741 if (*s == '_')
742 {
743 SV **svp = 0;
744
745 if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
746 if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
747
748 if (svp)
749 {
750 sv_setsv (sv, *svp ? *svp : &PL_sv_undef);
751 return 0;
752 }
753 }
754
755 return orig_sigelem_get ? orig_sigelem_get (aTHX_ sv, mg) : 0;
756}
757
758static int
759coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)
760{
761 const char *s = MgPV_nolen_const (mg);
762
763 if (*s == '_')
764 {
765 SV **svp = 0;
766
767 if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
768 if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
769
770 if (svp)
771 {
772 SV *old = *svp;
773 *svp = 0;
774 SvREFCNT_dec (old);
775 return 0;
776 }
777 }
778
779 return orig_sigelem_clr ? orig_sigelem_clr (aTHX_ sv, mg) : 0;
780}
781
782static int
783coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)
784{
785 const char *s = MgPV_nolen_const (mg);
786
787 if (*s == '_')
788 {
789 SV **svp = 0;
790
791 if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
792 if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
793
794 if (svp)
795 {
796 SV *old = *svp;
797 *svp = newSVsv (sv);
798 SvREFCNT_dec (old);
799 return 0;
800 }
801 }
802
803 return orig_sigelem_set ? orig_sigelem_set (aTHX_ sv, mg) : 0;
804}
805
806static void
807coro_setup (pTHX_ struct coro *coro)
808{
809 /*
810 * emulate part of the perl startup here.
811 */
812 coro_init_stacks (aTHX);
813
814 PL_runops = RUNOPS_DEFAULT;
815 PL_curcop = &PL_compiling;
816 PL_in_eval = EVAL_NULL;
817 PL_comppad = 0;
818 PL_curpm = 0;
819 PL_curpad = 0;
820 PL_localizing = 0;
821 PL_dirty = 0;
822 PL_restartop = 0;
823#if PERL_VERSION_ATLEAST (5,10,0)
824 PL_parser = 0;
825#endif
826
827 /* recreate the die/warn hooks */
828 PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );
829 PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);
830
831 GvSV (PL_defgv) = newSV (0);
832 GvAV (PL_defgv) = coro->args; coro->args = 0;
833 GvSV (PL_errgv) = newSV (0);
834 GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
835 PL_rs = newSVsv (GvSV (irsgv));
836 PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
837
838 {
839 dSP;
840 LOGOP myop;
841
842 Zero (&myop, 1, LOGOP);
843 myop.op_next = Nullop;
844 myop.op_flags = OPf_WANT_VOID;
845
846 PUSHMARK (SP);
847 XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv))));
848 PUTBACK;
849 PL_op = (OP *)&myop;
850 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
851 SPAGAIN;
852 }
853
854 /* this newly created coroutine might be run on an existing cctx which most
855 * likely was suspended in set_stacklevel, called from entersub.
856 * set_stacklevl doesn't do anything on return, but entersub does LEAVE,
857 * so we ENTER here for symmetry
858 */
859 ENTER;
860}
861
862static void
863coro_destruct (pTHX_ struct coro *coro)
864{
865 if (!IN_DESTRUCT)
866 {
867 /* restore all saved variables and stuff */
868 LEAVE_SCOPE (0);
869 assert (PL_tmps_floor == -1);
870
871 /* free all temporaries */
872 FREETMPS;
873 assert (PL_tmps_ix == -1);
874
875 /* unwind all extra stacks */
876 POPSTACK_TO (PL_mainstack);
877
878 /* unwind main stack */
879 dounwind (-1);
880 }
881
882 SvREFCNT_dec (GvSV (PL_defgv));
883 SvREFCNT_dec (GvAV (PL_defgv));
884 SvREFCNT_dec (GvSV (PL_errgv));
885 SvREFCNT_dec (PL_defoutgv);
886 SvREFCNT_dec (PL_rs);
887 SvREFCNT_dec (GvSV (irsgv));
888
889 SvREFCNT_dec (PL_diehook);
890 SvREFCNT_dec (PL_warnhook);
891
892 SvREFCNT_dec (coro->saved_deffh);
893 SvREFCNT_dec (coro->throw);
894
895 coro_destruct_stacks (aTHX);
896}
897
898static void
899free_coro_mortal (pTHX)
900{
901 if (expect_true (coro_mortal))
902 {
903 SvREFCNT_dec (coro_mortal);
904 coro_mortal = 0;
905 }
906}
907
908static int
909runops_trace (pTHX)
910{
911 COP *oldcop = 0;
912 int oldcxix = -2;
913 struct coro *coro = SvSTATE (coro_current); /* trace cctx is tied to specific coro */
914 coro_cctx *cctx = coro->cctx;
915
916 while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))
917 {
918 PERL_ASYNC_CHECK ();
919
920 if (cctx->flags & CC_TRACE_ALL)
921 {
922 if (PL_op->op_type == OP_LEAVESUB && cctx->flags & CC_TRACE_SUB)
923 {
924 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
925 SV **bot, **top;
926 AV *av = newAV (); /* return values */
927 SV **cb;
928 dSP;
929
930 GV *gv = CvGV (cx->blk_sub.cv);
931 SV *fullname = sv_2mortal (newSV (0));
932 if (isGV (gv))
933 gv_efullname3 (fullname, gv, 0);
934
935 bot = PL_stack_base + cx->blk_oldsp + 1;
936 top = cx->blk_gimme == G_ARRAY ? SP + 1
937 : cx->blk_gimme == G_SCALAR ? bot + 1
938 : bot;
939
940 av_extend (av, top - bot);
941 while (bot < top)
942 av_push (av, SvREFCNT_inc_NN (*bot++));
943
944 PL_runops = RUNOPS_DEFAULT;
945 ENTER;
946 SAVETMPS;
947 EXTEND (SP, 3);
948 PUSHMARK (SP);
949 PUSHs (&PL_sv_no);
950 PUSHs (fullname);
951 PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
952 PUTBACK;
953 cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
954 if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
955 SPAGAIN;
956 FREETMPS;
957 LEAVE;
958 PL_runops = runops_trace;
959 }
960
961 if (oldcop != PL_curcop)
962 {
963 oldcop = PL_curcop;
964
965 if (PL_curcop != &PL_compiling)
966 {
967 SV **cb;
968
969 if (oldcxix != cxstack_ix && cctx->flags & CC_TRACE_SUB)
970 {
971 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
972
973 if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
974 {
975 runops_proc_t old_runops = PL_runops;
976 dSP;
977 GV *gv = CvGV (cx->blk_sub.cv);
978 SV *fullname = sv_2mortal (newSV (0));
979
980 if (isGV (gv))
981 gv_efullname3 (fullname, gv, 0);
982
983 PL_runops = RUNOPS_DEFAULT;
984 ENTER;
985 SAVETMPS;
986 EXTEND (SP, 3);
987 PUSHMARK (SP);
988 PUSHs (&PL_sv_yes);
989 PUSHs (fullname);
990 PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);
991 PUTBACK;
992 cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
993 if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
994 SPAGAIN;
995 FREETMPS;
996 LEAVE;
997 PL_runops = runops_trace;
998 }
999
1000 oldcxix = cxstack_ix;
1001 }
1002
1003 if (cctx->flags & CC_TRACE_LINE)
1004 {
1005 dSP;
1006
1007 PL_runops = RUNOPS_DEFAULT;
1008 ENTER;
1009 SAVETMPS;
1010 EXTEND (SP, 3);
1011 PL_runops = RUNOPS_DEFAULT;
1012 PUSHMARK (SP);
1013 PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));
1014 PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));
1015 PUTBACK;
1016 cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_line_cb", sizeof ("_trace_line_cb") - 1, 0);
1017 if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1018 SPAGAIN;
1019 FREETMPS;
1020 LEAVE;
1021 PL_runops = runops_trace;
1022 }
1023 }
1024 }
1025 }
1026 }
1027
1028 TAINT_NOT;
1029 return 0;
1030}
1031
1032/* inject a fake call to Coro::State::_cctx_init into the execution */
1033/* _cctx_init should be careful, as it could be called at almost any time */
1034/* during execution of a perl program */
1035/* also initialises PL_top_env */
1036static void NOINLINE
1037cctx_prepare (pTHX_ coro_cctx *cctx)
1038{
1039 dSP;
1040 LOGOP myop;
1041
1042 PL_top_env = &PL_start_env;
1043
1044 if (cctx->flags & CC_TRACE)
1045 PL_runops = runops_trace;
1046
1047 Zero (&myop, 1, LOGOP);
1048 myop.op_next = PL_op;
1049 myop.op_flags = OPf_WANT_VOID | OPf_STACKED;
1050
1051 PUSHMARK (SP);
1052 EXTEND (SP, 2);
1053 PUSHs (sv_2mortal (newSViv (PTR2IV (cctx))));
1054 PUSHs ((SV *)get_cv ("Coro::State::_cctx_init", FALSE));
1055 PUTBACK;
1056 PL_op = (OP *)&myop;
1057 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
1058 SPAGAIN;
1059}
1060
1061/* the tail of transfer: execute stuff we can onyl do afetr a transfer */
1062static void
1063transfer_tail (void)
1064{
1065 UNLOCK;
1066
1067 if (expect_false (next_has_throw))
1068 {
1069 struct coro *coro = SvSTATE (coro_current);
1070
1071 if (coro->throw)
1072 {
1073 SV *exception = coro->throw;
1074 coro->throw = 0;
1075 sv_setsv (ERRSV, exception);
1076 croak (0);
1077 }
1078 }
1079}
1080
1081/*
1082 * this is a _very_ stripped down perl interpreter ;)
1083 */
1084static void
1085cctx_run (void *arg)
1086{
1087#ifdef USE_ITHREADS
1088# if CORO_PTHREAD
1089 PERL_SET_CONTEXT (coro_thx);
1090# endif
1091#endif
1092 {
1093 dTHX;
1094
1095 /* we now skip the entersub that lead to transfer () */
1096 PL_op = PL_op->op_next;
1097
1098 /* inject a fake subroutine call to cctx_init */
1099 cctx_prepare (aTHX_ (coro_cctx *)arg);
1100
1101 /* cctx_run is the alternative tail of transfer () */
1102 transfer_tail ();
1103
1104 /* somebody or something will hit me for both perl_run and PL_restartop */
1105 PL_restartop = PL_op;
1106 perl_run (PL_curinterp);
1107
1108 /*
1109 * If perl-run returns we assume exit() was being called or the coro
1110 * fell off the end, which seems to be the only valid (non-bug)
1111 * reason for perl_run to return. We try to exit by jumping to the
1112 * bootstrap-time "top" top_env, as we cannot restore the "main"
1113 * coroutine as Coro has no such concept
1114 */
1115 PL_top_env = main_top_env;
1116 JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1117 }
1118}
1119
1120static coro_cctx *
1121cctx_new ()
1122{
1123 coro_cctx *cctx;
1124
1125 ++cctx_count;
1126 New (0, cctx, 1, coro_cctx);
1127
1128 cctx->gen = cctx_gen;
1129 cctx->flags = 0;
1130 cctx->idle_sp = 0; /* can be accessed by transfer between cctx_run and set_stacklevel */
1131
1132 return cctx;
1133}
1134
1135/* create a new cctx only suitable as source */
1136static coro_cctx *
1137cctx_new_empty ()
1138{
1139 coro_cctx *cctx = cctx_new ();
1140
1141 cctx->sptr = 0;
1142 coro_create (&cctx->cctx, 0, 0, 0, 0);
1143
1144 return cctx;
1145}
1146
1147/* create a new cctx suitable as destination/running a perl interpreter */
1148static coro_cctx *
1149cctx_new_run ()
1150{
1151 coro_cctx *cctx = cctx_new ();
1152 void *stack_start;
1153 size_t stack_size;
1154
1155#if HAVE_MMAP
1156 cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1157 /* mmap supposedly does allocate-on-write for us */
1158 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
1159
1160 if (cctx->sptr != (void *)-1)
1161 {
1162# if CORO_STACKGUARD
1163 mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1164# endif
1165 stack_start = CORO_STACKGUARD * PAGESIZE + (char *)cctx->sptr;
1166 stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1167 cctx->flags |= CC_MAPPED;
1168 }
1169 else
1170#endif
1171 {
1172 cctx->ssize = cctx_stacksize * (long)sizeof (long);
1173 New (0, cctx->sptr, cctx_stacksize, long);
1174
1175 if (!cctx->sptr)
1176 {
1177 perror ("FATAL: unable to allocate stack for coroutine");
1178 _exit (EXIT_FAILURE);
1179 }
1180
1181 stack_start = cctx->sptr;
1182 stack_size = cctx->ssize;
1183 }
1184
1185 REGISTER_STACK (cctx, (char *)stack_start, (char *)stack_start + stack_size);
1186 coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);
1187
1188 return cctx;
1189}
1190
1191static void
1192cctx_destroy (coro_cctx *cctx)
1193{
1194 if (!cctx)
1195 return;
1196
1197 --cctx_count;
1198 coro_destroy (&cctx->cctx);
1199
1200 /* coro_transfer creates new, empty cctx's */
1201 if (cctx->sptr)
1202 {
1203#if CORO_USE_VALGRIND
1204 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1205#endif
1206
1207#if HAVE_MMAP
1208 if (cctx->flags & CC_MAPPED)
1209 munmap (cctx->sptr, cctx->ssize);
1210 else
1211#endif
1212 Safefree (cctx->sptr);
1213 }
1214
1215 Safefree (cctx);
1216}
1217
1218/* wether this cctx should be destructed */
1219#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))
1220
1221static coro_cctx *
1222cctx_get (pTHX)
1223{
1224 while (expect_true (cctx_first))
1225 {
1226 coro_cctx *cctx = cctx_first;
1227 cctx_first = cctx->next;
1228 --cctx_idle;
1229
1230 if (expect_true (!CCTX_EXPIRED (cctx)))
1231 return cctx;
1232
1233 cctx_destroy (cctx);
1234 }
1235
1236 return cctx_new_run ();
1237}
1238
1239static void
1240cctx_put (coro_cctx *cctx)
1241{
1242 assert (("cctx_put called on non-initialised cctx", cctx->sptr));
1243
1244 /* free another cctx if overlimit */
1245 if (expect_false (cctx_idle >= cctx_max_idle))
1246 {
1247 coro_cctx *first = cctx_first;
1248 cctx_first = first->next;
1249 --cctx_idle;
1250
1251 cctx_destroy (first);
1252 }
1253
1254 ++cctx_idle;
1255 cctx->next = cctx_first;
1256 cctx_first = cctx;
1257}
1258
1259/** coroutine switching *****************************************************/
1260
1261static void
1262transfer_check (pTHX_ struct coro *prev, struct coro *next)
1263{
1264 if (expect_true (prev != next))
1265 {
1266 if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1267 croak ("Coro::State::transfer called with non-running/new prev Coro::State, but can only transfer from running or new states");
1268
1269 if (expect_false (next->flags & CF_RUNNING))
1270 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states");
1271
1272 if (expect_false (next->flags & CF_DESTROYED))
1273 croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states");
1274
1275#if !PERL_VERSION_ATLEAST (5,10,0)
1276 if (expect_false (PL_lex_state != LEX_NOTPARSING))
1277 croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version");
1278#endif
1279 }
1280}
1281
1282/* always use the TRANSFER macro */
1283static void NOINLINE
1284transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1285{
1286 dSTACKLEVEL;
1287
1288 /* sometimes transfer is only called to set idle_sp */
1289 if (expect_false (!next))
1290 {
1291 ((coro_cctx *)prev)->idle_sp = STACKLEVEL;
1292 assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1293 }
1294 else if (expect_true (prev != next))
1295 {
1296 coro_cctx *prev__cctx;
1297
1298 if (expect_false (prev->flags & CF_NEW))
1299 {
1300 /* create a new empty/source context */
1301 prev->cctx = cctx_new_empty ();
1302 prev->flags &= ~CF_NEW;
1303 prev->flags |= CF_RUNNING;
1304 }
1305
1306 prev->flags &= ~CF_RUNNING;
1307 next->flags |= CF_RUNNING;
1308
1309 LOCK;
1310
1311 /* first get rid of the old state */
1312 save_perl (aTHX_ prev);
1313
1314 if (expect_false (next->flags & CF_NEW))
1315 {
1316 /* need to start coroutine */
1317 next->flags &= ~CF_NEW;
1318 /* setup coroutine call */
1319 coro_setup (aTHX_ next);
1320 }
1321 else
1322 load_perl (aTHX_ next);
1323
1324 prev__cctx = prev->cctx;
1325
1326 if (prev__cctx->idle_sp == STACKLEVEL) asm volatile("");//D
1327
1328 /* possibly "free" the cctx */
1329 if (expect_true (
1330 prev__cctx->idle_sp == STACKLEVEL
1331 && !(prev__cctx->flags & CC_TRACE)
1332 && !force_cctx
1333 ))
1334 {
1335 /* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */
1336 assert (("ERROR: current top_env must equal previous top_env", PL_top_env == prev__cctx->idle_te));
1337
1338 prev->cctx = 0;
1339
1340 /* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */
1341 /* without this the next cctx_get might destroy the prev__cctx while still in use */
1342 if (expect_false (CCTX_EXPIRED (prev__cctx)))
1343 if (!next->cctx)
1344 next->cctx = cctx_get (aTHX);
1345
1346 cctx_put (prev__cctx);
1347 }
1348
1349 ++next->usecount;
1350
1351 if (expect_true (!next->cctx))
1352 next->cctx = cctx_get (aTHX);
1353
1354 next_has_throw = !!next->throw;
1355
1356 if (expect_false (prev__cctx != next->cctx))
1357 {
1358 prev__cctx->top_env = PL_top_env;
1359 PL_top_env = next->cctx->top_env;
1360 coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);
1361 }
1362
1363 free_coro_mortal (aTHX);
1364 UNLOCK;
1365
1366 transfer_tail ();
1367 }
1368}
1369
1370struct transfer_args
1371{
1372 struct coro *prev, *next;
1373};
1374
1375#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))
1376#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)
1377
1378/** high level stuff ********************************************************/
1379
1380static int
1381coro_state_destroy (pTHX_ struct coro *coro)
1382{
1383 if (coro->flags & CF_DESTROYED)
1384 return 0;
1385
1386 coro->flags |= CF_DESTROYED;
1387
1388 if (coro->flags & CF_READY)
1389 {
1390 /* reduce nready, as destroying a ready coro effectively unreadies it */
1391 /* alternative: look through all ready queues and remove the coro */
1392 LOCK;
1393 --coro_nready;
1394 UNLOCK;
1395 }
1396 else
1397 coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
1398
1399 if (coro->mainstack && coro->mainstack != main_mainstack)
1400 {
1401 struct coro temp;
1402
1403 if (coro->flags & CF_RUNNING)
1404 croak ("FATAL: tried to destroy currently running coroutine");
1405
1406 save_perl (aTHX_ &temp);
1407 load_perl (aTHX_ coro);
1408
1409 coro_destruct (aTHX_ coro);
1410
1411 load_perl (aTHX_ &temp);
1412
1413 coro->slot = 0;
1414 }
1415
1416 cctx_destroy (coro->cctx);
1417 SvREFCNT_dec (coro->args);
1418
1419 if (coro->next) coro->next->prev = coro->prev;
1420 if (coro->prev) coro->prev->next = coro->next;
1421 if (coro == coro_first) coro_first = coro->next;
1422
1423 return 1;
1424}
1425
1426static int
1427coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1428{
1429 struct coro *coro = (struct coro *)mg->mg_ptr;
1430 mg->mg_ptr = 0;
1431
1432 coro->hv = 0;
1433
1434 if (--coro->refcnt < 0)
1435 {
1436 coro_state_destroy (aTHX_ coro);
1437 Safefree (coro);
1438 }
1439
1440 return 0;
1441}
1442
1443static int
1444coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)
1445{
1446 struct coro *coro = (struct coro *)mg->mg_ptr;
1447
1448 ++coro->refcnt;
1449
1450 return 0;
1451}
1452
1453static MGVTBL coro_state_vtbl = {
1454 0, 0, 0, 0,
1455 coro_state_free,
1456 0,
1457#ifdef MGf_DUP
1458 coro_state_dup,
1459#else
1460# define MGf_DUP 0
1461#endif
1462};
1463
1464static void
1465prepare_transfer (pTHX_ struct transfer_args *ta, SV *prev_sv, SV *next_sv)
1466{
1467 ta->prev = SvSTATE (prev_sv);
1468 ta->next = SvSTATE (next_sv);
1469 TRANSFER_CHECK (*ta);
1470}
1471
1472static void
1473api_transfer (SV *prev_sv, SV *next_sv)
1474{
1475 dTHX;
1476 struct transfer_args ta;
1477
1478 prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1479 TRANSFER (ta, 1);
1480}
1481
1482/** Coro ********************************************************************/
1483
1484static void
1485coro_enq (pTHX_ SV *coro_sv)
1486{
1487 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv);
1488}
1489
1490static SV *
1491coro_deq (pTHX)
1492{
1493 int prio;
1494
1495 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )
1496 if (AvFILLp (coro_ready [prio]) >= 0)
1497 return av_shift (coro_ready [prio]);
1498
1499 return 0;
1500}
1501
1502static int
1503api_ready (SV *coro_sv)
1504{
1505 dTHX;
1506 struct coro *coro;
1507 SV *sv_hook;
1508 void (*xs_hook)(void);
1509
1510 if (SvROK (coro_sv))
1511 coro_sv = SvRV (coro_sv);
1512
1513 coro = SvSTATE (coro_sv);
1514
1515 if (coro->flags & CF_READY)
1516 return 0;
1517
1518 coro->flags |= CF_READY;
1519
1520 LOCK;
1521
1522 sv_hook = coro_nready ? 0 : coro_readyhook;
1523 xs_hook = coro_nready ? 0 : coroapi.readyhook;
1524
1525 coro_enq (aTHX_ SvREFCNT_inc_NN (coro_sv));
1526 ++coro_nready;
1527
1528 UNLOCK;
1529
1530 if (sv_hook)
1531 {
1532 dSP;
1533
1534 ENTER;
1535 SAVETMPS;
1536
1537 PUSHMARK (SP);
1538 PUTBACK;
1539 call_sv (sv_hook, G_DISCARD);
1540 SPAGAIN;
1541
1542 FREETMPS;
1543 LEAVE;
1544 }
1545
1546 if (xs_hook)
1547 xs_hook ();
1548
1549 return 1;
1550}
1551
1552static int
1553api_is_ready (SV *coro_sv)
1554{
1555 dTHX;
1556 return !!(SvSTATE (coro_sv)->flags & CF_READY);
1557}
1558
1559static void
1560prepare_schedule (pTHX_ struct transfer_args *ta)
1561{
1562 SV *prev_sv, *next_sv;
1563
1564 for (;;)
1565 {
1566 LOCK;
1567 next_sv = coro_deq (aTHX);
1568
1569 /* nothing to schedule: call the idle handler */
1570 if (expect_false (!next_sv))
1571 {
1572 dSP;
1573 UNLOCK;
1574
1575 ENTER;
1576 SAVETMPS;
1577
1578 PUSHMARK (SP);
1579 PUTBACK;
1580 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD);
1581 SPAGAIN;
1582
1583 FREETMPS;
1584 LEAVE;
1585 continue;
1586 }
1587
1588 ta->next = SvSTATE (next_sv);
1589
1590 /* cannot transfer to destroyed coros, skip and look for next */
1591 if (expect_false (ta->next->flags & CF_DESTROYED))
1592 {
1593 UNLOCK;
1594 SvREFCNT_dec (next_sv);
1595 /* coro_nready is already taken care of by destroy */
1596 continue;
1597 }
1598
1599 --coro_nready;
1600 UNLOCK;
1601 break;
1602 }
1603
1604 /* free this only after the transfer */
1605 prev_sv = SvRV (coro_current);
1606 ta->prev = SvSTATE (prev_sv);
1607 TRANSFER_CHECK (*ta);
1608 assert (ta->next->flags & CF_READY);
1609 ta->next->flags &= ~CF_READY;
1610 SvRV_set (coro_current, next_sv);
1611
1612 LOCK;
1613 free_coro_mortal (aTHX);
1614 coro_mortal = prev_sv;
1615 UNLOCK;
1616}
1617
1618static void
1619prepare_cede (pTHX_ struct transfer_args *ta)
1620{
1621 api_ready (coro_current);
1622 prepare_schedule (aTHX_ ta);
1623}
1624
1625static int
1626prepare_cede_notself (pTHX_ struct transfer_args *ta)
1627{
1628 if (coro_nready)
1629 {
1630 SV *prev = SvRV (coro_current);
1631 prepare_schedule (aTHX_ ta);
1632 api_ready (prev);
1633 return 1;
1634 }
1635 else
1636 return 0;
1637}
1638
1639static void
1640api_schedule (void)
1641{
1642 dTHX;
1643 struct transfer_args ta;
1644
1645 prepare_schedule (aTHX_ &ta);
1646 TRANSFER (ta, 1);
1647}
1648
1649static int
1650api_cede (void)
1651{
1652 dTHX;
1653 struct transfer_args ta;
1654
1655 prepare_cede (aTHX_ &ta);
1656
1657 if (expect_true (ta.prev != ta.next))
1658 {
1659 TRANSFER (ta, 1);
1660 return 1;
1661 }
1662 else
1663 return 0;
1664}
1665
1666static int
1667api_cede_notself (void)
1668{
1669 dTHX;
1670 struct transfer_args ta;
1671
1672 if (prepare_cede_notself (aTHX_ &ta))
1673 {
1674 TRANSFER (ta, 1);
1675 return 1;
1676 }
1677 else
1678 return 0;
1679}
1680
1681static void
1682api_trace (SV *coro_sv, int flags)
1683{
1684 dTHX;
1685 struct coro *coro = SvSTATE (coro_sv);
1686
1687 if (flags & CC_TRACE)
1688 {
1689 if (!coro->cctx)
1690 coro->cctx = cctx_new_run ();
1691 else if (!(coro->cctx->flags & CC_TRACE))
1692 croak ("cannot enable tracing on coroutine with custom stack");
1693
1694 coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));
1695 }
1696 else if (coro->cctx && coro->cctx->flags & CC_TRACE)
1697 {
1698 coro->cctx->flags &= ~(CC_TRACE | CC_TRACE_ALL);
1699
1700 if (coro->flags & CF_RUNNING)
1701 PL_runops = RUNOPS_DEFAULT;
1702 else
1703 coro->slot->runops = RUNOPS_DEFAULT;
1704 }
1705}
1706
1707#if 0
1708static int
1709coro_gensub_free (pTHX_ SV *sv, MAGIC *mg)
1710{
1711 AV *padlist;
1712 AV *av = (AV *)mg->mg_obj;
1713
1714 abort ();
1715
1716 return 0;
1717}
1718
1719static MGVTBL coro_gensub_vtbl = {
1720 0, 0, 0, 0,
1721 coro_gensub_free
1722};
1723#endif
1724
1725/*****************************************************************************/
1726/* PerlIO::cede */
1727
1728typedef struct
1729{
1730 PerlIOBuf base;
1731 NV next, every;
1732} PerlIOCede;
1733
1734static IV
1735PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)
1736{
1737 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
1738
1739 self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
1740 self->next = nvtime () + self->every;
1741
1742 return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
1743}
1744
1745static SV *
1746PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)
1747{
1748 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
1749
1750 return newSVnv (self->every);
1751}
1752
1753static IV
1754PerlIOCede_flush (pTHX_ PerlIO *f)
1755{
1756 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
1757 double now = nvtime ();
1758
1759 if (now >= self->next)
1760 {
1761 api_cede ();
1762 self->next = now + self->every;
1763 }
1764
1765 return PerlIOBuf_flush (aTHX_ f);
1766}
1767
1768static PerlIO_funcs PerlIO_cede =
1769{
1770 sizeof(PerlIO_funcs),
1771 "cede",
1772 sizeof(PerlIOCede),
1773 PERLIO_K_DESTRUCT | PERLIO_K_RAW,
1774 PerlIOCede_pushed,
1775 PerlIOBuf_popped,
1776 PerlIOBuf_open,
1777 PerlIOBase_binmode,
1778 PerlIOCede_getarg,
1779 PerlIOBase_fileno,
1780 PerlIOBuf_dup,
1781 PerlIOBuf_read,
1782 PerlIOBuf_unread,
1783 PerlIOBuf_write,
1784 PerlIOBuf_seek,
1785 PerlIOBuf_tell,
1786 PerlIOBuf_close,
1787 PerlIOCede_flush,
1788 PerlIOBuf_fill,
1789 PerlIOBase_eof,
1790 PerlIOBase_error,
1791 PerlIOBase_clearerr,
1792 PerlIOBase_setlinebuf,
1793 PerlIOBuf_get_base,
1794 PerlIOBuf_bufsiz,
1795 PerlIOBuf_get_ptr,
1796 PerlIOBuf_get_cnt,
1797 PerlIOBuf_set_ptrcnt,
1798};
1799
1800
1801MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
1802
1803PROTOTYPES: DISABLE
1804
1805BOOT:
1806{
1807#ifdef USE_ITHREADS
1808 MUTEX_INIT (&coro_lock);
1809# if CORO_PTHREAD
1810 coro_thx = PERL_GET_CONTEXT;
1811# endif
1812#endif
1813 BOOT_PAGESIZE;
1814
1815 irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
1816 stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
1817
1818 orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;
1819 orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;
1820 orig_sigelem_clr = PL_vtbl_sigelem.svt_clear; PL_vtbl_sigelem.svt_clear = coro_sigelem_clr;
1821
1822 hv_sig = coro_get_hv (aTHX_ "SIG", TRUE);
1823 rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));
1824 rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));
1825
1826 coro_state_stash = gv_stashpv ("Coro::State", TRUE);
1827
1828 newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));
1829 newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));
1830 newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));
1831 newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));
1832
1833 main_mainstack = PL_mainstack;
1834 main_top_env = PL_top_env;
1835
1836 while (main_top_env->je_prev)
1837 main_top_env = main_top_env->je_prev;
1838
1839 coroapi.ver = CORO_API_VERSION;
1840 coroapi.rev = CORO_API_REVISION;
1841 coroapi.transfer = api_transfer;
1842
1843 {
1844 SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
1845
1846 if (!svp) croak ("Time::HiRes is required");
1847 if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
1848
1849 nvtime = INT2PTR (double (*)(), SvIV (*svp));
1850 }
1851
1852 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
1853}
1854
1855SV *
1856new (char *klass, ...)
1857 CODE:
1858{
1859 struct coro *coro;
1860 MAGIC *mg;
1861 HV *hv;
1862 int i;
1863
1864 Newz (0, coro, 1, struct coro);
1865 coro->args = newAV ();
1866 coro->flags = CF_NEW;
1867
1868 if (coro_first) coro_first->prev = coro;
1869 coro->next = coro_first;
1870 coro_first = coro;
1871
1872 coro->hv = hv = newHV ();
1873 mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
1874 mg->mg_flags |= MGf_DUP;
1875 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
1876
1877 av_extend (coro->args, items - 1);
1878 for (i = 1; i < items; i++)
1879 av_push (coro->args, newSVsv (ST (i)));
1880}
1881 OUTPUT:
1882 RETVAL
1883
1884# these not obviously related functions are all rolled into the same xs
1885# function to increase chances that they all will call transfer with the same
1886# stack offset
1887void
1888_set_stacklevel (...)
1889 ALIAS:
1890 Coro::State::transfer = 1
1891 Coro::schedule = 2
1892 Coro::cede = 3
1893 Coro::cede_notself = 4
1894 CODE:
1895{
1896 struct transfer_args ta;
1897
1898 PUTBACK;
1899 switch (ix)
1900 {
1901 case 0:
1902 ta.prev = (struct coro *)INT2PTR (coro_cctx *, SvIV (ST (0)));
1903 ta.next = 0;
1904 break;
1905
1906 case 1:
1907 if (items != 2)
1908 croak ("Coro::State::transfer (prev, next) expects two arguments, not %d", items);
1909
1910 prepare_transfer (aTHX_ &ta, ST (0), ST (1));
1911 break;
1912
1913 case 2:
1914 prepare_schedule (aTHX_ &ta);
1915 break;
1916
1917 case 3:
1918 prepare_cede (aTHX_ &ta);
1919 break;
1920
1921 case 4:
1922 if (!prepare_cede_notself (aTHX_ &ta))
1923 XSRETURN_EMPTY;
1924
1925 break;
1926 }
1927 SPAGAIN;
1928
1929 BARRIER;
1930 PUTBACK;
1931 TRANSFER (ta, 0);
1932 SPAGAIN; /* might be the sp of a different coroutine now */
1933 /* be extra careful not to ever do anything after TRANSFER */
1934}
1935
1936bool
1937_destroy (SV *coro_sv)
1938 CODE:
1939 RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
1940 OUTPUT:
1941 RETVAL
1942
1943void
1944_exit (int code)
1945 PROTOTYPE: $
1946 CODE:
1947 _exit (code);
1948
1949int
1950cctx_stacksize (int new_stacksize = 0)
1951 CODE:
1952 RETVAL = cctx_stacksize;
1953 if (new_stacksize)
1954 {
1955 cctx_stacksize = new_stacksize;
1956 ++cctx_gen;
1957 }
1958 OUTPUT:
1959 RETVAL
1960
1961int
1962cctx_max_idle (int max_idle = 0)
1963 CODE:
1964 RETVAL = cctx_max_idle;
1965 if (max_idle > 1)
1966 cctx_max_idle = max_idle;
1967 OUTPUT:
1968 RETVAL
1969
1970int
1971cctx_count ()
1972 CODE:
1973 RETVAL = cctx_count;
1974 OUTPUT:
1975 RETVAL
1976
1977int
1978cctx_idle ()
1979 CODE:
1980 RETVAL = cctx_idle;
1981 OUTPUT:
1982 RETVAL
1983
1984void
1985list ()
1986 PPCODE:
1987{
1988 struct coro *coro;
1989 for (coro = coro_first; coro; coro = coro->next)
1990 if (coro->hv)
1991 XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
1992}
1993
1994void
1995call (Coro::State coro, SV *coderef)
1996 ALIAS:
1997 eval = 1
1998 CODE:
1999{
2000 if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
2001 {
2002 struct coro temp;
2003
2004 if (!(coro->flags & CF_RUNNING))
235 { 2005 {
236 /* I never used formats, so how should I know how these are implemented? */ 2006 PUTBACK;
237 /* my bold guess is as a simple, plain sub... */ 2007 save_perl (aTHX_ &temp);
238 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats"); 2008 load_perl (aTHX_ coro);
2009 }
2010
2011 {
2012 dSP;
2013 ENTER;
2014 SAVETMPS;
2015 PUTBACK;
2016 PUSHSTACK;
2017 PUSHMARK (SP);
2018
2019 if (ix)
2020 eval_sv (coderef, 0);
2021 else
2022 call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
2023
2024 POPSTACK;
2025 SPAGAIN;
2026 FREETMPS;
2027 LEAVE;
2028 PUTBACK;
2029 }
2030
2031 if (!(coro->flags & CF_RUNNING))
2032 {
2033 save_perl (aTHX_ coro);
2034 load_perl (aTHX_ &temp);
2035 SPAGAIN;
239 } 2036 }
240 } 2037 }
241
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} 2038}
281 2039
282#define LOAD(state) do { load_state(aTHX_ state); SPAGAIN; } while (0) 2040SV *
283#define SAVE(state) do { PUTBACK; save_state(aTHX_ state); } while (0) 2041is_ready (Coro::State coro)
2042 PROTOTYPE: $
2043 ALIAS:
2044 is_ready = CF_READY
2045 is_running = CF_RUNNING
2046 is_new = CF_NEW
2047 is_destroyed = CF_DESTROYED
2048 CODE:
2049 RETVAL = boolSV (coro->flags & ix);
2050 OUTPUT:
2051 RETVAL
284 2052
285static void 2053void
286load_state(pTHX_ Coro__State c) 2054api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
287{
288 PL_dowarn = c->dowarn;
289 GvAV (PL_defgv) = c->defav;
290 PL_curstackinfo = c->curstackinfo;
291 PL_curstack = c->curstack;
292 PL_mainstack = c->mainstack;
293 PL_stack_sp = c->stack_sp;
294 PL_op = c->op;
295 PL_curpad = c->curpad;
296 PL_stack_base = c->stack_base;
297 PL_stack_max = c->stack_max;
298 PL_tmps_stack = c->tmps_stack;
299 PL_tmps_floor = c->tmps_floor;
300 PL_tmps_ix = c->tmps_ix;
301 PL_tmps_max = c->tmps_max;
302 PL_markstack = c->markstack;
303 PL_markstack_ptr = c->markstack_ptr;
304 PL_markstack_max = c->markstack_max;
305 PL_scopestack = c->scopestack;
306 PL_scopestack_ix = c->scopestack_ix;
307 PL_scopestack_max = c->scopestack_max;
308 PL_savestack = c->savestack;
309 PL_savestack_ix = c->savestack_ix;
310 PL_savestack_max = c->savestack_max;
311 PL_retstack = c->retstack;
312 PL_retstack_ix = c->retstack_ix;
313 PL_retstack_max = c->retstack_max;
314 PL_curcop = c->curcop;
315 2055
2056SV *
2057has_cctx (Coro::State coro)
2058 PROTOTYPE: $
2059 CODE:
2060 RETVAL = boolSV (!!coro->cctx);
2061 OUTPUT:
2062 RETVAL
2063
2064int
2065is_traced (Coro::State coro)
2066 PROTOTYPE: $
2067 CODE:
2068 RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL;
2069 OUTPUT:
2070 RETVAL
2071
2072UV
2073rss (Coro::State coro)
2074 PROTOTYPE: $
2075 ALIAS:
2076 usecount = 1
2077 CODE:
2078 switch (ix)
316 { 2079 {
317 dSP; 2080 case 0: RETVAL = coro_rss (aTHX_ coro); break;
318 CV *cv; 2081 case 1: RETVAL = coro->usecount; break;
319
320 /* now do the ugly restore mess */
321 while ((cv = (CV *)POPs))
322 {
323 AV *padlist = (AV *)POPs;
324
325 put_padlist (cv);
326 CvPADLIST(cv) = padlist;
327 CvDEPTH(cv) = (I32)POPs;
328
329#ifdef USE_THREADS
330 CvOWNER(cv) = (struct perl_thread *)POPs;
331 error does not work either
332#endif
333 } 2082 }
2083 OUTPUT:
2084 RETVAL
334 2085
335 PUTBACK; 2086void
336 } 2087force_cctx ()
337} 2088 CODE:
2089 struct coro *coro = SvSTATE (coro_current);
2090 coro->cctx->idle_sp = 0;
338 2091
339/* this is an EXACT copy of S_nuke_stacks in perl.c, which is unfortunately static */ 2092void
340STATIC void 2093swap_defsv (Coro::State self)
341destroy_stacks(pTHX) 2094 PROTOTYPE: $
342{ 2095 ALIAS:
343 /* die does this while calling POPSTACK, but I just don't see why. */ 2096 swap_defav = 1
344 /* OTOH, die does not have a memleak, but we do... */ 2097 CODE:
345 dounwind(-1); 2098 if (!self->slot)
2099 croak ("cannot swap state with coroutine that has no saved state");
2100 else
2101 {
2102 SV **src = ix ? (SV **)&GvAV (PL_defgv) : &GvSV (PL_defgv);
2103 SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;
346 2104
347 /* is this ugly, I ask? */ 2105 SV *tmp = *src; *src = *dst; *dst = tmp;
348 while (PL_scopestack_ix) 2106 }
349 LEAVE;
350 2107
351 while (PL_curstackinfo->si_next)
352 PL_curstackinfo = PL_curstackinfo->si_next;
353
354 while (PL_curstackinfo)
355 {
356 PERL_SI *p = PL_curstackinfo->si_prev;
357
358 SvREFCNT_dec(PL_curstackinfo->si_stack);
359 Safefree(PL_curstackinfo->si_cxstack);
360 Safefree(PL_curstackinfo);
361 PL_curstackinfo = p;
362 }
363
364 if (PL_scopestack_ix != 0)
365 Perl_warner(aTHX_ WARN_INTERNAL,
366 "Unbalanced scopes: %ld more ENTERs than LEAVEs\n",
367 (long)PL_scopestack_ix);
368 if (PL_savestack_ix != 0)
369 Perl_warner(aTHX_ WARN_INTERNAL,
370 "Unbalanced saves: %ld more saves than restores\n",
371 (long)PL_savestack_ix);
372 if (PL_tmps_floor != -1)
373 Perl_warner(aTHX_ WARN_INTERNAL,"Unbalanced tmps: %ld more allocs than frees\n",
374 (long)PL_tmps_floor + 1);
375 /*
376 */
377 Safefree(PL_tmps_stack);
378 Safefree(PL_markstack);
379 Safefree(PL_scopestack);
380 Safefree(PL_savestack);
381 Safefree(PL_retstack);
382}
383
384#define SUB_INIT "Coro::State::_newcoro"
385
386MODULE = Coro::State PACKAGE = Coro::State 2108MODULE = Coro::State PACKAGE = Coro
387
388PROTOTYPES: ENABLE
389 2109
390BOOT: 2110BOOT:
391 if (!padlist_cache) 2111{
392 padlist_cache = newHV (); 2112 int i;
393 2113
394Coro::State 2114 av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
395_newprocess(args) 2115 sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
396 SV * args 2116 sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
2117
2118 coro_current = coro_get_sv (aTHX_ "Coro::current", FALSE);
2119 SvREADONLY_on (coro_current);
2120
2121 coro_stash = gv_stashpv ("Coro", TRUE);
2122
2123 newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));
2124 newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
2125 newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
2126 newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));
2127 newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
2128 newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));
2129
2130 for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
2131 coro_ready[i] = newAV ();
2132
2133 {
2134 SV *sv = perl_get_sv ("Coro::API", TRUE);
2135 perl_get_sv ("Coro::API", TRUE); /* silence 5.10 warning */
2136
2137 coroapi.schedule = api_schedule;
2138 coroapi.cede = api_cede;
2139 coroapi.cede_notself = api_cede_notself;
2140 coroapi.ready = api_ready;
2141 coroapi.is_ready = api_is_ready;
2142 coroapi.nready = &coro_nready;
2143 coroapi.current = coro_current;
2144
2145 GCoroAPI = &coroapi;
2146 sv_setiv (sv, (IV)&coroapi);
2147 SvREADONLY_on (sv);
2148 }
2149}
2150
2151void
2152_set_current (SV *current)
397 PROTOTYPE: $ 2153 PROTOTYPE: $
2154 CODE:
2155 SvREFCNT_dec (SvRV (coro_current));
2156 SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
2157
2158void
2159_set_readyhook (SV *hook)
2160 PROTOTYPE: $
398 CODE: 2161 CODE:
399 Coro__State coro;
400
401 if (!SvROK (args) || SvTYPE (SvRV (args)) != SVt_PVAV)
402 croak ("Coro::State::newprocess expects an arrayref");
403 2162 LOCK;
404 New (0, coro, 1, struct coro); 2163 SvREFCNT_dec (coro_readyhook);
2164 coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;
2165 UNLOCK;
405 2166
406 coro->mainstack = 0; /* actual work is done inside transfer */ 2167int
407 coro->args = (AV *)SvREFCNT_inc (SvRV (args)); 2168prio (Coro::State coro, int newprio = 0)
408 2169 ALIAS:
2170 nice = 1
2171 CODE:
2172{
409 RETVAL = coro; 2173 RETVAL = coro->prio;
410 OUTPUT: 2174
2175 if (items > 1)
2176 {
2177 if (ix)
2178 newprio = coro->prio - newprio;
2179
2180 if (newprio < PRIO_MIN) newprio = PRIO_MIN;
2181 if (newprio > PRIO_MAX) newprio = PRIO_MAX;
2182
2183 coro->prio = newprio;
2184 }
2185}
2186 OUTPUT:
411 RETVAL 2187 RETVAL
412 2188
2189SV *
2190ready (SV *self)
2191 PROTOTYPE: $
2192 CODE:
2193 RETVAL = boolSV (api_ready (self));
2194 OUTPUT:
2195 RETVAL
2196
2197int
2198nready (...)
2199 PROTOTYPE:
2200 CODE:
2201 RETVAL = coro_nready;
2202 OUTPUT:
2203 RETVAL
2204
413void 2205void
414transfer(prev,next) 2206throw (Coro::State self, SV *throw = &PL_sv_undef)
415 Coro::State_or_hashref prev 2207 PROTOTYPE: $;$
416 Coro::State_or_hashref next
417 CODE: 2208 CODE:
2209 SvREFCNT_dec (self->throw);
2210 self->throw = SvOK (throw) ? newSVsv (throw) : 0;
418 2211
419 if (prev != next) 2212# for async_pool speedup
2213void
2214_pool_1 (SV *cb)
2215 CODE:
2216{
2217 struct coro *coro = SvSTATE (coro_current);
2218 HV *hv = (HV *)SvRV (coro_current);
2219 AV *defav = GvAV (PL_defgv);
2220 SV *invoke = hv_delete (hv, "_invoke", sizeof ("_invoke") - 1, 0);
2221 AV *invoke_av;
2222 int i, len;
2223
2224 if (!invoke)
420 { 2225 {
421 /* 2226 SV *old = PL_diehook;
422 * this could be done in newprocess which would lead to 2227 PL_diehook = 0;
423 * extremely elegant and fast (just SAVE/LOAD) 2228 SvREFCNT_dec (old);
424 * code here, but lazy allocation of stacks has also 2229 croak ("\3async_pool terminate\2\n");
425 * some virtues and the overhead of the if() is nil.
426 */
427 if (next->mainstack)
428 {
429 SAVE (prev);
430 LOAD (next);
431 /* mark this state as in-use */
432 next->mainstack = 0;
433 next->tmps_ix = -2;
434 }
435 else if (next->tmps_ix == -2)
436 {
437 croak ("tried to transfer to running coroutine");
438 }
439 else
440 {
441 SAVE (prev);
442
443 /*
444 * emulate part of the perl startup here.
445 */
446 UNOP myop;
447
448 init_stacks (); /* from perl.c */
449 PL_op = (OP *)&myop;
450 /*PL_curcop = 0;*/
451 GvAV (PL_defgv) = (AV *)SvREFCNT_inc ((SV *)next->args);
452
453 SPAGAIN;
454 Zero(&myop, 1, UNOP);
455 myop.op_next = Nullop;
456 myop.op_flags = OPf_WANT_VOID;
457
458 PUSHMARK(SP);
459 XPUSHs ((SV*)get_cv(SUB_INIT, TRUE));
460 PUTBACK;
461 /*
462 * the next line is slightly wrong, as PL_op->op_next
463 * is actually being executed so we skip the first op.
464 * that doesn't matter, though, since it is only
465 * pp_nextstate and we never return...
466 */
467 PL_op = Perl_pp_entersub(aTHX);
468 SPAGAIN;
469
470 ENTER;
471 }
472 } 2230 }
473 2231
2232 SvREFCNT_dec (coro->saved_deffh);
2233 coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
2234
2235 hv_store (hv, "desc", sizeof ("desc") - 1,
2236 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
2237
2238 invoke_av = (AV *)SvRV (invoke);
2239 len = av_len (invoke_av);
2240
2241 sv_setsv (cb, AvARRAY (invoke_av)[0]);
2242
2243 if (len > 0)
2244 {
2245 av_fill (defav, len - 1);
2246 for (i = 0; i < len; ++i)
2247 av_store (defav, i, SvREFCNT_inc_NN (AvARRAY (invoke_av)[i + 1]));
2248 }
2249
2250 SvREFCNT_dec (invoke);
2251}
2252
474void 2253void
475DESTROY(coro) 2254_pool_2 (SV *cb)
476 Coro::State coro 2255 CODE:
2256{
2257 struct coro *coro = SvSTATE (coro_current);
2258
2259 sv_setsv (cb, &PL_sv_undef);
2260
2261 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
2262 coro->saved_deffh = 0;
2263
2264 if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
2265 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
2266 {
2267 SV *old = PL_diehook;
2268 PL_diehook = 0;
2269 SvREFCNT_dec (old);
2270 croak ("\3async_pool terminate\2\n");
2271 }
2272
2273 av_clear (GvAV (PL_defgv));
2274 hv_store ((HV *)SvRV (coro_current), "desc", sizeof ("desc") - 1,
2275 newSVpvn ("[async_pool idle]", sizeof ("[async_pool idle]") - 1), 0);
2276
2277 coro->prio = 0;
2278
2279 if (coro->cctx && (coro->cctx->flags & CC_TRACE))
2280 api_trace (coro_current, 0);
2281
2282 av_push (av_async_pool, newSVsv (coro_current));
2283}
2284
2285#if 0
2286
2287void
2288_generator_call (...)
2289 PROTOTYPE: @
2290 PPCODE:
2291 fprintf (stderr, "call %p\n", CvXSUBANY(cv).any_ptr);
2292 xxxx
2293 abort ();
2294
2295SV *
2296gensub (SV *sub, ...)
2297 PROTOTYPE: &;@
477 CODE: 2298 CODE:
2299{
2300 struct coro *coro;
2301 MAGIC *mg;
2302 CV *xcv;
2303 CV *ncv = (CV *)newSV_type (SVt_PVCV);
2304 int i;
478 2305
479 if (coro->mainstack) 2306 CvGV (ncv) = CvGV (cv);
2307 CvFILE (ncv) = CvFILE (cv);
2308
2309 Newz (0, coro, 1, struct coro);
2310 coro->args = newAV ();
2311 coro->flags = CF_NEW;
2312
2313 av_extend (coro->args, items - 1);
2314 for (i = 1; i < items; i++)
2315 av_push (coro->args, newSVsv (ST (i)));
2316
2317 CvISXSUB_on (ncv);
2318 CvXSUBANY (ncv).any_ptr = (void *)coro;
2319
2320 xcv = GvCV (gv_fetchpv ("Coro::_generator_call", 0, SVt_PVCV));
2321
2322 CvXSUB (ncv) = CvXSUB (xcv);
2323 CvANON_on (ncv);
2324
2325 mg = sv_magicext ((SV *)ncv, 0, CORO_MAGIC_type_state, &coro_gensub_vtbl, (char *)coro, 0);
2326 RETVAL = newRV_noinc ((SV *)ncv);
2327}
2328 OUTPUT:
2329 RETVAL
2330
2331#endif
2332
2333
2334MODULE = Coro::State PACKAGE = Coro::AIO
2335
2336void
2337_get_state (SV *self)
2338 PPCODE:
2339{
2340 AV *defav = GvAV (PL_defgv);
2341 AV *av = newAV ();
2342 int i;
2343 SV *data_sv = newSV (sizeof (struct io_state));
2344 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2345 SvCUR_set (data_sv, sizeof (struct io_state));
2346 SvPOK_only (data_sv);
2347
2348 data->errorno = errno;
2349 data->laststype = PL_laststype;
2350 data->laststatval = PL_laststatval;
2351 data->statcache = PL_statcache;
2352
2353 av_extend (av, AvFILLp (defav) + 1 + 1);
2354
2355 for (i = 0; i <= AvFILLp (defav); ++i)
2356 av_push (av, SvREFCNT_inc_NN (AvARRAY (defav)[i]));
2357
2358 av_push (av, data_sv);
2359
2360 XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
2361
2362 api_ready (self);
2363}
2364
2365void
2366_set_state (SV *state)
2367 PROTOTYPE: $
2368 PPCODE:
2369{
2370 AV *av = (AV *)SvRV (state);
2371 struct io_state *data = (struct io_state *)SvPVX (AvARRAY (av)[AvFILLp (av)]);
2372 int i;
2373
2374 errno = data->errorno;
2375 PL_laststype = data->laststype;
2376 PL_laststatval = data->laststatval;
2377 PL_statcache = data->statcache;
2378
2379 EXTEND (SP, AvFILLp (av));
2380 for (i = 0; i < AvFILLp (av); ++i)
2381 PUSHs (sv_2mortal (SvREFCNT_inc_NN (AvARRAY (av)[i])));
2382}
2383
2384
2385MODULE = Coro::State PACKAGE = Coro::AnyEvent
2386
2387BOOT:
2388 sv_activity = coro_get_sv (aTHX_ "Coro::AnyEvent::ACTIVITY", TRUE);
2389
2390SV *
2391_schedule (...)
2392 PROTOTYPE: @
2393 CODE:
2394{
2395 static int incede;
2396
2397 api_cede_notself ();
2398
2399 ++incede;
2400 while (coro_nready >= incede && api_cede ())
2401 ;
2402
2403 sv_setsv (sv_activity, &PL_sv_undef);
2404 if (coro_nready >= incede)
480 { 2405 {
481 struct coro temp; 2406 PUSHMARK (SP);
482 2407 PUTBACK;
483 SAVE(aTHX_ (&temp)); 2408 call_pv ("Coro::AnyEvent::_activity", G_DISCARD | G_EVAL);
484 LOAD(aTHX_ coro); 2409 SPAGAIN;
485
486 destroy_stacks ();
487 SvREFCNT_dec ((SV *)GvAV (PL_defgv));
488
489 LOAD((&temp));
490 } 2410 }
491 2411
492 SvREFCNT_dec (coro->args); 2412 --incede;
493 Safefree (coro); 2413}
494 2414
495 2415
2416MODULE = Coro::State PACKAGE = PerlIO::cede
2417
2418BOOT:
2419 PerlIO_define_layer (aTHX_ &PerlIO_cede);

Diff Legend

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