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.126 by root, Tue Dec 12 04:19:56 2006 UTC vs.
Revision 1.146 by root, Sat Mar 17 19:51:57 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
7#include "patchlevel.h" 9#include "patchlevel.h"
8 10
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)
23# ifndef PL_ppaddr
24# define PL_ppaddr ppaddr
25# endif
26# ifndef call_sv
27# define call_sv perl_call_sv
28# endif
29# ifndef get_sv
30# define get_sv perl_get_sv
31# endif
32# ifndef get_cv
33# define get_cv perl_get_cv
34# endif
35# ifndef IS_PADGV
36# define IS_PADGV(v) 0
37# endif
38# ifndef IS_PADCONST
39# define IS_PADCONST(v) 0
40# endif
41#endif
42
43/* 5.8.7 */
44#ifndef SvRV_set
45# define SvRV_set(s,v) SvRV(s) = (v)
46#endif
47
48#include <stdio.h> 11#include <stdio.h>
49#include <errno.h> 12#include <errno.h>
50#include <assert.h> 13#include <assert.h>
51
52#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
53# undef STACKGUARD
54#endif
55
56#ifndef STACKGUARD
57# define STACKGUARD 0
58#endif
59 14
60#ifdef HAVE_MMAP 15#ifdef HAVE_MMAP
61# include <unistd.h> 16# include <unistd.h>
62# include <sys/mman.h> 17# include <sys/mman.h>
63# ifndef MAP_ANONYMOUS 18# ifndef MAP_ANONYMOUS
78#else 33#else
79# define PAGESIZE 0 34# define PAGESIZE 0
80# define BOOT_PAGESIZE (void)0 35# define BOOT_PAGESIZE (void)0
81#endif 36#endif
82 37
38#if CORO_USE_VALGRIND
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)
43#endif
44
45/* the maximum number of idle cctx that will be pooled */
46#define MAX_IDLE_CCTX 8
47
48#define PERL_VERSION_ATLEAST(a,b,c) \
49 (PERL_REVISION > (a) \
50 || (PERL_REVISION == (a) \
51 && (PERL_VERSION > (b) \
52 || (PERL_VERSION == (b) && PERLSUBVERSION >= (c)))))
53
54#if !PERL_VERSION_ATLEAST (5,6,0)
55# ifndef PL_ppaddr
56# define PL_ppaddr ppaddr
57# endif
58# ifndef call_sv
59# define call_sv perl_call_sv
60# endif
61# ifndef get_sv
62# define get_sv perl_get_sv
63# endif
64# ifndef get_cv
65# define get_cv perl_get_cv
66# endif
67# ifndef IS_PADGV
68# define IS_PADGV(v) 0
69# endif
70# ifndef IS_PADCONST
71# define IS_PADCONST(v) 0
72# endif
73#endif
74
75/* 5.8.7 */
76#ifndef SvRV_set
77# define SvRV_set(s,v) SvRV(s) = (v)
78#endif
79
80#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
81# undef CORO_STACKGUARD
82#endif
83
84#ifndef CORO_STACKGUARD
85# define CORO_STACKGUARD 0
86#endif
87
88/* prefer perl internal functions over our own? */
89#ifndef CORO_PREFER_PERL_FUNCTIONS
90# define CORO_PREFER_PERL_FUNCTIONS 0
91#endif
92
83/* The next macro should declare a variable stacklevel that contains and approximation 93/* The next macro should declare a variable stacklevel that contains and approximation
84 * to the current C stack pointer. Its property is that it changes with each call 94 * to the current C stack pointer. Its property is that it changes with each call
85 * and should be unique. */ 95 * and should be unique. */
86#define dSTACKLEVEL int stacklevel 96#define dSTACKLEVEL int stacklevel
87#define STACKLEVEL ((void *)&stacklevel) 97#define STACKLEVEL ((void *)&stacklevel)
88 98
89#define IN_DESTRUCT (PL_main_cv == Nullcv) 99#define IN_DESTRUCT (PL_main_cv == Nullcv)
90 100
91#if __GNUC__ >= 3 101#if __GNUC__ >= 3
92# define attribute(x) __attribute__(x) 102# define attribute(x) __attribute__(x)
103# define BARRIER __asm__ __volatile__ ("" : : : "memory")
93#else 104#else
94# define attribute(x) 105# define attribute(x)
106# define BARRIER
95#endif 107#endif
96 108
97#define NOINLINE attribute ((noinline)) 109#define NOINLINE attribute ((noinline))
98 110
99#include "CoroAPI.h" 111#include "CoroAPI.h"
105#else 117#else
106# define LOCK (void)0 118# define LOCK (void)0
107# define UNLOCK (void)0 119# define UNLOCK (void)0
108#endif 120#endif
109 121
122/* helper storage struct for Coro::AIO */
110struct io_state 123struct io_state
111{ 124{
112 int errorno; 125 int errorno;
113 I32 laststype; 126 I32 laststype;
114 int laststatval; 127 int laststatval;
115 Stat_t statcache; 128 Stat_t statcache;
116}; 129};
117 130
131static size_t coro_stacksize = CORO_STACKSIZE;
118static struct CoroAPI coroapi; 132static struct CoroAPI coroapi;
119static AV *main_mainstack; /* used to differentiate between $main and others */ 133static AV *main_mainstack; /* used to differentiate between $main and others */
120static HV *coro_state_stash, *coro_stash; 134static HV *coro_state_stash, *coro_stash;
121static SV *coro_mortal; /* will be freed after next transfer */ 135static SV *coro_mortal; /* will be freed after next transfer */
122 136
127typedef struct coro_cctx { 141typedef struct coro_cctx {
128 struct coro_cctx *next; 142 struct coro_cctx *next;
129 143
130 /* the stack */ 144 /* the stack */
131 void *sptr; 145 void *sptr;
132 long ssize; /* positive == mmap, otherwise malloc */ 146 size_t ssize;
133 147
134 /* cpu state */ 148 /* cpu state */
135 void *idle_sp; /* sp of top-level transfer/schedule/cede call */ 149 void *idle_sp; /* sp of top-level transfer/schedule/cede call */
150 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */
136 JMPENV *top_env; 151 JMPENV *top_env;
137 coro_context cctx; 152 coro_context cctx;
138 153
139 int inuse;
140
141#if USE_VALGRIND 154#if CORO_USE_VALGRIND
142 int valgrind_id; 155 int valgrind_id;
143#endif 156#endif
157 char inuse, mapped;
144} coro_cctx; 158} coro_cctx;
145 159
146enum { 160enum {
147 CF_RUNNING = 0x0001, /* coroutine is running */ 161 CF_RUNNING = 0x0001, /* coroutine is running */
148 CF_READY = 0x0002, /* coroutine is ready */ 162 CF_READY = 0x0002, /* coroutine is ready */
149 CF_NEW = 0x0004, /* ahs never been switched to */ 163 CF_NEW = 0x0004, /* has never been switched to */
164 CF_DESTROYED = 0x0008, /* coroutine data has been freed */
150}; 165};
151 166
152/* this is a structure representing a perl-level coroutine */ 167/* this is a structure representing a perl-level coroutine */
153struct coro { 168struct coro {
154 /* the c coroutine allocated to this perl coroutine, if any */ 169 /* the c coroutine allocated to this perl coroutine, if any */
176}; 191};
177 192
178typedef struct coro *Coro__State; 193typedef struct coro *Coro__State;
179typedef struct coro *Coro__State_or_hashref; 194typedef struct coro *Coro__State_or_hashref;
180 195
196/** Coro ********************************************************************/
197
198#define PRIO_MAX 3
199#define PRIO_HIGH 1
200#define PRIO_NORMAL 0
201#define PRIO_LOW -1
202#define PRIO_IDLE -3
203#define PRIO_MIN -4
204
205/* for Coro.pm */
206static SV *coro_current;
207static AV *coro_ready [PRIO_MAX-PRIO_MIN+1];
208static int coro_nready;
209
210/** lowlevel stuff **********************************************************/
211
181static AV * 212static AV *
182coro_clone_padlist (CV *cv) 213coro_clone_padlist (pTHX_ CV *cv)
183{ 214{
184 AV *padlist = CvPADLIST (cv); 215 AV *padlist = CvPADLIST (cv);
185 AV *newpadlist, *newpad; 216 AV *newpadlist, *newpad;
186 217
187 newpadlist = newAV (); 218 newpadlist = newAV ();
199 230
200 return newpadlist; 231 return newpadlist;
201} 232}
202 233
203static void 234static void
204free_padlist (AV *padlist) 235free_padlist (pTHX_ AV *padlist)
205{ 236{
206 /* may be during global destruction */ 237 /* may be during global destruction */
207 if (SvREFCNT (padlist)) 238 if (SvREFCNT (padlist))
208 { 239 {
209 I32 i = AvFILLp (padlist); 240 I32 i = AvFILLp (padlist);
230 AV *padlist; 261 AV *padlist;
231 AV *av = (AV *)mg->mg_obj; 262 AV *av = (AV *)mg->mg_obj;
232 263
233 /* casting is fun. */ 264 /* casting is fun. */
234 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av))) 265 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
235 free_padlist (padlist); 266 free_padlist (aTHX_ padlist);
236 267
237 SvREFCNT_dec (av); 268 SvREFCNT_dec (av);
238 269
239 return 0; 270 return 0;
240} 271}
250 : mg_find ((SV *)cv, PERL_MAGIC_coro) \ 281 : mg_find ((SV *)cv, PERL_MAGIC_coro) \
251 : 0 282 : 0
252 283
253/* the next two functions merely cache the padlists */ 284/* the next two functions merely cache the padlists */
254static void 285static void
255get_padlist (CV *cv) 286get_padlist (pTHX_ CV *cv)
256{ 287{
257 MAGIC *mg = CORO_MAGIC (cv); 288 MAGIC *mg = CORO_MAGIC (cv);
258 AV *av; 289 AV *av;
259 290
260 if (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0) 291 if (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0)
261 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--]; 292 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];
262 else 293 else
263 { 294 {
264#if 0 295#if CORO_PREFER_PERL_FUNCTIONS
265 /* this is probably cleaner, but also slower? */ 296 /* this is probably cleaner, but also slower? */
266 CV *cp = Perl_cv_clone (cv); 297 CV *cp = Perl_cv_clone (cv);
267 CvPADLIST (cv) = CvPADLIST (cp); 298 CvPADLIST (cv) = CvPADLIST (cp);
268 CvPADLIST (cp) = 0; 299 CvPADLIST (cp) = 0;
269 SvREFCNT_dec (cp); 300 SvREFCNT_dec (cp);
270#else 301#else
271 CvPADLIST (cv) = coro_clone_padlist (cv); 302 CvPADLIST (cv) = coro_clone_padlist (aTHX_ cv);
272#endif 303#endif
273 } 304 }
274} 305}
275 306
276static void 307static void
277put_padlist (CV *cv) 308put_padlist (pTHX_ CV *cv)
278{ 309{
279 MAGIC *mg = CORO_MAGIC (cv); 310 MAGIC *mg = CORO_MAGIC (cv);
280 AV *av; 311 AV *av;
281 312
282 if (!mg) 313 if (!mg)
293 av_extend (av, AvMAX (av) + 1); 324 av_extend (av, AvMAX (av) + 1);
294 325
295 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv); 326 AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
296} 327}
297 328
329/** load & save, init *******************************************************/
330
298#define SB do { 331#define SB do {
299#define SE } while (0) 332#define SE } while (0)
300 333
301#define REPLACE_SV(sv,val) SB SvREFCNT_dec (sv); (sv) = (val); (val) = 0; SE 334#define REPLACE_SV(sv,val) SB SvREFCNT_dec (sv); (sv) = (val); (val) = 0; SE
302 335
303static void 336static void
304load_perl (Coro__State c) 337load_perl (pTHX_ Coro__State c)
305{ 338{
306#define VAR(name,type) PL_ ## name = c->name; 339#define VAR(name,type) PL_ ## name = c->name;
307# include "state.h" 340# include "state.h"
308#undef VAR 341#undef VAR
309 342
327 CV *cv; 360 CV *cv;
328 361
329 /* now do the ugly restore mess */ 362 /* now do the ugly restore mess */
330 while ((cv = (CV *)POPs)) 363 while ((cv = (CV *)POPs))
331 { 364 {
332 put_padlist (cv); /* mark this padlist as available */ 365 put_padlist (aTHX_ cv); /* mark this padlist as available */
333 CvDEPTH (cv) = PTR2IV (POPs); 366 CvDEPTH (cv) = PTR2IV (POPs);
334 CvPADLIST (cv) = (AV *)POPs; 367 CvPADLIST (cv) = (AV *)POPs;
335 } 368 }
336 369
337 PUTBACK; 370 PUTBACK;
338 } 371 }
372 assert (!PL_comppad || AvARRAY (PL_comppad));//D
339} 373}
340 374
341static void 375static void
342save_perl (Coro__State c) 376save_perl (pTHX_ Coro__State c)
343{ 377{
378 assert (!PL_comppad || AvARRAY (PL_comppad));//D
344 { 379 {
345 dSP; 380 dSP;
346 I32 cxix = cxstack_ix; 381 I32 cxix = cxstack_ix;
347 PERL_CONTEXT *ccstk = cxstack; 382 PERL_CONTEXT *ccstk = cxstack;
348 PERL_SI *top_si = PL_curstackinfo; 383 PERL_SI *top_si = PL_curstackinfo;
371 PUSHs ((SV *)CvPADLIST (cv)); 406 PUSHs ((SV *)CvPADLIST (cv));
372 PUSHs (INT2PTR (SV *, CvDEPTH (cv))); 407 PUSHs (INT2PTR (SV *, CvDEPTH (cv)));
373 PUSHs ((SV *)cv); 408 PUSHs ((SV *)cv);
374 409
375 CvDEPTH (cv) = 0; 410 CvDEPTH (cv) = 0;
376 get_padlist (cv); 411 get_padlist (aTHX_ cv);
377 } 412 }
378 } 413 }
379 } 414 }
380 415
381 if (top_si->si_type == PERLSI_MAIN) 416 if (top_si->si_type == PERLSI_MAIN)
403 * allocate various perl stacks. This is an exact copy 438 * allocate various perl stacks. This is an exact copy
404 * of perl.c:init_stacks, except that it uses less memory 439 * of perl.c:init_stacks, except that it uses less memory
405 * on the (sometimes correct) assumption that coroutines do 440 * on the (sometimes correct) assumption that coroutines do
406 * not usually need a lot of stackspace. 441 * not usually need a lot of stackspace.
407 */ 442 */
408#if USE_PERL_INIT_STACKS 443#if CORO_PREFER_PERL_FUNCTIONS
409# define coro_init_stacks init_stacks 444# define coro_init_stacks init_stacks
410#else 445#else
411
412static void 446static void
413coro_init_stacks () 447coro_init_stacks (pTHX)
414{ 448{
415 PL_curstackinfo = new_stackinfo(128, 1024/sizeof(PERL_CONTEXT)); 449 PL_curstackinfo = new_stackinfo(128, 1024/sizeof(PERL_CONTEXT));
416 PL_curstackinfo->si_type = PERLSI_MAIN; 450 PL_curstackinfo->si_type = PERLSI_MAIN;
417 PL_curstack = PL_curstackinfo->si_stack; 451 PL_curstack = PL_curstackinfo->si_stack;
418 PL_mainstack = PL_curstack; /* remember in case we switch stacks */ 452 PL_mainstack = PL_curstack; /* remember in case we switch stacks */
446 New(54,PL_retstack,16,OP*); 480 New(54,PL_retstack,16,OP*);
447 PL_retstack_ix = 0; 481 PL_retstack_ix = 0;
448 PL_retstack_max = 16; 482 PL_retstack_max = 16;
449#endif 483#endif
450} 484}
485#endif
451 486
452/* 487/*
453 * destroy the stacks, the callchain etc... 488 * destroy the stacks, the callchain etc...
454 */ 489 */
455static void 490static void
456coro_destroy_stacks () 491coro_destroy_stacks (pTHX)
457{ 492{
458 if (!IN_DESTRUCT) 493 if (!IN_DESTRUCT)
459 { 494 {
460 /* restore all saved variables and stuff */ 495 /* restore all saved variables and stuff */
461 LEAVE_SCOPE (0); 496 LEAVE_SCOPE (0);
463 498
464 /* free all temporaries */ 499 /* free all temporaries */
465 FREETMPS; 500 FREETMPS;
466 assert (PL_tmps_ix == -1); 501 assert (PL_tmps_ix == -1);
467 502
503 /* unwind all extra stacks */
468 POPSTACK_TO (PL_mainstack); 504 POPSTACK_TO (PL_mainstack);
505
506 /* unwind main stack */
507 dounwind (-1);
469 } 508 }
470 509
471 while (PL_curstackinfo->si_next) 510 while (PL_curstackinfo->si_next)
472 PL_curstackinfo = PL_curstackinfo->si_next; 511 PL_curstackinfo = PL_curstackinfo->si_next;
473 512
489 Safefree (PL_savestack); 528 Safefree (PL_savestack);
490#if !PERL_VERSION_ATLEAST (5,9,0) 529#if !PERL_VERSION_ATLEAST (5,9,0)
491 Safefree (PL_retstack); 530 Safefree (PL_retstack);
492#endif 531#endif
493} 532}
494#endif
495 533
534/** coroutine stack handling ************************************************/
535
496static void 536static void
497setup_coro (struct coro *coro) 537setup_coro (pTHX_ struct coro *coro)
498{ 538{
499 /* 539 /*
500 * emulate part of the perl startup here. 540 * emulate part of the perl startup here.
501 */ 541 */
502
503 coro_init_stacks (); 542 coro_init_stacks (aTHX);
504 543
505 PL_curcop = &PL_compiling; 544 PL_curcop = &PL_compiling;
506 PL_in_eval = EVAL_NULL; 545 PL_in_eval = EVAL_NULL;
546 PL_comppad = 0;
507 PL_curpm = 0; 547 PL_curpm = 0;
508 PL_localizing = 0; 548 PL_localizing = 0;
509 PL_dirty = 0; 549 PL_dirty = 0;
510 PL_restartop = 0; 550 PL_restartop = 0;
511 551
530 570
531 ENTER; /* necessary e.g. for dounwind */ 571 ENTER; /* necessary e.g. for dounwind */
532} 572}
533 573
534static void 574static void
535free_coro_mortal () 575free_coro_mortal (pTHX)
536{ 576{
537 if (coro_mortal) 577 if (coro_mortal)
538 { 578 {
539 SvREFCNT_dec (coro_mortal); 579 SvREFCNT_dec (coro_mortal);
540 coro_mortal = 0; 580 coro_mortal = 0;
541 } 581 }
542} 582}
543 583
544/* inject a fake call to Coro::State::_cctx_init into the execution */ 584/* inject a fake call to Coro::State::_cctx_init into the execution */
545static void NOINLINE 585static void NOINLINE
546prepare_cctx (coro_cctx *cctx) 586prepare_cctx (pTHX_ coro_cctx *cctx)
547{ 587{
548 dSP; 588 dSP;
549 LOGOP myop; 589 LOGOP myop;
550 590
551 Zero (&myop, 1, LOGOP); 591 Zero (&myop, 1, LOGOP);
563} 603}
564 604
565static void 605static void
566coro_run (void *arg) 606coro_run (void *arg)
567{ 607{
608 dTHX;
609
568 /* coro_run is the alternative tail of transfer(), so unlock here. */ 610 /* coro_run is the alternative tail of transfer(), so unlock here. */
569 UNLOCK; 611 UNLOCK;
570 612
571 /* 613 /*
572 * this is a _very_ stripped down perl interpreter ;) 614 * this is a _very_ stripped down perl interpreter ;)
573 */ 615 */
574 PL_top_env = &PL_start_env; 616 PL_top_env = &PL_start_env;
575 617
576 /* inject call to cctx_init */ 618 /* inject call to cctx_init */
577 prepare_cctx ((coro_cctx *)arg); 619 prepare_cctx (aTHX_ (coro_cctx *)arg);
578 620
579 /* somebody will hit me for both perl_run and PL_restartop */ 621 /* somebody will hit me for both perl_run and PL_restartop */
580 PL_restartop = PL_op; 622 PL_restartop = PL_op;
581 perl_run (PL_curinterp); 623 perl_run (PL_curinterp);
582 624
586 628
587static coro_cctx * 629static coro_cctx *
588cctx_new () 630cctx_new ()
589{ 631{
590 coro_cctx *cctx; 632 coro_cctx *cctx;
633 void *stack_start;
634 size_t stack_size;
591 635
592 ++cctx_count; 636 ++cctx_count;
593 637
594 Newz (0, cctx, 1, coro_cctx); 638 Newz (0, cctx, 1, coro_cctx);
595 639
596#if HAVE_MMAP 640#if HAVE_MMAP
597 641
598 cctx->ssize = ((STACKSIZE * sizeof (long) + PAGESIZE - 1) / PAGESIZE + STACKGUARD) * PAGESIZE; 642 cctx->ssize = ((coro_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
599 /* mmap supposedly does allocate-on-write for us */ 643 /* mmap supposedly does allocate-on-write for us */
600 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0); 644 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
601 645
602 if (cctx->sptr == (void *)-1) 646 if (cctx->sptr != (void *)-1)
603 {
604 perror ("FATAL: unable to mmap stack for coroutine");
605 _exit (EXIT_FAILURE);
606 } 647 {
607
608# if STACKGUARD 648# if CORO_STACKGUARD
609 mprotect (cctx->sptr, STACKGUARD * PAGESIZE, PROT_NONE); 649 mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
610# endif 650# endif
651 stack_start = CORO_STACKGUARD * PAGESIZE + (char *)cctx->sptr;
652 stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
653 cctx->mapped = 1;
654 }
655 else
656#endif
657 {
658 cctx->ssize = coro_stacksize * (long)sizeof (long);
659 New (0, cctx->sptr, coro_stacksize, long);
611 660
612#else
613
614 cctx->ssize = STACKSIZE * (long)sizeof (long);
615 New (0, cctx->sptr, STACKSIZE, long);
616
617 if (!cctx->sptr) 661 if (!cctx->sptr)
618 { 662 {
619 perror ("FATAL: unable to malloc stack for coroutine"); 663 perror ("FATAL: unable to allocate stack for coroutine");
620 _exit (EXIT_FAILURE); 664 _exit (EXIT_FAILURE);
621 } 665 }
622 666
623#endif 667 stack_start = cctx->sptr;
668 stack_size = cctx->ssize;
669 }
624 670
625#if USE_VALGRIND 671 REGISTER_STACK (cctx, (char *)stack_start, (char *)stack_start + stack_size);
626 cctx->valgrind_id = VALGRIND_STACK_REGISTER (
627 STACKGUARD * PAGESIZE + (char *)cctx->sptr,
628 cctx->ssize + (char *)cctx->sptr
629 );
630#endif
631
632 coro_create (&cctx->cctx, coro_run, (void *)cctx, cctx->sptr, cctx->ssize); 672 coro_create (&cctx->cctx, coro_run, (void *)cctx, stack_start, stack_size);
633 673
634 return cctx; 674 return cctx;
635} 675}
636 676
637static void 677static void
640 if (!cctx) 680 if (!cctx)
641 return; 681 return;
642 682
643 --cctx_count; 683 --cctx_count;
644 684
645#if USE_VALGRIND 685#if CORO_USE_VALGRIND
646 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id); 686 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
647#endif 687#endif
648 688
649#if HAVE_MMAP 689#if HAVE_MMAP
690 if (cctx->mapped)
650 munmap (cctx->sptr, cctx->ssize); 691 munmap (cctx->sptr, cctx->ssize);
651#else 692 else
693#endif
652 Safefree (cctx->sptr); 694 Safefree (cctx->sptr);
653#endif
654 695
655 Safefree (cctx); 696 Safefree (cctx);
656} 697}
657 698
658static coro_cctx * 699static coro_cctx *
659cctx_get () 700cctx_get (pTHX)
660{ 701{
661 coro_cctx *cctx;
662
663 if (cctx_first) 702 while (cctx_first)
664 { 703 {
665 cctx = cctx_first; 704 coro_cctx *cctx = cctx_first;
666 cctx_first = cctx->next; 705 cctx_first = cctx->next;
667 --cctx_idle; 706 --cctx_idle;
707
708 if (cctx->ssize >= coro_stacksize)
709 return cctx;
710
711 cctx_destroy (cctx);
668 } 712 }
669 else 713
670 {
671 cctx = cctx_new ();
672 PL_op = PL_op->op_next; 714 PL_op = PL_op->op_next;
673 }
674
675 return cctx; 715 return cctx_new ();
676} 716}
677 717
678static void 718static void
679cctx_put (coro_cctx *cctx) 719cctx_put (coro_cctx *cctx)
680{ 720{
692 ++cctx_idle; 732 ++cctx_idle;
693 cctx->next = cctx_first; 733 cctx->next = cctx_first;
694 cctx_first = cctx; 734 cctx_first = cctx;
695} 735}
696 736
737/** coroutine switching *****************************************************/
738
697/* never call directly, always through the coro_state_transfer global variable */ 739/* never call directly, always through the coro_state_transfer global variable */
698static void NOINLINE 740static void NOINLINE
699transfer (struct coro *prev, struct coro *next) 741transfer (pTHX_ struct coro *prev, struct coro *next)
700{ 742{
701 dSTACKLEVEL; 743 dSTACKLEVEL;
702 744
703 /* sometimes transfer is only called to set idle_sp */ 745 /* sometimes transfer is only called to set idle_sp */
704 if (!next) 746 if (!next)
705 { 747 {
706 ((coro_cctx *)prev)->idle_sp = STACKLEVEL; 748 ((coro_cctx *)prev)->idle_sp = STACKLEVEL;
707 assert (((coro_cctx *)prev)->top_env = PL_top_env); /* just for the side effetc when assert is enabled */ 749 assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
708 } 750 }
709 else if (prev != next) 751 else if (prev != next)
710 { 752 {
711 coro_cctx *prev__cctx; 753 coro_cctx *prev__cctx;
712 754
724 croak ("Coro::State::transfer called with non-running prev Coro::State, but can only transfer from running states"); 766 croak ("Coro::State::transfer called with non-running prev Coro::State, but can only transfer from running states");
725 767
726 if (next->flags & CF_RUNNING) 768 if (next->flags & CF_RUNNING)
727 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states"); 769 croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states");
728 770
771 if (next->flags & CF_DESTROYED)
772 croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states");
773
729 prev->flags &= ~CF_RUNNING; 774 prev->flags &= ~CF_RUNNING;
730 next->flags |= CF_RUNNING; 775 next->flags |= CF_RUNNING;
731 776
732 LOCK; 777 LOCK;
733 778
734 if (next->flags & CF_NEW) 779 if (next->flags & CF_NEW)
735 { 780 {
736 /* need to start coroutine */ 781 /* need to start coroutine */
737 next->flags &= ~CF_NEW; 782 next->flags &= ~CF_NEW;
738 /* first get rid of the old state */ 783 /* first get rid of the old state */
739 save_perl (prev); 784 save_perl (aTHX_ prev);
740 /* setup coroutine call */ 785 /* setup coroutine call */
741 setup_coro (next); 786 setup_coro (aTHX_ next);
742 /* need a new stack */ 787 /* need a new stack */
743 assert (!next->cctx); 788 assert (!next->cctx);
744 } 789 }
745 else 790 else
746 { 791 {
747 /* coroutine already started */ 792 /* coroutine already started */
748 save_perl (prev); 793 save_perl (aTHX_ prev);
749 load_perl (next); 794 load_perl (aTHX_ next);
750 } 795 }
751 796
752 prev__cctx = prev->cctx; 797 prev__cctx = prev->cctx;
753 798
754 /* possibly "free" the cctx */ 799 /* possibly "free" the cctx */
755 if (prev__cctx->idle_sp == STACKLEVEL) 800 if (prev__cctx->idle_sp == STACKLEVEL)
756 { 801 {
757 /* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */ 802 /* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */
758 assert (PL_top_env == prev__cctx->top_env); 803 assert (("ERROR: current top_env must equal previous top_env", PL_top_env == prev__cctx->idle_te));
759 804
760 prev->cctx = 0; 805 prev->cctx = 0;
761 806
762 cctx_put (prev__cctx); 807 cctx_put (prev__cctx);
763 prev__cctx->inuse = 0; 808 prev__cctx->inuse = 0;
764 } 809 }
765 810
766 if (!next->cctx) 811 if (!next->cctx)
767 { 812 {
768 next->cctx = cctx_get (); 813 next->cctx = cctx_get (aTHX);
769 assert (!next->cctx->inuse); 814 assert (!next->cctx->inuse);
770 next->cctx->inuse = 1; 815 next->cctx->inuse = 1;
771 } 816 }
772 817
773 if (prev__cctx != next->cctx) 818 if (prev__cctx != next->cctx)
775 prev__cctx->top_env = PL_top_env; 820 prev__cctx->top_env = PL_top_env;
776 PL_top_env = next->cctx->top_env; 821 PL_top_env = next->cctx->top_env;
777 coro_transfer (&prev__cctx->cctx, &next->cctx->cctx); 822 coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);
778 } 823 }
779 824
780 free_coro_mortal (); 825 free_coro_mortal (aTHX);
781
782 UNLOCK; 826 UNLOCK;
783 } 827 }
784} 828}
785 829
786struct transfer_args 830struct transfer_args
787{ 831{
788 struct coro *prev, *next; 832 struct coro *prev, *next;
789}; 833};
790 834
791#define TRANSFER(ta) transfer ((ta).prev, (ta).next) 835#define TRANSFER(ta) transfer (aTHX_ (ta).prev, (ta).next)
792 836
837/** high level stuff ********************************************************/
838
793static void 839static int
794coro_state_destroy (struct coro *coro) 840coro_state_destroy (pTHX_ struct coro *coro)
795{ 841{
796 if (coro->refcnt--) 842 if (coro->flags & CF_DESTROYED)
797 return; 843 return 0;
844
845 coro->flags |= CF_DESTROYED;
846
847 if (coro->flags & CF_READY)
848 {
849 /* reduce nready, as destroying a ready coro effectively unreadies it */
850 /* alternative: look through all ready queues and remove the coro */
851 LOCK;
852 --coro_nready;
853 UNLOCK;
854 }
855 else
856 coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
798 857
799 if (coro->mainstack && coro->mainstack != main_mainstack) 858 if (coro->mainstack && coro->mainstack != main_mainstack)
800 { 859 {
801 struct coro temp; 860 struct coro temp;
861
862 assert (!(coro->flags & CF_RUNNING));
863
802 Zero (&temp, 1, struct coro); 864 Zero (&temp, 1, struct coro);
803 temp.save = CORO_SAVE_ALL; 865 temp.save = CORO_SAVE_ALL;
804 866
805 if (coro->flags & CF_RUNNING) 867 if (coro->flags & CF_RUNNING)
806 croak ("FATAL: tried to destroy currently running coroutine"); 868 croak ("FATAL: tried to destroy currently running coroutine");
807 869
808 save_perl (&temp); 870 save_perl (aTHX_ &temp);
809 load_perl (coro); 871 load_perl (aTHX_ coro);
810 872
811 coro_destroy_stacks (); 873 coro_destroy_stacks (aTHX);
812 874
813 load_perl (&temp); /* this will get rid of defsv etc.. */ 875 load_perl (aTHX_ &temp); /* this will get rid of defsv etc.. */
814 876
815 coro->mainstack = 0; 877 coro->mainstack = 0;
816 } 878 }
817 879
818 cctx_destroy (coro->cctx); 880 cctx_destroy (coro->cctx);
819 SvREFCNT_dec (coro->args); 881 SvREFCNT_dec (coro->args);
820 Safefree (coro); 882
883 return 1;
821} 884}
822 885
823static int 886static int
824coro_state_clear (pTHX_ SV *sv, MAGIC *mg) 887coro_state_free (pTHX_ SV *sv, MAGIC *mg)
825{ 888{
826 struct coro *coro = (struct coro *)mg->mg_ptr; 889 struct coro *coro = (struct coro *)mg->mg_ptr;
827 mg->mg_ptr = 0; 890 mg->mg_ptr = 0;
828 891
892 if (--coro->refcnt < 0)
893 {
829 coro_state_destroy (coro); 894 coro_state_destroy (aTHX_ coro);
895 Safefree (coro);
896 }
830 897
831 return 0; 898 return 0;
832} 899}
833 900
834static int 901static int
841 return 0; 908 return 0;
842} 909}
843 910
844static MGVTBL coro_state_vtbl = { 911static MGVTBL coro_state_vtbl = {
845 0, 0, 0, 0, 912 0, 0, 0, 0,
846 coro_state_clear, 913 coro_state_free,
847 0, 914 0,
848#ifdef MGf_DUP 915#ifdef MGf_DUP
849 coro_state_dup, 916 coro_state_dup,
850#else 917#else
851# define MGf_DUP 0 918# define MGf_DUP 0
852#endif 919#endif
853}; 920};
854 921
855static struct coro * 922static struct coro *
856SvSTATE (SV *coro) 923SvSTATE_ (pTHX_ SV *coro)
857{ 924{
858 HV *stash; 925 HV *stash;
859 MAGIC *mg; 926 MAGIC *mg;
860 927
861 if (SvROK (coro)) 928 if (SvROK (coro))
867 /* very slow, but rare, check */ 934 /* very slow, but rare, check */
868 if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State")) 935 if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
869 croak ("Coro::State object required"); 936 croak ("Coro::State object required");
870 } 937 }
871 938
872 mg = SvMAGIC (coro); 939 mg = CORO_MAGIC (coro);
873 assert (mg->mg_type == PERL_MAGIC_ext);
874 return (struct coro *)mg->mg_ptr; 940 return (struct coro *)mg->mg_ptr;
875} 941}
876 942
943#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
944
877static void 945static void
878prepare_transfer (struct transfer_args *ta, SV *prev_sv, SV *next_sv) 946prepare_transfer (pTHX_ struct transfer_args *ta, SV *prev_sv, SV *next_sv)
879{ 947{
880 ta->prev = SvSTATE (prev_sv); 948 ta->prev = SvSTATE (prev_sv);
881 ta->next = SvSTATE (next_sv); 949 ta->next = SvSTATE (next_sv);
882} 950}
883 951
884static void 952static void
885api_transfer (SV *prev_sv, SV *next_sv) 953api_transfer (SV *prev_sv, SV *next_sv)
886{ 954{
955 dTHX;
887 struct transfer_args ta; 956 struct transfer_args ta;
888 957
889 prepare_transfer (&ta, prev_sv, next_sv); 958 prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
890 TRANSFER (ta); 959 TRANSFER (ta);
891} 960}
892 961
893static int 962static int
894api_save (SV *coro_sv, int new_save) 963api_save (SV *coro_sv, int new_save)
895{ 964{
965 dTHX;
896 struct coro *coro = SvSTATE (coro_sv); 966 struct coro *coro = SvSTATE (coro_sv);
897 int old_save = coro->save; 967 int old_save = coro->save;
898 968
899 if (new_save >= 0) 969 if (new_save >= 0)
900 coro->save = new_save; 970 coro->save = new_save;
902 return old_save; 972 return old_save;
903} 973}
904 974
905/** Coro ********************************************************************/ 975/** Coro ********************************************************************/
906 976
907#define PRIO_MAX 3
908#define PRIO_HIGH 1
909#define PRIO_NORMAL 0
910#define PRIO_LOW -1
911#define PRIO_IDLE -3
912#define PRIO_MIN -4
913
914/* for Coro.pm */
915static SV *coro_current;
916static AV *coro_ready [PRIO_MAX-PRIO_MIN+1];
917static int coro_nready;
918
919static void 977static void
920coro_enq (SV *coro_sv) 978coro_enq (pTHX_ SV *coro_sv)
921{ 979{
922 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv); 980 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv);
923 coro_nready++;
924} 981}
925 982
926static SV * 983static SV *
927coro_deq (int min_prio) 984coro_deq (pTHX_ int min_prio)
928{ 985{
929 int prio = PRIO_MAX - PRIO_MIN; 986 int prio = PRIO_MAX - PRIO_MIN;
930 987
931 min_prio -= PRIO_MIN; 988 min_prio -= PRIO_MIN;
932 if (min_prio < 0) 989 if (min_prio < 0)
933 min_prio = 0; 990 min_prio = 0;
934 991
935 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; ) 992 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
936 if (AvFILLp (coro_ready [prio]) >= 0) 993 if (AvFILLp (coro_ready [prio]) >= 0)
937 {
938 coro_nready--;
939 return av_shift (coro_ready [prio]); 994 return av_shift (coro_ready [prio]);
940 }
941 995
942 return 0; 996 return 0;
943} 997}
944 998
945static int 999static int
946api_ready (SV *coro_sv) 1000api_ready (SV *coro_sv)
947{ 1001{
1002 dTHX;
948 struct coro *coro; 1003 struct coro *coro;
949 1004
950 if (SvROK (coro_sv)) 1005 if (SvROK (coro_sv))
951 coro_sv = SvRV (coro_sv); 1006 coro_sv = SvRV (coro_sv);
952 1007
953 coro = SvSTATE (coro_sv); 1008 coro = SvSTATE (coro_sv);
954 1009
955 if (coro->flags & CF_READY) 1010 if (coro->flags & CF_READY)
956 return 0; 1011 return 0;
957 1012
958#if 0 /* this is actually harmless */
959 if (coro->flags & CF_RUNNING)
960 croak ("Coro::ready called on currently running coroutine");
961#endif
962
963 coro->flags |= CF_READY; 1013 coro->flags |= CF_READY;
964 1014
965 LOCK; 1015 LOCK;
966 coro_enq (SvREFCNT_inc (coro_sv)); 1016 coro_enq (aTHX_ SvREFCNT_inc (coro_sv));
1017 ++coro_nready;
967 UNLOCK; 1018 UNLOCK;
968 1019
969 return 1; 1020 return 1;
970} 1021}
971 1022
972static int 1023static int
973api_is_ready (SV *coro_sv) 1024api_is_ready (SV *coro_sv)
974{ 1025{
1026 dTHX;
975 return !!SvSTATE (coro_sv)->flags & CF_READY; 1027 return !!(SvSTATE (coro_sv)->flags & CF_READY);
976} 1028}
977 1029
978static void 1030static void
979prepare_schedule (struct transfer_args *ta) 1031prepare_schedule (pTHX_ struct transfer_args *ta)
980{ 1032{
981 SV *prev, *next; 1033 SV *prev_sv, *next_sv;
982 1034
983 for (;;) 1035 for (;;)
984 { 1036 {
985 LOCK; 1037 LOCK;
986 next = coro_deq (PRIO_MIN); 1038 next_sv = coro_deq (aTHX_ PRIO_MIN);
1039
1040 /* nothing to schedule: call the idle handler */
1041 if (!next_sv)
1042 {
1043 dSP;
1044 UNLOCK;
1045
1046 ENTER;
1047 SAVETMPS;
1048
1049 PUSHMARK (SP);
1050 PUTBACK;
1051 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD);
1052
1053 FREETMPS;
1054 LEAVE;
1055 continue;
1056 }
1057
1058 ta->next = SvSTATE (next_sv);
1059
1060 /* cannot transfer to destroyed coros, skip and look for next */
1061 if (ta->next->flags & CF_DESTROYED)
1062 {
1063 UNLOCK;
1064 SvREFCNT_dec (next_sv);
1065 /* coro_nready is already taken care of by destroy */
1066 continue;
1067 }
1068
1069 --coro_nready;
987 UNLOCK; 1070 UNLOCK;
988
989 if (next)
990 break; 1071 break;
991
992 {
993 dSP;
994
995 ENTER;
996 SAVETMPS;
997
998 PUSHMARK (SP);
999 PUTBACK;
1000 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD);
1001
1002 FREETMPS;
1003 LEAVE;
1004 } 1072 }
1005 }
1006
1007 prev = SvRV (coro_current);
1008 SvRV_set (coro_current, next);
1009 1073
1010 /* free this only after the transfer */ 1074 /* free this only after the transfer */
1011 LOCK; 1075 prev_sv = SvRV (coro_current);
1012 free_coro_mortal (); 1076 SvRV_set (coro_current, next_sv);
1013 UNLOCK;
1014 coro_mortal = prev;
1015
1016 assert (!SvROK(prev));//D
1017 assert (!SvROK(next));//D
1018
1019 ta->prev = SvSTATE (prev); 1077 ta->prev = SvSTATE (prev_sv);
1020 ta->next = SvSTATE (next);
1021 1078
1022 assert (ta->next->flags & CF_READY); 1079 assert (ta->next->flags & CF_READY);
1023 ta->next->flags &= ~CF_READY; 1080 ta->next->flags &= ~CF_READY;
1024}
1025 1081
1082 LOCK;
1083 free_coro_mortal (aTHX);
1084 coro_mortal = prev_sv;
1085 UNLOCK;
1086}
1087
1026static void 1088static void
1027prepare_cede (struct transfer_args *ta) 1089prepare_cede (pTHX_ struct transfer_args *ta)
1028{ 1090{
1029 api_ready (coro_current); 1091 api_ready (coro_current);
1030
1031 prepare_schedule (ta); 1092 prepare_schedule (aTHX_ ta);
1093}
1094
1095static int
1096prepare_cede_notself (pTHX_ struct transfer_args *ta)
1097{
1098 if (coro_nready)
1099 {
1100 SV *prev = SvRV (coro_current);
1101 prepare_schedule (aTHX_ ta);
1102 api_ready (prev);
1103 return 1;
1104 }
1105 else
1106 return 0;
1032} 1107}
1033 1108
1034static void 1109static void
1035api_schedule (void) 1110api_schedule (void)
1036{ 1111{
1112 dTHX;
1037 struct transfer_args ta; 1113 struct transfer_args ta;
1038 1114
1039 prepare_schedule (&ta); 1115 prepare_schedule (aTHX_ &ta);
1040 TRANSFER (ta); 1116 TRANSFER (ta);
1041} 1117}
1042 1118
1043static void 1119static int
1044api_cede (void) 1120api_cede (void)
1045{ 1121{
1122 dTHX;
1046 struct transfer_args ta; 1123 struct transfer_args ta;
1047 1124
1048 prepare_cede (&ta); 1125 prepare_cede (aTHX_ &ta);
1126
1127 if (ta.prev != ta.next)
1128 {
1049 TRANSFER (ta); 1129 TRANSFER (ta);
1130 return 1;
1131 }
1132 else
1133 return 0;
1134}
1135
1136static int
1137api_cede_notself (void)
1138{
1139 dTHX;
1140 struct transfer_args ta;
1141
1142 if (prepare_cede_notself (aTHX_ &ta))
1143 {
1144 TRANSFER (ta);
1145 return 1;
1146 }
1147 else
1148 return 0;
1050} 1149}
1051 1150
1052MODULE = Coro::State PACKAGE = Coro::State 1151MODULE = Coro::State PACKAGE = Coro::State
1053 1152
1054PROTOTYPES: DISABLE 1153PROTOTYPES: DISABLE
1110_set_stacklevel (...) 1209_set_stacklevel (...)
1111 ALIAS: 1210 ALIAS:
1112 Coro::State::transfer = 1 1211 Coro::State::transfer = 1
1113 Coro::schedule = 2 1212 Coro::schedule = 2
1114 Coro::cede = 3 1213 Coro::cede = 3
1214 Coro::cede_notself = 4
1115 CODE: 1215 CODE:
1116{ 1216{
1117 struct transfer_args ta; 1217 struct transfer_args ta;
1118 1218
1119 switch (ix) 1219 switch (ix)
1125 1225
1126 case 1: 1226 case 1:
1127 if (items != 2) 1227 if (items != 2)
1128 croak ("Coro::State::transfer (prev,next) expects two arguments, not %d", items); 1228 croak ("Coro::State::transfer (prev,next) expects two arguments, not %d", items);
1129 1229
1130 prepare_transfer (&ta, ST (0), ST (1)); 1230 prepare_transfer (aTHX_ &ta, ST (0), ST (1));
1131 break; 1231 break;
1132 1232
1133 case 2: 1233 case 2:
1134 prepare_schedule (&ta); 1234 prepare_schedule (aTHX_ &ta);
1135 break; 1235 break;
1136 1236
1137 case 3: 1237 case 3:
1138 prepare_cede (&ta); 1238 prepare_cede (aTHX_ &ta);
1239 break;
1240
1241 case 4:
1242 if (!prepare_cede_notself (aTHX_ &ta))
1243 XSRETURN_EMPTY;
1244
1139 break; 1245 break;
1140 } 1246 }
1141 1247
1248 BARRIER;
1142 TRANSFER (ta); 1249 TRANSFER (ta);
1143}
1144 1250
1145void 1251 if (GIMME_V != G_VOID && ta.next != ta.prev)
1146_clone_state_from (SV *dst, SV *src) 1252 XSRETURN_YES;
1253}
1254
1255bool
1256_destroy (SV *coro_sv)
1147 CODE: 1257 CODE:
1148{ 1258 RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
1149 struct coro *coro_src = SvSTATE (src); 1259 OUTPUT:
1150 1260 RETVAL
1151 sv_unmagic (SvRV (dst), PERL_MAGIC_ext);
1152
1153 ++coro_src->refcnt;
1154 sv_magicext (SvRV (dst), 0, PERL_MAGIC_ext, &coro_state_vtbl, (char *)coro_src, 0)->mg_flags |= MGf_DUP;
1155}
1156 1261
1157void 1262void
1158_exit (code) 1263_exit (code)
1159 int code 1264 int code
1160 PROTOTYPE: $ 1265 PROTOTYPE: $
1161 CODE: 1266 CODE:
1162 _exit (code); 1267 _exit (code);
1163 1268
1164int 1269int
1270cctx_stacksize (int new_stacksize = 0)
1271 CODE:
1272 RETVAL = coro_stacksize;
1273 if (new_stacksize)
1274 coro_stacksize = new_stacksize;
1275 OUTPUT:
1276 RETVAL
1277
1278int
1165cctx_count () 1279cctx_count ()
1166 CODE: 1280 CODE:
1167 RETVAL = cctx_count; 1281 RETVAL = cctx_count;
1168 OUTPUT: 1282 OUTPUT:
1169 RETVAL 1283 RETVAL
1197 coro_ready[i] = newAV (); 1311 coro_ready[i] = newAV ();
1198 1312
1199 { 1313 {
1200 SV *sv = perl_get_sv("Coro::API", 1); 1314 SV *sv = perl_get_sv("Coro::API", 1);
1201 1315
1202 coroapi.schedule = api_schedule; 1316 coroapi.schedule = api_schedule;
1203 coroapi.save = api_save; 1317 coroapi.save = api_save;
1204 coroapi.cede = api_cede; 1318 coroapi.cede = api_cede;
1319 coroapi.cede_notself = api_cede_notself;
1205 coroapi.ready = api_ready; 1320 coroapi.ready = api_ready;
1206 coroapi.is_ready = api_is_ready; 1321 coroapi.is_ready = api_is_ready;
1207 coroapi.nready = &coro_nready; 1322 coroapi.nready = &coro_nready;
1208 coroapi.current = coro_current; 1323 coroapi.current = coro_current;
1209 1324
1210 GCoroAPI = &coroapi; 1325 GCoroAPI = &coroapi;
1211 sv_setiv (sv, (IV)&coroapi); 1326 sv_setiv (sv, (IV)&coroapi);
1212 SvREADONLY_on (sv); 1327 SvREADONLY_on (sv);
1213 } 1328 }
1229 RETVAL = coro->prio; 1344 RETVAL = coro->prio;
1230 1345
1231 if (items > 1) 1346 if (items > 1)
1232 { 1347 {
1233 if (ix) 1348 if (ix)
1234 newprio += coro->prio; 1349 newprio = coro->prio - newprio;
1235 1350
1236 if (newprio < PRIO_MIN) newprio = PRIO_MIN; 1351 if (newprio < PRIO_MIN) newprio = PRIO_MIN;
1237 if (newprio > PRIO_MAX) newprio = PRIO_MAX; 1352 if (newprio > PRIO_MAX) newprio = PRIO_MAX;
1238 1353
1239 coro->prio = newprio; 1354 coro->prio = newprio;
1240 } 1355 }
1241} 1356}
1357 OUTPUT:
1358 RETVAL
1242 1359
1243SV * 1360SV *
1244ready (SV *self) 1361ready (SV *self)
1245 PROTOTYPE: $ 1362 PROTOTYPE: $
1246 CODE: 1363 CODE:

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines