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.19 by root, Sun Jul 29 01:11:41 2001 UTC vs.
Revision 1.38 by root, Wed Nov 7 00:21:06 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>
10# ifndef MAP_ANON
11# ifdef MAP_ANONYMOUS 12# ifndef MAP_ANONYMOUS
12# define MAP_ANON MAP_ANONYMOUS 13# ifdef MAP_ANON
14# define MAP_ANONYMOUS MAP_ANON
13# else 15# else
14# undef HAVE_MMAP 16# undef HAVE_MMAP
15# endif 17# endif
16# endif 18# endif
17#endif 19#endif
18 20
19#define MAY_FLUSH /* increases codesize */ 21#define MAY_FLUSH /* increases codesize and is rarely used */
20
21/* perl-related */
22#define TRANSFER_SAVE_DEFAV 0x00000001
23#define TRANSFER_SAVE_DEFSV 0x00000002
24#define TRANSFER_SAVE_ERRSV 0x00000004
25/* c-related */
26#define TRANSFER_SAVE_CCTXT 0x00000008
27#ifdef CORO_LAZY_STACK
28# define TRANSFER_LAZY_STACK 0x00000010
29#else
30# define TRANSFER_LAZY_STACK 0x00000000
31#endif
32
33#define TRANSFER_SAVE_ALL (TRANSFER_SAVE_DEFAV|TRANSFER_SAVE_DEFSV \
34 |TRANSFER_SAVE_ERRSV|TRANSFER_SAVE_CCTXT)
35 22
36#define SUB_INIT "Coro::State::initialize" 23#define SUB_INIT "Coro::State::initialize"
37#define UCORO_STATE "_coro_state" 24#define UCORO_STATE "_coro_state"
38 25
39/* The next macro should delcare a variable stacklevel that contains and approximation 26/* The next macro should declare a variable stacklevel that contains and approximation
40 * to the current C stack pointer. It's property is that it changes with each call 27 * to the current C stack pointer. Its property is that it changes with each call
41 * and should be unique. */ 28 * and should be unique. */
42#define dSTACKLEVEL void *stacklevel = &stacklevel 29#define dSTACKLEVEL void *stacklevel = &stacklevel
43 30
31#define IN_DESTRUCT (PL_main_cv == Nullcv)
32
44#define labs(l) ((l) >= 0 ? (l) : -(l)) 33#define labs(l) ((l) >= 0 ? (l) : -(l))
34
35#include "CoroAPI.h"
36
37static struct CoroAPI coroapi;
45 38
46/* this is actually not only the c stack but also c registers etc... */ 39/* this is actually not only the c stack but also c registers etc... */
47typedef struct { 40typedef struct {
48 int refcnt; /* pointer reference counter */ 41 int refcnt; /* pointer reference counter */
49 int usecnt; /* shared by how many coroutines */ 42 int usecnt; /* shared by how many coroutines */
… …
63 56
64 /* optionally saved, might be zero */ 57 /* optionally saved, might be zero */
65 AV *defav; 58 AV *defav;
66 SV *defsv; 59 SV *defsv;
67 SV *errsv; 60 SV *errsv;
61 /* TODO: PL_pmop might be nice && effortless to save. */
68 62
69 /* saved global state not related to stacks */ 63 /* saved global state not related to stacks */
70 U8 dowarn; 64 U8 dowarn;
71 I32 in_eval; 65 I32 in_eval;
72 66
… …
204 198
205 return newpadlist; 199 return newpadlist;
206} 200}
207 201
208#ifdef MAY_FLUSH 202#ifdef MAY_FLUSH
209STATIC AV * 203STATIC void
210free_padlist (AV *padlist) 204free_padlist (AV *padlist)
211{ 205{
212 /* may be during global destruction */ 206 /* may be during global destruction */
213 if (SvREFCNT(padlist)) 207 if (SvREFCNT(padlist))
214 { 208 {
… …
279#endif 273#endif
280 274
281#define SB do { 275#define SB do {
282#define SE } while (0) 276#define SE } while (0)
283 277
284#define LOAD(state) SB load_state(aTHX_ (state)); SPAGAIN; SE 278#define LOAD(state) load_state(aTHX_ (state));
285#define SAVE(state,flags) SB PUTBACK; save_state(aTHX_ (state),(flags)); SE 279#define SAVE(state,flags) save_state(aTHX_ (state),(flags));
286 280
287#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); SE 281#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); SE
288 282
289static void 283static void
290load_state(pTHX_ Coro__State c) 284load_state(pTHX_ Coro__State c)
… …
364 358
365 PUSHs (Nullsv); 359 PUSHs (Nullsv);
366 /* this loop was inspired by pp_caller */ 360 /* this loop was inspired by pp_caller */
367 for (;;) 361 for (;;)
368 { 362 {
369 do 363 while (cxix >= 0)
370 { 364 {
371 PERL_CONTEXT *cx = &ccstk[cxix--]; 365 PERL_CONTEXT *cx = &ccstk[cxix--];
372 366
373 if (CxTYPE(cx) == CXt_SUB) 367 if (CxTYPE(cx) == CXt_SUB)
374 { 368 {
… …
400 /* I never used formats, so how should I know how these are implemented? */ 394 /* I never used formats, so how should I know how these are implemented? */
401 /* my bold guess is as a simple, plain sub... */ 395 /* my bold guess is as a simple, plain sub... */
402 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats"); 396 croak ("CXt_FORMAT not yet handled. Don't switch coroutines from within formats");
403 } 397 }
404 } 398 }
405 while (cxix >= 0);
406 399
407 if (top_si->si_type == PERLSI_MAIN) 400 if (top_si->si_type == PERLSI_MAIN)
408 break; 401 break;
409 402
410 top_si = top_si->si_prev; 403 top_si = top_si->si_prev;
… …
416 } 409 }
417 410
418 c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0; 411 c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0;
419 c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0; 412 c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0;
420 c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0; 413 c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0;
421
422 /* I have not the slightest idea of why av_reify is necessary */
423 /* but if it's missing the defav contents magically get replaced sometimes */
424 if (c->defav)
425 av_reify (c->defav);
426 414
427 c->dowarn = PL_dowarn; 415 c->dowarn = PL_dowarn;
428 c->in_eval = PL_in_eval; 416 c->in_eval = PL_in_eval;
429 417
430 c->curstackinfo = PL_curstackinfo; 418 c->curstackinfo = PL_curstackinfo;
… …
502 * still there is a memleak of 128 bytes... 490 * still there is a memleak of 128 bytes...
503 */ 491 */
504STATIC void 492STATIC void
505destroy_stacks(pTHX) 493destroy_stacks(pTHX)
506{ 494{
495 if (!IN_DESTRUCT)
496 {
507 /* is this ugly, I ask? */ 497 /* is this ugly, I ask? */
508 while (PL_scopestack_ix) 498 while (PL_scopestack_ix)
509 LEAVE; 499 LEAVE;
510 500
511 /* sure it is, but more important: is it correct?? :/ */ 501 /* sure it is, but more important: is it correct?? :/ */
512 while (PL_tmps_ix > PL_tmps_floor) /* should only ever be one iteration */ 502 while (PL_tmps_ix > PL_tmps_floor) /* should only ever be one iteration */
513 FREETMPS; 503 FREETMPS;
504 }
514 505
515 while (PL_curstackinfo->si_next) 506 while (PL_curstackinfo->si_next)
516 PL_curstackinfo = PL_curstackinfo->si_next; 507 PL_curstackinfo = PL_curstackinfo->si_next;
517 508
518 while (PL_curstackinfo) 509 while (PL_curstackinfo)
… …
523 dSP; 514 dSP;
524 SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack); 515 SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack);
525 PUTBACK; /* possibly superfluous */ 516 PUTBACK; /* possibly superfluous */
526 } 517 }
527 518
519 if (!IN_DESTRUCT)
520 {
528 dounwind(-1); 521 dounwind(-1);
529
530 SvREFCNT_dec(PL_curstackinfo->si_stack); 522 SvREFCNT_dec(PL_curstackinfo->si_stack);
523 }
524
531 Safefree(PL_curstackinfo->si_cxstack); 525 Safefree(PL_curstackinfo->si_cxstack);
532 Safefree(PL_curstackinfo); 526 Safefree(PL_curstackinfo);
533 PL_curstackinfo = p; 527 PL_curstackinfo = p;
534 } 528 }
535 529
… …
550 stack->refcnt = 1; 544 stack->refcnt = 1;
551 stack->usecnt = 1; 545 stack->usecnt = 1;
552 stack->gencnt = ctx->gencnt = 0; 546 stack->gencnt = ctx->gencnt = 0;
553 if (alloc) 547 if (alloc)
554 { 548 {
555#ifdef HAVE_MMAP 549#if HAVE_MMAP
556 stack->ssize = 128 * 1024 * sizeof (long); /* mmap should do allocate-on-write for us */ 550 stack->ssize = 128 * 1024 * sizeof (long); /* mmap should do allocate-on-write for us */
557 stack->sptr = mmap (0, stack->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, 0, 0); 551 stack->sptr = mmap (0, stack->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
558 if (stack->sptr == (void *)-1) 552 if (stack->sptr == (void *)-1)
559#endif 553#endif
560 { 554 {
561 /*FIXME*//*D*//* reasonable stack size! */ 555 /*FIXME*//*D*//* reasonable stack size! */
562 stack->ssize = -4096 * sizeof (long); 556 stack->ssize = -4096 * sizeof (long);
… …
657{ 651{
658 /* 652 /*
659 * this is a _very_ stripped down perl interpreter ;) 653 * this is a _very_ stripped down perl interpreter ;)
660 */ 654 */
661 Coro__State ctx = (Coro__State)arg; 655 Coro__State ctx = (Coro__State)arg;
656 JMPENV coro_start_env;
662 657
663 /*FIXME*//* must set up top_env here */ 658 /* same as JMPENV_BOOTSTRAP */
659 Zero(&coro_start_env, 1, JMPENV);
660 coro_start_env.je_ret = -1;
661 coro_start_env.je_mustcatch = TRUE;
662 PL_top_env = &coro_start_env;
663
664 ctx->cursp = 0; 664 ctx->cursp = 0;
665 PL_op = PL_op->op_next; 665 PL_op = PL_op->op_next;
666 CALLRUNOPS(aTHX); 666 CALLRUNOPS(aTHX);
667 667
668 abort (); 668 abort ();
669} 669}
670 670
671STATIC void 671STATIC void
672transfer(pTHX_ struct coro *prev, struct coro *next, int flags) 672transfer(pTHX_ struct coro *prev, struct coro *next, int flags)
673{ 673{
674 dSP;
675 dSTACKLEVEL; 674 dSTACKLEVEL;
675 static struct coro *xnext;
676 676
677 if (prev != next) 677 if (prev != next)
678 { 678 {
679 xnext = next;
680
679 if (next->mainstack) 681 if (next->mainstack)
680 { 682 {
681 SAVE (prev, flags); 683 SAVE (prev, flags);
682 LOAD (next); 684 LOAD (next);
683 685
… …
706 continue_coro, (void *)next, 708 continue_coro, (void *)next,
707 next->stack->sptr, labs (next->stack->ssize)); 709 next->stack->sptr, labs (next->stack->ssize));
708 } 710 }
709 711
710 coro_transfer (&(prev->stack->cctx), &(next->stack->cctx)); 712 coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));
713 /* don't add any code here */
711 } 714 }
712 715
713 } 716 }
714 else if (next->tmps_ix == -2) 717 else if (next->tmps_ix == -2)
715 croak ("tried to transfer to running coroutine"); 718 croak ("tried to transfer to running coroutine");
… …
736 allocate_stack (next, 1); 739 allocate_stack (next, 1);
737 coro_create (&(next->stack->cctx), 740 coro_create (&(next->stack->cctx),
738 setup_coro, (void *)next, 741 setup_coro, (void *)next,
739 next->stack->sptr, labs (next->stack->ssize)); 742 next->stack->sptr, labs (next->stack->ssize));
740 coro_transfer (&(prev->stack->cctx), &(next->stack->cctx)); 743 coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));
744 /* don't add any code here */
741 } 745 }
742 } 746 }
743 else 747 else
744 setup_coro (next); 748 setup_coro (next);
745 } 749 }
746 }
747 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 */
748 next->cursp = stacklevel; 756 xnext->cursp = stacklevel;
757 }
758}
759
760static struct coro *
761sv_to_coro (SV *arg, const char *funcname, const char *varname)
762{
763 if (SvROK(arg) && SvTYPE(SvRV(arg)) == SVt_PVHV)
764 {
765 HE *he = hv_fetch_ent((HV *)SvRV(arg), ucoro_state_sv, 0, ucoro_state_hash);
766
767 if (!he)
768 croak ("%s() -- %s is a hashref but lacks the " UCORO_STATE " key", funcname, varname);
769
770 arg = HeVAL(he);
771 }
772
773 /* must also be changed inside Coro::Cont::yield */
774 if (SvROK(arg) && SvOBJECT(SvRV(arg))
775 && SvSTASH(SvRV(arg)) == coro_state_stash)
776 return (struct coro *) SvIV((SV*)SvRV(arg));
777
778 croak ("%s() -- %s is not (and contains not) a Coro::State object", funcname, varname);
779 /*NORETURN*/
780}
781
782static void
783api_transfer(pTHX_ SV *prev, SV *next, int flags)
784{
785 transfer(aTHX_
786 sv_to_coro (prev, "Coro::transfer", "prev"),
787 sv_to_coro (next, "Coro::transfer", "next"),
788 flags);
789}
790
791/** Coro ********************************************************************/
792
793#define PRIO_MAX 3
794#define PRIO_HIGH 1
795#define PRIO_NORMAL 0
796#define PRIO_LOW -1
797#define PRIO_IDLE -3
798#define PRIO_MIN -4
799
800/* for Coro.pm */
801static GV *coro_current, *coro_idle;
802static AV *coro_ready[PRIO_MAX-PRIO_MIN+1];
803static int coro_nready;
804
805static void
806coro_enq (SV *sv)
807{
808 if (SvROK (sv))
809 {
810 SV *hv = SvRV (sv);
811 if (SvTYPE (hv) == SVt_PVHV)
812 {
813 SV **xprio = hv_fetch ((HV *)hv, "prio", 4, 0);
814 int prio = xprio ? SvIV (*xprio) : PRIO_NORMAL;
815
816 prio = prio > PRIO_MAX ? PRIO_MAX
817 : prio < PRIO_MIN ? PRIO_MIN
818 : prio;
819
820 av_push (coro_ready [prio - PRIO_MIN], sv);
821 coro_nready++;
822
823 return;
824 }
825 }
826
827 croak ("Coro::ready tried to enqueue something that is not a coroutine");
828}
829
830static SV *
831coro_deq (int min_prio)
832{
833 int prio = PRIO_MAX - PRIO_MIN;
834
835 min_prio -= PRIO_MIN;
836 if (min_prio < 0)
837 min_prio = 0;
838
839 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
840 if (av_len (coro_ready[prio]) >= 0)
841 {
842 coro_nready--;
843 return av_shift (coro_ready[prio]);
844 }
845
846 return 0;
847}
848
849static void
850api_ready (SV *coro)
851{
852 coro_enq (SvREFCNT_inc (coro));
853}
854
855static void
856api_schedule (int cede)
857{
858 SV *prev, *next;
859
860 prev = GvSV (coro_current);
861
862 if (cede)
863 coro_enq (SvREFCNT_inc (prev));
864
865 next = coro_deq (PRIO_MIN);
866
867 if (!next)
868 next = SvREFCNT_inc (GvSV (coro_idle));
869
870 GvSV (coro_current) = SvREFCNT_inc (next);
871 transfer (aTHX_
872 sv_to_coro (prev, "Coro::schedule", "current coroutine"),
873 sv_to_coro (next, "Coro::schedule", "next coroutine"),
874 TRANSFER_SAVE_ALL | TRANSFER_LAZY_STACK);
875 SvREFCNT_dec (next);
876 SvREFCNT_dec (prev);
749} 877}
750 878
751MODULE = Coro::State PACKAGE = Coro::State 879MODULE = Coro::State PACKAGE = Coro::State
752 880
753PROTOTYPES: ENABLE 881PROTOTYPES: ENABLE
… …
765 893
766 if (!padlist_cache) 894 if (!padlist_cache)
767 padlist_cache = newHV (); 895 padlist_cache = newHV ();
768 896
769 main_mainstack = PL_mainstack; 897 main_mainstack = PL_mainstack;
898
899 coroapi.ver = CORO_API_VERSION;
900 coroapi.transfer = api_transfer;
770} 901}
771 902
772Coro::State 903Coro::State
773_newprocess(args) 904_newprocess(args)
774 SV * args 905 SV * args
… …
788 RETVAL = coro; 919 RETVAL = coro;
789 OUTPUT: 920 OUTPUT:
790 RETVAL 921 RETVAL
791 922
792void 923void
793transfer(prev, next, flags = TRANSFER_SAVE_ALL | TRANSFER_LAZY_STACK) 924transfer(prev, next, flags)
794 Coro::State_or_hashref prev 925 Coro::State_or_hashref prev
795 Coro::State_or_hashref next 926 Coro::State_or_hashref next
796 int flags 927 int flags
797 PROTOTYPE: @ 928 PROTOTYPE: @
798 CODE: 929 CODE:
930 PUTBACK;
799 transfer (aTHX_ prev, next, flags); 931 transfer (aTHX_ prev, next, flags);
932 SPAGAIN;
800 933
801void 934void
802DESTROY(coro) 935DESTROY(coro)
803 Coro::State coro 936 Coro::State coro
804 CODE: 937 CODE:
805 938
806 if (coro->mainstack && coro->mainstack != main_mainstack) 939 if (coro->mainstack && coro->mainstack != main_mainstack)
807 { 940 {
808 struct coro temp; 941 struct coro temp;
809 942
943 PUTBACK;
810 SAVE(aTHX_ (&temp), TRANSFER_SAVE_ALL); 944 SAVE(aTHX_ (&temp), TRANSFER_SAVE_ALL);
811 LOAD(aTHX_ coro); 945 LOAD(aTHX_ coro);
946 SPAGAIN;
812 947
813 destroy_stacks (aTHX); 948 destroy_stacks (aTHX);
814 949
815 LOAD((&temp)); /* this will get rid of defsv etc.. */ 950 LOAD((&temp)); /* this will get rid of defsv etc.. */
951 SPAGAIN;
816 952
817 coro->mainstack = 0; 953 coro->mainstack = 0;
818 } 954 }
819 955
820 deallocate_stack (coro); 956 deallocate_stack (coro);
… …
826 CODE: 962 CODE:
827#ifdef MAY_FLUSH 963#ifdef MAY_FLUSH
828 flush_padlist_cache (); 964 flush_padlist_cache ();
829#endif 965#endif
830 966
967void
968_exit(code)
969 int code
970 PROTOTYPE: $
971 CODE:
972#if defined(__GLIBC__) || _POSIX_C_SOURCE
973 _exit (code);
974#else
975 signal (SIGTERM, SIG_DFL);
976 raise (SIGTERM);
977 exit (code);
978#endif
979
831MODULE = Coro::State PACKAGE = Coro::Cont 980MODULE = Coro::State PACKAGE = Coro::Cont
832 981
833# this is slightly dirty 982# this is slightly dirty (should expose a c-level api)
834 983
835void 984void
836yield(...) 985yield(...)
837 PROTOTYPE: @ 986 PROTOTYPE: @
838 CODE: 987 CODE:
… …
856 next = (struct coro *)SvIV ((SV*)SvRV (*av_fetch ((AV *)SvRV (sv), 1, 0))); 1005 next = (struct coro *)SvIV ((SV*)SvRV (*av_fetch ((AV *)SvRV (sv), 1, 0)));
857 SvREFCNT_dec (sv); 1006 SvREFCNT_dec (sv);
858 1007
859 transfer(aTHX_ prev, next, 0); 1008 transfer(aTHX_ prev, next, 0);
860 1009
1010MODULE = Coro::State PACKAGE = Coro
1011
1012# this is slightly dirty (should expose a c-level api)
1013
1014BOOT:
1015{
1016 int i;
1017 HV *stash = gv_stashpv ("Coro", TRUE);
1018
1019 newCONSTSUB (stash, "PRIO_MAX", newSViv (PRIO_MAX));
1020 newCONSTSUB (stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
1021 newCONSTSUB (stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
1022 newCONSTSUB (stash, "PRIO_LOW", newSViv (PRIO_LOW));
1023 newCONSTSUB (stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
1024 newCONSTSUB (stash, "PRIO_MIN", newSViv (PRIO_MIN));
1025
1026 coro_current = gv_fetchpv ("Coro::current", TRUE, SVt_PV);
1027 coro_idle = gv_fetchpv ("Coro::idle" , TRUE, SVt_PV);
1028
1029 for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
1030 coro_ready[i] = newAV ();
1031
1032 {
1033 SV *sv = perl_get_sv("Coro::API", 1);
1034
1035 coroapi.schedule = api_schedule;
1036 coroapi.ready = api_ready;
1037 coroapi.nready = &coro_nready;
1038 coroapi.current = coro_current;
1039
1040 GCoroAPI = &coroapi;
1041 sv_setiv(sv, (IV)&coroapi);
1042 SvREADONLY_on(sv);
1043 }
1044}
1045
1046void
1047ready(self)
1048 SV * self
1049 PROTOTYPE: $
1050 CODE:
1051 api_ready (self);
1052
1053int
1054nready(...)
1055 PROTOTYPE:
1056 CODE:
1057 RETVAL = coro_nready;
1058 OUTPUT:
1059 RETVAL
1060
1061void
1062schedule(...)
1063 PROTOTYPE:
1064 ALIAS:
1065 cede = 1
1066 CODE:
1067 api_schedule (ix);
1068

Diff Legend

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