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.132 by root, Fri Dec 29 13:03:05 2006 UTC vs.
Revision 1.167 by root, Thu Sep 27 15:52:31 2007 UTC

1#include "libcoro/coro.c" 1#include "libcoro/coro.c"
2
3#define PERL_NO_GET_CONTEXT
2 4
3#include "EXTERN.h" 5#include "EXTERN.h"
4#include "perl.h" 6#include "perl.h"
5#include "XSUB.h" 7#include "XSUB.h"
6 8
31#else 33#else
32# define PAGESIZE 0 34# define PAGESIZE 0
33# define BOOT_PAGESIZE (void)0 35# define BOOT_PAGESIZE (void)0
34#endif 36#endif
35 37
36#if USE_VALGRIND 38#if CORO_USE_VALGRIND
37# include <valgrind/valgrind.h> 39# include <valgrind/valgrind.h>
40# define REGISTER_STACK(cctx,start,end) (cctx)->valgrind_id = VALGRIND_STACK_REGISTER ((start), (end))
41#else
42# define REGISTER_STACK(cctx,start,end)
38#endif 43#endif
39 44
40/* the maximum number of idle cctx that will be pooled */ 45/* the maximum number of idle cctx that will be pooled */
41#define MAX_IDLE_CCTX 8 46#define MAX_IDLE_CCTX 8
42 47
71#ifndef SvRV_set 76#ifndef SvRV_set
72# define SvRV_set(s,v) SvRV(s) = (v) 77# define SvRV_set(s,v) SvRV(s) = (v)
73#endif 78#endif
74 79
75#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64 80#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
76# undef STACKGUARD 81# undef CORO_STACKGUARD
77#endif 82#endif
78 83
79#ifndef STACKGUARD 84#ifndef CORO_STACKGUARD
80# define STACKGUARD 0 85# define CORO_STACKGUARD 0
81#endif 86#endif
82 87
83/* prefer perl internal functions over our own? */ 88/* prefer perl internal functions over our own? */
84#ifndef PREFER_PERL_FUNCTIONS 89#ifndef CORO_PREFER_PERL_FUNCTIONS
85# define PREFER_PERL_FUNCTIONS 0 90# define CORO_PREFER_PERL_FUNCTIONS 0
86#endif 91#endif
87 92
88/* The next macro should declare a variable stacklevel that contains and approximation 93/* The next macros try to return the current stack pointer, in an as
89 * to the current C stack pointer. Its property is that it changes with each call 94 * portable way as possible. */
90 * and should be unique. */
91#define dSTACKLEVEL int stacklevel 95#define dSTACKLEVEL volatile char stacklevel
92#define STACKLEVEL ((void *)&stacklevel) 96#define STACKLEVEL ((void *)&stacklevel)
93 97
94#define IN_DESTRUCT (PL_main_cv == Nullcv) 98#define IN_DESTRUCT (PL_main_cv == Nullcv)
95 99
96#if __GNUC__ >= 3 100#if __GNUC__ >= 3
112#else 116#else
113# define LOCK (void)0 117# define LOCK (void)0
114# define UNLOCK (void)0 118# define UNLOCK (void)0
115#endif 119#endif
116 120
121/* helper storage struct for Coro::AIO */
117struct io_state 122struct io_state
118{ 123{
119 int errorno; 124 int errorno;
120 I32 laststype; 125 I32 laststype;
121 int laststatval; 126 int laststatval;
122 Stat_t statcache; 127 Stat_t statcache;
123}; 128};
124 129
130static size_t coro_stacksize = CORO_STACKSIZE;
125static struct CoroAPI coroapi; 131static struct CoroAPI coroapi;
126static AV *main_mainstack; /* used to differentiate between $main and others */ 132static AV *main_mainstack; /* used to differentiate between $main and others */
133static JMPENV *main_top_env;
127static HV *coro_state_stash, *coro_stash; 134static HV *coro_state_stash, *coro_stash;
128static SV *coro_mortal; /* will be freed after next transfer */ 135static SV *coro_mortal; /* will be freed after next transfer */
129 136
137/* async_pool helper stuff */
138static SV *sv_pool_rss;
139static SV *sv_pool_size;
140static AV *av_async_pool;
141
130static struct coro_cctx *cctx_first; 142static struct coro_cctx *cctx_first;
131static int cctx_count, cctx_idle; 143static int cctx_count, cctx_idle;
144
145enum {
146 CC_MAPPED = 0x01,
147 CC_NOREUSE = 0x02, /* throw this away after tracing */
148 CC_TRACE = 0x04,
149 CC_TRACE_SUB = 0x08, /* trace sub calls */
150 CC_TRACE_LINE = 0x10, /* trace each statement */
151 CC_TRACE_ALL = CC_TRACE_SUB | CC_TRACE_LINE,
152};
132 153
133/* this is a structure representing a c-level coroutine */ 154/* this is a structure representing a c-level coroutine */
134typedef struct coro_cctx { 155typedef struct coro_cctx {
135 struct coro_cctx *next; 156 struct coro_cctx *next;
136 157
137 /* the stack */ 158 /* the stack */
138 void *sptr; 159 void *sptr;
139 long ssize; /* positive == mmap, otherwise malloc */ 160 size_t ssize;
140 161
141 /* cpu state */ 162 /* cpu state */
142 void *idle_sp; /* sp of top-level transfer/schedule/cede call */ 163 void *idle_sp; /* sp of top-level transfer/schedule/cede call */
143 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */ 164 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */
144 JMPENV *top_env; 165 JMPENV *top_env;
145 coro_context cctx; 166 coro_context cctx;
146 167
147 int inuse;
148
149#if USE_VALGRIND 168#if CORO_USE_VALGRIND
150 int valgrind_id; 169 int valgrind_id;
151#endif 170#endif
171 unsigned char flags;
152} coro_cctx; 172} coro_cctx;
153 173
154enum { 174enum {
155 CF_RUNNING = 0x0001, /* coroutine is running */ 175 CF_RUNNING = 0x0001, /* coroutine is running */
156 CF_READY = 0x0002, /* coroutine is ready */ 176 CF_READY = 0x0002, /* coroutine is ready */
157 CF_NEW = 0x0004, /* ahs never been switched to */ 177 CF_NEW = 0x0004, /* has never been switched to */
178 CF_DESTROYED = 0x0008, /* coroutine data has been freed */
158}; 179};
159 180
160/* this is a structure representing a perl-level coroutine */ 181/* this is a structure representing a perl-level coroutine */
161struct coro { 182struct coro {
162 /* the c coroutine allocated to this perl coroutine, if any */ 183 /* the c coroutine allocated to this perl coroutine, if any */
170 191
171 /* optionally saved, might be zero */ 192 /* optionally saved, might be zero */
172 AV *defav; /* @_ */ 193 AV *defav; /* @_ */
173 SV *defsv; /* $_ */ 194 SV *defsv; /* $_ */
174 SV *errsv; /* $@ */ 195 SV *errsv; /* $@ */
196 GV *deffh; /* default filehandle */
175 SV *irssv; /* $/ */ 197 SV *irssv; /* $/ */
176 SV *irssv_sv; /* real $/ cache */ 198 SV *irssv_sv; /* real $/ cache */
177 199
178#define VAR(name,type) type name; 200#define VAR(name,type) type name;
179# include "state.h" 201# include "state.h"
180#undef VAR 202#undef VAR
181 203
182 /* coro process data */ 204 /* coro process data */
183 int prio; 205 int prio;
206
207 /* linked list */
208 struct coro *next, *prev;
209 HV *hv; /* the perl hash associated with this coro, if any */
184}; 210};
185 211
186typedef struct coro *Coro__State; 212typedef struct coro *Coro__State;
187typedef struct coro *Coro__State_or_hashref; 213typedef struct coro *Coro__State_or_hashref;
188 214
215/** Coro ********************************************************************/
216
217#define PRIO_MAX 3
218#define PRIO_HIGH 1
219#define PRIO_NORMAL 0
220#define PRIO_LOW -1
221#define PRIO_IDLE -3
222#define PRIO_MIN -4
223
224/* for Coro.pm */
225static SV *coro_current;
226static AV *coro_ready [PRIO_MAX-PRIO_MIN+1];
227static int coro_nready;
228static struct coro *coro_first;
229
230/** lowlevel stuff **********************************************************/
231
189static AV * 232static AV *
190coro_clone_padlist (CV *cv) 233coro_clone_padlist (pTHX_ CV *cv)
191{ 234{
192 AV *padlist = CvPADLIST (cv); 235 AV *padlist = CvPADLIST (cv);
193 AV *newpadlist, *newpad; 236 AV *newpadlist, *newpad;
194 237
195 newpadlist = newAV (); 238 newpadlist = newAV ();
207 250
208 return newpadlist; 251 return newpadlist;
209} 252}
210 253
211static void 254static void
212free_padlist (AV *padlist) 255free_padlist (pTHX_ AV *padlist)
213{ 256{
214 /* may be during global destruction */ 257 /* may be during global destruction */
215 if (SvREFCNT (padlist)) 258 if (SvREFCNT (padlist))
216 { 259 {
217 I32 i = AvFILLp (padlist); 260 I32 i = AvFILLp (padlist);
238 AV *padlist; 281 AV *padlist;
239 AV *av = (AV *)mg->mg_obj; 282 AV *av = (AV *)mg->mg_obj;
240 283
241 /* casting is fun. */ 284 /* casting is fun. */
242 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av))) 285 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
243 free_padlist (padlist); 286 free_padlist (aTHX_ padlist);
244 287
245 SvREFCNT_dec (av); 288 SvREFCNT_dec (av);
246 289
247 return 0; 290 return 0;
248} 291}
258 : mg_find ((SV *)cv, PERL_MAGIC_coro) \ 301 : mg_find ((SV *)cv, PERL_MAGIC_coro) \
259 : 0 302 : 0
260 303
261/* the next two functions merely cache the padlists */ 304/* the next two functions merely cache the padlists */
262static void 305static void
263get_padlist (CV *cv) 306get_padlist (pTHX_ CV *cv)
264{ 307{
265 MAGIC *mg = CORO_MAGIC (cv); 308 MAGIC *mg = CORO_MAGIC (cv);
266 AV *av; 309 AV *av;
267 310
268 if (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0) 311 if (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0)
269 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--]; 312 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];
270 else 313 else
271 { 314 {
272#if PREFER_PERL_FUNCTIONS 315#if CORO_PREFER_PERL_FUNCTIONS
273 /* this is probably cleaner, but also slower? */ 316 /* this is probably cleaner, but also slower? */
274 CV *cp = Perl_cv_clone (cv); 317 CV *cp = Perl_cv_clone (cv);
275 CvPADLIST (cv) = CvPADLIST (cp); 318 CvPADLIST (cv) = CvPADLIST (cp);
276 CvPADLIST (cp) = 0; 319 CvPADLIST (cp) = 0;
277 SvREFCNT_dec (cp); 320 SvREFCNT_dec (cp);
278#else 321#else
279 CvPADLIST (cv) = coro_clone_padlist (cv); 322 CvPADLIST (cv) = coro_clone_padlist (aTHX_ cv);
280#endif 323#endif
281 } 324 }
282} 325}
283 326
284static void 327static void
285put_padlist (CV *cv) 328put_padlist (pTHX_ CV *cv)
286{ 329{
287 MAGIC *mg = CORO_MAGIC (cv); 330 MAGIC *mg = CORO_MAGIC (cv);
288 AV *av; 331 AV *av;
289 332
290 if (!mg) 333 if (!mg)
301 av_extend (av, AvMAX (av) + 1); 344 av_extend (av, AvMAX (av) + 1);
302 345
303 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv); 346 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
304} 347}
305 348
349/** load & save, init *******************************************************/
350
306#define SB do { 351#define SB do {
307#define SE } while (0) 352#define SE } while (0)
308 353
309#define REPLACE_SV(sv,val) SB SvREFCNT_dec (sv); (sv) = (val); (val) = 0; SE 354#define REPLACE_SV(sv,val) SB SvREFCNT_dec (sv); (sv) = (val); (val) = 0; SE
310 355
311static void 356static void
312load_perl (Coro__State c) 357load_perl (pTHX_ Coro__State c)
313{ 358{
314#define VAR(name,type) PL_ ## name = c->name; 359#define VAR(name,type) PL_ ## name = c->name;
315# include "state.h" 360# include "state.h"
316#undef VAR 361#undef VAR
317 362
318 if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav); 363 if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav);
319 if (c->defsv) REPLACE_SV (DEFSV , c->defsv); 364 if (c->defsv) REPLACE_SV (DEFSV , c->defsv);
320 if (c->errsv) REPLACE_SV (ERRSV , c->errsv); 365 if (c->errsv) REPLACE_SV (ERRSV , c->errsv);
366 if (c->deffh) REPLACE_SV (PL_defoutgv , c->deffh);
367
321 if (c->irssv) 368 if (c->irssv)
322 { 369 {
323 if (c->irssv == PL_rs || sv_eq (PL_rs, c->irssv)) 370 if (c->irssv == PL_rs || sv_eq (PL_rs, c->irssv))
371 {
324 SvREFCNT_dec (c->irssv); 372 SvREFCNT_dec (c->irssv);
373 c->irssv = 0;
374 }
325 else 375 else
326 { 376 {
327 REPLACE_SV (PL_rs, c->irssv); 377 REPLACE_SV (PL_rs, c->irssv);
328 if (!c->irssv_sv) c->irssv_sv = get_sv ("/", 0); 378 if (!c->irssv_sv) c->irssv_sv = get_sv ("/", 0);
329 sv_setsv (c->irssv_sv, PL_rs); 379 sv_setsv (c->irssv_sv, PL_rs);
335 CV *cv; 385 CV *cv;
336 386
337 /* now do the ugly restore mess */ 387 /* now do the ugly restore mess */
338 while ((cv = (CV *)POPs)) 388 while ((cv = (CV *)POPs))
339 { 389 {
340 put_padlist (cv); /* mark this padlist as available */ 390 put_padlist (aTHX_ cv); /* mark this padlist as available */
341 CvDEPTH (cv) = PTR2IV (POPs); 391 CvDEPTH (cv) = PTR2IV (POPs);
342 CvPADLIST (cv) = (AV *)POPs; 392 CvPADLIST (cv) = (AV *)POPs;
343 } 393 }
344 394
345 PUTBACK; 395 PUTBACK;
346 } 396 }
347} 397}
348 398
349static void 399static void
350save_perl (Coro__State c) 400save_perl (pTHX_ Coro__State c)
351{ 401{
352 { 402 {
353 dSP; 403 dSP;
354 I32 cxix = cxstack_ix; 404 I32 cxix = cxstack_ix;
355 PERL_CONTEXT *ccstk = cxstack; 405 PERL_CONTEXT *ccstk = cxstack;
358 /* 408 /*
359 * the worst thing you can imagine happens first - we have to save 409 * the worst thing you can imagine happens first - we have to save
360 * (and reinitialize) all cv's in the whole callchain :( 410 * (and reinitialize) all cv's in the whole callchain :(
361 */ 411 */
362 412
363 EXTEND (SP, 3 + 1);
364 PUSHs (Nullsv); 413 XPUSHs (Nullsv);
365 /* this loop was inspired by pp_caller */ 414 /* this loop was inspired by pp_caller */
366 for (;;) 415 for (;;)
367 { 416 {
368 while (cxix >= 0) 417 while (cxix >= 0)
369 { 418 {
370 PERL_CONTEXT *cx = &ccstk[cxix--]; 419 PERL_CONTEXT *cx = &ccstk[cxix--];
371 420
372 if (CxTYPE (cx) == CXt_SUB) 421 if (CxTYPE (cx) == CXt_SUB || CxTYPE (cx) == CXt_FORMAT)
373 { 422 {
374 CV *cv = cx->blk_sub.cv; 423 CV *cv = cx->blk_sub.cv;
375 424
376 if (CvDEPTH (cv)) 425 if (CvDEPTH (cv))
377 { 426 {
379 PUSHs ((SV *)CvPADLIST (cv)); 428 PUSHs ((SV *)CvPADLIST (cv));
380 PUSHs (INT2PTR (SV *, CvDEPTH (cv))); 429 PUSHs (INT2PTR (SV *, CvDEPTH (cv)));
381 PUSHs ((SV *)cv); 430 PUSHs ((SV *)cv);
382 431
383 CvDEPTH (cv) = 0; 432 CvDEPTH (cv) = 0;
384 get_padlist (cv); 433 get_padlist (aTHX_ cv);
385 } 434 }
386 } 435 }
387 } 436 }
388 437
389 if (top_si->si_type == PERLSI_MAIN) 438 if (top_si->si_type == PERLSI_MAIN)
390 break; 439 break;
391 440
392 top_si = top_si->si_prev; 441 top_si = top_si->si_prev;
393 ccstk = top_si->si_cxstack; 442 ccstk = top_si->si_cxstack;
394 cxix = top_si->si_cxix; 443 cxix = top_si->si_cxix;
395 } 444 }
396 445
397 PUTBACK; 446 PUTBACK;
398 } 447 }
399 448
400 c->defav = c->save & CORO_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0; 449 c->defav = c->save & CORO_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0;
401 c->defsv = c->save & CORO_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0; 450 c->defsv = c->save & CORO_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0;
402 c->errsv = c->save & CORO_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0; 451 c->errsv = c->save & CORO_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0;
452 c->deffh = c->save & CORO_SAVE_DEFFH ? (GV *)SvREFCNT_inc (PL_defoutgv) : 0;
403 c->irssv = c->save & CORO_SAVE_IRSSV ? SvREFCNT_inc (PL_rs) : 0; 453 c->irssv = c->save & CORO_SAVE_IRSSV ? SvREFCNT_inc (PL_rs) : 0;
404 454
405#define VAR(name,type)c->name = PL_ ## name; 455#define VAR(name,type)c->name = PL_ ## name;
406# include "state.h" 456# include "state.h"
407#undef VAR 457#undef VAR
411 * allocate various perl stacks. This is an exact copy 461 * allocate various perl stacks. This is an exact copy
412 * of perl.c:init_stacks, except that it uses less memory 462 * of perl.c:init_stacks, except that it uses less memory
413 * on the (sometimes correct) assumption that coroutines do 463 * on the (sometimes correct) assumption that coroutines do
414 * not usually need a lot of stackspace. 464 * not usually need a lot of stackspace.
415 */ 465 */
416#if PREFER_PERL_FUNCTIONS 466#if CORO_PREFER_PERL_FUNCTIONS
417# define coro_init_stacks init_stacks 467# define coro_init_stacks init_stacks
418#else 468#else
419static void 469static void
420coro_init_stacks () 470coro_init_stacks (pTHX)
421{ 471{
422 PL_curstackinfo = new_stackinfo(128, 1024/sizeof(PERL_CONTEXT)); 472 PL_curstackinfo = new_stackinfo(64, 6);
423 PL_curstackinfo->si_type = PERLSI_MAIN; 473 PL_curstackinfo->si_type = PERLSI_MAIN;
424 PL_curstack = PL_curstackinfo->si_stack; 474 PL_curstack = PL_curstackinfo->si_stack;
425 PL_mainstack = PL_curstack; /* remember in case we switch stacks */ 475 PL_mainstack = PL_curstack; /* remember in case we switch stacks */
426 476
427 PL_stack_base = AvARRAY(PL_curstack); 477 PL_stack_base = AvARRAY(PL_curstack);
428 PL_stack_sp = PL_stack_base; 478 PL_stack_sp = PL_stack_base;
429 PL_stack_max = PL_stack_base + AvMAX(PL_curstack); 479 PL_stack_max = PL_stack_base + AvMAX(PL_curstack);
430 480
431 New(50,PL_tmps_stack,128,SV*); 481 New(50,PL_tmps_stack,64,SV*);
432 PL_tmps_floor = -1; 482 PL_tmps_floor = -1;
433 PL_tmps_ix = -1; 483 PL_tmps_ix = -1;
434 PL_tmps_max = 128; 484 PL_tmps_max = 64;
435 485
436 New(54,PL_markstack,32,I32); 486 New(54,PL_markstack,16,I32);
437 PL_markstack_ptr = PL_markstack; 487 PL_markstack_ptr = PL_markstack;
438 PL_markstack_max = PL_markstack + 32; 488 PL_markstack_max = PL_markstack + 16;
439 489
440#ifdef SET_MARK_OFFSET 490#ifdef SET_MARK_OFFSET
441 SET_MARK_OFFSET; 491 SET_MARK_OFFSET;
442#endif 492#endif
443 493
444 New(54,PL_scopestack,32,I32); 494 New(54,PL_scopestack,16,I32);
445 PL_scopestack_ix = 0; 495 PL_scopestack_ix = 0;
446 PL_scopestack_max = 32; 496 PL_scopestack_max = 16;
447 497
448 New(54,PL_savestack,64,ANY); 498 New(54,PL_savestack,64,ANY);
449 PL_savestack_ix = 0; 499 PL_savestack_ix = 0;
450 PL_savestack_max = 64; 500 PL_savestack_max = 64;
451 501
452#if !PERL_VERSION_ATLEAST (5,9,0) 502#if !PERL_VERSION_ATLEAST (5,9,0)
453 New(54,PL_retstack,16,OP*); 503 New(54,PL_retstack,4,OP*);
454 PL_retstack_ix = 0; 504 PL_retstack_ix = 0;
455 PL_retstack_max = 16; 505 PL_retstack_max = 4;
456#endif 506#endif
457} 507}
458#endif 508#endif
459 509
460/* 510/*
461 * destroy the stacks, the callchain etc... 511 * destroy the stacks, the callchain etc...
462 */ 512 */
463static void 513static void
464coro_destroy_stacks () 514coro_destroy_stacks (pTHX)
465{ 515{
466 if (!IN_DESTRUCT) 516 if (!IN_DESTRUCT)
467 { 517 {
468 /* restore all saved variables and stuff */ 518 /* restore all saved variables and stuff */
469 LEAVE_SCOPE (0); 519 LEAVE_SCOPE (0);
471 521
472 /* free all temporaries */ 522 /* free all temporaries */
473 FREETMPS; 523 FREETMPS;
474 assert (PL_tmps_ix == -1); 524 assert (PL_tmps_ix == -1);
475 525
526 /* unwind all extra stacks */
476 POPSTACK_TO (PL_mainstack); 527 POPSTACK_TO (PL_mainstack);
528
529 /* unwind main stack */
530 dounwind (-1);
477 } 531 }
478 532
479 while (PL_curstackinfo->si_next) 533 while (PL_curstackinfo->si_next)
480 PL_curstackinfo = PL_curstackinfo->si_next; 534 PL_curstackinfo = PL_curstackinfo->si_next;
481 535
498#if !PERL_VERSION_ATLEAST (5,9,0) 552#if !PERL_VERSION_ATLEAST (5,9,0)
499 Safefree (PL_retstack); 553 Safefree (PL_retstack);
500#endif 554#endif
501} 555}
502 556
557static size_t
558coro_rss (struct coro *coro)
559{
560 size_t rss = sizeof (coro);
561
562 if (coro->mainstack)
563 {
564 if (coro->flags & CF_RUNNING)
565 {
566 #define VAR(name,type)coro->name = PL_ ## name;
567 # include "state.h"
568 #undef VAR
569 }
570
571 rss += sizeof (coro->curstackinfo);
572 rss += sizeof (struct xpvav) + (1 + AvFILL (coro->curstackinfo->si_stack)) * sizeof (SV *);
573 rss += (coro->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT);
574 rss += sizeof (struct xpvav) + (1 + AvFILL (coro->curstack)) * sizeof (SV *);
575 rss += coro->tmps_max * sizeof (SV *);
576 rss += (coro->markstack_max - coro->markstack_ptr) * sizeof (I32);
577 rss += coro->scopestack_max * sizeof (I32);
578 rss += coro->savestack_max * sizeof (ANY);
579
580#if !PERL_VERSION_ATLEAST (5,9,0)
581 rss += coro->retstack_max * sizeof (OP *);
582#endif
583 }
584
585 return rss;
586}
587
588/** coroutine stack handling ************************************************/
589
503static void 590static void
504setup_coro (struct coro *coro) 591setup_coro (pTHX_ struct coro *coro)
505{ 592{
506 /* 593 /*
507 * emulate part of the perl startup here. 594 * emulate part of the perl startup here.
508 */ 595 */
509
510 coro_init_stacks (); 596 coro_init_stacks (aTHX);
511 597
512 PL_curcop = &PL_compiling; 598 PL_curcop = &PL_compiling;
513 PL_in_eval = EVAL_NULL; 599 PL_in_eval = EVAL_NULL;
600 PL_comppad = 0;
514 PL_curpm = 0; 601 PL_curpm = 0;
515 PL_localizing = 0; 602 PL_localizing = 0;
516 PL_dirty = 0; 603 PL_dirty = 0;
517 PL_restartop = 0; 604 PL_restartop = 0;
518 605
526 Zero (&myop, 1, LOGOP); 613 Zero (&myop, 1, LOGOP);
527 myop.op_next = Nullop; 614 myop.op_next = Nullop;
528 myop.op_flags = OPf_WANT_VOID; 615 myop.op_flags = OPf_WANT_VOID;
529 616
530 PUSHMARK (SP); 617 PUSHMARK (SP);
531 XPUSHs ((SV *)get_cv ("Coro::State::_coro_init", FALSE)); 618 XPUSHs (av_shift (GvAV (PL_defgv)));
532 PUTBACK; 619 PUTBACK;
533 PL_op = (OP *)&myop; 620 PL_op = (OP *)&myop;
534 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX); 621 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
535 SPAGAIN; 622 SPAGAIN;
536 } 623 }
537 624
538 ENTER; /* necessary e.g. for dounwind */ 625 ENTER; /* necessary e.g. for dounwind */
539} 626}
540 627
541static void 628static void
542free_coro_mortal () 629free_coro_mortal (pTHX)
543{ 630{
544 if (coro_mortal) 631 if (coro_mortal)
545 { 632 {
546 SvREFCNT_dec (coro_mortal); 633 SvREFCNT_dec (coro_mortal);
547 coro_mortal = 0; 634 coro_mortal = 0;
548 } 635 }
549} 636}
550 637
638static int
639runops_coro (pTHX)
640{
641 COP *oldcop = 0;
642 int oldcxix = -2;
643
644 while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))
645 {
646 PERL_ASYNC_CHECK ();
647
648 if (PL_op->op_type == OP_LEAVESUB)
649 {
650 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
651 SV **bot, **top;
652 AV *av = newAV (); /* return values */
653 runops_proc_t old_runops = PL_runops;
654 dSP;
655 ENTER;
656 SAVETMPS;
657 EXTEND (SP, 3);
658 PL_runops = RUNOPS_DEFAULT;
659
660 GV *gv = CvGV (cx->blk_sub.cv);
661 SV *fullname = sv_2mortal (newSV (0));
662 if (isGV (gv))
663 gv_efullname3 (fullname, gv, 0);
664
665 bot = PL_stack_base + cx->blk_oldsp + 1;
666 top = cx->blk_gimme == G_ARRAY ? SP + 1
667 : cx->blk_gimme == G_SCALAR ? bot + 1
668 : bot;
669
670 while (bot < top)
671 av_push (av, SvREFCNT_inc (*bot++));
672
673 PUSHMARK (SP);
674 PUSHs (&PL_sv_no);
675 PUSHs (fullname);
676 PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
677 PUTBACK;
678 call_pv ("Coro::_do_trace_sub", G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
679 SPAGAIN;
680
681 FREETMPS;
682 LEAVE;
683 PL_runops = old_runops;
684 }
685
686 if (oldcop != PL_curcop)
687 {
688 oldcop = PL_curcop;
689
690 if (PL_curcop != &PL_compiling)
691 {
692 runops_proc_t old_runops = PL_runops;
693 dSP;
694 ENTER;
695 SAVETMPS;
696 EXTEND (SP, 3);
697 PL_runops = RUNOPS_DEFAULT;
698
699 if (oldcxix != cxstack_ix)
700 {
701 PERL_CONTEXT *cx = &cxstack[cxstack_ix];
702
703 if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
704 {
705 GV *gv = CvGV (cx->blk_sub.cv);
706 SV *fullname = sv_2mortal (newSV (0));
707 if (isGV (gv))
708 gv_efullname3 (fullname, gv, 0);
709
710 PUSHMARK (SP);
711 PUSHs (&PL_sv_yes);
712 PUSHs (fullname);
713 PUSHs (cx->blk_sub.hasargs ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);
714 PUTBACK;
715 call_pv ("Coro::_do_trace_sub", G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
716 SPAGAIN;
717 }
718
719 oldcxix = cxstack_ix;
720 }
721
722 if (0) {
723 PUSHMARK (SP);
724 PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));
725 PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));
726 PUTBACK;
727 call_pv ("Coro::_do_trace_line", G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
728 SPAGAIN;
729 }
730
731 FREETMPS;
732 LEAVE;
733 PL_runops = old_runops;
734 }
735 }
736 }
737
738 TAINT_NOT;
739 return 0;
740}
741
551/* inject a fake call to Coro::State::_cctx_init into the execution */ 742/* inject a fake call to Coro::State::_cctx_init into the execution */
743/* _cctx_init should be careful, as it could be called at almost any time */
744/* during execution of a perl program */
552static void NOINLINE 745static void NOINLINE
553prepare_cctx (coro_cctx *cctx) 746prepare_cctx (pTHX_ coro_cctx *cctx)
554{ 747{
555 dSP; 748 dSP;
556 LOGOP myop; 749 LOGOP myop;
750
751 PL_top_env = &PL_start_env;
752
753 if (cctx->flags & CC_TRACE)
754 PL_runops = runops_coro;
557 755
558 Zero (&myop, 1, LOGOP); 756 Zero (&myop, 1, LOGOP);
559 myop.op_next = PL_op; 757 myop.op_next = PL_op;
560 myop.op_flags = OPf_WANT_VOID | OPf_STACKED; 758 myop.op_flags = OPf_WANT_VOID | OPf_STACKED;
561 759
567 PL_op = (OP *)&myop; 765 PL_op = (OP *)&myop;
568 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX); 766 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
569 SPAGAIN; 767 SPAGAIN;
570} 768}
571 769
770/*
771 * this is a _very_ stripped down perl interpreter ;)
772 */
572static void 773static void
573coro_run (void *arg) 774coro_run (void *arg)
574{ 775{
776 dTHX;
777
575 /* coro_run is the alternative tail of transfer(), so unlock here. */ 778 /* coro_run is the alternative tail of transfer(), so unlock here. */
576 UNLOCK; 779 UNLOCK;
577 780
578 /* 781 /* we now skip the entersub that lead to transfer() */
579 * this is a _very_ stripped down perl interpreter ;) 782 PL_op = PL_op->op_next;
580 */
581 PL_top_env = &PL_start_env;
582 783
583 /* inject call to cctx_init */ 784 /* inject a fake subroutine call to cctx_init */
584 prepare_cctx ((coro_cctx *)arg); 785 prepare_cctx (aTHX_ (coro_cctx *)arg);
585 786
586 /* somebody will hit me for both perl_run and PL_restartop */ 787 /* somebody or something will hit me for both perl_run and PL_restartop */
587 PL_restartop = PL_op; 788 PL_restartop = PL_op;
588 perl_run (PL_curinterp); 789 perl_run (PL_curinterp);
589 790
590 fputs ("FATAL: C coroutine fell over the edge of the world, aborting. Did you call exit in a coroutine?\n", stderr); 791 /*
591 abort (); 792 * If perl-run returns we assume exit() was being called or the coro
793 * fell off the end, which seems to be the only valid (non-bug)
794 * reason for perl_run to return. We try to exit by jumping to the
795 * bootstrap-time "top" top_env, as we cannot restore the "main"
796 * coroutine as Coro has no such concept
797 */
798 PL_top_env = main_top_env;
799 JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
592} 800}
593 801
594static coro_cctx * 802static coro_cctx *
595cctx_new () 803cctx_new ()
596{ 804{
597 coro_cctx *cctx; 805 coro_cctx *cctx;
806 void *stack_start;
807 size_t stack_size;
598 808
599 ++cctx_count; 809 ++cctx_count;
600 810
601 Newz (0, cctx, 1, coro_cctx); 811 Newz (0, cctx, 1, coro_cctx);
602 812
603#if HAVE_MMAP 813#if HAVE_MMAP
604 814
605 cctx->ssize = ((STACKSIZE * sizeof (long) + PAGESIZE - 1) / PAGESIZE + STACKGUARD) * PAGESIZE; 815 cctx->ssize = ((coro_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
606 /* mmap supposedly does allocate-on-write for us */ 816 /* mmap supposedly does allocate-on-write for us */
607 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0); 817 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
608 818
609 if (cctx->sptr == (void *)-1) 819 if (cctx->sptr != (void *)-1)
610 {
611 perror ("FATAL: unable to mmap stack for coroutine");
612 _exit (EXIT_FAILURE);
613 } 820 {
614
615# if STACKGUARD 821# if CORO_STACKGUARD
616 mprotect (cctx->sptr, STACKGUARD * PAGESIZE, PROT_NONE); 822 mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
617# endif 823# endif
824 stack_start = CORO_STACKGUARD * PAGESIZE + (char *)cctx->sptr;
825 stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
826 cctx->flags |= CC_MAPPED;
827 }
828 else
829#endif
830 {
831 cctx->ssize = coro_stacksize * (long)sizeof (long);
832 New (0, cctx->sptr, coro_stacksize, long);
618 833
619#else
620
621 cctx->ssize = STACKSIZE * (long)sizeof (long);
622 New (0, cctx->sptr, STACKSIZE, long);
623
624 if (!cctx->sptr) 834 if (!cctx->sptr)
625 { 835 {
626 perror ("FATAL: unable to malloc stack for coroutine"); 836 perror ("FATAL: unable to allocate stack for coroutine");
627 _exit (EXIT_FAILURE); 837 _exit (EXIT_FAILURE);
628 } 838 }
629 839
630#endif 840 stack_start = cctx->sptr;
841 stack_size = cctx->ssize;
842 }
631 843
632#if USE_VALGRIND 844 REGISTER_STACK (cctx, (char *)stack_start, (char *)stack_start + stack_size);
633 cctx->valgrind_id = VALGRIND_STACK_REGISTER (
634 STACKGUARD * PAGESIZE + (char *)cctx->sptr,
635 cctx->ssize + (char *)cctx->sptr
636 );
637#endif
638
639 coro_create (&cctx->cctx, coro_run, (void *)cctx, cctx->sptr, cctx->ssize); 845 coro_create (&cctx->cctx, coro_run, (void *)cctx, stack_start, stack_size);
640 846
641 return cctx; 847 return cctx;
642} 848}
643 849
644static void 850static void
647 if (!cctx) 853 if (!cctx)
648 return; 854 return;
649 855
650 --cctx_count; 856 --cctx_count;
651 857
652#if USE_VALGRIND 858#if CORO_USE_VALGRIND
653 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id); 859 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
654#endif 860#endif
655 861
656#if HAVE_MMAP 862#if HAVE_MMAP
863 if (cctx->flags & CC_MAPPED)
657 munmap (cctx->sptr, cctx->ssize); 864 munmap (cctx->sptr, cctx->ssize);
658#else 865 else
866#endif
659 Safefree (cctx->sptr); 867 Safefree (cctx->sptr);
660#endif
661 868
662 Safefree (cctx); 869 Safefree (cctx);
663} 870}
664 871
665static coro_cctx * 872static coro_cctx *
666cctx_get () 873cctx_get (pTHX)
667{ 874{
668 coro_cctx *cctx;
669
670 if (cctx_first) 875 while (cctx_first)
671 { 876 {
672 cctx = cctx_first; 877 coro_cctx *cctx = cctx_first;
673 cctx_first = cctx->next; 878 cctx_first = cctx->next;
674 --cctx_idle; 879 --cctx_idle;
675 } 880
676 else 881 if (cctx->ssize >= coro_stacksize && !(cctx->flags & CC_NOREUSE))
677 { 882 return cctx;
678 cctx = cctx_new (); 883
679 PL_op = PL_op->op_next; 884 cctx_destroy (cctx);
680 } 885 }
681 886
682 return cctx; 887 return cctx_new ();
683} 888}
684 889
685static void 890static void
686cctx_put (coro_cctx *cctx) 891cctx_put (coro_cctx *cctx)
687{ 892{
690 { 895 {
691 coro_cctx *first = cctx_first; 896 coro_cctx *first = cctx_first;
692 cctx_first = first->next; 897 cctx_first = first->next;
693 --cctx_idle; 898 --cctx_idle;
694 899
695 assert (!first->inuse);
696 cctx_destroy (first); 900 cctx_destroy (first);
697 } 901 }
698 902
699 ++cctx_idle; 903 ++cctx_idle;
700 cctx->next = cctx_first; 904 cctx->next = cctx_first;
701 cctx_first = cctx; 905 cctx_first = cctx;
702} 906}
703 907
908/** coroutine switching *****************************************************/
909
704/* never call directly, always through the coro_state_transfer global variable */ 910/* never call directly, always through the coro_state_transfer global variable */
705static void NOINLINE 911static void NOINLINE
706transfer (struct coro *prev, struct coro *next) 912transfer (pTHX_ struct coro *prev, struct coro *next)
707{ 913{
708 dSTACKLEVEL; 914 dSTACKLEVEL;
709 915
710 /* sometimes transfer is only called to set idle_sp */ 916 /* sometimes transfer is only called to set idle_sp */
711 if (!next) 917 if (!next)
719 925
720 if (prev->flags & CF_NEW) 926 if (prev->flags & CF_NEW)
721 { 927 {
722 /* create a new empty context */ 928 /* create a new empty context */
723 Newz (0, prev->cctx, 1, coro_cctx); 929 Newz (0, prev->cctx, 1, coro_cctx);
724 prev->cctx->inuse = 1;
725 prev->flags &= ~CF_NEW; 930 prev->flags &= ~CF_NEW;
726 prev->flags |= CF_RUNNING; 931 prev->flags |= CF_RUNNING;
727 } 932 }
728 933
729 /*TODO: must not croak here */ 934 /*TODO: must not croak here */
730 if (!prev->flags & CF_RUNNING) 935 if (!prev->flags & CF_RUNNING)
731 croak ("Coro::State::transfer called with non-running prev Coro::State, but can only transfer from running states"); 936 croak ("Coro::State::transfer called with non-running prev Coro::State, but can only transfer from running states");
732 937
733 if (next->flags & CF_RUNNING) 938 if (next->flags & CF_RUNNING)
734 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states"); 939 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states");
940
941 if (next->flags & CF_DESTROYED)
942 croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states");
735 943
736 prev->flags &= ~CF_RUNNING; 944 prev->flags &= ~CF_RUNNING;
737 next->flags |= CF_RUNNING; 945 next->flags |= CF_RUNNING;
738 946
739 LOCK; 947 LOCK;
741 if (next->flags & CF_NEW) 949 if (next->flags & CF_NEW)
742 { 950 {
743 /* need to start coroutine */ 951 /* need to start coroutine */
744 next->flags &= ~CF_NEW; 952 next->flags &= ~CF_NEW;
745 /* first get rid of the old state */ 953 /* first get rid of the old state */
746 save_perl (prev); 954 save_perl (aTHX_ prev);
747 /* setup coroutine call */ 955 /* setup coroutine call */
748 setup_coro (next); 956 setup_coro (aTHX_ next);
749 /* need a new stack */
750 assert (!next->cctx);
751 } 957 }
752 else 958 else
753 { 959 {
754 /* coroutine already started */ 960 /* coroutine already started */
755 save_perl (prev); 961 save_perl (aTHX_ prev);
756 load_perl (next); 962 load_perl (aTHX_ next);
757 } 963 }
758 964
759 prev__cctx = prev->cctx; 965 prev__cctx = prev->cctx;
760 966
761 /* possibly "free" the cctx */ 967 /* possibly "free" the cctx */
765 assert (("ERROR: current top_env must equal previous top_env", PL_top_env == prev__cctx->idle_te)); 971 assert (("ERROR: current top_env must equal previous top_env", PL_top_env == prev__cctx->idle_te));
766 972
767 prev->cctx = 0; 973 prev->cctx = 0;
768 974
769 cctx_put (prev__cctx); 975 cctx_put (prev__cctx);
770 prev__cctx->inuse = 0;
771 } 976 }
772 977
773 if (!next->cctx) 978 if (!next->cctx)
774 {
775 next->cctx = cctx_get (); 979 next->cctx = cctx_get (aTHX);
776 assert (!next->cctx->inuse);
777 next->cctx->inuse = 1;
778 }
779 980
780 if (prev__cctx != next->cctx) 981 if (prev__cctx != next->cctx)
781 { 982 {
782 prev__cctx->top_env = PL_top_env; 983 prev__cctx->top_env = PL_top_env;
783 PL_top_env = next->cctx->top_env; 984 PL_top_env = next->cctx->top_env;
784 coro_transfer (&prev__cctx->cctx, &next->cctx->cctx); 985 coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);
785 } 986 }
786 987
787 free_coro_mortal (); 988 free_coro_mortal (aTHX);
788
789 UNLOCK; 989 UNLOCK;
790 } 990 }
791} 991}
792 992
793struct transfer_args 993struct transfer_args
794{ 994{
795 struct coro *prev, *next; 995 struct coro *prev, *next;
796}; 996};
797 997
798#define TRANSFER(ta) transfer ((ta).prev, (ta).next) 998#define TRANSFER(ta) transfer (aTHX_ (ta).prev, (ta).next)
799 999
1000/** high level stuff ********************************************************/
1001
800static void 1002static int
801coro_state_destroy (struct coro *coro) 1003coro_state_destroy (pTHX_ struct coro *coro)
802{ 1004{
803 if (coro->refcnt--) 1005 if (coro->flags & CF_DESTROYED)
804 return; 1006 return 0;
1007
1008 coro->flags |= CF_DESTROYED;
1009
1010 if (coro->flags & CF_READY)
1011 {
1012 /* reduce nready, as destroying a ready coro effectively unreadies it */
1013 /* alternative: look through all ready queues and remove the coro */
1014 LOCK;
1015 --coro_nready;
1016 UNLOCK;
1017 }
1018 else
1019 coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
805 1020
806 if (coro->mainstack && coro->mainstack != main_mainstack) 1021 if (coro->mainstack && coro->mainstack != main_mainstack)
807 { 1022 {
808 struct coro temp; 1023 struct coro temp;
1024
1025 assert (!(coro->flags & CF_RUNNING));
1026
809 Zero (&temp, 1, struct coro); 1027 Zero (&temp, 1, struct coro);
810 temp.save = CORO_SAVE_ALL; 1028 temp.save = CORO_SAVE_ALL;
811 1029
812 if (coro->flags & CF_RUNNING) 1030 if (coro->flags & CF_RUNNING)
813 croak ("FATAL: tried to destroy currently running coroutine"); 1031 croak ("FATAL: tried to destroy currently running coroutine");
814 1032
815 save_perl (&temp); 1033 save_perl (aTHX_ &temp);
816 load_perl (coro); 1034 load_perl (aTHX_ coro);
817 1035
818 coro_destroy_stacks (); 1036 coro_destroy_stacks (aTHX);
819 1037
820 load_perl (&temp); /* this will get rid of defsv etc.. */ 1038 load_perl (aTHX_ &temp); /* this will get rid of defsv etc.. */
821 1039
822 coro->mainstack = 0; 1040 coro->mainstack = 0;
823 } 1041 }
824 1042
825 cctx_destroy (coro->cctx); 1043 cctx_destroy (coro->cctx);
826 SvREFCNT_dec (coro->args); 1044 SvREFCNT_dec (coro->args);
827 Safefree (coro); 1045
1046 if (coro->next) coro->next->prev = coro->prev;
1047 if (coro->prev) coro->prev->next = coro->next;
1048 if (coro == coro_first) coro_first = coro->next;
1049
1050 return 1;
828} 1051}
829 1052
830static int 1053static int
831coro_state_clear (pTHX_ SV *sv, MAGIC *mg) 1054coro_state_free (pTHX_ SV *sv, MAGIC *mg)
832{ 1055{
833 struct coro *coro = (struct coro *)mg->mg_ptr; 1056 struct coro *coro = (struct coro *)mg->mg_ptr;
834 mg->mg_ptr = 0; 1057 mg->mg_ptr = 0;
835 1058
1059 coro->hv = 0;
1060
1061 if (--coro->refcnt < 0)
1062 {
836 coro_state_destroy (coro); 1063 coro_state_destroy (aTHX_ coro);
1064 Safefree (coro);
1065 }
837 1066
838 return 0; 1067 return 0;
839} 1068}
840 1069
841static int 1070static int
848 return 0; 1077 return 0;
849} 1078}
850 1079
851static MGVTBL coro_state_vtbl = { 1080static MGVTBL coro_state_vtbl = {
852 0, 0, 0, 0, 1081 0, 0, 0, 0,
853 coro_state_clear, 1082 coro_state_free,
854 0, 1083 0,
855#ifdef MGf_DUP 1084#ifdef MGf_DUP
856 coro_state_dup, 1085 coro_state_dup,
857#else 1086#else
858# define MGf_DUP 0 1087# define MGf_DUP 0
859#endif 1088#endif
860}; 1089};
861 1090
862static struct coro * 1091static struct coro *
863SvSTATE (SV *coro) 1092SvSTATE_ (pTHX_ SV *coro)
864{ 1093{
865 HV *stash; 1094 HV *stash;
866 MAGIC *mg; 1095 MAGIC *mg;
867 1096
868 if (SvROK (coro)) 1097 if (SvROK (coro))
874 /* very slow, but rare, check */ 1103 /* very slow, but rare, check */
875 if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State")) 1104 if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
876 croak ("Coro::State object required"); 1105 croak ("Coro::State object required");
877 } 1106 }
878 1107
879 mg = SvMAGIC (coro); 1108 mg = CORO_MAGIC (coro);
880 assert (mg->mg_type == PERL_MAGIC_ext);
881 return (struct coro *)mg->mg_ptr; 1109 return (struct coro *)mg->mg_ptr;
882} 1110}
883 1111
1112#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
1113
884static void 1114static void
885prepare_transfer (struct transfer_args *ta, SV *prev_sv, SV *next_sv) 1115prepare_transfer (pTHX_ struct transfer_args *ta, SV *prev_sv, SV *next_sv)
886{ 1116{
887 ta->prev = SvSTATE (prev_sv); 1117 ta->prev = SvSTATE (prev_sv);
888 ta->next = SvSTATE (next_sv); 1118 ta->next = SvSTATE (next_sv);
889} 1119}
890 1120
891static void 1121static void
892api_transfer (SV *prev_sv, SV *next_sv) 1122api_transfer (SV *prev_sv, SV *next_sv)
893{ 1123{
1124 dTHX;
894 struct transfer_args ta; 1125 struct transfer_args ta;
895 1126
896 prepare_transfer (&ta, prev_sv, next_sv); 1127 prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
897 TRANSFER (ta); 1128 TRANSFER (ta);
898} 1129}
899 1130
900static int 1131static int
901api_save (SV *coro_sv, int new_save) 1132api_save (SV *coro_sv, int new_save)
902{ 1133{
1134 dTHX;
903 struct coro *coro = SvSTATE (coro_sv); 1135 struct coro *coro = SvSTATE (coro_sv);
904 int old_save = coro->save; 1136 int old_save = coro->save;
905 1137
906 if (new_save >= 0) 1138 if (new_save >= 0)
907 coro->save = new_save; 1139 coro->save = new_save;
909 return old_save; 1141 return old_save;
910} 1142}
911 1143
912/** Coro ********************************************************************/ 1144/** Coro ********************************************************************/
913 1145
914#define PRIO_MAX 3
915#define PRIO_HIGH 1
916#define PRIO_NORMAL 0
917#define PRIO_LOW -1
918#define PRIO_IDLE -3
919#define PRIO_MIN -4
920
921/* for Coro.pm */
922static SV *coro_current;
923static AV *coro_ready [PRIO_MAX-PRIO_MIN+1];
924static int coro_nready;
925
926static void 1146static void
927coro_enq (SV *coro_sv) 1147coro_enq (pTHX_ SV *coro_sv)
928{ 1148{
929 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv); 1149 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv);
930 coro_nready++;
931} 1150}
932 1151
933static SV * 1152static SV *
934coro_deq (int min_prio) 1153coro_deq (pTHX_ int min_prio)
935{ 1154{
936 int prio = PRIO_MAX - PRIO_MIN; 1155 int prio = PRIO_MAX - PRIO_MIN;
937 1156
938 min_prio -= PRIO_MIN; 1157 min_prio -= PRIO_MIN;
939 if (min_prio < 0) 1158 if (min_prio < 0)
940 min_prio = 0; 1159 min_prio = 0;
941 1160
942 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; ) 1161 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
943 if (AvFILLp (coro_ready [prio]) >= 0) 1162 if (AvFILLp (coro_ready [prio]) >= 0)
944 {
945 coro_nready--;
946 return av_shift (coro_ready [prio]); 1163 return av_shift (coro_ready [prio]);
947 }
948 1164
949 return 0; 1165 return 0;
950} 1166}
951 1167
952static int 1168static int
953api_ready (SV *coro_sv) 1169api_ready (SV *coro_sv)
954{ 1170{
1171 dTHX;
955 struct coro *coro; 1172 struct coro *coro;
956 1173
957 if (SvROK (coro_sv)) 1174 if (SvROK (coro_sv))
958 coro_sv = SvRV (coro_sv); 1175 coro_sv = SvRV (coro_sv);
959 1176
963 return 0; 1180 return 0;
964 1181
965 coro->flags |= CF_READY; 1182 coro->flags |= CF_READY;
966 1183
967 LOCK; 1184 LOCK;
968 coro_enq (SvREFCNT_inc (coro_sv)); 1185 coro_enq (aTHX_ SvREFCNT_inc (coro_sv));
1186 ++coro_nready;
969 UNLOCK; 1187 UNLOCK;
970 1188
971 return 1; 1189 return 1;
972} 1190}
973 1191
974static int 1192static int
975api_is_ready (SV *coro_sv) 1193api_is_ready (SV *coro_sv)
976{ 1194{
1195 dTHX;
977 return !!(SvSTATE (coro_sv)->flags & CF_READY); 1196 return !!(SvSTATE (coro_sv)->flags & CF_READY);
978} 1197}
979 1198
980static void 1199static void
981prepare_schedule (struct transfer_args *ta) 1200prepare_schedule (pTHX_ struct transfer_args *ta)
982{ 1201{
983 SV *prev, *next; 1202 SV *prev_sv, *next_sv;
984 1203
985 for (;;) 1204 for (;;)
986 { 1205 {
987 LOCK; 1206 LOCK;
988 next = coro_deq (PRIO_MIN); 1207 next_sv = coro_deq (aTHX_ PRIO_MIN);
1208
1209 /* nothing to schedule: call the idle handler */
1210 if (!next_sv)
1211 {
1212 dSP;
1213 UNLOCK;
1214
1215 ENTER;
1216 SAVETMPS;
1217
1218 PUSHMARK (SP);
1219 PUTBACK;
1220 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD);
1221
1222 FREETMPS;
1223 LEAVE;
1224 continue;
1225 }
1226
1227 ta->next = SvSTATE (next_sv);
1228
1229 /* cannot transfer to destroyed coros, skip and look for next */
1230 if (ta->next->flags & CF_DESTROYED)
1231 {
1232 UNLOCK;
1233 SvREFCNT_dec (next_sv);
1234 /* coro_nready is already taken care of by destroy */
1235 continue;
1236 }
1237
1238 --coro_nready;
989 UNLOCK; 1239 UNLOCK;
990
991 if (next)
992 break; 1240 break;
993
994 {
995 dSP;
996
997 ENTER;
998 SAVETMPS;
999
1000 PUSHMARK (SP);
1001 PUTBACK;
1002 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD);
1003
1004 FREETMPS;
1005 LEAVE;
1006 } 1241 }
1007 }
1008
1009 prev = SvRV (coro_current);
1010 SvRV_set (coro_current, next);
1011 1242
1012 /* free this only after the transfer */ 1243 /* free this only after the transfer */
1013 LOCK; 1244 prev_sv = SvRV (coro_current);
1014 free_coro_mortal (); 1245 SvRV_set (coro_current, next_sv);
1015 UNLOCK;
1016 coro_mortal = prev;
1017
1018 assert (!SvROK(prev));//D
1019 assert (!SvROK(next));//D
1020
1021 ta->prev = SvSTATE (prev); 1246 ta->prev = SvSTATE (prev_sv);
1022 ta->next = SvSTATE (next);
1023 1247
1024 assert (ta->next->flags & CF_READY); 1248 assert (ta->next->flags & CF_READY);
1025 ta->next->flags &= ~CF_READY; 1249 ta->next->flags &= ~CF_READY;
1250
1251 LOCK;
1252 free_coro_mortal (aTHX);
1253 coro_mortal = prev_sv;
1254 UNLOCK;
1026} 1255}
1027 1256
1028static void 1257static void
1029prepare_cede (struct transfer_args *ta) 1258prepare_cede (pTHX_ struct transfer_args *ta)
1030{ 1259{
1031 api_ready (coro_current); 1260 api_ready (coro_current);
1032 prepare_schedule (ta); 1261 prepare_schedule (aTHX_ ta);
1033} 1262}
1034 1263
1035static int 1264static int
1036prepare_cede_notself (struct transfer_args *ta) 1265prepare_cede_notself (pTHX_ struct transfer_args *ta)
1037{ 1266{
1038 if (coro_nready) 1267 if (coro_nready)
1039 { 1268 {
1040 SV *prev = SvRV (coro_current); 1269 SV *prev = SvRV (coro_current);
1041 prepare_schedule (ta); 1270 prepare_schedule (aTHX_ ta);
1042 api_ready (prev); 1271 api_ready (prev);
1043 return 1; 1272 return 1;
1044 } 1273 }
1045 else 1274 else
1046 return 0; 1275 return 0;
1047} 1276}
1048 1277
1049static void 1278static void
1050api_schedule (void) 1279api_schedule (void)
1051{ 1280{
1281 dTHX;
1052 struct transfer_args ta; 1282 struct transfer_args ta;
1053 1283
1054 prepare_schedule (&ta); 1284 prepare_schedule (aTHX_ &ta);
1055 TRANSFER (ta); 1285 TRANSFER (ta);
1056} 1286}
1057 1287
1058static int 1288static int
1059api_cede (void) 1289api_cede (void)
1060{ 1290{
1291 dTHX;
1061 struct transfer_args ta; 1292 struct transfer_args ta;
1062 1293
1063 prepare_cede (&ta); 1294 prepare_cede (aTHX_ &ta);
1064 1295
1065 if (ta.prev != ta.next) 1296 if (ta.prev != ta.next)
1066 { 1297 {
1067 TRANSFER (ta); 1298 TRANSFER (ta);
1068 return 1; 1299 return 1;
1072} 1303}
1073 1304
1074static int 1305static int
1075api_cede_notself (void) 1306api_cede_notself (void)
1076{ 1307{
1308 dTHX;
1077 struct transfer_args ta; 1309 struct transfer_args ta;
1078 1310
1079 if (prepare_cede_notself (&ta)) 1311 if (prepare_cede_notself (aTHX_ &ta))
1080 { 1312 {
1081 TRANSFER (ta); 1313 TRANSFER (ta);
1082 return 1; 1314 return 1;
1083 } 1315 }
1084 else 1316 else
1095 MUTEX_INIT (&coro_mutex); 1327 MUTEX_INIT (&coro_mutex);
1096#endif 1328#endif
1097 BOOT_PAGESIZE; 1329 BOOT_PAGESIZE;
1098 1330
1099 coro_state_stash = gv_stashpv ("Coro::State", TRUE); 1331 coro_state_stash = gv_stashpv ("Coro::State", TRUE);
1332
1333 newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));
1334 newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));
1335 newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));
1336 newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));
1100 1337
1101 newCONSTSUB (coro_state_stash, "SAVE_DEFAV", newSViv (CORO_SAVE_DEFAV)); 1338 newCONSTSUB (coro_state_stash, "SAVE_DEFAV", newSViv (CORO_SAVE_DEFAV));
1102 newCONSTSUB (coro_state_stash, "SAVE_DEFSV", newSViv (CORO_SAVE_DEFSV)); 1339 newCONSTSUB (coro_state_stash, "SAVE_DEFSV", newSViv (CORO_SAVE_DEFSV));
1103 newCONSTSUB (coro_state_stash, "SAVE_ERRSV", newSViv (CORO_SAVE_ERRSV)); 1340 newCONSTSUB (coro_state_stash, "SAVE_ERRSV", newSViv (CORO_SAVE_ERRSV));
1104 newCONSTSUB (coro_state_stash, "SAVE_IRSSV", newSViv (CORO_SAVE_IRSSV)); 1341 newCONSTSUB (coro_state_stash, "SAVE_IRSSV", newSViv (CORO_SAVE_IRSSV));
1342 newCONSTSUB (coro_state_stash, "SAVE_DEFFH", newSViv (CORO_SAVE_DEFFH));
1343 newCONSTSUB (coro_state_stash, "SAVE_DEF", newSViv (CORO_SAVE_DEF));
1105 newCONSTSUB (coro_state_stash, "SAVE_ALL", newSViv (CORO_SAVE_ALL)); 1344 newCONSTSUB (coro_state_stash, "SAVE_ALL", newSViv (CORO_SAVE_ALL));
1106 1345
1107 main_mainstack = PL_mainstack; 1346 main_mainstack = PL_mainstack;
1347 main_top_env = PL_top_env;
1348
1349 while (main_top_env->je_prev)
1350 main_top_env = main_top_env->je_prev;
1108 1351
1109 coroapi.ver = CORO_API_VERSION; 1352 coroapi.ver = CORO_API_VERSION;
1110 coroapi.transfer = api_transfer; 1353 coroapi.transfer = api_transfer;
1111 1354
1112 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL)); 1355 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
1120 HV *hv; 1363 HV *hv;
1121 int i; 1364 int i;
1122 1365
1123 Newz (0, coro, 1, struct coro); 1366 Newz (0, coro, 1, struct coro);
1124 coro->args = newAV (); 1367 coro->args = newAV ();
1125 coro->save = CORO_SAVE_ALL; 1368 coro->save = CORO_SAVE_DEF;
1126 coro->flags = CF_NEW; 1369 coro->flags = CF_NEW;
1127 1370
1371 if (coro_first) coro_first->prev = coro;
1372 coro->next = coro_first;
1373 coro_first = coro;
1374
1128 hv = newHV (); 1375 coro->hv = hv = newHV ();
1129 sv_magicext ((SV *)hv, 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro, 0)->mg_flags |= MGf_DUP; 1376 sv_magicext ((SV *)hv, 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro, 0)->mg_flags |= MGf_DUP;
1130 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1)); 1377 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
1131 1378
1132 for (i = 1; i < items; i++) 1379 for (i = 1; i < items; i++)
1133 av_push (coro->args, newSVsv (ST (i))); 1380 av_push (coro->args, newSVsv (ST (i)));
1137 1384
1138int 1385int
1139save (SV *coro, int new_save = -1) 1386save (SV *coro, int new_save = -1)
1140 CODE: 1387 CODE:
1141 RETVAL = api_save (coro, new_save); 1388 RETVAL = api_save (coro, new_save);
1389 OUTPUT:
1390 RETVAL
1391
1392int
1393save_also (SV *coro_sv, int save_also)
1394 CODE:
1395{
1396 struct coro *coro = SvSTATE (coro_sv);
1397 RETVAL = coro->save;
1398 coro->save |= save_also;
1399}
1142 OUTPUT: 1400 OUTPUT:
1143 RETVAL 1401 RETVAL
1144 1402
1145void 1403void
1146_set_stacklevel (...) 1404_set_stacklevel (...)
1162 1420
1163 case 1: 1421 case 1:
1164 if (items != 2) 1422 if (items != 2)
1165 croak ("Coro::State::transfer (prev,next) expects two arguments, not %d", items); 1423 croak ("Coro::State::transfer (prev,next) expects two arguments, not %d", items);
1166 1424
1167 prepare_transfer (&ta, ST (0), ST (1)); 1425 prepare_transfer (aTHX_ &ta, ST (0), ST (1));
1168 break; 1426 break;
1169 1427
1170 case 2: 1428 case 2:
1171 prepare_schedule (&ta); 1429 prepare_schedule (aTHX_ &ta);
1172 break; 1430 break;
1173 1431
1174 case 3: 1432 case 3:
1175 prepare_cede (&ta); 1433 prepare_cede (aTHX_ &ta);
1176 break; 1434 break;
1177 1435
1178 case 4: 1436 case 4:
1179 if (!prepare_cede_notself (&ta)) 1437 if (!prepare_cede_notself (aTHX_ &ta))
1180 XSRETURN_EMPTY; 1438 XSRETURN_EMPTY;
1181 1439
1182 break; 1440 break;
1183 } 1441 }
1184 1442
1185 BARRIER; 1443 BARRIER;
1186 TRANSFER (ta); 1444 TRANSFER (ta);
1187}
1188 1445
1189void 1446 if (GIMME_V != G_VOID && ta.next != ta.prev)
1190_clone_state_from (SV *dst, SV *src) 1447 XSRETURN_YES;
1448}
1449
1450bool
1451_destroy (SV *coro_sv)
1191 CODE: 1452 CODE:
1192{ 1453 RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
1193 struct coro *coro_src = SvSTATE (src); 1454 OUTPUT:
1194 1455 RETVAL
1195 sv_unmagic (SvRV (dst), PERL_MAGIC_ext);
1196
1197 ++coro_src->refcnt;
1198 sv_magicext (SvRV (dst), 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro_src, 0)->mg_flags |= MGf_DUP;
1199}
1200 1456
1201void 1457void
1202_exit (code) 1458_exit (code)
1203 int code 1459 int code
1204 PROTOTYPE: $ 1460 PROTOTYPE: $
1205 CODE: 1461 CODE:
1206 _exit (code); 1462 _exit (code);
1207 1463
1208int 1464int
1465cctx_stacksize (int new_stacksize = 0)
1466 CODE:
1467 RETVAL = coro_stacksize;
1468 if (new_stacksize)
1469 coro_stacksize = new_stacksize;
1470 OUTPUT:
1471 RETVAL
1472
1473int
1209cctx_count () 1474cctx_count ()
1210 CODE: 1475 CODE:
1211 RETVAL = cctx_count; 1476 RETVAL = cctx_count;
1212 OUTPUT: 1477 OUTPUT:
1213 RETVAL 1478 RETVAL
1217 CODE: 1482 CODE:
1218 RETVAL = cctx_idle; 1483 RETVAL = cctx_idle;
1219 OUTPUT: 1484 OUTPUT:
1220 RETVAL 1485 RETVAL
1221 1486
1487void
1488list ()
1489 PPCODE:
1490{
1491 struct coro *coro;
1492 for (coro = coro_first; coro; coro = coro->next)
1493 if (coro->hv)
1494 XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
1495}
1496
1497void
1498call (Coro::State coro, SV *coderef)
1499 ALIAS:
1500 eval = 1
1501 CODE:
1502{
1503 if (coro->mainstack)
1504 {
1505 struct coro temp;
1506 Zero (&temp, 1, struct coro);
1507 temp.save = CORO_SAVE_ALL;
1508
1509 if (!(coro->flags & CF_RUNNING))
1510 {
1511 save_perl (aTHX_ &temp);
1512 load_perl (aTHX_ coro);
1513 }
1514
1515 {
1516 dSP;
1517 ENTER;
1518 SAVETMPS;
1519 PUSHMARK (SP);
1520 PUTBACK;
1521 if (ix)
1522 eval_sv (coderef, 0);
1523 else
1524 call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1525 SPAGAIN;
1526 FREETMPS;
1527 LEAVE;
1528 PUTBACK;
1529 }
1530
1531 if (!(coro->flags & CF_RUNNING))
1532 {
1533 save_perl (aTHX_ coro);
1534 load_perl (aTHX_ &temp);
1535 }
1536 }
1537}
1538
1539SV *
1540is_ready (Coro::State coro)
1541 PROTOTYPE: $
1542 ALIAS:
1543 is_ready = CF_READY
1544 is_running = CF_RUNNING
1545 is_new = CF_NEW
1546 is_destroyed = CF_DESTROYED
1547 CODE:
1548 RETVAL = boolSV (coro->flags & ix);
1549 OUTPUT:
1550 RETVAL
1551
1552void
1553trace (Coro::State coro, int flags = CC_TRACE | CC_TRACE_SUB)
1554 CODE:
1555 if (flags & CC_TRACE)
1556 {
1557 if (!coro->cctx)
1558 coro->cctx = cctx_new ();
1559 else if (!(coro->cctx->flags & CC_TRACE))
1560 croak ("cannot enable tracing on coroutine with custom stack");
1561
1562 coro->cctx->flags |= flags & (CC_TRACE | CC_TRACE_ALL);
1563 }
1564 else
1565 if (coro->cctx && coro->cctx->flags & CC_TRACE)
1566 {
1567 coro->cctx->flags &= ~(CC_TRACE | CC_TRACE_ALL);
1568 coro->cctx->flags |= CC_NOREUSE;
1569 }
1570
1571SV *
1572has_stack (Coro::State coro)
1573 PROTOTYPE: $
1574 CODE:
1575 RETVAL = boolSV (!!coro->cctx);
1576 OUTPUT:
1577 RETVAL
1578
1579int
1580is_traced (Coro::State coro)
1581 PROTOTYPE: $
1582 CODE:
1583 RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL;
1584 OUTPUT:
1585 RETVAL
1586
1587IV
1588rss (Coro::State coro)
1589 PROTOTYPE: $
1590 CODE:
1591 RETVAL = coro_rss (coro);
1592 OUTPUT:
1593 RETVAL
1594
1595
1222MODULE = Coro::State PACKAGE = Coro 1596MODULE = Coro::State PACKAGE = Coro
1223 1597
1224BOOT: 1598BOOT:
1225{ 1599{
1226 int i; 1600 int i;
1601
1602 sv_pool_rss = get_sv ("Coro::POOL_RSS" , TRUE);
1603 sv_pool_size = get_sv ("Coro::POOL_SIZE" , TRUE);
1604 av_async_pool = get_av ("Coro::async_pool", TRUE);
1605
1606 coro_current = get_sv ("Coro::current", FALSE);
1607 SvREADONLY_on (coro_current);
1227 1608
1228 coro_stash = gv_stashpv ("Coro", TRUE); 1609 coro_stash = gv_stashpv ("Coro", TRUE);
1229 1610
1230 newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX)); 1611 newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));
1231 newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH)); 1612 newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
1232 newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL)); 1613 newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
1233 newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW)); 1614 newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));
1234 newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE)); 1615 newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
1235 newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN)); 1616 newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));
1236
1237 coro_current = get_sv ("Coro::current", FALSE);
1238 SvREADONLY_on (coro_current);
1239 1617
1240 for (i = PRIO_MAX - PRIO_MIN + 1; i--; ) 1618 for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
1241 coro_ready[i] = newAV (); 1619 coro_ready[i] = newAV ();
1242 1620
1243 { 1621 {
1293 CODE: 1671 CODE:
1294 RETVAL = boolSV (api_ready (self)); 1672 RETVAL = boolSV (api_ready (self));
1295 OUTPUT: 1673 OUTPUT:
1296 RETVAL 1674 RETVAL
1297 1675
1298SV *
1299is_ready (SV *self)
1300 PROTOTYPE: $
1301 CODE:
1302 RETVAL = boolSV (api_is_ready (self));
1303 OUTPUT:
1304 RETVAL
1305
1306int 1676int
1307nready (...) 1677nready (...)
1308 PROTOTYPE: 1678 PROTOTYPE:
1309 CODE: 1679 CODE:
1310 RETVAL = coro_nready; 1680 RETVAL = coro_nready;
1311 OUTPUT: 1681 OUTPUT:
1312 RETVAL 1682 RETVAL
1313 1683
1684# for async_pool speedup
1685void
1686_pool_1 (SV *cb)
1687 CODE:
1688{
1689 int i, len;
1690 HV *hv = (HV *)SvRV (coro_current);
1691 AV *defav = GvAV (PL_defgv);
1692 SV *invoke = hv_delete (hv, "_invoke", sizeof ("_invoke") - 1, 0);
1693 AV *invoke_av;
1694
1695 if (!invoke)
1696 croak ("\3terminate\2\n");
1697
1698 hv_store (hv, "desc", sizeof ("desc") - 1,
1699 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
1700
1701 invoke_av = (AV *)SvRV (invoke);
1702 len = av_len (invoke_av);
1703
1704 sv_setsv (cb, AvARRAY (invoke_av)[0]);
1705
1706 if (len > 0)
1707 {
1708 av_fill (defav, len - 1);
1709 for (i = 0; i < len; ++i)
1710 av_store (defav, i, SvREFCNT_inc (AvARRAY (invoke_av)[i + 1]));
1711 }
1712
1713 SvREFCNT_dec (invoke);
1714}
1715
1716void
1717_pool_2 (SV *cb)
1718 CODE:
1719{
1720 struct coro *coro = SvSTATE (coro_current);
1721
1722 sv_setsv (cb, &PL_sv_undef);
1723
1724 if (coro_rss (coro) > SvIV (sv_pool_rss)
1725 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
1726 croak ("\3terminate\2\n");
1727
1728 av_clear (GvAV (PL_defgv));
1729 hv_store ((HV *)SvRV (coro_current), "desc", sizeof ("desc") - 1,
1730 newSVpvn ("[async_pool idle]", sizeof ("[async_pool idle]") - 1), 0);
1731 coro->save = CORO_SAVE_DEF;
1732 coro->prio = 0;
1733 av_push (av_async_pool, newSVsv (coro_current));
1734}
1735
1736
1314MODULE = Coro::State PACKAGE = Coro::AIO 1737MODULE = Coro::State PACKAGE = Coro::AIO
1315 1738
1316SV * 1739SV *
1317_get_state () 1740_get_state ()
1318 CODE: 1741 CODE:

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines