ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.346 by root, Tue Jun 9 18:56:45 2009 UTC vs.
Revision 1.395 by root, Fri May 6 07:22:14 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 {
…		…
229	int valgrind_id;	196	int valgrind_id;
230	#endif	197	#endif
231	unsigned char flags;	198	unsigned char flags;
232	} coro_cctx;	199	} coro_cctx;
233		200
234	coro_cctx *cctx_current; /* the currently running cctx */	201	static coro_cctx *cctx_current; /* the currently running cctx */
235		202
236	/*****************************************************************************/	203	/*****************************************************************************/
237		204
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 */
243	CF_SUSPENDED = 0x0010, /* coroutine can't be scheduled */	210	CF_SUSPENDED = 0x0010, /* coroutine can't be scheduled */
		211	CF_NOCANCEL = 0x0020, /* cannot cancel, set slf_frame.data to 1 (hackish) */
244	};	212	};
245		213
246	/* the structure where most of the perl state is stored, overlaid on the cxstack */	214	/* the structure where most of the perl state is stored, overlaid on the cxstack */
247	typedef struct	215	typedef struct
248	{	216	{
…		…
261	/* this is a structure representing a perl-level coroutine */	229	/* this is a structure representing a perl-level coroutine */
262	struct coro {	230	struct coro {
263	/* the C coroutine allocated to this perl coroutine, if any */	231	/* the C coroutine allocated to this perl coroutine, if any */
264	coro_cctx *cctx;	232	coro_cctx *cctx;
265		233
		234	/* ready queue */
		235	struct coro *next_ready;
		236
266	/* state data */	237	/* state data */
267	struct CoroSLF slf_frame; /* saved slf frame */	238	struct CoroSLF slf_frame; /* saved slf frame */
268	AV *mainstack;	239	AV *mainstack;
269	perl_slots *slot; /* basically the saved sp */	240	perl_slots *slot; /* basically the saved sp */
270		241
271	CV *startcv; /* the CV to execute */	242	CV *startcv; /* the CV to execute */
272	AV *args; /* data associated with this coroutine (initial args) */	243	AV *args; /* data associated with this coroutine (initial args) */
273	int refcnt; /* coroutines are refcounted, yes */	244	int refcnt; /* coroutines are refcounted, yes */
274	int flags; /* CF_ flags */	245	int flags; /* CF_ flags */
275	HV *hv; /* the perl hash associated with this coro, if any */	246	HV *hv; /* the perl hash associated with this coro, if any */
276	void (*on_destroy)(pTHX_ struct coro *coro);	247	void (*on_destroy)(pTHX_ struct coro *coro); /* for temporary use by xs in critical sections */
277		248
278	/* statistics */	249	/* statistics */
279	int usecount; /* number of transfers to this coro */	250	int usecount; /* number of transfers to this coro */
280		251
281	/* coro process data */	252	/* coro process data */
…		…
290		261
291	/* on_enter/on_leave */	262	/* on_enter/on_leave */
292	AV *on_enter;	263	AV *on_enter;
293	AV *on_leave;	264	AV *on_leave;
294		265
		266	/* swap_sv */
		267	AV *swap_sv;
		268
		269	/* times */
		270	coro_ts t_cpu, t_real;
		271
295	/* linked list */	272	/* linked list */
296	struct coro *next, *prev;	273	struct coro *next, *prev;
297	};	274	};
298		275
299	typedef struct coro *Coro__State;	276	typedef struct coro *Coro__State;
300	typedef struct coro *Coro__State_or_hashref;	277	typedef struct coro *Coro__State_or_hashref;
301		278
302	/* the following variables are effectively part of the perl context */	279	/* the following variables are effectively part of the perl context */
303	/* and get copied between struct coro and these variables */	280	/* and get copied between struct coro and these variables */
304	/* the mainr easonw e don't support windows process emulation */	281	/* the main reason we don't support windows process emulation */
305	static struct CoroSLF slf_frame; /* the current slf frame */	282	static struct CoroSLF slf_frame; /* the current slf frame */
306		283
307	/** Coro ********************************************************************/	284	/** Coro ********************************************************************/
308		285
309	#define PRIO_MAX 3	286	#define CORO_PRIO_MAX 3
310	#define PRIO_HIGH 1	287	#define CORO_PRIO_HIGH 1
311	#define PRIO_NORMAL 0	288	#define CORO_PRIO_NORMAL 0
312	#define PRIO_LOW -1	289	#define CORO_PRIO_LOW -1
313	#define PRIO_IDLE -3	290	#define CORO_PRIO_IDLE -3
314	#define PRIO_MIN -4	291	#define CORO_PRIO_MIN -4
315		292
316	/* for Coro.pm */	293	/* for Coro.pm */
317	static SV *coro_current;	294	static SV *coro_current;
318	static SV *coro_readyhook;	295	static SV *coro_readyhook;
319	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];	296	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */
320	static CV *cv_coro_run, *cv_coro_terminate;	297	static CV *cv_coro_run, *cv_coro_terminate;
321	static struct coro *coro_first;	298	static struct coro *coro_first;
322	#define coro_nready coroapi.nready	299	#define coro_nready coroapi.nready
		300
		301	/** Coro::Select ************************************************************/
		302
		303	static OP *(*coro_old_pp_sselect) (pTHX);
		304	static SV *coro_select_select;
		305
		306	/* horrible hack, but if it works... */
		307	static OP *
		308	coro_pp_sselect (pTHX)
		309	{
		310	dSP;
		311	PUSHMARK (SP - 4); /* fake argument list */
		312	XPUSHs (coro_select_select);
		313	PUTBACK;
		314
		315	/* entersub is an UNOP, select a LISTOP... keep your fingers crossed */
		316	PL_op->op_flags |= OPf_STACKED;
		317	PL_op->op_private = 0;
		318	return PL_ppaddr [OP_ENTERSUB](aTHX);
		319	}
		320
		321	/** time stuff **************************************************************/
		322
		323	#ifdef HAS_GETTIMEOFDAY
		324
		325	static void
		326	coro_u2time (pTHX_ UV ret[2])
		327	{
		328	struct timeval tv;
		329	gettimeofday (&tv, 0);
		330
		331	ret [0] = tv.tv_sec;
		332	ret [1] = tv.tv_usec;
		333	}
		334
		335	static double
		336	coro_nvtime ()
		337	{
		338	struct timeval tv;
		339	gettimeofday (&tv, 0);
		340
		341	return tv.tv_sec + tv.tv_usec * 1e-6;
		342	}
		343
		344	static void
		345	time_init (pTHX)
		346	{
		347	nvtime = coro_nvtime;
		348	u2time = coro_u2time;
		349	}
		350
		351	#else
		352
		353	static void
		354	time_init (pTHX)
		355	{
		356	SV **svp;
		357
		358	require_pv ("Time/HiRes.pm");
		359
		360	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
		361
		362	if (!svp) croak ("Time::HiRes is required, but missing. Caught");
		363	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");
		364
		365	nvtime = INT2PTR (double (*)(), SvIV (*svp));
		366
		367	svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0);
		368	u2time = INT2PTR (void (*)(pTHX_ UV ret[2]), SvIV (*svp));
		369	}
		370
		371	#endif
