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.13 by root, Mon Jul 23 22:09:39 2001 UTC vs.
Revision 1.32 by root, Sun Aug 26 17:01:54 2001 UTC

… …
2#include "perl.h" 2#include "perl.h"
3#include "XSUB.h" 3#include "XSUB.h"
4 4
5#include "libcoro/coro.c" 5#include "libcoro/coro.c"
6 6
7#include <signal.h>
8
7#ifdef HAVE_MMAP 9#ifdef HAVE_MMAP
8# include <unistd.h> 10# include <unistd.h>
9# include <sys/mman.h> 11# include <sys/mman.h>
12# ifndef MAP_ANON
13# ifdef MAP_ANONYMOUS
14# define MAP_ANON MAP_ANONYMOUS
15# else
16# undef HAVE_MMAP
17# endif
18# endif
10#endif 19#endif
11 20
12#define MAY_FLUSH /* increases codesize */ 21#define MAY_FLUSH /* increases codesize and is rarely used */
13 22
14#define SUB_INIT "Coro::State::initialize" 23#define SUB_INIT "Coro::State::initialize"
24#define UCORO_STATE "_coro_state"
15 25
16#define TRANSFER_SAVE_DEFAV 0x00000001 26/* The next macro should declare a variable stacklevel that contains and approximation
17#define TRANSFER_SAVE_DEFSV 0x00000002 27 * to the current C stack pointer. Its property is that it changes with each call
18#define TRANSFER_SAVE_ERRSV 0x00000004 28 * and should be unique. */
19#define TRANSFER_SAVE_CCTXT 0x00000008 29#define dSTACKLEVEL void *stacklevel = &stacklevel
20 30
21#define TRANSFER_SAVE_ALL -1 31#define labs(l) ((l) >= 0 ? (l) : -(l))
32
33#include "CoroAPI.h"
34
35static struct CoroAPI coroapi;
36
37/* this is actually not only the c stack but also c registers etc... */
38typedef struct {
39 int refcnt; /* pointer reference counter */
40 int usecnt; /* shared by how many coroutines */
41 int gencnt; /* generation counter */
42
43 coro_context cctx;
44
45 void *sptr;
46 long ssize; /* positive == mmap, otherwise malloc */
47} coro_stack;
22 48
23struct coro { 49struct coro {
24 /* the optional C context */ 50 /* the optional C context */
25 coro_context cctx; 51 coro_stack *stack;
26 void *sptr; 52 void *cursp;
27 long ssize; 53 int gencnt;
28 54
29 /* optionally saved, might be zero */ 55 /* optionally saved, might be zero */
30 AV *defav; 56 AV *defav;
31 SV *defsv; 57 SV *defsv;
32 SV *errsv; 58 SV *errsv;
33 59
34 /* saved global state not related to stacks */ 60 /* saved global state not related to stacks */
35 U8 dowarn; 61 U8 dowarn;
62 I32 in_eval;
36 63
37 /* the stacks and related info (callchain etc..) */ 64 /* the stacks and related info (callchain etc..) */
38 PERL_SI *curstackinfo; 65 PERL_SI *curstackinfo;
39 AV *curstack; 66 AV *curstack;
40 AV *mainstack; 67 AV *mainstack;
… …
58 I32 savestack_max; 85 I32 savestack_max;
59 OP **retstack; 86 OP **retstack;
60 I32 retstack_ix; 87 I32 retstack_ix;
61 I32 retstack_max; 88 I32 retstack_max;
62 COP *curcop; 89 COP *curcop;
63 JMPENV start_env;
64 JMPENV *top_env; 90 JMPENV *top_env;
65 91
66 /* data associated with this coroutine (initial args) */ 92 /* data associated with this coroutine (initial args) */
67 AV *args; 93 AV *args;
68}; 94};
… …
70typedef struct coro *Coro__State; 96typedef struct coro *Coro__State;
71typedef struct coro *Coro__State_or_hashref; 97typedef struct coro *Coro__State_or_hashref;
72 98
73static AV *main_mainstack; /* used to differentiate between $main and others */ 99static AV *main_mainstack; /* used to differentiate between $main and others */
74static HV *coro_state_stash; 100static HV *coro_state_stash;
101static SV *ucoro_state_sv;
102static U32 ucoro_state_hash;
75static HV *padlist_cache; 103static HV *padlist_cache;
76 104
77/* mostly copied from op.c:cv_clone2 */ 105/* mostly copied from op.c:cv_clone2 */
78STATIC AV * 106STATIC AV *
79clone_padlist (AV *protopadlist) 107clone_padlist (AV *protopadlist)
… …
167 195
168 return newpadlist; 196 return newpadlist;
169} 197}
170 198
171#ifdef MAY_FLUSH 199#ifdef MAY_FLUSH
172STATIC AV * 200STATIC void
173free_padlist (AV *padlist) 201free_padlist (AV *padlist)
174{ 202{
175 /* may be during global destruction */ 203 /* may be during global destruction */
176 if (SvREFCNT(padlist)) 204 if (SvREFCNT(padlist))
177 { 205 {
… …
242#endif 270#endif
243 271
244#define SB do { 272#define SB do {
245#define SE } while (0) 273#define SE } while (0)
246 274
247#define LOAD(state) SB load_state(aTHX_ (state)); SPAGAIN; SE 275#define LOAD(state) load_state(aTHX_ (state));
248#define SAVE(state,flags) SB PUTBACK; save_state(aTHX_ (state),(flags)); SE 276#define SAVE(state,flags) save_state(aTHX_ (state),(flags));
249 277
250#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); SE 278#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); SE
251 279
252static void 280static void
253load_state(pTHX_ Coro__State c) 281load_state(pTHX_ Coro__State c)
254{ 282{
255 PL_dowarn = c->dowarn; 283 PL_dowarn = c->dowarn;
284 PL_in_eval = c->in_eval;
256 285
257 PL_curstackinfo = c->curstackinfo; 286 PL_curstackinfo = c->curstackinfo;
258 PL_curstack = c->curstack; 287 PL_curstack = c->curstack;
259 PL_mainstack = c->mainstack; 288 PL_mainstack = c->mainstack;
260 PL_stack_sp = c->stack_sp; 289 PL_stack_sp = c->stack_sp;
… …
277 PL_savestack_max = c->savestack_max; 306 PL_savestack_max = c->savestack_max;
278 PL_retstack = c->retstack; 307 PL_retstack = c->retstack;
279 PL_retstack_ix = c->retstack_ix; 308 PL_retstack_ix = c->retstack_ix;
280 PL_retstack_max = c->retstack_max; 309 PL_retstack_max = c->retstack_max;
281 PL_curcop = c->curcop; 310 PL_curcop = c->curcop;
282 PL_start_env = c->start_env;
283 PL_top_env = c->top_env; 311 PL_top_env = c->top_env;
284 312
285 if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav); 313 if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav);
286 if (c->defsv) REPLACE_SV (DEFSV , c->defsv); 314 if (c->defsv) REPLACE_SV (DEFSV , c->defsv);
287 if (c->errsv) REPLACE_SV (ERRSV , c->errsv); 315 if (c->errsv) REPLACE_SV (ERRSV , c->errsv);
… …
327 355
328 PUSHs (Nullsv); 356 PUSHs (Nullsv);
329 /* this loop was inspired by pp_caller */ 357 /* this loop was inspired by pp_caller */
330 for (;;) 358 for (;;)
331 { 359 {
332 do 360 while (cxix >= 0)
333 { 361 {
334 PERL_CONTEXT *cx = &ccstk[cxix--]; 362 PERL_CONTEXT *cx = &ccstk[cxix--];
335 363
336 if (CxTYPE(cx) == CXt_SUB) 364 if (CxTYPE(cx) == CXt_SUB)
337 { 365 {
… …
363 /* I never used formats, so how should I know how these are implemented? */ 391 /* I never used formats, so how should I know how these are implemented? */
364 /* my bold guess is as a simple, plain sub... */ 392 /* my bold guess is as a simple, plain sub... */
365 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats"); 393 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats");
366 } 394 }
367 } 395 }
368 while (cxix >= 0);
369 396
370 if (top_si->si_type == PERLSI_MAIN) 397 if (top_si->si_type == PERLSI_MAIN)
371 break; 398 break;
372 399
373 top_si = top_si->si_prev; 400 top_si = top_si->si_prev;
… …
380 407
381 c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0; 408 c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0;
382 c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0; 409 c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0;
383 c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0; 410 c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0;
384 411
385 /* I have not the slightest idea of why av_reify is necessary */
386 /* but if it's missing the defav contents magically get replaced sometimes */
387 if (c->defav)
388 av_reify (c->defav);
389
390 c->dowarn = PL_dowarn; 412 c->dowarn = PL_dowarn;
413 c->in_eval = PL_in_eval;
391 414
392 c->curstackinfo = PL_curstackinfo; 415 c->curstackinfo = PL_curstackinfo;
393 c->curstack = PL_curstack; 416 c->curstack = PL_curstack;
394 c->mainstack = PL_mainstack; 417 c->mainstack = PL_mainstack;
395 c->stack_sp = PL_stack_sp; 418 c->stack_sp = PL_stack_sp;
… …
412 c->savestack_max = PL_savestack_max; 435 c->savestack_max = PL_savestack_max;
413 c->retstack = PL_retstack; 436 c->retstack = PL_retstack;
414 c->retstack_ix = PL_retstack_ix; 437 c->retstack_ix = PL_retstack_ix;
415 c->retstack_max = PL_retstack_max; 438 c->retstack_max = PL_retstack_max;
416 c->curcop = PL_curcop; 439 c->curcop = PL_curcop;
417 c->start_env = PL_start_env;
418 c->top_env = PL_top_env; 440 c->top_env = PL_top_env;
419} 441}
420 442
421/* 443/*
422 * allocate various perl stacks. This is an exact copy 444 * allocate various perl stacks. This is an exact copy
… …
434 456
435 PL_stack_base = AvARRAY(PL_curstack); 457 PL_stack_base = AvARRAY(PL_curstack);
436 PL_stack_sp = PL_stack_base; 458 PL_stack_sp = PL_stack_base;
437 PL_stack_max = PL_stack_base + AvMAX(PL_curstack); 459 PL_stack_max = PL_stack_base + AvMAX(PL_curstack);
438 460
439 New(50,PL_tmps_stack,64,SV*); 461 New(50,PL_tmps_stack,96,SV*);
440 PL_tmps_floor = -1; 462 PL_tmps_floor = -1;
441 PL_tmps_ix = -1; 463 PL_tmps_ix = -1;
442 PL_tmps_max = 64; 464 PL_tmps_max = 96;
443 465
444 New(54,PL_markstack,12,I32); 466 New(54,PL_markstack,16,I32);
445 PL_markstack_ptr = PL_markstack; 467 PL_markstack_ptr = PL_markstack;
446 PL_markstack_max = PL_markstack + 12; 468 PL_markstack_max = PL_markstack + 16;
447 469
448 SET_MARK_OFFSET; 470 SET_MARK_OFFSET;
449 471
450 New(54,PL_scopestack,12,I32); 472 New(54,PL_scopestack,16,I32);
451 PL_scopestack_ix = 0; 473 PL_scopestack_ix = 0;
452 PL_scopestack_max = 12; 474 PL_scopestack_max = 16;
453 475
454 New(54,PL_savestack,64,ANY); 476 New(54,PL_savestack,96,ANY);
455 PL_savestack_ix = 0; 477 PL_savestack_ix = 0;
456 PL_savestack_max = 64; 478 PL_savestack_max = 96;
457 479
458 New(54,PL_retstack,8,OP*); 480 New(54,PL_retstack,8,OP*);
459 PL_retstack_ix = 0; 481 PL_retstack_ix = 0;
460 PL_retstack_max = 8; 482 PL_retstack_max = 8;
461} 483}
… …
465 * still there is a memleak of 128 bytes... 487 * still there is a memleak of 128 bytes...
466 */ 488 */
467STATIC void 489STATIC void
468destroy_stacks(pTHX) 490destroy_stacks(pTHX)
469{ 491{
492 int destruct = PL_main_cv != Nullcv;
493
494 if (destruct)
495 {
470 /* is this ugly, I ask? */ 496 /* is this ugly, I ask? */
471 while (PL_scopestack_ix) 497 while (PL_scopestack_ix)
472 LEAVE; 498 LEAVE;
473 499
474 /* sure it is, but more important: is it correct?? :/ */ 500 /* sure it is, but more important: is it correct?? :/ */
475 while (PL_tmps_ix > PL_tmps_floor) /* should only ever be one iteration */ 501 while (PL_tmps_ix > PL_tmps_floor) /* should only ever be one iteration */
476 FREETMPS; 502 FREETMPS;
503 }
477 504
478 while (PL_curstackinfo->si_next) 505 while (PL_curstackinfo->si_next)
479 PL_curstackinfo = PL_curstackinfo->si_next; 506 PL_curstackinfo = PL_curstackinfo->si_next;
480 507
481 while (PL_curstackinfo) 508 while (PL_curstackinfo)
… …
486 dSP; 513 dSP;
487 SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack); 514 SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack);
488 PUTBACK; /* possibly superfluous */ 515 PUTBACK; /* possibly superfluous */
489 } 516 }
490 517
518 if (destruct)
519 {
491 dounwind(-1); 520 dounwind(-1);
492
493 SvREFCNT_dec(PL_curstackinfo->si_stack); 521 SvREFCNT_dec(PL_curstackinfo->si_stack);
522 }
523
494 Safefree(PL_curstackinfo->si_cxstack); 524 Safefree(PL_curstackinfo->si_cxstack);
495 Safefree(PL_curstackinfo); 525 Safefree(PL_curstackinfo);
496 PL_curstackinfo = p; 526 PL_curstackinfo = p;
497 } 527 }
498 528
… …
502 Safefree(PL_savestack); 532 Safefree(PL_savestack);
503 Safefree(PL_retstack); 533 Safefree(PL_retstack);
504} 534}
505 535
506static void 536static void
507allocate_stack (Coro__State ctx) 537allocate_stack (Coro__State ctx, int alloc)
508{ 538{
539 coro_stack *stack;
540
541 New (0, stack, 1, coro_stack);
542
543 stack->refcnt = 1;
544 stack->usecnt = 1;
545 stack->gencnt = ctx->gencnt = 0;
546 if (alloc)
547 {
509#ifdef HAVE_MMAP 548#ifdef HAVE_MMAP
510 ctx->ssize = 128 * 1024 * sizeof (long); /* mmap should do allocate-on-use */ 549 stack->ssize = 128 * 1024 * sizeof (long); /* mmap should do allocate-on-write for us */
511 ctx->sptr = mmap (0, ctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, 0, 0); 550 stack->sptr = mmap (0, stack->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, 0, 0);
512 if (ctx->sptr == (void *)-1) 551 if (stack->sptr == (void *)-1)
513#endif 552#endif
514 { 553 {
515 /*FIXME*//*D*//* reasonable stack size! */ 554 /*FIXME*//*D*//* reasonable stack size! */
516 ctx->ssize = 4096 * sizeof (long); 555 stack->ssize = -4096 * sizeof (long);
517 New (0, ctx->sptr, 4096, long); 556 New (0, stack->sptr, 4096, long);
557 }
518 } 558 }
559 else
560 stack->sptr = 0;
561
562 ctx->stack = stack;
519} 563}
520 564
521static void 565static void
522deallocate_stack (Coro__State ctx) 566deallocate_stack (Coro__State ctx)
523{ 567{
568 coro_stack *stack = ctx->stack;
569
570 ctx->stack = 0;
571
572 if (stack)
573 {
574 if (!--stack->refcnt)
575 {
524#ifdef HAVE_MMAP 576#ifdef HAVE_MMAP
525 munmap (ctx->sptr, ctx->ssize); 577 if (stack->ssize > 0 && stack->sptr)
578 munmap (stack->sptr, stack->ssize);
579 else
526#else 580#else
527 Safefree (ctx->sptr); 581 Safefree (stack->sptr);
528#endif 582#endif
583 Safefree (stack);
584 }
585 else if (ctx->gencnt == stack->gencnt)
586 --stack->usecnt;
587 }
529} 588}
530 589
531/* might go away together with optional SAVE_CCTXT */
532static void 590static void
533setup_coro (void *arg) 591setup_coro (void *arg)
534{ 592{
535 /* 593 /*
536 * emulate part of the perl startup here. 594 * emulate part of the perl startup here.
… …
538 dSP; 596 dSP;
539 Coro__State ctx = (Coro__State)arg; 597 Coro__State ctx = (Coro__State)arg;
540 SV *sub_init = (SV*)get_cv(SUB_INIT, FALSE); 598 SV *sub_init = (SV*)get_cv(SUB_INIT, FALSE);
541 599
542 coro_init_stacks (aTHX); 600 coro_init_stacks (aTHX);
543 JMPENV_BOOTSTRAP;
544 SPAGAIN;
545
546 /*PL_curcop = 0;*/ 601 /*PL_curcop = 0;*/
602 /*PL_in_eval = PL_in_eval;*/ /* inherit */
547 SvREFCNT_dec (GvAV (PL_defgv)); 603 SvREFCNT_dec (GvAV (PL_defgv));
548 GvAV (PL_defgv) = ctx->args; 604 GvAV (PL_defgv) = ctx->args;
549 605
606 SPAGAIN;
607
550 if (ctx->sptr) 608 if (ctx->stack)
551 { 609 {
610 ctx->cursp = 0;
611
552 PUSHMARK(SP); 612 PUSHMARK(SP);
553 PUTBACK; 613 PUTBACK;
554 (void) call_sv (sub_init, G_VOID|G_NOARGS); 614 (void) call_sv (sub_init, G_VOID|G_NOARGS|G_EVAL);
615
616 if (SvTRUE (ERRSV))
617 croak (NULL);
618 else
555 croak ("FATAL: CCTXT coroutine returned!"); 619 croak ("FATAL: CCTXT coroutine returned!");
556 } 620 }
557 else 621 else
558 { 622 {
559 UNOP myop; 623 UNOP myop;
560 624
… …
579 643
580 ENTER; /* necessary e.g. for dounwind */ 644 ENTER; /* necessary e.g. for dounwind */
581 } 645 }
582} 646}
583 647
648static void
649continue_coro (void *arg)
650{
651 /*
652 * this is a _very_ stripped down perl interpreter ;)
653 */
654 Coro__State ctx = (Coro__State)arg;
655 JMPENV coro_start_env;
656
657 /* same as JMPENV_BOOTSTRAP */
658 Zero(&coro_start_env, 1, JMPENV);
659 coro_start_env.je_ret = -1;
660 coro_start_env.je_mustcatch = TRUE;
661 PL_top_env = &coro_start_env;
662
663 ctx->cursp = 0;
664 PL_op = PL_op->op_next;
665 CALLRUNOPS(aTHX);
666
667 abort ();
668}
669
584STATIC void 670STATIC void
585transfer(pTHX_ struct coro *prev, struct coro *next, int flags) 671transfer(pTHX_ struct coro *prev, struct coro *next, int flags)
586{ 672{
587 dSP; 673 dSTACKLEVEL;
674 static struct coro *xnext;
588 675
589 if (prev != next) 676 if (prev != next)
590 { 677 {
591 /* 678 xnext = next;
592 * this could be done in newprocess which would lead to 679
593 * extremely elegant and fast (basically just SAVE/LOAD)
594 * code here, but lazy allocation of stacks has also
595 * some virtues and the overhead of the if() is nil.
596 */
597 if (next->mainstack) 680 if (next->mainstack)
598 { 681 {
599 SAVE (prev, flags); 682 SAVE (prev, flags);
600 LOAD (next); 683 LOAD (next);
601 684
602 /* mark this state as in-use */ 685 /* mark this state as in-use */
603 next->mainstack = 0; 686 next->mainstack = 0;
604 next->tmps_ix = -2; 687 next->tmps_ix = -2;
605 688
689 /* stacklevel changed? if yes, grab the stack for us! */
606 if (flags & TRANSFER_SAVE_CCTXT) 690 if (flags & TRANSFER_SAVE_CCTXT)
607 { 691 {
608 if (!next->ssize)
609 croak ("destination coroutine has no CCTXT (%p, %d)", next->sptr, next->ssize);
610
611 if (!prev->ssize) 692 if (!prev->stack)
612 prev->ssize = 1; /* mark cctx as valid ;) */ 693 allocate_stack (prev, 0);
694 else if (prev->cursp != stacklevel
695 && prev->stack->usecnt > 1)
696 {
697 prev->gencnt = ++prev->stack->gencnt;
698 prev->stack->usecnt = 1;
699 }
613 700
701 /* has our stack been invalidated? */
702 if (next->stack && next->stack->gencnt != next->gencnt)
703 {
704 deallocate_stack (next);
705 allocate_stack (next, 1);
706 coro_create (&(next->stack->cctx),
707 continue_coro, (void *)next,
708 next->stack->sptr, labs (next->stack->ssize));
709 }
710
614 coro_transfer (&(prev->cctx), &(next->cctx)); 711 coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));
712 /* don't add any code here */
615 } 713 }
616 714
617 } 715 }
618 else if (next->tmps_ix == -2) 716 else if (next->tmps_ix == -2)
619 croak ("tried to transfer to running coroutine"); 717 croak ("tried to transfer to running coroutine");
… …
621 { 719 {
622 SAVE (prev, -1); /* first get rid of the old state */ 720 SAVE (prev, -1); /* first get rid of the old state */
623 721
624 if (flags & TRANSFER_SAVE_CCTXT) 722 if (flags & TRANSFER_SAVE_CCTXT)
625 { 723 {
626 if (!next->ssize) 724 if (!prev->stack)
725 allocate_stack (prev, 0);
726
727 if (prev->stack->sptr && flags & TRANSFER_LAZY_STACK)
627 { 728 {
729 setup_coro (next);
730
731 prev->stack->refcnt++;
732 prev->stack->usecnt++;
733 next->stack = prev->stack;
734 next->gencnt = prev->gencnt;
735 }
736 else
737 {
628 allocate_stack (next); 738 allocate_stack (next, 1);
629 coro_create (&(next->cctx), 739 coro_create (&(next->stack->cctx),
630 setup_coro, (void *)next, 740 setup_coro, (void *)next,
631 next->sptr, next->ssize); 741 next->stack->sptr, labs (next->stack->ssize));
742 coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));
743 /* don't add any code here */
632 } 744 }
633
634 if (!prev->ssize)
635 prev->ssize = 1; /* mark cctx as valid ;) */
636
637 coro_transfer (&(prev->cctx), &(next->cctx));
638 } 745 }
639 else 746 else
640 setup_coro (next); 747 setup_coro (next);
641 } 748 }
642 } 749 }
750
751 /*
752 * xnext is now either prev or next, depending on wether
753 * we switched the c stack or not. that's why i use a global
754 * variable, that should become thread-specific at one point.
755 */
756 xnext->cursp = stacklevel;
757}
758
759static struct coro *
760sv_to_coro (SV *arg, const char *funcname, const char *varname)
761{
762 if (SvROK(arg) && SvTYPE(SvRV(arg)) == SVt_PVHV)
763 {
764 HE *he = hv_fetch_ent((HV *)SvRV(arg), ucoro_state_sv, 0, ucoro_state_hash);
765
766 if (!he)
767 croak ("%s() -- %s is a hashref but lacks the " UCORO_STATE " key", funcname, varname);
768
769 arg = HeVAL(he);
770 }
771
772 /* must also be changed inside Coro::Cont::yield */
773 if (SvROK(arg) && SvSTASH(SvRV(arg)) == coro_state_stash)
774 return (struct coro *) SvIV((SV*)SvRV(arg));
775
776 croak ("%s() -- %s is not (and contains not) a Coro::State object", funcname, varname);
777 /*NORETURN*/
778}
779
780static void
781api_transfer(pTHX_ SV *prev, SV *next, int flags)
782{
783 transfer(aTHX_
784 sv_to_coro (prev, "Coro::transfer", "prev"),
785 sv_to_coro (next, "Coro::transfer", "next"),
786 flags);
787}
788
789/** Coro ********************************************************************/
790
791#define PRIO_MAX 3
792#define PRIO_HIGH 1
793#define PRIO_NORMAL 0
794#define PRIO_LOW -1
795#define PRIO_IDLE -3
796#define PRIO_MIN -4
797
798/* for Coro.pm */
799static GV *coro_current, *coro_idle;
800static AV *coro_ready[PRIO_MAX-PRIO_MIN+1];
801static int coro_nready;
802
803static void
804coro_enq (SV *sv)
805{
806 if (SvROK (sv))
807 {
808 SV *hv = SvRV (sv);
809 if (SvTYPE (hv) == SVt_PVHV)
810 {
811 SV **xprio = hv_fetch ((HV *)hv, "prio", 4, 0);
812 int prio = xprio ? SvIV (*xprio) : PRIO_NORMAL;
813
814 prio = prio > PRIO_MAX ? PRIO_MAX
815 : prio < PRIO_MIN ? PRIO_MIN
816 : prio;
817
818 av_push (coro_ready [prio - PRIO_MIN], sv);
819 coro_nready++;
820
821 return;
822 }
823 }
824
825 croak ("Coro::ready tried to enqueue something that is not a coroutine");
826}
827
828static SV *
829coro_deq (int min_prio)
830{
831 int prio = PRIO_MAX - PRIO_MIN;
832
833 min_prio -= PRIO_MIN;
834 if (min_prio < 0)
835 min_prio = 0;
836
837 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
838 if (av_len (coro_ready[prio]) >= 0)
839 {
840 coro_nready--;
841 return av_shift (coro_ready[prio]);
842 }
843
844 return 0;
845}
846
847static void
848api_ready (SV *coro)
849{
850 coro_enq (SvREFCNT_inc (coro));
851}
852
853static void
854api_schedule (int cede)
855{
856 SV *prev, *next;
857
858 prev = GvSV (coro_current);
859
860 if (cede)
861 coro_enq (SvREFCNT_inc (prev));
862
863 next = coro_deq (PRIO_MIN);
864
865 if (!next)
866 next = SvREFCNT_inc (GvSV (coro_idle));
867
868 GvSV (coro_current) = SvREFCNT_inc (next);
869 transfer (aTHX_
870 sv_to_coro (prev, "Coro::schedule", "current coroutine"),
871 sv_to_coro (next, "Coro::schedule", "next coroutine"),
872 TRANSFER_SAVE_ALL | TRANSFER_LAZY_STACK);
873 SvREFCNT_dec (next);
874 SvREFCNT_dec (prev);
643} 875}
644 876
645MODULE = Coro::State PACKAGE = Coro::State 877MODULE = Coro::State PACKAGE = Coro::State
646 878
647PROTOTYPES: ENABLE 879PROTOTYPES: ENABLE
648 880
649BOOT: 881BOOT:
650{ /* {} necessary for stoopid perl-5.6.x */ 882{ /* {} necessary for stoopid perl-5.6.x */
883 ucoro_state_sv = newSVpv (UCORO_STATE, sizeof(UCORO_STATE) - 1);
884 PERL_HASH(ucoro_state_hash, UCORO_STATE, sizeof(UCORO_STATE) - 1);
651 coro_state_stash = gv_stashpvn ("Coro::State", 10, TRUE); 885 coro_state_stash = gv_stashpv ("Coro::State", TRUE);
652 886
653 newCONSTSUB (coro_state_stash, "SAVE_DEFAV", newSViv (TRANSFER_SAVE_DEFAV)); 887 newCONSTSUB (coro_state_stash, "SAVE_DEFAV", newSViv (TRANSFER_SAVE_DEFAV));
654 newCONSTSUB (coro_state_stash, "SAVE_DEFSV", newSViv (TRANSFER_SAVE_DEFSV)); 888 newCONSTSUB (coro_state_stash, "SAVE_DEFSV", newSViv (TRANSFER_SAVE_DEFSV));
655 newCONSTSUB (coro_state_stash, "SAVE_ERRSV", newSViv (TRANSFER_SAVE_ERRSV)); 889 newCONSTSUB (coro_state_stash, "SAVE_ERRSV", newSViv (TRANSFER_SAVE_ERRSV));
656 newCONSTSUB (coro_state_stash, "SAVE_CCTXT", newSViv (TRANSFER_SAVE_CCTXT)); 890 newCONSTSUB (coro_state_stash, "SAVE_CCTXT", newSViv (TRANSFER_SAVE_CCTXT));
657 891
658 if (!padlist_cache) 892 if (!padlist_cache)
659 padlist_cache = newHV (); 893 padlist_cache = newHV ();
660 894
661 main_mainstack = PL_mainstack; 895 main_mainstack = PL_mainstack;
896
897 coroapi.ver = CORO_API_VERSION;
898 coroapi.transfer = api_transfer;
662} 899}
663 900
664Coro::State 901Coro::State
665_newprocess(args) 902_newprocess(args)
666 SV * args 903 SV * args
… …
673 910
674 New (0, coro, 1, struct coro); 911 New (0, coro, 1, struct coro);
675 912
676 coro->args = (AV *)SvREFCNT_inc (SvRV (args)); 913 coro->args = (AV *)SvREFCNT_inc (SvRV (args));
677 coro->mainstack = 0; /* actual work is done inside transfer */ 914 coro->mainstack = 0; /* actual work is done inside transfer */
678 coro->sptr = 0; 915 coro->stack = 0;
679 coro->ssize = 0;
680 916
681 RETVAL = coro; 917 RETVAL = coro;
682 OUTPUT: 918 OUTPUT:
683 RETVAL 919 RETVAL
684 920
685void 921void
686transfer(prev, next, flags = TRANSFER_SAVE_ALL) 922transfer(prev, next, flags)
687 Coro::State_or_hashref prev 923 Coro::State_or_hashref prev
688 Coro::State_or_hashref next 924 Coro::State_or_hashref next
689 int flags 925 int flags
690 PROTOTYPE: @ 926 PROTOTYPE: @
691 CODE: 927 CODE:
928 PUTBACK;
692 transfer (aTHX_ prev, next, flags); 929 transfer (aTHX_ prev, next, flags);
930 SPAGAIN;
693 931
694void 932void
695DESTROY(coro) 933DESTROY(coro)
696 Coro::State coro 934 Coro::State coro
697 CODE: 935 CODE:
698 936
699 if (coro->mainstack && coro->mainstack != main_mainstack) 937 if (coro->mainstack && coro->mainstack != main_mainstack)
700 { 938 {
701 struct coro temp; 939 struct coro temp;
702 940
941 PUTBACK;
703 SAVE(aTHX_ (&temp), TRANSFER_SAVE_ALL); 942 SAVE(aTHX_ (&temp), TRANSFER_SAVE_ALL);
704 LOAD(aTHX_ coro); 943 LOAD(aTHX_ coro);
944 SPAGAIN;
705 945
706 destroy_stacks (aTHX); 946 destroy_stacks (aTHX);
707 947
708 LOAD((&temp)); /* this will get rid of defsv etc.. */ 948 LOAD((&temp)); /* this will get rid of defsv etc.. */
949 SPAGAIN;
709 950
710 coro->mainstack = 0; 951 coro->mainstack = 0;
711 } 952 }
712 953
713 if (coro->sptr)
714 {
715 deallocate_stack (coro); 954 deallocate_stack (coro);
716 coro->sptr = 0;
717 }
718 955
719 Safefree (coro); 956 Safefree (coro);
720 957
721void 958void
722flush() 959flush()
723 CODE: 960 CODE:
724#ifdef MAY_FLUSH 961#ifdef MAY_FLUSH
725 flush_padlist_cache (); 962 flush_padlist_cache ();
726#endif 963#endif
727 964
965void
966_exit(code)
967 int code
968 PROTOTYPE: $
969 CODE:
970#if defined(__GLIBC__) || _POSIX_C_SOURCE
971 _exit (code);
972#else
973 signal (SIGTERM, SIG_DFL);
974 raise (SIGTERM);
975 exit (code);
976#endif
977
728MODULE = Coro::State PACKAGE = Coro::Cont 978MODULE = Coro::State PACKAGE = Coro::Cont
729 979
730# this is slightly dirty 980# this is slightly dirty (should expose a c-level api)
731 981
732void 982void
733yield(...) 983yield(...)
734 PROTOTYPE: @ 984 PROTOTYPE: @
735 CODE: 985 CODE:
… …
753 next = (struct coro *)SvIV ((SV*)SvRV (*av_fetch ((AV *)SvRV (sv), 1, 0))); 1003 next = (struct coro *)SvIV ((SV*)SvRV (*av_fetch ((AV *)SvRV (sv), 1, 0)));
754 SvREFCNT_dec (sv); 1004 SvREFCNT_dec (sv);
755 1005
756 transfer(aTHX_ prev, next, 0); 1006 transfer(aTHX_ prev, next, 0);
757 1007
1008MODULE = Coro::State PACKAGE = Coro
1009
1010# this is slightly dirty (should expose a c-level api)
1011
1012BOOT:
1013{
1014 int i;
1015 HV *stash = gv_stashpv ("Coro", TRUE);
1016
1017 newCONSTSUB (stash, "PRIO_MAX", newSViv (PRIO_MAX));
1018 newCONSTSUB (stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
1019 newCONSTSUB (stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
1020 newCONSTSUB (stash, "PRIO_LOW", newSViv (PRIO_LOW));
1021 newCONSTSUB (stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
1022 newCONSTSUB (stash, "PRIO_MIN", newSViv (PRIO_MIN));
1023
1024 coro_current = gv_fetchpv ("Coro::current", TRUE, SVt_PV);
1025 coro_idle = gv_fetchpv ("Coro::idle" , TRUE, SVt_PV);
1026
1027 for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
1028 coro_ready[i] = newAV ();
1029
1030 {
1031 SV *sv = perl_get_sv("Coro::API", 1);
1032
1033 coroapi.schedule = api_schedule;
1034 coroapi.ready = api_ready;
1035 coroapi.nready = &coro_nready;
1036 coroapi.current = coro_current;
1037
1038 GCoroAPI = &coroapi;
1039 sv_setiv(sv, (IV)&coroapi);
1040 SvREADONLY_on(sv);
1041 }
1042}
1043
1044void
1045ready(self)
1046 SV * self
1047 CODE:
1048 api_ready (self);
1049
1050int
1051nready(...)
1052 PROTOTYPE:
1053 CODE:
1054 RETVAL = coro_nready;
1055 OUTPUT:
1056 RETVAL
1057
1058void
1059schedule(...)
1060 PROTOTYPE:
1061 ALIAS:
1062 cede = 1
1063 CODE:
1064 api_schedule (ix);
1065

Diff Legend

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