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.98 by root, Sun Nov 26 21:25:53 2006 UTC vs.
Revision 1.119 by root, Sat Dec 2 15:41:28 2006 UTC

4#include "perl.h" 4#include "perl.h"
5#include "XSUB.h" 5#include "XSUB.h"
6 6
7#include "patchlevel.h" 7#include "patchlevel.h"
8 8
9#if PERL_VERSION < 6 9#if USE_VALGRIND
10# include <valgrind/valgrind.h>
11#endif
12
13/* the maximum number of idle cctx that will be pooled */
14#define MAX_IDLE_CCTX 8
15
16#define PERL_VERSION_ATLEAST(a,b,c) \
17 (PERL_REVISION > (a) \
18 || (PERL_REVISION == (a) \
19 && (PERL_VERSION > (b) \
20 || (PERL_VERSION == (b) && PERLSUBVERSION >= (c)))))
21
22#if !PERL_VERSION_ATLEAST (5,6,0)
10# ifndef PL_ppaddr 23# ifndef PL_ppaddr
11# define PL_ppaddr ppaddr 24# define PL_ppaddr ppaddr
12# endif 25# endif
13# ifndef call_sv 26# ifndef call_sv
14# define call_sv perl_call_sv 27# define call_sv perl_call_sv
52# ifndef PAGESIZE 65# ifndef PAGESIZE
53# define PAGESIZE pagesize 66# define PAGESIZE pagesize
54# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE) 67# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE)
55static long pagesize; 68static long pagesize;
56# else 69# else
57# define BOOT_PAGESIZE 70# define BOOT_PAGESIZE (void)0
58# endif 71# endif
72#else
73# define PAGESIZE 0
74# define BOOT_PAGESIZE (void)0
59#endif 75#endif
60 76
61/* The next macro should declare a variable stacklevel that contains and approximation 77/* The next macro should declare a variable stacklevel that contains and approximation
62 * to the current C stack pointer. Its property is that it changes with each call 78 * to the current C stack pointer. Its property is that it changes with each call
63 * and should be unique. */ 79 * and should be unique. */
64#define dSTACKLEVEL int stacklevel 80#define dSTACKLEVEL int stacklevel
65#define STACKLEVEL ((void *)&stacklevel) 81#define STACKLEVEL ((void *)&stacklevel)
66 82
67#define IN_DESTRUCT (PL_main_cv == Nullcv) 83#define IN_DESTRUCT (PL_main_cv == Nullcv)
84
85#if __GNUC__ >= 3
86# define attribute(x) __attribute__(x)
87#else
88# define attribute(x)
89#endif
90
91#define NOINLINE attribute ((noinline))
68 92
69#include "CoroAPI.h" 93#include "CoroAPI.h"
70 94
71#define TRANSFER_SET_STACKLEVEL 0x8bfbfbfb /* magic cookie */ 95#define TRANSFER_SET_STACKLEVEL 0x8bfbfbfb /* magic cookie */
72 96
82static struct CoroAPI coroapi; 106static struct CoroAPI coroapi;
83static AV *main_mainstack; /* used to differentiate between $main and others */ 107static AV *main_mainstack; /* used to differentiate between $main and others */
84static HV *coro_state_stash, *coro_stash; 108static HV *coro_state_stash, *coro_stash;
85static SV *coro_mortal; /* will be freed after next transfer */ 109static SV *coro_mortal; /* will be freed after next transfer */
86 110
111static struct coro_cctx *cctx_first;
112static int cctx_count, cctx_idle;
113
87/* this is a structure representing a c-level coroutine */ 114/* this is a structure representing a c-level coroutine */
88typedef struct coro_stack { 115typedef struct coro_cctx {
89 struct coro_stack *next; 116 struct coro_cctx *next;
90 117
91 /* the stack */ 118 /* the stack */
92 void *sptr; 119 void *sptr;
93 long ssize; /* positive == mmap, otherwise malloc */ 120 long ssize; /* positive == mmap, otherwise malloc */
94 121
95 /* cpu state */ 122 /* cpu state */
96 void *idle_sp; /* sp of top-level transfer/schedule/cede call */ 123 void *idle_sp; /* sp of top-level transfer/schedule/cede call */
97 JMPENV *top_env; 124 JMPENV *top_env;
98 coro_context cctx; 125 coro_context cctx;
99} coro_stack; 126
127 int inuse;
128
129#if USE_VALGRIND
130 int valgrind_id;
131#endif
132} coro_cctx;
133
134enum {
135 CF_RUNNING = 0x0001, /* coroutine is running */
136 CF_READY = 0x0002, /* coroutine is ready */
137 CF_NEW = 0x0004, /* ahs never been switched to */
138};
100 139
101/* this is a structure representing a perl-level coroutine */ 140/* this is a structure representing a perl-level coroutine */
102struct coro { 141struct coro {
103 /* the c coroutine allocated to this perl coroutine, if any */ 142 /* the c coroutine allocated to this perl coroutine, if any */
104 coro_stack *stack; 143 coro_cctx *cctx;
105 144
106 /* data associated with this coroutine (initial args) */ 145 /* data associated with this coroutine (initial args) */
107 AV *args; 146 AV *args;
108 int refcnt; 147 int refcnt;
148 int flags;
109 149
110 /* optionally saved, might be zero */ 150 /* optionally saved, might be zero */
111 AV *defav; 151 AV *defav;
112 SV *defsv; 152 SV *defsv;
113 SV *errsv; 153 SV *errsv;
114 154
115 /* saved global state not related to stacks */ 155#define VAR(name,type) type name;
116 U8 dowarn; 156# include "state.h"
117 I32 in_eval; 157#undef VAR
118
119 /* the stacks and related info (callchain etc..) */
120 PERL_SI *curstackinfo;
121 AV *curstack;
122 AV *mainstack;
123 SV **stack_sp;
124 OP *op;
125 SV **curpad;
126 AV *comppad;
127 CV *compcv;
128 SV **stack_base;
129 SV **stack_max;
130 SV **tmps_stack;
131 I32 tmps_floor;
132 I32 tmps_ix;
133 I32 tmps_max;
134 I32 *markstack;
135 I32 *markstack_ptr;
136 I32 *markstack_max;
137 I32 *scopestack;
138 I32 scopestack_ix;
139 I32 scopestack_max;
140 ANY *savestack;
141 I32 savestack_ix;
142 I32 savestack_max;
143 OP **retstack;
144 I32 retstack_ix;
145 I32 retstack_max;
146 PMOP *curpm;
147 COP *curcop;
148 158
149 /* coro process data */ 159 /* coro process data */
150 int prio; 160 int prio;
151}; 161};
152 162
159 AV *padlist = CvPADLIST (cv); 169 AV *padlist = CvPADLIST (cv);
160 AV *newpadlist, *newpad; 170 AV *newpadlist, *newpad;
161 171
162 newpadlist = newAV (); 172 newpadlist = newAV ();
163 AvREAL_off (newpadlist); 173 AvREAL_off (newpadlist);
164#if PERL_VERSION < 9 174#if PERL_VERSION_ATLEAST (5,9,0)
175 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
176#else
165 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1); 177 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
166#else
167 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
168#endif 178#endif
169 newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)]; 179 newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
170 --AvFILLp (padlist); 180 --AvFILLp (padlist);
171 181
172 av_store (newpadlist, 0, SvREFCNT_inc (*av_fetch (padlist, 0, FALSE))); 182 av_store (newpadlist, 0, SvREFCNT_inc (*av_fetch (padlist, 0, FALSE)));
216 226
217#define PERL_MAGIC_coro PERL_MAGIC_ext 227#define PERL_MAGIC_coro PERL_MAGIC_ext
218 228
219static MGVTBL vtbl_coro = {0, 0, 0, 0, coro_cv_free}; 229static MGVTBL vtbl_coro = {0, 0, 0, 0, coro_cv_free};
220 230
231#define CORO_MAGIC(cv) \
232 SvMAGIC (cv) \
233 ? SvMAGIC (cv)->mg_type == PERL_MAGIC_coro \
234 ? SvMAGIC (cv) \
235 : mg_find ((SV *)cv, PERL_MAGIC_coro) \
236 : 0
237
221/* the next two functions merely cache the padlists */ 238/* the next two functions merely cache the padlists */
222static void 239static void
223get_padlist (CV *cv) 240get_padlist (CV *cv)
224{ 241{
225 MAGIC *mg = mg_find ((SV *)cv, PERL_MAGIC_coro); 242 MAGIC *mg = CORO_MAGIC (cv);
243 AV *av;
226 244
227 if (mg && AvFILLp ((AV *)mg->mg_obj) >= 0) 245 if (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0)
228 CvPADLIST (cv) = (AV *)av_pop ((AV *)mg->mg_obj); 246 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];
229 else 247 else
230 { 248 {
231#if 0 249#if 0
232 /* this is probably cleaner, but also slower? */ 250 /* this is probably cleaner, but also slower? */
233 CV *cp = Perl_cv_clone (cv); 251 CV *cp = Perl_cv_clone (cv);
241} 259}
242 260
243static void 261static void
244put_padlist (CV *cv) 262put_padlist (CV *cv)
245{ 263{
246 MAGIC *mg = mg_find ((SV *)cv, PERL_MAGIC_coro); 264 MAGIC *mg = CORO_MAGIC (cv);
265 AV *av;
247 266
248 if (!mg) 267 if (!mg)
249 { 268 {
250 sv_magic ((SV *)cv, 0, PERL_MAGIC_coro, 0, 0); 269 sv_magic ((SV *)cv, 0, PERL_MAGIC_coro, 0, 0);
251 mg = mg_find ((SV *)cv, PERL_MAGIC_coro); 270 mg = mg_find ((SV *)cv, PERL_MAGIC_coro);
252 mg->mg_virtual = &vtbl_coro; 271 mg->mg_virtual = &vtbl_coro;
253 mg->mg_obj = (SV *)newAV (); 272 mg->mg_obj = (SV *)newAV ();
254 } 273 }
255 274
256 av_push ((AV *)mg->mg_obj, (SV *)CvPADLIST (cv)); 275 av = (AV *)mg->mg_obj;
276
277 if (AvFILLp (av) >= AvMAX (av))
278 av_extend (av, AvMAX (av) + 1);
279
280 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
257} 281}
258 282
259#define SB do { 283#define SB do {
260#define SE } while (0) 284#define SE } while (0)
261 285
262#define LOAD(state) load_state((state)); 286#define LOAD(state) load_state ((state))
263#define SAVE(state,flags) save_state((state),(flags)); 287#define SAVE(state,flags) save_state ((state),(flags))
264 288
265#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); (val) = 0; SE 289#define REPLACE_SV(sv,val) SB SvREFCNT_dec (sv); (sv) = (val); (val) = 0; SE
266 290
267static void 291static void
268load_state(Coro__State c) 292load_state (Coro__State c)
269{ 293{
270 PL_dowarn = c->dowarn; 294#define VAR(name,type) PL_ ## name = c->name;
271 PL_in_eval = c->in_eval; 295# include "state.h"
272 296#undef VAR
273 PL_curstackinfo = c->curstackinfo;
274 PL_curstack = c->curstack;
275 PL_mainstack = c->mainstack;
276 PL_stack_sp = c->stack_sp;
277 PL_op = c->op;
278 PL_curpad = c->curpad;
279 PL_comppad = c->comppad;
280 PL_compcv = c->compcv;
281 PL_stack_base = c->stack_base;
282 PL_stack_max = c->stack_max;
283 PL_tmps_stack = c->tmps_stack;
284 PL_tmps_floor = c->tmps_floor;
285 PL_tmps_ix = c->tmps_ix;
286 PL_tmps_max = c->tmps_max;
287 PL_markstack = c->markstack;
288 PL_markstack_ptr = c->markstack_ptr;
289 PL_markstack_max = c->markstack_max;
290 PL_scopestack = c->scopestack;
291 PL_scopestack_ix = c->scopestack_ix;
292 PL_scopestack_max = c->scopestack_max;
293 PL_savestack = c->savestack;
294 PL_savestack_ix = c->savestack_ix;
295 PL_savestack_max = c->savestack_max;
296#if PERL_VERSION < 9
297 PL_retstack = c->retstack;
298 PL_retstack_ix = c->retstack_ix;
299 PL_retstack_max = c->retstack_max;
300#endif
301 PL_curpm = c->curpm;
302 PL_curcop = c->curcop;
303 297
304 if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav); 298 if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav);
305 if (c->defsv) REPLACE_SV (DEFSV , c->defsv); 299 if (c->defsv) REPLACE_SV (DEFSV , c->defsv);
306 if (c->errsv) REPLACE_SV (ERRSV , c->errsv); 300 if (c->errsv) REPLACE_SV (ERRSV , c->errsv);
307 301
310 CV *cv; 304 CV *cv;
311 305
312 /* now do the ugly restore mess */ 306 /* now do the ugly restore mess */
313 while ((cv = (CV *)POPs)) 307 while ((cv = (CV *)POPs))
314 { 308 {
315 AV *padlist = (AV *)POPs;
316
317 if (padlist)
318 {
319 put_padlist (cv); /* mark this padlist as available */ 309 put_padlist (cv); /* mark this padlist as available */
320 CvPADLIST(cv) = padlist; 310 CvDEPTH (cv) = PTR2IV (POPs);
321 } 311 CvPADLIST (cv) = (AV *)POPs;
322
323 ++CvDEPTH(cv);
324 } 312 }
325 313
326 PUTBACK; 314 PUTBACK;
327 } 315 }
328} 316}
329 317
330static void 318static void
331save_state(Coro__State c, int flags) 319save_state (Coro__State c, int flags)
332{ 320{
333 { 321 {
334 dSP; 322 dSP;
335 I32 cxix = cxstack_ix; 323 I32 cxix = cxstack_ix;
336 PERL_CONTEXT *ccstk = cxstack; 324 PERL_CONTEXT *ccstk = cxstack;
347 { 335 {
348 while (cxix >= 0) 336 while (cxix >= 0)
349 { 337 {
350 PERL_CONTEXT *cx = &ccstk[cxix--]; 338 PERL_CONTEXT *cx = &ccstk[cxix--];
351 339
352 if (CxTYPE(cx) == CXt_SUB) 340 if (CxTYPE (cx) == CXt_SUB)
353 { 341 {
354 CV *cv = cx->blk_sub.cv; 342 CV *cv = cx->blk_sub.cv;
343
355 if (CvDEPTH(cv)) 344 if (CvDEPTH (cv))
356 { 345 {
357 EXTEND (SP, CvDEPTH(cv)*2); 346 EXTEND (SP, 3);
358 347
359 while (--CvDEPTH(cv))
360 {
361 /* this tells the restore code to increment CvDEPTH */
362 PUSHs (Nullsv);
363 PUSHs ((SV *)cv);
364 }
365
366 PUSHs ((SV *)CvPADLIST(cv)); 348 PUSHs ((SV *)CvPADLIST (cv));
349 PUSHs (INT2PTR (SV *, CvDEPTH (cv)));
367 PUSHs ((SV *)cv); 350 PUSHs ((SV *)cv);
368 351
352 CvDEPTH (cv) = 0;
369 get_padlist (cv); 353 get_padlist (cv);
370 } 354 }
371 } 355 }
372#ifdef CXt_FORMAT 356#ifdef CXt_FORMAT
373 else if (CxTYPE(cx) == CXt_FORMAT) 357 else if (CxTYPE (cx) == CXt_FORMAT)
374 { 358 {
375 /* I never used formats, so how should I know how these are implemented? */ 359 /* I never used formats, so how should I know how these are implemented? */
376 /* my bold guess is as a simple, plain sub... */ 360 /* my bold guess is as a simple, plain sub... */
377 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats"); 361 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats");
378 } 362 }
392 376
393 c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0; 377 c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0;
394 c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0; 378 c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0;
395 c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0; 379 c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0;
396 380
397 c->dowarn = PL_dowarn; 381#define VAR(name,type)c->name = PL_ ## name;
398 c->in_eval = PL_in_eval; 382# include "state.h"
399 383#undef VAR
400 c->curstackinfo = PL_curstackinfo;
401 c->curstack = PL_curstack;
402 c->mainstack = PL_mainstack;
403 c->stack_sp = PL_stack_sp;
404 c->op = PL_op;
405 c->curpad = PL_curpad;
406 c->comppad = PL_comppad;
407 c->compcv = PL_compcv;
408 c->stack_base = PL_stack_base;
409 c->stack_max = PL_stack_max;
410 c->tmps_stack = PL_tmps_stack;
411 c->tmps_floor = PL_tmps_floor;
412 c->tmps_ix = PL_tmps_ix;
413 c->tmps_max = PL_tmps_max;
414 c->markstack = PL_markstack;
415 c->markstack_ptr = PL_markstack_ptr;
416 c->markstack_max = PL_markstack_max;
417 c->scopestack = PL_scopestack;
418 c->scopestack_ix = PL_scopestack_ix;
419 c->scopestack_max = PL_scopestack_max;
420 c->savestack = PL_savestack;
421 c->savestack_ix = PL_savestack_ix;
422 c->savestack_max = PL_savestack_max;
423#if PERL_VERSION < 9
424 c->retstack = PL_retstack;
425 c->retstack_ix = PL_retstack_ix;
426 c->retstack_max = PL_retstack_max;
427#endif
428 c->curpm = PL_curpm;
429 c->curcop = PL_curcop;
430} 384}
431 385
432/* 386/*
433 * allocate various perl stacks. This is an exact copy 387 * allocate various perl stacks. This is an exact copy
434 * of perl.c:init_stacks, except that it uses less memory 388 * of perl.c:init_stacks, except that it uses less memory
436 * not usually need a lot of stackspace. 390 * not usually need a lot of stackspace.
437 */ 391 */
438static void 392static void
439coro_init_stacks () 393coro_init_stacks ()
440{ 394{
441 LOCK;
442
443 PL_curstackinfo = new_stackinfo(96, 1024/sizeof(PERL_CONTEXT) - 1); 395 PL_curstackinfo = new_stackinfo(128, 1024/sizeof(PERL_CONTEXT));
444 PL_curstackinfo->si_type = PERLSI_MAIN; 396 PL_curstackinfo->si_type = PERLSI_MAIN;
445 PL_curstack = PL_curstackinfo->si_stack; 397 PL_curstack = PL_curstackinfo->si_stack;
446 PL_mainstack = PL_curstack; /* remember in case we switch stacks */ 398 PL_mainstack = PL_curstack; /* remember in case we switch stacks */
447 399
448 PL_stack_base = AvARRAY(PL_curstack); 400 PL_stack_base = AvARRAY(PL_curstack);
449 PL_stack_sp = PL_stack_base; 401 PL_stack_sp = PL_stack_base;
450 PL_stack_max = PL_stack_base + AvMAX(PL_curstack); 402 PL_stack_max = PL_stack_base + AvMAX(PL_curstack);
451 403
452 New(50,PL_tmps_stack,96,SV*); 404 New(50,PL_tmps_stack,128,SV*);
453 PL_tmps_floor = -1; 405 PL_tmps_floor = -1;
454 PL_tmps_ix = -1; 406 PL_tmps_ix = -1;
455 PL_tmps_max = 96; 407 PL_tmps_max = 128;
456 408
457 New(54,PL_markstack,16,I32); 409 New(54,PL_markstack,32,I32);
458 PL_markstack_ptr = PL_markstack; 410 PL_markstack_ptr = PL_markstack;
459 PL_markstack_max = PL_markstack + 16; 411 PL_markstack_max = PL_markstack + 32;
460 412
461#ifdef SET_MARK_OFFSET 413#ifdef SET_MARK_OFFSET
462 SET_MARK_OFFSET; 414 SET_MARK_OFFSET;
463#endif 415#endif
464 416
465 New(54,PL_scopestack,16,I32); 417 New(54,PL_scopestack,32,I32);
466 PL_scopestack_ix = 0; 418 PL_scopestack_ix = 0;
467 PL_scopestack_max = 16; 419 PL_scopestack_max = 32;
468 420
469 New(54,PL_savestack,96,ANY); 421 New(54,PL_savestack,64,ANY);
470 PL_savestack_ix = 0; 422 PL_savestack_ix = 0;
471 PL_savestack_max = 96; 423 PL_savestack_max = 64;
472 424
473#if PERL_VERSION < 9 425#if !PERL_VERSION_ATLEAST (5,9,0)
474 New(54,PL_retstack,8,OP*); 426 New(54,PL_retstack,16,OP*);
475 PL_retstack_ix = 0; 427 PL_retstack_ix = 0;
476 PL_retstack_max = 8; 428 PL_retstack_max = 16;
477#endif 429#endif
478
479 UNLOCK;
480} 430}
481 431
482/* 432/*
483 * destroy the stacks, the callchain etc... 433 * destroy the stacks, the callchain etc...
484 */ 434 */
485static void 435static void
486destroy_stacks() 436coro_destroy_stacks ()
487{ 437{
488 if (!IN_DESTRUCT) 438 if (!IN_DESTRUCT)
489 { 439 {
490 /* is this ugly, I ask? */ 440 /* is this ugly, I ask? */
491 LEAVE_SCOPE (0); 441 LEAVE_SCOPE (0);
522 472
523 Safefree (PL_tmps_stack); 473 Safefree (PL_tmps_stack);
524 Safefree (PL_markstack); 474 Safefree (PL_markstack);
525 Safefree (PL_scopestack); 475 Safefree (PL_scopestack);
526 Safefree (PL_savestack); 476 Safefree (PL_savestack);
527#if PERL_VERSION < 9 477#if !PERL_VERSION_ATLEAST (5,9,0)
528 Safefree (PL_retstack); 478 Safefree (PL_retstack);
529#endif 479#endif
530} 480}
531 481
532static void 482static void
533setup_coro (struct coro *coro) 483setup_coro (struct coro *coro)
534{ 484{
535 /* 485 /*
536 * emulate part of the perl startup here. 486 * emulate part of the perl startup here.
537 */ 487 */
538 dTHX;
539 dSP;
540 UNOP myop;
541 SV *sub_init = (SV *)get_cv ("Coro::State::coro_init", FALSE);
542 488
543 coro_init_stacks (); 489 coro_init_stacks ();
544 /*PL_curcop = 0;*/ 490
545 /*PL_in_eval = PL_in_eval;*/ /* inherit */ 491 PL_curcop = &PL_compiling;
492 PL_in_eval = EVAL_NULL;
493 PL_curpm = 0;
494 PL_localizing = 0;
495 PL_dirty = 0;
496 PL_restartop = 0;
497
498 {
499 dSP;
500 LOGOP myop;
501
502 /* I have no idea why this is needed, but it is */
503 PUSHMARK (SP);
504
546 SvREFCNT_dec (GvAV (PL_defgv)); 505 SvREFCNT_dec (GvAV (PL_defgv));
547 GvAV (PL_defgv) = coro->args; coro->args = 0; 506 GvAV (PL_defgv) = coro->args; coro->args = 0;
548 507
549 SPAGAIN;
550
551 Zero (&myop, 1, UNOP); 508 Zero (&myop, 1, LOGOP);
552 myop.op_next = Nullop; 509 myop.op_next = Nullop;
553 myop.op_flags = OPf_WANT_VOID; 510 myop.op_flags = OPf_WANT_VOID;
554 511
555 PL_op = (OP *)&myop; 512 PL_op = (OP *)&myop;
556 513
557 PUSHMARK(SP); 514 PUSHMARK (SP);
558 XPUSHs (sub_init); 515 XPUSHs ((SV *)get_cv ("Coro::State::_coro_init", FALSE));
559 PUTBACK; 516 PUTBACK;
560 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX); 517 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
561 SPAGAIN; 518 SPAGAIN;
519 }
562 520
563 ENTER; /* necessary e.g. for dounwind */ 521 ENTER; /* necessary e.g. for dounwind */
564} 522}
565 523
566static void 524static void
571 SvREFCNT_dec (coro_mortal); 529 SvREFCNT_dec (coro_mortal);
572 coro_mortal = 0; 530 coro_mortal = 0;
573 } 531 }
574} 532}
575 533
534static void NOINLINE
535prepare_cctx (coro_cctx *cctx)
536{
537 dSP;
538 LOGOP myop;
539
540 Zero (&myop, 1, LOGOP);
541 myop.op_next = PL_op;
542 myop.op_flags = OPf_WANT_VOID;
543
544 sv_setiv (get_sv ("Coro::State::_cctx", FALSE), PTR2IV (cctx));
545
546 PUSHMARK (SP);
547 XPUSHs ((SV *)get_cv ("Coro::State::_cctx_init", FALSE));
548 PUTBACK;
549 PL_restartop = PL_ppaddr[OP_ENTERSUB](aTHX);
550 SPAGAIN;
551}
552
576static void 553static void
577coro_run (void *arg) 554coro_run (void *arg)
578{ 555{
556 /* coro_run is the alternative epilogue of transfer() */
557 UNLOCK;
558
579 /* 559 /*
580 * this is a _very_ stripped down perl interpreter ;) 560 * this is a _very_ stripped down perl interpreter ;)
581 */ 561 */
582 dTHX;
583 int ret;
584
585 UNLOCK;
586
587 PL_top_env = &PL_start_env; 562 PL_top_env = &PL_start_env;
588 563
589 sv_setiv (get_sv ("Coro::State::cctx_stack", FALSE), PTR2IV ((coro_stack *)arg)); 564 /* inject call to cctx_init */
590 sv_setiv (get_sv ("Coro::State::cctx_restartop", FALSE), PTR2IV (PL_op)); 565 prepare_cctx ((coro_cctx *)arg);
591
592 /* continue at cctx_init, without entersub */
593 PL_restartop = CvSTART (get_cv ("Coro::State::cctx_init", FALSE));
594 566
595 /* somebody will hit me for both perl_run and PL_restartop */ 567 /* somebody will hit me for both perl_run and PL_restartop */
596 ret = perl_run (PERL_GET_CONTEXT); 568 perl_run (PL_curinterp);
597 printf ("ret %d\n", ret);//D
598 569
599 fputs ("FATAL: C coroutine fell over the edge of the world, aborting.\n", stderr); 570 fputs ("FATAL: C coroutine fell over the edge of the world, aborting. Did you call exit in a coroutine?\n", stderr);
600 abort (); 571 abort ();
601} 572}
602 573
603static coro_stack * 574static coro_cctx *
604stack_new () 575cctx_new ()
605{ 576{
606 coro_stack *stack; 577 coro_cctx *cctx;
607 578
579 ++cctx_count;
580
608 New (0, stack, 1, coro_stack); 581 New (0, cctx, 1, coro_cctx);
609 582
610#if HAVE_MMAP 583#if HAVE_MMAP
611 584
612 stack->ssize = ((STACKSIZE * sizeof (long) + PAGESIZE - 1) / PAGESIZE + STACKGUARD) * PAGESIZE; 585 cctx->ssize = ((STACKSIZE * sizeof (long) + PAGESIZE - 1) / PAGESIZE + STACKGUARD) * PAGESIZE;
613 /* mmap suppsedly does allocate-on-write for us */ 586 /* mmap suppsedly does allocate-on-write for us */
614 stack->sptr = mmap (0, stack->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0); 587 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
615 588
616 if (stack->sptr == (void *)-1) 589 if (cctx->sptr == (void *)-1)
617 { 590 {
618 perror ("FATAL: unable to mmap stack for coroutine"); 591 perror ("FATAL: unable to mmap stack for coroutine");
619 _exit (EXIT_FAILURE); 592 _exit (EXIT_FAILURE);
620 } 593 }
621 594
622# if STACKGUARD 595# if STACKGUARD
623 mprotect (stack->sptr, STACKGUARD * PAGESIZE, PROT_NONE); 596 mprotect (cctx->sptr, STACKGUARD * PAGESIZE, PROT_NONE);
624# endif 597# endif
625 598
626#else 599#else
627 600
628 stack->ssize = STACKSIZE * (long)sizeof (long); 601 cctx->ssize = STACKSIZE * (long)sizeof (long);
629 New (0, stack->sptr, STACKSIZE, long); 602 New (0, cctx->sptr, STACKSIZE, long);
630 603
631 if (!stack->sptr) 604 if (!cctx->sptr)
632 { 605 {
633 perror (stderr, "FATAL: unable to malloc stack for coroutine"); 606 perror ("FATAL: unable to malloc stack for coroutine");
634 _exit (EXIT_FAILURE); 607 _exit (EXIT_FAILURE);
635 } 608 }
636 609
637#endif 610#endif
638 611
612#if USE_VALGRIND
613 cctx->valgrind_id = VALGRIND_STACK_REGISTER (
614 STACKGUARD * PAGESIZE + (char *)cctx->sptr,
615 cctx->ssize + (char *)cctx->sptr
616 );
617#endif
618
639 coro_create (&stack->cctx, coro_run, (void *)stack, stack->sptr, stack->ssize); 619 coro_create (&cctx->cctx, coro_run, (void *)cctx, cctx->sptr, cctx->ssize);
640 620
641 return stack; 621 return cctx;
642} 622}
643 623
644static void 624static void
645stack_free (coro_stack *stack) 625cctx_destroy (coro_cctx *cctx)
646{ 626{
647 if (!stack) 627 if (!cctx)
648 return; 628 return;
649 629
630 --cctx_count;
631
632#if USE_VALGRIND
633 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
634#endif
635
650#if HAVE_MMAP 636#if HAVE_MMAP
651 munmap (stack->sptr, stack->ssize); 637 munmap (cctx->sptr, cctx->ssize);
652#else 638#else
653 Safefree (stack->sptr); 639 Safefree (cctx->sptr);
654#endif 640#endif
655 641
656 Safefree (stack); 642 Safefree (cctx);
657} 643}
658 644
659static coro_stack *stack_first;
660
661static coro_stack * 645static coro_cctx *
662stack_get () 646cctx_get ()
663{ 647{
664 coro_stack *stack; 648 coro_cctx *cctx;
665 649
666 if (stack_first) 650 if (cctx_first)
667 { 651 {
668 stack = stack_first; 652 cctx = cctx_first;
669 stack_first = stack->next; 653 cctx_first = cctx->next;
654 --cctx_idle;
670 } 655 }
671 else 656 else
672 { 657 {
673 stack = stack_new (); 658 cctx = cctx_new ();
674 PL_op = PL_op->op_next; 659 PL_op = PL_op->op_next;
675 } 660 }
676 661
677 return stack; 662 return cctx;
678} 663}
679 664
680static void 665static void
681stack_put (coro_stack *stack) 666cctx_put (coro_cctx *cctx)
682{ 667{
683 stack->next = stack_first; 668 /* free another cctx if overlimit */
684 stack_first = stack; 669 if (cctx_idle >= MAX_IDLE_CCTX)
670 {
671 coro_cctx *first = cctx_first;
672 cctx_first = first->next;
673 --cctx_idle;
674
675 assert (!first->inuse);
676 cctx_destroy (first);
677 }
678
679 ++cctx_idle;
680 cctx->next = cctx_first;
681 cctx_first = cctx;
685} 682}
686 683
687/* never call directly, always through the coro_state_transfer global variable */ 684/* never call directly, always through the coro_state_transfer global variable */
688static void 685static void NOINLINE
689transfer_impl (struct coro *prev, struct coro *next, int flags) 686transfer (struct coro *prev, struct coro *next, int flags)
690{ 687{
691 dSTACKLEVEL; 688 dSTACKLEVEL;
692 689
693 /* sometimes transfer is only called to set idle_sp */ 690 /* sometimes transfer is only called to set idle_sp */
694 if (flags == TRANSFER_SET_STACKLEVEL) 691 if (flags == TRANSFER_SET_STACKLEVEL)
695 ((coro_stack *)prev)->idle_sp = STACKLEVEL; 692 ((coro_cctx *)prev)->idle_sp = STACKLEVEL;
696 else if (prev != next) 693 else if (prev != next)
697 { 694 {
698 coro_stack *prev__stack; 695 coro_cctx *prev__cctx;
696
697 if (prev->flags & CF_NEW)
698 {
699 /* create a new empty context */
700 Newz (0, prev->cctx, 1, coro_cctx);
701 prev->cctx->inuse = 1;
702 prev->flags &= ~CF_NEW;
703 prev->flags |= CF_RUNNING;
704 }
705
706 /*TODO: must not croak here */
707 if (!prev->flags & CF_RUNNING)
708 croak ("Coro::State::transfer called with non-running prev Coro::State, but can only transfer from running states");
709
710 if (next->flags & CF_RUNNING)
711 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states");
712
713 prev->flags &= ~CF_RUNNING;
714 next->flags |= CF_RUNNING;
699 715
700 LOCK; 716 LOCK;
701 717
702 if (next->mainstack) 718 if (next->flags & CF_NEW)
719 {
720 /* need to start coroutine */
721 next->flags &= ~CF_NEW;
722 /* first get rid of the old state */
723 SAVE (prev, -1);
724 /* setup coroutine call */
725 setup_coro (next);
726 /* need a new stack */
727 assert (!next->stack);
728 }
729 else
703 { 730 {
704 /* coroutine already started */ 731 /* coroutine already started */
705 SAVE (prev, flags); 732 SAVE (prev, flags);
706 LOAD (next); 733 LOAD (next);
707 } 734 }
708 else 735
736 prev__cctx = prev->cctx;
737
738 /* possibly "free" the cctx */
739 if (prev__cctx->idle_sp == STACKLEVEL)
709 { 740 {
710 /* need to start coroutine */ 741 /* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */
711 /* first get rid of the old state */ 742 assert (PL_top_env == prev__cctx->top_env);
712 SAVE (prev, -1); 743
713 /* setup coroutine call */ 744 prev->cctx = 0;
714 setup_coro (next); 745
715 /* need a stack */ 746 cctx_put (prev__cctx);
716 next->stack = 0; 747 prev__cctx->inuse = 0;
717 } 748 }
718 749
719 if (!prev->stack) 750 if (!next->cctx)
720 /* create a new empty context */
721 Newz (0, prev->stack, 1, coro_stack);
722
723 prev__stack = prev->stack;
724
725 /* possibly "free" the stack */
726 if (prev__stack->idle_sp == STACKLEVEL)
727 { 751 {
728 stack_put (prev__stack); 752 next->cctx = cctx_get ();
729 prev->stack = 0; 753 assert (!next->cctx->inuse);
754 next->cctx->inuse = 1;
730 } 755 }
731 756
732 if (!next->stack)
733 next->stack = stack_get ();
734
735 if (prev__stack != next->stack) 757 if (prev__cctx != next->cctx)
736 { 758 {
737 prev__stack->top_env = PL_top_env; 759 prev__cctx->top_env = PL_top_env;
738 PL_top_env = next->stack->top_env; 760 PL_top_env = next->cctx->top_env;
739 coro_transfer (&prev__stack->cctx, &next->stack->cctx); 761 coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);
740 } 762 }
741 763
742 free_coro_mortal (); 764 free_coro_mortal ();
743 765
744 UNLOCK; 766 UNLOCK;
745 } 767 }
746} 768}
747
748/* use this function pointer to call the above function */
749/* this is done to increase chances of the compiler not inlining the call */
750/* not static to make it even harder for the compiler (and theoretically impossible in most cases */
751void (*coro_state_transfer)(struct coro *prev, struct coro *next, int flags) = transfer_impl;
752 769
753struct transfer_args 770struct transfer_args
754{ 771{
755 struct coro *prev, *next; 772 struct coro *prev, *next;
756 int flags; 773 int flags;
757}; 774};
758 775
759#define TRANSFER(ta) coro_state_transfer ((ta).prev, (ta).next, (ta).flags) 776#define TRANSFER(ta) transfer ((ta).prev, (ta).next, (ta).flags)
760 777
761static void 778static void
762coro_state_destroy (struct coro *coro) 779coro_state_destroy (struct coro *coro)
763{ 780{
764 if (coro->refcnt--) 781 if (coro->refcnt--)
766 783
767 if (coro->mainstack && coro->mainstack != main_mainstack) 784 if (coro->mainstack && coro->mainstack != main_mainstack)
768 { 785 {
769 struct coro temp; 786 struct coro temp;
770 787
788 if (coro->flags & CF_RUNNING)
789 croak ("FATAL: tried to destroy currently running coroutine");
790
771 SAVE ((&temp), TRANSFER_SAVE_ALL); 791 SAVE ((&temp), TRANSFER_SAVE_ALL);
772 LOAD (coro); 792 LOAD (coro);
773 793
774 destroy_stacks (); 794 coro_destroy_stacks ();
775 795
776 LOAD ((&temp)); /* this will get rid of defsv etc.. */ 796 LOAD ((&temp)); /* this will get rid of defsv etc.. */
777 797
778 coro->mainstack = 0; 798 coro->mainstack = 0;
779 } 799 }
780 800
781 stack_free (coro->stack); 801 cctx_destroy (coro->cctx);
782 SvREFCNT_dec (coro->args); 802 SvREFCNT_dec (coro->args);
783 Safefree (coro); 803 Safefree (coro);
784} 804}
785 805
786static int 806static int
802 ++coro->refcnt; 822 ++coro->refcnt;
803 823
804 return 0; 824 return 0;
805} 825}
806 826
807static MGVTBL coro_state_vtbl = { 0, 0, 0, 0, coro_state_clear, 0, coro_state_dup, 0 }; 827static MGVTBL coro_state_vtbl = {
828 0, 0, 0, 0,
829 coro_state_clear,
830 0,
831#ifdef MGf_DUP
832 coro_state_dup,
833#else
834# define MGf_DUP 0
835#endif
836};
808 837
809static struct coro * 838static struct coro *
810SvSTATE (SV *coro) 839SvSTATE (SV *coro)
811{ 840{
812 HV *stash; 841 HV *stash;
837} 866}
838 867
839static void 868static void
840api_transfer (SV *prev, SV *next, int flags) 869api_transfer (SV *prev, SV *next, int flags)
841{ 870{
842 dTHX;
843 struct transfer_args ta; 871 struct transfer_args ta;
844 872
845 prepare_transfer (&ta, prev, next, flags); 873 prepare_transfer (&ta, prev, next, flags);
846 TRANSFER (ta); 874 TRANSFER (ta);
847} 875}
854#define PRIO_LOW -1 882#define PRIO_LOW -1
855#define PRIO_IDLE -3 883#define PRIO_IDLE -3
856#define PRIO_MIN -4 884#define PRIO_MIN -4
857 885
858/* for Coro.pm */ 886/* for Coro.pm */
859static GV *coro_current, *coro_idle; 887static SV *coro_current;
860static AV *coro_ready [PRIO_MAX-PRIO_MIN+1]; 888static AV *coro_ready [PRIO_MAX-PRIO_MIN+1];
861static int coro_nready; 889static int coro_nready;
862 890
863static void 891static void
864coro_enq (SV *sv) 892coro_enq (SV *coro_sv)
865{ 893{
866 int prio;
867
868 if (SvTYPE (sv) != SVt_PVHV)
869 croak ("Coro::ready tried to enqueue something that is not a coroutine");
870
871 prio = SvSTATE (sv)->prio;
872
873 av_push (coro_ready [prio - PRIO_MIN], sv); 894 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv);
874 coro_nready++; 895 coro_nready++;
875} 896}
876 897
877static SV * 898static SV *
878coro_deq (int min_prio) 899coro_deq (int min_prio)
891 } 912 }
892 913
893 return 0; 914 return 0;
894} 915}
895 916
896static void 917static int
897api_ready (SV *coro) 918api_ready (SV *coro_sv)
898{ 919{
899 dTHX; 920 struct coro *coro;
900 921
901 if (SvROK (coro)) 922 if (SvROK (coro_sv))
902 coro = SvRV (coro); 923 coro_sv = SvRV (coro_sv);
924
925 coro = SvSTATE (coro_sv);
926
927 if (coro->flags & CF_READY)
928 return 0;
929
930#if 0 /* this is actually harmless */
931 if (coro->flags & CF_RUNNING)
932 croak ("Coro::ready called on currently running coroutine");
933#endif
934
935 coro->flags |= CF_READY;
903 936
904 LOCK; 937 LOCK;
905 coro_enq (SvREFCNT_inc (coro)); 938 coro_enq (SvREFCNT_inc (coro_sv));
906 UNLOCK; 939 UNLOCK;
940
941 return 1;
942}
943
944static int
945api_is_ready (SV *coro_sv)
946{
947 return !!SvSTATE (coro_sv)->flags & CF_READY;
907} 948}
908 949
909static void 950static void
910prepare_schedule (struct transfer_args *ta) 951prepare_schedule (struct transfer_args *ta)
911{ 952{
912 SV *current, *prev, *next; 953 SV *prev, *next;
913
914 LOCK;
915
916 current = GvSV (coro_current);
917 954
918 for (;;) 955 for (;;)
919 { 956 {
920 LOCK; 957 LOCK;
921
922 next = coro_deq (PRIO_MIN); 958 next = coro_deq (PRIO_MIN);
959 UNLOCK;
923 960
924 if (next) 961 if (next)
925 break; 962 break;
926 963
927 UNLOCK;
928
929 { 964 {
930 dSP; 965 dSP;
931 966
932 ENTER; 967 ENTER;
933 SAVETMPS; 968 SAVETMPS;
934 969
935 PUSHMARK (SP); 970 PUSHMARK (SP);
936 PUTBACK; 971 PUTBACK;
937 call_sv (GvSV (coro_idle), G_DISCARD); 972 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD);
938 973
939 FREETMPS; 974 FREETMPS;
940 LEAVE; 975 LEAVE;
941 } 976 }
942 } 977 }
943 978
944 prev = SvRV (current); 979 prev = SvRV (coro_current);
945 SvRV (current) = next; 980 SvRV_set (coro_current, next);
946 981
947 /* free this only after the transfer */ 982 /* free this only after the transfer */
983 LOCK;
948 free_coro_mortal (); 984 free_coro_mortal ();
985 UNLOCK;
949 coro_mortal = prev; 986 coro_mortal = prev;
950 987
988 assert (!SvROK(prev));//D
989 assert (!SvROK(next));//D
990
951 ta->prev = SvSTATE (prev); 991 ta->prev = SvSTATE (prev);
952 ta->next = SvSTATE (next); 992 ta->next = SvSTATE (next);
953 ta->flags = TRANSFER_SAVE_ALL; 993 ta->flags = TRANSFER_SAVE_ALL;
954 994
955 UNLOCK; 995 assert (ta->flags & CF_READY);
996 ta->next->flags &= ~CF_READY;
956} 997}
957 998
958static void 999static void
959prepare_cede (struct transfer_args *ta) 1000prepare_cede (struct transfer_args *ta)
960{ 1001{
961 LOCK; 1002 api_ready (coro_current);
962 coro_enq (SvREFCNT_inc (SvRV (GvSV (coro_current))));
963 UNLOCK;
964 1003
965 prepare_schedule (ta); 1004 prepare_schedule (ta);
966} 1005}
967 1006
968static void 1007static void
969api_schedule (void) 1008api_schedule (void)
970{ 1009{
971 dTHX;
972 struct transfer_args ta; 1010 struct transfer_args ta;
973 1011
974 prepare_schedule (&ta); 1012 prepare_schedule (&ta);
975 TRANSFER (ta); 1013 TRANSFER (ta);
976} 1014}
977 1015
978static void 1016static void
979api_cede (void) 1017api_cede (void)
980{ 1018{
981 dTHX;
982 struct transfer_args ta; 1019 struct transfer_args ta;
983 1020
984 prepare_cede (&ta); 1021 prepare_cede (&ta);
985 TRANSFER (ta); 1022 TRANSFER (ta);
986} 1023}
1018 HV *hv; 1055 HV *hv;
1019 int i; 1056 int i;
1020 1057
1021 Newz (0, coro, 1, struct coro); 1058 Newz (0, coro, 1, struct coro);
1022 coro->args = newAV (); 1059 coro->args = newAV ();
1060 coro->flags = CF_NEW;
1023 1061
1024 hv = newHV (); 1062 hv = newHV ();
1025 sv_magicext ((SV *)hv, 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro, 0)->mg_flags |= MGf_DUP; 1063 sv_magicext ((SV *)hv, 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro, 0)->mg_flags |= MGf_DUP;
1026 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1)); 1064 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
1027 1065
1028 for (i = 1; i < items; i++) 1066 for (i = 1; i < items; i++)
1029 av_push (coro->args, newSVsv (ST (i))); 1067 av_push (coro->args, newSVsv (ST (i)));
1030
1031 /*coro->mainstack = 0; *//*actual work is done inside transfer */
1032 /*coro->stack = 0;*/
1033} 1068}
1034 OUTPUT: 1069 OUTPUT:
1035 RETVAL 1070 RETVAL
1036 1071
1037void 1072void
1038_set_stacklevel (...) 1073_set_stacklevel (...)
1039 ALIAS: 1074 ALIAS:
1040 Coro::State::transfer = 1 1075 Coro::State::transfer = 1
1041 Coro::schedule = 2 1076 Coro::schedule = 2
1042 Coro::cede = 3 1077 Coro::cede = 3
1043 Coro::Cont::yield = 4
1044 CODE: 1078 CODE:
1045{ 1079{
1046 struct transfer_args ta; 1080 struct transfer_args ta;
1047 1081
1048 switch (ix) 1082 switch (ix)
1049 { 1083 {
1050 case 0: 1084 case 0:
1051 ta.prev = (struct coro *)INT2PTR (coro_stack *, SvIV (ST (0))); 1085 ta.prev = (struct coro *)INT2PTR (coro_cctx *, SvIV (ST (0)));
1052 ta.next = 0; 1086 ta.next = 0;
1053 ta.flags = TRANSFER_SET_STACKLEVEL; 1087 ta.flags = TRANSFER_SET_STACKLEVEL;
1054 break; 1088 break;
1055 1089
1056 case 1: 1090 case 1:
1057 if (items != 3) 1091 if (items != 3)
1058 croak ("Coro::State::transfer(prev,next,flags) expects three arguments, not %d", items); 1092 croak ("Coro::State::transfer (prev,next,flags) expects three arguments, not %d", items);
1059 1093
1060 prepare_transfer (&ta, ST (0), ST (1), SvIV (ST (2))); 1094 prepare_transfer (&ta, ST (0), ST (1), SvIV (ST (2)));
1061 break; 1095 break;
1062 1096
1063 case 2: 1097 case 2:
1065 break; 1099 break;
1066 1100
1067 case 3: 1101 case 3:
1068 prepare_cede (&ta); 1102 prepare_cede (&ta);
1069 break; 1103 break;
1070
1071 case 4:
1072 {
1073 SV *yieldstack;
1074 SV *sv;
1075 AV *defav = GvAV (PL_defgv);
1076
1077 yieldstack = *hv_fetch (
1078 (HV *)SvRV (GvSV (coro_current)),
1079 "yieldstack", sizeof ("yieldstack") - 1,
1080 0
1081 );
1082
1083 /* set up @_ -- ugly */
1084 av_clear (defav);
1085 av_fill (defav, items - 1);
1086 while (items--)
1087 av_store (defav, items, SvREFCNT_inc (ST(items)));
1088
1089 sv = av_pop ((AV *)SvRV (yieldstack));
1090 ta.prev = SvSTATE (*av_fetch ((AV *)SvRV (sv), 0, 0));
1091 ta.next = SvSTATE (*av_fetch ((AV *)SvRV (sv), 1, 0));
1092 ta.flags = 0;
1093 SvREFCNT_dec (sv);
1094 }
1095 break;
1096
1097 } 1104 }
1098 1105
1099 TRANSFER (ta); 1106 TRANSFER (ta);
1100} 1107}
1101 1108
1108 sv_unmagic (SvRV (dst), PERL_MAGIC_ext); 1115 sv_unmagic (SvRV (dst), PERL_MAGIC_ext);
1109 1116
1110 ++coro_src->refcnt; 1117 ++coro_src->refcnt;
1111 sv_magicext (SvRV (dst), 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro_src, 0)->mg_flags |= MGf_DUP; 1118 sv_magicext (SvRV (dst), 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro_src, 0)->mg_flags |= MGf_DUP;
1112} 1119}
1113
1114void
1115_nonlocal_goto (IV nextop)
1116 CODE:
1117 /* uuh, somebody will kill me again for this */
1118 PL_op->op_next = INT2PTR (OP *, nextop);
1119 1120
1120void 1121void
1121_exit (code) 1122_exit (code)
1122 int code 1123 int code
1123 PROTOTYPE: $ 1124 PROTOTYPE: $
1124 CODE: 1125 CODE:
1125 _exit (code); 1126 _exit (code);
1126 1127
1128int
1129cctx_count ()
1130 CODE:
1131 RETVAL = cctx_count;
1132 OUTPUT:
1133 RETVAL
1134
1135int
1136cctx_idle ()
1137 CODE:
1138 RETVAL = cctx_idle;
1139 OUTPUT:
1140 RETVAL
1141
1127MODULE = Coro::State PACKAGE = Coro 1142MODULE = Coro::State PACKAGE = Coro
1128 1143
1129BOOT: 1144BOOT:
1130{ 1145{
1131 int i; 1146 int i;
1137 newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL)); 1152 newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
1138 newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW)); 1153 newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));
1139 newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE)); 1154 newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
1140 newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN)); 1155 newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));
1141 1156
1142 coro_current = gv_fetchpv ("Coro::current", TRUE, SVt_PV); 1157 coro_current = get_sv ("Coro::current", FALSE);
1143 coro_idle = gv_fetchpv ("Coro::idle" , TRUE, SVt_PV); 1158 SvREADONLY_on (coro_current);
1144 1159
1145 for (i = PRIO_MAX - PRIO_MIN + 1; i--; ) 1160 for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
1146 coro_ready[i] = newAV (); 1161 coro_ready[i] = newAV ();
1147 1162
1148 { 1163 {
1149 SV *sv = perl_get_sv("Coro::API", 1); 1164 SV *sv = perl_get_sv("Coro::API", 1);
1150 1165
1151 coroapi.schedule = api_schedule; 1166 coroapi.schedule = api_schedule;
1152 coroapi.cede = api_cede; 1167 coroapi.cede = api_cede;
1153 coroapi.ready = api_ready; 1168 coroapi.ready = api_ready;
1169 coroapi.is_ready = api_is_ready;
1154 coroapi.nready = &coro_nready; 1170 coroapi.nready = &coro_nready;
1155 coroapi.current = coro_current; 1171 coroapi.current = coro_current;
1156 1172
1157 GCoroAPI = &coroapi; 1173 GCoroAPI = &coroapi;
1158 sv_setiv (sv, (IV)&coroapi); 1174 sv_setiv (sv, (IV)&coroapi);
1178 1194
1179 coro->prio = newprio; 1195 coro->prio = newprio;
1180 } 1196 }
1181} 1197}
1182 1198
1183void 1199SV *
1184ready (SV *self) 1200ready (SV *self)
1185 PROTOTYPE: $ 1201 PROTOTYPE: $
1186 CODE: 1202 CODE:
1187 api_ready (self); 1203 RETVAL = boolSV (api_ready (self));
1204 OUTPUT:
1205 RETVAL
1206
1207SV *
1208is_ready (SV *self)
1209 PROTOTYPE: $
1210 CODE:
1211 RETVAL = boolSV (api_is_ready (self));
1212 OUTPUT:
1213 RETVAL
1188 1214
1189int 1215int
1190nready (...) 1216nready (...)
1191 PROTOTYPE: 1217 PROTOTYPE:
1192 CODE: 1218 CODE:
1193 RETVAL = coro_nready; 1219 RETVAL = coro_nready;
1194 OUTPUT: 1220 OUTPUT:
1195 RETVAL 1221 RETVAL
1196 1222
1223void
1224_set_current (SV *current)
1225 PROTOTYPE: $
1226 CODE:
1227 SvREFCNT_dec (SvRV (coro_current));
1228 SvRV_set (coro_current, SvREFCNT_inc (SvRV (current)));
1229
1197MODULE = Coro::State PACKAGE = Coro::AIO 1230MODULE = Coro::State PACKAGE = Coro::AIO
1198 1231
1199SV * 1232SV *
1200_get_state () 1233_get_state ()
1201 CODE: 1234 CODE:

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines