[ViewVC] Diff of: cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.344 by root, Mon Dec 15 19:39:40 2008 UTC vs.
Revision 1.374 by root, Fri Oct 2 19:55:59 2009 UTC

…		…
		1	#define NDEBUG 1
		2
1	#include "libcoro/coro.c"	3	#include "libcoro/coro.c"
2		4
3	#define PERL_NO_GET_CONTEXT	5	#define PERL_NO_GET_CONTEXT
4	#define PERL_EXT	6	#define PERL_EXT
5		7
6	#include "EXTERN.h"	8	#include "EXTERN.h"
7	#include "perl.h"	9	#include "perl.h"
8	#include "XSUB.h"	10	#include "XSUB.h"
9	#include "perliol.h"	11	#include "perliol.h"
10		12
11	#include "patchlevel.h"	13	#include "schmorp.h"
12		14
13	#include <stdio.h>	15	#include <stdio.h>
14	#include <errno.h>	16	#include <errno.h>
15	#include <assert.h>	17	#include <assert.h>
		18
		19	#ifndef SVs_PADSTALE
		20	# define SVs_PADSTALE 0
		21	#endif
16		22
17	#ifdef WIN32	23	#ifdef WIN32
18	# undef setjmp	24	# undef setjmp
19	# undef longjmp	25	# undef longjmp
20	# undef _exit	26	# undef _exit
51	#endif	57	#endif
52		58
53	/* the maximum number of idle cctx that will be pooled */	59	/* the maximum number of idle cctx that will be pooled */
54	static int cctx_max_idle = 4;	60	static int cctx_max_idle = 4;
55		61
56	#define PERL_VERSION_ATLEAST(a,b,c) \
57	(PERL_REVISION > (a) \
58	\|\| (PERL_REVISION == (a) \
59	&& (PERL_VERSION > (b) \
60	\|\| (PERL_VERSION == (b) && PERL_SUBVERSION >= (c)))))
61
62	#if !PERL_VERSION_ATLEAST (5,6,0)
63	# ifndef PL_ppaddr
64	# define PL_ppaddr ppaddr
65	# endif
66	# ifndef call_sv
67	# define call_sv perl_call_sv
68	# endif
69	# ifndef get_sv
70	# define get_sv perl_get_sv
71	# endif
72	# ifndef get_cv
73	# define get_cv perl_get_cv
74	# endif
75	# ifndef IS_PADGV
76	# define IS_PADGV(v) 0
77	# endif
78	# ifndef IS_PADCONST
79	# define IS_PADCONST(v) 0
80	# endif
81	#endif
82
83	/* 5.11 */
84	#ifndef CxHASARGS
85	# define CxHASARGS(cx) (cx)->blk_sub.hasargs
86	#endif
87
88	/* 5.10.0 */
89	#ifndef SvREFCNT_inc_NN
90	# define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
91	#endif
92
93	/* 5.8.8 */
94	#ifndef GV_NOTQUAL
95	# define GV_NOTQUAL 0
96	#endif
97	#ifndef newSV
98	# define newSV(l) NEWSV(0,l)
99	#endif
100	#ifndef CvISXSUB_on
101	# define CvISXSUB_on(cv) (void)cv
102	#endif
103	#ifndef CvISXSUB
104	# define CvISXSUB(cv) (CvXSUB (cv) ? TRUE : FALSE)
105	#endif
106	#ifndef Newx
107	# define Newx(ptr,nitems,type) New (0,ptr,nitems,type)
108	#endif
109
110	/* 5.8.7 */
111	#ifndef SvRV_set
112	# define SvRV_set(s,v) SvRV(s) = (v)
113	#endif
114
115	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64	62	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
116	# undef CORO_STACKGUARD	63	# undef CORO_STACKGUARD
117	#endif	64	#endif
118		65
119	#ifndef CORO_STACKGUARD	66	#ifndef CORO_STACKGUARD
…		…
137		84
138	#define IN_DESTRUCT PL_dirty	85	#define IN_DESTRUCT PL_dirty
139		86
140	#if __GNUC__ >= 3	87	#if __GNUC__ >= 3
141	# define attribute(x) __attribute__(x)	88	# define attribute(x) __attribute__(x)
142	# define expect(expr,value) __builtin_expect ((expr),(value))	89	# define expect(expr,value) __builtin_expect ((expr), (value))
143	# define INLINE static inline	90	# define INLINE static inline
144	#else	91	#else
145	# define attribute(x)	92	# define attribute(x)
146	# define expect(expr,value) (expr)	93	# define expect(expr,value) (expr)
147	# define INLINE static	94	# define INLINE static
…		…
159	# if CORO_PTHREAD	106	# if CORO_PTHREAD
160	static void *coro_thx;	107	static void *coro_thx;
161	# endif	108	# endif
162	#endif	109	#endif
163		110
		111	#ifdef __linux
		112	# include <time.h> /* for timespec */
		113	# include <syscall.h> /* for SYS_* */
		114	# ifdef SYS_clock_gettime
		115	# define coro_clock_gettime(id, ts) syscall (SYS_clock_gettime, (id), (ts))
		116	# define CORO_CLOCK_MONOTONIC 1
		117	# define CORO_CLOCK_THREAD_CPUTIME_ID 3
		118	# endif
		119	#endif
		120
164	static double (nvtime)(); / so why doesn't it take void? */	121	static double (nvtime)(); / so why doesn't it take void? */
		122	static void (*u2time)(pTHX_ UV ret[2]);
165		123
166	/* we hijack an hopefully unused CV flag for our purposes */	124	/* we hijack an hopefully unused CV flag for our purposes */
167	#define CVf_SLF 0x4000	125	#define CVf_SLF 0x4000
168	static OP *pp_slf (pTHX);	126	static OP *pp_slf (pTHX);
169		127
…		…
190	static SV *sv_pool_size;	148	static SV *sv_pool_size;
191	static SV sv_async_pool_idle; / description string */	149	static SV sv_async_pool_idle; / description string */
192	static AV av_async_pool; / idle pool */	150	static AV av_async_pool; / idle pool */
193	static SV sv_Coro; / class string */	151	static SV sv_Coro; / class string */
194	static CV *cv_pool_handler;	152	static CV *cv_pool_handler;
195	static CV *cv_coro_state_new;
196		153
197	/* Coro::AnyEvent */	154	/* Coro::AnyEvent */
198	static SV *sv_activity;	155	static SV *sv_activity;
		156
		157	/* enable processtime/realtime profiling */
		158	static char enable_times;
		159	typedef U32 coro_ts[2];
		160	static coro_ts time_real, time_cpu;
		161	static char times_valid;
199		162
200	static struct coro_cctx *cctx_first;	163	static struct coro_cctx *cctx_first;
201	static int cctx_count, cctx_idle;	164	static int cctx_count, cctx_idle;
202		165
203	enum {	166	enum {
…		…
261	/* this is a structure representing a perl-level coroutine */	224	/* this is a structure representing a perl-level coroutine */
262	struct coro {	225	struct coro {
263	/* the C coroutine allocated to this perl coroutine, if any */	226	/* the C coroutine allocated to this perl coroutine, if any */
264	coro_cctx *cctx;	227	coro_cctx *cctx;
265		228
		229	/* ready queue */
		230	struct coro *next_ready;
		231
266	/* state data */	232	/* state data */
267	struct CoroSLF slf_frame; /* saved slf frame */	233	struct CoroSLF slf_frame; /* saved slf frame */
268	AV *mainstack;	234	AV *mainstack;
269	perl_slots slot; / basically the saved sp */	235	perl_slots slot; / basically the saved sp */
270		236
…		…
290		256
291	/* on_enter/on_leave */	257	/* on_enter/on_leave */
292	AV *on_enter;	258	AV *on_enter;
293	AV *on_leave;	259	AV *on_leave;
294		260
		261	/* swap_sv */
		262	AV *swap_sv;
		263
		264	/* times */
		265	coro_ts t_cpu, t_real;
		266
295	/* linked list */	267	/* linked list */
296	struct coro next, prev;	268	struct coro next, prev;
297	};	269	};
298		270
299	typedef struct coro *Coro__State;	271	typedef struct coro *Coro__State;
…		…
304	/* the mainr easonw e don't support windows process emulation */	276	/* the mainr easonw e don't support windows process emulation */
305	static struct CoroSLF slf_frame; /* the current slf frame */	277	static struct CoroSLF slf_frame; /* the current slf frame */
306		278
307	/ Coro ******************************************************************/	279	/ Coro ******************************************************************/
308		280
309	#define PRIO_MAX 3	281	#define CORO_PRIO_MAX 3
310	#define PRIO_HIGH 1	282	#define CORO_PRIO_HIGH 1
311	#define PRIO_NORMAL 0	283	#define CORO_PRIO_NORMAL 0
312	#define PRIO_LOW -1	284	#define CORO_PRIO_LOW -1
313	#define PRIO_IDLE -3	285	#define CORO_PRIO_IDLE -3
314	#define PRIO_MIN -4	286	#define CORO_PRIO_MIN -4
315		287
316	/* for Coro.pm */	288	/* for Coro.pm */
317	static SV *coro_current;	289	static SV *coro_current;
318	static SV *coro_readyhook;	290	static SV *coro_readyhook;
319	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];	291	static struct coro coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; / head\|tail */
320	static CV cv_coro_run, cv_coro_terminate;	292	static CV cv_coro_run, cv_coro_terminate;
321	static struct coro *coro_first;	293	static struct coro *coro_first;
322	#define coro_nready coroapi.nready	294	#define coro_nready coroapi.nready
		295
		296	/ Coro::Select **********************************************************/
		297
		298	static OP (coro_old_pp_sselect) (pTHX);
		299	static SV *coro_select_select;
		300
		301	/* horrible hack, but if it works... */
		302	static OP *
		303	coro_pp_sselect (pTHX)
		304	{
		305	dSP;
		306	PUSHMARK (SP - 4); /* fake argument list */
		307	XPUSHs (coro_select_select);
		308	PUTBACK;
		309
		310	/* entersub is an UNOP, select a LISTOP... keep your fingers crossed */
		311	PL_op->op_flags \|= OPf_STACKED;
		312	PL_op->op_private = 0;
		313	return PL_ppaddr [OP_ENTERSUB](aTHX);
		314	}
323		315
324	/ lowlevel stuff ********************************************************/	316	/ lowlevel stuff ********************************************************/
325		317
326	static SV *	318	static SV *
327	coro_get_sv (pTHX_ const char *name, int create)	319	coro_get_sv (pTHX_ const char *name, int create)
…		…
351	get_hv (name, create);	343	get_hv (name, create);
352	#endif	344	#endif
353	return get_hv (name, create);	345	return get_hv (name, create);
354	}	346	}
355		347
356	/* may croak */	348	INLINE void
357	INLINE CV *	349	coro_times_update ()
358	coro_sv_2cv (pTHX_ SV *sv)
359	{	350	{
360	HV *st;	351	#ifdef coro_clock_gettime
361	GV *gvp;	352	struct timespec ts;
362	CV *cv = sv_2cv (sv, &st, &gvp, 0);
363		353
364	if (!cv)	354	ts.tv_sec = ts.tv_nsec = 0;
365	croak ("code reference expected");	355	coro_clock_gettime (CORO_CLOCK_THREAD_CPUTIME_ID, &ts);
		356	time_cpu [0] = ts.tv_sec; time_cpu [1] = ts.tv_nsec;
366		357
367	return cv;	358	ts.tv_sec = ts.tv_nsec = 0;
		359	coro_clock_gettime (CORO_CLOCK_MONOTONIC, &ts);
		360	time_real [0] = ts.tv_sec; time_real [1] = ts.tv_nsec;
		361	#else
		362	dTHX;
		363	UV tv[2];
		364
		365	u2time (aTHX_ tv);
		366	time_real [0] = tv [0];
		367	time_real [1] = tv [1] * 1000;
		368	#endif
		369	}
		370
		371	INLINE void
		372	coro_times_add (struct coro *c)
		373	{
		374	c->t_real [1] += time_real [1];
		375	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
		376	c->t_real [0] += time_real [0];
		377
		378	c->t_cpu [1] += time_cpu [1];
		379	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
		380	c->t_cpu [0] += time_cpu [0];
		381	}
		382
		383	INLINE void
		384	coro_times_sub (struct coro *c)
		385	{
		386	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
		387	c->t_real [1] -= time_real [1];
		388	c->t_real [0] -= time_real [0];
		389
		390	if (c->t_cpu [1] < time_cpu [1]) { c->t_cpu [1] += 1000000000; --c->t_cpu [0]; }
		391	c->t_cpu [1] -= time_cpu [1];
		392	c->t_cpu [0] -= time_cpu [0];
368	}	393	}
369		394
370	/*****************************************************************************/	395	/*****************************************************************************/
371	/* magic glue */	396	/* magic glue */
372		397
…		…
472	static int	497	static int
473	coro_cv_free (pTHX_ SV sv, MAGIC mg)	498	coro_cv_free (pTHX_ SV sv, MAGIC mg)
474	{	499	{
475	AV *padlist;	500	AV *padlist;
476	AV av = (AV )mg->mg_obj;	501	AV av = (AV )mg->mg_obj;
		502
		503	/* perl manages to free our internal AV and _then_ call us */
		504	if (IN_DESTRUCT)
		505	return 0;
477		506
478	/* casting is fun. */	507	/* casting is fun. */
479	while (&PL_sv_undef != (SV )(padlist = (AV )av_pop (av)))	508	while (&PL_sv_undef != (SV )(padlist = (AV )av_pop (av)))
480	free_padlist (aTHX_ padlist);	509	free_padlist (aTHX_ padlist);
481		510
…		…
530	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);	559	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
531	}	560	}
532		561
533	/ load & save, init *****************************************************/	562	/ load & save, init *****************************************************/
534		563
		564	/* swap sv heads, at least logically */
		565	static void
		566	swap_svs (pTHX_ Coro__State c)
		567	{
		568	int i;
		569
		570	for (i = 0; i <= AvFILLp (c->swap_sv); )
		571	{
		572	SV *a = AvARRAY (c->swap_sv)[i++];
		573	SV *b = AvARRAY (c->swap_sv)[i++];
		574
		575	const U32 keep = SVs_PADSTALE \| SVs_PADTMP \| SVs_PADMY; /* keep these flags */
		576	SV tmp;
		577
		578	/* swap sv_any */
		579	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		580
		581	/* swap sv_flags */
		582	SvFLAGS (&tmp) = SvFLAGS (a);
		583	SvFLAGS (a) = (SvFLAGS (a) & keep) \| (SvFLAGS (b ) & ~keep);
		584	SvFLAGS (b) = (SvFLAGS (b) & keep) \| (SvFLAGS (&tmp) & ~keep);
		585
		586	#if PERL_VERSION_ATLEAST (5,10,0)
		587	/* perl 5.10 complicates this _quite_ a bit, but it also is
		588	* is much faster, so no quarrels here. alternatively, we could
		589	* sv_upgrade to avoid this.
		590	*/
		591	{
		592	/* swap sv_u */
		593	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		594
		595	/* if SvANY points to the head, we need to adjust the pointers,
		596	* as the pointer for a still points to b, and maybe vice versa.
		597	*/
		598	#define svany_in_head(type) \
		599	(((1 << SVt_NULL) \| (1 << SVt_BIND) \| (1 << SVt_IV) \| (1 << SVt_RV)) & (1 << (type)))
		600
		601	if (svany_in_head (SvTYPE (a)))
		602	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		603
		604	if (svany_in_head (SvTYPE (b)))
		605	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		606	}
		607	#endif
		608	}
		609	}
		610
		611	#define SWAP_SVS(coro) \
		612	if (expect_false ((coro)->swap_sv)) \
		613	swap_svs (aTHX_ (coro))
		614
535	static void	615	static void
536	on_enterleave_call (pTHX_ SV *cb);	616	on_enterleave_call (pTHX_ SV *cb);
537		617
538	static void	618	static void
539	load_perl (pTHX_ Coro__State c)	619	load_perl (pTHX_ Coro__State c)
…		…
570	}	650	}
571		651
572	slf_frame = c->slf_frame;	652	slf_frame = c->slf_frame;
573	CORO_THROW = c->except;	653	CORO_THROW = c->except;
574		654
		655	if (expect_false (enable_times))
		656	{
		657	if (expect_false (!times_valid))
		658	coro_times_update ();
		659
		660	coro_times_sub (c);
		661	}
		662
575	if (expect_false (c->on_enter))	663	if (expect_false (c->on_enter))
576	{	664	{
577	int i;	665	int i;
578		666
579	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	667	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
580	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	668	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
581	}	669	}
		670
		671	SWAP_SVS (c);
582	}	672	}
583		673
584	static void	674	static void
585	save_perl (pTHX_ Coro__State c)	675	save_perl (pTHX_ Coro__State c)
586	{	676	{
		677	SWAP_SVS (c);
		678
587	if (expect_false (c->on_leave))	679	if (expect_false (c->on_leave))
588	{	680	{
589	int i;	681	int i;
590		682
591	for (i = AvFILLp (c->on_leave); i >= 0; --i)	683	for (i = AvFILLp (c->on_leave); i >= 0; --i)
592	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);	684	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
		685	}
		686
		687	times_valid = 0;
		688
		689	if (expect_false (enable_times))
		690	{
		691	coro_times_update (); times_valid = 1;
		692	coro_times_add (c);
593	}	693	}
594		694
595	c->except = CORO_THROW;	695	c->except = CORO_THROW;
596	c->slf_frame = slf_frame;	696	c->slf_frame = slf_frame;
597		697
…		…
612	{	712	{
613	while (expect_true (cxix >= 0))	713	while (expect_true (cxix >= 0))
614	{	714	{
615	PERL_CONTEXT *cx = &ccstk[cxix--];	715	PERL_CONTEXT *cx = &ccstk[cxix--];
616		716
617	if (expect_true (CxTYPE (cx) == CXt_SUB \|\| CxTYPE (cx) == CXt_FORMAT))	717	if (expect_true (CxTYPE (cx) == CXt_SUB) \|\| expect_false (CxTYPE (cx) == CXt_FORMAT))
618	{	718	{
619	CV *cv = cx->blk_sub.cv;	719	CV *cv = cx->blk_sub.cv;
620		720
621	if (expect_true (CvDEPTH (cv)))	721	if (expect_true (CvDEPTH (cv)))
622	{	722	{
623	EXTEND (SP, 3);
624	PUSHs ((SV *)CvPADLIST (cv));	723	PUSHs ((SV *)CvPADLIST (cv));
625	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));	724	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));
626	PUSHs ((SV *)cv);	725	PUSHs ((SV *)cv);
627		726
628	CvDEPTH (cv) = 0;	727	CvDEPTH (cv) = 0;
…		…
646	/* we manually unroll here, as usually 2 slots is enough */	745	/* we manually unroll here, as usually 2 slots is enough */
647	if (SLOT_COUNT >= 1) CXINC;	746	if (SLOT_COUNT >= 1) CXINC;
648	if (SLOT_COUNT >= 2) CXINC;	747	if (SLOT_COUNT >= 2) CXINC;
649	if (SLOT_COUNT >= 3) CXINC;	748	if (SLOT_COUNT >= 3) CXINC;
650	{	749	{
651	int i;	750	unsigned int i;
652	for (i = 3; i < SLOT_COUNT; ++i)	751	for (i = 3; i < SLOT_COUNT; ++i)
653	CXINC;	752	CXINC;
654	}	753	}
655	cxstack_ix -= SLOT_COUNT; /* undo allocation */	754	cxstack_ix -= SLOT_COUNT; /* undo allocation */
656		755
…		…
890	slf_check_repeat (pTHX_ struct CoroSLF *frame)	989	slf_check_repeat (pTHX_ struct CoroSLF *frame)
891	{	990	{
892	return 1;	991	return 1;
893	}	992	}
894		993
895	static UNOP coro_setup_op;	994	static UNOP init_perl_op;
896		995
897	static void NOINLINE /* noinline to keep it out of the transfer fast path */	996	static void NOINLINE /* noinline to keep it out of the transfer fast path */
898	coro_setup (pTHX_ struct coro *coro)	997	init_perl (pTHX_ struct coro *coro)
899	{	998	{
900	/*	999	/*
901	* emulate part of the perl startup here.	1000	* emulate part of the perl startup here.
902	*/	1001	*/
903	coro_init_stacks (aTHX);	1002	coro_init_stacks (aTHX);
…		…
952	*/	1051	*/
953	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */	1052	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
954	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */	1053	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
955		1054
956	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */	1055	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
957	coro_setup_op.op_next = PL_op;	1056	init_perl_op.op_next = PL_op;
958	coro_setup_op.op_type = OP_ENTERSUB;	1057	init_perl_op.op_type = OP_ENTERSUB;
959	coro_setup_op.op_ppaddr = pp_slf;	1058	init_perl_op.op_ppaddr = pp_slf;
960	/* no flags etc. required, as an init function won't be called */	1059	/* no flags etc. required, as an init function won't be called */
961		1060
962	PL_op = (OP *)&coro_setup_op;	1061	PL_op = (OP *)&init_perl_op;
963		1062
964	/* copy throw, in case it was set before coro_setup */	1063	/* copy throw, in case it was set before init_perl */
965	CORO_THROW = coro->except;	1064	CORO_THROW = coro->except;
		1065
		1066	SWAP_SVS (coro);
		1067
		1068	if (expect_false (enable_times))
		1069	{
		1070	coro_times_update ();
		1071	coro_times_sub (coro);
		1072	}
966	}	1073	}
967		1074
968	static void	1075	static void
969	coro_unwind_stacks (pTHX)	1076	coro_unwind_stacks (pTHX)
970	{	1077	{
…		…
985	dounwind (-1);	1092	dounwind (-1);
986	}	1093	}
987	}	1094	}
988		1095
989	static void	1096	static void
990	coro_destruct_perl (pTHX_ struct coro *coro)	1097	destroy_perl (pTHX_ struct coro *coro)
991	{	1098	{
		1099	SV *svf [9];
		1100
		1101	{
		1102	struct coro *current = SvSTATE_current;
		1103
		1104	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
		1105
		1106	save_perl (aTHX_ current);
		1107	load_perl (aTHX_ coro);
		1108
992	coro_unwind_stacks (aTHX);	1109	coro_unwind_stacks (aTHX);
		1110	coro_destruct_stacks (aTHX);
993		1111
994	SvREFCNT_dec (GvSV (PL_defgv));	1112	/* restore swapped sv's */
995	SvREFCNT_dec (GvAV (PL_defgv));	1113	SWAP_SVS (coro);
996	SvREFCNT_dec (GvSV (PL_errgv));
997	SvREFCNT_dec (PL_defoutgv);
998	SvREFCNT_dec (PL_rs);
999	SvREFCNT_dec (GvSV (irsgv));
1000	SvREFCNT_dec (GvHV (PL_hintgv));
1001		1114
1002	SvREFCNT_dec (PL_diehook);	1115	// now save some sv's to be free'd later
1003	SvREFCNT_dec (PL_warnhook);	1116	svf [0] = GvSV (PL_defgv);
		1117	svf [1] = (SV *)GvAV (PL_defgv);
		1118	svf [2] = GvSV (PL_errgv);
		1119	svf [3] = (SV *)PL_defoutgv;
		1120	svf [4] = PL_rs;
		1121	svf [5] = GvSV (irsgv);
		1122	svf [6] = (SV *)GvHV (PL_hintgv);
		1123	svf [7] = PL_diehook;
		1124	svf [8] = PL_warnhook;
		1125	assert (9 == sizeof (svf) / sizeof (*svf));
		1126
		1127	load_perl (aTHX_ current);
1004		1128	}
		1129
		1130	{
		1131	unsigned int i;
		1132
		1133	for (i = 0; i < sizeof (svf) / sizeof (*svf); ++i)
		1134	SvREFCNT_dec (svf [i]);
		1135
1005	SvREFCNT_dec (coro->saved_deffh);	1136	SvREFCNT_dec (coro->saved_deffh);
1006	SvREFCNT_dec (coro->rouse_cb);	1137	SvREFCNT_dec (coro->rouse_cb);
1007	SvREFCNT_dec (coro->invoke_cb);	1138	SvREFCNT_dec (coro->invoke_cb);
1008	SvREFCNT_dec (coro->invoke_av);	1139	SvREFCNT_dec (coro->invoke_av);
1009		1140	SvREFCNT_dec (coro->swap_sv);
1010	coro_destruct_stacks (aTHX);	1141	}
1011	}	1142	}
1012		1143
1013	INLINE void	1144	INLINE void
1014	free_coro_mortal (pTHX)	1145	free_coro_mortal (pTHX)
1015	{	1146	{
…		…
1212	/* somebody or something will hit me for both perl_run and PL_restartop */	1343	/* somebody or something will hit me for both perl_run and PL_restartop */
1213	PL_restartop = PL_op;	1344	PL_restartop = PL_op;
1214	perl_run (PL_curinterp);	1345	perl_run (PL_curinterp);
1215	/*	1346	/*
1216	* Unfortunately, there is no way to get at the return values of the	1347	* Unfortunately, there is no way to get at the return values of the
1217	* coro body here, as perl_run destroys these	1348	* coro body here, as perl_run destroys these. Likewise, we cannot catch
		1349	* runtime errors here, as this is just a random interpreter, not a thread.
1218	*/	1350	*/
1219		1351
1220	/*	1352	/*
1221	* If perl-run returns we assume exit() was being called or the coro	1353	* If perl-run returns we assume exit() was being called or the coro
1222	* fell off the end, which seems to be the only valid (non-bug)	1354	* fell off the end, which seems to be the only valid (non-bug)
…		…
1429	if (expect_false (next->flags & CF_NEW))	1561	if (expect_false (next->flags & CF_NEW))
1430	{	1562	{
1431	/* need to start coroutine */	1563	/* need to start coroutine */
1432	next->flags &= ~CF_NEW;	1564	next->flags &= ~CF_NEW;
1433	/* setup coroutine call */	1565	/* setup coroutine call */
1434	coro_setup (aTHX_ next);	1566	init_perl (aTHX_ next);
1435	}	1567	}
1436	else	1568	else
1437	load_perl (aTHX_ next);	1569	load_perl (aTHX_ next);
1438		1570
1439	/* possibly untie and reuse the cctx */	1571	/* possibly untie and reuse the cctx */
…		…
1502		1634
1503	if (coro->mainstack	1635	if (coro->mainstack
1504	&& coro->mainstack != main_mainstack	1636	&& coro->mainstack != main_mainstack
1505	&& coro->slot	1637	&& coro->slot
1506	&& !PL_dirty)	1638	&& !PL_dirty)
1507	{
1508	struct coro *current = SvSTATE_current;
1509
1510	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
1511
1512	save_perl (aTHX_ current);
1513	load_perl (aTHX_ coro);
1514
1515	coro_destruct_perl (aTHX_ coro);	1639	destroy_perl (aTHX_ coro);
1516
1517	load_perl (aTHX_ current);
1518
1519	coro->slot = 0;
1520	}
1521		1640
1522	cctx_destroy (coro->cctx);	1641	cctx_destroy (coro->cctx);
1523	SvREFCNT_dec (coro->startcv);	1642	SvREFCNT_dec (coro->startcv);
1524	SvREFCNT_dec (coro->args);	1643	SvREFCNT_dec (coro->args);
1525	SvREFCNT_dec (CORO_THROW);	1644	SvREFCNT_dec (CORO_THROW);
…		…
1584		1703
1585	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);	1704	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1586	TRANSFER (ta, 1);	1705	TRANSFER (ta, 1);
1587	}	1706	}
1588		1707
1589	/*****************************************************************************/
1590	/* gensub: simple closure generation utility */
1591
1592	#define GENSUB_ARG CvXSUBANY (cv).any_ptr
1593
1594	/* create a closure from XS, returns a code reference */
1595	/* the arg can be accessed via GENSUB_ARG from the callback */
1596	/* the callback must use dXSARGS/XSRETURN */
1597	static SV *
1598	gensub (pTHX_ void (xsub)(pTHX_ CV ), void *arg)
1599	{
1600	CV cv = (CV )newSV (0);
1601
1602	sv_upgrade ((SV *)cv, SVt_PVCV);
1603
1604	CvANON_on (cv);
1605	CvISXSUB_on (cv);
1606	CvXSUB (cv) = xsub;
1607	GENSUB_ARG = arg;
1608
1609	return newRV_noinc ((SV *)cv);
1610	}
1611
1612	/ Coro ******************************************************************/	1708	/ Coro ******************************************************************/
1613		1709
1614	INLINE void	1710	INLINE void
1615	coro_enq (pTHX_ struct coro *coro)	1711	coro_enq (pTHX_ struct coro *coro)
1616	{	1712	{
1617	av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));	1713	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1618	}
1619		1714
1620	INLINE SV *	1715	SvREFCNT_inc_NN (coro->hv);
		1716
		1717	coro->next_ready = 0;
		1718	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
		1719	ready [1] = coro;
		1720	}
		1721
		1722	INLINE struct coro *
