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

Diff Legend

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