… | |
… | |
261 | /* this is a structure representing a perl-level coroutine */ |
261 | /* this is a structure representing a perl-level coroutine */ |
262 | struct coro { |
262 | struct coro { |
263 | /* the C coroutine allocated to this perl coroutine, if any */ |
263 | /* the C coroutine allocated to this perl coroutine, if any */ |
264 | coro_cctx *cctx; |
264 | coro_cctx *cctx; |
265 | |
265 | |
|
|
266 | /* ready queue */ |
|
|
267 | struct coro *next_ready; |
|
|
268 | |
266 | /* state data */ |
269 | /* state data */ |
267 | struct CoroSLF slf_frame; /* saved slf frame */ |
270 | struct CoroSLF slf_frame; /* saved slf frame */ |
268 | AV *mainstack; |
271 | AV *mainstack; |
269 | perl_slots *slot; /* basically the saved sp */ |
272 | perl_slots *slot; /* basically the saved sp */ |
270 | |
273 | |
… | |
… | |
314 | #define PRIO_MIN -4 |
317 | #define PRIO_MIN -4 |
315 | |
318 | |
316 | /* for Coro.pm */ |
319 | /* for Coro.pm */ |
317 | static SV *coro_current; |
320 | static SV *coro_current; |
318 | static SV *coro_readyhook; |
321 | static SV *coro_readyhook; |
319 | static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1]; |
322 | static struct coro *coro_ready [PRIO_MAX - PRIO_MIN + 1][2]; /* head|tail */ |
320 | static CV *cv_coro_run, *cv_coro_terminate; |
323 | static CV *cv_coro_run, *cv_coro_terminate; |
321 | static struct coro *coro_first; |
324 | static struct coro *coro_first; |
322 | #define coro_nready coroapi.nready |
325 | #define coro_nready coroapi.nready |
323 | |
326 | |
324 | /** lowlevel stuff **********************************************************/ |
327 | /** lowlevel stuff **********************************************************/ |
… | |
… | |
1484 | coro_state_destroy (pTHX_ struct coro *coro) |
1487 | coro_state_destroy (pTHX_ struct coro *coro) |
1485 | { |
1488 | { |
1486 | if (coro->flags & CF_DESTROYED) |
1489 | if (coro->flags & CF_DESTROYED) |
1487 | return 0; |
1490 | return 0; |
1488 | |
1491 | |
1489 | if (coro->on_destroy) |
1492 | if (coro->on_destroy && !PL_dirty) |
1490 | coro->on_destroy (aTHX_ coro); |
1493 | coro->on_destroy (aTHX_ coro); |
1491 | |
1494 | |
1492 | coro->flags |= CF_DESTROYED; |
1495 | coro->flags |= CF_DESTROYED; |
1493 | |
1496 | |
1494 | if (coro->flags & CF_READY) |
1497 | if (coro->flags & CF_READY) |
… | |
… | |
1612 | /** Coro ********************************************************************/ |
1615 | /** Coro ********************************************************************/ |
1613 | |
1616 | |
1614 | INLINE void |
1617 | INLINE void |
1615 | coro_enq (pTHX_ struct coro *coro) |
1618 | coro_enq (pTHX_ struct coro *coro) |
1616 | { |
1619 | { |
1617 | av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv)); |
1620 | struct coro **ready = coro_ready [coro->prio - PRIO_MIN]; |
1618 | } |
|
|
1619 | |
1621 | |
1620 | INLINE SV * |
1622 | SvREFCNT_inc_NN (coro->hv); |
|
|
1623 | |
|
|
1624 | coro->next_ready = 0; |
|
|
1625 | *(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro; |
|
|
1626 | ready [1] = coro; |
|
|
1627 | } |
|
|
1628 | |
|
|
1629 | INLINE struct coro * |
1621 | coro_deq (pTHX) |
1630 | coro_deq (pTHX) |
1622 | { |
1631 | { |
1623 | int prio; |
1632 | int prio; |
1624 | |
1633 | |
1625 | for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; ) |
1634 | for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; ) |
1626 | if (AvFILLp (coro_ready [prio]) >= 0) |
1635 | { |
1627 | return av_shift (coro_ready [prio]); |
1636 | struct coro **ready = coro_ready [prio]; |
|
|
1637 | |
|
|
1638 | if (ready [0]) |
|
|
1639 | { |
|
|
1640 | struct coro *coro = ready [0]; |
|
|
1641 | ready [0] = coro->next_ready; |
|
|
1642 | return coro; |
|
|
1643 | } |
|
|
1644 | } |
1628 | |
1645 | |
1629 | return 0; |
1646 | return 0; |
1630 | } |
1647 | } |
1631 | |
1648 | |
1632 | static int |
1649 | static int |
… | |
… | |
1696 | static void |
1713 | static void |
1697 | prepare_schedule (pTHX_ struct coro_transfer_args *ta) |
1714 | prepare_schedule (pTHX_ struct coro_transfer_args *ta) |
1698 | { |
1715 | { |
1699 | for (;;) |
1716 | for (;;) |
1700 | { |
1717 | { |
1701 | SV *next_sv = coro_deq (aTHX); |
1718 | struct coro *next = coro_deq (aTHX); |
1702 | |
1719 | |
1703 | if (expect_true (next_sv)) |
1720 | if (expect_true (next)) |
1704 | { |
1721 | { |
1705 | struct coro *next = SvSTATE_hv (next_sv); |
|
|
1706 | |
|
|
1707 | /* cannot transfer to destroyed coros, skip and look for next */ |
1722 | /* cannot transfer to destroyed coros, skip and look for next */ |
1708 | if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED))) |
1723 | if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED))) |
1709 | SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */ |
1724 | SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */ |
1710 | else |
1725 | else |
1711 | { |
1726 | { |
1712 | next->flags &= ~CF_READY; |
1727 | next->flags &= ~CF_READY; |
1713 | --coro_nready; |
1728 | --coro_nready; |
1714 | |
1729 | |
… | |
… | |
1988 | SV *data = (SV *)GENSUB_ARG; |
2003 | SV *data = (SV *)GENSUB_ARG; |
1989 | |
2004 | |
1990 | if (SvTYPE (SvRV (data)) != SVt_PVAV) |
2005 | if (SvTYPE (SvRV (data)) != SVt_PVAV) |
1991 | { |
2006 | { |
1992 | /* first call, set args */ |
2007 | /* first call, set args */ |
|
|
2008 | SV *coro = SvRV (data); |
1993 | AV *av = newAV (); |
2009 | AV *av = newAV (); |
1994 | SV *coro = SvRV (data); |
|
|
1995 | |
2010 | |
1996 | SvRV_set (data, (SV *)av); |
2011 | SvRV_set (data, (SV *)av); |
1997 | api_ready (aTHX_ coro); |
|
|
1998 | SvREFCNT_dec (coro); |
|
|
1999 | |
2012 | |
2000 | /* better take a full copy of the arguments */ |
2013 | /* better take a full copy of the arguments */ |
2001 | while (items--) |
2014 | while (items--) |
2002 | av_store (av, items, newSVsv (ST (items))); |
2015 | av_store (av, items, newSVsv (ST (items))); |
|
|
2016 | |
|
|
2017 | api_ready (aTHX_ coro); |
|
|
2018 | SvREFCNT_dec (coro); |
2003 | } |
2019 | } |
2004 | |
2020 | |
2005 | XSRETURN_EMPTY; |
2021 | XSRETURN_EMPTY; |
2006 | } |
2022 | } |
2007 | |
2023 | |
… | |
… | |
2024 | |
2040 | |
2025 | EXTEND (SP, AvFILLp (av) + 1); |
2041 | EXTEND (SP, AvFILLp (av) + 1); |
2026 | for (i = 0; i <= AvFILLp (av); ++i) |
2042 | for (i = 0; i <= AvFILLp (av); ++i) |
2027 | PUSHs (sv_2mortal (AvARRAY (av)[i])); |
2043 | PUSHs (sv_2mortal (AvARRAY (av)[i])); |
2028 | |
2044 | |
2029 | /* we have stolen the elements, so ste length to zero and free */ |
2045 | /* we have stolen the elements, so set length to zero and free */ |
2030 | AvFILLp (av) = -1; |
2046 | AvFILLp (av) = -1; |
2031 | av_undef (av); |
2047 | av_undef (av); |
2032 | |
2048 | |
2033 | PUTBACK; |
2049 | PUTBACK; |
2034 | } |
2050 | } |
… | |
… | |
3231 | newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL)); |
3247 | newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL)); |
3232 | newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW)); |
3248 | newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW)); |
3233 | newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE)); |
3249 | newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE)); |
3234 | newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN)); |
3250 | newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN)); |
3235 | |
3251 | |
3236 | for (i = PRIO_MAX - PRIO_MIN + 1; i--; ) |
|
|
3237 | coro_ready[i] = newAV (); |
|
|
3238 | |
|
|
3239 | { |
3252 | { |
3240 | SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE); |
3253 | SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE); |
3241 | |
3254 | |
3242 | coroapi.schedule = api_schedule; |
3255 | coroapi.schedule = api_schedule; |
3243 | coroapi.schedule_to = api_schedule_to; |
3256 | coroapi.schedule_to = api_schedule_to; |
… | |
… | |
3334 | PROTOTYPE: |
3347 | PROTOTYPE: |
3335 | CODE: |
3348 | CODE: |
3336 | RETVAL = coro_nready; |
3349 | RETVAL = coro_nready; |
3337 | OUTPUT: |
3350 | OUTPUT: |
3338 | RETVAL |
3351 | RETVAL |
|
|
3352 | |
|
|
3353 | void |
|
|
3354 | suspend (Coro::State self) |
|
|
3355 | PROTOTYPE: $ |
|
|
3356 | CODE: |
|
|
3357 | self->flags |= CF_SUSPENDED; |
|
|
3358 | |
|
|
3359 | void |
|
|
3360 | resume (Coro::State self) |
|
|
3361 | PROTOTYPE: $ |
|
|
3362 | CODE: |
|
|
3363 | self->flags &= ~CF_SUSPENDED; |
3339 | |
3364 | |
3340 | void |
3365 | void |
3341 | _pool_handler (...) |
3366 | _pool_handler (...) |
3342 | CODE: |
3367 | CODE: |
3343 | CORO_EXECUTE_SLF_XS (slf_init_pool_handler); |
3368 | CORO_EXECUTE_SLF_XS (slf_init_pool_handler); |
… | |
… | |
3418 | av_push (*avp, SvREFCNT_inc (block)); |
3443 | av_push (*avp, SvREFCNT_inc (block)); |
3419 | |
3444 | |
3420 | if (!ix) |
3445 | if (!ix) |
3421 | on_enterleave_call (aTHX_ block); |
3446 | on_enterleave_call (aTHX_ block); |
3422 | |
3447 | |
3423 | LEAVE; /* pp_entersub unfortunately forces an ENTER/LEAVE around xs calls */ |
3448 | LEAVE; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */ |
3424 | SAVEDESTRUCTOR_X (ix ? coro_pop_on_leave : coro_pop_on_enter, (void *)coro); |
3449 | SAVEDESTRUCTOR_X (ix ? coro_pop_on_leave : coro_pop_on_enter, (void *)coro); |
3425 | ENTER; /* pp_entersub unfortunately forces an ENTER/LEAVE around xs calls */ |
3450 | ENTER; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */ |
3426 | } |
3451 | } |
3427 | |
3452 | |
3428 | |
3453 | |
3429 | MODULE = Coro::State PACKAGE = PerlIO::cede |
3454 | MODULE = Coro::State PACKAGE = PerlIO::cede |
3430 | |
3455 | |
… | |
… | |
3510 | for (i = 1; i <= wcount; ++i) |
3535 | for (i = 1; i <= wcount; ++i) |
3511 | PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i]))); |
3536 | PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i]))); |
3512 | } |
3537 | } |
3513 | } |
3538 | } |
3514 | |
3539 | |
|
|
3540 | MODULE = Coro::State PACKAGE = Coro::SemaphoreSet |
|
|
3541 | |
|
|
3542 | void |
|
|
3543 | _may_delete (SV *sem, int count, int extra_refs) |
|
|
3544 | PPCODE: |
|
|
3545 | { |
|
|
3546 | AV *av = (AV *)SvRV (sem); |
|
|
3547 | |
|
|
3548 | if (SvREFCNT ((SV *)av) == 1 + extra_refs |
|
|
3549 | && AvFILLp (av) == 0 /* no waiters, just count */ |
|
|
3550 | && SvIV (AvARRAY (av)[0]) == count) |
|
|
3551 | XSRETURN_YES; |
|
|
3552 | |
|
|
3553 | XSRETURN_NO; |
|
|
3554 | } |
|
|
3555 | |
3515 | MODULE = Coro::State PACKAGE = Coro::Signal |
3556 | MODULE = Coro::State PACKAGE = Coro::Signal |
3516 | |
3557 | |
3517 | SV * |
3558 | SV * |
3518 | new (SV *klass) |
3559 | new (SV *klass) |
3519 | CODE: |
3560 | CODE: |