ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.323 by root, Sat Nov 22 06:03:10 2008 UTC vs.
Revision 1.394 by root, Sat Apr 30 05:17:43 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
…		…
133	#else	84	#else
134	# define dSTACKLEVEL volatile void *stacklevel	85	# define dSTACKLEVEL volatile void *stacklevel
135	# define STACKLEVEL ((void *)&stacklevel)	86	# define STACKLEVEL ((void *)&stacklevel)
136	#endif	87	#endif
137		88
138	#define IN_DESTRUCT (PL_main_cv == Nullcv)	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
…		…
175	static HV *coro_state_stash, *coro_stash;	137	static HV *coro_state_stash, *coro_stash;
176	static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */	138	static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
177		139
178	static AV *av_destroy; /* destruction queue */	140	static AV *av_destroy; /* destruction queue */
179	static SV *sv_manager; /* the manager coro */	141	static SV *sv_manager; /* the manager coro */
		142	static SV *sv_idle; /* $Coro::idle */
180		143
181	static GV *irsgv; /* $/ */	144	static GV *irsgv; /* $/ */
182	static GV *stdoutgv; /* *STDOUT */	145	static GV *stdoutgv; /* *STDOUT */
183	static SV *rv_diehook;	146	static SV *rv_diehook;
184	static SV *rv_warnhook;	147	static SV *rv_warnhook;
…		…
189	static SV *sv_pool_size;	152	static SV *sv_pool_size;
190	static SV *sv_async_pool_idle; /* description string */	153	static SV *sv_async_pool_idle; /* description string */
191	static AV *av_async_pool; /* idle pool */	154	static AV *av_async_pool; /* idle pool */
192	static SV *sv_Coro; /* class string */	155	static SV *sv_Coro; /* class string */
193	static CV *cv_pool_handler;	156	static CV *cv_pool_handler;
194	static CV *cv_coro_state_new;
195		157
196	/* Coro::AnyEvent */	158	/* Coro::AnyEvent */
197	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;
198		166
199	static struct coro_cctx *cctx_first;	167	static struct coro_cctx *cctx_first;
200	static int cctx_count, cctx_idle;	168	static int cctx_count, cctx_idle;
201		169
202	enum {	170	enum {
…		…
228	int valgrind_id;	196	int valgrind_id;
229	#endif	197	#endif
230	unsigned char flags;	198	unsigned char flags;
231	} coro_cctx;	199	} coro_cctx;
232		200
233	coro_cctx *cctx_current; /* the currently running cctx */	201	static coro_cctx *cctx_current; /* the currently running cctx */
234		202
235	/*****************************************************************************/	203	/*****************************************************************************/
236		204
237	enum {	205	enum {
238	CF_RUNNING = 0x0001, /* coroutine is running */	206	CF_RUNNING = 0x0001, /* coroutine is running */
239	CF_READY = 0x0002, /* coroutine is ready */	207	CF_READY = 0x0002, /* coroutine is ready */
240	CF_NEW = 0x0004, /* has never been switched to */	208	CF_NEW = 0x0004, /* has never been switched to */
241	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 */
		211	CF_NOCANCEL = 0x0020, /* cannot cancel, set slf_frame.data to 1 (hackish) */
242	};	212	};
243		213
244	/* 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 */
245	typedef struct	215	typedef struct
246	{	216	{
247	SV *defsv;	217	SV *defsv;
248	AV *defav;	218	AV *defav;
249	SV *errsv;	219	SV *errsv;
250	SV *irsgv;	220	SV *irsgv;
		221	HV *hinthv;
251	#define VAR(name,type) type name;	222	#define VAR(name,type) type name;
252	# include "state.h"	223	# include "state.h"
253	#undef VAR	224	#undef VAR
254	} perl_slots;	225	} perl_slots;
255		226
…		…
257		228
258	/* this is a structure representing a perl-level coroutine */	229	/* this is a structure representing a perl-level coroutine */
259	struct coro {	230	struct coro {
260	/* the C coroutine allocated to this perl coroutine, if any */	231	/* the C coroutine allocated to this perl coroutine, if any */
261	coro_cctx *cctx;	232	coro_cctx *cctx;
		233
		234	/* ready queue */
		235	struct coro *next_ready;
262		236
263	/* state data */	237	/* state data */
264	struct CoroSLF slf_frame; /* saved slf frame */	238	struct CoroSLF slf_frame; /* saved slf frame */
265	AV *mainstack;	239	AV *mainstack;
266	perl_slots *slot; /* basically the saved sp */	240	perl_slots *slot; /* basically the saved sp */
…		…
268	CV *startcv; /* the CV to execute */	242	CV *startcv; /* the CV to execute */
269	AV *args; /* data associated with this coroutine (initial args) */	243	AV *args; /* data associated with this coroutine (initial args) */
270	int refcnt; /* coroutines are refcounted, yes */	244	int refcnt; /* coroutines are refcounted, yes */
271	int flags; /* CF_ flags */	245	int flags; /* CF_ flags */
272	HV *hv; /* the perl hash associated with this coro, if any */	246	HV *hv; /* the perl hash associated with this coro, if any */
273	void (*on_destroy)(pTHX_ struct coro *coro);	247	void (*on_destroy)(pTHX_ struct coro *coro); /* for temporary use by xs in critical sections */
274		248
275	/* statistics */	249	/* statistics */
276	int usecount; /* number of transfers to this coro */	250	int usecount; /* number of transfers to this coro */
277		251
278	/* coro process data */	252	/* coro process data */
…		…
283	/* async_pool */	257	/* async_pool */
284	SV *saved_deffh;	258	SV *saved_deffh;
285	SV *invoke_cb;	259	SV *invoke_cb;
286	AV *invoke_av;	260	AV *invoke_av;
287		261
		262	/* on_enter/on_leave */
		263	AV *on_enter;
		264	AV *on_leave;
		265
		266	/* swap_sv */
		267	AV *swap_sv;
		268
		269	/* times */
		270	coro_ts t_cpu, t_real;
		271
288	/* linked list */	272	/* linked list */
289	struct coro *next, *prev;	273	struct coro *next, *prev;
290	};	274	};
291		275
292	typedef struct coro *Coro__State;	276	typedef struct coro *Coro__State;
293	typedef struct coro *Coro__State_or_hashref;	277	typedef struct coro *Coro__State_or_hashref;
294		278
295	/* the following variables are effectively part of the perl context */	279	/* the following variables are effectively part of the perl context */
296	/* and get copied between struct coro and these variables */	280	/* and get copied between struct coro and these variables */
297	/* the mainr easonw e don't support windows process emulation */	281	/* the main reason we don't support windows process emulation */
298	static struct CoroSLF slf_frame; /* the current slf frame */	282	static struct CoroSLF slf_frame; /* the current slf frame */
299		283
300	/** Coro ********************************************************************/	284	/** Coro ********************************************************************/
301		285
302	#define PRIO_MAX 3	286	#define CORO_PRIO_MAX 3
303	#define PRIO_HIGH 1	287	#define CORO_PRIO_HIGH 1
304	#define PRIO_NORMAL 0	288	#define CORO_PRIO_NORMAL 0
305	#define PRIO_LOW -1	289	#define CORO_PRIO_LOW -1
306	#define PRIO_IDLE -3	290	#define CORO_PRIO_IDLE -3
307	#define PRIO_MIN -4	291	#define CORO_PRIO_MIN -4
308		292
309	/* for Coro.pm */	293	/* for Coro.pm */
310	static SV *coro_current;	294	static SV *coro_current;
311	static SV *coro_readyhook;	295	static SV *coro_readyhook;
312	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 */
313	static CV *cv_coro_run, *cv_coro_terminate;	297	static CV *cv_coro_run, *cv_coro_terminate;
314	static struct coro *coro_first;	298	static struct coro *coro_first;
315	#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
316		372
317	/** lowlevel stuff **********************************************************/	373	/** lowlevel stuff **********************************************************/
318		374
319	static SV *	375	static SV *
320	coro_get_sv (pTHX_ const char *name, int create)	376	coro_get_sv (pTHX_ const char *name, int create)
…		…
344	get_hv (name, create);	400	get_hv (name, create);
345	#endif	401	#endif
346	return get_hv (name, create);	402	return get_hv (name, create);
347	}	403	}
348		404
349	/* may croak */	405	INLINE void
350	INLINE CV *	406	coro_times_update ()
351	coro_sv_2cv (pTHX_ SV *sv)
352	{	407	{
		408	#ifdef coro_clock_gettime
		409	struct timespec ts;
		410
		411	ts.tv_sec = ts.tv_nsec = 0;
		412	coro_clock_gettime (CORO_CLOCK_THREAD_CPUTIME_ID, &ts);
		413	time_cpu [0] = ts.tv_sec; time_cpu [1] = ts.tv_nsec;
		414
		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];
		450	}
		451
		452	/*****************************************************************************/
		453	/* magic glue */
		454
		455	#define CORO_MAGIC_type_cv 26
		456	#define CORO_MAGIC_type_state PERL_MAGIC_ext
		457
		458	#define CORO_MAGIC_NN(sv, type) \
		459	(expect_true (SvMAGIC (sv)->mg_type == type) \
		460	? SvMAGIC (sv) \
		461	: mg_find (sv, type))
		462
		463	#define CORO_MAGIC(sv, type) \
		464	(expect_true (SvMAGIC (sv)) \
		465	? CORO_MAGIC_NN (sv, type) \
		466	: 0)
		467
		468	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
		469	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
		470
		471	INLINE struct coro *
		472	SvSTATE_ (pTHX_ SV *coro)
		473	{
353	HV *st;	474	HV *stash;
354	GV *gvp;	475	MAGIC *mg;
355	return sv_2cv (sv, &st, &gvp, 0);	476
		477	if (SvROK (coro))
		478	coro = SvRV (coro);
		479
		480	if (expect_false (SvTYPE (coro) != SVt_PVHV))
		481	croak ("Coro::State object required");
		482
		483	stash = SvSTASH (coro);
		484	if (expect_false (stash != coro_stash && stash != coro_state_stash))
		485	{
		486	/* very slow, but rare, check */
		487	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
		488	croak ("Coro::State object required");
		489	}
		490
		491	mg = CORO_MAGIC_state (coro);
		492	return (struct coro *)mg->mg_ptr;
356	}	493	}
		494
		495	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
		496
		497	/* faster than SvSTATE, but expects a coroutine hv */
		498	#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
		499	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
		500
		501	/*****************************************************************************/
		502	/* padlist management and caching */
357		503
358	static AV *	504	static AV *
359	coro_derive_padlist (pTHX_ CV *cv)	505	coro_derive_padlist (pTHX_ CV *cv)
360	{	506	{
361	AV *padlist = CvPADLIST (cv);	507	AV *padlist = CvPADLIST (cv);
…		…
369	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);	515	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
370	#endif	516	#endif
371	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];	517	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
372	--AvFILLp (padlist);	518	--AvFILLp (padlist);
373		519
374	av_store (newpadlist, 0, SvREFCNT_inc_NN (*av_fetch (padlist, 0, FALSE)));	520	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));
375	av_store (newpadlist, 1, (SV *)newpad);	521	av_store (newpadlist, 1, (SV *)newpad);
376		522
377	return newpadlist;	523	return newpadlist;
378	}	524	}
379		525
380	static void	526	static void
381	free_padlist (pTHX_ AV *padlist)	527	free_padlist (pTHX_ AV *padlist)
382	{	528	{
383	/* may be during global destruction */	529	/* may be during global destruction */
384	if (SvREFCNT (padlist))	530	if (!IN_DESTRUCT)
385	{	531	{
386	I32 i = AvFILLp (padlist);	532	I32 i = AvFILLp (padlist);
387	while (i >= 0)	533
		534	while (i > 0) /* special-case index 0 */
388	{	535	{
389	SV **svp = av_fetch (padlist, i--, FALSE);	536	/* we try to be extra-careful here */
390	if (svp)	537	AV *av = (AV *)AvARRAY (padlist)[i--];
391	{	538	I32 j = AvFILLp (av);
392	SV *sv;	539
393	while (&PL_sv_undef != (sv = av_pop ((AV *)*svp)))	540	while (j >= 0)
		541	SvREFCNT_dec (AvARRAY (av)[j--]);
		542
		543	AvFILLp (av) = -1;
394	SvREFCNT_dec (sv);	544	SvREFCNT_dec (av);
395
396	SvREFCNT_dec (*svp);
397	}
398	}	545	}
399		546
		547	SvREFCNT_dec (AvARRAY (padlist)[0]);
		548
		549	AvFILLp (padlist) = -1;
400	SvREFCNT_dec ((SV*)padlist);	550	SvREFCNT_dec ((SV*)padlist);
401	}	551	}
402	}	552	}
403		553
404	static int	554	static int
405	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	555	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
406	{	556	{
407	AV *padlist;	557	AV *padlist;
408	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;
409		563
410	/* casting is fun. */	564	/* casting is fun. */
411	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))	565	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
412	free_padlist (aTHX_ padlist);	566	free_padlist (aTHX_ padlist);
413		567
414	SvREFCNT_dec (av); /* sv_magicext increased the refcount */	568	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
415		569
416	return 0;	570	return 0;
417	}	571	}
418
419	#define CORO_MAGIC_type_cv 26
420	#define CORO_MAGIC_type_state PERL_MAGIC_ext
421		572
422	static MGVTBL coro_cv_vtbl = {	573	static MGVTBL coro_cv_vtbl = {
423	0, 0, 0, 0,	574	0, 0, 0, 0,
424	coro_cv_free	575	coro_cv_free
425	};	576	};
426
427	#define CORO_MAGIC_NN(sv, type) \
428	(expect_true (SvMAGIC (sv)->mg_type == type) \
429	? SvMAGIC (sv) \
430	: mg_find (sv, type))
431
432	#define CORO_MAGIC(sv, type) \
433	(expect_true (SvMAGIC (sv)) \
434	? CORO_MAGIC_NN (sv, type) \
435	: 0)
436
437	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
438	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
439
440	INLINE struct coro *
441	SvSTATE_ (pTHX_ SV *coro)
442	{
443	HV *stash;
444	MAGIC *mg;
445
446	if (SvROK (coro))
447	coro = SvRV (coro);
448
449	if (expect_false (SvTYPE (coro) != SVt_PVHV))
450	croak ("Coro::State object required");
451
452	stash = SvSTASH (coro);
453	if (expect_false (stash != coro_stash && stash != coro_state_stash))
454	{
455	/* very slow, but rare, check */
456	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
457	croak ("Coro::State object required");
458	}
459
460	mg = CORO_MAGIC_state (coro);
461	return (struct coro *)mg->mg_ptr;
462	}
463
464	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
465
466	/* faster than SvSTATE, but expects a coroutine hv */
467	#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
468	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
469		577
470	/* the next two functions merely cache the padlists */	578	/* the next two functions merely cache the padlists */
471	static void	579	static void
472	get_padlist (pTHX_ CV *cv)	580	get_padlist (pTHX_ CV *cv)
473	{	581	{
…		…
501	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	609	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
502		610
503	av = (AV *)mg->mg_obj;	611	av = (AV *)mg->mg_obj;
504		612
505	if (expect_false (AvFILLp (av) >= AvMAX (av)))	613	if (expect_false (AvFILLp (av) >= AvMAX (av)))
506	av_extend (av, AvMAX (av) + 1);	614	av_extend (av, AvFILLp (av) + 1);
507		615
508	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);	616	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
509	}	617	}
510		618
511	/** load & save, init *******************************************************/	619	/** load & save, init *******************************************************/
		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
		672	static void
		673	on_enterleave_call (pTHX_ SV *cb);
512		674
513	static void	675	static void
514	load_perl (pTHX_ Coro__State c)	676	load_perl (pTHX_ Coro__State c)
515	{	677	{
516	perl_slots *slot = c->slot;	678	perl_slots *slot = c->slot;
517	c->slot = 0;	679	c->slot = 0;
518		680
519	PL_mainstack = c->mainstack;	681	PL_mainstack = c->mainstack;
520		682
521	GvSV (PL_defgv) = slot->defsv;	683	GvSV (PL_defgv) = slot->defsv;
522	GvAV (PL_defgv) = slot->defav;	684	GvAV (PL_defgv) = slot->defav;
523	GvSV (PL_errgv) = slot->errsv;	685	GvSV (PL_errgv) = slot->errsv;
524	GvSV (irsgv) = slot->irsgv;	686	GvSV (irsgv) = slot->irsgv;
		687	GvHV (PL_hintgv) = slot->hinthv;
525		688
526	#define VAR(name,type) PL_ ## name = slot->name;	689	#define VAR(name,type) PL_ ## name = slot->name;
527	# include "state.h"	690	# include "state.h"
528	#undef VAR	691	#undef VAR
529		692
…		…
543	PUTBACK;	706	PUTBACK;
544	}	707	}
545		708
546	slf_frame = c->slf_frame;	709	slf_frame = c->slf_frame;
547	CORO_THROW = c->except;	710	CORO_THROW = c->except;
		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
		720	if (expect_false (c->on_enter))
		721	{
		722	int i;
		723
		724	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
		725	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
		726	}
		727
		728	SWAP_SVS (c);
548	}	729	}
549		730
550	static void	731	static void
551	save_perl (pTHX_ Coro__State c)	732	save_perl (pTHX_ Coro__State c)
552	{	733	{
		734	SWAP_SVS (c);
		735
		736	if (expect_false (c->on_leave))
		737	{
		738	int i;
		739
		740	for (i = AvFILLp (c->on_leave); i >= 0; --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);
		750	}
		751
553	c->except = CORO_THROW;	752	c->except = CORO_THROW;
554	c->slf_frame = slf_frame;	753	c->slf_frame = slf_frame;
555		754
556	{	755	{
557	dSP;	756	dSP;
…		…
570	{	769	{
571	while (expect_true (cxix >= 0))	770	while (expect_true (cxix >= 0))
572	{	771	{
573	PERL_CONTEXT *cx = &ccstk[cxix--];	772	PERL_CONTEXT *cx = &ccstk[cxix--];
574		773
575	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))
576	{	775	{
577	CV *cv = cx->blk_sub.cv;	776	CV *cv = cx->blk_sub.cv;
578		777
579	if (expect_true (CvDEPTH (cv)))	778	if (expect_true (CvDEPTH (cv)))
580	{	779	{
…		…
604	/* we manually unroll here, as usually 2 slots is enough */	803	/* we manually unroll here, as usually 2 slots is enough */
605	if (SLOT_COUNT >= 1) CXINC;	804	if (SLOT_COUNT >= 1) CXINC;
606	if (SLOT_COUNT >= 2) CXINC;	805	if (SLOT_COUNT >= 2) CXINC;
607	if (SLOT_COUNT >= 3) CXINC;	806	if (SLOT_COUNT >= 3) CXINC;
608	{	807	{
609	int i;	808	unsigned int i;
610	for (i = 3; i < SLOT_COUNT; ++i)	809	for (i = 3; i < SLOT_COUNT; ++i)
611	CXINC;	810	CXINC;
612	}	811	}
613	cxstack_ix -= SLOT_COUNT; /* undo allocation */	812	cxstack_ix -= SLOT_COUNT; /* undo allocation */
614		813
615	c->mainstack = PL_mainstack;	814	c->mainstack = PL_mainstack;
616		815
617	{	816	{
618	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);	817	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
619		818
620	slot->defav = GvAV (PL_defgv);	819	slot->defav = GvAV (PL_defgv);
621	slot->defsv = DEFSV;	820	slot->defsv = DEFSV;
622	slot->errsv = ERRSV;	821	slot->errsv = ERRSV;
623	slot->irsgv = GvSV (irsgv);	822	slot->irsgv = GvSV (irsgv);
		823	slot->hinthv = GvHV (PL_hintgv);
624		824
625	#define VAR(name,type) slot->name = PL_ ## name;	825	#define VAR(name,type) slot->name = PL_ ## name;
626	# include "state.h"	826	# include "state.h"
627	#undef VAR	827	#undef VAR
628	}	828	}
…		…
755	#endif	955	#endif
756		956
757	/*	957	/*
758	* This overrides the default magic get method of %SIG elements.	958	* This overrides the default magic get method of %SIG elements.
759	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook	959	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook
760	* and instead of tryign to save and restore the hash elements, we just provide	960	* and instead of trying to save and restore the hash elements, we just provide
761	* readback here.	961	* readback here.
762	* We only do this when the hook is != 0, as they are often set to 0 temporarily,
763	* not expecting this to actually change the hook. This is a potential problem
764	* when a schedule happens then, but we ignore this.
765	*/	962	*/
766	static int	963	static int
767	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	964	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
768	{	965	{
769	const char *s = MgPV_nolen_const (mg);	966	const char *s = MgPV_nolen_const (mg);
…		…
822	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;	1019	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
823		1020
824	if (svp)	1021	if (svp)
825	{	1022	{
826	SV *old = *svp;	1023	SV *old = *svp;
827	*svp = newSVsv (sv);	1024	*svp = SvOK (sv) ? newSVsv (sv) : 0;
828	SvREFCNT_dec (old);	1025	SvREFCNT_dec (old);
829	return 0;	1026	return 0;
830	}	1027	}
831	}	1028	}
832		1029
…		…
850	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1047	slf_check_repeat (pTHX_ struct CoroSLF *frame)
851	{	1048	{
852	return 1;	1049	return 1;
853	}	1050	}
854		1051
855	static UNOP coro_setup_op;	1052	static UNOP init_perl_op;
856		1053
857	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 */
858	coro_setup (pTHX_ struct coro *coro)	1055	init_perl (pTHX_ struct coro *coro)
859	{	1056	{
860	/*	1057	/*
861	* emulate part of the perl startup here.	1058	* emulate part of the perl startup here.
862	*/	1059	*/
863	coro_init_stacks (aTHX);	1060	coro_init_stacks (aTHX);
864		1061
865	PL_runops = RUNOPS_DEFAULT;	1062	PL_runops = RUNOPS_DEFAULT;
866	PL_curcop = &PL_compiling;	1063	PL_curcop = &PL_compiling;
867	PL_in_eval = EVAL_NULL;	1064	PL_in_eval = EVAL_NULL;
868	PL_comppad = 0;	1065	PL_comppad = 0;
		1066	PL_comppad_name = 0;
		1067	PL_comppad_name_fill = 0;
		1068	PL_comppad_name_floor = 0;
869	PL_curpm = 0;	1069	PL_curpm = 0;
870	PL_curpad = 0;	1070	PL_curpad = 0;
871	PL_localizing = 0;	1071	PL_localizing = 0;
872	PL_dirty = 0;
873	PL_restartop = 0;	1072	PL_restartop = 0;
874	#if PERL_VERSION_ATLEAST (5,10,0)	1073	#if PERL_VERSION_ATLEAST (5,10,0)
875	PL_parser = 0;	1074	PL_parser = 0;
876	#endif	1075	#endif
		1076	PL_hints = 0;
877		1077
878	/* recreate the die/warn hooks */	1078	/* recreate the die/warn hooks */
879	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );	1079	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );
880	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);	1080	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);
881		1081
882	GvSV (PL_defgv) = newSV (0);	1082	GvSV (PL_defgv) = newSV (0);
883	GvAV (PL_defgv) = coro->args; coro->args = 0;	1083	GvAV (PL_defgv) = coro->args; coro->args = 0;
884	GvSV (PL_errgv) = newSV (0);	1084	GvSV (PL_errgv) = newSV (0);
885	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	1085	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
		1086	GvHV (PL_hintgv) = 0;
886	PL_rs = newSVsv (GvSV (irsgv));	1087	PL_rs = newSVsv (GvSV (irsgv));
887	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	1088	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
888		1089
889	{	1090	{
890	dSP;	1091	dSP;
…		…
907	*/	1108	*/
908	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 */
909	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 */
910		1111
911	/* 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 */
912	coro_setup_op.op_next = PL_op;	1113	init_perl_op.op_next = PL_op;
913	coro_setup_op.op_type = OP_ENTERSUB;	1114	init_perl_op.op_type = OP_ENTERSUB;
914	coro_setup_op.op_ppaddr = pp_slf;	1115	init_perl_op.op_ppaddr = pp_slf;
915	/* 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 */
916		1117
917	PL_op = (OP *)&coro_setup_op;	1118	PL_op = (OP *)&init_perl_op;
918		1119
919	/* copy throw, in case it was set before coro_setup */	1120	/* copy throw, in case it was set before init_perl */
920	CORO_THROW = coro->except;	1121	CORO_THROW = coro->except;
921	}
922		1122
		1123	SWAP_SVS (coro);
		1124
		1125	if (expect_false (enable_times))
		1126	{
		1127	coro_times_update ();
		1128	coro_times_sub (coro);
		1129	}
		1130	}
		1131
923	static void	1132	static void
924	coro_destruct (pTHX_ struct coro *coro)	1133	coro_unwind_stacks (pTHX)
925	{	1134	{
926	if (!IN_DESTRUCT)	1135	if (!IN_DESTRUCT)
927	{	1136	{
928	/* restore all saved variables and stuff */	1137	/* restore all saved variables and stuff */
929	LEAVE_SCOPE (0);	1138	LEAVE_SCOPE (0);
…		…
937	POPSTACK_TO (PL_mainstack);	1146	POPSTACK_TO (PL_mainstack);
938		1147
939	/* unwind main stack */	1148	/* unwind main stack */
940	dounwind (-1);	1149	dounwind (-1);
941	}	1150	}
		1151	}
942		1152
943	SvREFCNT_dec (GvSV (PL_defgv));	1153	static void
944	SvREFCNT_dec (GvAV (PL_defgv));	1154	destroy_perl (pTHX_ struct coro *coro)
945	SvREFCNT_dec (GvSV (PL_errgv));	1155	{
946	SvREFCNT_dec (PL_defoutgv);	1156	SV *svf [9];
947	SvREFCNT_dec (PL_rs);
948	SvREFCNT_dec (GvSV (irsgv));
949		1157
950	SvREFCNT_dec (PL_diehook);
951	SvREFCNT_dec (PL_warnhook);
952		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	load_perl (aTHX_ coro);
		1165
		1166	coro_unwind_stacks (aTHX);
		1167	coro_destruct_stacks (aTHX);
		1168
		1169	/* restore swapped sv's */
		1170	SWAP_SVS (coro);
		1171
		1172	// now save some sv's to be free'd later
		1173	svf [0] = GvSV (PL_defgv);
		1174	svf [1] = (SV *)GvAV (PL_defgv);
		1175	svf [2] = GvSV (PL_errgv);
		1176	svf [3] = (SV *)PL_defoutgv;
		1177	svf [4] = PL_rs;
		1178	svf [5] = GvSV (irsgv);
		1179	svf [6] = (SV *)GvHV (PL_hintgv);
		1180	svf [7] = PL_diehook;
		1181	svf [8] = PL_warnhook;
		1182	assert (9 == sizeof (svf) / sizeof (*svf));
		1183
		1184	load_perl (aTHX_ current);
		1185	}
		1186
		1187	{
		1188	unsigned int i;
		1189
		1190	for (i = 0; i < sizeof (svf) / sizeof (*svf); ++i)
		1191	SvREFCNT_dec (svf [i]);
		1192
953	SvREFCNT_dec (coro->saved_deffh);	1193	SvREFCNT_dec (coro->saved_deffh);
954	SvREFCNT_dec (coro->rouse_cb);	1194	SvREFCNT_dec (coro->rouse_cb);
955	SvREFCNT_dec (coro->invoke_cb);	1195	SvREFCNT_dec (coro->invoke_cb);
956	SvREFCNT_dec (coro->invoke_av);	1196	SvREFCNT_dec (coro->invoke_av);
957		1197	}
958	coro_destruct_stacks (aTHX);
959	}	1198	}
960		1199
961	INLINE void	1200	INLINE void
962	free_coro_mortal (pTHX)	1201	free_coro_mortal (pTHX)
963	{	1202	{
…		…
1160	/* somebody or something will hit me for both perl_run and PL_restartop */	1399	/* somebody or something will hit me for both perl_run and PL_restartop */
1161	PL_restartop = PL_op;	1400	PL_restartop = PL_op;
1162	perl_run (PL_curinterp);	1401	perl_run (PL_curinterp);
1163	/*	1402	/*
1164	* Unfortunately, there is no way to get at the return values of the	1403	* Unfortunately, there is no way to get at the return values of the
1165	* coro body here, as perl_run destroys these	1404	* coro body here, as perl_run destroys these. Likewise, we cannot catch
		1405	* runtime errors here, as this is just a random interpreter, not a thread.
1166	*/	1406	*/
1167		1407
1168	/*	1408	/*
1169	* If perl-run returns we assume exit() was being called or the coro	1409	* If perl-run returns we assume exit() was being called or the coro
1170	* fell off the end, which seems to be the only valid (non-bug)	1410	* fell off the end, which seems to be the only valid (non-bug)
1171	* reason for perl_run to return. We try to exit by jumping to the	1411	* reason for perl_run to return. We try to exit by jumping to the
1172	* bootstrap-time "top" top_env, as we cannot restore the "main"	1412	* bootstrap-time "top" top_env, as we cannot restore the "main"
1173	* coroutine as Coro has no such concept	1413	* coroutine as Coro has no such concept.
		1414	* This actually isn't valid with the pthread backend, but OSes requiring
		1415	* that backend are too broken to do it in a standards-compliant way.
1174	*/	1416	*/
1175	PL_top_env = main_top_env;	1417	PL_top_env = main_top_env;
1176	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */	1418	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1177	}	1419	}
1178	}	1420	}
…		…
1255	cctx_destroy (coro_cctx *cctx)	1497	cctx_destroy (coro_cctx *cctx)
1256	{	1498	{
1257	if (!cctx)	1499	if (!cctx)
1258	return;	1500	return;
1259		1501
1260	assert (cctx != cctx_current);//D temporary	1502	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1261		1503
1262	--cctx_count;	1504	--cctx_count;
1263	coro_destroy (&cctx->cctx);	1505	coro_destroy (&cctx->cctx);
1264		1506
1265	/* coro_transfer creates new, empty cctx's */	1507	/* coro_transfer creates new, empty cctx's */
…		…
1329	/* TODO: throwing up here is considered harmful */	1571	/* TODO: throwing up here is considered harmful */
1330		1572
1331	if (expect_true (prev != next))	1573	if (expect_true (prev != next))
1332	{	1574	{
1333	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1575	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1334	croak ("Coro::State::transfer called with non-running/new prev Coro::State, but can only transfer from running or new states,");	1576	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");
1335		1577
1336	if (expect_false (next->flags & CF_RUNNING))
1337	croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states,");
1338
1339	if (expect_false (next->flags & CF_DESTROYED))	1578	if (expect_false (next->flags & (CF_RUNNING | CF_DESTROYED | CF_SUSPENDED)))
1340	croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states,");	1579	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");
1341		1580
1342	#if !PERL_VERSION_ATLEAST (5,10,0)	1581	#if !PERL_VERSION_ATLEAST (5,10,0)
1343	if (expect_false (PL_lex_state != LEX_NOTPARSING))	1582	if (expect_false (PL_lex_state != LEX_NOTPARSING))
1344	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");	1583	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1345	#endif	1584	#endif
…		…
1378	if (expect_false (next->flags & CF_NEW))	1617	if (expect_false (next->flags & CF_NEW))
1379	{	1618	{
1380	/* need to start coroutine */	1619	/* need to start coroutine */
1381	next->flags &= ~CF_NEW;	1620	next->flags &= ~CF_NEW;
1382	/* setup coroutine call */	1621	/* setup coroutine call */
1383	coro_setup (aTHX_ next);	1622	init_perl (aTHX_ next);
1384	}	1623	}
1385	else	1624	else
1386	load_perl (aTHX_ next);	1625	load_perl (aTHX_ next);
1387		1626
1388	/* possibly untie and reuse the cctx */	1627	/* possibly untie and reuse the cctx */
…		…
1393	))	1632	))
1394	{	1633	{
1395	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */	1634	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1396	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));	1635	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1397		1636
1398	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */	1637	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */
1399	/* without this the next cctx_get might destroy the prev__cctx while still in use */	1638	/* without this the next cctx_get might destroy the running cctx while still in use */
1400	if (expect_false (CCTX_EXPIRED (cctx_current)))	1639	if (expect_false (CCTX_EXPIRED (cctx_current)))
1401	if (!next->cctx)	1640	if (expect_true (!next->cctx))
1402	next->cctx = cctx_get (aTHX);	1641	next->cctx = cctx_get (aTHX);
1403		1642
1404	cctx_put (cctx_current);	1643	cctx_put (cctx_current);
1405	assert (!prev->cctx);//D temporary
1406	}	1644	}
1407	else	1645	else
1408	prev->cctx = cctx_current;	1646	prev->cctx = cctx_current;
1409		1647
1410	++next->usecount;	1648	++next->usecount;
…		…
1428	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))	1666	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))
1429	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)	1667	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)
1430		1668
1431	/** high level stuff ********************************************************/	1669	/** high level stuff ********************************************************/
1432		1670
1433	static int	1671	static void
1434	coro_state_destroy (pTHX_ struct coro *coro)	1672	coro_state_destroy (pTHX_ struct coro *coro)
1435	{	1673	{
1436	if (coro->flags & CF_DESTROYED)	1674	if (coro->flags & CF_DESTROYED)
1437	return 0;	1675	return;
1438		1676
		1677	/* this callback is reserved for slf functions needing to do cleanup */
1439	if (coro->on_destroy)	1678	if (coro->on_destroy && !PL_dirty)
1440	coro->on_destroy (aTHX_ coro);	1679	coro->on_destroy (aTHX_ coro);
		1680
		1681	/*
		1682	* The on_destroy above most likely is from an SLF call.
		1683	* Since by definition the SLF call will not finish when we destroy
		1684	* the coro, we will have to force-finish it here, otherwise
		1685	* cleanup functions cannot call SLF functions.
		1686	*/
		1687	coro->slf_frame.prepare = 0;
1441		1688
1442	coro->flags |= CF_DESTROYED;	1689	coro->flags |= CF_DESTROYED;
1443		1690
1444	if (coro->flags & CF_READY)	1691	if (coro->flags & CF_READY)
1445	{	1692	{
…		…
1448	--coro_nready;	1695	--coro_nready;
1449	}	1696	}
1450	else	1697	else
1451	coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */	1698	coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
1452		1699
1453	if (coro->mainstack && coro->mainstack != main_mainstack)	1700	if (coro->mainstack
1454	{	1701	&& coro->mainstack != main_mainstack
1455	struct coro temp;	1702	&& coro->slot
1456		1703	&& !PL_dirty)
1457	assert (("FATAL: tried to destroy currently running coroutine (please report)", !(coro->flags & CF_RUNNING)));
1458
1459	save_perl (aTHX_ &temp);
1460	load_perl (aTHX_ coro);	1704	destroy_perl (aTHX_ coro);
1461		1705
1462	coro_destruct (aTHX_ coro);	1706	if (coro->next) coro->next->prev = coro->prev;
1463		1707	if (coro->prev) coro->prev->next = coro->next;
1464	load_perl (aTHX_ &temp);	1708	if (coro == coro_first) coro_first = coro->next;
1465
1466	coro->slot = 0;
1467	}
1468		1709
1469	cctx_destroy (coro->cctx);	1710	cctx_destroy (coro->cctx);
1470	SvREFCNT_dec (coro->startcv);	1711	SvREFCNT_dec (coro->startcv);
1471	SvREFCNT_dec (coro->args);	1712	SvREFCNT_dec (coro->args);
		1713	SvREFCNT_dec (coro->swap_sv);
1472	SvREFCNT_dec (CORO_THROW);	1714	SvREFCNT_dec (CORO_THROW);
1473
1474	if (coro->next) coro->next->prev = coro->prev;
1475	if (coro->prev) coro->prev->next = coro->next;
1476	if (coro == coro_first) coro_first = coro->next;
1477
1478	return 1;
1479	}	1715	}
1480		1716
1481	static int	1717	static int
1482	coro_state_free (pTHX_ SV *sv, MAGIC *mg)	1718	coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1483	{	1719	{
…		…
1531		1767
1532	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);	1768	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1533	TRANSFER (ta, 1);	1769	TRANSFER (ta, 1);
1534	}	1770	}
1535		1771
1536	/*****************************************************************************/
1537	/* gensub: simple closure generation utility */
1538
1539	#define GENSUB_ARG CvXSUBANY (cv).any_ptr
1540
1541	/* create a closure from XS, returns a code reference */
1542	/* the arg can be accessed via GENSUB_ARG from the callback */
1543	/* the callback must use dXSARGS/XSRETURN */
1544	static SV *
1545	gensub (pTHX_ void (*xsub)(pTHX_ CV *), void *arg)
1546	{
1547	CV *cv = (CV *)newSV (0);
1548
1549	sv_upgrade ((SV *)cv, SVt_PVCV);
1550
1551	CvANON_on (cv);
1552	CvISXSUB_on (cv);
1553	CvXSUB (cv) = xsub;
1554	GENSUB_ARG = arg;
1555
1556	return newRV_noinc ((SV *)cv);
1557	}
1558
1559	/** Coro ********************************************************************/	1772	/** Coro ********************************************************************/
1560		1773
1561	INLINE void	1774	INLINE void
1562	coro_enq (pTHX_ struct coro *coro)	1775	coro_enq (pTHX_ struct coro *coro)
1563	{	1776	{
1564	av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));	1777	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1565	}
1566		1778
1567	INLINE SV *	1779	SvREFCNT_inc_NN (coro->hv);
		1780
		1781	coro->next_ready = 0;
		1782	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
		1783	ready [1] = coro;
		1784	}
		1785
		1786	INLINE struct coro *
1568	coro_deq (pTHX)	1787	coro_deq (pTHX)
1569	{	1788	{
1570	int prio;	1789	int prio;
1571		1790
1572	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )	1791	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
1573	if (AvFILLp (coro_ready [prio]) >= 0)	1792	{
1574	return av_shift (coro_ready [prio]);	1793	struct coro **ready = coro_ready [prio];
		1794
		1795	if (ready [0])
		1796	{
		1797	struct coro *coro = ready [0];
		1798	ready [0] = coro->next_ready;
		1799	return coro;
		1800	}
		1801	}
1575		1802
1576	return 0;	1803	return 0;
		1804	}
		1805
		1806	static void
		1807	invoke_sv_ready_hook_helper (void)
		1808	{
		1809	dTHX;
		1810	dSP;
		1811
		1812	ENTER;
		1813	SAVETMPS;
		1814
		1815	PUSHMARK (SP);
		1816	PUTBACK;
		1817	call_sv (coro_readyhook, G_VOID | G_DISCARD);
		1818
		1819	FREETMPS;
		1820	LEAVE;
1577	}	1821	}
1578		1822
1579	static int	1823	static int
1580	api_ready (pTHX_ SV *coro_sv)	1824	api_ready (pTHX_ SV *coro_sv)
1581	{	1825	{
1582	struct coro *coro;
1583	SV *sv_hook;
1584	void (*xs_hook)(void);
1585
1586	if (SvROK (coro_sv))
1587	coro_sv = SvRV (coro_sv);
1588
1589	coro = SvSTATE (coro_sv);	1826	struct coro *coro = SvSTATE (coro_sv);
1590		1827
1591	if (coro->flags & CF_READY)	1828	if (coro->flags & CF_READY)
1592	return 0;	1829	return 0;
1593		1830
1594	coro->flags |= CF_READY;	1831	coro->flags |= CF_READY;
1595		1832
1596	sv_hook = coro_nready ? 0 : coro_readyhook;
1597	xs_hook = coro_nready ? 0 : coroapi.readyhook;
1598
1599	coro_enq (aTHX_ coro);	1833	coro_enq (aTHX_ coro);
1600	++coro_nready;
1601		1834
1602	if (sv_hook)	1835	if (!coro_nready++)
1603	{	1836	if (coroapi.readyhook)
1604	dSP;	1837	coroapi.readyhook ();
1605
1606	ENTER;
1607	SAVETMPS;
1608
1609	PUSHMARK (SP);
1610	PUTBACK;
1611	call_sv (sv_hook, G_VOID | G_DISCARD);
1612
1613	FREETMPS;
1614	LEAVE;
1615	}
1616
1617	if (xs_hook)
1618	xs_hook ();
1619		1838
1620	return 1;	1839	return 1;
1621	}	1840	}
1622		1841
1623	static int	1842	static int
…		…
1646	static void	1865	static void
1647	prepare_schedule (pTHX_ struct coro_transfer_args *ta)	1866	prepare_schedule (pTHX_ struct coro_transfer_args *ta)
1648	{	1867	{
1649	for (;;)	1868	for (;;)
1650	{	1869	{
1651	SV *next_sv = coro_deq (aTHX);	1870	struct coro *next = coro_deq (aTHX);
1652		1871
1653	if (expect_true (next_sv))	1872	if (expect_true (next))
1654	{	1873	{
1655	struct coro *next = SvSTATE_hv (next_sv);
1656
1657	/* cannot transfer to destroyed coros, skip and look for next */	1874	/* cannot transfer to destroyed coros, skip and look for next */
1658	if (expect_false (next->flags & CF_DESTROYED))	1875	if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED)))
1659	SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */	1876	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1660	else	1877	else
1661	{	1878	{
1662	next->flags &= ~CF_READY;	1879	next->flags &= ~CF_READY;
1663	--coro_nready;	1880	--coro_nready;
1664		1881
…		…
1667	}	1884	}
1668	}	1885	}
1669	else	1886	else
1670	{	1887	{
1671	/* nothing to schedule: call the idle handler */	1888	/* nothing to schedule: call the idle handler */
		1889	if (SvROK (sv_idle)
		1890	&& SvOBJECT (SvRV (sv_idle)))
		1891	{
		1892	if (SvRV (sv_idle) == SvRV (coro_current))
		1893	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");
		1894
		1895	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
		1896	api_ready (aTHX_ SvRV (sv_idle));
		1897	--coro_nready;
		1898	}
		1899	else
		1900	{
		1901	/* TODO: deprecated, remove, cannot work reliably *//*D*/
1672	dSP;	1902	dSP;
1673		1903
1674	ENTER;	1904	ENTER;
1675	SAVETMPS;	1905	SAVETMPS;
1676		1906
1677	PUSHMARK (SP);	1907	PUSHMARK (SP);
1678	PUTBACK;	1908	PUTBACK;
1679	call_sv (get_sv ("Coro::idle", FALSE), G_VOID | G_DISCARD);	1909	call_sv (sv_idle, G_VOID | G_DISCARD);
1680		1910
1681	FREETMPS;	1911	FREETMPS;
1682	LEAVE;	1912	LEAVE;
		1913	}
1683	}	1914	}
1684	}	1915	}
1685	}	1916	}
1686		1917
1687	INLINE void	1918	INLINE void
…		…
1758	static void	1989	static void
1759	api_trace (pTHX_ SV *coro_sv, int flags)	1990	api_trace (pTHX_ SV *coro_sv, int flags)
1760	{	1991	{
1761	struct coro *coro = SvSTATE (coro_sv);	1992	struct coro *coro = SvSTATE (coro_sv);
1762		1993
		1994	if (coro->flags & CF_RUNNING)
		1995	croak ("cannot enable tracing on a running coroutine, caught");
		1996
1763	if (flags & CC_TRACE)	1997	if (flags & CC_TRACE)
1764	{	1998	{
1765	if (!coro->cctx)	1999	if (!coro->cctx)
1766	coro->cctx = cctx_new_run ();	2000	coro->cctx = cctx_new_run ();
1767	else if (!(coro->cctx->flags & CC_TRACE))	2001	else if (!(coro->cctx->flags & CC_TRACE))
1768	croak ("cannot enable tracing on coroutine with custom stack,");	2002	croak ("cannot enable tracing on coroutine with custom stack, caught");
1769		2003
1770	coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));	2004	coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));
1771	}	2005	}
1772	else if (coro->cctx && coro->cctx->flags & CC_TRACE)	2006	else if (coro->cctx && coro->cctx->flags & CC_TRACE)
1773	{	2007	{
…		…
1782		2016
1783	static void	2017	static void
1784	coro_call_on_destroy (pTHX_ struct coro *coro)	2018	coro_call_on_destroy (pTHX_ struct coro *coro)
1785	{	2019	{
1786	SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);	2020	SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);
1787	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
1788		2021
1789	if (on_destroyp)	2022	if (on_destroyp)
1790	{	2023	{
1791	AV *on_destroy = (AV *)SvRV (*on_destroyp);	2024	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
		2025	AV *on_destroy = sv_2mortal (SvREFCNT_inc ((AV *)SvRV (*on_destroyp)));
		2026	AV *status = statusp ? sv_2mortal (SvREFCNT_inc ((AV *)SvRV (*statusp))) : 0;
1792		2027
1793	while (AvFILLp (on_destroy) >= 0)	2028	while (AvFILLp (on_destroy) >= 0)
1794	{	2029	{
1795	dSP; /* don't disturb outer sp */	2030	dSP; /* don't disturb outer sp */
1796	SV *cb = av_pop (on_destroy);	2031	SV *cb = av_pop (on_destroy);
…		…
1798	PUSHMARK (SP);	2033	PUSHMARK (SP);
1799		2034
1800	if (statusp)	2035	if (statusp)
1801	{	2036	{
1802	int i;	2037	int i;
1803	AV *status = (AV *)SvRV (*statusp);
1804	EXTEND (SP, AvFILLp (status) + 1);	2038	EXTEND (SP, AvFILLp (status) + 1);
1805		2039
1806	for (i = 0; i <= AvFILLp (status); ++i)	2040	for (i = 0; i <= AvFILLp (status); ++i)
1807	PUSHs (AvARRAY (status)[i]);	2041	PUSHs (AvARRAY (status)[i]);
1808	}	2042	}
…		…
1812	}	2046	}
1813	}	2047	}
1814	}	2048	}
1815		2049
1816	static void	2050	static void
1817	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2051	coro_set_status (HV *coro_hv, SV **arg, int items)
1818	{	2052	{
1819	int i;
1820	HV *hv = (HV *)SvRV (coro_current);
1821	AV *av = newAV ();	2053	AV *av = newAV ();
1822		2054
		2055	/* items are actually not so common, so optimise for this case */
		2056	if (items)
		2057	{
		2058	int i;
		2059
1823	av_extend (av, items - 1);	2060	av_extend (av, items - 1);
		2061
1824	for (i = 0; i < items; ++i)	2062	for (i = 0; i < items; ++i)
1825	av_push (av, SvREFCNT_inc_NN (arg [i]));	2063	av_push (av, SvREFCNT_inc_NN (arg [i]));
		2064	}
1826		2065
1827	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);	2066	hv_store (coro_hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);
		2067	}
1828		2068
		2069	static void
		2070	slf_init_terminate_cancel_common (pTHX_ struct CoroSLF *frame, HV *coro_hv)
		2071	{
1829	av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */	2072	av_push (av_destroy, (SV *)newRV_inc ((SV *)coro_hv)); /* RVinc for perl */
1830	api_ready (aTHX_ sv_manager);	2073	api_ready (aTHX_ sv_manager);
1831		2074
1832	frame->prepare = prepare_schedule;	2075	frame->prepare = prepare_schedule;
1833	frame->check = slf_check_repeat;	2076	frame->check = slf_check_repeat;
		2077
		2078	/* as a minor optimisation, we could unwind all stacks here */
		2079	/* but that puts extra pressure on pp_slf, and is not worth much */
		2080	/*coro_unwind_stacks (aTHX);*/
		2081	}
		2082
		2083	static void
		2084	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2085	{
		2086	HV *coro_hv = (HV *)SvRV (coro_current);
		2087
		2088	coro_set_status (coro_hv, arg, items);
		2089	slf_init_terminate_cancel_common (frame, coro_hv);
		2090	}
		2091
		2092	static void
		2093	slf_init_cancel (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2094	{
		2095	HV *coro_hv;
		2096	struct coro *coro;
		2097
		2098	if (items <= 0)
		2099	croak ("Coro::cancel called without coro object,");
		2100
		2101	coro = SvSTATE (arg [0]);
		2102	coro_hv = coro->hv;
		2103
		2104	coro_set_status (coro_hv, arg + 1, items - 1);
		2105
		2106	if (expect_false (coro->flags & CF_NOCANCEL))
		2107	{
		2108	/* coro currently busy cancelling something, so just notify it */
		2109	coro->slf_frame.data = (void *)coro;
		2110
		2111	frame->prepare = prepare_nop;
		2112	frame->check = slf_check_nop;
		2113	}
		2114	else if (coro_hv == (HV *)SvRV (coro_current))
		2115	{
		2116	/* cancelling the current coro is allowed, and equals terminate */
		2117	slf_init_terminate_cancel_common (frame, coro_hv);
		2118	}
		2119	else
		2120	{
		2121	struct coro *self = SvSTATE_current;
		2122
		2123	/* otherwise we cancel directly, purely for speed reasons
		2124	* unfortunately, this requires some magic trickery, as
		2125	* somebody else could cancel us, so we have to fight the cancellation.
		2126	* this is ugly, and hopefully fully worth the extra speed.
		2127	* besides, I can't get the slow-but-safe version working...
		2128	*/
		2129	slf_frame.data = 0;
		2130	self->flags |= CF_NOCANCEL;
		2131
		2132	coro_state_destroy (aTHX_ coro);
		2133	coro_call_on_destroy (aTHX_ coro);
		2134
		2135	self->flags &= ~CF_NOCANCEL;
		2136
		2137	if (slf_frame.data)
		2138	{
		2139	/* while we were busy we have been cancelled, so terminate */
		2140	slf_init_terminate_cancel_common (frame, self->hv);
		2141	}
		2142	else
		2143	{
		2144	frame->prepare = prepare_nop;
		2145	frame->check = slf_check_nop;
		2146	}
		2147	}
1834	}	2148	}
1835		2149
1836	/*****************************************************************************/	2150	/*****************************************************************************/
1837	/* async pool handler */	2151	/* async pool handler */
1838		2152
…		…
1916		2230
1917	static void	2231	static void
1918	coro_rouse_callback (pTHX_ CV *cv)	2232	coro_rouse_callback (pTHX_ CV *cv)
1919	{	2233	{
1920	dXSARGS;	2234	dXSARGS;
1921	SV *data = (SV *)GENSUB_ARG;	2235	SV *data = (SV *)S_GENSUB_ARG;
1922		2236
1923	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2237	if (SvTYPE (SvRV (data)) != SVt_PVAV)
1924	{	2238	{
1925	/* first call, set args */	2239	/* first call, set args */
		2240	SV *coro = SvRV (data);
1926	AV *av = newAV ();	2241	AV *av = newAV ();
1927	SV *coro = SvRV (data);
1928		2242
1929	SvRV_set (data, (SV *)av);	2243	SvRV_set (data, (SV *)av);
1930	api_ready (aTHX_ coro);
1931	SvREFCNT_dec (coro);
1932		2244
1933	/* better take a full copy of the arguments */	2245	/* better take a full copy of the arguments */
1934	while (items--)	2246	while (items--)
1935	av_store (av, items, newSVsv (ST (items)));	2247	av_store (av, items, newSVsv (ST (items)));
		2248
		2249	api_ready (aTHX_ coro);
		2250	SvREFCNT_dec (coro);
1936	}	2251	}
1937		2252
1938	XSRETURN_EMPTY;	2253	XSRETURN_EMPTY;
1939	}	2254	}
1940		2255
…		…
1957		2272
1958	EXTEND (SP, AvFILLp (av) + 1);	2273	EXTEND (SP, AvFILLp (av) + 1);
1959	for (i = 0; i <= AvFILLp (av); ++i)	2274	for (i = 0; i <= AvFILLp (av); ++i)
1960	PUSHs (sv_2mortal (AvARRAY (av)[i]));	2275	PUSHs (sv_2mortal (AvARRAY (av)[i]));
1961		2276
1962	/* we have stolen the elements, so ste length to zero and free */	2277	/* we have stolen the elements, so set length to zero and free */
1963	AvFILLp (av) = -1;	2278	AvFILLp (av) = -1;
1964	av_undef (av);	2279	av_undef (av);
1965		2280
1966	PUTBACK;	2281	PUTBACK;
1967	}	2282	}
…		…
1991	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2306	|| SvTYPE (SvRV (cb)) != SVt_PVCV
1992	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2307	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
1993	croak ("Coro::rouse_wait called with illegal callback argument,");	2308	croak ("Coro::rouse_wait called with illegal callback argument,");
1994		2309
1995	{	2310	{
1996	CV *cv = (CV *)SvRV (cb); /* for GENSUB_ARG */	2311	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
1997	SV *data = (SV *)GENSUB_ARG;	2312	SV *data = (SV *)S_GENSUB_ARG;
1998		2313
1999	frame->data = (void *)data;	2314	frame->data = (void *)data;
2000	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2315	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;
2001	frame->check = slf_check_rouse_wait;	2316	frame->check = slf_check_rouse_wait;
2002	}	2317	}
…		…
2006	coro_new_rouse_cb (pTHX)	2321	coro_new_rouse_cb (pTHX)
2007	{	2322	{
2008	HV *hv = (HV *)SvRV (coro_current);	2323	HV *hv = (HV *)SvRV (coro_current);
2009	struct coro *coro = SvSTATE_hv (hv);	2324	struct coro *coro = SvSTATE_hv (hv);
2010	SV *data = newRV_inc ((SV *)hv);	2325	SV *data = newRV_inc ((SV *)hv);
2011	SV *cb = gensub (aTHX_ coro_rouse_callback, (void *)data);	2326	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);
2012		2327
2013	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2328	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2014	SvREFCNT_dec (data); /* magicext increases the refcount */	2329	SvREFCNT_dec (data); /* magicext increases the refcount */
2015		2330
2016	SvREFCNT_dec (coro->rouse_cb);	2331	SvREFCNT_dec (coro->rouse_cb);
…		…
2241	if (PL_op->op_flags & OPf_STACKED)	2556	if (PL_op->op_flags & OPf_STACKED)
2242	{	2557	{
2243	if (items > slf_arga)	2558	if (items > slf_arga)
2244	{	2559	{
2245	slf_arga = items;	2560	slf_arga = items;
2246	free (slf_argv);	2561	Safefree (slf_argv);
2247	slf_argv = malloc (slf_arga * sizeof (SV *));	2562	New (0, slf_argv, slf_arga, SV *);
2248	}	2563	}
2249		2564
2250	slf_argc = items;	2565	slf_argc = items;
2251		2566
2252	for (i = 0; i < items; ++i)	2567	for (i = 0; i < items; ++i)
…		…
2257		2572
2258	PL_op->op_ppaddr = pp_slf;	2573	PL_op->op_ppaddr = pp_slf;
2259	/*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */	2574	/*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */
2260		2575
2261	PL_op = (OP *)&slf_restore;	2576	PL_op = (OP *)&slf_restore;
		2577	}
		2578
		2579	/*****************************************************************************/
		2580	/* dynamic wind */
		2581
		2582	static void
		2583	on_enterleave_call (pTHX_ SV *cb)
		2584	{
		2585	dSP;
		2586
		2587	PUSHSTACK;
		2588
		2589	PUSHMARK (SP);
		2590	PUTBACK;
		2591	call_sv (cb, G_VOID | G_DISCARD);
		2592	SPAGAIN;
		2593
		2594	POPSTACK;
		2595	}
		2596
		2597	static SV *
		2598	coro_avp_pop_and_free (pTHX_ AV **avp)
		2599	{
		2600	AV *av = *avp;
		2601	SV *res = av_pop (av);
		2602
		2603	if (AvFILLp (av) < 0)
		2604	{
		2605	*avp = 0;
		2606	SvREFCNT_dec (av);
		2607	}
		2608
		2609	return res;
		2610	}
		2611
		2612	static void
		2613	coro_pop_on_enter (pTHX_ void *coro)
		2614	{
		2615	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_enter);
		2616	SvREFCNT_dec (cb);
		2617	}
		2618
		2619	static void
		2620	coro_pop_on_leave (pTHX_ void *coro)
		2621	{
		2622	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
		2623	on_enterleave_call (aTHX_ sv_2mortal (cb));
2262	}	2624	}
2263		2625
2264	/*****************************************************************************/	2626	/*****************************************************************************/
2265	/* PerlIO::cede */	2627	/* PerlIO::cede */
2266		2628
…		…
2340	/* Coro::Semaphore & Coro::Signal */	2702	/* Coro::Semaphore & Coro::Signal */
2341		2703
2342	static SV *	2704	static SV *
2343	coro_waitarray_new (pTHX_ int count)	2705	coro_waitarray_new (pTHX_ int count)
2344	{	2706	{
2345	/* a semaphore contains a counter IV in $sem->[0] and any waiters after that */	2707	/* a waitarray=semaphore contains a counter IV in $sem->[0] and any waiters after that */
2346	AV *av = newAV ();	2708	AV *av = newAV ();
2347	SV **ary;	2709	SV **ary;
2348		2710
2349	/* unfortunately, building manually saves memory */	2711	/* unfortunately, building manually saves memory */
2350	Newx (ary, 2, SV *);	2712	Newx (ary, 2, SV *);
2351	AvALLOC (av) = ary;	2713	AvALLOC (av) = ary;
		2714	#if PERL_VERSION_ATLEAST (5,10,0)
2352	/*AvARRAY (av) = ary;*/	2715	AvARRAY (av) = ary;
		2716	#else
2353	SvPVX ((SV *)av) = (char *)ary; /* 5.8.8 needs this syntax instead of AvARRAY = ary */	2717	/* 5.8.8 needs this syntax instead of AvARRAY = ary, yet */
		2718	/* -DDEBUGGING flags this as a bug, despite it perfectly working */
		2719	SvPVX ((SV *)av) = (char *)ary;
		2720	#endif
2354	AvMAX (av) = 1;	2721	AvMAX (av) = 1;
2355	AvFILLp (av) = 0;	2722	AvFILLp (av) = 0;
2356	ary [0] = newSViv (count);	2723	ary [0] = newSViv (count);
2357		2724
2358	return newRV_noinc ((SV *)av);	2725	return newRV_noinc ((SV *)av);
…		…
2487	{	2854	{
2488	if (items >= 2)	2855	if (items >= 2)
2489	{	2856	{
2490	/* callback form */	2857	/* callback form */
2491	AV *av = (AV *)SvRV (arg [0]);	2858	AV *av = (AV *)SvRV (arg [0]);
2492	CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);	2859	SV *cb_cv = s_get_cv_croak (arg [1]);
2493		2860
2494	av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));	2861	av_push (av, SvREFCNT_inc_NN (cb_cv));
2495		2862
2496	if (SvIVX (AvARRAY (av)[0]) > 0)	2863	if (SvIVX (AvARRAY (av)[0]) > 0)
2497	coro_semaphore_adjust (aTHX_ av, 0);	2864	coro_semaphore_adjust (aTHX_ av, 0);
2498		2865
2499	frame->prepare = prepare_nop;	2866	frame->prepare = prepare_nop;
…		…
2523	AvARRAY (av)[0] = AvARRAY (av)[1];	2890	AvARRAY (av)[0] = AvARRAY (av)[1];
2524	AvARRAY (av)[1] = cb;	2891	AvARRAY (av)[1] = cb;
2525		2892
2526	cb = av_shift (av);	2893	cb = av_shift (av);
2527		2894
		2895	if (SvTYPE (cb) == SVt_PVCV)
		2896	{
		2897	dSP;
		2898	PUSHMARK (SP);
		2899	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
		2900	PUTBACK;
		2901	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
		2902	}
		2903	else
		2904	{
2528	api_ready (aTHX_ cb);	2905	api_ready (aTHX_ cb);
2529	sv_setiv (cb, 0); /* signal waiter */	2906	sv_setiv (cb, 0); /* signal waiter */
		2907	}
		2908
2530	SvREFCNT_dec (cb);	2909	SvREFCNT_dec (cb);
2531		2910
2532	--count;	2911	--count;
2533	}	2912	}
2534	}	2913	}
…		…
2543	static void	2922	static void
2544	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2923	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2545	{	2924	{
2546	AV *av = (AV *)SvRV (arg [0]);	2925	AV *av = (AV *)SvRV (arg [0]);
2547		2926
		2927	if (items >= 2)
		2928	{
		2929	SV *cb_cv = s_get_cv_croak (arg [1]);
		2930	av_push (av, SvREFCNT_inc_NN (cb_cv));
		2931
2548	if (SvIVX (AvARRAY (av)[0]))	2932	if (SvIVX (AvARRAY (av)[0]))
		2933	coro_signal_wake (aTHX_ av, 1); /* must be the only waiter */
		2934
		2935	frame->prepare = prepare_nop;
		2936	frame->check = slf_check_nop;
		2937	}
		2938	else if (SvIVX (AvARRAY (av)[0]))
2549	{	2939	{
2550	SvIVX (AvARRAY (av)[0]) = 0;	2940	SvIVX (AvARRAY (av)[0]) = 0;
2551	frame->prepare = prepare_nop;	2941	frame->prepare = prepare_nop;
2552	frame->check = slf_check_nop;	2942	frame->check = slf_check_nop;
2553	}	2943	}
2554	else	2944	else
2555	{	2945	{
2556	SV *waiter = newRV_inc (SvRV (coro_current)); /* owned by signal av */	2946	SV *waiter = newSVsv (coro_current); /* owned by signal av */
2557		2947
2558	av_push (av, waiter);	2948	av_push (av, waiter);
2559		2949
2560	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */	2950	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */
2561	frame->prepare = prepare_schedule;	2951	frame->prepare = prepare_schedule;
…		…
2579		2969
2580	static void	2970	static void
2581	coro_aio_callback (pTHX_ CV *cv)	2971	coro_aio_callback (pTHX_ CV *cv)
2582	{	2972	{
2583	dXSARGS;	2973	dXSARGS;
2584	AV *state = (AV *)GENSUB_ARG;	2974	AV *state = (AV *)S_GENSUB_ARG;
2585	SV *coro = av_pop (state);	2975	SV *coro = av_pop (state);
2586	SV *data_sv = newSV (sizeof (struct io_state));	2976	SV *data_sv = newSV (sizeof (struct io_state));
2587		2977
2588	av_extend (state, items - 1);	2978	av_extend (state, items - 1);
2589		2979
…		…
2703		3093
2704	for (i = 0; i < items; ++i)	3094	for (i = 0; i < items; ++i)
2705	PUSHs (arg [i]);	3095	PUSHs (arg [i]);
2706		3096
2707	/* now push the callback closure */	3097	/* now push the callback closure */
2708	PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));	3098	PUSHs (sv_2mortal (s_gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));
2709		3099
2710	/* now call the AIO function - we assume our request is uncancelable */	3100	/* now call the AIO function - we assume our request is uncancelable */
2711	PUTBACK;	3101	PUTBACK;
2712	call_sv ((SV *)req, G_VOID | G_DISCARD);	3102	call_sv ((SV *)req, G_VOID | G_DISCARD);
2713	}	3103	}
2714		3104
2715	/* now that the requets is going, we loop toll we have a result */	3105	/* now that the request is going, we loop till we have a result */
2716	frame->data = (void *)state;	3106	frame->data = (void *)state;
2717	frame->prepare = prepare_schedule;	3107	frame->prepare = prepare_schedule;
2718	frame->check = slf_check_aio_req;	3108	frame->check = slf_check_aio_req;
2719	}	3109	}
2720		3110
…		…
2731	/*****************************************************************************/	3121	/*****************************************************************************/
2732		3122
2733	#if CORO_CLONE	3123	#if CORO_CLONE
2734	# include "clone.c"	3124	# include "clone.c"
2735	#endif	3125	#endif
		3126
		3127	/*****************************************************************************/
		3128
		3129	static SV *
		3130	coro_new (pTHX_ HV *stash, SV **argv, int argc, int is_coro)
		3131	{
		3132	SV *coro_sv;
		3133	struct coro *coro;
		3134	MAGIC *mg;
		3135	HV *hv;
		3136	SV *cb;
		3137	int i;
		3138
		3139	if (argc > 0)
		3140	{
		3141	cb = s_get_cv_croak (argv [0]);
		3142
		3143	if (!is_coro)
		3144	{
		3145	if (CvISXSUB (cb))
		3146	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
		3147
		3148	if (!CvROOT (cb))
		3149	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
		3150	}
		3151	}
		3152
		3153	Newz (0, coro, 1, struct coro);
		3154	coro->args = newAV ();
		3155	coro->flags = CF_NEW;
		3156
		3157	if (coro_first) coro_first->prev = coro;
		3158	coro->next = coro_first;
		3159	coro_first = coro;
		3160
		3161	coro->hv = hv = newHV ();
		3162	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
		3163	mg->mg_flags |= MGf_DUP;
		3164	coro_sv = sv_bless (newRV_noinc ((SV *)hv), stash);
		3165
		3166	if (argc > 0)
		3167	{
		3168	av_extend (coro->args, argc + is_coro - 1);
		3169
		3170	if (is_coro)
		3171	{
		3172	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
		3173	cb = (SV *)cv_coro_run;
		3174	}
		3175
		3176	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
		3177
		3178	for (i = 1; i < argc; i++)
		3179	av_push (coro->args, newSVsv (argv [i]));
		3180	}
		3181
		3182	return coro_sv;
		3183	}
2736		3184
2737	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3185	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2738		3186
2739	PROTOTYPES: DISABLE	3187	PROTOTYPES: DISABLE
2740		3188
…		…
2793	coroapi.prepare_nop = prepare_nop;	3241	coroapi.prepare_nop = prepare_nop;
2794	coroapi.prepare_schedule = prepare_schedule;	3242	coroapi.prepare_schedule = prepare_schedule;
2795	coroapi.prepare_cede = prepare_cede;	3243	coroapi.prepare_cede = prepare_cede;
2796	coroapi.prepare_cede_notself = prepare_cede_notself;	3244	coroapi.prepare_cede_notself = prepare_cede_notself;
2797		3245
2798	{	3246	time_init (aTHX);
2799	SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
2800		3247
2801	if (!svp) croak ("Time::HiRes is required");
2802	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
2803
2804	nvtime = INT2PTR (double (*)(), SvIV (*svp));
2805	}
2806
2807	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	3248	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
2808	}	3249	}
2809		3250
2810	SV *	3251	SV *
2811	new (char *klass, ...)	3252	new (SV *klass, ...)
2812	ALIAS:	3253	ALIAS:
2813	Coro::new = 1	3254	Coro::new = 1
2814	CODE:	3255	CODE:
2815	{	3256	RETVAL = coro_new (aTHX_ ix ? coro_stash : coro_state_stash, &ST (1), items - 1, ix);
2816	struct coro *coro;	3257	OUTPUT:
2817	MAGIC *mg;
2818	HV *hv;
2819	CV *cb;
2820	int i;
2821
2822	if (items > 1)
2823	{
2824	cb = coro_sv_2cv (aTHX_ ST (1));
2825
2826	if (!ix)
2827	{
2828	if (CvISXSUB (cb))
2829	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
2830
2831	if (!CvROOT (cb))
2832	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
2833	}
2834	}
2835
2836	Newz (0, coro, 1, struct coro);
2837	coro->args = newAV ();
2838	coro->flags = CF_NEW;
2839
2840	if (coro_first) coro_first->prev = coro;
2841	coro->next = coro_first;
2842	coro_first = coro;
2843
2844	coro->hv = hv = newHV ();
2845	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
2846	mg->mg_flags |= MGf_DUP;
2847	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2848
2849	if (items > 1)
2850	{
2851	av_extend (coro->args, items - 1 + ix - 1);
2852
2853	if (ix)
2854	{
2855	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2856	cb = cv_coro_run;
2857	}
2858
2859	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
2860
2861	for (i = 2; i < items; i++)
2862	av_push (coro->args, newSVsv (ST (i)));
2863	}
2864	}
2865	OUTPUT:
2866	RETVAL	3258	RETVAL
2867		3259
2868	void	3260	void
2869	transfer (...)	3261	transfer (...)
2870	PROTOTYPE: $$	3262	PROTOTYPE: $$
2871	CODE:	3263	CODE:
2872	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3264	CORO_EXECUTE_SLF_XS (slf_init_transfer);
2873		3265
2874	bool
2875	_destroy (SV *coro_sv)
2876	CODE:
2877	RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
2878	OUTPUT:
2879	RETVAL
2880
2881	void	3266	void
2882	_exit (int code)	3267	_exit (int code)
2883	PROTOTYPE: $	3268	PROTOTYPE: $
2884	CODE:	3269	CODE:
2885	_exit (code);	3270	_exit (code);
…		…
2887	SV *	3272	SV *
2888	clone (Coro::State coro)	3273	clone (Coro::State coro)
2889	CODE:	3274	CODE:
2890	{	3275	{
2891	#if CORO_CLONE	3276	#if CORO_CLONE
2892	struct coro *ncoro = coro_clone (coro);	3277	struct coro *ncoro = coro_clone (aTHX_ coro);
2893	MAGIC *mg;	3278	MAGIC *mg;
2894	/* TODO: too much duplication */	3279	/* TODO: too much duplication */
2895	ncoro->hv = newHV ();	3280	ncoro->hv = newHV ();
2896	mg = sv_magicext ((SV *)ncoro->hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)ncoro, 0);	3281	mg = sv_magicext ((SV *)ncoro->hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)ncoro, 0);
2897	mg->mg_flags |= MGf_DUP;	3282	mg->mg_flags |= MGf_DUP;
…		…
2959	eval = 1	3344	eval = 1
2960	CODE:	3345	CODE:
2961	{	3346	{
2962	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))	3347	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
2963	{	3348	{
2964	struct coro temp;	3349	struct coro *current = SvSTATE_current;
		3350	struct CoroSLF slf_save;
2965		3351
2966	if (!(coro->flags & CF_RUNNING))	3352	if (current != coro)
2967	{	3353	{
2968	PUTBACK;	3354	PUTBACK;
2969	save_perl (aTHX_ &temp);	3355	save_perl (aTHX_ current);
2970	load_perl (aTHX_ coro);	3356	load_perl (aTHX_ coro);
		3357	/* the coro is most likely in an active SLF call.
		3358	* while not strictly required (the code we execute is
		3359	* not allowed to call any SLF functions), it's cleaner
		3360	* to reinitialise the slf_frame and restore it later.
		3361	* This might one day allow us to actually do SLF calls
		3362	* from code executed here.
		3363	*/
		3364	slf_save = slf_frame;
		3365	slf_frame.prepare = 0;
		3366	SPAGAIN;
2971	}	3367	}
2972		3368
2973	{
2974	dSP;
2975	ENTER;
2976	SAVETMPS;
2977	PUTBACK;
2978	PUSHSTACK;	3369	PUSHSTACK;
		3370
2979	PUSHMARK (SP);	3371	PUSHMARK (SP);
		3372	PUTBACK;
2980		3373
2981	if (ix)	3374	if (ix)
2982	eval_sv (coderef, 0);	3375	eval_sv (coderef, 0);
2983	else	3376	else
2984	call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	3377	call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
2985		3378
2986	POPSTACK;	3379	POPSTACK;
2987	SPAGAIN;	3380	SPAGAIN;
2988	FREETMPS;
2989	LEAVE;
2990	PUTBACK;
2991	}
2992		3381
2993	if (!(coro->flags & CF_RUNNING))	3382	if (current != coro)
2994	{	3383	{
		3384	PUTBACK;
		3385	slf_frame = slf_save;
2995	save_perl (aTHX_ coro);	3386	save_perl (aTHX_ coro);
2996	load_perl (aTHX_ &temp);	3387	load_perl (aTHX_ current);
2997	SPAGAIN;	3388	SPAGAIN;
2998	}	3389	}
2999	}	3390	}
3000	}	3391	}
3001		3392
…		…
3005	ALIAS:	3396	ALIAS:
3006	is_ready = CF_READY	3397	is_ready = CF_READY
3007	is_running = CF_RUNNING	3398	is_running = CF_RUNNING
3008	is_new = CF_NEW	3399	is_new = CF_NEW
3009	is_destroyed = CF_DESTROYED	3400	is_destroyed = CF_DESTROYED
		3401	is_suspended = CF_SUSPENDED
3010	CODE:	3402	CODE:
3011	RETVAL = boolSV (coro->flags & ix);	3403	RETVAL = boolSV (coro->flags & ix);
3012	OUTPUT:	3404	OUTPUT:
3013	RETVAL	3405	RETVAL
3014		3406
3015	void	3407	void
3016	throw (Coro::State self, SV *throw = &PL_sv_undef)	3408	throw (Coro::State self, SV *exception = &PL_sv_undef)
3017	PROTOTYPE: $;$	3409	PROTOTYPE: $;$
3018	CODE:	3410	CODE:
3019	{	3411	{
3020	struct coro *current = SvSTATE_current;	3412	struct coro *current = SvSTATE_current;
3021	SV **throwp = self == current ? &CORO_THROW : &self->except;	3413	SV **exceptionp = self == current ? &CORO_THROW : &self->except;
3022	SvREFCNT_dec (*throwp);	3414	SvREFCNT_dec (*exceptionp);
3023	*throwp = SvOK (throw) ? newSVsv (throw) : 0;	3415	SvGETMAGIC (exception);
		3416	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
3024	}	3417	}
3025		3418
3026	void	3419	void
3027	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3420	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3028	PROTOTYPE: $;$	3421	PROTOTYPE: $;$
…		…
3079	SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;	3472	SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;
3080		3473
3081	SV *tmp = *src; *src = *dst; *dst = tmp;	3474	SV *tmp = *src; *src = *dst; *dst = tmp;
3082	}	3475	}
3083		3476
		3477	void
		3478	cancel (Coro::State self)
		3479	CODE:
		3480	coro_state_destroy (aTHX_ self);
		3481
		3482	SV *
		3483	enable_times (int enabled = enable_times)
		3484	CODE:
		3485	{
		3486	RETVAL = boolSV (enable_times);
		3487
		3488	if (enabled != enable_times)
		3489	{
		3490	enable_times = enabled;
		3491
		3492	coro_times_update ();
		3493	(enabled ? coro_times_sub : coro_times_add)(SvSTATE (coro_current));
		3494	}
		3495	}
		3496	OUTPUT:
		3497	RETVAL
		3498
		3499	void
		3500	times (Coro::State self)
		3501	PPCODE:
		3502	{
		3503	struct coro *current = SvSTATE (coro_current);
		3504
		3505	if (expect_false (current == self))
		3506	{
		3507	coro_times_update ();
		3508	coro_times_add (SvSTATE (coro_current));
		3509	}
		3510
		3511	EXTEND (SP, 2);
		3512	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
		3513	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
		3514
		3515	if (expect_false (current == self))
		3516	coro_times_sub (SvSTATE (coro_current));
		3517	}
		3518
		3519	void
		3520	swap_sv (Coro::State coro, SV *sv, SV *swapsv)
		3521	CODE:
		3522	{
		3523	struct coro *current = SvSTATE_current;
		3524
		3525	if (current == coro)
		3526	SWAP_SVS (current);
		3527
		3528	if (!coro->swap_sv)
		3529	coro->swap_sv = newAV ();
		3530
		3531	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));
		3532	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));
		3533
		3534	if (current == coro)
		3535	SWAP_SVS (current);
		3536	}
		3537
3084		3538
3085	MODULE = Coro::State PACKAGE = Coro	3539	MODULE = Coro::State PACKAGE = Coro
3086		3540
3087	BOOT:	3541	BOOT:
3088	{	3542	{
3089	int i;
3090
3091	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	3543	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3092	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	3544	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3093	cv_coro_run = get_cv ( "Coro::_terminate", GV_ADD);	3545	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3094	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);	3546	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3095	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	3547	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
3096	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);	3548	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
3097	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);	3549	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);
3098	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);	3550	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);
		3551	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3099		3552
3100	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	3553	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3101	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	3554	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3102	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	3555	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3103	cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);	3556	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3104		3557
3105	coro_stash = gv_stashpv ("Coro", TRUE);	3558	coro_stash = gv_stashpv ("Coro", TRUE);
3106		3559
3107	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));	3560	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3108	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));	3561	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3109	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));	3562	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
3110	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));	3563	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (CORO_PRIO_LOW));
3111	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));	3564	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (CORO_PRIO_IDLE));
3112	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));	3565	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (CORO_PRIO_MIN));
3113
3114	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
3115	coro_ready[i] = newAV ();
3116		3566
3117	{	3567	{
3118	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);	3568	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
3119		3569
3120	coroapi.schedule = api_schedule;	3570	coroapi.schedule = api_schedule;
…		…
3130	sv_setiv (sv, (IV)&coroapi);	3580	sv_setiv (sv, (IV)&coroapi);
3131	SvREADONLY_on (sv);	3581	SvREADONLY_on (sv);
3132	}	3582	}
3133	}	3583	}
3134		3584
		3585	SV *
		3586	async (...)
		3587	PROTOTYPE: &@
		3588	CODE:
		3589	RETVAL = coro_new (aTHX_ coro_stash, &ST (0), items, 1);
		3590	api_ready (aTHX_ RETVAL);
		3591	OUTPUT:
		3592	RETVAL
		3593
		3594	void
		3595	_destroy (Coro::State coro)
		3596	CODE:
		3597	/* used by the manager thread */
		3598	coro_state_destroy (aTHX_ coro);
		3599	coro_call_on_destroy (aTHX_ coro);
		3600
3135	void	3601	void
3136	terminate (...)	3602	terminate (...)
3137	CODE:	3603	CODE:
3138	CORO_EXECUTE_SLF_XS (slf_init_terminate);	3604	CORO_EXECUTE_SLF_XS (slf_init_terminate);
3139		3605
3140	void	3606	void
		3607	cancel (...)
		3608	CODE:
		3609	CORO_EXECUTE_SLF_XS (slf_init_cancel);
		3610
		3611	void
3141	schedule (...)	3612	schedule (...)
3142	CODE:	3613	CODE:
3143	CORO_EXECUTE_SLF_XS (slf_init_schedule);	3614	CORO_EXECUTE_SLF_XS (slf_init_schedule);
3144		3615
3145	void	3616	void
…		…
3159		3630
3160	void	3631	void
3161	cede_notself (...)	3632	cede_notself (...)
3162	CODE:	3633	CODE:
3163	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);	3634	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);
3164
3165	void
3166	_cancel (Coro::State self)
3167	CODE:
3168	coro_state_destroy (aTHX_ self);
3169	coro_call_on_destroy (aTHX_ self);
3170		3635
3171	void	3636	void
3172	_set_current (SV *current)	3637	_set_current (SV *current)
3173	PROTOTYPE: $	3638	PROTOTYPE: $
3174	CODE:	3639	CODE:
…		…
3178	void	3643	void
3179	_set_readyhook (SV *hook)	3644	_set_readyhook (SV *hook)
3180	PROTOTYPE: $	3645	PROTOTYPE: $
3181	CODE:	3646	CODE:
3182	SvREFCNT_dec (coro_readyhook);	3647	SvREFCNT_dec (coro_readyhook);
		3648	SvGETMAGIC (hook);
		3649	if (SvOK (hook))
		3650	{
3183	coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;	3651	coro_readyhook = newSVsv (hook);
		3652	CORO_READYHOOK = invoke_sv_ready_hook_helper;
		3653	}
		3654	else
		3655	{
		3656	coro_readyhook = 0;
		3657	CORO_READYHOOK = 0;
		3658	}
3184		3659
3185	int	3660	int
3186	prio (Coro::State coro, int newprio = 0)	3661	prio (Coro::State coro, int newprio = 0)
3187	PROTOTYPE: $;$	3662	PROTOTYPE: $;$
3188	ALIAS:	3663	ALIAS:
…		…
3194	if (items > 1)	3669	if (items > 1)
3195	{	3670	{
3196	if (ix)	3671	if (ix)
3197	newprio = coro->prio - newprio;	3672	newprio = coro->prio - newprio;
3198		3673
3199	if (newprio < PRIO_MIN) newprio = PRIO_MIN;	3674	if (newprio < CORO_PRIO_MIN) newprio = CORO_PRIO_MIN;
3200	if (newprio > PRIO_MAX) newprio = PRIO_MAX;	3675	if (newprio > CORO_PRIO_MAX) newprio = CORO_PRIO_MAX;
3201		3676
3202	coro->prio = newprio;	3677	coro->prio = newprio;
3203	}	3678	}
3204	}	3679	}
3205	OUTPUT:	3680	OUTPUT:
…		…
3220	RETVAL = coro_nready;	3695	RETVAL = coro_nready;
3221	OUTPUT:	3696	OUTPUT:
3222	RETVAL	3697	RETVAL
3223		3698
3224	void	3699	void
		3700	suspend (Coro::State self)
		3701	PROTOTYPE: $
		3702	CODE:
		3703	self->flags |= CF_SUSPENDED;
		3704
		3705	void
		3706	resume (Coro::State self)
		3707	PROTOTYPE: $
		3708	CODE:
		3709	self->flags &= ~CF_SUSPENDED;
		3710
		3711	void
3225	_pool_handler (...)	3712	_pool_handler (...)
3226	CODE:	3713	CODE:
3227	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);	3714	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
3228		3715
3229	void	3716	void
…		…
3240	for (i = 1; i < items; ++i)	3727	for (i = 1; i < items; ++i)
3241	av_push (av, SvREFCNT_inc_NN (ST (i)));	3728	av_push (av, SvREFCNT_inc_NN (ST (i)));
3242		3729
3243	if ((SV *)hv == &PL_sv_undef)	3730	if ((SV *)hv == &PL_sv_undef)
3244	{	3731	{
3245	PUSHMARK (SP);	3732	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3246	EXTEND (SP, 2);
3247	PUSHs (sv_Coro);
3248	PUSHs ((SV *)cv_pool_handler);
3249	PUTBACK;
3250	call_sv ((SV *)cv_coro_state_new, G_SCALAR);
3251	SPAGAIN;
3252
3253	hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));	3733	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
		3734	SvREFCNT_dec (sv);
3254	}	3735	}
3255		3736
3256	{	3737	{
3257	struct coro *coro = SvSTATE_hv (hv);	3738	struct coro *coro = SvSTATE_hv (hv);
3258		3739
…		…
3282	rouse_wait (...)	3763	rouse_wait (...)
3283	PROTOTYPE: ;$	3764	PROTOTYPE: ;$
3284	PPCODE:	3765	PPCODE:
3285	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);	3766	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);
3286		3767
		3768	void
		3769	on_enter (SV *block)
		3770	ALIAS:
		3771	on_leave = 1
		3772	PROTOTYPE: &
		3773	CODE:
		3774	{
		3775	struct coro *coro = SvSTATE_current;
		3776	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
		3777
		3778	block = s_get_cv_croak (block);
		3779
		3780	if (!*avp)
		3781	*avp = newAV ();
		3782
		3783	av_push (*avp, SvREFCNT_inc (block));
		3784
		3785	if (!ix)
		3786	on_enterleave_call (aTHX_ block);
		3787
		3788	LEAVE; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
		3789	SAVEDESTRUCTOR_X (ix ? coro_pop_on_leave : coro_pop_on_enter, (void *)coro);
		3790	ENTER; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
		3791	}
		3792
3287		3793
3288	MODULE = Coro::State PACKAGE = PerlIO::cede	3794	MODULE = Coro::State PACKAGE = PerlIO::cede
3289		3795
3290	BOOT:	3796	BOOT:
3291	PerlIO_define_layer (aTHX_ &PerlIO_cede);	3797	PerlIO_define_layer (aTHX_ &PerlIO_cede);
…		…
3294	MODULE = Coro::State PACKAGE = Coro::Semaphore	3800	MODULE = Coro::State PACKAGE = Coro::Semaphore
3295		3801
3296	SV *	3802	SV *
3297	new (SV *klass, SV *count = 0)	3803	new (SV *klass, SV *count = 0)
3298	CODE:	3804	CODE:
		3805	{
		3806	int semcnt = 1;
		3807
		3808	if (count)
		3809	{
		3810	SvGETMAGIC (count);
		3811
		3812	if (SvOK (count))
		3813	semcnt = SvIV (count);
		3814	}
		3815
3299	RETVAL = sv_bless (	3816	RETVAL = sv_bless (
3300	coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),	3817	coro_waitarray_new (aTHX_ semcnt),
3301	GvSTASH (CvGV (cv))	3818	GvSTASH (CvGV (cv))
3302	);	3819	);
		3820	}
3303	OUTPUT:	3821	OUTPUT:
3304	RETVAL	3822	RETVAL
3305		3823
3306	# helper for Coro::Channel	3824	# helper for Coro::Channel and others
3307	SV *	3825	SV *
3308	_alloc (int count)	3826	_alloc (int count)
3309	CODE:	3827	CODE:
3310	RETVAL = coro_waitarray_new (aTHX_ count);	3828	RETVAL = coro_waitarray_new (aTHX_ count);
3311	OUTPUT:	3829	OUTPUT:
…		…
3369	for (i = 1; i <= wcount; ++i)	3887	for (i = 1; i <= wcount; ++i)
3370	PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));	3888	PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));
3371	}	3889	}
3372	}	3890	}
3373		3891
		3892	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
		3893
		3894	void
		3895	_may_delete (SV *sem, int count, int extra_refs)
		3896	PPCODE:
		3897	{
		3898	AV *av = (AV *)SvRV (sem);
		3899
		3900	if (SvREFCNT ((SV *)av) == 1 + extra_refs
		3901	&& AvFILLp (av) == 0 /* no waiters, just count */
		3902	&& SvIV (AvARRAY (av)[0]) == count)
		3903	XSRETURN_YES;
		3904
		3905	XSRETURN_NO;
		3906	}
		3907
3374	MODULE = Coro::State PACKAGE = Coro::Signal	3908	MODULE = Coro::State PACKAGE = Coro::Signal
3375		3909
3376	SV *	3910	SV *
3377	new (SV *klass)	3911	new (SV *klass)
3378	CODE:	3912	CODE:
…		…
3449		3983
3450	void	3984	void
3451	_register (char *target, char *proto, SV *req)	3985	_register (char *target, char *proto, SV *req)
3452	CODE:	3986	CODE:
3453	{	3987	{
3454	CV *req_cv = coro_sv_2cv (aTHX_ req);	3988	SV *req_cv = s_get_cv_croak (req);
3455	/* newXSproto doesn't return the CV on 5.8 */	3989	/* newXSproto doesn't return the CV on 5.8 */
3456	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);	3990	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3457	sv_setpv ((SV *)slf_cv, proto);	3991	sv_setpv ((SV *)slf_cv, proto);
3458	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);	3992	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3459	}	3993	}
3460		3994
		3995	MODULE = Coro::State PACKAGE = Coro::Select
		3996
		3997	void
		3998	patch_pp_sselect ()
		3999	CODE:
		4000	if (!coro_old_pp_sselect)
		4001	{
		4002	coro_select_select = (SV *)get_cv ("Coro::Select::select", 0);
		4003	coro_old_pp_sselect = PL_ppaddr [OP_SSELECT];
		4004	PL_ppaddr [OP_SSELECT] = coro_pp_sselect;
		4005	}
		4006
		4007	void
		4008	unpatch_pp_sselect ()
		4009	CODE:
		4010	if (coro_old_pp_sselect)
		4011	{
		4012	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
		4013	coro_old_pp_sselect = 0;
		4014	}
		4015

Diff Legend

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