1621	coro_deq (pTHX)	1723	coro_deq (pTHX)
1622	{	1724	{
1623	int prio;	1725	int prio;
1624		1726
1625	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )	1727	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
1626	if (AvFILLp (coro_ready [prio]) >= 0)	1728	{
1627	return av_shift (coro_ready [prio]);	1729	struct coro **ready = coro_ready [prio];
		1730
		1731	if (ready [0])
		1732	{
		1733	struct coro *coro = ready [0];
		1734	ready [0] = coro->next_ready;
		1735	return coro;
		1736	}
		1737	}
1628		1738
1629	return 0;	1739	return 0;
		1740	}
		1741
		1742	static void
		1743	invoke_sv_ready_hook_helper (void)
		1744	{
		1745	dTHX;
		1746	dSP;
		1747
		1748	ENTER;
		1749	SAVETMPS;
		1750
		1751	PUSHMARK (SP);
		1752	PUTBACK;
		1753	call_sv (coro_readyhook, G_VOID \| G_DISCARD);
		1754
		1755	FREETMPS;
		1756	LEAVE;
1630	}	1757	}
1631		1758
1632	static int	1759	static int
1633	api_ready (pTHX_ SV *coro_sv)	1760	api_ready (pTHX_ SV *coro_sv)
1634	{	1761	{
1635	struct coro *coro;
1636	SV *sv_hook;
1637	void (*xs_hook)(void);
1638
1639	coro = SvSTATE (coro_sv);	1762	struct coro *coro = SvSTATE (coro_sv);
1640		1763
1641	if (coro->flags & CF_READY)	1764	if (coro->flags & CF_READY)
1642	return 0;	1765	return 0;
1643		1766
1644	coro->flags \|= CF_READY;	1767	coro->flags \|= CF_READY;
1645		1768
1646	sv_hook = coro_nready ? 0 : coro_readyhook;
1647	xs_hook = coro_nready ? 0 : coroapi.readyhook;
1648
1649	coro_enq (aTHX_ coro);	1769	coro_enq (aTHX_ coro);
1650	++coro_nready;
1651		1770
1652	if (sv_hook)	1771	if (!coro_nready++)
1653	{	1772	if (coroapi.readyhook)
1654	dSP;	1773	coroapi.readyhook ();
1655
1656	ENTER;
1657	SAVETMPS;
1658
1659	PUSHMARK (SP);
1660	PUTBACK;
1661	call_sv (sv_hook, G_VOID \| G_DISCARD);
1662
1663	FREETMPS;
1664	LEAVE;
1665	}
1666
1667	if (xs_hook)
1668	xs_hook ();
1669		1774
1670	return 1;	1775	return 1;
1671	}	1776	}
1672		1777
1673	static int	1778	static int
…		…
1696	static void	1801	static void
1697	prepare_schedule (pTHX_ struct coro_transfer_args *ta)	1802	prepare_schedule (pTHX_ struct coro_transfer_args *ta)
1698	{	1803	{
1699	for (;;)	1804	for (;;)
1700	{	1805	{
1701	SV *next_sv = coro_deq (aTHX);	1806	struct coro *next = coro_deq (aTHX);
1702		1807
1703	if (expect_true (next_sv))	1808	if (expect_true (next))
1704	{	1809	{
1705	struct coro *next = SvSTATE_hv (next_sv);
1706
1707	/* cannot transfer to destroyed coros, skip and look for next */	1810	/* cannot transfer to destroyed coros, skip and look for next */
1708	if (expect_false (next->flags & (CF_DESTROYED \| CF_SUSPENDED)))	1811	if (expect_false (next->flags & (CF_DESTROYED \| CF_SUSPENDED)))
1709	SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */	1812	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1710	else	1813	else
1711	{	1814	{
1712	next->flags &= ~CF_READY;	1815	next->flags &= ~CF_READY;
1713	--coro_nready;	1816	--coro_nready;
1714		1817
…		…
1726	api_ready (aTHX_ SvRV (sv_idle));	1829	api_ready (aTHX_ SvRV (sv_idle));
1727	--coro_nready;	1830	--coro_nready;
1728	}	1831	}
1729	else	1832	else
1730	{	1833	{
		1834	/* TODO: deprecated, remove, cannot work reliably //D*/
1731	dSP;	1835	dSP;
1732		1836
1733	ENTER;	1837	ENTER;
1734	SAVETMPS;	1838	SAVETMPS;
1735		1839
…		…
1881	{	1985	{
1882	int i;	1986	int i;
1883	HV hv = (HV )SvRV (coro_current);	1987	HV hv = (HV )SvRV (coro_current);
1884	AV *av = newAV ();	1988	AV *av = newAV ();
1885		1989
		1990	/* items are actually not so common, so optimise for this case */
		1991	if (items)
		1992	{
1886	av_extend (av, items - 1);	1993	av_extend (av, items - 1);
		1994
1887	for (i = 0; i < items; ++i)	1995	for (i = 0; i < items; ++i)
1888	av_push (av, SvREFCNT_inc_NN (arg [i]));	1996	av_push (av, SvREFCNT_inc_NN (arg [i]));
		1997	}
1889		1998
1890	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);	1999	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);
1891		2000
1892	av_push (av_destroy, (SV )newRV_inc ((SV )hv)); /* RVinc for perl */	2001	av_push (av_destroy, (SV )newRV_inc ((SV )hv)); /* RVinc for perl */
1893	api_ready (aTHX_ sv_manager);	2002	api_ready (aTHX_ sv_manager);
…		…
1983		2092
1984	static void	2093	static void
1985	coro_rouse_callback (pTHX_ CV *cv)	2094	coro_rouse_callback (pTHX_ CV *cv)
1986	{	2095	{
1987	dXSARGS;	2096	dXSARGS;
1988	SV data = (SV )GENSUB_ARG;	2097	SV data = (SV )S_GENSUB_ARG;
1989		2098
1990	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2099	if (SvTYPE (SvRV (data)) != SVt_PVAV)
1991	{	2100	{
1992	/* first call, set args */	2101	/* first call, set args */
		2102	SV *coro = SvRV (data);
1993	AV *av = newAV ();	2103	AV *av = newAV ();
1994	SV *coro = SvRV (data);
1995		2104
1996	SvRV_set (data, (SV *)av);	2105	SvRV_set (data, (SV *)av);
1997	api_ready (aTHX_ coro);
1998	SvREFCNT_dec (coro);
1999		2106
2000	/* better take a full copy of the arguments */	2107	/* better take a full copy of the arguments */
2001	while (items--)	2108	while (items--)
2002	av_store (av, items, newSVsv (ST (items)));	2109	av_store (av, items, newSVsv (ST (items)));
		2110
		2111	api_ready (aTHX_ coro);
		2112	SvREFCNT_dec (coro);
2003	}	2113	}
2004		2114
2005	XSRETURN_EMPTY;	2115	XSRETURN_EMPTY;
2006	}	2116	}
2007		2117
…		…
2024		2134
2025	EXTEND (SP, AvFILLp (av) + 1);	2135	EXTEND (SP, AvFILLp (av) + 1);
2026	for (i = 0; i <= AvFILLp (av); ++i)	2136	for (i = 0; i <= AvFILLp (av); ++i)
2027	PUSHs (sv_2mortal (AvARRAY (av)[i]));	2137	PUSHs (sv_2mortal (AvARRAY (av)[i]));
2028		2138
2029	/* we have stolen the elements, so ste length to zero and free */	2139	/* we have stolen the elements, so set length to zero and free */
2030	AvFILLp (av) = -1;	2140	AvFILLp (av) = -1;
2031	av_undef (av);	2141	av_undef (av);
2032		2142
2033	PUTBACK;	2143	PUTBACK;
2034	}	2144	}
…		…
2058	\|\| SvTYPE (SvRV (cb)) != SVt_PVCV	2168	\|\| SvTYPE (SvRV (cb)) != SVt_PVCV
2059	\|\| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2169	\|\| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2060	croak ("Coro::rouse_wait called with illegal callback argument,");	2170	croak ("Coro::rouse_wait called with illegal callback argument,");
2061		2171
2062	{	2172	{
2063	CV cv = (CV )SvRV (cb); /* for GENSUB_ARG */	2173	CV cv = (CV )SvRV (cb); /* for S_GENSUB_ARG */
2064	SV data = (SV )GENSUB_ARG;	2174	SV data = (SV )S_GENSUB_ARG;
2065		2175
2066	frame->data = (void *)data;	2176	frame->data = (void *)data;
2067	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2177	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;
2068	frame->check = slf_check_rouse_wait;	2178	frame->check = slf_check_rouse_wait;
2069	}	2179	}
…		…
2073	coro_new_rouse_cb (pTHX)	2183	coro_new_rouse_cb (pTHX)
2074	{	2184	{
2075	HV hv = (HV )SvRV (coro_current);	2185	HV hv = (HV )SvRV (coro_current);
2076	struct coro *coro = SvSTATE_hv (hv);	2186	struct coro *coro = SvSTATE_hv (hv);
2077	SV data = newRV_inc ((SV )hv);	2187	SV data = newRV_inc ((SV )hv);
2078	SV cb = gensub (aTHX_ coro_rouse_callback, (void )data);	2188	SV cb = s_gensub (aTHX_ coro_rouse_callback, (void )data);
2079		2189
2080	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2190	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2081	SvREFCNT_dec (data); /* magicext increases the refcount */	2191	SvREFCNT_dec (data); /* magicext increases the refcount */
2082		2192
2083	SvREFCNT_dec (coro->rouse_cb);	2193	SvREFCNT_dec (coro->rouse_cb);
…		…
2454	/* Coro::Semaphore & Coro::Signal */	2564	/* Coro::Semaphore & Coro::Signal */
2455		2565
2456	static SV *	2566	static SV *
2457	coro_waitarray_new (pTHX_ int count)	2567	coro_waitarray_new (pTHX_ int count)
2458	{	2568	{
2459	/* a semaphore contains a counter IV in $sem->[0] and any waiters after that */	2569	/* a waitarray=semaphore contains a counter IV in $sem->[0] and any waiters after that */
2460	AV *av = newAV ();	2570	AV *av = newAV ();
2461	SV **ary;	2571	SV **ary;
2462		2572
2463	/* unfortunately, building manually saves memory */	2573	/* unfortunately, building manually saves memory */
2464	Newx (ary, 2, SV *);	2574	Newx (ary, 2, SV *);
…		…
2606	{	2716	{
2607	if (items >= 2)	2717	if (items >= 2)
2608	{	2718	{
2609	/* callback form */	2719	/* callback form */
2610	AV av = (AV )SvRV (arg [0]);	2720	AV av = (AV )SvRV (arg [0]);
2611	CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);	2721	SV *cb_cv = s_get_cv_croak (arg [1]);
2612		2722
2613	av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));	2723	av_push (av, SvREFCNT_inc_NN (cb_cv));
2614		2724
2615	if (SvIVX (AvARRAY (av)[0]) > 0)	2725	if (SvIVX (AvARRAY (av)[0]) > 0)
2616	coro_semaphore_adjust (aTHX_ av, 0);	2726	coro_semaphore_adjust (aTHX_ av, 0);
2617		2727
2618	frame->prepare = prepare_nop;	2728	frame->prepare = prepare_nop;
…		…
2642	AvARRAY (av)[0] = AvARRAY (av)[1];	2752	AvARRAY (av)[0] = AvARRAY (av)[1];
2643	AvARRAY (av)[1] = cb;	2753	AvARRAY (av)[1] = cb;
2644		2754
2645	cb = av_shift (av);	2755	cb = av_shift (av);
2646		2756
		2757	if (SvTYPE (cb) == SVt_PVCV)
		2758	{
		2759	dSP;
		2760	PUSHMARK (SP);
		2761	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
		2762	PUTBACK;
		2763	call_sv (cb, G_VOID \| G_DISCARD \| G_EVAL \| G_KEEPERR);
		2764	}
		2765	else
		2766	{
2647	api_ready (aTHX_ cb);	2767	api_ready (aTHX_ cb);
2648	sv_setiv (cb, 0); /* signal waiter */	2768	sv_setiv (cb, 0); /* signal waiter */
		2769	}
		2770
2649	SvREFCNT_dec (cb);	2771	SvREFCNT_dec (cb);
2650		2772
2651	--count;	2773	--count;
2652	}	2774	}
2653	}	2775	}
…		…
2662	static void	2784	static void
2663	slf_init_signal_wait (pTHX_ struct CoroSLF frame, CV cv, SV **arg, int items)	2785	slf_init_signal_wait (pTHX_ struct CoroSLF frame, CV cv, SV **arg, int items)
2664	{	2786	{
2665	AV av = (AV )SvRV (arg [0]);	2787	AV av = (AV )SvRV (arg [0]);
2666		2788
		2789	if (items >= 2)
		2790	{
		2791	SV *cb_cv = s_get_cv_croak (arg [1]);
		2792	av_push (av, SvREFCNT_inc_NN (cb_cv));
		2793
2667	if (SvIVX (AvARRAY (av)[0]))	2794	if (SvIVX (AvARRAY (av)[0]))
		2795	coro_signal_wake (aTHX_ av, 1); /* ust be the only waiter */
		2796
		2797	frame->prepare = prepare_nop;
		2798	frame->check = slf_check_nop;
		2799	}
		2800	else if (SvIVX (AvARRAY (av)[0]))
2668	{	2801	{
2669	SvIVX (AvARRAY (av)[0]) = 0;	2802	SvIVX (AvARRAY (av)[0]) = 0;
2670	frame->prepare = prepare_nop;	2803	frame->prepare = prepare_nop;
2671	frame->check = slf_check_nop;	2804	frame->check = slf_check_nop;
2672	}	2805	}
2673	else	2806	else
2674	{	2807	{
2675	SV waiter = newRV_inc (SvRV (coro_current)); / owned by signal av */	2808	SV waiter = newSVsv (coro_current); / owned by signal av */
2676		2809
2677	av_push (av, waiter);	2810	av_push (av, waiter);
2678		2811
2679	frame->data = (void )sv_2mortal (SvREFCNT_inc_NN (waiter)); / owned by process */	2812	frame->data = (void )sv_2mortal (SvREFCNT_inc_NN (waiter)); / owned by process */
2680	frame->prepare = prepare_schedule;	2813	frame->prepare = prepare_schedule;
…		…
2698		2831
2699	static void	2832	static void
2700	coro_aio_callback (pTHX_ CV *cv)	2833	coro_aio_callback (pTHX_ CV *cv)
2701	{	2834	{
2702	dXSARGS;	2835	dXSARGS;
2703	AV state = (AV )GENSUB_ARG;	2836	AV state = (AV )S_GENSUB_ARG;
2704	SV *coro = av_pop (state);	2837	SV *coro = av_pop (state);
2705	SV *data_sv = newSV (sizeof (struct io_state));	2838	SV *data_sv = newSV (sizeof (struct io_state));
2706		2839
2707	av_extend (state, items - 1);	2840	av_extend (state, items - 1);
2708		2841
…		…
2822		2955
2823	for (i = 0; i < items; ++i)	2956	for (i = 0; i < items; ++i)
2824	PUSHs (arg [i]);	2957	PUSHs (arg [i]);
2825		2958
2826	/* now push the callback closure */	2959	/* now push the callback closure */
2827	PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void )SvREFCNT_inc_NN ((SV )state))));	2960	PUSHs (sv_2mortal (s_gensub (aTHX_ coro_aio_callback, (void )SvREFCNT_inc_NN ((SV )state))));
2828		2961
2829	/* now call the AIO function - we assume our request is uncancelable */	2962	/* now call the AIO function - we assume our request is uncancelable */
2830	PUTBACK;	2963	PUTBACK;
2831	call_sv ((SV *)req, G_VOID \| G_DISCARD);	2964	call_sv ((SV *)req, G_VOID \| G_DISCARD);
2832	}	2965	}
…		…
2850	/*****************************************************************************/	2983	/*****************************************************************************/
2851		2984
2852	#if CORO_CLONE	2985	#if CORO_CLONE
2853	# include "clone.c"	2986	# include "clone.c"
2854	#endif	2987	#endif
		2988
		2989	/*****************************************************************************/
		2990
		2991	static SV *
		2992	coro_new (pTHX_ HV stash, SV *argv, int argc, int is_coro)
		2993	{
		2994	SV *coro_sv;
		2995	struct coro *coro;
		2996	MAGIC *mg;
		2997	HV *hv;
		2998	SV *cb;
		2999	int i;
		3000
		3001	if (argc > 0)
		3002	{
		3003	cb = s_get_cv_croak (argv [0]);
		3004
		3005	if (!is_coro)
		3006	{
		3007	if (CvISXSUB (cb))
		3008	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
		3009
		3010	if (!CvROOT (cb))
		3011	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
		3012	}
		3013	}
		3014
		3015	Newz (0, coro, 1, struct coro);
		3016	coro->args = newAV ();
		3017	coro->flags = CF_NEW;
		3018
		3019	if (coro_first) coro_first->prev = coro;
		3020	coro->next = coro_first;
		3021	coro_first = coro;
		3022
		3023	coro->hv = hv = newHV ();
		3024	mg = sv_magicext ((SV )hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char )coro, 0);
		3025	mg->mg_flags \|= MGf_DUP;
		3026	coro_sv = sv_bless (newRV_noinc ((SV *)hv), stash);
		3027
		3028	if (argc > 0)
		3029	{
		3030	av_extend (coro->args, argc + is_coro - 1);
		3031
		3032	if (is_coro)
		3033	{
		3034	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
		3035	cb = (SV *)cv_coro_run;
		3036	}
		3037
		3038	coro->startcv = (CV )SvREFCNT_inc_NN ((SV )cb);
		3039
		3040	for (i = 1; i < argc; i++)
		3041	av_push (coro->args, newSVsv (argv [i]));
		3042	}
		3043
		3044	return coro_sv;
		3045	}
2855		3046
2856	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3047	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2857		3048
2858	PROTOTYPES: DISABLE	3049	PROTOTYPES: DISABLE
2859		3050
…		…
2919		3110
2920	if (!svp) croak ("Time::HiRes is required");	3111	if (!svp) croak ("Time::HiRes is required");
2921	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");	3112	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
2922		3113
2923	nvtime = INT2PTR (double ()(), SvIV (svp));	3114	nvtime = INT2PTR (double ()(), SvIV (svp));
		3115
		3116	svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0);
		3117	u2time = INT2PTR (void ()(pTHX_ UV ret[2]), SvIV (svp));
2924	}	3118	}
2925		3119
2926	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	3120	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
2927	}	3121	}
2928		3122
2929	SV *	3123	SV *
2930	new (char *klass, ...)	3124	new (SV *klass, ...)
2931	ALIAS:	3125	ALIAS:
2932	Coro::new = 1	3126	Coro::new = 1
2933	CODE:	3127	CODE:
2934	{	3128	RETVAL = coro_new (aTHX_ ix ? coro_stash : coro_state_stash, &ST (1), items - 1, ix);
2935	struct coro *coro;	3129	OUTPUT:
2936	MAGIC *mg;
2937	HV *hv;
2938	CV *cb;
2939	int i;
2940
2941	if (items > 1)
2942	{
2943	cb = coro_sv_2cv (aTHX_ ST (1));
2944
2945	if (!ix)
2946	{
2947	if (CvISXSUB (cb))
2948	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
2949
2950	if (!CvROOT (cb))
2951	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
2952	}
2953	}
2954
2955	Newz (0, coro, 1, struct coro);
2956	coro->args = newAV ();
2957	coro->flags = CF_NEW;
2958
2959	if (coro_first) coro_first->prev = coro;
2960	coro->next = coro_first;
2961	coro_first = coro;
2962
2963	coro->hv = hv = newHV ();
2964	mg = sv_magicext ((SV )hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char )coro, 0);
2965	mg->mg_flags \|= MGf_DUP;
2966	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2967
2968	if (items > 1)
2969	{
2970	av_extend (coro->args, items - 1 + ix - 1);
2971
2972	if (ix)
2973	{
2974	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2975	cb = cv_coro_run;
2976	}
2977
2978	coro->startcv = (CV )SvREFCNT_inc_NN ((SV )cb);
2979
2980	for (i = 2; i < items; i++)
2981	av_push (coro->args, newSVsv (ST (i)));
2982	}
2983	}
2984	OUTPUT:
2985	RETVAL	3130	RETVAL
2986		3131
2987	void	3132	void
2988	transfer (...)	3133	transfer (...)
2989	PROTOTYPE: $$	3134	PROTOTYPE: $$
…		…
3133	CODE:	3278	CODE:
3134	{	3279	{
3135	struct coro *current = SvSTATE_current;	3280	struct coro *current = SvSTATE_current;
3136	SV **throwp = self == current ? &CORO_THROW : &self->except;	3281	SV **throwp = self == current ? &CORO_THROW : &self->except;
3137	SvREFCNT_dec (*throwp);	3282	SvREFCNT_dec (*throwp);
		3283	SvGETMAGIC (throw);
3138	*throwp = SvOK (throw) ? newSVsv (throw) : 0;	3284	*throwp = SvOK (throw) ? newSVsv (throw) : 0;
3139	}	3285	}
3140		3286
3141	void	3287	void
3142	api_trace (SV *coro, int flags = CC_TRACE \| CC_TRACE_SUB)	3288	api_trace (SV *coro, int flags = CC_TRACE \| CC_TRACE_SUB)
…		…
3201	CODE:	3347	CODE:
3202	coro_state_destroy (aTHX_ self);	3348	coro_state_destroy (aTHX_ self);
3203	coro_call_on_destroy (aTHX_ self); /* actually only for Coro objects */	3349	coro_call_on_destroy (aTHX_ self); /* actually only for Coro objects */
3204		3350
3205		3351
		3352	SV *
		3353	enable_times (int enabled = enable_times)
		3354	CODE:
		3355	{
		3356	RETVAL = boolSV (enable_times);
		3357
		3358	if (enabled != enable_times)
		3359	{
		3360	enable_times = enabled;
		3361
		3362	coro_times_update ();
		3363	(enabled ? coro_times_sub : coro_times_add)(SvSTATE (coro_current));
		3364	}
		3365	}
		3366	OUTPUT:
		3367	RETVAL
		3368
		3369	void
		3370	times (Coro::State self)
		3371	PPCODE:
		3372	{
		3373	struct coro *current = SvSTATE (coro_current);
		3374
		3375	if (expect_false (current == self))
		3376	{
		3377	coro_times_update ();
		3378	coro_times_add (SvSTATE (coro_current));
		3379	}
		3380
		3381	EXTEND (SP, 2);
		3382	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
		3383	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
		3384
		3385	if (expect_false (current == self))
		3386	coro_times_sub (SvSTATE (coro_current));
		3387	}
		3388
		3389	void
		3390	swap_sv (Coro::State coro, SV sv, SV swapsv)
		3391	CODE:
		3392	{
		3393	struct coro *current = SvSTATE_current;
		3394
		3395	if (current == coro)
		3396	SWAP_SVS (current);
		3397
		3398	if (!coro->swap_sv)
		3399	coro->swap_sv = newAV ();
		3400
		3401	av_push (coro->swap_sv, SvREFCNT_inc_NN (sv));
		3402	av_push (coro->swap_sv, SvREFCNT_inc_NN (swapsv));
		3403
		3404	if (current == coro)
		3405	SWAP_SVS (current);
		3406	}
		3407
		3408
3206	MODULE = Coro::State PACKAGE = Coro	3409	MODULE = Coro::State PACKAGE = Coro
3207		3410
3208	BOOT:	3411	BOOT:
3209	{	3412	{
3210	int i;
3211
3212	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	3413	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3213	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	3414	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3214	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	3415	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3215	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);	3416	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3216	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	3417	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
…		…
3220	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);	3421	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3221		3422
3222	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	3423	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3223	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	3424	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3224	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	3425	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3225	cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);	3426	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3226		3427
3227	coro_stash = gv_stashpv ("Coro", TRUE);	3428	coro_stash = gv_stashpv ("Coro", TRUE);
3228		3429
3229	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));	3430	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3230	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));	3431	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3231	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));	3432	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
3232	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));	3433	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (CORO_PRIO_LOW));
3233	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));	3434	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (CORO_PRIO_IDLE));
3234	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));	3435	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (CORO_PRIO_MIN));
3235
3236	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
3237	coro_ready[i] = newAV ();
3238		3436
3239	{	3437	{
3240	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);	3438	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
3241		3439
3242	coroapi.schedule = api_schedule;	3440	coroapi.schedule = api_schedule;
…		…
3252	sv_setiv (sv, (IV)&coroapi);	3450	sv_setiv (sv, (IV)&coroapi);
3253	SvREADONLY_on (sv);	3451	SvREADONLY_on (sv);
3254	}	3452	}
3255	}	3453	}
3256		3454
		3455	SV *
		3456	async (...)
		3457	PROTOTYPE: &@
		3458	CODE:
		3459	RETVAL = coro_new (aTHX_ coro_stash, &ST (0), items, 1);
		3460	api_ready (aTHX_ RETVAL);
		3461	OUTPUT:
		3462	RETVAL
		3463