323		372
324	/** lowlevel stuff **********************************************************/	373	/** lowlevel stuff **********************************************************/
325		374
326	static SV *	375	static SV *
327	coro_get_sv (pTHX_ const char *name, int create)	376	coro_get_sv (pTHX_ const char *name, int create)
…		…
351	get_hv (name, create);	400	get_hv (name, create);
352	#endif	401	#endif
353	return get_hv (name, create);	402	return get_hv (name, create);
354	}	403	}
355		404
356	/* may croak */	405	INLINE void
357	INLINE CV *	406	coro_times_update ()
358	coro_sv_2cv (pTHX_ SV *sv)
359	{	407	{
360	HV *st;	408	#ifdef coro_clock_gettime
361	GV *gvp;	409	struct timespec ts;
362	CV *cv = sv_2cv (sv, &st, &gvp, 0);
363		410
364	if (!cv)	411	ts.tv_sec = ts.tv_nsec = 0;
365	croak ("code reference expected");	412	coro_clock_gettime (CORO_CLOCK_THREAD_CPUTIME_ID, &ts);
		413	time_cpu [0] = ts.tv_sec; time_cpu [1] = ts.tv_nsec;
366		414
367	return cv;	415	ts.tv_sec = ts.tv_nsec = 0;
		416	coro_clock_gettime (CORO_CLOCK_MONOTONIC, &ts);
		417	time_real [0] = ts.tv_sec; time_real [1] = ts.tv_nsec;
		418	#else
		419	dTHX;
		420	UV tv[2];
		421
		422	u2time (aTHX_ tv);
		423	time_real [0] = tv [0];
		424	time_real [1] = tv [1] * 1000;
		425	#endif
		426	}
		427
		428	INLINE void
		429	coro_times_add (struct coro *c)
		430	{
		431	c->t_real [1] += time_real [1];
		432	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
		433	c->t_real [0] += time_real [0];
		434
		435	c->t_cpu [1] += time_cpu [1];
		436	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
		437	c->t_cpu [0] += time_cpu [0];
		438	}
		439
		440	INLINE void
		441	coro_times_sub (struct coro *c)
		442	{
		443	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
		444	c->t_real [1] -= time_real [1];
		445	c->t_real [0] -= time_real [0];
		446
		447	if (c->t_cpu [1] < time_cpu [1]) { c->t_cpu [1] += 1000000000; --c->t_cpu [0]; }
		448	c->t_cpu [1] -= time_cpu [1];
		449	c->t_cpu [0] -= time_cpu [0];
368	}	450	}
369		451
370	/*****************************************************************************/	452	/*****************************************************************************/
371	/* magic glue */	453	/* magic glue */
372		454
…		…
472	static int	554	static int
473	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	555	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
474	{	556	{
475	AV *padlist;	557	AV *padlist;
476	AV *av = (AV *)mg->mg_obj;	558	AV *av = (AV *)mg->mg_obj;
		559
		560	/* perl manages to free our internal AV and _then_ call us */
		561	if (IN_DESTRUCT)
		562	return 0;
477		563
478	/* casting is fun. */	564	/* casting is fun. */
479	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))	565	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
480	free_padlist (aTHX_ padlist);	566	free_padlist (aTHX_ padlist);
481		567
…		…
530	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);	616	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
531	}	617	}
532		618
533	/** load & save, init *******************************************************/	619	/** load & save, init *******************************************************/
534		620
		621	/* swap sv heads, at least logically */
		622	static void
		623	swap_svs (pTHX_ Coro__State c)
		624	{
		625	int i;
		626
		627	for (i = 0; i <= AvFILLp (c->swap_sv); )
		628	{
		629	SV *a = AvARRAY (c->swap_sv)[i++];
		630	SV *b = AvARRAY (c->swap_sv)[i++];
		631
		632	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
		633	SV tmp;
		634
		635	/* swap sv_any */
		636	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		637
		638	/* swap sv_flags */
		639	SvFLAGS (&tmp) = SvFLAGS (a);
		640	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
		641	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
		642
		643	#if PERL_VERSION_ATLEAST (5,10,0)
		644	/* perl 5.10 complicates this _quite_ a bit, but it also is
		645	* much faster, so no quarrels here. alternatively, we could
		646	* sv_upgrade to avoid this.
		647	*/
		648	{
		649	/* swap sv_u */
		650	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		651
		652	/* if SvANY points to the head, we need to adjust the pointers,
		653	* as the pointer for a still points to b, and maybe vice versa.
		654	*/
		655	#define svany_in_head(type) \
		656	(((1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV)) & (1 << (type)))
		657
		658	if (svany_in_head (SvTYPE (a)))
		659	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		660
		661	if (svany_in_head (SvTYPE (b)))
		662	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		663	}
		664	#endif
		665	}
		666	}
		667
		668	#define SWAP_SVS(coro) \
		669	if (expect_false ((coro)->swap_sv)) \
		670	swap_svs (aTHX_ (coro))
		671
535	static void	672	static void
536	on_enterleave_call (pTHX_ SV *cb);	673	on_enterleave_call (pTHX_ SV *cb);
537		674
538	static void	675	static void
539	load_perl (pTHX_ Coro__State c)	676	load_perl (pTHX_ Coro__State c)
…		…
570	}	707	}
571		708
572	slf_frame = c->slf_frame;	709	slf_frame = c->slf_frame;
573	CORO_THROW = c->except;	710	CORO_THROW = c->except;
574		711
		712	if (expect_false (enable_times))
		713	{
		714	if (expect_false (!times_valid))
		715	coro_times_update ();
		716
		717	coro_times_sub (c);
		718	}
		719
575	if (expect_false (c->on_enter))	720	if (expect_false (c->on_enter))
576	{	721	{
577	int i;	722	int i;
578		723
579	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	724	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
580	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	725	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
581	}	726	}
		727
		728	SWAP_SVS (c);
582	}	729	}
583		730
584	static void	731	static void
585	save_perl (pTHX_ Coro__State c)	732	save_perl (pTHX_ Coro__State c)
586	{	733	{
		734	SWAP_SVS (c);
		735
587	if (expect_false (c->on_leave))	736	if (expect_false (c->on_leave))
588	{	737	{
589	int i;	738	int i;
590		739
591	for (i = AvFILLp (c->on_leave); i >= 0; --i)	740	for (i = AvFILLp (c->on_leave); i >= 0; --i)
592	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);	741	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
		742	}
		743
		744	times_valid = 0;
		745
		746	if (expect_false (enable_times))
		747	{
		748	coro_times_update (); times_valid = 1;
		749	coro_times_add (c);
593	}	750	}
594		751
595	c->except = CORO_THROW;	752	c->except = CORO_THROW;
596	c->slf_frame = slf_frame;	753	c->slf_frame = slf_frame;
597		754
…		…
612	{	769	{
613	while (expect_true (cxix >= 0))	770	while (expect_true (cxix >= 0))
614	{	771	{
615	PERL_CONTEXT *cx = &ccstk[cxix--];	772	PERL_CONTEXT *cx = &ccstk[cxix--];
616		773
617	if (expect_true (CxTYPE (cx) == CXt_SUB || CxTYPE (cx) == CXt_FORMAT))	774	if (expect_true (CxTYPE (cx) == CXt_SUB) || expect_false (CxTYPE (cx) == CXt_FORMAT))
618	{	775	{
619	CV *cv = cx->blk_sub.cv;	776	CV *cv = cx->blk_sub.cv;
620		777
621	if (expect_true (CvDEPTH (cv)))	778	if (expect_true (CvDEPTH (cv)))
622	{	779	{
…		…
646	/* we manually unroll here, as usually 2 slots is enough */	803	/* we manually unroll here, as usually 2 slots is enough */
647	if (SLOT_COUNT >= 1) CXINC;	804	if (SLOT_COUNT >= 1) CXINC;
648	if (SLOT_COUNT >= 2) CXINC;	805	if (SLOT_COUNT >= 2) CXINC;
649	if (SLOT_COUNT >= 3) CXINC;	806	if (SLOT_COUNT >= 3) CXINC;
650	{	807	{
651	int i;	808	unsigned int i;
652	for (i = 3; i < SLOT_COUNT; ++i)	809	for (i = 3; i < SLOT_COUNT; ++i)
653	CXINC;	810	CXINC;
654	}	811	}
655	cxstack_ix -= SLOT_COUNT; /* undo allocation */	812	cxstack_ix -= SLOT_COUNT; /* undo allocation */
656		813
…		…
890	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1047	slf_check_repeat (pTHX_ struct CoroSLF *frame)
891	{	1048	{
892	return 1;	1049	return 1;
893	}	1050	}
894		1051
895	static UNOP coro_setup_op;	1052	static UNOP init_perl_op;
896		1053
897	static void NOINLINE /* noinline to keep it out of the transfer fast path */	1054	static void NOINLINE /* noinline to keep it out of the transfer fast path */
898	coro_setup (pTHX_ struct coro *coro)	1055	init_perl (pTHX_ struct coro *coro)
899	{	1056	{
900	/*	1057	/*
901	* emulate part of the perl startup here.	1058	* emulate part of the perl startup here.
902	*/	1059	*/
903	coro_init_stacks (aTHX);	1060	coro_init_stacks (aTHX);
…		…
910	PL_comppad_name_fill = 0;	1067	PL_comppad_name_fill = 0;
911	PL_comppad_name_floor = 0;	1068	PL_comppad_name_floor = 0;
912	PL_curpm = 0;	1069	PL_curpm = 0;
913	PL_curpad = 0;	1070	PL_curpad = 0;
914	PL_localizing = 0;	1071	PL_localizing = 0;
915	PL_dirty = 0;
916	PL_restartop = 0;	1072	PL_restartop = 0;
917	#if PERL_VERSION_ATLEAST (5,10,0)	1073	#if PERL_VERSION_ATLEAST (5,10,0)
918	PL_parser = 0;	1074	PL_parser = 0;
919	#endif	1075	#endif
920	PL_hints = 0;	1076	PL_hints = 0;
…		…
952	*/	1108	*/
953	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */	1109	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 */	1110	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
955		1111
956	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */	1112	/* 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;	1113	init_perl_op.op_next = PL_op;
958	coro_setup_op.op_type = OP_ENTERSUB;	1114	init_perl_op.op_type = OP_ENTERSUB;
959	coro_setup_op.op_ppaddr = pp_slf;	1115	init_perl_op.op_ppaddr = pp_slf;
960	/* no flags etc. required, as an init function won't be called */	1116	/* no flags etc. required, as an init function won't be called */
961		1117
962	PL_op = (OP *)&coro_setup_op;	1118	PL_op = (OP *)&init_perl_op;
963		1119
964	/* copy throw, in case it was set before coro_setup */	1120	/* copy throw, in case it was set before init_perl */
965	CORO_THROW = coro->except;	1121	CORO_THROW = coro->except;
		1122
		1123	SWAP_SVS (coro);
		1124
		1125	if (expect_false (enable_times))
		1126	{
		1127	coro_times_update ();
		1128	coro_times_sub (coro);
		1129	}
966	}	1130	}
967		1131
968	static void	1132	static void
969	coro_unwind_stacks (pTHX)	1133	coro_unwind_stacks (pTHX)
970	{	1134	{
…		…
985	dounwind (-1);	1149	dounwind (-1);
986	}	1150	}
987	}	1151	}
988		1152
989	static void	1153	static void
990	coro_destruct_perl (pTHX_ struct coro *coro)	1154	destroy_perl (pTHX_ struct coro *coro)
991	{	1155	{
		1156	SV *svf [9];
		1157
		1158	{
		1159	struct coro *current = SvSTATE_current;
		1160
		1161	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
		1162
		1163	save_perl (aTHX_ current);
		1164	/*SvRV_set (coro_current, (SV *)coro->hv);*/
		1165	load_perl (aTHX_ coro);
		1166
992	coro_unwind_stacks (aTHX);	1167	coro_unwind_stacks (aTHX);
		1168	coro_destruct_stacks (aTHX);
993		1169
994	SvREFCNT_dec (GvSV (PL_defgv));	1170	/* restore swapped sv's */
995	SvREFCNT_dec (GvAV (PL_defgv));	1171	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		1172
1002	SvREFCNT_dec (PL_diehook);	1173	// now save some sv's to be free'd later
1003	SvREFCNT_dec (PL_warnhook);	1174	svf [0] = GvSV (PL_defgv);
		1175	svf [1] = (SV *)GvAV (PL_defgv);
		1176	svf [2] = GvSV (PL_errgv);
		1177	svf [3] = (SV *)PL_defoutgv;
		1178	svf [4] = PL_rs;
		1179	svf [5] = GvSV (irsgv);
		1180	svf [6] = (SV *)GvHV (PL_hintgv);
		1181	svf [7] = PL_diehook;
		1182	svf [8] = PL_warnhook;
		1183	assert (9 == sizeof (svf) / sizeof (*svf));
		1184
		1185	/*SvRV_set (coro_current, (SV *)current->hv);*/
		1186	load_perl (aTHX_ current);
1004		1187	}
		1188
		1189	{
		1190	unsigned int i;
		1191
		1192	for (i = 0; i < sizeof (svf) / sizeof (*svf); ++i)
		1193	SvREFCNT_dec (svf [i]);
		1194
1005	SvREFCNT_dec (coro->saved_deffh);	1195	SvREFCNT_dec (coro->saved_deffh);
1006	SvREFCNT_dec (coro->rouse_cb);	1196	SvREFCNT_dec (coro->rouse_cb);
1007	SvREFCNT_dec (coro->invoke_cb);	1197	SvREFCNT_dec (coro->invoke_cb);
1008	SvREFCNT_dec (coro->invoke_av);	1198	SvREFCNT_dec (coro->invoke_av);
1009		1199	}
1010	coro_destruct_stacks (aTHX);
1011	}	1200	}
1012		1201
1013	INLINE void	1202	INLINE void
1014	free_coro_mortal (pTHX)	1203	free_coro_mortal (pTHX)
1015	{	1204	{
…		…
1212	/* somebody or something will hit me for both perl_run and PL_restartop */	1401	/* somebody or something will hit me for both perl_run and PL_restartop */
1213	PL_restartop = PL_op;	1402	PL_restartop = PL_op;
1214	perl_run (PL_curinterp);	1403	perl_run (PL_curinterp);
1215	/*	1404	/*
1216	* Unfortunately, there is no way to get at the return values of the	1405	* Unfortunately, there is no way to get at the return values of the
1217	* coro body here, as perl_run destroys these	1406	* coro body here, as perl_run destroys these. Likewise, we cannot catch
		1407	* runtime errors here, as this is just a random interpreter, not a thread.
1218	*/	1408	*/
1219		1409
1220	/*	1410	/*
1221	* If perl-run returns we assume exit() was being called or the coro	1411	* 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)	1412	* fell off the end, which seems to be the only valid (non-bug)
…		…
1309	cctx_destroy (coro_cctx *cctx)	1499	cctx_destroy (coro_cctx *cctx)
1310	{	1500	{
1311	if (!cctx)	1501	if (!cctx)
1312	return;	1502	return;
1313		1503
1314	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));//D temporary?	1504	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1315		1505
1316	--cctx_count;	1506	--cctx_count;
1317	coro_destroy (&cctx->cctx);	1507	coro_destroy (&cctx->cctx);
1318		1508
1319	/* coro_transfer creates new, empty cctx's */	1509	/* coro_transfer creates new, empty cctx's */
…		…
1429	if (expect_false (next->flags & CF_NEW))	1619	if (expect_false (next->flags & CF_NEW))
1430	{	1620	{
1431	/* need to start coroutine */	1621	/* need to start coroutine */
1432	next->flags &= ~CF_NEW;	1622	next->flags &= ~CF_NEW;
1433	/* setup coroutine call */	1623	/* setup coroutine call */
1434	coro_setup (aTHX_ next);	1624	init_perl (aTHX_ next);
1435	}	1625	}
1436	else	1626	else
1437	load_perl (aTHX_ next);	1627	load_perl (aTHX_ next);
1438		1628
1439	/* possibly untie and reuse the cctx */	1629	/* possibly untie and reuse the cctx */
…		…
1478	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))	1668	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))
1479	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)	1669	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)
1480		1670
1481	/** high level stuff ********************************************************/	1671	/** high level stuff ********************************************************/
1482		1672
1483	static int	1673	static void
1484	coro_state_destroy (pTHX_ struct coro *coro)	1674	coro_state_destroy (pTHX_ struct coro *coro)
1485	{	1675	{
1486	if (coro->flags & CF_DESTROYED)	1676	if (coro->flags & CF_DESTROYED)
1487	return 0;	1677	return;
1488		1678
		1679	/* this callback is reserved for slf functions needing to do cleanup */
1489	if (coro->on_destroy && !PL_dirty)	1680	if (coro->on_destroy && !PL_dirty)
1490	coro->on_destroy (aTHX_ coro);	1681	coro->on_destroy (aTHX_ coro);
		1682
		1683	/*
		1684	* The on_destroy above most likely is from an SLF call.
		1685	* Since by definition the SLF call will not finish when we destroy
		1686	* the coro, we will have to force-finish it here, otherwise
		1687	* cleanup functions cannot call SLF functions.
		1688	*/
		1689	coro->slf_frame.prepare = 0;
1491		1690
1492	coro->flags |= CF_DESTROYED;	1691	coro->flags |= CF_DESTROYED;
1493		1692
1494	if (coro->flags & CF_READY)	1693	if (coro->flags & CF_READY)
1495	{	1694	{
…		…
1502		1701
1503	if (coro->mainstack	1702	if (coro->mainstack
1504	&& coro->mainstack != main_mainstack	1703	&& coro->mainstack != main_mainstack
1505	&& coro->slot	1704	&& coro->slot
1506	&& !PL_dirty)	1705	&& !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);	1706	destroy_perl (aTHX_ coro);
1516		1707
1517	load_perl (aTHX_ current);	1708	if (coro->next) coro->next->prev = coro->prev;
1518		1709	if (coro->prev) coro->prev->next = coro->next;
1519	coro->slot = 0;	1710	if (coro == coro_first) coro_first = coro->next;
1520	}
1521		1711
1522	cctx_destroy (coro->cctx);	1712	cctx_destroy (coro->cctx);
1523	SvREFCNT_dec (coro->startcv);	1713	SvREFCNT_dec (coro->startcv);
1524	SvREFCNT_dec (coro->args);	1714	SvREFCNT_dec (coro->args);
		1715	SvREFCNT_dec (coro->swap_sv);
1525	SvREFCNT_dec (CORO_THROW);	1716	SvREFCNT_dec (CORO_THROW);
1526
1527	if (coro->next) coro->next->prev = coro->prev;
1528	if (coro->prev) coro->prev->next = coro->next;
1529	if (coro == coro_first) coro_first = coro->next;
1530
1531	return 1;
1532	}	1717	}
1533		1718
1534	static int	1719	static int
1535	coro_state_free (pTHX_ SV *sv, MAGIC *mg)	1720	coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1536	{	1721	{
…		…
1584		1769
1585	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);	1770	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1586	TRANSFER (ta, 1);	1771	TRANSFER (ta, 1);
1587	}	1772	}
1588		1773
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 ********************************************************************/	1774	/** Coro ********************************************************************/
1613		1775
1614	INLINE void	1776	INLINE void
1615	coro_enq (pTHX_ struct coro *coro)	1777	coro_enq (pTHX_ struct coro *coro)
1616	{	1778	{
1617	av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));	1779	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1618	}
1619		1780
1620	INLINE SV *	1781	SvREFCNT_inc_NN (coro->hv);
		1782
		1783	coro->next_ready = 0;
		1784	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
		1785	ready [1] = coro;
		1786	}
		1787
		1788	INLINE struct coro *
1621	coro_deq (pTHX)	1789	coro_deq (pTHX)
1622	{	1790	{
1623	int prio;	1791	int prio;
1624		1792
1625	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )	1793	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
1626	if (AvFILLp (coro_ready [prio]) >= 0)	1794	{
1627	return av_shift (coro_ready [prio]);	1795	struct coro **ready = coro_ready [prio];
		1796
		1797	if (ready [0])
		1798	{
		1799	struct coro *coro = ready [0];
		1800	ready [0] = coro->next_ready;
		1801	return coro;
		1802	}
		1803	}
1628		1804
1629	return 0;	1805	return 0;
		1806	}
		1807
		1808	static void
		1809	invoke_sv_ready_hook_helper (void)
		1810	{
		1811	dTHX;
		1812	dSP;
		1813
		1814	ENTER;
		1815	SAVETMPS;
		1816
		1817	PUSHMARK (SP);
		1818	PUTBACK;
		1819	call_sv (coro_readyhook, G_VOID | G_DISCARD);
		1820
		1821	FREETMPS;
		1822	LEAVE;
1630	}	1823	}
1631		1824
1632	static int	1825	static int
1633	api_ready (pTHX_ SV *coro_sv)	1826	api_ready (pTHX_ SV *coro_sv)
1634	{	1827	{
1635	struct coro *coro;
1636	SV *sv_hook;
1637	void (*xs_hook)(void);
1638
1639	coro = SvSTATE (coro_sv);	1828	struct coro *coro = SvSTATE (coro_sv);
1640		1829
1641	if (coro->flags & CF_READY)	1830	if (coro->flags & CF_READY)
1642	return 0;	1831	return 0;
1643		1832
1644	coro->flags |= CF_READY;	1833	coro->flags |= CF_READY;
1645		1834
1646	sv_hook = coro_nready ? 0 : coro_readyhook;
1647	xs_hook = coro_nready ? 0 : coroapi.readyhook;
1648
1649	coro_enq (aTHX_ coro);	1835	coro_enq (aTHX_ coro);
1650	++coro_nready;
1651		1836
1652	if (sv_hook)	1837	if (!coro_nready++)
1653	{	1838	if (coroapi.readyhook)
1654	dSP;	1839	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		1840
1670	return 1;	1841	return 1;
1671	}	1842	}
1672		1843
1673	static int	1844	static int
…		…
1696	static void	1867	static void
1697	prepare_schedule (pTHX_ struct coro_transfer_args *ta)	1868	prepare_schedule (pTHX_ struct coro_transfer_args *ta)
1698	{	1869	{
1699	for (;;)	1870	for (;;)
1700	{	1871	{
1701	SV *next_sv = coro_deq (aTHX);	1872	struct coro *next = coro_deq (aTHX);
1702		1873
1703	if (expect_true (next_sv))	1874	if (expect_true (next))
1704	{	1875	{
1705	struct coro *next = SvSTATE_hv (next_sv);
1706
1707	/* cannot transfer to destroyed coros, skip and look for next */	1876	/* cannot transfer to destroyed coros, skip and look for next */
1708	if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED)))	1877	if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED)))
1709	SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */	1878	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1710	else	1879	else
1711	{	1880	{
1712	next->flags &= ~CF_READY;	1881	next->flags &= ~CF_READY;
1713	--coro_nready;	1882	--coro_nready;
1714		1883
…		…
1720	{	1889	{
1721	/* nothing to schedule: call the idle handler */	1890	/* nothing to schedule: call the idle handler */
1722	if (SvROK (sv_idle)	1891	if (SvROK (sv_idle)
1723	&& SvOBJECT (SvRV (sv_idle)))	1892	&& SvOBJECT (SvRV (sv_idle)))
1724	{	1893	{
		1894	if (SvRV (sv_idle) == SvRV (coro_current))
		1895	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");
		1896
1725	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	1897	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1726	api_ready (aTHX_ SvRV (sv_idle));	1898	api_ready (aTHX_ SvRV (sv_idle));
1727	--coro_nready;	1899	--coro_nready;
1728	}	1900	}
1729	else	1901	else
1730	{	1902	{
		1903	/* TODO: deprecated, remove, cannot work reliably *//*D*/
1731	dSP;	1904	dSP;
1732		1905
1733	ENTER;	1906	ENTER;
1734	SAVETMPS;	1907	SAVETMPS;
1735		1908
…		…
1845		2018
1846	static void	2019	static void
1847	coro_call_on_destroy (pTHX_ struct coro *coro)	2020	coro_call_on_destroy (pTHX_ struct coro *coro)
1848	{	2021	{
1849	SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);	2022	SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);
1850	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
1851		2023
1852	if (on_destroyp)	2024	if (on_destroyp)
1853	{	2025	{
1854	AV *on_destroy = (AV *)SvRV (*on_destroyp);	2026	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
		2027	AV *on_destroy = sv_2mortal (SvREFCNT_inc ((AV *)SvRV (*on_destroyp)));
		2028	AV *status = statusp ? sv_2mortal (SvREFCNT_inc ((AV *)SvRV (*statusp))) : 0;
1855		2029
1856	while (AvFILLp (on_destroy) >= 0)	2030	while (AvFILLp (on_destroy) >= 0)
1857	{	2031	{
1858	dSP; /* don't disturb outer sp */	2032	dSP; /* don't disturb outer sp */
1859	SV *cb = av_pop (on_destroy);	2033	SV *cb = av_pop (on_destroy);
…		…
1861	PUSHMARK (SP);	2035	PUSHMARK (SP);
1862		2036
1863	if (statusp)	2037	if (statusp)
1864	{	2038	{
1865	int i;	2039	int i;
1866	AV *status = (AV *)SvRV (*statusp);
1867	EXTEND (SP, AvFILLp (status) + 1);	2040	EXTEND (SP, AvFILLp (status) + 1);
1868		2041
1869	for (i = 0; i <= AvFILLp (status); ++i)	2042	for (i = 0; i <= AvFILLp (status); ++i)
1870	PUSHs (AvARRAY (status)[i]);	2043	PUSHs (AvARRAY (status)[i]);
1871	}	2044	}
…		…
1875	}	2048	}
1876	}	2049	}
1877	}	2050	}
1878		2051
1879	static void	2052	static void
1880	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2053	coro_set_status (HV *coro_hv, SV **arg, int items)
1881	{	2054	{
1882	int i;
1883	HV *hv = (HV *)SvRV (coro_current);
1884	AV *av = newAV ();	2055	AV *av = newAV ();
1885		2056
		2057	/* items are actually not so common, so optimise for this case */
		2058	if (items)
		2059	{
		2060	int i;
		2061
1886	av_extend (av, items - 1);	2062	av_extend (av, items - 1);
		2063
1887	for (i = 0; i < items; ++i)	2064	for (i = 0; i < items; ++i)
1888	av_push (av, SvREFCNT_inc_NN (arg [i]));	2065	av_push (av, SvREFCNT_inc_NN (arg [i]));
		2066	}
1889		2067
1890	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);	2068	hv_store (coro_hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);
		2069	}
1891		2070
		2071	static void
		2072	slf_init_terminate_cancel_common (pTHX_ struct CoroSLF *frame, HV *coro_hv)
		2073	{
1892	av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */	2074	av_push (av_destroy, (SV *)newRV_inc ((SV *)coro_hv)); /* RVinc for perl */
1893	api_ready (aTHX_ sv_manager);	2075	api_ready (aTHX_ sv_manager);
1894		2076
1895	frame->prepare = prepare_schedule;	2077	frame->prepare = prepare_schedule;
1896	frame->check = slf_check_repeat;	2078	frame->check = slf_check_repeat;
1897		2079
1898	/* as a minor optimisation, we could unwind all stacks here */	2080	/* as a minor optimisation, we could unwind all stacks here */
1899	/* but that puts extra pressure on pp_slf, and is not worth much */	2081	/* but that puts extra pressure on pp_slf, and is not worth much */
1900	/*coro_unwind_stacks (aTHX);*/	2082	/*coro_unwind_stacks (aTHX);*/
		2083	}
		2084
		2085	static void
		2086	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2087	{
		2088	HV *coro_hv = (HV *)SvRV (coro_current);
		2089
		2090	coro_set_status (coro_hv, arg, items);
		2091	slf_init_terminate_cancel_common (frame, coro_hv);
		2092	}
		2093
		2094	static void
		2095	slf_init_cancel (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2096	{
		2097	HV *coro_hv;
		2098	struct coro *coro;
		2099
		2100	if (items <= 0)
		2101	croak ("Coro::cancel called without coro object,");
		2102
		2103	coro = SvSTATE (arg [0]);
		2104	coro_hv = coro->hv;
		2105
		2106	coro_set_status (coro_hv, arg + 1, items - 1);
		2107
		2108	if (expect_false (coro->flags & CF_NOCANCEL))
		2109	{
		2110	/* coro currently busy cancelling something, so just notify it */
		2111	coro->slf_frame.data = (void *)coro;
		2112
		2113	frame->prepare = prepare_nop;
		2114	frame->check = slf_check_nop;
		2115	}
		2116	else if (coro_hv == (HV *)SvRV (coro_current))
		2117	{
		2118	/* cancelling the current coro is allowed, and equals terminate */
		2119	slf_init_terminate_cancel_common (frame, coro_hv);
		2120	}
		2121	else
		2122	{
		2123	struct coro *self = SvSTATE_current;
		2124
		2125	/* otherwise we cancel directly, purely for speed reasons
		2126	* unfortunately, this requires some magic trickery, as
		2127	* somebody else could cancel us, so we have to fight the cancellation.
		2128	* this is ugly, and hopefully fully worth the extra speed.
		2129	* besides, I can't get the slow-but-safe version working...
		2130	*/
		2131	slf_frame.data = 0;
		2132	self->flags |= CF_NOCANCEL;
		2133
		2134	coro_state_destroy (aTHX_ coro);
		2135	coro_call_on_destroy (aTHX_ coro);
		2136
		2137	self->flags &= ~CF_NOCANCEL;
		2138
		2139	if (slf_frame.data)
		2140	{
		2141	/* while we were busy we have been cancelled, so terminate */
		2142	slf_init_terminate_cancel_common (frame, self->hv);
		2143	}
		2144	else
		2145	{
		2146	frame->prepare = prepare_nop;
		2147	frame->check = slf_check_nop;
		2148	}
		2149	}
1901	}	2150	}
1902		2151
1903	/*****************************************************************************/	2152	/*****************************************************************************/
1904	/* async pool handler */	2153	/* async pool handler */
1905		2154
…		…
1983		2232
1984	static void	2233	static void
1985	coro_rouse_callback (pTHX_ CV *cv)	2234	coro_rouse_callback (pTHX_ CV *cv)
1986	{	2235	{
1987	dXSARGS;	2236	dXSARGS;
1988	SV *data = (SV *)GENSUB_ARG;	2237	SV *data = (SV *)S_GENSUB_ARG;
1989		2238
1990	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2239	if (SvTYPE (SvRV (data)) != SVt_PVAV)
1991	{	2240	{
1992	/* first call, set args */	2241	/* first call, set args */
1993	SV *coro = SvRV (data);	2242	SV *coro = SvRV (data);
…		…
2059	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2308	|| SvTYPE (SvRV (cb)) != SVt_PVCV
2060	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2309	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2061	croak ("Coro::rouse_wait called with illegal callback argument,");	2310	croak ("Coro::rouse_wait called with illegal callback argument,");
2062		2311
2063	{	2312	{
2064	CV *cv = (CV *)SvRV (cb); /* for GENSUB_ARG */	2313	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
2065	SV *data = (SV *)GENSUB_ARG;	2314	SV *data = (SV *)S_GENSUB_ARG;
2066		2315
2067	frame->data = (void *)data;	2316	frame->data = (void *)data;
2068	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2317	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;
2069	frame->check = slf_check_rouse_wait;	2318	frame->check = slf_check_rouse_wait;
2070	}	2319	}
…		…
2074	coro_new_rouse_cb (pTHX)	2323	coro_new_rouse_cb (pTHX)
2075	{	2324	{
2076	HV *hv = (HV *)SvRV (coro_current);	2325	HV *hv = (HV *)SvRV (coro_current);
2077	struct coro *coro = SvSTATE_hv (hv);	2326	struct coro *coro = SvSTATE_hv (hv);
2078	SV *data = newRV_inc ((SV *)hv);	2327	SV *data = newRV_inc ((SV *)hv);
2079	SV *cb = gensub (aTHX_ coro_rouse_callback, (void *)data);	2328	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);
2080		2329
2081	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2330	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2082	SvREFCNT_dec (data); /* magicext increases the refcount */	2331	SvREFCNT_dec (data); /* magicext increases the refcount */
2083		2332
2084	SvREFCNT_dec (coro->rouse_cb);	2333	SvREFCNT_dec (coro->rouse_cb);
…		…
2309	if (PL_op->op_flags & OPf_STACKED)	2558	if (PL_op->op_flags & OPf_STACKED)
2310	{	2559	{
2311	if (items > slf_arga)	2560	if (items > slf_arga)
2312	{	2561	{
2313	slf_arga = items;	2562	slf_arga = items;
2314	free (slf_argv);	2563	Safefree (slf_argv);
2315	slf_argv = malloc (slf_arga * sizeof (SV *));	2564	New (0, slf_argv, slf_arga, SV *);
2316	}	2565	}
2317		2566
2318	slf_argc = items;	2567	slf_argc = items;
2319		2568
2320	for (i = 0; i < items; ++i)	2569	for (i = 0; i < items; ++i)
…		…
2455	/* Coro::Semaphore & Coro::Signal */	2704	/* Coro::Semaphore & Coro::Signal */
2456		2705
2457	static SV *	2706	static SV *
2458	coro_waitarray_new (pTHX_ int count)	2707	coro_waitarray_new (pTHX_ int count)
2459	{	2708	{
2460	/* a semaphore contains a counter IV in $sem->[0] and any waiters after that */	2709	/* a waitarray=semaphore contains a counter IV in $sem->[0] and any waiters after that */
2461	AV *av = newAV ();	2710	AV *av = newAV ();
2462	SV **ary;	2711	SV **ary;
2463		2712
2464	/* unfortunately, building manually saves memory */	2713	/* unfortunately, building manually saves memory */
2465	Newx (ary, 2, SV *);	2714	Newx (ary, 2, SV *);
…		…
2607	{	2856	{
2608	if (items >= 2)	2857	if (items >= 2)
2609	{	2858	{
2610	/* callback form */	2859	/* callback form */
2611	AV *av = (AV *)SvRV (arg [0]);	2860	AV *av = (AV *)SvRV (arg [0]);
2612	CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);	2861	SV *cb_cv = s_get_cv_croak (arg [1]);
2613		2862
2614	av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));	2863	av_push (av, SvREFCNT_inc_NN (cb_cv));
2615		2864
2616	if (SvIVX (AvARRAY (av)[0]) > 0)	2865	if (SvIVX (AvARRAY (av)[0]) > 0)
2617	coro_semaphore_adjust (aTHX_ av, 0);	2866	coro_semaphore_adjust (aTHX_ av, 0);
2618		2867
2619	frame->prepare = prepare_nop;	2868	frame->prepare = prepare_nop;
…		…
2643	AvARRAY (av)[0] = AvARRAY (av)[1];	2892	AvARRAY (av)[0] = AvARRAY (av)[1];
2644	AvARRAY (av)[1] = cb;	2893	AvARRAY (av)[1] = cb;
2645		2894
2646	cb = av_shift (av);	2895	cb = av_shift (av);
2647		2896
		2897	if (SvTYPE (cb) == SVt_PVCV)
		2898	{
		2899	dSP;
		2900	PUSHMARK (SP);
		2901	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
		2902	PUTBACK;
		2903	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
		2904	}
		2905	else
		2906	{
2648	api_ready (aTHX_ cb);	2907	api_ready (aTHX_ cb);
2649	sv_setiv (cb, 0); /* signal waiter */	2908	sv_setiv (cb, 0); /* signal waiter */
		2909	}
		2910
2650	SvREFCNT_dec (cb);	2911	SvREFCNT_dec (cb);
2651		2912
2652	--count;	2913	--count;
2653	}	2914	}
2654	}	2915	}
…		…
2663	static void	2924	static void
2664	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2925	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2665	{	2926	{
2666	AV *av = (AV *)SvRV (arg [0]);	2927	AV *av = (AV *)SvRV (arg [0]);
2667		2928
		2929	if (items >= 2)
		2930	{
		2931	SV *cb_cv = s_get_cv_croak (arg [1]);
		2932	av_push (av, SvREFCNT_inc_NN (cb_cv));
		2933
2668	if (SvIVX (AvARRAY (av)[0]))	2934	if (SvIVX (AvARRAY (av)[0]))
		2935	coro_signal_wake (aTHX_ av, 1); /* must be the only waiter */
		2936
		2937	frame->prepare = prepare_nop;
		2938	frame->check = slf_check_nop;
		2939	}
		2940	else if (SvIVX (AvARRAY (av)[0]))
2669	{	2941	{
2670	SvIVX (AvARRAY (av)[0]) = 0;	2942	SvIVX (AvARRAY (av)[0]) = 0;
2671	frame->prepare = prepare_nop;	2943	frame->prepare = prepare_nop;
2672	frame->check = slf_check_nop;	2944	frame->check = slf_check_nop;
2673	}	2945	}
2674	else	2946	else
2675	{	2947	{
2676	SV *waiter = newRV_inc (SvRV (coro_current)); /* owned by signal av */	2948	SV *waiter = newSVsv (coro_current); /* owned by signal av */
2677		2949
2678	av_push (av, waiter);	2950	av_push (av, waiter);
2679		2951
2680	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */	2952	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */
2681	frame->prepare = prepare_schedule;	2953	frame->prepare = prepare_schedule;
…		…
2699		2971
2700	static void	2972	static void
2701	coro_aio_callback (pTHX_ CV *cv)	2973	coro_aio_callback (pTHX_ CV *cv)
2702	{	2974	{
2703	dXSARGS;	2975	dXSARGS;
2704	AV *state = (AV *)GENSUB_ARG;	2976	AV *state = (AV *)S_GENSUB_ARG;
2705	SV *coro = av_pop (state);	2977	SV *coro = av_pop (state);
2706	SV *data_sv = newSV (sizeof (struct io_state));	2978	SV *data_sv = newSV (sizeof (struct io_state));
2707		2979
2708	av_extend (state, items - 1);	2980	av_extend (state, items - 1);
2709		2981
…		…
2823		3095
2824	for (i = 0; i < items; ++i)	3096	for (i = 0; i < items; ++i)
2825	PUSHs (arg [i]);	3097	PUSHs (arg [i]);
2826		3098
2827	/* now push the callback closure */	3099	/* now push the callback closure */
2828	PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));	3100	PUSHs (sv_2mortal (s_gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));
2829		3101
2830	/* now call the AIO function - we assume our request is uncancelable */	3102	/* now call the AIO function - we assume our request is uncancelable */
2831	PUTBACK;	3103	PUTBACK;
2832	call_sv ((SV *)req, G_VOID | G_DISCARD);	3104	call_sv ((SV *)req, G_VOID | G_DISCARD);
2833	}	3105	}
2834		3106
2835	/* now that the requets is going, we loop toll we have a result */	3107	/* now that the request is going, we loop till we have a result */
2836	frame->data = (void *)state;	3108	frame->data = (void *)state;
2837	frame->prepare = prepare_schedule;	3109	frame->prepare = prepare_schedule;
2838	frame->check = slf_check_aio_req;	3110	frame->check = slf_check_aio_req;
2839	}	3111	}
2840		3112
…		…
2851	/*****************************************************************************/	3123	/*****************************************************************************/
2852		3124
2853	#if CORO_CLONE	3125	#if CORO_CLONE
2854	# include "clone.c"	3126	# include "clone.c"
2855	#endif	3127	#endif
		3128
		3129	/*****************************************************************************/
		3130
		3131	static SV *
		3132	coro_new (pTHX_ HV *stash, SV **argv, int argc, int is_coro)
		3133	{
		3134	SV *coro_sv;
		3135	struct coro *coro;
		3136	MAGIC *mg;
		3137	HV *hv;
		3138	SV *cb;
		3139	int i;
		3140
		3141	if (argc > 0)
		3142	{
		3143	cb = s_get_cv_croak (argv [0]);
		3144
		3145	if (!is_coro)
		3146	{
		3147	if (CvISXSUB (cb))
		3148	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
		3149
		3150	if (!CvROOT (cb))
		3151	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
		3152	}
		3153	}
		3154
		3155	Newz (0, coro, 1, struct coro);
		3156	coro->args = newAV ();
		3157	coro->flags = CF_NEW;
		3158
		3159	if (coro_first) coro_first->prev = coro;
		3160	coro->next = coro_first;
		3161	coro_first = coro;
		3162
		3163	coro->hv = hv = newHV ();
		3164	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
		3165	mg->mg_flags |= MGf_DUP;
		3166	coro_sv = sv_bless (newRV_noinc ((SV *)hv), stash);
		3167
		3168	if (argc > 0)
		3169	{
		3170	av_extend (coro->args, argc + is_coro - 1);
		3171
		3172	if (is_coro)
		3173	{
		3174	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
		3175	cb = (SV *)cv_coro_run;
		3176	}
		3177
		3178	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
		3179
		3180	for (i = 1; i < argc; i++)
		3181	av_push (coro->args, newSVsv (argv [i]));
		3182	}
		3183
		3184	return coro_sv;
		3185	}
2856		3186
2857	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3187	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2858		3188
2859	PROTOTYPES: DISABLE	3189	PROTOTYPES: DISABLE
2860		3190
…		…
2913	coroapi.prepare_nop = prepare_nop;	3243	coroapi.prepare_nop = prepare_nop;
2914	coroapi.prepare_schedule = prepare_schedule;	3244	coroapi.prepare_schedule = prepare_schedule;
2915	coroapi.prepare_cede = prepare_cede;	3245	coroapi.prepare_cede = prepare_cede;
2916	coroapi.prepare_cede_notself = prepare_cede_notself;	3246	coroapi.prepare_cede_notself = prepare_cede_notself;
2917		3247
2918	{	3248	time_init (aTHX);
2919	SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
2920		3249
2921	if (!svp) croak ("Time::HiRes is required");
2922	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
2923
2924	nvtime = INT2PTR (double (*)(), SvIV (*svp));
2925	}
2926
2927	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	3250	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
2928	}	3251	}
2929		3252
2930	SV *	3253	SV *
2931	new (char *klass, ...)	3254	new (SV *klass, ...)
2932	ALIAS:	3255	ALIAS:
2933	Coro::new = 1	3256	Coro::new = 1
2934	CODE:	3257	CODE:
2935	{	3258	RETVAL = coro_new (aTHX_ ix ? coro_stash : coro_state_stash, &ST (1), items - 1, ix);
2936	struct coro *coro;	3259	OUTPUT:
2937	MAGIC *mg;
2938	HV *hv;
2939	CV *cb;
2940	int i;
2941
2942	if (items > 1)
2943	{
2944	cb = coro_sv_2cv (aTHX_ ST (1));
2945
2946	if (!ix)
2947	{
2948	if (CvISXSUB (cb))
2949	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
2950
2951	if (!CvROOT (cb))
2952	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
2953	}
2954	}
2955
2956	Newz (0, coro, 1, struct coro);
2957	coro->args = newAV ();
2958	coro->flags = CF_NEW;
2959
2960	if (coro_first) coro_first->prev = coro;
2961	coro->next = coro_first;
2962	coro_first = coro;
2963
2964	coro->hv = hv = newHV ();
2965	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
2966	mg->mg_flags |= MGf_DUP;
2967	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2968
2969	if (items > 1)
2970	{
2971	av_extend (coro->args, items - 1 + ix - 1);
2972
2973	if (ix)
2974	{
2975	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2976	cb = cv_coro_run;
2977	}
2978
2979	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
2980
2981	for (i = 2; i < items; i++)
2982	av_push (coro->args, newSVsv (ST (i)));
2983	}
2984	}
2985	OUTPUT:
2986	RETVAL	3260	RETVAL
2987		3261
2988	void	3262	void
2989	transfer (...)	3263	transfer (...)
2990	PROTOTYPE: $$	3264	PROTOTYPE: $$
2991	CODE:	3265	CODE:
2992	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3266	CORO_EXECUTE_SLF_XS (slf_init_transfer);
2993
2994	bool
2995	_destroy (SV *coro_sv)
2996	CODE:
2997	RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
2998	OUTPUT:
2999	RETVAL
3000		3267
3001	void	3268	void
3002	_exit (int code)	3269	_exit (int code)
3003	PROTOTYPE: $	3270	PROTOTYPE: $
3004	CODE:	3271	CODE:
…		…
3080	CODE:	3347	CODE:
3081	{	3348	{
3082	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))	3349	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
3083	{	3350	{
3084	struct coro *current = SvSTATE_current;	3351	struct coro *current = SvSTATE_current;
		3352	struct CoroSLF slf_save;
3085		3353
3086	if (current != coro)	3354	if (current != coro)
3087	{	3355	{
3088	PUTBACK;	3356	PUTBACK;
3089	save_perl (aTHX_ current);	3357	save_perl (aTHX_ current);
3090	load_perl (aTHX_ coro);	3358	load_perl (aTHX_ coro);
		3359	/* the coro is most likely in an active SLF call.
		3360	* while not strictly required (the code we execute is
		3361	* not allowed to call any SLF functions), it's cleaner
		3362	* to reinitialise the slf_frame and restore it later.
		3363	* This might one day allow us to actually do SLF calls
		3364	* from code executed here.
		3365	*/
		3366	slf_save = slf_frame;
		3367	slf_frame.prepare = 0;
3091	SPAGAIN;	3368	SPAGAIN;
3092	}	3369	}
3093		3370
3094	PUSHSTACK;	3371	PUSHSTACK;
3095		3372
…		…
3105	SPAGAIN;	3382	SPAGAIN;
3106		3383
3107	if (current != coro)	3384	if (current != coro)
3108	{	3385	{
3109	PUTBACK;	3386	PUTBACK;
		3387	slf_frame = slf_save;
3110	save_perl (aTHX_ coro);	3388	save_perl (aTHX_ coro);
3111	load_perl (aTHX_ current);	3389	load_perl (aTHX_ current);
3112	SPAGAIN;	3390	SPAGAIN;
3113	}	3391	}
3114	}	3392	}
…		…
3127	RETVAL = boolSV (coro->flags & ix);	3405	RETVAL = boolSV (coro->flags & ix);
3128	OUTPUT:	3406	OUTPUT:
3129	RETVAL	3407	RETVAL
3130		3408
3131	void	3409	void
3132	throw (Coro::State self, SV *throw = &PL_sv_undef)	3410	throw (Coro::State self, SV *exception = &PL_sv_undef)
3133	PROTOTYPE: $;$	3411	PROTOTYPE: $;$
3134	CODE:	3412	CODE:
3135	{	3413	{
3136	struct coro *current = SvSTATE_current;	3414	struct coro *current = SvSTATE_current;
3137	SV **throwp = self == current ? &CORO_THROW : &self->except;	3415	SV **exceptionp = self == current ? &CORO_THROW : &self->except;
3138	SvREFCNT_dec (*throwp);	3416	SvREFCNT_dec (*exceptionp);
3139	*throwp = SvOK (throw) ? newSVsv (throw) : 0;	3417	SvGETMAGIC (exception);
		3418	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
3140	}	3419	}
3141		3420
3142	void	3421	void
3143	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3422	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3144	PROTOTYPE: $;$	3423	PROTOTYPE: $;$
…		…
3199		3478
3200	void	3479	void
3201	cancel (Coro::State self)	3480	cancel (Coro::State self)
3202	CODE:	3481	CODE:
3203	coro_state_destroy (aTHX_ self);	3482	coro_state_destroy (aTHX_ self);
3204	coro_call_on_destroy (aTHX_ self); /* actually only for Coro objects */	3483
		3484	SV *
		3485	enable_times (int enabled = enable_times)
		3486	CODE:
		3487	{
		3488	RETVAL = boolSV (enable_times);
		3489
		3490	if (enabled != enable_times)
		3491	{
		3492	enable_times = enabled;
		3493
		3494	coro_times_update ();
		3495	(enabled ? coro_times_sub : coro_times_add)(SvSTATE (coro_current));
		3496	}
		3497	}
		3498	OUTPUT:
		3499	RETVAL
		3500
		3501	void
		3502	times (Coro::State self)
		3503	PPCODE:
		3504	{
		3505	struct coro *current = SvSTATE (coro_current);
		3506
		3507	if (expect_false (current == self))
		3508	{
		3509	coro_times_update ();
		3510	coro_times_add (SvSTATE (coro_current));
		3511	}
		3512
		3513	EXTEND (SP, 2);
		3514	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
		3515	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
		3516
		3517	if (expect_false (current == self))
		3518	coro_times_sub (SvSTATE (coro_current));
		3519	}
		3520
		3521	void
		3522	swap_sv (Coro::State coro, SV *sv, SV *swapsv)
		3523	CODE:
		3524	{
		3525	struct coro *current = SvSTATE_current;
		3526
		3527	if (current == coro)
		3528	SWAP_SVS (current);
		3529
		3530	if (!coro->swap_sv)
		3531	coro->swap_sv = newAV ();
		3532
		3533	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));
		3534	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));
		3535
		3536	if (current == coro)
		3537	SWAP_SVS (current);
		3538	}
3205		3539
3206		3540
3207	MODULE = Coro::State PACKAGE = Coro	3541	MODULE = Coro::State PACKAGE = Coro
3208		3542
3209	BOOT:	3543	BOOT:
3210	{	3544	{
3211	int i;
3212
3213	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	3545	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3214	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	3546	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3215	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	3547	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3216	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);	3548	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3217	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	3549	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
…		…
3221	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);	3553	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3222		3554
3223	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	3555	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3224	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	3556	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3225	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	3557	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3226	cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);	3558	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3227		3559
3228	coro_stash = gv_stashpv ("Coro", TRUE);	3560	coro_stash = gv_stashpv ("Coro", TRUE);
3229		3561
3230	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));	3562	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3231	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));	3563	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3232	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));	3564	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
3233	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));	3565	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (CORO_PRIO_LOW));
3234	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));	3566	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (CORO_PRIO_IDLE));
3235	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));	3567	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (CORO_PRIO_MIN));
3236
3237	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
3238	coro_ready[i] = newAV ();
3239		3568
3240	{	3569	{
3241	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);	3570	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
3242		3571
3243	coroapi.schedule = api_schedule;	3572	coroapi.schedule = api_schedule;
…		…
3253	sv_setiv (sv, (IV)&coroapi);	3582	sv_setiv (sv, (IV)&coroapi);
3254	SvREADONLY_on (sv);	3583	SvREADONLY_on (sv);
3255	}	3584	}
3256	}	3585	}
3257		3586
		3587	SV *
		3588	async (...)
		3589	PROTOTYPE: &@
		3590	CODE:
		3591	RETVAL = coro_new (aTHX_ coro_stash, &ST (0), items, 1);
		3592	api_ready (aTHX_ RETVAL);
		3593	OUTPUT:
		3594	RETVAL
		3595
		3596	void
		3597	_destroy (Coro::State coro)
		3598	CODE:
		3599	/* used by the manager thread */
		3600	coro_state_destroy (aTHX_ coro);
		3601	coro_call_on_destroy (aTHX_ coro);
		3602
3258	void	3603	void
3259	terminate (...)	3604	terminate (...)
3260	CODE:	3605	CODE:
3261	CORO_EXECUTE_SLF_XS (slf_init_terminate);	3606	CORO_EXECUTE_SLF_XS (slf_init_terminate);
		3607
		3608	void
		3609	cancel (...)
		3610	CODE:
		3611	CORO_EXECUTE_SLF_XS (slf_init_cancel);
3262		3612
3263	void	3613	void
3264	schedule (...)	3614	schedule (...)
3265	CODE:	3615	CODE:
3266	CORO_EXECUTE_SLF_XS (slf_init_schedule);	3616	CORO_EXECUTE_SLF_XS (slf_init_schedule);
…		…
3295	void	3645	void
3296	_set_readyhook (SV *hook)	3646	_set_readyhook (SV *hook)
3297	PROTOTYPE: $	3647	PROTOTYPE: $
3298	CODE:	3648	CODE:
3299	SvREFCNT_dec (coro_readyhook);	3649	SvREFCNT_dec (coro_readyhook);
		3650	SvGETMAGIC (hook);
		3651	if (SvOK (hook))
		3652	{
3300	coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;	3653	coro_readyhook = newSVsv (hook);
		3654	CORO_READYHOOK = invoke_sv_ready_hook_helper;
		3655	}
		3656	else
		3657	{
		3658	coro_readyhook = 0;
		3659	CORO_READYHOOK = 0;
		3660	}
3301		3661
3302	int	3662	int
3303	prio (Coro::State coro, int newprio = 0)	3663	prio (Coro::State coro, int newprio = 0)
3304	PROTOTYPE: $;$	3664	PROTOTYPE: $;$
3305	ALIAS:	3665	ALIAS:
…		…
3311	if (items > 1)	3671	if (items > 1)
3312	{	3672	{
3313	if (ix)	3673	if (ix)
3314	newprio = coro->prio - newprio;	3674	newprio = coro->prio - newprio;
3315		3675
3316	if (newprio < PRIO_MIN) newprio = PRIO_MIN;	3676	if (newprio < CORO_PRIO_MIN) newprio = CORO_PRIO_MIN;
3317	if (newprio > PRIO_MAX) newprio = PRIO_MAX;	3677	if (newprio > CORO_PRIO_MAX) newprio = CORO_PRIO_MAX;
3318		3678
3319	coro->prio = newprio;	3679	coro->prio = newprio;
3320	}	3680	}
3321	}	3681	}
3322	OUTPUT:	3682	OUTPUT:
…		…
3369	for (i = 1; i < items; ++i)	3729	for (i = 1; i < items; ++i)
3370	av_push (av, SvREFCNT_inc_NN (ST (i)));	3730	av_push (av, SvREFCNT_inc_NN (ST (i)));
3371		3731
3372	if ((SV *)hv == &PL_sv_undef)	3732	if ((SV *)hv == &PL_sv_undef)
3373	{	3733	{
3374	PUSHMARK (SP);	3734	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3375	EXTEND (SP, 2);
3376	PUSHs (sv_Coro);
3377	PUSHs ((SV *)cv_pool_handler);
3378	PUTBACK;
3379	call_sv ((SV *)cv_coro_state_new, G_SCALAR);
3380	SPAGAIN;
3381
3382	hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));	3735	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
		3736	SvREFCNT_dec (sv);
3383	}	3737	}
3384		3738
3385	{	3739	{
3386	struct coro *coro = SvSTATE_hv (hv);	3740	struct coro *coro = SvSTATE_hv (hv);
3387		3741
…		…
3421	CODE:	3775	CODE:
3422	{	3776	{
3423	struct coro *coro = SvSTATE_current;	3777	struct coro *coro = SvSTATE_current;
3424	AV **avp = ix ? &coro->on_leave : &coro->on_enter;	3778	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
3425		3779
3426	block = (SV *)coro_sv_2cv (aTHX_ block);	3780	block = s_get_cv_croak (block);
3427		3781
3428	if (!*avp)	3782	if (!*avp)
3429	*avp = newAV ();	3783	*avp = newAV ();
3430		3784
3431	av_push (*avp, SvREFCNT_inc (block));	3785	av_push (*avp, SvREFCNT_inc (block));
…		…
3448	MODULE = Coro::State PACKAGE = Coro::Semaphore	3802	MODULE = Coro::State PACKAGE = Coro::Semaphore
3449		3803
3450	SV *	3804	SV *
3451	new (SV *klass, SV *count = 0)	3805	new (SV *klass, SV *count = 0)
3452	CODE:	3806	CODE:
		3807	{
		3808	int semcnt = 1;
		3809
		3810	if (count)
		3811	{
		3812	SvGETMAGIC (count);
		3813
		3814	if (SvOK (count))
		3815	semcnt = SvIV (count);
		3816	}
		3817
3453	RETVAL = sv_bless (	3818	RETVAL = sv_bless (
3454	coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),	3819	coro_waitarray_new (aTHX_ semcnt),
3455	GvSTASH (CvGV (cv))	3820	GvSTASH (CvGV (cv))
3456	);	3821	);
		3822	}
3457	OUTPUT:	3823	OUTPUT:
3458	RETVAL	3824	RETVAL
3459		3825
3460	# helper for Coro::Channel and others	3826	# helper for Coro::Channel and others
3461	SV *	3827	SV *
…		…
3619		3985
3620	void	3986	void
3621	_register (char *target, char *proto, SV *req)	3987	_register (char *target, char *proto, SV *req)
3622	CODE:	3988	CODE:
3623	{	3989	{
3624	CV *req_cv = coro_sv_2cv (aTHX_ req);	3990	SV *req_cv = s_get_cv_croak (req);
3625	/* newXSproto doesn't return the CV on 5.8 */	3991	/* newXSproto doesn't return the CV on 5.8 */
3626	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);	3992	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3627	sv_setpv ((SV *)slf_cv, proto);	3993	sv_setpv ((SV *)slf_cv, proto);
3628	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);	3994	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3629	}	3995	}
3630		3996
		3997	MODULE = Coro::State PACKAGE = Coro::Select
		3998
		3999	void
		4000	patch_pp_sselect ()
		4001	CODE:
		4002	if (!coro_old_pp_sselect)
		4003	{
		4004	coro_select_select = (SV *)get_cv ("Coro::Select::select", 0);
		4005	coro_old_pp_sselect = PL_ppaddr [OP_SSELECT];
		4006	PL_ppaddr [OP_SSELECT] = coro_pp_sselect;
		4007	}
		4008
		4009	void
		4010	unpatch_pp_sselect ()
		4011	CODE:
		4012	if (coro_old_pp_sselect)
		4013	{
		4014	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
		4015	coro_old_pp_sselect = 0;
		4016	}
		4017

Diff Legend

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