|
|
1 | /* this works around a bug in mingw32 providing a non-working setjmp */ |
|
|
2 | #define USE_NO_MINGW_SETJMP_TWO_ARGS |
|
|
3 | |
1 | #define NDEBUG 1 |
4 | #define NDEBUG 1 |
2 | |
5 | |
3 | #include "libcoro/coro.c" |
6 | #include "libcoro/coro.c" |
4 | |
7 | |
5 | #define PERL_NO_GET_CONTEXT |
8 | #define PERL_NO_GET_CONTEXT |
… | |
… | |
18 | |
21 | |
19 | #ifndef SVs_PADSTALE |
22 | #ifndef SVs_PADSTALE |
20 | # define SVs_PADSTALE 0 |
23 | # define SVs_PADSTALE 0 |
21 | #endif |
24 | #endif |
22 | |
25 | |
23 | #ifdef WIN32 |
26 | #if defined(_WIN32) |
|
|
27 | # undef HAS_GETTIMEOFDAY |
24 | # undef setjmp |
28 | # undef setjmp |
25 | # undef longjmp |
29 | # undef longjmp |
26 | # undef _exit |
30 | # undef _exit |
27 | # define setjmp _setjmp /* deep magic */ |
31 | # define setjmp _setjmp /* deep magic */ |
28 | #else |
32 | #else |
… | |
… | |
237 | CV *startcv; /* the CV to execute */ |
241 | CV *startcv; /* the CV to execute */ |
238 | AV *args; /* data associated with this coroutine (initial args) */ |
242 | AV *args; /* data associated with this coroutine (initial args) */ |
239 | int refcnt; /* coroutines are refcounted, yes */ |
243 | int refcnt; /* coroutines are refcounted, yes */ |
240 | int flags; /* CF_ flags */ |
244 | int flags; /* CF_ flags */ |
241 | HV *hv; /* the perl hash associated with this coro, if any */ |
245 | HV *hv; /* the perl hash associated with this coro, if any */ |
242 | void (*on_destroy)(pTHX_ struct coro *coro); |
246 | void (*on_destroy)(pTHX_ struct coro *coro); /* for temporary use by xs in critical sections */ |
243 | |
247 | |
244 | /* statistics */ |
248 | /* statistics */ |
245 | int usecount; /* number of transfers to this coro */ |
249 | int usecount; /* number of transfers to this coro */ |
246 | |
250 | |
247 | /* coro process data */ |
251 | /* coro process data */ |
… | |
… | |
310 | /* entersub is an UNOP, select a LISTOP... keep your fingers crossed */ |
314 | /* entersub is an UNOP, select a LISTOP... keep your fingers crossed */ |
311 | PL_op->op_flags |= OPf_STACKED; |
315 | PL_op->op_flags |= OPf_STACKED; |
312 | PL_op->op_private = 0; |
316 | PL_op->op_private = 0; |
313 | return PL_ppaddr [OP_ENTERSUB](aTHX); |
317 | return PL_ppaddr [OP_ENTERSUB](aTHX); |
314 | } |
318 | } |
|
|
319 | |
|
|
320 | /** time stuff **************************************************************/ |
|
|
321 | |
|
|
322 | #ifdef HAS_GETTIMEOFDAY |
|
|
323 | |
|
|
324 | static void |
|
|
325 | coro_u2time (pTHX_ UV ret[2]) |
|
|
326 | { |
|
|
327 | struct timeval tv; |
|
|
328 | gettimeofday (&tv, 0); |
|
|
329 | |
|
|
330 | ret [0] = tv.tv_sec; |
|
|
331 | ret [1] = tv.tv_usec; |
|
|
332 | } |
|
|
333 | |
|
|
334 | static double |
|
|
335 | coro_nvtime () |
|
|
336 | { |
|
|
337 | struct timeval tv; |
|
|
338 | gettimeofday (&tv, 0); |
|
|
339 | |
|
|
340 | return tv.tv_sec + tv.tv_usec * 1e-6; |
|
|
341 | } |
|
|
342 | |
|
|
343 | static void |
|
|
344 | time_init (pTHX) |
|
|
345 | { |
|
|
346 | nvtime = coro_nvtime; |
|
|
347 | u2time = coro_u2time; |
|
|
348 | } |
|
|
349 | |
|
|
350 | #else |
|
|
351 | |
|
|
352 | static void |
|
|
353 | time_init (pTHX) |
|
|
354 | { |
|
|
355 | SV **svp; |
|
|
356 | |
|
|
357 | require_pv ("Time/HiRes.pm"); |
|
|
358 | |
|
|
359 | svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0); |
|
|
360 | |
|
|
361 | if (!svp) croak ("Time::HiRes is required, but missing. Caught"); |
|
|
362 | if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught"); |
|
|
363 | |
|
|
364 | nvtime = INT2PTR (double (*)(), SvIV (*svp)); |
|
|
365 | |
|
|
366 | svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0); |
|
|
367 | u2time = INT2PTR (void (*)(pTHX_ UV ret[2]), SvIV (*svp)); |
|
|
368 | } |
|
|
369 | |
|
|
370 | #endif |
315 | |
371 | |
316 | /** lowlevel stuff **********************************************************/ |
372 | /** lowlevel stuff **********************************************************/ |
317 | |
373 | |
318 | static SV * |
374 | static SV * |
319 | coro_get_sv (pTHX_ const char *name, int create) |
375 | coro_get_sv (pTHX_ const char *name, int create) |
… | |
… | |
583 | SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep); |
639 | SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep); |
584 | SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep); |
640 | SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep); |
585 | |
641 | |
586 | #if PERL_VERSION_ATLEAST (5,10,0) |
642 | #if PERL_VERSION_ATLEAST (5,10,0) |
587 | /* perl 5.10 complicates this _quite_ a bit, but it also is |
643 | /* perl 5.10 complicates this _quite_ a bit, but it also is |
588 | * is much faster, so no quarrels here. alternatively, we could |
644 | * much faster, so no quarrels here. alternatively, we could |
589 | * sv_upgrade to avoid this. |
645 | * sv_upgrade to avoid this. |
590 | */ |
646 | */ |
591 | { |
647 | { |
592 | /* swap sv_u */ |
648 | /* swap sv_u */ |
593 | tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u; |
649 | tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u; |
… | |
… | |
1010 | PL_comppad_name_fill = 0; |
1066 | PL_comppad_name_fill = 0; |
1011 | PL_comppad_name_floor = 0; |
1067 | PL_comppad_name_floor = 0; |
1012 | PL_curpm = 0; |
1068 | PL_curpm = 0; |
1013 | PL_curpad = 0; |
1069 | PL_curpad = 0; |
1014 | PL_localizing = 0; |
1070 | PL_localizing = 0; |
1015 | PL_dirty = 0; |
|
|
1016 | PL_restartop = 0; |
1071 | PL_restartop = 0; |
1017 | #if PERL_VERSION_ATLEAST (5,10,0) |
1072 | #if PERL_VERSION_ATLEAST (5,10,0) |
1018 | PL_parser = 0; |
1073 | PL_parser = 0; |
1019 | #endif |
1074 | #endif |
1020 | PL_hints = 0; |
1075 | PL_hints = 0; |
… | |
… | |
1953 | |
2008 | |
1954 | static void |
2009 | static void |
1955 | coro_call_on_destroy (pTHX_ struct coro *coro) |
2010 | coro_call_on_destroy (pTHX_ struct coro *coro) |
1956 | { |
2011 | { |
1957 | SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0); |
2012 | SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0); |
1958 | SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0); |
|
|
1959 | |
2013 | |
1960 | if (on_destroyp) |
2014 | if (on_destroyp) |
1961 | { |
2015 | { |
1962 | AV *on_destroy = (AV *)SvRV (*on_destroyp); |
2016 | SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0); |
|
|
2017 | AV *on_destroy = sv_2mortal (SvREFCNT_inc ((AV *)SvRV (*on_destroyp))); |
|
|
2018 | AV *status = statusp ? sv_2mortal (SvREFCNT_inc ((AV *)SvRV (*statusp))) : 0; |
1963 | |
2019 | |
1964 | while (AvFILLp (on_destroy) >= 0) |
2020 | while (AvFILLp (on_destroy) >= 0) |
1965 | { |
2021 | { |
1966 | dSP; /* don't disturb outer sp */ |
2022 | dSP; /* don't disturb outer sp */ |
1967 | SV *cb = av_pop (on_destroy); |
2023 | SV *cb = av_pop (on_destroy); |
… | |
… | |
1969 | PUSHMARK (SP); |
2025 | PUSHMARK (SP); |
1970 | |
2026 | |
1971 | if (statusp) |
2027 | if (statusp) |
1972 | { |
2028 | { |
1973 | int i; |
2029 | int i; |
1974 | AV *status = (AV *)SvRV (*statusp); |
|
|
1975 | EXTEND (SP, AvFILLp (status) + 1); |
2030 | EXTEND (SP, AvFILLp (status) + 1); |
1976 | |
2031 | |
1977 | for (i = 0; i <= AvFILLp (status); ++i) |
2032 | for (i = 0; i <= AvFILLp (status); ++i) |
1978 | PUSHs (AvARRAY (status)[i]); |
2033 | PUSHs (AvARRAY (status)[i]); |
1979 | } |
2034 | } |
… | |
… | |
1983 | } |
2038 | } |
1984 | } |
2039 | } |
1985 | } |
2040 | } |
1986 | |
2041 | |
1987 | static void |
2042 | static void |
1988 | slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items) |
2043 | coro_set_status (HV *coro_hv, SV **arg, int items) |
1989 | { |
2044 | { |
1990 | int i; |
|
|
1991 | HV *hv = (HV *)SvRV (coro_current); |
|
|
1992 | AV *av = newAV (); |
2045 | AV *av = newAV (); |
1993 | |
2046 | |
1994 | /* items are actually not so common, so optimise for this case */ |
2047 | /* items are actually not so common, so optimise for this case */ |
1995 | if (items) |
2048 | if (items) |
1996 | { |
2049 | { |
|
|
2050 | int i; |
|
|
2051 | |
1997 | av_extend (av, items - 1); |
2052 | av_extend (av, items - 1); |
1998 | |
2053 | |
1999 | for (i = 0; i < items; ++i) |
2054 | for (i = 0; i < items; ++i) |
2000 | av_push (av, SvREFCNT_inc_NN (arg [i])); |
2055 | av_push (av, SvREFCNT_inc_NN (arg [i])); |
2001 | } |
2056 | } |
2002 | |
2057 | |
2003 | hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0); |
2058 | hv_store (coro_hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0); |
|
|
2059 | } |
2004 | |
2060 | |
|
|
2061 | static void |
|
|
2062 | slf_init_terminate_cancel_common (pTHX_ struct CoroSLF *frame, HV *coro_hv) |
|
|
2063 | { |
2005 | av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */ |
2064 | av_push (av_destroy, (SV *)newRV_inc ((SV *)coro_hv)); /* RVinc for perl */ |
2006 | api_ready (aTHX_ sv_manager); |
2065 | api_ready (aTHX_ sv_manager); |
2007 | |
2066 | |
2008 | frame->prepare = prepare_schedule; |
2067 | frame->prepare = prepare_schedule; |
2009 | frame->check = slf_check_repeat; |
2068 | frame->check = slf_check_repeat; |
2010 | |
2069 | |
2011 | /* as a minor optimisation, we could unwind all stacks here */ |
2070 | /* as a minor optimisation, we could unwind all stacks here */ |
2012 | /* but that puts extra pressure on pp_slf, and is not worth much */ |
2071 | /* but that puts extra pressure on pp_slf, and is not worth much */ |
2013 | /*coro_unwind_stacks (aTHX);*/ |
2072 | /*coro_unwind_stacks (aTHX);*/ |
|
|
2073 | } |
|
|
2074 | |
|
|
2075 | static void |
|
|
2076 | slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items) |
|
|
2077 | { |
|
|
2078 | HV *coro_hv = (HV *)SvRV (coro_current); |
|
|
2079 | |
|
|
2080 | coro_set_status (coro_hv, arg, items); |
|
|
2081 | slf_init_terminate_cancel_common (frame, coro_hv); |
|
|
2082 | } |
|
|
2083 | |
|
|
2084 | static void |
|
|
2085 | slf_init_cancel (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items) |
|
|
2086 | { |
|
|
2087 | HV *coro_hv; |
|
|
2088 | struct coro *coro; |
|
|
2089 | |
|
|
2090 | if (items <= 0) |
|
|
2091 | croak ("Coro::cancel called without coro object,"); |
|
|
2092 | |
|
|
2093 | coro = SvSTATE (arg [0]); |
|
|
2094 | coro_hv = coro->hv; |
|
|
2095 | |
|
|
2096 | coro_set_status (coro_hv, arg + 1, items - 1); |
|
|
2097 | |
|
|
2098 | /* cancelling the current coro is allowed, and equals terminate */ |
|
|
2099 | if (coro_hv == (HV *)SvRV (coro_current)) |
|
|
2100 | slf_init_terminate_cancel_common (frame, coro_hv); |
|
|
2101 | else |
|
|
2102 | { |
|
|
2103 | /* otherwise we cancel ourselves */ |
|
|
2104 | coro_state_destroy (aTHX_ coro); |
|
|
2105 | coro_call_on_destroy (aTHX_ coro); |
|
|
2106 | |
|
|
2107 | frame->prepare = prepare_nop; |
|
|
2108 | frame->check = slf_check_nop; |
|
|
2109 | } |
2014 | } |
2110 | } |
2015 | |
2111 | |
2016 | /*****************************************************************************/ |
2112 | /*****************************************************************************/ |
2017 | /* async pool handler */ |
2113 | /* async pool handler */ |
2018 | |
2114 | |
… | |
… | |
2794 | { |
2890 | { |
2795 | SV *cb_cv = s_get_cv_croak (arg [1]); |
2891 | SV *cb_cv = s_get_cv_croak (arg [1]); |
2796 | av_push (av, SvREFCNT_inc_NN (cb_cv)); |
2892 | av_push (av, SvREFCNT_inc_NN (cb_cv)); |
2797 | |
2893 | |
2798 | if (SvIVX (AvARRAY (av)[0])) |
2894 | if (SvIVX (AvARRAY (av)[0])) |
2799 | coro_signal_wake (aTHX_ av, 1); /* ust be the only waiter */ |
2895 | coro_signal_wake (aTHX_ av, 1); /* must be the only waiter */ |
2800 | |
2896 | |
2801 | frame->prepare = prepare_nop; |
2897 | frame->prepare = prepare_nop; |
2802 | frame->check = slf_check_nop; |
2898 | frame->check = slf_check_nop; |
2803 | } |
2899 | } |
2804 | else if (SvIVX (AvARRAY (av)[0])) |
2900 | else if (SvIVX (AvARRAY (av)[0])) |
… | |
… | |
3107 | coroapi.prepare_nop = prepare_nop; |
3203 | coroapi.prepare_nop = prepare_nop; |
3108 | coroapi.prepare_schedule = prepare_schedule; |
3204 | coroapi.prepare_schedule = prepare_schedule; |
3109 | coroapi.prepare_cede = prepare_cede; |
3205 | coroapi.prepare_cede = prepare_cede; |
3110 | coroapi.prepare_cede_notself = prepare_cede_notself; |
3206 | coroapi.prepare_cede_notself = prepare_cede_notself; |
3111 | |
3207 | |
3112 | { |
3208 | time_init (aTHX); |
3113 | SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0); |
|
|
3114 | |
|
|
3115 | if (!svp) croak ("Time::HiRes is required"); |
|
|
3116 | if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer"); |
|
|
3117 | |
|
|
3118 | nvtime = INT2PTR (double (*)(), SvIV (*svp)); |
|
|
3119 | |
|
|
3120 | svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0); |
|
|
3121 | u2time = INT2PTR (void (*)(pTHX_ UV ret[2]), SvIV (*svp)); |
|
|
3122 | } |
|
|
3123 | |
3209 | |
3124 | assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL)); |
3210 | assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL)); |
3125 | } |
3211 | } |
3126 | |
3212 | |
3127 | SV * |
3213 | SV * |
… | |
… | |
3136 | void |
3222 | void |
3137 | transfer (...) |
3223 | transfer (...) |
3138 | PROTOTYPE: $$ |
3224 | PROTOTYPE: $$ |
3139 | CODE: |
3225 | CODE: |
3140 | CORO_EXECUTE_SLF_XS (slf_init_transfer); |
3226 | CORO_EXECUTE_SLF_XS (slf_init_transfer); |
3141 | |
|
|
3142 | bool |
|
|
3143 | _destroy (SV *coro_sv) |
|
|
3144 | CODE: |
|
|
3145 | RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv)); |
|
|
3146 | OUTPUT: |
|
|
3147 | RETVAL |
|
|
3148 | |
3227 | |
3149 | void |
3228 | void |
3150 | _exit (int code) |
3229 | _exit (int code) |
3151 | PROTOTYPE: $ |
3230 | PROTOTYPE: $ |
3152 | CODE: |
3231 | CODE: |
… | |
… | |
3348 | |
3427 | |
3349 | void |
3428 | void |
3350 | cancel (Coro::State self) |
3429 | cancel (Coro::State self) |
3351 | CODE: |
3430 | CODE: |
3352 | coro_state_destroy (aTHX_ self); |
3431 | coro_state_destroy (aTHX_ self); |
3353 | coro_call_on_destroy (aTHX_ self); /* actually only for Coro objects */ |
|
|
3354 | |
|
|
3355 | |
3432 | |
3356 | SV * |
3433 | SV * |
3357 | enable_times (int enabled = enable_times) |
3434 | enable_times (int enabled = enable_times) |
3358 | CODE: |
3435 | CODE: |
3359 | { |
3436 | { |
… | |
… | |
3464 | api_ready (aTHX_ RETVAL); |
3541 | api_ready (aTHX_ RETVAL); |
3465 | OUTPUT: |
3542 | OUTPUT: |
3466 | RETVAL |
3543 | RETVAL |
3467 | |
3544 | |
3468 | void |
3545 | void |
|
|
3546 | _destroy (Coro::State coro) |
|
|
3547 | CODE: |
|
|
3548 | /* used by the manager thread */ |
|
|
3549 | coro_state_destroy (aTHX_ coro); |
|
|
3550 | coro_call_on_destroy (aTHX_ coro); |
|
|
3551 | |
|
|
3552 | void |
3469 | terminate (...) |
3553 | terminate (...) |
3470 | CODE: |
3554 | CODE: |
3471 | CORO_EXECUTE_SLF_XS (slf_init_terminate); |
3555 | CORO_EXECUTE_SLF_XS (slf_init_terminate); |
|
|
3556 | |
|
|
3557 | void |
|
|
3558 | cancel (...) |
|
|
3559 | CODE: |
|
|
3560 | CORO_EXECUTE_SLF_XS (slf_init_cancel); |
3472 | |
3561 | |
3473 | void |
3562 | void |
3474 | schedule (...) |
3563 | schedule (...) |
3475 | CODE: |
3564 | CODE: |
3476 | CORO_EXECUTE_SLF_XS (slf_init_schedule); |
3565 | CORO_EXECUTE_SLF_XS (slf_init_schedule); |
… | |
… | |
3873 | { |
3962 | { |
3874 | PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect; |
3963 | PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect; |
3875 | coro_old_pp_sselect = 0; |
3964 | coro_old_pp_sselect = 0; |
3876 | } |
3965 | } |
3877 | |
3966 | |
3878 | |
|
|