ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.337 by root, Fri Dec 5 18:26:10 2008 UTC vs.
Revision 1.392 by root, Fri Apr 29 15:43:27 2011 UTC

		1	/* this works around a bug in mingw32 providing a non-working setjmp */
		2	#define USE_NO_MINGW_SETJMP_TWO_ARGS
		3
		4	#define NDEBUG 1
		5
1	#include "libcoro/coro.c"	6	#include "libcoro/coro.c"
2		7
3	#define PERL_NO_GET_CONTEXT	8	#define PERL_NO_GET_CONTEXT
4	#define PERL_EXT	9	#define PERL_EXT
5		10
6	#include "EXTERN.h"	11	#include "EXTERN.h"
7	#include "perl.h"	12	#include "perl.h"
8	#include "XSUB.h"	13	#include "XSUB.h"
9	#include "perliol.h"	14	#include "perliol.h"
10		15
11	#include "patchlevel.h"	16	#include "schmorp.h"
12		17
13	#include <stdio.h>	18	#include <stdio.h>
14	#include <errno.h>	19	#include <errno.h>
15	#include <assert.h>	20	#include <assert.h>
16		21
17	#ifdef WIN32	22	#ifndef SVs_PADSTALE
		23	# define SVs_PADSTALE 0
		24	#endif
		25
		26	#if defined(_WIN32)
		27	# undef HAS_GETTIMEOFDAY
18	# undef setjmp	28	# undef setjmp
19	# undef longjmp	29	# undef longjmp
20	# undef _exit	30	# undef _exit
21	# define setjmp _setjmp /* deep magic */	31	# define setjmp _setjmp /* deep magic */
22	#else	32	#else
…		…
51	#endif	61	#endif
52		62
53	/* the maximum number of idle cctx that will be pooled */	63	/* the maximum number of idle cctx that will be pooled */
54	static int cctx_max_idle = 4;	64	static int cctx_max_idle = 4;
55		65
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	66	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
116	# undef CORO_STACKGUARD	67	# undef CORO_STACKGUARD
117	#endif	68	#endif
118		69
119	#ifndef CORO_STACKGUARD	70	#ifndef CORO_STACKGUARD
…		…
137		88
138	#define IN_DESTRUCT PL_dirty	89	#define IN_DESTRUCT PL_dirty
139		90
140	#if __GNUC__ >= 3	91	#if __GNUC__ >= 3
141	# define attribute(x) __attribute__(x)	92	# define attribute(x) __attribute__(x)
142	# define expect(expr,value) __builtin_expect ((expr),(value))	93	# define expect(expr,value) __builtin_expect ((expr), (value))
143	# define INLINE static inline	94	# define INLINE static inline
144	#else	95	#else
145	# define attribute(x)	96	# define attribute(x)
146	# define expect(expr,value) (expr)	97	# define expect(expr,value) (expr)
147	# define INLINE static	98	# define INLINE static
…		…
159	# if CORO_PTHREAD	110	# if CORO_PTHREAD
160	static void *coro_thx;	111	static void *coro_thx;
161	# endif	112	# endif
162	#endif	113	#endif
163		114
		115	#ifdef __linux
		116	# include <time.h> /* for timespec */
		117	# include <syscall.h> /* for SYS_* */
		118	# ifdef SYS_clock_gettime
		119	# define coro_clock_gettime(id, ts) syscall (SYS_clock_gettime, (id), (ts))
		120	# define CORO_CLOCK_MONOTONIC 1
		121	# define CORO_CLOCK_THREAD_CPUTIME_ID 3
		122	# endif
		123	#endif
		124
164	static double (*nvtime)(); /* so why doesn't it take void? */	125	static double (*nvtime)(); /* so why doesn't it take void? */
		126	static void (*u2time)(pTHX_ UV ret[2]);
165		127
166	/* we hijack an hopefully unused CV flag for our purposes */	128	/* we hijack an hopefully unused CV flag for our purposes */
167	#define CVf_SLF 0x4000	129	#define CVf_SLF 0x4000
168	static OP *pp_slf (pTHX);	130	static OP *pp_slf (pTHX);
169		131
…		…
190	static SV *sv_pool_size;	152	static SV *sv_pool_size;
191	static SV *sv_async_pool_idle; /* description string */	153	static SV *sv_async_pool_idle; /* description string */
192	static AV *av_async_pool; /* idle pool */	154	static AV *av_async_pool; /* idle pool */
193	static SV *sv_Coro; /* class string */	155	static SV *sv_Coro; /* class string */
194	static CV *cv_pool_handler;	156	static CV *cv_pool_handler;
195	static CV *cv_coro_state_new;
196		157
197	/* Coro::AnyEvent */	158	/* Coro::AnyEvent */
198	static SV *sv_activity;	159	static SV *sv_activity;
		160
		161	/* enable processtime/realtime profiling */
		162	static char enable_times;
		163	typedef U32 coro_ts[2];
		164	static coro_ts time_real, time_cpu;
		165	static char times_valid;
199		166
200	static struct coro_cctx *cctx_first;	167	static struct coro_cctx *cctx_first;
201	static int cctx_count, cctx_idle;	168	static int cctx_count, cctx_idle;
202		169
203	enum {	170	enum {
…		…
238	enum {	205	enum {
239	CF_RUNNING = 0x0001, /* coroutine is running */	206	CF_RUNNING = 0x0001, /* coroutine is running */
240	CF_READY = 0x0002, /* coroutine is ready */	207	CF_READY = 0x0002, /* coroutine is ready */
241	CF_NEW = 0x0004, /* has never been switched to */	208	CF_NEW = 0x0004, /* has never been switched to */
242	CF_DESTROYED = 0x0008, /* coroutine data has been freed */	209	CF_DESTROYED = 0x0008, /* coroutine data has been freed */
		210	CF_SUSPENDED = 0x0010, /* coroutine can't be scheduled */
243	};	211	};
244		212
245	/* the structure where most of the perl state is stored, overlaid on the cxstack */	213	/* the structure where most of the perl state is stored, overlaid on the cxstack */
246	typedef struct	214	typedef struct
247	{	215	{
…		…
260	/* this is a structure representing a perl-level coroutine */	228	/* this is a structure representing a perl-level coroutine */
261	struct coro {	229	struct coro {
262	/* the C coroutine allocated to this perl coroutine, if any */	230	/* the C coroutine allocated to this perl coroutine, if any */
263	coro_cctx *cctx;	231	coro_cctx *cctx;
264		232
		233	/* ready queue */
		234	struct coro *next_ready;
		235
265	/* state data */	236	/* state data */
266	struct CoroSLF slf_frame; /* saved slf frame */	237	struct CoroSLF slf_frame; /* saved slf frame */
267	AV *mainstack;	238	AV *mainstack;
268	perl_slots *slot; /* basically the saved sp */	239	perl_slots *slot; /* basically the saved sp */
269		240
270	CV *startcv; /* the CV to execute */	241	CV *startcv; /* the CV to execute */
271	AV *args; /* data associated with this coroutine (initial args) */	242	AV *args; /* data associated with this coroutine (initial args) */
272	int refcnt; /* coroutines are refcounted, yes */	243	int refcnt; /* coroutines are refcounted, yes */
273	int flags; /* CF_ flags */	244	int flags; /* CF_ flags */
274	HV *hv; /* the perl hash associated with this coro, if any */	245	HV *hv; /* the perl hash associated with this coro, if any */
275	void (*on_destroy)(pTHX_ struct coro *coro);	246	void (*on_destroy)(pTHX_ struct coro *coro); /* for temporary use by xs in critical sections */
276		247
277	/* statistics */	248	/* statistics */
278	int usecount; /* number of transfers to this coro */	249	int usecount; /* number of transfers to this coro */
279		250
280	/* coro process data */	251	/* coro process data */
…		…
285	/* async_pool */	256	/* async_pool */
286	SV *saved_deffh;	257	SV *saved_deffh;
287	SV *invoke_cb;	258	SV *invoke_cb;
288	AV *invoke_av;	259	AV *invoke_av;
289		260
		261	/* on_enter/on_leave */
		262	AV *on_enter;
		263	AV *on_leave;
		264
		265	/* swap_sv */
		266	AV *swap_sv;
		267
		268	/* times */
		269	coro_ts t_cpu, t_real;
		270
290	/* linked list */	271	/* linked list */
291	struct coro *next, *prev;	272	struct coro *next, *prev;
292	};	273	};
293		274
294	typedef struct coro *Coro__State;	275	typedef struct coro *Coro__State;
…		…
299	/* the mainr easonw e don't support windows process emulation */	280	/* the mainr easonw e don't support windows process emulation */
300	static struct CoroSLF slf_frame; /* the current slf frame */	281	static struct CoroSLF slf_frame; /* the current slf frame */
301		282
302	/** Coro ********************************************************************/	283	/** Coro ********************************************************************/
303		284
304	#define PRIO_MAX 3	285	#define CORO_PRIO_MAX 3
305	#define PRIO_HIGH 1	286	#define CORO_PRIO_HIGH 1
306	#define PRIO_NORMAL 0	287	#define CORO_PRIO_NORMAL 0
307	#define PRIO_LOW -1	288	#define CORO_PRIO_LOW -1
308	#define PRIO_IDLE -3	289	#define CORO_PRIO_IDLE -3
309	#define PRIO_MIN -4	290	#define CORO_PRIO_MIN -4
310		291
311	/* for Coro.pm */	292	/* for Coro.pm */
312	static SV *coro_current;	293	static SV *coro_current;
313	static SV *coro_readyhook;	294	static SV *coro_readyhook;
314	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];	295	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */
315	static CV *cv_coro_run, *cv_coro_terminate;	296	static CV *cv_coro_run, *cv_coro_terminate;
316	static struct coro *coro_first;	297	static struct coro *coro_first;
317	#define coro_nready coroapi.nready	298	#define coro_nready coroapi.nready
		299
		300	/** Coro::Select ************************************************************/
		301
		302	static OP *(*coro_old_pp_sselect) (pTHX);
		303	static SV *coro_select_select;
		304
		305	/* horrible hack, but if it works... */
		306	static OP *
		307	coro_pp_sselect (pTHX)
		308	{
		309	dSP;
		310	PUSHMARK (SP - 4); /* fake argument list */
		311	XPUSHs (coro_select_select);
		312	PUTBACK;
		313
		314	/* entersub is an UNOP, select a LISTOP... keep your fingers crossed */
		315	PL_op->op_flags |= OPf_STACKED;
		316	PL_op->op_private = 0;
		317	return PL_ppaddr [OP_ENTERSUB](aTHX);
		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
318		371
319	/** lowlevel stuff **********************************************************/	372	/** lowlevel stuff **********************************************************/
320		373
321	static SV *	374	static SV *
322	coro_get_sv (pTHX_ const char *name, int create)	375	coro_get_sv (pTHX_ const char *name, int create)
…		…
346	get_hv (name, create);	399	get_hv (name, create);
347	#endif	400	#endif
348	return get_hv (name, create);	401	return get_hv (name, create);
349	}	402	}
350		403
351	/* may croak */	404	INLINE void
352	INLINE CV *	405	coro_times_update ()
353	coro_sv_2cv (pTHX_ SV *sv)
354	{	406	{
355	HV *st;	407	#ifdef coro_clock_gettime
356	GV *gvp;	408	struct timespec ts;
357	return sv_2cv (sv, &st, &gvp, 0);	409
		410	ts.tv_sec = ts.tv_nsec = 0;
		411	coro_clock_gettime (CORO_CLOCK_THREAD_CPUTIME_ID, &ts);
		412	time_cpu [0] = ts.tv_sec; time_cpu [1] = ts.tv_nsec;
		413
		414	ts.tv_sec = ts.tv_nsec = 0;
		415	coro_clock_gettime (CORO_CLOCK_MONOTONIC, &ts);
		416	time_real [0] = ts.tv_sec; time_real [1] = ts.tv_nsec;
		417	#else
		418	dTHX;
		419	UV tv[2];
		420
		421	u2time (aTHX_ tv);
		422	time_real [0] = tv [0];
		423	time_real [1] = tv [1] * 1000;
		424	#endif
		425	}
		426
		427	INLINE void
		428	coro_times_add (struct coro *c)
		429	{
		430	c->t_real [1] += time_real [1];
		431	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
		432	c->t_real [0] += time_real [0];
		433
		434	c->t_cpu [1] += time_cpu [1];
		435	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
		436	c->t_cpu [0] += time_cpu [0];
		437	}
		438
		439	INLINE void
		440	coro_times_sub (struct coro *c)
		441	{
		442	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
		443	c->t_real [1] -= time_real [1];
		444	c->t_real [0] -= time_real [0];
		445
		446	if (c->t_cpu [1] < time_cpu [1]) { c->t_cpu [1] += 1000000000; --c->t_cpu [0]; }
		447	c->t_cpu [1] -= time_cpu [1];
		448	c->t_cpu [0] -= time_cpu [0];
358	}	449	}
359		450
360	/*****************************************************************************/	451	/*****************************************************************************/
361	/* magic glue */	452	/* magic glue */
362		453
…		…
462	static int	553	static int
463	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	554	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
464	{	555	{
465	AV *padlist;	556	AV *padlist;
466	AV *av = (AV *)mg->mg_obj;	557	AV *av = (AV *)mg->mg_obj;
		558
		559	/* perl manages to free our internal AV and _then_ call us */
		560	if (IN_DESTRUCT)
		561	return 0;
467		562
468	/* casting is fun. */	563	/* casting is fun. */
469	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))	564	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
470	free_padlist (aTHX_ padlist);	565	free_padlist (aTHX_ padlist);
471		566
…		…
520	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);	615	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
521	}	616	}
522		617
523	/** load & save, init *******************************************************/	618	/** load & save, init *******************************************************/
524		619
		620	/* swap sv heads, at least logically */
		621	static void
		622	swap_svs (pTHX_ Coro__State c)
		623	{
		624	int i;
		625
		626	for (i = 0; i <= AvFILLp (c->swap_sv); )
		627	{
		628	SV *a = AvARRAY (c->swap_sv)[i++];
		629	SV *b = AvARRAY (c->swap_sv)[i++];
		630
		631	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
		632	SV tmp;
		633
		634	/* swap sv_any */
		635	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		636
		637	/* swap sv_flags */
		638	SvFLAGS (&tmp) = SvFLAGS (a);
		639	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
		640	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
		641
		642	#if PERL_VERSION_ATLEAST (5,10,0)
		643	/* perl 5.10 complicates this _quite_ a bit, but it also is
		644	* much faster, so no quarrels here. alternatively, we could
		645	* sv_upgrade to avoid this.
		646	*/
		647	{
		648	/* swap sv_u */
		649	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		650
		651	/* if SvANY points to the head, we need to adjust the pointers,
		652	* as the pointer for a still points to b, and maybe vice versa.
		653	*/
		654	#define svany_in_head(type) \
		655	(((1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV)) & (1 << (type)))
		656
		657	if (svany_in_head (SvTYPE (a)))
		658	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		659
		660	if (svany_in_head (SvTYPE (b)))
		661	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		662	}
		663	#endif
		664	}
		665	}
		666
		667	#define SWAP_SVS(coro) \
		668	if (expect_false ((coro)->swap_sv)) \
		669	swap_svs (aTHX_ (coro))
		670
		671	static void
		672	on_enterleave_call (pTHX_ SV *cb);
		673
525	static void	674	static void
526	load_perl (pTHX_ Coro__State c)	675	load_perl (pTHX_ Coro__State c)
527	{	676	{
528	perl_slots *slot = c->slot;	677	perl_slots *slot = c->slot;
529	c->slot = 0;	678	c->slot = 0;
…		…
556	PUTBACK;	705	PUTBACK;
557	}	706	}
558		707
559	slf_frame = c->slf_frame;	708	slf_frame = c->slf_frame;
560	CORO_THROW = c->except;	709	CORO_THROW = c->except;
		710
		711	if (expect_false (enable_times))
		712	{
		713	if (expect_false (!times_valid))
		714	coro_times_update ();
		715
		716	coro_times_sub (c);
		717	}
		718
		719	if (expect_false (c->on_enter))
		720	{
		721	int i;
		722
		723	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
		724	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
		725	}
		726
		727	SWAP_SVS (c);
561	}	728	}
562		729
563	static void	730	static void
564	save_perl (pTHX_ Coro__State c)	731	save_perl (pTHX_ Coro__State c)
565	{	732	{
		733	SWAP_SVS (c);
		734
		735	if (expect_false (c->on_leave))
		736	{
		737	int i;
		738
		739	for (i = AvFILLp (c->on_leave); i >= 0; --i)
		740	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
		741	}
		742
		743	times_valid = 0;
		744
		745	if (expect_false (enable_times))
		746	{
		747	coro_times_update (); times_valid = 1;
		748	coro_times_add (c);
		749	}
		750
566	c->except = CORO_THROW;	751	c->except = CORO_THROW;
567	c->slf_frame = slf_frame;	752	c->slf_frame = slf_frame;
568		753
569	{	754	{
570	dSP;	755	dSP;
…		…
583	{	768	{
584	while (expect_true (cxix >= 0))	769	while (expect_true (cxix >= 0))
585	{	770	{
586	PERL_CONTEXT *cx = &ccstk[cxix--];	771	PERL_CONTEXT *cx = &ccstk[cxix--];
587		772
588	if (expect_true (CxTYPE (cx) == CXt_SUB || CxTYPE (cx) == CXt_FORMAT))	773	if (expect_true (CxTYPE (cx) == CXt_SUB) || expect_false (CxTYPE (cx) == CXt_FORMAT))
589	{	774	{
590	CV *cv = cx->blk_sub.cv;	775	CV *cv = cx->blk_sub.cv;
591		776
592	if (expect_true (CvDEPTH (cv)))	777	if (expect_true (CvDEPTH (cv)))
593	{	778	{
…		…
617	/* we manually unroll here, as usually 2 slots is enough */	802	/* we manually unroll here, as usually 2 slots is enough */
618	if (SLOT_COUNT >= 1) CXINC;	803	if (SLOT_COUNT >= 1) CXINC;
619	if (SLOT_COUNT >= 2) CXINC;	804	if (SLOT_COUNT >= 2) CXINC;
620	if (SLOT_COUNT >= 3) CXINC;	805	if (SLOT_COUNT >= 3) CXINC;
621	{	806	{
622	int i;	807	unsigned int i;
623	for (i = 3; i < SLOT_COUNT; ++i)	808	for (i = 3; i < SLOT_COUNT; ++i)
624	CXINC;	809	CXINC;
625	}	810	}
626	cxstack_ix -= SLOT_COUNT; /* undo allocation */	811	cxstack_ix -= SLOT_COUNT; /* undo allocation */
627		812
…		…
769	#endif	954	#endif
770		955
771	/*	956	/*
772	* This overrides the default magic get method of %SIG elements.	957	* This overrides the default magic get method of %SIG elements.
773	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook	958	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook
774	* and instead of tryign to save and restore the hash elements, we just provide	959	* and instead of trying to save and restore the hash elements, we just provide
775	* readback here.	960	* readback here.
776	* We only do this when the hook is != 0, as they are often set to 0 temporarily,
777	* not expecting this to actually change the hook. This is a potential problem
778	* when a schedule happens then, but we ignore this.
779	*/	961	*/
780	static int	962	static int
781	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	963	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
782	{	964	{
783	const char *s = MgPV_nolen_const (mg);	965	const char *s = MgPV_nolen_const (mg);
…		…
836	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;	1018	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
837		1019
838	if (svp)	1020	if (svp)
839	{	1021	{
840	SV *old = *svp;	1022	SV *old = *svp;
841	*svp = newSVsv (sv);	1023	*svp = SvOK (sv) ? newSVsv (sv) : 0;
842	SvREFCNT_dec (old);	1024	SvREFCNT_dec (old);
843	return 0;	1025	return 0;
844	}	1026	}
845	}	1027	}
846		1028
…		…
864	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1046	slf_check_repeat (pTHX_ struct CoroSLF *frame)
865	{	1047	{
866	return 1;	1048	return 1;
867	}	1049	}
868		1050
869	static UNOP coro_setup_op;	1051	static UNOP init_perl_op;
870		1052
871	static void NOINLINE /* noinline to keep it out of the transfer fast path */	1053	static void NOINLINE /* noinline to keep it out of the transfer fast path */
872	coro_setup (pTHX_ struct coro *coro)	1054	init_perl (pTHX_ struct coro *coro)
873	{	1055	{
874	/*	1056	/*
875	* emulate part of the perl startup here.	1057	* emulate part of the perl startup here.
876	*/	1058	*/
877	coro_init_stacks (aTHX);	1059	coro_init_stacks (aTHX);
…		…
884	PL_comppad_name_fill = 0;	1066	PL_comppad_name_fill = 0;
885	PL_comppad_name_floor = 0;	1067	PL_comppad_name_floor = 0;
886	PL_curpm = 0;	1068	PL_curpm = 0;
887	PL_curpad = 0;	1069	PL_curpad = 0;
888	PL_localizing = 0;	1070	PL_localizing = 0;
889	PL_dirty = 0;
890	PL_restartop = 0;	1071	PL_restartop = 0;
891	#if PERL_VERSION_ATLEAST (5,10,0)	1072	#if PERL_VERSION_ATLEAST (5,10,0)
892	PL_parser = 0;	1073	PL_parser = 0;
893	#endif	1074	#endif
894	PL_hints = 0;	1075	PL_hints = 0;
…		…
926	*/	1107	*/
927	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */	1108	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
928	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */	1109	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
929		1110
930	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */	1111	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
931	coro_setup_op.op_next = PL_op;	1112	init_perl_op.op_next = PL_op;
932	coro_setup_op.op_type = OP_ENTERSUB;	1113	init_perl_op.op_type = OP_ENTERSUB;
933	coro_setup_op.op_ppaddr = pp_slf;	1114	init_perl_op.op_ppaddr = pp_slf;
934	/* no flags etc. required, as an init function won't be called */	1115	/* no flags etc. required, as an init function won't be called */
935		1116
936	PL_op = (OP *)&coro_setup_op;	1117	PL_op = (OP *)&init_perl_op;
937		1118
938	/* copy throw, in case it was set before coro_setup */	1119	/* copy throw, in case it was set before init_perl */
939	CORO_THROW = coro->except;	1120	CORO_THROW = coro->except;
		1121
		1122	SWAP_SVS (coro);
		1123
		1124	if (expect_false (enable_times))
		1125	{
		1126	coro_times_update ();
		1127	coro_times_sub (coro);
		1128	}
940	}	1129	}
941		1130
942	static void	1131	static void
943	coro_unwind_stacks (pTHX)	1132	coro_unwind_stacks (pTHX)
944	{	1133	{
…		…
959	dounwind (-1);	1148	dounwind (-1);
960	}	1149	}
961	}	1150	}
962		1151
963	static void	1152	static void
964	coro_destruct_perl (pTHX_ struct coro *coro)	1153	destroy_perl (pTHX_ struct coro *coro)
965	{	1154	{
		1155	SV *svf [9];
		1156
		1157	{
		1158	struct coro *current = SvSTATE_current;
		1159
		1160	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
		1161
		1162	save_perl (aTHX_ current);
		1163	load_perl (aTHX_ coro);
		1164
966	coro_unwind_stacks (aTHX);	1165	coro_unwind_stacks (aTHX);
		1166	coro_destruct_stacks (aTHX);
967		1167
968	SvREFCNT_dec (GvSV (PL_defgv));	1168	/* restore swapped sv's */
969	SvREFCNT_dec (GvAV (PL_defgv));	1169	SWAP_SVS (coro);
970	SvREFCNT_dec (GvSV (PL_errgv));
971	SvREFCNT_dec (PL_defoutgv);
972	SvREFCNT_dec (PL_rs);
973	SvREFCNT_dec (GvSV (irsgv));
974	SvREFCNT_dec (GvHV (PL_hintgv));
975		1170
976	SvREFCNT_dec (PL_diehook);	1171	// now save some sv's to be free'd later
977	SvREFCNT_dec (PL_warnhook);	1172	svf [0] = GvSV (PL_defgv);
		1173	svf [1] = (SV *)GvAV (PL_defgv);
		1174	svf [2] = GvSV (PL_errgv);
		1175	svf [3] = (SV *)PL_defoutgv;
		1176	svf [4] = PL_rs;
		1177	svf [5] = GvSV (irsgv);
		1178	svf [6] = (SV *)GvHV (PL_hintgv);
		1179	svf [7] = PL_diehook;
		1180	svf [8] = PL_warnhook;
		1181	assert (9 == sizeof (svf) / sizeof (*svf));
		1182
		1183	load_perl (aTHX_ current);
978		1184	}
		1185
		1186	{
		1187	unsigned int i;
		1188
		1189	for (i = 0; i < sizeof (svf) / sizeof (*svf); ++i)
		1190	SvREFCNT_dec (svf [i]);
		1191
979	SvREFCNT_dec (coro->saved_deffh);	1192	SvREFCNT_dec (coro->saved_deffh);
980	SvREFCNT_dec (coro->rouse_cb);	1193	SvREFCNT_dec (coro->rouse_cb);
981	SvREFCNT_dec (coro->invoke_cb);	1194	SvREFCNT_dec (coro->invoke_cb);
982	SvREFCNT_dec (coro->invoke_av);	1195	SvREFCNT_dec (coro->invoke_av);
983		1196	}
984	coro_destruct_stacks (aTHX);
985	}	1197	}
986		1198
987	INLINE void	1199	INLINE void
988	free_coro_mortal (pTHX)	1200	free_coro_mortal (pTHX)
989	{	1201	{
…		…
1186	/* somebody or something will hit me for both perl_run and PL_restartop */	1398	/* somebody or something will hit me for both perl_run and PL_restartop */
1187	PL_restartop = PL_op;	1399	PL_restartop = PL_op;
1188	perl_run (PL_curinterp);	1400	perl_run (PL_curinterp);
1189	/*	1401	/*
1190	* Unfortunately, there is no way to get at the return values of the	1402	* Unfortunately, there is no way to get at the return values of the
1191	* coro body here, as perl_run destroys these	1403	* coro body here, as perl_run destroys these. Likewise, we cannot catch
		1404	* runtime errors here, as this is just a random interpreter, not a thread.
1192	*/	1405	*/
1193		1406
1194	/*	1407	/*
1195	* If perl-run returns we assume exit() was being called or the coro	1408	* If perl-run returns we assume exit() was being called or the coro
1196	* fell off the end, which seems to be the only valid (non-bug)	1409	* fell off the end, which seems to be the only valid (non-bug)
…		…
1357	/* TODO: throwing up here is considered harmful */	1570	/* TODO: throwing up here is considered harmful */
1358		1571
1359	if (expect_true (prev != next))	1572	if (expect_true (prev != next))
1360	{	1573	{
1361	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1574	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1362	croak ("Coro::State::transfer called with a suspended prev Coro::State, but can only transfer from running or new states,");	1575	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");
1363		1576
1364	if (expect_false (next->flags & CF_RUNNING))
1365	croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states,");
1366
1367	if (expect_false (next->flags & CF_DESTROYED))	1577	if (expect_false (next->flags & (CF_RUNNING | CF_DESTROYED | CF_SUSPENDED)))
1368	croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states,");	1578	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");
1369		1579
1370	#if !PERL_VERSION_ATLEAST (5,10,0)	1580	#if !PERL_VERSION_ATLEAST (5,10,0)
1371	if (expect_false (PL_lex_state != LEX_NOTPARSING))	1581	if (expect_false (PL_lex_state != LEX_NOTPARSING))
1372	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");	1582	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1373	#endif	1583	#endif
…		…
1406	if (expect_false (next->flags & CF_NEW))	1616	if (expect_false (next->flags & CF_NEW))
1407	{	1617	{
1408	/* need to start coroutine */	1618	/* need to start coroutine */
1409	next->flags &= ~CF_NEW;	1619	next->flags &= ~CF_NEW;
1410	/* setup coroutine call */	1620	/* setup coroutine call */
1411	coro_setup (aTHX_ next);	1621	init_perl (aTHX_ next);
1412	}	1622	}
1413	else	1623	else
1414	load_perl (aTHX_ next);	1624	load_perl (aTHX_ next);
1415		1625
1416	/* possibly untie and reuse the cctx */	1626	/* possibly untie and reuse the cctx */
…		…
1461	coro_state_destroy (pTHX_ struct coro *coro)	1671	coro_state_destroy (pTHX_ struct coro *coro)
1462	{	1672	{
1463	if (coro->flags & CF_DESTROYED)	1673	if (coro->flags & CF_DESTROYED)
1464	return 0;	1674	return 0;
1465		1675
1466	if (coro->on_destroy)	1676	if (coro->on_destroy && !PL_dirty)
1467	coro->on_destroy (aTHX_ coro);	1677	coro->on_destroy (aTHX_ coro);
1468		1678
1469	coro->flags |= CF_DESTROYED;	1679	coro->flags |= CF_DESTROYED;
1470		1680
1471	if (coro->flags & CF_READY)	1681	if (coro->flags & CF_READY)
…		…
1479		1689
1480	if (coro->mainstack	1690	if (coro->mainstack
1481	&& coro->mainstack != main_mainstack	1691	&& coro->mainstack != main_mainstack
1482	&& coro->slot	1692	&& coro->slot
1483	&& !PL_dirty)	1693	&& !PL_dirty)
1484	{
1485	struct coro temp;
1486
1487	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
1488
1489	save_perl (aTHX_ &temp);
1490	load_perl (aTHX_ coro);
1491
1492	coro_destruct_perl (aTHX_ coro);	1694	destroy_perl (aTHX_ coro);
1493		1695
1494	load_perl (aTHX_ &temp);	1696	if (coro->next) coro->next->prev = coro->prev;
1495		1697	if (coro->prev) coro->prev->next = coro->next;
1496	coro->slot = 0;	1698	if (coro == coro_first) coro_first = coro->next;
1497	}
1498		1699
1499	cctx_destroy (coro->cctx);	1700	cctx_destroy (coro->cctx);
1500	SvREFCNT_dec (coro->startcv);	1701	SvREFCNT_dec (coro->startcv);
1501	SvREFCNT_dec (coro->args);	1702	SvREFCNT_dec (coro->args);
		1703	SvREFCNT_dec (coro->swap_sv);
1502	SvREFCNT_dec (CORO_THROW);	1704	SvREFCNT_dec (CORO_THROW);
1503
1504	if (coro->next) coro->next->prev = coro->prev;
1505	if (coro->prev) coro->prev->next = coro->next;
1506	if (coro == coro_first) coro_first = coro->next;
1507		1705
1508	return 1;	1706	return 1;
1509	}	1707	}
1510		1708
1511	static int	1709	static int
…		…
1561		1759
1562	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);	1760	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1563	TRANSFER (ta, 1);	1761	TRANSFER (ta, 1);
1564	}	1762	}
1565		1763
1566	/*****************************************************************************/
1567	/* gensub: simple closure generation utility */
1568
1569	#define GENSUB_ARG CvXSUBANY (cv).any_ptr
1570
1571	/* create a closure from XS, returns a code reference */
1572	/* the arg can be accessed via GENSUB_ARG from the callback */
1573	/* the callback must use dXSARGS/XSRETURN */
1574	static SV *
1575	gensub (pTHX_ void (*xsub)(pTHX_ CV *), void *arg)
1576	{
1577	CV *cv = (CV *)newSV (0);
1578
1579	sv_upgrade ((SV *)cv, SVt_PVCV);
1580
1581	CvANON_on (cv);
1582	CvISXSUB_on (cv);
1583	CvXSUB (cv) = xsub;
1584	GENSUB_ARG = arg;
1585
1586	return newRV_noinc ((SV *)cv);
1587	}
1588
1589	/** Coro ********************************************************************/	1764	/** Coro ********************************************************************/
1590		1765
1591	INLINE void	1766	INLINE void
1592	coro_enq (pTHX_ struct coro *coro)	1767	coro_enq (pTHX_ struct coro *coro)
1593	{	1768	{
1594	av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));	1769	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1595	}
1596		1770
1597	INLINE SV *	1771	SvREFCNT_inc_NN (coro->hv);
		1772
		1773	coro->next_ready = 0;
		1774	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
		1775	ready [1] = coro;
		1776	}
		1777
		1778	INLINE struct coro *
1598	coro_deq (pTHX)	1779	coro_deq (pTHX)
1599	{	1780	{
1600	int prio;	1781	int prio;
1601		1782
1602	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )	1783	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
1603	if (AvFILLp (coro_ready [prio]) >= 0)	1784	{
1604	return av_shift (coro_ready [prio]);	1785	struct coro **ready = coro_ready [prio];
		1786
		1787	if (ready [0])
		1788	{
		1789	struct coro *coro = ready [0];
		1790	ready [0] = coro->next_ready;
		1791	return coro;
		1792	}
		1793	}
1605		1794
1606	return 0;	1795	return 0;
		1796	}
		1797
		1798	static void
		1799	invoke_sv_ready_hook_helper (void)
		1800	{
		1801	dTHX;
		1802	dSP;
		1803
		1804	ENTER;
		1805	SAVETMPS;
		1806
		1807	PUSHMARK (SP);
		1808	PUTBACK;
		1809	call_sv (coro_readyhook, G_VOID | G_DISCARD);
		1810
		1811	FREETMPS;
		1812	LEAVE;
1607	}	1813	}
1608		1814
1609	static int	1815	static int
1610	api_ready (pTHX_ SV *coro_sv)	1816	api_ready (pTHX_ SV *coro_sv)
1611	{	1817	{
1612	struct coro *coro;
1613	SV *sv_hook;
1614	void (*xs_hook)(void);
1615
1616	coro = SvSTATE (coro_sv);	1818	struct coro *coro = SvSTATE (coro_sv);
1617		1819
1618	if (coro->flags & CF_READY)	1820	if (coro->flags & CF_READY)
1619	return 0;	1821	return 0;
1620		1822
1621	coro->flags |= CF_READY;	1823	coro->flags |= CF_READY;
1622		1824
1623	sv_hook = coro_nready ? 0 : coro_readyhook;
1624	xs_hook = coro_nready ? 0 : coroapi.readyhook;
1625
1626	coro_enq (aTHX_ coro);	1825	coro_enq (aTHX_ coro);
1627	++coro_nready;
1628		1826
1629	if (sv_hook)	1827	if (!coro_nready++)
1630	{	1828	if (coroapi.readyhook)
1631	dSP;	1829	coroapi.readyhook ();
1632
1633	ENTER;
1634	SAVETMPS;
1635
1636	PUSHMARK (SP);
1637	PUTBACK;
1638	call_sv (sv_hook, G_VOID | G_DISCARD);
1639
1640	FREETMPS;
1641	LEAVE;
1642	}
1643
1644	if (xs_hook)
1645	xs_hook ();
1646		1830
1647	return 1;	1831	return 1;
1648	}	1832	}
1649		1833
1650	static int	1834	static int
…		…
1673	static void	1857	static void
1674	prepare_schedule (pTHX_ struct coro_transfer_args *ta)	1858	prepare_schedule (pTHX_ struct coro_transfer_args *ta)
1675	{	1859	{
1676	for (;;)	1860	for (;;)
1677	{	1861	{
1678	SV *next_sv = coro_deq (aTHX);	1862	struct coro *next = coro_deq (aTHX);
1679		1863
1680	if (expect_true (next_sv))	1864	if (expect_true (next))
1681	{	1865	{
1682	struct coro *next = SvSTATE_hv (next_sv);
1683
1684	/* cannot transfer to destroyed coros, skip and look for next */	1866	/* cannot transfer to destroyed coros, skip and look for next */
1685	if (expect_false (next->flags & CF_DESTROYED))	1867	if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED)))
1686	SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */	1868	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1687	else	1869	else
1688	{	1870	{
1689	next->flags &= ~CF_READY;	1871	next->flags &= ~CF_READY;
1690	--coro_nready;	1872	--coro_nready;
1691		1873
…		…
1697	{	1879	{
1698	/* nothing to schedule: call the idle handler */	1880	/* nothing to schedule: call the idle handler */
1699	if (SvROK (sv_idle)	1881	if (SvROK (sv_idle)
1700	&& SvOBJECT (SvRV (sv_idle)))	1882	&& SvOBJECT (SvRV (sv_idle)))
1701	{	1883	{
		1884	if (SvRV (sv_idle) == SvRV (coro_current))
		1885	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");
		1886
1702	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	1887	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1703	api_ready (aTHX_ SvRV (sv_idle));	1888	api_ready (aTHX_ SvRV (sv_idle));
1704	--coro_nready;	1889	--coro_nready;
1705	}	1890	}
1706	else	1891	else
1707	{	1892	{
		1893	/* TODO: deprecated, remove, cannot work reliably *//*D*/
1708	dSP;	1894	dSP;
1709		1895
1710	ENTER;	1896	ENTER;
1711	SAVETMPS;	1897	SAVETMPS;
1712		1898
…		…
1822		2008
1823	static void	2009	static void
1824	coro_call_on_destroy (pTHX_ struct coro *coro)	2010	coro_call_on_destroy (pTHX_ struct coro *coro)
1825	{	2011	{
1826	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);
1827	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
1828		2013
1829	if (on_destroyp)	2014	if (on_destroyp)
1830	{	2015	{
1831	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;
1832		2019
1833	while (AvFILLp (on_destroy) >= 0)	2020	while (AvFILLp (on_destroy) >= 0)
1834	{	2021	{
1835	dSP; /* don't disturb outer sp */	2022	dSP; /* don't disturb outer sp */
1836	SV *cb = av_pop (on_destroy);	2023	SV *cb = av_pop (on_destroy);
…		…
1838	PUSHMARK (SP);	2025	PUSHMARK (SP);
1839		2026
1840	if (statusp)	2027	if (statusp)
1841	{	2028	{
1842	int i;	2029	int i;
1843	AV *status = (AV *)SvRV (*statusp);
1844	EXTEND (SP, AvFILLp (status) + 1);	2030	EXTEND (SP, AvFILLp (status) + 1);
1845		2031
1846	for (i = 0; i <= AvFILLp (status); ++i)	2032	for (i = 0; i <= AvFILLp (status); ++i)
1847	PUSHs (AvARRAY (status)[i]);	2033	PUSHs (AvARRAY (status)[i]);
1848	}	2034	}
…		…
1852	}	2038	}
1853	}	2039	}
1854	}	2040	}
1855		2041
1856	static void	2042	static void
1857	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2043	coro_set_status (HV *coro_hv, SV **arg, int items)
1858	{	2044	{
1859	int i;
1860	HV *hv = (HV *)SvRV (coro_current);
1861	AV *av = newAV ();	2045	AV *av = newAV ();
1862		2046
		2047	/* items are actually not so common, so optimise for this case */
		2048	if (items)
		2049	{
		2050	int i;
		2051
1863	av_extend (av, items - 1);	2052	av_extend (av, items - 1);
		2053
1864	for (i = 0; i < items; ++i)	2054	for (i = 0; i < items; ++i)
1865	av_push (av, SvREFCNT_inc_NN (arg [i]));	2055	av_push (av, SvREFCNT_inc_NN (arg [i]));
		2056	}
1866		2057
1867	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	}
1868		2060
		2061	static void
		2062	slf_init_terminate_cancel_common (pTHX_ struct CoroSLF *frame, HV *coro_hv)
		2063	{
1869	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 */
1870	api_ready (aTHX_ sv_manager);	2065	api_ready (aTHX_ sv_manager);
1871		2066
1872	frame->prepare = prepare_schedule;	2067	frame->prepare = prepare_schedule;
1873	frame->check = slf_check_repeat;	2068	frame->check = slf_check_repeat;
1874		2069
1875	/* as a minor optimisation, we could unwind all stacks here */	2070	/* as a minor optimisation, we could unwind all stacks here */
1876	/* 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 */
1877	/*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	}
1878	}	2110	}
1879		2111
1880	/*****************************************************************************/	2112	/*****************************************************************************/
1881	/* async pool handler */	2113	/* async pool handler */
1882		2114
…		…
1960		2192
1961	static void	2193	static void
1962	coro_rouse_callback (pTHX_ CV *cv)	2194	coro_rouse_callback (pTHX_ CV *cv)
1963	{	2195	{
1964	dXSARGS;	2196	dXSARGS;
1965	SV *data = (SV *)GENSUB_ARG;	2197	SV *data = (SV *)S_GENSUB_ARG;
1966		2198
1967	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2199	if (SvTYPE (SvRV (data)) != SVt_PVAV)
1968	{	2200	{
1969	/* first call, set args */	2201	/* first call, set args */
		2202	SV *coro = SvRV (data);
1970	AV *av = newAV ();	2203	AV *av = newAV ();
1971	SV *coro = SvRV (data);
1972		2204
1973	SvRV_set (data, (SV *)av);	2205	SvRV_set (data, (SV *)av);
1974	api_ready (aTHX_ coro);
1975	SvREFCNT_dec (coro);
1976		2206
1977	/* better take a full copy of the arguments */	2207	/* better take a full copy of the arguments */
1978	while (items--)	2208	while (items--)
1979	av_store (av, items, newSVsv (ST (items)));	2209	av_store (av, items, newSVsv (ST (items)));
		2210
		2211	api_ready (aTHX_ coro);
		2212	SvREFCNT_dec (coro);
1980	}	2213	}
1981		2214
1982	XSRETURN_EMPTY;	2215	XSRETURN_EMPTY;
1983	}	2216	}
1984		2217
…		…
2001		2234
2002	EXTEND (SP, AvFILLp (av) + 1);	2235	EXTEND (SP, AvFILLp (av) + 1);
2003	for (i = 0; i <= AvFILLp (av); ++i)	2236	for (i = 0; i <= AvFILLp (av); ++i)
2004	PUSHs (sv_2mortal (AvARRAY (av)[i]));	2237	PUSHs (sv_2mortal (AvARRAY (av)[i]));
2005		2238
2006	/* we have stolen the elements, so ste length to zero and free */	2239	/* we have stolen the elements, so set length to zero and free */
2007	AvFILLp (av) = -1;	2240	AvFILLp (av) = -1;
2008	av_undef (av);	2241	av_undef (av);
2009		2242
2010	PUTBACK;	2243	PUTBACK;
2011	}	2244	}
…		…
2035	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2268	|| SvTYPE (SvRV (cb)) != SVt_PVCV
2036	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2269	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2037	croak ("Coro::rouse_wait called with illegal callback argument,");	2270	croak ("Coro::rouse_wait called with illegal callback argument,");
2038		2271
2039	{	2272	{
2040	CV *cv = (CV *)SvRV (cb); /* for GENSUB_ARG */	2273	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
2041	SV *data = (SV *)GENSUB_ARG;	2274	SV *data = (SV *)S_GENSUB_ARG;
2042		2275
2043	frame->data = (void *)data;	2276	frame->data = (void *)data;
2044	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2277	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;
2045	frame->check = slf_check_rouse_wait;	2278	frame->check = slf_check_rouse_wait;
2046	}	2279	}
…		…
2050	coro_new_rouse_cb (pTHX)	2283	coro_new_rouse_cb (pTHX)
2051	{	2284	{
2052	HV *hv = (HV *)SvRV (coro_current);	2285	HV *hv = (HV *)SvRV (coro_current);
2053	struct coro *coro = SvSTATE_hv (hv);	2286	struct coro *coro = SvSTATE_hv (hv);
2054	SV *data = newRV_inc ((SV *)hv);	2287	SV *data = newRV_inc ((SV *)hv);
2055	SV *cb = gensub (aTHX_ coro_rouse_callback, (void *)data);	2288	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);
2056		2289
2057	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2290	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2058	SvREFCNT_dec (data); /* magicext increases the refcount */	2291	SvREFCNT_dec (data); /* magicext increases the refcount */
2059		2292
2060	SvREFCNT_dec (coro->rouse_cb);	2293	SvREFCNT_dec (coro->rouse_cb);
…		…
2285	if (PL_op->op_flags & OPf_STACKED)	2518	if (PL_op->op_flags & OPf_STACKED)
2286	{	2519	{
2287	if (items > slf_arga)	2520	if (items > slf_arga)
2288	{	2521	{
2289	slf_arga = items;	2522	slf_arga = items;
2290	free (slf_argv);	2523	Safefree (slf_argv);
2291	slf_argv = malloc (slf_arga * sizeof (SV *));	2524	New (0, slf_argv, slf_arga, SV *);
2292	}	2525	}
2293		2526
2294	slf_argc = items;	2527	slf_argc = items;
2295		2528
2296	for (i = 0; i < items; ++i)	2529	for (i = 0; i < items; ++i)
…		…
2301		2534
2302	PL_op->op_ppaddr = pp_slf;	2535	PL_op->op_ppaddr = pp_slf;
2303	/*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */	2536	/*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */
2304		2537
2305	PL_op = (OP *)&slf_restore;	2538	PL_op = (OP *)&slf_restore;
		2539	}
		2540
		2541	/*****************************************************************************/
		2542	/* dynamic wind */
		2543
		2544	static void
		2545	on_enterleave_call (pTHX_ SV *cb)
		2546	{
		2547	dSP;
		2548
		2549	PUSHSTACK;
		2550
		2551	PUSHMARK (SP);
		2552	PUTBACK;
		2553	call_sv (cb, G_VOID | G_DISCARD);
		2554	SPAGAIN;
		2555
		2556	POPSTACK;
		2557	}
		2558
		2559	static SV *
		2560	coro_avp_pop_and_free (pTHX_ AV **avp)
		2561	{
		2562	AV *av = *avp;
		2563	SV *res = av_pop (av);
		2564
		2565	if (AvFILLp (av) < 0)
		2566	{
		2567	*avp = 0;
		2568	SvREFCNT_dec (av);
		2569	}
		2570
		2571	return res;
		2572	}
		2573
		2574	static void
		2575	coro_pop_on_enter (pTHX_ void *coro)
		2576	{
		2577	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_enter);
		2578	SvREFCNT_dec (cb);
		2579	}
		2580
		2581	static void
		2582	coro_pop_on_leave (pTHX_ void *coro)
		2583	{
		2584	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
		2585	on_enterleave_call (aTHX_ sv_2mortal (cb));
2306	}	2586	}
2307		2587
2308	/*****************************************************************************/	2588	/*****************************************************************************/
2309	/* PerlIO::cede */	2589	/* PerlIO::cede */
2310		2590
…		…
2384	/* Coro::Semaphore & Coro::Signal */	2664	/* Coro::Semaphore & Coro::Signal */
2385		2665
2386	static SV *	2666	static SV *
2387	coro_waitarray_new (pTHX_ int count)	2667	coro_waitarray_new (pTHX_ int count)
2388	{	2668	{
2389	/* a semaphore contains a counter IV in $sem->[0] and any waiters after that */	2669	/* a waitarray=semaphore contains a counter IV in $sem->[0] and any waiters after that */
2390	AV *av = newAV ();	2670	AV *av = newAV ();
2391	SV **ary;	2671	SV **ary;
2392		2672
2393	/* unfortunately, building manually saves memory */	2673	/* unfortunately, building manually saves memory */
2394	Newx (ary, 2, SV *);	2674	Newx (ary, 2, SV *);
…		…
2536	{	2816	{
2537	if (items >= 2)	2817	if (items >= 2)
2538	{	2818	{
2539	/* callback form */	2819	/* callback form */
2540	AV *av = (AV *)SvRV (arg [0]);	2820	AV *av = (AV *)SvRV (arg [0]);
2541	CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);	2821	SV *cb_cv = s_get_cv_croak (arg [1]);
2542		2822
2543	av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));	2823	av_push (av, SvREFCNT_inc_NN (cb_cv));
2544		2824
2545	if (SvIVX (AvARRAY (av)[0]) > 0)	2825	if (SvIVX (AvARRAY (av)[0]) > 0)
2546	coro_semaphore_adjust (aTHX_ av, 0);	2826	coro_semaphore_adjust (aTHX_ av, 0);
2547		2827
2548	frame->prepare = prepare_nop;	2828	frame->prepare = prepare_nop;
…		…
2572	AvARRAY (av)[0] = AvARRAY (av)[1];	2852	AvARRAY (av)[0] = AvARRAY (av)[1];
2573	AvARRAY (av)[1] = cb;	2853	AvARRAY (av)[1] = cb;
2574		2854
2575	cb = av_shift (av);	2855	cb = av_shift (av);
2576		2856
		2857	if (SvTYPE (cb) == SVt_PVCV)
		2858	{
		2859	dSP;
		2860	PUSHMARK (SP);
		2861	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
		2862	PUTBACK;
		2863	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
		2864	}
		2865	else
		2866	{
2577	api_ready (aTHX_ cb);	2867	api_ready (aTHX_ cb);
2578	sv_setiv (cb, 0); /* signal waiter */	2868	sv_setiv (cb, 0); /* signal waiter */
		2869	}
		2870
2579	SvREFCNT_dec (cb);	2871	SvREFCNT_dec (cb);
2580		2872
2581	--count;	2873	--count;
2582	}	2874	}
2583	}	2875	}
…		…
2592	static void	2884	static void
2593	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2885	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2594	{	2886	{
2595	AV *av = (AV *)SvRV (arg [0]);	2887	AV *av = (AV *)SvRV (arg [0]);
2596		2888
		2889	if (items >= 2)
		2890	{
		2891	SV *cb_cv = s_get_cv_croak (arg [1]);
		2892	av_push (av, SvREFCNT_inc_NN (cb_cv));
		2893
2597	if (SvIVX (AvARRAY (av)[0]))	2894	if (SvIVX (AvARRAY (av)[0]))
		2895	coro_signal_wake (aTHX_ av, 1); /* must be the only waiter */
		2896
		2897	frame->prepare = prepare_nop;
		2898	frame->check = slf_check_nop;
		2899	}
		2900	else if (SvIVX (AvARRAY (av)[0]))
2598	{	2901	{
2599	SvIVX (AvARRAY (av)[0]) = 0;	2902	SvIVX (AvARRAY (av)[0]) = 0;
2600	frame->prepare = prepare_nop;	2903	frame->prepare = prepare_nop;
2601	frame->check = slf_check_nop;	2904	frame->check = slf_check_nop;
2602	}	2905	}
2603	else	2906	else
2604	{	2907	{
2605	SV *waiter = newRV_inc (SvRV (coro_current)); /* owned by signal av */	2908	SV *waiter = newSVsv (coro_current); /* owned by signal av */
2606		2909
2607	av_push (av, waiter);	2910	av_push (av, waiter);
2608		2911
2609	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */	2912	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */
2610	frame->prepare = prepare_schedule;	2913	frame->prepare = prepare_schedule;
…		…
2628		2931
2629	static void	2932	static void
2630	coro_aio_callback (pTHX_ CV *cv)	2933	coro_aio_callback (pTHX_ CV *cv)
2631	{	2934	{
2632	dXSARGS;	2935	dXSARGS;
2633	AV *state = (AV *)GENSUB_ARG;	2936	AV *state = (AV *)S_GENSUB_ARG;
2634	SV *coro = av_pop (state);	2937	SV *coro = av_pop (state);
2635	SV *data_sv = newSV (sizeof (struct io_state));	2938	SV *data_sv = newSV (sizeof (struct io_state));
2636		2939
2637	av_extend (state, items - 1);	2940	av_extend (state, items - 1);
2638		2941
…		…
2752		3055
2753	for (i = 0; i < items; ++i)	3056	for (i = 0; i < items; ++i)
2754	PUSHs (arg [i]);	3057	PUSHs (arg [i]);
2755		3058
2756	/* now push the callback closure */	3059	/* now push the callback closure */
2757	PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));	3060	PUSHs (sv_2mortal (s_gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));
2758		3061
2759	/* now call the AIO function - we assume our request is uncancelable */	3062	/* now call the AIO function - we assume our request is uncancelable */
2760	PUTBACK;	3063	PUTBACK;
2761	call_sv ((SV *)req, G_VOID | G_DISCARD);	3064	call_sv ((SV *)req, G_VOID | G_DISCARD);
2762	}	3065	}
2763		3066
2764	/* now that the requets is going, we loop toll we have a result */	3067	/* now that the request is going, we loop till we have a result */
2765	frame->data = (void *)state;	3068	frame->data = (void *)state;
2766	frame->prepare = prepare_schedule;	3069	frame->prepare = prepare_schedule;
2767	frame->check = slf_check_aio_req;	3070	frame->check = slf_check_aio_req;
2768	}	3071	}
2769		3072
…		…
2780	/*****************************************************************************/	3083	/*****************************************************************************/
2781		3084
2782	#if CORO_CLONE	3085	#if CORO_CLONE
2783	# include "clone.c"	3086	# include "clone.c"
2784	#endif	3087	#endif
		3088
		3089	/*****************************************************************************/
		3090
		3091	static SV *
		3092	coro_new (pTHX_ HV *stash, SV **argv, int argc, int is_coro)
		3093	{
		3094	SV *coro_sv;
		3095	struct coro *coro;
		3096	MAGIC *mg;
		3097	HV *hv;
		3098	SV *cb;
		3099	int i;
		3100
		3101	if (argc > 0)
		3102	{
		3103	cb = s_get_cv_croak (argv [0]);
		3104
		3105	if (!is_coro)
		3106	{
		3107	if (CvISXSUB (cb))
		3108	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
		3109
		3110	if (!CvROOT (cb))
		3111	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
		3112	}
		3113	}
		3114
		3115	Newz (0, coro, 1, struct coro);
		3116	coro->args = newAV ();
		3117	coro->flags = CF_NEW;
		3118
		3119	if (coro_first) coro_first->prev = coro;
		3120	coro->next = coro_first;
		3121	coro_first = coro;
		3122
		3123	coro->hv = hv = newHV ();
		3124	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
		3125	mg->mg_flags |= MGf_DUP;
		3126	coro_sv = sv_bless (newRV_noinc ((SV *)hv), stash);
		3127
		3128	if (argc > 0)
		3129	{
		3130	av_extend (coro->args, argc + is_coro - 1);
		3131
		3132	if (is_coro)
		3133	{
		3134	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
		3135	cb = (SV *)cv_coro_run;
		3136	}
		3137
		3138	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
		3139
		3140	for (i = 1; i < argc; i++)
		3141	av_push (coro->args, newSVsv (argv [i]));
		3142	}
		3143
		3144	return coro_sv;
		3145	}
2785		3146
2786	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3147	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2787		3148
2788	PROTOTYPES: DISABLE	3149	PROTOTYPES: DISABLE
2789		3150
…		…
2842	coroapi.prepare_nop = prepare_nop;	3203	coroapi.prepare_nop = prepare_nop;
2843	coroapi.prepare_schedule = prepare_schedule;	3204	coroapi.prepare_schedule = prepare_schedule;
2844	coroapi.prepare_cede = prepare_cede;	3205	coroapi.prepare_cede = prepare_cede;
2845	coroapi.prepare_cede_notself = prepare_cede_notself;	3206	coroapi.prepare_cede_notself = prepare_cede_notself;
2846		3207
2847	{	3208	time_init (aTHX);
2848	SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
2849		3209
2850	if (!svp) croak ("Time::HiRes is required");
2851	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
2852
2853	nvtime = INT2PTR (double (*)(), SvIV (*svp));
2854	}
2855
2856	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	3210	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
2857	}	3211	}
2858		3212
2859	SV *	3213	SV *
2860	new (char *klass, ...)	3214	new (SV *klass, ...)
2861	ALIAS:	3215	ALIAS:
2862	Coro::new = 1	3216	Coro::new = 1
2863	CODE:	3217	CODE:
2864	{	3218	RETVAL = coro_new (aTHX_ ix ? coro_stash : coro_state_stash, &ST (1), items - 1, ix);
2865	struct coro *coro;	3219	OUTPUT:
2866	MAGIC *mg;
2867	HV *hv;
2868	CV *cb;
2869	int i;
2870
2871	if (items > 1)
2872	{
2873	cb = coro_sv_2cv (aTHX_ ST (1));
2874
2875	if (!ix)
2876	{
2877	if (CvISXSUB (cb))
2878	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
2879
2880	if (!CvROOT (cb))
2881	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
2882	}
2883	}
2884
2885	Newz (0, coro, 1, struct coro);
2886	coro->args = newAV ();
2887	coro->flags = CF_NEW;
2888
2889	if (coro_first) coro_first->prev = coro;
2890	coro->next = coro_first;
2891	coro_first = coro;
2892
2893	coro->hv = hv = newHV ();
2894	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
2895	mg->mg_flags |= MGf_DUP;
2896	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2897
2898	if (items > 1)
2899	{
2900	av_extend (coro->args, items - 1 + ix - 1);
2901
2902	if (ix)
2903	{
2904	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2905	cb = cv_coro_run;
2906	}
2907
2908	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
2909
2910	for (i = 2; i < items; i++)
2911	av_push (coro->args, newSVsv (ST (i)));
2912	}
2913	}
2914	OUTPUT:
2915	RETVAL	3220	RETVAL
2916		3221
2917	void	3222	void
2918	transfer (...)	3223	transfer (...)
2919	PROTOTYPE: $$	3224	PROTOTYPE: $$
2920	CODE:	3225	CODE:
2921	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3226	CORO_EXECUTE_SLF_XS (slf_init_transfer);
2922
2923	bool
2924	_destroy (SV *coro_sv)
2925	CODE:
2926	RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
2927	OUTPUT:
2928	RETVAL
2929		3227
2930	void	3228	void
2931	_exit (int code)	3229	_exit (int code)
2932	PROTOTYPE: $	3230	PROTOTYPE: $
2933	CODE:	3231	CODE:
…		…
3008	eval = 1	3306	eval = 1
3009	CODE:	3307	CODE:
3010	{	3308	{
3011	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))	3309	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
3012	{	3310	{
3013	struct coro temp;	3311	struct coro *current = SvSTATE_current;
3014		3312
3015	if (!(coro->flags & CF_RUNNING))	3313	if (current != coro)
3016	{	3314	{
3017	PUTBACK;	3315	PUTBACK;
3018	save_perl (aTHX_ &temp);	3316	save_perl (aTHX_ current);
3019	load_perl (aTHX_ coro);	3317	load_perl (aTHX_ coro);
		3318	SPAGAIN;
3020	}	3319	}
3021		3320
3022	{
3023	dSP;
3024	ENTER;
3025	SAVETMPS;
3026	PUTBACK;
3027	PUSHSTACK;	3321	PUSHSTACK;
		3322
3028	PUSHMARK (SP);	3323	PUSHMARK (SP);
		3324	PUTBACK;
3029		3325
3030	if (ix)	3326	if (ix)
3031	eval_sv (coderef, 0);	3327	eval_sv (coderef, 0);
3032	else	3328	else
3033	call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	3329	call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
3034		3330
3035	POPSTACK;	3331	POPSTACK;
3036	SPAGAIN;	3332	SPAGAIN;
3037	FREETMPS;
3038	LEAVE;
3039	PUTBACK;
3040	}
3041		3333
3042	if (!(coro->flags & CF_RUNNING))	3334	if (current != coro)
3043	{	3335	{
		3336	PUTBACK;
3044	save_perl (aTHX_ coro);	3337	save_perl (aTHX_ coro);
3045	load_perl (aTHX_ &temp);	3338	load_perl (aTHX_ current);
3046	SPAGAIN;	3339	SPAGAIN;
3047	}	3340	}
3048	}	3341	}
3049	}	3342	}
3050		3343
…		…
3054	ALIAS:	3347	ALIAS:
3055	is_ready = CF_READY	3348	is_ready = CF_READY
3056	is_running = CF_RUNNING	3349	is_running = CF_RUNNING
3057	is_new = CF_NEW	3350	is_new = CF_NEW
3058	is_destroyed = CF_DESTROYED	3351	is_destroyed = CF_DESTROYED
		3352	is_suspended = CF_SUSPENDED
3059	CODE:	3353	CODE:
3060	RETVAL = boolSV (coro->flags & ix);	3354	RETVAL = boolSV (coro->flags & ix);
3061	OUTPUT:	3355	OUTPUT:
3062	RETVAL	3356	RETVAL
3063		3357
3064	void	3358	void
3065	throw (Coro::State self, SV *throw = &PL_sv_undef)	3359	throw (Coro::State self, SV *exception = &PL_sv_undef)
3066	PROTOTYPE: $;$	3360	PROTOTYPE: $;$
3067	CODE:	3361	CODE:
3068	{	3362	{
3069	struct coro *current = SvSTATE_current;	3363	struct coro *current = SvSTATE_current;
3070	SV **throwp = self == current ? &CORO_THROW : &self->except;	3364	SV **exceptionp = self == current ? &CORO_THROW : &self->except;
3071	SvREFCNT_dec (*throwp);	3365	SvREFCNT_dec (*exceptionp);
3072	*throwp = SvOK (throw) ? newSVsv (throw) : 0;	3366	SvGETMAGIC (exception);
		3367	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
3073	}	3368	}
3074		3369
3075	void	3370	void
3076	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3371	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3077	PROTOTYPE: $;$	3372	PROTOTYPE: $;$
…		…
3128	SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;	3423	SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;
3129		3424
3130	SV *tmp = *src; *src = *dst; *dst = tmp;	3425	SV *tmp = *src; *src = *dst; *dst = tmp;
3131	}	3426	}
3132		3427
		3428	void
		3429	cancel (Coro::State self)
		3430	CODE:
		3431	coro_state_destroy (aTHX_ self);
		3432
		3433	SV *
		3434	enable_times (int enabled = enable_times)
		3435	CODE:
		3436	{
		3437	RETVAL = boolSV (enable_times);
		3438
		3439	if (enabled != enable_times)
		3440	{
		3441	enable_times = enabled;
		3442
		3443	coro_times_update ();
		3444	(enabled ? coro_times_sub : coro_times_add)(SvSTATE (coro_current));
		3445	}
		3446	}
		3447	OUTPUT:
		3448	RETVAL
		3449
		3450	void
		3451	times (Coro::State self)
		3452	PPCODE:
		3453	{
		3454	struct coro *current = SvSTATE (coro_current);
		3455
		3456	if (expect_false (current == self))
		3457	{
		3458	coro_times_update ();
		3459	coro_times_add (SvSTATE (coro_current));
		3460	}
		3461
		3462	EXTEND (SP, 2);
		3463	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
		3464	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
		3465
		3466	if (expect_false (current == self))
		3467	coro_times_sub (SvSTATE (coro_current));
		3468	}
		3469
		3470	void
		3471	swap_sv (Coro::State coro, SV *sv, SV *swapsv)
		3472	CODE:
		3473	{
		3474	struct coro *current = SvSTATE_current;
		3475
		3476	if (current == coro)
		3477	SWAP_SVS (current);
		3478
		3479	if (!coro->swap_sv)
		3480	coro->swap_sv = newAV ();
		3481
		3482	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));
		3483	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));
		3484
		3485	if (current == coro)
		3486	SWAP_SVS (current);
		3487	}
		3488
3133		3489
3134	MODULE = Coro::State PACKAGE = Coro	3490	MODULE = Coro::State PACKAGE = Coro
3135		3491
3136	BOOT:	3492	BOOT:
3137	{	3493	{
3138	int i;
3139
3140	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	3494	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3141	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	3495	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3142	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	3496	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3143	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);	3497	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3144	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	3498	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
…		…
3148	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);	3502	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3149		3503
3150	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	3504	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3151	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	3505	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3152	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	3506	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3153	cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);	3507	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3154		3508
3155	coro_stash = gv_stashpv ("Coro", TRUE);	3509	coro_stash = gv_stashpv ("Coro", TRUE);
3156		3510
3157	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));	3511	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3158	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));	3512	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3159	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));	3513	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
3160	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));	3514	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (CORO_PRIO_LOW));
3161	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));	3515	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (CORO_PRIO_IDLE));
3162	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));	3516	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (CORO_PRIO_MIN));
3163
3164	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
3165	coro_ready[i] = newAV ();
3166		3517
3167	{	3518	{
3168	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);	3519	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
3169		3520
3170	coroapi.schedule = api_schedule;	3521	coroapi.schedule = api_schedule;
…		…
3180	sv_setiv (sv, (IV)&coroapi);	3531	sv_setiv (sv, (IV)&coroapi);
3181	SvREADONLY_on (sv);	3532	SvREADONLY_on (sv);
3182	}	3533	}
3183	}	3534	}
3184		3535
		3536	SV *
		3537	async (...)
		3538	PROTOTYPE: &@
		3539	CODE:
		3540	RETVAL = coro_new (aTHX_ coro_stash, &ST (0), items, 1);
		3541	api_ready (aTHX_ RETVAL);
		3542	OUTPUT:
		3543	RETVAL
		3544
		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
3185	void	3552	void
3186	terminate (...)	3553	terminate (...)
3187	CODE:	3554	CODE:
3188	CORO_EXECUTE_SLF_XS (slf_init_terminate);	3555	CORO_EXECUTE_SLF_XS (slf_init_terminate);
3189		3556
3190	void	3557	void
		3558	cancel (...)
		3559	CODE:
		3560	CORO_EXECUTE_SLF_XS (slf_init_cancel);
		3561
		3562	void
3191	schedule (...)	3563	schedule (...)
3192	CODE:	3564	CODE:
3193	CORO_EXECUTE_SLF_XS (slf_init_schedule);	3565	CORO_EXECUTE_SLF_XS (slf_init_schedule);
3194		3566
3195	void	3567	void
…		…
3209		3581
3210	void	3582	void
3211	cede_notself (...)	3583	cede_notself (...)
3212	CODE:	3584	CODE:
3213	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);	3585	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);
3214
3215	void
3216	_cancel (Coro::State self)
3217	CODE:
3218	coro_state_destroy (aTHX_ self);
3219	coro_call_on_destroy (aTHX_ self);
3220		3586
3221	void	3587	void
3222	_set_current (SV *current)	3588	_set_current (SV *current)
3223	PROTOTYPE: $	3589	PROTOTYPE: $
3224	CODE:	3590	CODE:
…		…
3228	void	3594	void
3229	_set_readyhook (SV *hook)	3595	_set_readyhook (SV *hook)
3230	PROTOTYPE: $	3596	PROTOTYPE: $
3231	CODE:	3597	CODE:
3232	SvREFCNT_dec (coro_readyhook);	3598	SvREFCNT_dec (coro_readyhook);
		3599	SvGETMAGIC (hook);
		3600	if (SvOK (hook))
		3601	{
3233	coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;	3602	coro_readyhook = newSVsv (hook);
		3603	CORO_READYHOOK = invoke_sv_ready_hook_helper;
		3604	}
		3605	else
		3606	{
		3607	coro_readyhook = 0;
		3608	CORO_READYHOOK = 0;
		3609	}
3234		3610
3235	int	3611	int
3236	prio (Coro::State coro, int newprio = 0)	3612	prio (Coro::State coro, int newprio = 0)
3237	PROTOTYPE: $;$	3613	PROTOTYPE: $;$
3238	ALIAS:	3614	ALIAS:
…		…
3244	if (items > 1)	3620	if (items > 1)
3245	{	3621	{
3246	if (ix)	3622	if (ix)
3247	newprio = coro->prio - newprio;	3623	newprio = coro->prio - newprio;
3248		3624
3249	if (newprio < PRIO_MIN) newprio = PRIO_MIN;	3625	if (newprio < CORO_PRIO_MIN) newprio = CORO_PRIO_MIN;
3250	if (newprio > PRIO_MAX) newprio = PRIO_MAX;	3626	if (newprio > CORO_PRIO_MAX) newprio = CORO_PRIO_MAX;
3251		3627
3252	coro->prio = newprio;	3628	coro->prio = newprio;
3253	}	3629	}
3254	}	3630	}
3255	OUTPUT:	3631	OUTPUT:
…		…
3270	RETVAL = coro_nready;	3646	RETVAL = coro_nready;
3271	OUTPUT:	3647	OUTPUT:
3272	RETVAL	3648	RETVAL
3273		3649
3274	void	3650	void
		3651	suspend (Coro::State self)
		3652	PROTOTYPE: $
		3653	CODE:
		3654	self->flags |= CF_SUSPENDED;
		3655
		3656	void
		3657	resume (Coro::State self)
		3658	PROTOTYPE: $
		3659	CODE:
		3660	self->flags &= ~CF_SUSPENDED;
		3661
		3662	void
3275	_pool_handler (...)	3663	_pool_handler (...)
3276	CODE:	3664	CODE:
3277	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);	3665	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
3278		3666
3279	void	3667	void
…		…
3290	for (i = 1; i < items; ++i)	3678	for (i = 1; i < items; ++i)
3291	av_push (av, SvREFCNT_inc_NN (ST (i)));	3679	av_push (av, SvREFCNT_inc_NN (ST (i)));
3292		3680
3293	if ((SV *)hv == &PL_sv_undef)	3681	if ((SV *)hv == &PL_sv_undef)
3294	{	3682	{
3295	PUSHMARK (SP);	3683	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3296	EXTEND (SP, 2);
3297	PUSHs (sv_Coro);
3298	PUSHs ((SV *)cv_pool_handler);
3299	PUTBACK;
3300	call_sv ((SV *)cv_coro_state_new, G_SCALAR);
3301	SPAGAIN;
3302
3303	hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));	3684	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
		3685	SvREFCNT_dec (sv);
3304	}	3686	}
3305		3687
3306	{	3688	{
3307	struct coro *coro = SvSTATE_hv (hv);	3689	struct coro *coro = SvSTATE_hv (hv);
3308		3690
…		…
3332	rouse_wait (...)	3714	rouse_wait (...)
3333	PROTOTYPE: ;$	3715	PROTOTYPE: ;$
3334	PPCODE:	3716	PPCODE:
3335	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);	3717	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);
3336		3718
		3719	void
		3720	on_enter (SV *block)
		3721	ALIAS:
		3722	on_leave = 1
		3723	PROTOTYPE: &
		3724	CODE:
		3725	{
		3726	struct coro *coro = SvSTATE_current;
		3727	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
		3728
		3729	block = s_get_cv_croak (block);
		3730
		3731	if (!*avp)
		3732	*avp = newAV ();
		3733
		3734	av_push (*avp, SvREFCNT_inc (block));
		3735
		3736	if (!ix)
		3737	on_enterleave_call (aTHX_ block);
		3738
		3739	LEAVE; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
		3740	SAVEDESTRUCTOR_X (ix ? coro_pop_on_leave : coro_pop_on_enter, (void *)coro);
		3741	ENTER; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
		3742	}
		3743
