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.311 by root, Thu Nov 20 01:12:08 2008 UTC vs.
Revision 1.314 by root, Thu Nov 20 03:24:39 2008 UTC

55 55
56#define PERL_VERSION_ATLEAST(a,b,c) \ 56#define PERL_VERSION_ATLEAST(a,b,c) \
57 (PERL_REVISION > (a) \ 57 (PERL_REVISION > (a) \
58 || (PERL_REVISION == (a) \ 58 || (PERL_REVISION == (a) \
59 && (PERL_VERSION > (b) \ 59 && (PERL_VERSION > (b) \
60 || (PERL_VERSION == (b) && PERLSUBVERSION >= (c))))) 60 || (PERL_VERSION == (b) && PERL_SUBVERSION >= (c)))))
61 61
62#if !PERL_VERSION_ATLEAST (5,6,0) 62#if !PERL_VERSION_ATLEAST (5,6,0)
63# ifndef PL_ppaddr 63# ifndef PL_ppaddr
64# define PL_ppaddr ppaddr 64# define PL_ppaddr ppaddr
65# endif 65# endif
98# define newSV(l) NEWSV(0,l) 98# define newSV(l) NEWSV(0,l)
99#endif 99#endif
100#ifndef CvISXSUB_on 100#ifndef CvISXSUB_on
101# define CvISXSUB_on(cv) (void)cv 101# define CvISXSUB_on(cv) (void)cv
102#endif 102#endif
103#ifndef CvISXSUB
104# define CvISXSUB(cv) (CvXSUB (cv) ? TRUE : FALSE)
105#endif
103 106
104/* 5.8.7 */ 107/* 5.8.7 */
105#ifndef SvRV_set 108#ifndef SvRV_set
106# define SvRV_set(s,v) SvRV(s) = (v) 109# define SvRV_set(s,v) SvRV(s) = (v)
107#endif 110#endif
176static HV *hv_sig; /* %SIG */ 179static HV *hv_sig; /* %SIG */
177 180
178/* async_pool helper stuff */ 181/* async_pool helper stuff */
179static SV *sv_pool_rss; 182static SV *sv_pool_rss;
180static SV *sv_pool_size; 183static SV *sv_pool_size;
184static SV *sv_async_pool_idle;
181static AV *av_async_pool; 185static AV *av_async_pool;
186static SV *sv_Coro;
187static CV *cv_pool_handler;
188static CV *cv_coro_new;
182 189
183/* Coro::AnyEvent */ 190/* Coro::AnyEvent */
184static SV *sv_activity; 191static SV *sv_activity;
185 192
186static struct coro_cctx *cctx_first; 193static struct coro_cctx *cctx_first;
263 SV *except; /* exception to be thrown */ 270 SV *except; /* exception to be thrown */
264 SV *rouse_cb; 271 SV *rouse_cb;
265 272
266 /* async_pool */ 273 /* async_pool */
267 SV *saved_deffh; 274 SV *saved_deffh;
275 SV *invoke_cb;
276 AV *invoke_av;
268 277
269 /* linked list */ 278 /* linked list */
270 struct coro *next, *prev; 279 struct coro *next, *prev;
271}; 280};
272 281
289 298
290/* for Coro.pm */ 299/* for Coro.pm */
291static SV *coro_current; 300static SV *coro_current;
292static SV *coro_readyhook; 301static SV *coro_readyhook;
293static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1]; 302static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];
294static CV *cv_coro_run; 303static CV *cv_coro_run, *cv_coro_terminate;
295static struct coro *coro_first; 304static struct coro *coro_first;
296#define coro_nready coroapi.nready 305#define coro_nready coroapi.nready
297 306
298/** lowlevel stuff **********************************************************/ 307/** lowlevel stuff **********************************************************/
299 308
687#if !PERL_VERSION_ATLEAST (5,10,0) 696#if !PERL_VERSION_ATLEAST (5,10,0)
688 Safefree (PL_retstack); 697 Safefree (PL_retstack);
689#endif 698#endif
690} 699}
691 700
701#define CORO_RSS \
702 rss += sizeof (SYM (curstackinfo)); \
703 rss += (SYM (curstackinfo->si_cxmax) + 1) * sizeof (PERL_CONTEXT); \
704 rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (SYM (curstack))) * sizeof (SV *); \
705 rss += SYM (tmps_max) * sizeof (SV *); \
706 rss += (SYM (markstack_max) - SYM (markstack_ptr)) * sizeof (I32); \
707 rss += SYM (scopestack_max) * sizeof (I32); \
708 rss += SYM (savestack_max) * sizeof (ANY);
709
692static size_t 710static size_t
693coro_rss (pTHX_ struct coro *coro) 711coro_rss (pTHX_ struct coro *coro)
694{ 712{
695 size_t rss = sizeof (*coro); 713 size_t rss = sizeof (*coro);
696 714
697 if (coro->mainstack) 715 if (coro->mainstack)
698 { 716 {
699 perl_slots tmp_slot;
700 perl_slots *slot;
701
702 if (coro->flags & CF_RUNNING) 717 if (coro->flags & CF_RUNNING)
703 { 718 {
704 slot = &tmp_slot; 719 #define SYM(sym) PL_ ## sym
705 720 CORO_RSS;
706 #define VAR(name,type) slot->name = PL_ ## name;
707 # include "state.h"
708 #undef VAR 721 #undef SYM
709 } 722 }
710 else 723 else
711 slot = coro->slot;
712
713 if (slot)
714 { 724 {
715 rss += sizeof (slot->curstackinfo); 725 #define SYM(sym) coro->slot->sym
716 rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT); 726 CORO_RSS;
717 rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *); 727 #undef SYM
718 rss += slot->tmps_max * sizeof (SV *);
719 rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32);
720 rss += slot->scopestack_max * sizeof (I32);
721 rss += slot->savestack_max * sizeof (ANY);
722
723#if !PERL_VERSION_ATLEAST (5,10,0)
724 rss += slot->retstack_max * sizeof (OP *);
725#endif
726 } 728 }
727 } 729 }
728 730
729 return rss; 731 return rss;
730} 732}
932 SvREFCNT_dec (PL_diehook); 934 SvREFCNT_dec (PL_diehook);
933 SvREFCNT_dec (PL_warnhook); 935 SvREFCNT_dec (PL_warnhook);
934 936
935 SvREFCNT_dec (coro->saved_deffh); 937 SvREFCNT_dec (coro->saved_deffh);
936 SvREFCNT_dec (coro->rouse_cb); 938 SvREFCNT_dec (coro->rouse_cb);
939 SvREFCNT_dec (coro->invoke_cb);
940 SvREFCNT_dec (coro->invoke_av);
937 941
938 coro_destruct_stacks (aTHX); 942 coro_destruct_stacks (aTHX);
939} 943}
940 944
941INLINE void 945INLINE void
1747 coro->slot->runops = RUNOPS_DEFAULT; 1751 coro->slot->runops = RUNOPS_DEFAULT;
1748 } 1752 }
1749} 1753}
1750 1754
1751/*****************************************************************************/ 1755/*****************************************************************************/
1756/* async pool handler */
1757
1758static int
1759slf_check_pool_handler (pTHX_ struct CoroSLF *frame)
1760{
1761 HV *hv = (HV *)SvRV (coro_current);
1762 struct coro *coro = (struct coro *)frame->data;
1763
1764 if (!coro->invoke_cb)
1765 return 1; /* loop till we have invoke */
1766 else
1767 {
1768 hv_store (hv, "desc", sizeof ("desc") - 1,
1769 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
1770
1771 coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
1772
1773 {
1774 dSP;
1775 XPUSHs (sv_2mortal (coro->invoke_cb)); coro->invoke_cb = 0;
1776 PUTBACK;
1777 }
1778
1779 SvREFCNT_dec (GvAV (PL_defgv));
1780 GvAV (PL_defgv) = coro->invoke_av;
1781 coro->invoke_av = 0;
1782
1783 return 0;
1784 }
1785}
1786
1787static void
1788slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1789{
1790 HV *hv = (HV *)SvRV (coro_current);
1791 struct coro *coro = SvSTATE_hv ((SV *)hv);
1792
1793 if (expect_true (coro->saved_deffh))
1794 {
1795 /* subsequent iteration */
1796 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
1797 coro->saved_deffh = 0;
1798
1799 if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
1800 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
1801 {
1802 coro->invoke_cb = SvREFCNT_inc_NN ((SV *)cv_coro_terminate);
1803 coro->invoke_av = newAV ();
1804
1805 frame->prepare = prepare_nop;
1806 }
1807 else
1808 {
1809 av_clear (GvAV (PL_defgv));
1810 hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
1811
1812 coro->prio = 0;
1813
1814 if (coro->cctx && (coro->cctx->flags & CC_TRACE))
1815 api_trace (aTHX_ coro_current, 0);
1816
1817 frame->prepare = prepare_schedule;
1818 av_push (av_async_pool, SvREFCNT_inc (hv));
1819 }
1820 }
1821 else
1822 {
1823 /* first iteration, simply fall through */
1824 frame->prepare = prepare_nop;
1825 }
1826
1827 frame->check = slf_check_pool_handler;
1828 frame->data = (void *)coro;
1829}
1830
1831/*****************************************************************************/
1752/* rouse callback */ 1832/* rouse callback */
1753 1833
1754#define CORO_MAGIC_type_rouse PERL_MAGIC_ext 1834#define CORO_MAGIC_type_rouse PERL_MAGIC_ext
1755 1835
1756static void 1836static void
1760 SV *data = (SV *)GENSUB_ARG; 1840 SV *data = (SV *)GENSUB_ARG;
1761 1841
1762 if (SvTYPE (SvRV (data)) != SVt_PVAV) 1842 if (SvTYPE (SvRV (data)) != SVt_PVAV)
1763 { 1843 {
1764 /* first call, set args */ 1844 /* first call, set args */
1765 int i;
1766 AV *av = newAV (); 1845 AV *av = newAV ();
1767 SV *coro = SvRV (data); 1846 SV *coro = SvRV (data);
1768 1847
1769 SvRV_set (data, (SV *)av); 1848 SvRV_set (data, (SV *)av);
1770 api_ready (aTHX_ coro); 1849 api_ready (aTHX_ coro);
2395 dXSARGS; 2474 dXSARGS;
2396 AV *state = (AV *)GENSUB_ARG; 2475 AV *state = (AV *)GENSUB_ARG;
2397 SV *coro = av_pop (state); 2476 SV *coro = av_pop (state);
2398 SV *data_sv = newSV (sizeof (struct io_state)); 2477 SV *data_sv = newSV (sizeof (struct io_state));
2399 2478
2400 av_extend (state, items); 2479 av_extend (state, items - 1);
2401 2480
2402 sv_upgrade (data_sv, SVt_PV); 2481 sv_upgrade (data_sv, SVt_PV);
2403 SvCUR_set (data_sv, sizeof (struct io_state)); 2482 SvCUR_set (data_sv, sizeof (struct io_state));
2404 SvPOK_only (data_sv); 2483 SvPOK_only (data_sv);
2405 2484
2654 mg->mg_flags |= MGf_DUP; 2733 mg->mg_flags |= MGf_DUP;
2655 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1)); 2734 RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2656 2735
2657 if (items > 1) 2736 if (items > 1)
2658 { 2737 {
2659 av_extend (coro->args, items - 1 + ix); 2738 av_extend (coro->args, items - 1 + ix - 1);
2660 2739
2661 if (ix) 2740 if (ix)
2662 { 2741 {
2663 av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb)); 2742 av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2664 cb = cv_coro_run; 2743 cb = cv_coro_run;
2874 2953
2875BOOT: 2954BOOT:
2876{ 2955{
2877 int i; 2956 int i;
2878 2957
2879 av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE); 2958 av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
2880 sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE); 2959 sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
2881 sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE); 2960 sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
2882 cv_coro_run = get_cv ( "Coro::_terminate", GV_ADD); 2961 cv_coro_run = get_cv ( "Coro::_terminate", GV_ADD);
2962 cv_coro_terminate = get_cv ( "Coro::terminate", GV_ADD);
2883 coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); 2963 coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE);
2884 SvREADONLY_on (coro_current); 2964 SvREADONLY_on (coro_current);
2965
2966 sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
2967 sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
2968 cv_pool_handler = get_cv ("Coro::_pool_handler", 0); SvREADONLY_on (cv_pool_handler);
2969 cv_coro_new = get_cv ("Coro::new", 0); SvREADONLY_on (cv_coro_new);
2885 2970
2886 coro_stash = gv_stashpv ("Coro", TRUE); 2971 coro_stash = gv_stashpv ("Coro", TRUE);
2887 2972
2888 newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX)); 2973 newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));
2889 newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH)); 2974 newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
2978 CODE: 3063 CODE:
2979 RETVAL = coro_nready; 3064 RETVAL = coro_nready;
2980 OUTPUT: 3065 OUTPUT:
2981 RETVAL 3066 RETVAL
2982 3067
2983# for async_pool speedup
2984void 3068void
2985_pool_1 (SV *cb) 3069_pool_handler (...)
2986 CODE: 3070 CODE:
2987{ 3071 CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
2988 HV *hv = (HV *)SvRV (coro_current);
2989 struct coro *coro = SvSTATE_hv ((SV *)hv);
2990 AV *defav = GvAV (PL_defgv);
2991 SV *invoke = hv_delete (hv, "_invoke", sizeof ("_invoke") - 1, 0);
2992 AV *invoke_av;
2993 int i, len;
2994 3072
2995 if (!invoke) 3073void
3074async_pool (SV *cv, ...)
3075 PROTOTYPE: &@
3076 PPCODE:
3077{
3078 HV *hv = (HV *)av_pop (av_async_pool);
3079 AV *av = newAV ();
3080 SV *cb = ST (0);
3081 int i;
3082
3083 av_extend (av, items - 2);
3084 for (i = 1; i < items; ++i)
3085 av_push (av, SvREFCNT_inc_NN (ST (i)));
3086
3087 if ((SV *)hv == &PL_sv_undef)
2996 { 3088 {
2997 SV *old = PL_diehook; 3089 PUSHMARK (SP);
2998 PL_diehook = 0; 3090 EXTEND (SP, 2);
2999 SvREFCNT_dec (old); 3091 PUSHs (sv_Coro);
3000 croak ("\3async_pool terminate\2\n"); 3092 PUSHs ((SV *)cv_pool_handler);
3093 PUTBACK;
3094 call_sv ((SV *)cv_coro_new, G_SCALAR);
3095 SPAGAIN;
3096
3097 hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));
3001 } 3098 }
3002 3099
3003 SvREFCNT_dec (coro->saved_deffh);
3004 coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
3005
3006 hv_store (hv, "desc", sizeof ("desc") - 1,
3007 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
3008
3009 invoke_av = (AV *)SvRV (invoke);
3010 len = av_len (invoke_av);
3011
3012 sv_setsv (cb, AvARRAY (invoke_av)[0]);
3013
3014 if (len > 0)
3015 { 3100 {
3016 av_fill (defav, len - 1); 3101 struct coro *coro = SvSTATE_hv (hv);
3017 for (i = 0; i < len; ++i) 3102
3018 av_store (defav, i, SvREFCNT_inc_NN (AvARRAY (invoke_av)[i + 1])); 3103 assert (!coro->invoke_cb);
3104 assert (!coro->invoke_av);
3105 coro->invoke_cb = SvREFCNT_inc (cb);
3106 coro->invoke_av = av;
3019 } 3107 }
3020}
3021 3108
3022void 3109 api_ready (aTHX_ (SV *)hv);
3023_pool_2 (SV *cb)
3024 CODE:
3025{
3026 HV *hv = (HV *)SvRV (coro_current);
3027 struct coro *coro = SvSTATE_hv ((SV *)hv);
3028 3110
3029 sv_setsv (cb, &PL_sv_undef); 3111 if (GIMME_V != G_VOID)
3030 3112 XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
3031 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh; 3113 else
3032 coro->saved_deffh = 0;
3033
3034 if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
3035 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
3036 {
3037 SV *old = PL_diehook;
3038 PL_diehook = 0;
3039 SvREFCNT_dec (old); 3114 SvREFCNT_dec (hv);
3040 croak ("\3async_pool terminate\2\n");
3041 }
3042
3043 av_clear (GvAV (PL_defgv));
3044 hv_store (hv, "desc", sizeof ("desc") - 1,
3045 newSVpvn ("[async_pool idle]", sizeof ("[async_pool idle]") - 1), 0);
3046
3047 coro->prio = 0;
3048
3049 if (coro->cctx && (coro->cctx->flags & CC_TRACE))
3050 api_trace (aTHX_ coro_current, 0);
3051
3052 av_push (av_async_pool, newSVsv (coro_current));
3053} 3115}
3054 3116
3055SV * 3117SV *
3056rouse_cb () 3118rouse_cb ()
3057 PROTOTYPE: 3119 PROTOTYPE:

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines