ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/Coro/Coro/State.xs
Revision: 1.108
Committed: Mon Nov 27 18:15:47 2006 UTC (17 years, 5 months ago) by root
Branch: MAIN
Changes since 1.107: +9 -99 lines
Log Message:
*** empty log message ***

File Contents

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