3337		3744
3338	MODULE = Coro::State PACKAGE = PerlIO::cede	3745	MODULE = Coro::State PACKAGE = PerlIO::cede
3339		3746
3340	BOOT:	3747	BOOT:
3341	PerlIO_define_layer (aTHX_ &PerlIO_cede);	3748	PerlIO_define_layer (aTHX_ &PerlIO_cede);
…		…
3344	MODULE = Coro::State PACKAGE = Coro::Semaphore	3751	MODULE = Coro::State PACKAGE = Coro::Semaphore
3345		3752
3346	SV *	3753	SV *
3347	new (SV *klass, SV *count = 0)	3754	new (SV *klass, SV *count = 0)
3348	CODE:	3755	CODE:
		3756	{
		3757	int semcnt = 1;
		3758
		3759	if (count)
		3760	{
		3761	SvGETMAGIC (count);
		3762
		3763	if (SvOK (count))
		3764	semcnt = SvIV (count);
		3765	}
		3766
3349	RETVAL = sv_bless (	3767	RETVAL = sv_bless (
3350	coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),	3768	coro_waitarray_new (aTHX_ semcnt),
3351	GvSTASH (CvGV (cv))	3769	GvSTASH (CvGV (cv))
3352	);	3770	);
		3771	}
3353	OUTPUT:	3772	OUTPUT:
3354	RETVAL	3773	RETVAL
3355		3774
3356	# helper for Coro::Channel	3775	# helper for Coro::Channel and others
3357	SV *	3776	SV *
3358	_alloc (int count)	3777	_alloc (int count)
3359	CODE:	3778	CODE:
3360	RETVAL = coro_waitarray_new (aTHX_ count);	3779	RETVAL = coro_waitarray_new (aTHX_ count);
3361	OUTPUT:	3780	OUTPUT:
…		…
3419	for (i = 1; i <= wcount; ++i)	3838	for (i = 1; i <= wcount; ++i)
3420	PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));	3839	PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));
3421	}	3840	}
3422	}	3841	}
3423		3842
		3843	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
		3844
		3845	void
		3846	_may_delete (SV *sem, int count, int extra_refs)
		3847	PPCODE:
		3848	{
		3849	AV *av = (AV *)SvRV (sem);
		3850
		3851	if (SvREFCNT ((SV *)av) == 1 + extra_refs
		3852	&& AvFILLp (av) == 0 /* no waiters, just count */
		3853	&& SvIV (AvARRAY (av)[0]) == count)
		3854	XSRETURN_YES;
		3855
		3856	XSRETURN_NO;
		3857	}
		3858