3257	void	3464	void
3258	terminate (...)	3465	terminate (...)
3259	CODE:	3466	CODE:
3260	CORO_EXECUTE_SLF_XS (slf_init_terminate);	3467	CORO_EXECUTE_SLF_XS (slf_init_terminate);
3261		3468
…		…
3294	void	3501	void
3295	_set_readyhook (SV *hook)	3502	_set_readyhook (SV *hook)
3296	PROTOTYPE: $	3503	PROTOTYPE: $
3297	CODE:	3504	CODE:
3298	SvREFCNT_dec (coro_readyhook);	3505	SvREFCNT_dec (coro_readyhook);
		3506	SvGETMAGIC (hook);
		3507	if (SvOK (hook))
		3508	{
3299	coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;	3509	coro_readyhook = newSVsv (hook);
		3510	CORO_READYHOOK = invoke_sv_ready_hook_helper;
		3511	}
		3512	else
		3513	{
		3514	coro_readyhook = 0;
		3515	CORO_READYHOOK = 0;
		3516	}
3300		3517
3301	int	3518	int
3302	prio (Coro::State coro, int newprio = 0)	3519	prio (Coro::State coro, int newprio = 0)
3303	PROTOTYPE: $;$	3520	PROTOTYPE: $;$
3304	ALIAS:	3521	ALIAS:
…		…
3310	if (items > 1)	3527	if (items > 1)
3311	{	3528	{
3312	if (ix)	3529	if (ix)
3313	newprio = coro->prio - newprio;	3530	newprio = coro->prio - newprio;
3314		3531
3315	if (newprio < PRIO_MIN) newprio = PRIO_MIN;	3532	if (newprio < CORO_PRIO_MIN) newprio = CORO_PRIO_MIN;
3316	if (newprio > PRIO_MAX) newprio = PRIO_MAX;	3533	if (newprio > CORO_PRIO_MAX) newprio = CORO_PRIO_MAX;
3317		3534
3318	coro->prio = newprio;	3535	coro->prio = newprio;
3319	}	3536	}
3320	}	3537	}
3321	OUTPUT:	3538	OUTPUT:
…		…
3336	RETVAL = coro_nready;	3553	RETVAL = coro_nready;
3337	OUTPUT:	3554	OUTPUT:
3338	RETVAL	3555	RETVAL
3339		3556
3340	void	3557	void
		3558	suspend (Coro::State self)
		3559	PROTOTYPE: $
		3560	CODE:
		3561	self->flags \|= CF_SUSPENDED;
		3562
		3563	void
		3564	resume (Coro::State self)
		3565	PROTOTYPE: $
		3566	CODE:
		3567	self->flags &= ~CF_SUSPENDED;
		3568
		3569	void
3341	_pool_handler (...)	3570	_pool_handler (...)
3342	CODE:	3571	CODE:
3343	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);	3572	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
3344		3573
3345	void	3574	void
…		…
3356	for (i = 1; i < items; ++i)	3585	for (i = 1; i < items; ++i)
3357	av_push (av, SvREFCNT_inc_NN (ST (i)));	3586	av_push (av, SvREFCNT_inc_NN (ST (i)));
3358		3587
3359	if ((SV *)hv == &PL_sv_undef)	3588	if ((SV *)hv == &PL_sv_undef)
3360	{	3589	{
3361	PUSHMARK (SP);	3590	SV sv = coro_new (aTHX_ coro_stash, (SV *)&cv_pool_handler, 1, 1);
3362	EXTEND (SP, 2);
3363	PUSHs (sv_Coro);
3364	PUSHs ((SV *)cv_pool_handler);
3365	PUTBACK;
3366	call_sv ((SV *)cv_coro_state_new, G_SCALAR);
3367	SPAGAIN;
3368
3369	hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));	3591	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
		3592	SvREFCNT_dec (sv);
3370	}	3593	}
3371		3594
3372	{	3595	{
3373	struct coro *coro = SvSTATE_hv (hv);	3596	struct coro *coro = SvSTATE_hv (hv);
3374		3597
…		…
3408	CODE:	3631	CODE:
3409	{	3632	{
3410	struct coro *coro = SvSTATE_current;	3633	struct coro *coro = SvSTATE_current;
3411	AV **avp = ix ? &coro->on_leave : &coro->on_enter;	3634	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
3412		3635
3413	block = (SV *)coro_sv_2cv (aTHX_ block);	3636	block = s_get_cv_croak (block);
3414		3637
3415	if (!*avp)	3638	if (!*avp)
3416	*avp = newAV ();	3639	*avp = newAV ();
3417		3640
3418	av_push (*avp, SvREFCNT_inc (block));	3641	av_push (*avp, SvREFCNT_inc (block));
3419		3642
3420	if (!ix)	3643	if (!ix)
3421	on_enterleave_call (aTHX_ block);	3644	on_enterleave_call (aTHX_ block);
3422		3645
3423	LEAVE; /* pp_entersub unfortunately forces an ENTER/LEAVE around xs calls */	3646	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);	3647	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 */	3648	ENTER; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
3426	}	3649	}
3427		3650
3428		3651
3429	MODULE = Coro::State PACKAGE = PerlIO::cede	3652	MODULE = Coro::State PACKAGE = PerlIO::cede
3430		3653
…		…
3435	MODULE = Coro::State PACKAGE = Coro::Semaphore	3658	MODULE = Coro::State PACKAGE = Coro::Semaphore
3436		3659
3437	SV *	3660	SV *
3438	new (SV klass, SV count = 0)	3661	new (SV klass, SV count = 0)
3439	CODE:	3662	CODE:
		3663	{
		3664	int semcnt = 1;
		3665
		3666	if (count)
		3667	{
		3668	SvGETMAGIC (count);
		3669
		3670	if (SvOK (count))
		3671	semcnt = SvIV (count);
		3672	}
		3673
3440	RETVAL = sv_bless (	3674	RETVAL = sv_bless (
3441	coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),	3675	coro_waitarray_new (aTHX_ semcnt),
3442	GvSTASH (CvGV (cv))	3676	GvSTASH (CvGV (cv))
3443	);	3677	);
		3678	}