3424	MODULE = Coro::State PACKAGE = Coro::Signal	3859	MODULE = Coro::State PACKAGE = Coro::Signal
3425		3860
3426	SV *	3861	SV *
3427	new (SV *klass)	3862	new (SV *klass)
3428	CODE:	3863	CODE:
…		…
3499		3934
3500	void	3935	void
3501	_register (char *target, char *proto, SV *req)	3936	_register (char *target, char *proto, SV *req)
3502	CODE:	3937	CODE:
3503	{	3938	{
3504	CV *req_cv = coro_sv_2cv (aTHX_ req);	3939	SV *req_cv = s_get_cv_croak (req);
3505	/* newXSproto doesn't return the CV on 5.8 */	3940	/* newXSproto doesn't return the CV on 5.8 */
3506	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);	3941	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3507	sv_setpv ((SV *)slf_cv, proto);	3942	sv_setpv ((SV *)slf_cv, proto);
3508	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);	3943	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3509	}	3944	}
3510		3945
		3946	MODULE = Coro::State PACKAGE = Coro::Select
		3947
		3948	void
		3949	patch_pp_sselect ()
		3950	CODE:
		3951	if (!coro_old_pp_sselect)
		3952	{
		3953	coro_select_select = (SV *)get_cv ("Coro::Select::select", 0);
		3954	coro_old_pp_sselect = PL_ppaddr [OP_SSELECT];
		3955	PL_ppaddr [OP_SSELECT] = coro_pp_sselect;
		3956	}
		3957
		3958	void
		3959	unpatch_pp_sselect ()
		3960	CODE:
		3961	if (coro_old_pp_sselect)
		3962	{
		3963	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
		3964	coro_old_pp_sselect = 0;
		3965	}
		3966

Diff Legend

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