3444	OUTPUT:	3679	OUTPUT:
3445	RETVAL	3680	RETVAL
3446		3681
3447	# helper for Coro::Channel and others	3682	# helper for Coro::Channel and others
3448	SV *	3683	SV *
…		…
3606		3841
3607	void	3842	void
3608	_register (char target, char proto, SV *req)	3843	_register (char target, char proto, SV *req)
3609	CODE:	3844	CODE:
3610	{	3845	{
3611	CV *req_cv = coro_sv_2cv (aTHX_ req);	3846	SV *req_cv = s_get_cv_croak (req);
3612	/* newXSproto doesn't return the CV on 5.8 */	3847	/* newXSproto doesn't return the CV on 5.8 */
3613	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);	3848	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3614	sv_setpv ((SV *)slf_cv, proto);	3849	sv_setpv ((SV *)slf_cv, proto);
3615	sv_magicext ((SV )slf_cv, (SV )req_cv, CORO_MAGIC_type_aio, 0, 0, 0);	3850	sv_magicext ((SV )slf_cv, (SV )req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3616	}	3851	}
3617		3852
		3853	MODULE = Coro::State PACKAGE = Coro::Select
		3854
		3855	void
		3856	patch_pp_sselect ()
		3857	CODE:
		3858	if (!coro_old_pp_sselect)
		3859	{
		3860	coro_select_select = (SV *)get_cv ("Coro::Select::select", 0);
		3861	coro_old_pp_sselect = PL_ppaddr [OP_SSELECT];
		3862	PL_ppaddr [OP_SSELECT] = coro_pp_sselect;
		3863	}
		3864
		3865	void
		3866	unpatch_pp_sselect ()
		3867	CODE:
		3868	if (coro_old_pp_sselect)
		3869	{
		3870	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
		3871	coro_old_pp_sselect = 0;
		3872	}
		3873
		3874

Diff Legend

-–
+Removed lines
-+
+Added lines
-<
+Changed lines
->
+Changed lines

Comparing Coro/Coro/State.xs (file contents): Revision 1.344 by root, Mon Dec 15 19:39:40 2008 UTC vs. Revision 1.374 by root, Fri Oct 2 19:55:59 2009 UTC

Diff Legend

Comparing Coro/Coro/State.xs (file contents):
Revision 1.344 by root, Mon Dec 15 19:39:40 2008 UTC vs.
Revision 1.374 by root, Fri Oct 2 19:55:59 2009 UTC