ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.376 by root, Fri Oct 2 20:48:04 2009 UTC vs.
Revision 1.478 by root, Mon Mar 16 11:12:52 2020 UTC

1	#define NDEBUG 1	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 /* perl usually disables NDEBUG later */
2		5
3	#include "libcoro/coro.c"	6	#include "libcoro/coro.c"
		7
		8	#if CORO_UCONTEXT
		9	#define CORO_BACKEND "ucontext"
		10	#elif CORO_SJLJ
		11	#define CORO_BACKEND "sjlj"
		12	#elif CORO_LINUX
		13	#define CORO_BACKEND "linux"
		14	#elif CORO_LOSER
		15	#define CORO_BACKEND "loser"
		16	#elif CORO_FIBER
		17	#define CORO_BACKEND "fiber"
		18	#elif CORO_IRIX
		19	#define CORO_BACKEND "irix"
		20	#elif CORO_ASM
		21	#define CORO_BACKEND "asm"
		22	#elif CORO_PTHREAD
		23	#define CORO_BACKEND "pthread"
		24	#else
		25	#define CORO_BACKEND "unknown"
		26	#endif
4		27
5	#define PERL_NO_GET_CONTEXT	28	#define PERL_NO_GET_CONTEXT
6	#define PERL_EXT	29	#define PERL_EXT
7		30
8	#include "EXTERN.h"	31	#include "EXTERN.h"
…		…
10	#include "XSUB.h"	33	#include "XSUB.h"
11	#include "perliol.h"	34	#include "perliol.h"
12		35
13	#include "schmorp.h"	36	#include "schmorp.h"
14		37
		38	#define ECB_NO_THREADS 1
		39	#define ECB_NO_LIBM 1
		40	#include "ecb.h"
		41
		42	#include <stddef.h>
15	#include <stdio.h>	43	#include <stdio.h>
16	#include <errno.h>	44	#include <errno.h>
17	#include <assert.h>	45	#include <assert.h>
18		46
		47	#ifndef SvREFCNT_dec_NN
		48	#define SvREFCNT_dec_NN(sv) SvREFCNT_dec (sv)
		49	#endif
		50
		51	#ifndef SvREFCNT_inc_NN
		52	#define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
		53	#endif
		54
19	#ifndef SVs_PADSTALE	55	#ifndef SVs_PADSTALE
20	# define SVs_PADSTALE 0	56	# define SVs_PADSTALE 0
21	#endif	57	#endif
22		58
23	#ifdef WIN32	59	#ifdef PadARRAY
		60	# define NEWPADAPI 1
		61	# define newPADLIST(var) (Newz (0, var, 1, PADLIST), Newx (PadlistARRAY (var), 2, PAD *))
		62	#else
		63	typedef AV PADNAMELIST;
		64	# if !PERL_VERSION_ATLEAST(5,8,0)
		65	typedef AV PADLIST;
		66	typedef AV PAD;
		67	# endif
		68	# define PadlistARRAY(pl) ((PAD **)AvARRAY (pl))
		69	# define PadlistMAX(pl) AvFILLp (pl)
		70	# define PadlistNAMES(pl) (*PadlistARRAY (pl))
		71	# define PadARRAY AvARRAY
		72	# define PadMAX AvFILLp
		73	# define newPADLIST(var) ((var) = newAV (), av_extend (var, 1))
		74	#endif
		75	#ifndef PadnamelistREFCNT
		76	# define PadnamelistREFCNT(pnl) SvREFCNT (pnl)
		77	#endif
		78	#ifndef PadnamelistREFCNT_dec
		79	# define PadnamelistREFCNT_dec(pnl) SvREFCNT_dec (pnl)
		80	#endif
		81
		82	/* 5.19.something has replaced SVt_BIND by SVt_INVLIST */
		83	/* we just alias it to SVt_IV, as that is sufficient for swap_sv for now */
		84	#if PERL_VERSION_ATLEAST(5,19,0)
		85	# define SVt_BIND SVt_IV
		86	#endif
		87
		88	#if defined(_WIN32)
		89	# undef HAS_GETTIMEOFDAY
24	# undef setjmp	90	# undef setjmp
25	# undef longjmp	91	# undef longjmp
26	# undef _exit	92	# undef _exit
27	# define setjmp _setjmp /* deep magic */	93	# define setjmp _setjmp /* deep magic */
28	#else	94	#else
29	# include <inttypes.h> /* most portable stdint.h */	95	# include <inttypes.h> /* most portable stdint.h */
30	#endif	96	#endif
31		97
32	#ifdef HAVE_MMAP
33	# include <unistd.h>
34	# include <sys/mman.h>
35	# ifndef MAP_ANONYMOUS
36	# ifdef MAP_ANON
37	# define MAP_ANONYMOUS MAP_ANON
38	# else
39	# undef HAVE_MMAP
40	# endif
41	# endif
42	# include <limits.h>
43	# ifndef PAGESIZE
44	# define PAGESIZE pagesize
45	# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE)
46	static long pagesize;
47	# else
48	# define BOOT_PAGESIZE (void)0
49	# endif
50	#else
51	# define PAGESIZE 0
52	# define BOOT_PAGESIZE (void)0
53	#endif
54
55	#if CORO_USE_VALGRIND
56	# include <valgrind/valgrind.h>
57	#endif
58
59	/* the maximum number of idle cctx that will be pooled */	98	/* the maximum number of idle cctx that will be pooled */
60	static int cctx_max_idle = 4;	99	static int cctx_max_idle = 4;
61		100
62	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64	101	#if defined(DEBUGGING) && PERL_VERSION_ATLEAST(5,12,0)
63	# undef CORO_STACKGUARD	102	# define HAS_SCOPESTACK_NAME 1
64	#endif
65
66	#ifndef CORO_STACKGUARD
67	# define CORO_STACKGUARD 0
68	#endif	103	#endif
69		104
70	/* prefer perl internal functions over our own? */	105	/* prefer perl internal functions over our own? */
71	#ifndef CORO_PREFER_PERL_FUNCTIONS	106	#ifndef CORO_PREFER_PERL_FUNCTIONS
72	# define CORO_PREFER_PERL_FUNCTIONS 0	107	# define CORO_PREFER_PERL_FUNCTIONS 0
…		…
82	# define STACKLEVEL ((void *)&stacklevel)	117	# define STACKLEVEL ((void *)&stacklevel)
83	#endif	118	#endif
84		119
85	#define IN_DESTRUCT PL_dirty	120	#define IN_DESTRUCT PL_dirty
86		121
87	#if __GNUC__ >= 3
88	# define attribute(x) __attribute__(x)
89	# define expect(expr,value) __builtin_expect ((expr), (value))
90	# define INLINE static inline
91	#else
92	# define attribute(x)
93	# define expect(expr,value) (expr)
94	# define INLINE static
95	#endif
96
97	#define expect_false(expr) expect ((expr) != 0, 0)
98	#define expect_true(expr) expect ((expr) != 0, 1)
99
100	#define NOINLINE attribute ((noinline))
101
102	#include "CoroAPI.h"	122	#include "CoroAPI.h"
103	#define GCoroAPI (&coroapi) /* very sneaky */	123	#define GCoroAPI (&coroapi) /* very sneaky */
104		124
105	#ifdef USE_ITHREADS	125	#ifdef USE_ITHREADS
106	# if CORO_PTHREAD	126	# if CORO_PTHREAD
…		…
116	# define CORO_CLOCK_MONOTONIC 1	136	# define CORO_CLOCK_MONOTONIC 1
117	# define CORO_CLOCK_THREAD_CPUTIME_ID 3	137	# define CORO_CLOCK_THREAD_CPUTIME_ID 3
118	# endif	138	# endif
119	#endif	139	#endif
120		140
		141	/* one off bugfix for perl 5.22 */
		142	#if PERL_VERSION_ATLEAST(5,22,0) && !PERL_VERSION_ATLEAST(5,24,0)
		143	# undef PadlistNAMES
		144	# define PadlistNAMES(pl) *((PADNAMELIST **)PadlistARRAY (pl))
		145	#endif
		146
		147	#if PERL_VERSION_ATLEAST(5,24,0)
		148	# define SUB_ARGARRAY PL_curpad[0]
		149	#else
		150	# define SUB_ARGARRAY (SV *)cx->blk_sub.argarray
		151	#endif
		152
		153	/* perl usually suppresses asserts. for debugging, we sometimes force it to be on */
		154	#if 0
		155	# undef NDEBUG
		156	# include <assert.h>
		157	#endif
		158
121	static double (*nvtime)(); /* so why doesn't it take void? */	159	static double (*nvtime)(); /* so why doesn't it take void? */
122	static void (*u2time)(pTHX_ UV ret[2]);	160	static void (*u2time)(pTHX_ UV ret[2]);
123		161
124	/* we hijack an hopefully unused CV flag for our purposes */	162	/* we hijack an hopefully unused CV flag for our purposes */
125	#define CVf_SLF 0x4000	163	#define CVf_SLF 0x4000
126	static OP *pp_slf (pTHX);	164	static OP *pp_slf (pTHX);
		165	static void slf_destroy (pTHX_ struct coro *coro);
127		166
128	static U32 cctx_gen;	167	static U32 cctx_gen;
129	static size_t cctx_stacksize = CORO_STACKSIZE;	168	static size_t cctx_stacksize = CORO_STACKSIZE;
130	static struct CoroAPI coroapi;	169	static struct CoroAPI coroapi;
131	static AV *main_mainstack; /* used to differentiate between $main and others */	170	static AV *main_mainstack; /* used to differentiate between $main and others */
…		…
139		178
140	static GV *irsgv; /* $/ */	179	static GV *irsgv; /* $/ */
141	static GV *stdoutgv; /* *STDOUT */	180	static GV *stdoutgv; /* *STDOUT */
142	static SV *rv_diehook;	181	static SV *rv_diehook;
143	static SV *rv_warnhook;	182	static SV *rv_warnhook;
144	static HV *hv_sig; /* %SIG */
145		183
146	/* async_pool helper stuff */	184	/* async_pool helper stuff */
147	static SV *sv_pool_rss;	185	static SV *sv_pool_rss;
148	static SV *sv_pool_size;	186	static SV *sv_pool_size;
149	static SV *sv_async_pool_idle; /* description string */	187	static SV *sv_async_pool_idle; /* description string */
…		…
161	static char times_valid;	199	static char times_valid;
162		200
163	static struct coro_cctx *cctx_first;	201	static struct coro_cctx *cctx_first;
164	static int cctx_count, cctx_idle;	202	static int cctx_count, cctx_idle;
165		203
166	enum {	204	enum
		205	{
167	CC_MAPPED = 0x01,	206	CC_MAPPED = 0x01,
168	CC_NOREUSE = 0x02, /* throw this away after tracing */	207	CC_NOREUSE = 0x02, /* throw this away after tracing */
169	CC_TRACE = 0x04,	208	CC_TRACE = 0x04,
170	CC_TRACE_SUB = 0x08, /* trace sub calls */	209	CC_TRACE_SUB = 0x08, /* trace sub calls */
171	CC_TRACE_LINE = 0x10, /* trace each statement */	210	CC_TRACE_LINE = 0x10, /* trace each statement */
…		…
176	typedef struct coro_cctx	215	typedef struct coro_cctx
177	{	216	{
178	struct coro_cctx *next;	217	struct coro_cctx *next;
179		218
180	/* the stack */	219	/* the stack */
181	void *sptr;	220	struct coro_stack stack;
182	size_t ssize;
183		221
184	/* cpu state */	222	/* cpu state */
185	void *idle_sp; /* sp of top-level transfer/schedule/cede call */	223	void *idle_sp; /* sp of top-level transfer/schedule/cede call */
		224	#ifndef NDEBUG
186	JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */	225	JMPENV *idle_te; /* same as idle_sp, but for top_env */
		226	#endif
187	JMPENV *top_env;	227	JMPENV *top_env;
188	coro_context cctx;	228	coro_context cctx;
189		229
190	U32 gen;	230	U32 gen;
191	#if CORO_USE_VALGRIND	231	#if CORO_USE_VALGRIND
192	int valgrind_id;	232	int valgrind_id;
193	#endif	233	#endif
194	unsigned char flags;	234	unsigned char flags;
195	} coro_cctx;	235	} coro_cctx;
196		236
197	coro_cctx *cctx_current; /* the currently running cctx */	237	static coro_cctx *cctx_current; /* the currently running cctx */
198		238
199	/*****************************************************************************/	239	/*****************************************************************************/
200		240
		241	static MGVTBL coro_state_vtbl;
		242
201	enum {	243	enum
		244	{
202	CF_RUNNING = 0x0001, /* coroutine is running */	245	CF_RUNNING = 0x0001, /* coroutine is running */
203	CF_READY = 0x0002, /* coroutine is ready */	246	CF_READY = 0x0002, /* coroutine is ready */
204	CF_NEW = 0x0004, /* has never been switched to */	247	CF_NEW = 0x0004, /* has never been switched to */
205	CF_DESTROYED = 0x0008, /* coroutine data has been freed */	248	CF_ZOMBIE = 0x0008, /* coroutine data has been freed */
206	CF_SUSPENDED = 0x0010, /* coroutine can't be scheduled */	249	CF_SUSPENDED = 0x0010, /* coroutine can't be scheduled */
		250	CF_NOCANCEL = 0x0020, /* cannot cancel, set slf_frame.data to 1 (hackish) */
207	};	251	};
208		252
209	/* the structure where most of the perl state is stored, overlaid on the cxstack */	253	/* the structure where most of the perl state is stored, overlaid on the cxstack */
210	typedef struct	254	typedef struct
211	{	255	{
212	SV *defsv;
213	AV *defav;
214	SV *errsv;
215	SV *irsgv;
216	HV *hinthv;
217	#define VAR(name,type) type name;	256	#define VARx(name,expr,type) type name;
218	# include "state.h"	257	#include "state.h"
219	#undef VAR
220	} perl_slots;	258	} perl_slots;
221		259
		260	/* how many context stack entries do we need for perl_slots */
222	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))	261	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))
223		262
224	/* this is a structure representing a perl-level coroutine */	263	/* this is a structure representing a perl-level coroutine */
225	struct coro {	264	struct coro
		265	{
226	/* the C coroutine allocated to this perl coroutine, if any */	266	/* the C coroutine allocated to this perl coroutine, if any */
227	coro_cctx *cctx;	267	coro_cctx *cctx;
228		268
229	/* ready queue */	269	/* ready queue */
230	struct coro *next_ready;	270	struct coro *next_ready;
…		…
232	/* state data */	272	/* state data */
233	struct CoroSLF slf_frame; /* saved slf frame */	273	struct CoroSLF slf_frame; /* saved slf frame */
234	AV *mainstack;	274	AV *mainstack;
235	perl_slots *slot; /* basically the saved sp */	275	perl_slots *slot; /* basically the saved sp */
236		276
237	CV *startcv; /* the CV to execute */	277	CV *startcv; /* the CV to execute */
238	AV *args; /* data associated with this coroutine (initial args) */	278	AV *args; /* data associated with this coroutine (initial args) */
239	int refcnt; /* coroutines are refcounted, yes */
240	int flags; /* CF_ flags */	279	int flags; /* CF_ flags */
241	HV *hv; /* the perl hash associated with this coro, if any */	280	HV *hv; /* the perl hash associated with this coro, if any */
242	void (*on_destroy)(pTHX_ struct coro *coro);
243		281
244	/* statistics */	282	/* statistics */
245	int usecount; /* number of transfers to this coro */	283	int usecount; /* number of transfers to this coro */
246		284
247	/* coro process data */	285	/* coro process data */
248	int prio;	286	int prio;
249	SV *except; /* exception to be thrown */	287	SV *except; /* exception to be thrown */
250	SV *rouse_cb;	288	SV *rouse_cb; /* most recently created rouse callback */
		289	AV *on_destroy; /* callbacks or coros to notify on destroy */
		290	AV *status; /* the exit status list */
251		291
252	/* async_pool */	292	/* async_pool */
253	SV *saved_deffh;	293	SV *saved_deffh;
254	SV *invoke_cb;	294	SV *invoke_cb;
255	AV *invoke_av;	295	AV *invoke_av;
256		296
257	/* on_enter/on_leave */	297	/* on_enter/on_leave */
258	AV *on_enter;	298	AV *on_enter; AV *on_enter_xs;
259	AV *on_leave;	299	AV *on_leave; AV *on_leave_xs;
260		300
261	/* swap_sv */	301	/* swap_sv */
262	AV *swap_sv;	302	AV *swap_sv;
263		303
264	/* times */	304	/* times */
…		…
271	typedef struct coro *Coro__State;	311	typedef struct coro *Coro__State;
272	typedef struct coro *Coro__State_or_hashref;	312	typedef struct coro *Coro__State_or_hashref;
273		313
274	/* the following variables are effectively part of the perl context */	314	/* the following variables are effectively part of the perl context */
275	/* and get copied between struct coro and these variables */	315	/* and get copied between struct coro and these variables */
276	/* the mainr easonw e don't support windows process emulation */	316	/* the main reason we don't support windows process emulation */
277	static struct CoroSLF slf_frame; /* the current slf frame */	317	static struct CoroSLF slf_frame; /* the current slf frame */
278		318
279	/** Coro ********************************************************************/	319	/** Coro ********************************************************************/
280		320
281	#define CORO_PRIO_MAX 3	321	#define CORO_PRIO_MAX 3
…		…
287		327
288	/* for Coro.pm */	328	/* for Coro.pm */
289	static SV *coro_current;	329	static SV *coro_current;
290	static SV *coro_readyhook;	330	static SV *coro_readyhook;
291	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */	331	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */
292	static CV *cv_coro_run, *cv_coro_terminate;	332	static CV *cv_coro_run;
293	static struct coro *coro_first;	333	static struct coro *coro_first;
294	#define coro_nready coroapi.nready	334	#define coro_nready coroapi.nready
		335
		336	/** JIT *********************************************************************/
		337
		338	#if CORO_JIT
		339	/* APPLE doesn't have mmap though */
		340	#define CORO_JIT_UNIXY (__linux || __FreeBSD__ || __OpenBSD__ || __NetBSD__ || __solaris || __APPLE__)
		341	#ifndef CORO_JIT_TYPE
		342	#if ECB_AMD64 && CORO_JIT_UNIXY
		343	#define CORO_JIT_TYPE "amd64-unix"
		344	#elif __i386 && CORO_JIT_UNIXY
		345	#define CORO_JIT_TYPE "x86-unix"
		346	#endif
		347	#endif
		348	#endif
		349
		350	#if !defined(CORO_JIT_TYPE) || _POSIX_MEMORY_PROTECTION <= 0
		351	#undef CORO_JIT
		352	#endif
		353
		354	#if CORO_JIT
		355	typedef void (*load_save_perl_slots_type)(perl_slots *);
		356	static load_save_perl_slots_type load_perl_slots, save_perl_slots;
		357	#endif
295		358
296	/** Coro::Select ************************************************************/	359	/** Coro::Select ************************************************************/
297		360
298	static OP *(*coro_old_pp_sselect) (pTHX);	361	static OP *(*coro_old_pp_sselect) (pTHX);
299	static SV *coro_select_select;	362	static SV *coro_select_select;
…		…
311	PL_op->op_flags |= OPf_STACKED;	374	PL_op->op_flags |= OPf_STACKED;
312	PL_op->op_private = 0;	375	PL_op->op_private = 0;
313	return PL_ppaddr [OP_ENTERSUB](aTHX);	376	return PL_ppaddr [OP_ENTERSUB](aTHX);
314	}	377	}
315		378
		379	/** time stuff **************************************************************/
		380
		381	#ifdef HAS_GETTIMEOFDAY
		382
		383	ecb_inline void
		384	coro_u2time (pTHX_ UV ret[2])
		385	{
		386	struct timeval tv;
		387	gettimeofday (&tv, 0);
		388
		389	ret [0] = tv.tv_sec;
		390	ret [1] = tv.tv_usec;
		391	}
		392
		393	ecb_inline double
		394	coro_nvtime (void)
		395	{
		396	struct timeval tv;
		397	gettimeofday (&tv, 0);
		398
		399	return tv.tv_sec + tv.tv_usec * 1e-6;
		400	}
		401
		402	ecb_inline void
		403	time_init (pTHX)
		404	{
		405	nvtime = coro_nvtime;
		406	u2time = coro_u2time;
		407	}
		408
		409	#else
		410
		411	ecb_inline void
		412	time_init (pTHX)
		413	{
		414	SV **svp;
		415
		416	require_pv ("Time/HiRes.pm");
		417
		418	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
		419
		420	if (!svp) croak ("Time::HiRes is required, but missing. Caught");
		421	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");
		422
		423	nvtime = INT2PTR (double (*)(), SvIV (*svp));
		424
		425	svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0);
		426	u2time = INT2PTR (void (*)(pTHX_ UV ret[2]), SvIV (*svp));
		427	}
		428
		429	#endif
		430
316	/** lowlevel stuff **********************************************************/	431	/** lowlevel stuff **********************************************************/
317		432
318	static SV *	433	static SV * ecb_noinline
319	coro_get_sv (pTHX_ const char *name, int create)	434	coro_get_sv (pTHX_ const char *name, int create)
320	{	435	{
321	#if PERL_VERSION_ATLEAST (5,10,0)	436	#if PERL_VERSION_ATLEAST (5,10,0)
322	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	437	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
323	get_sv (name, create);	438	get_sv (name, create);
324	#endif	439	#endif
325	return get_sv (name, create);	440	return get_sv (name, create);
326	}	441	}
327		442
328	static AV *	443	static AV * ecb_noinline
329	coro_get_av (pTHX_ const char *name, int create)	444	coro_get_av (pTHX_ const char *name, int create)
330	{	445	{
331	#if PERL_VERSION_ATLEAST (5,10,0)	446	#if PERL_VERSION_ATLEAST (5,10,0)
332	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	447	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
333	get_av (name, create);	448	get_av (name, create);
334	#endif	449	#endif
335	return get_av (name, create);	450	return get_av (name, create);
336	}	451	}
337		452
338	static HV *	453	static HV * ecb_noinline
339	coro_get_hv (pTHX_ const char *name, int create)	454	coro_get_hv (pTHX_ const char *name, int create)
340	{	455	{
341	#if PERL_VERSION_ATLEAST (5,10,0)	456	#if PERL_VERSION_ATLEAST (5,10,0)
342	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	457	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
343	get_hv (name, create);	458	get_hv (name, create);
344	#endif	459	#endif
345	return get_hv (name, create);	460	return get_hv (name, create);
346	}	461	}
347		462
348	INLINE void	463	ecb_inline void
349	coro_times_update ()	464	coro_times_update (void)
350	{	465	{
351	#ifdef coro_clock_gettime	466	#ifdef coro_clock_gettime
352	struct timespec ts;	467	struct timespec ts;
353		468
354	ts.tv_sec = ts.tv_nsec = 0;	469	ts.tv_sec = ts.tv_nsec = 0;
…		…
366	time_real [0] = tv [0];	481	time_real [0] = tv [0];
367	time_real [1] = tv [1] * 1000;	482	time_real [1] = tv [1] * 1000;
368	#endif	483	#endif
369	}	484	}
370		485
371	INLINE void	486	ecb_inline void
372	coro_times_add (struct coro *c)	487	coro_times_add (struct coro *c)
373	{	488	{
374	c->t_real [1] += time_real [1];	489	c->t_real [1] += time_real [1];
375	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }	490	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
376	c->t_real [0] += time_real [0];	491	c->t_real [0] += time_real [0];
…		…
378	c->t_cpu [1] += time_cpu [1];	493	c->t_cpu [1] += time_cpu [1];
379	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }	494	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
380	c->t_cpu [0] += time_cpu [0];	495	c->t_cpu [0] += time_cpu [0];
381	}	496	}
382		497
383	INLINE void	498	ecb_inline void
384	coro_times_sub (struct coro *c)	499	coro_times_sub (struct coro *c)
385	{	500	{
386	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }	501	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
387	c->t_real [1] -= time_real [1];	502	c->t_real [1] -= time_real [1];
388	c->t_real [0] -= time_real [0];	503	c->t_real [0] -= time_real [0];
…		…
396	/* magic glue */	511	/* magic glue */
397		512
398	#define CORO_MAGIC_type_cv 26	513	#define CORO_MAGIC_type_cv 26
399	#define CORO_MAGIC_type_state PERL_MAGIC_ext	514	#define CORO_MAGIC_type_state PERL_MAGIC_ext
400		515
401	#define CORO_MAGIC_NN(sv, type) \	516	#define CORO_MAGIC_NN(sv, type) \
402	(expect_true (SvMAGIC (sv)->mg_type == type) \	517	(ecb_expect_true (SvMAGIC (sv)->mg_type == type) \
403	? SvMAGIC (sv) \	518	? SvMAGIC (sv) \
404	: mg_find (sv, type))	519	: mg_find (sv, type))
405		520
406	#define CORO_MAGIC(sv, type) \	521	#define CORO_MAGIC(sv, type) \
407	(expect_true (SvMAGIC (sv)) \	522	(ecb_expect_true (SvMAGIC (sv)) \
408	? CORO_MAGIC_NN (sv, type) \	523	? CORO_MAGIC_NN (sv, type) \
409	: 0)	524	: 0)
410		525
411	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)	526	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
412	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)	527	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
413		528
414	INLINE struct coro *	529	ecb_inline MAGIC *
415	SvSTATE_ (pTHX_ SV *coro)	530	SvSTATEhv_p (pTHX_ SV *coro)
416	{	531	{
417	HV *stash;
418	MAGIC *mg;	532	MAGIC *mg;
419		533
		534	if (ecb_expect_true (
		535	SvTYPE (coro) == SVt_PVHV
		536	&& (mg = CORO_MAGIC_state (coro))
		537	&& mg->mg_virtual == &coro_state_vtbl
		538	))
		539	return mg;
		540
		541	return 0;
		542	}
		543
		544	ecb_inline struct coro *
		545	SvSTATE_ (pTHX_ SV *coro_sv)
		546	{
		547	MAGIC *mg;
		548
420	if (SvROK (coro))	549	if (SvROK (coro_sv))
421	coro = SvRV (coro);	550	coro_sv = SvRV (coro_sv);
422		551
423	if (expect_false (SvTYPE (coro) != SVt_PVHV))	552	mg = SvSTATEhv_p (aTHX_ coro_sv);
		553	if (!mg)
424	croak ("Coro::State object required");	554	croak ("Coro::State object required");
425		555
426	stash = SvSTASH (coro);
427	if (expect_false (stash != coro_stash && stash != coro_state_stash))
428	{
429	/* very slow, but rare, check */
430	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
431	croak ("Coro::State object required");
432	}
433
434	mg = CORO_MAGIC_state (coro);
435	return (struct coro *)mg->mg_ptr;	556	return (struct coro *)mg->mg_ptr;
436	}	557	}
437		558
438	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))	559	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
439		560
…		…
442	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))	563	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
443		564
444	/*****************************************************************************/	565	/*****************************************************************************/
445	/* padlist management and caching */	566	/* padlist management and caching */
446		567
447	static AV *	568	ecb_inline PADLIST *
448	coro_derive_padlist (pTHX_ CV *cv)	569	coro_derive_padlist (pTHX_ CV *cv)
449	{	570	{
450	AV *padlist = CvPADLIST (cv);	571	PADLIST *padlist = CvPADLIST (cv);
451	AV *newpadlist, *newpad;	572	PADLIST *newpadlist;
		573	PADNAMELIST *padnames;
		574	PAD *newpad;
		575	PADOFFSET off = PadlistMAX (padlist) + 1;
452		576
453	newpadlist = newAV ();	577	#if NEWPADAPI
		578
		579	/* if we had the original CvDEPTH, we might be able to steal the CvDEPTH+1 entry instead */
		580	/* 20131102194744.GA6705@schmorp.de, 20131102195825.2013.qmail@lists-nntp.develooper.com */
		581	while (!PadlistARRAY (padlist)[off - 1])
		582	--off;
		583
		584	Perl_pad_push (aTHX_ padlist, off);
		585
		586	newpad = PadlistARRAY (padlist)[off];
		587	PadlistARRAY (padlist)[off] = 0;
		588
		589	#else
		590
		591	#if PERL_VERSION_ATLEAST (5,10,0)
		592	Perl_pad_push (aTHX_ padlist, off);
		593	#else
		594	Perl_pad_push (aTHX_ padlist, off, 1);
		595	#endif
		596
		597	newpad = PadlistARRAY (padlist)[off];
		598	PadlistMAX (padlist) = off - 1;
		599
		600	#endif
		601
		602	newPADLIST (newpadlist);
		603	#if !PERL_VERSION_ATLEAST(5,15,3)
		604	/* Padlists are AvREAL as of 5.15.3. See perl bug #98092 and perl commit 7d953ba. */
454	AvREAL_off (newpadlist);	605	AvREAL_off (newpadlist);
455	#if PERL_VERSION_ATLEAST (5,10,0)
456	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
457	#else
458	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
459	#endif	606	#endif
460	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
461	--AvFILLp (padlist);
462		607
463	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));	608	/* Already extended to 2 elements by newPADLIST. */
464	av_store (newpadlist, 1, (SV *)newpad);	609	PadlistMAX (newpadlist) = 1;
		610
		611	padnames = PadlistNAMES (padlist);
		612	++PadnamelistREFCNT (padnames);
		613	PadlistNAMES (newpadlist) = padnames;
		614
		615	PadlistARRAY (newpadlist)[1] = newpad;
465		616
466	return newpadlist;	617	return newpadlist;
467	}	618	}
468		619
469	static void	620	ecb_inline void
470	free_padlist (pTHX_ AV *padlist)	621	free_padlist (pTHX_ PADLIST *padlist)
471	{	622	{
472	/* may be during global destruction */	623	/* may be during global destruction */
473	if (!IN_DESTRUCT)	624	if (!IN_DESTRUCT)
474	{	625	{
475	I32 i = AvFILLp (padlist);	626	I32 i = PadlistMAX (padlist);
476		627
477	while (i > 0) /* special-case index 0 */	628	while (i > 0) /* special-case index 0 */
478	{	629	{
479	/* we try to be extra-careful here */	630	/* we try to be extra-careful here */
480	AV *av = (AV *)AvARRAY (padlist)[i--];	631	PAD *pad = PadlistARRAY (padlist)[i--];
481	I32 j = AvFILLp (av);
482		632
		633	if (pad)
		634	{
		635	I32 j = PadMAX (pad);
		636
483	while (j >= 0)	637	while (j >= 0)
484	SvREFCNT_dec (AvARRAY (av)[j--]);	638	SvREFCNT_dec (PadARRAY (pad)[j--]);
485		639
486	AvFILLp (av) = -1;	640	PadMAX (pad) = -1;
487	SvREFCNT_dec (av);	641	SvREFCNT_dec (pad);
		642	}
488	}	643	}
489		644
490	SvREFCNT_dec (AvARRAY (padlist)[0]);	645	PadnamelistREFCNT_dec (PadlistNAMES (padlist));
491		646
		647	#if NEWPADAPI
		648	Safefree (PadlistARRAY (padlist));
		649	Safefree (padlist);
		650	#else
492	AvFILLp (padlist) = -1;	651	AvFILLp (padlist) = -1;
		652	AvREAL_off (padlist);
493	SvREFCNT_dec ((SV*)padlist);	653	SvREFCNT_dec ((SV*)padlist);
		654	#endif
494	}	655	}
495	}	656	}
496		657
497	static int	658	static int
498	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	659	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
499	{	660	{
500	AV *padlist;	661	PADLIST *padlist;
501	AV *av = (AV *)mg->mg_obj;	662	PADLIST **padlists = (PADLIST **)(mg->mg_ptr + sizeof(size_t));
		663	size_t len = *(size_t *)mg->mg_ptr;
502		664
503	/* perl manages to free our internal AV and _then_ call us */	665	/* perl manages to free our internal AV and _then_ call us */
504	if (IN_DESTRUCT)	666	if (IN_DESTRUCT)
505	return 0;	667	return 0;
506		668
507	/* casting is fun. */	669	while (len--)
508	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
509	free_padlist (aTHX_ padlist);	670	free_padlist (aTHX_ padlists[len]);
510
511	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
512		671
513	return 0;	672	return 0;
514	}	673	}
515		674
516	static MGVTBL coro_cv_vtbl = {	675	static MGVTBL coro_cv_vtbl = {
517	0, 0, 0, 0,	676	0, 0, 0, 0,
518	coro_cv_free	677	coro_cv_free
519	};	678	};
520		679
521	/* the next two functions merely cache the padlists */	680	/* the next two functions merely cache the padlists */
522	static void	681	ecb_inline void
523	get_padlist (pTHX_ CV *cv)	682	get_padlist (pTHX_ CV *cv)
524	{	683	{
525	MAGIC *mg = CORO_MAGIC_cv (cv);	684	MAGIC *mg = CORO_MAGIC_cv (cv);
526	AV *av;	685	size_t *lenp;
527		686
528	if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))	687	if (ecb_expect_true (mg && *(lenp = (size_t *)mg->mg_ptr)))
529	CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];	688	CvPADLIST (cv) = ((PADLIST **)(mg->mg_ptr + sizeof(size_t)))[--*lenp];
530	else	689	else
531	{	690	{
532	#if CORO_PREFER_PERL_FUNCTIONS	691	#if CORO_PREFER_PERL_FUNCTIONS
533	/* this is probably cleaner? but also slower! */	692	/* this is probably cleaner? but also slower! */
534	/* in practise, it seems to be less stable */	693	/* in practise, it seems to be less stable */
…		…
540	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);	699	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
541	#endif	700	#endif
542	}	701	}
543	}	702	}
544		703
545	static void	704	ecb_inline void
546	put_padlist (pTHX_ CV *cv)	705	put_padlist (pTHX_ CV *cv)
547	{	706	{
548	MAGIC *mg = CORO_MAGIC_cv (cv);	707	MAGIC *mg = CORO_MAGIC_cv (cv);
549	AV *av;
550		708
551	if (expect_false (!mg))	709	if (ecb_expect_false (!mg))
		710	{
552	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	711	mg = sv_magicext ((SV *)cv, 0, CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
		712	Newz (0, mg->mg_ptr ,sizeof (size_t) + sizeof (PADLIST *), char);
		713	mg->mg_len = 1; /* so mg_free frees mg_ptr */
		714	}
		715	else
		716	Renew (mg->mg_ptr,
		717	sizeof(size_t) + (*(size_t *)mg->mg_ptr + 1) * sizeof(PADLIST *),
		718	char);
553		719
554	av = (AV *)mg->mg_obj;	720	((PADLIST **)(mg->mg_ptr + sizeof (size_t))) [(*(size_t *)mg->mg_ptr)++] = CvPADLIST (cv);
555
556	if (expect_false (AvFILLp (av) >= AvMAX (av)))
557	av_extend (av, AvFILLp (av) + 1);
558
559	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
560	}	721	}
561		722
562	/** load & save, init *******************************************************/	723	/** load & save, init *******************************************************/
563		724
		725	ecb_inline void
		726	swap_sv (SV *a, SV *b)
		727	{
		728	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
		729	SV tmp;
		730
		731	/* swap sv_any */
		732	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		733
		734	/* swap sv_flags */
		735	SvFLAGS (&tmp) = SvFLAGS (a);
		736	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
		737	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
		738
		739	#if PERL_VERSION_ATLEAST (5,10,0)
		740	/* perl 5.10 and later complicates this _quite_ a bit, but it also
		741	* is much faster, so no quarrels here. alternatively, we could
		742	* sv_upgrade to avoid this.
		743	*/
		744	{
		745	/* swap sv_u */
		746	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		747
		748	/* if SvANY points to the head, we need to adjust the pointers,
		749	* as the pointer for a still points to b, and maybe vice versa.
		750	*/
		751	U32 svany_in_head_set = (1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV);
		752	#if NVSIZE <= IVSIZE && PERL_VERSION_ATLEAST(5,22,0)
		753	svany_in_head_set |= 1 << SVt_NV;
		754	#endif
		755
		756	#define svany_in_head(type) (svany_in_head_set & (1 << (type)))
		757
		758	if (svany_in_head (SvTYPE (a)))
		759	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		760
		761	if (svany_in_head (SvTYPE (b)))
		762	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		763	}
		764	#endif
		765	}
		766
564	/* swap sv heads, at least logically */	767	/* swap sv heads, at least logically */
565	static void	768	static void
566	swap_svs (pTHX_ Coro__State c)	769	swap_svs_enter (pTHX_ Coro__State c)
567	{	770	{
568	int i;	771	int i;
569		772
570	for (i = 0; i <= AvFILLp (c->swap_sv); )	773	for (i = 0; i <= AvFILLp (c->swap_sv); i += 2)
571	{	774	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
572	SV *a = AvARRAY (c->swap_sv)[i++];
573	SV *b = AvARRAY (c->swap_sv)[i++];
574
575	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
576	SV tmp;
577
578	/* swap sv_any */
579	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
580
581	/* swap sv_flags */
582	SvFLAGS (&tmp) = SvFLAGS (a);
583	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
584	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
585
586	#if PERL_VERSION_ATLEAST (5,10,0)
587	/* perl 5.10 complicates this _quite_ a bit, but it also is
588	* is much faster, so no quarrels here. alternatively, we could
589	* sv_upgrade to avoid this.
590	*/
591	{
592	/* swap sv_u */
593	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
594
595	/* if SvANY points to the head, we need to adjust the pointers,
596	* as the pointer for a still points to b, and maybe vice versa.
597	*/
598	#define svany_in_head(type) \
599	(((1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV)) & (1 << (type)))
600
601	if (svany_in_head (SvTYPE (a)))
602	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
603
604	if (svany_in_head (SvTYPE (b)))
605	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
606	}
607	#endif
608	}
609	}	775	}
610		776
		777	static void
		778	swap_svs_leave (pTHX_ Coro__State c)
		779	{
		780	int i;
		781
		782	for (i = AvFILLp (c->swap_sv) - 1; i >= 0; i -= 2)
		783	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
		784	}
		785
611	#define SWAP_SVS(coro) \	786	#define SWAP_SVS_ENTER(coro) \
612	if (expect_false ((coro)->swap_sv)) \	787	if (ecb_expect_false ((coro)->swap_sv)) \
613	swap_svs (aTHX_ (coro))	788	swap_svs_enter (aTHX_ (coro))
		789
		790	#define SWAP_SVS_LEAVE(coro) \
		791	if (ecb_expect_false ((coro)->swap_sv)) \
		792	swap_svs_leave (aTHX_ (coro))
614		793
615	static void	794	static void
616	on_enterleave_call (pTHX_ SV *cb);	795	on_enterleave_call (pTHX_ SV *cb);
617		796
618	static void	797	static void
…		…
621	perl_slots *slot = c->slot;	800	perl_slots *slot = c->slot;
622	c->slot = 0;	801	c->slot = 0;
623		802
624	PL_mainstack = c->mainstack;	803	PL_mainstack = c->mainstack;
625		804
626	GvSV (PL_defgv) = slot->defsv;	805	#if CORO_JIT
627	GvAV (PL_defgv) = slot->defav;	806	load_perl_slots (slot);
628	GvSV (PL_errgv) = slot->errsv;	807	#else
629	GvSV (irsgv) = slot->irsgv;
630	GvHV (PL_hintgv) = slot->hinthv;
631
632	#define VAR(name,type) PL_ ## name = slot->name;	808	#define VARx(name,expr,type) expr = slot->name;
633	# include "state.h"	809	#include "state.h"
634	#undef VAR	810	#endif
635		811
636	{	812	{
637	dSP;	813	dSP;
638		814
639	CV *cv;	815	CV *cv;
640		816
641	/* now do the ugly restore mess */	817	/* now do the ugly restore mess */
642	while (expect_true (cv = (CV *)POPs))	818	while (ecb_expect_true (cv = (CV *)POPs))
643	{	819	{
644	put_padlist (aTHX_ cv); /* mark this padlist as available */	820	put_padlist (aTHX_ cv); /* mark this padlist as available */
645	CvDEPTH (cv) = PTR2IV (POPs);	821	CvDEPTH (cv) = PTR2IV (POPs);
646	CvPADLIST (cv) = (AV *)POPs;	822	CvPADLIST (cv) = (PADLIST *)POPs;
647	}	823	}
648		824
649	PUTBACK;	825	PUTBACK;
650	}	826	}
651		827
652	slf_frame = c->slf_frame;	828	slf_frame = c->slf_frame;
653	CORO_THROW = c->except;	829	CORO_THROW = c->except;
654		830
655	if (expect_false (enable_times))	831	if (ecb_expect_false (enable_times))
656	{	832	{
657	if (expect_false (!times_valid))	833	if (ecb_expect_false (!times_valid))
658	coro_times_update ();	834	coro_times_update ();
659		835
660	coro_times_sub (c);	836	coro_times_sub (c);
661	}	837	}
662		838
663	if (expect_false (c->on_enter))	839	if (ecb_expect_false (c->on_enter))
664	{	840	{
665	int i;	841	int i;
666		842
667	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	843	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
668	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	844	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
669	}	845	}
670		846
		847	if (ecb_expect_false (c->on_enter_xs))
		848	{
		849	int i;
		850
		851	for (i = 0; i <= AvFILLp (c->on_enter_xs); i += 2)
		852	((coro_enterleave_hook)AvARRAY (c->on_enter_xs)[i]) (aTHX_ AvARRAY (c->on_enter_xs)[i + 1]);
		853	}
		854
671	SWAP_SVS (c);	855	SWAP_SVS_ENTER (c);
672	}	856	}
673		857
674	static void	858	static void
675	save_perl (pTHX_ Coro__State c)	859	save_perl (pTHX_ Coro__State c)
676	{	860	{
677	SWAP_SVS (c);	861	SWAP_SVS_LEAVE (c);
678		862
		863	if (ecb_expect_false (c->on_leave_xs))
		864	{
		865	int i;
		866
		867	for (i = AvFILLp (c->on_leave_xs) - 1; i >= 0; i -= 2)
		868	((coro_enterleave_hook)AvARRAY (c->on_leave_xs)[i]) (aTHX_ AvARRAY (c->on_leave_xs)[i + 1]);
		869	}
		870
679	if (expect_false (c->on_leave))	871	if (ecb_expect_false (c->on_leave))
680	{	872	{
681	int i;	873	int i;
682		874
683	for (i = AvFILLp (c->on_leave); i >= 0; --i)	875	for (i = AvFILLp (c->on_leave); i >= 0; --i)
684	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);	876	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
685	}	877	}
686		878
687	times_valid = 0;	879	times_valid = 0;
688		880
689	if (expect_false (enable_times))	881	if (ecb_expect_false (enable_times))
690	{	882	{
691	coro_times_update (); times_valid = 1;	883	coro_times_update (); times_valid = 1;
692	coro_times_add (c);	884	coro_times_add (c);
693	}	885	}
694		886
…		…
708		900
709	XPUSHs (Nullsv);	901	XPUSHs (Nullsv);
710	/* this loop was inspired by pp_caller */	902	/* this loop was inspired by pp_caller */
711	for (;;)	903	for (;;)
712	{	904	{
713	while (expect_true (cxix >= 0))	905	while (ecb_expect_true (cxix >= 0))
714	{	906	{
715	PERL_CONTEXT *cx = &ccstk[cxix--];	907	PERL_CONTEXT *cx = &ccstk[cxix--];
716		908
717	if (expect_true (CxTYPE (cx) == CXt_SUB) || expect_false (CxTYPE (cx) == CXt_FORMAT))	909	if (ecb_expect_true (CxTYPE (cx) == CXt_SUB) || ecb_expect_false (CxTYPE (cx) == CXt_FORMAT))
718	{	910	{
719	CV *cv = cx->blk_sub.cv;	911	CV *cv = cx->blk_sub.cv;
720		912
721	if (expect_true (CvDEPTH (cv)))	913	if (ecb_expect_true (CvDEPTH (cv)))
722	{	914	{
		915	EXTEND (SP, 3);
723	PUSHs ((SV *)CvPADLIST (cv));	916	PUSHs ((SV *)CvPADLIST (cv));
724	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));	917	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));
725	PUSHs ((SV *)cv);	918	PUSHs ((SV *)cv);
726		919
727	CvDEPTH (cv) = 0;	920	CvDEPTH (cv) = 0;
728	get_padlist (aTHX_ cv);	921	get_padlist (aTHX_ cv);
729	}	922	}
730	}	923	}
731	}	924	}
732		925
733	if (expect_true (top_si->si_type == PERLSI_MAIN))	926	if (ecb_expect_true (top_si->si_type == PERLSI_MAIN))
734	break;	927	break;
735		928
736	top_si = top_si->si_prev;	929	top_si = top_si->si_prev;
737	ccstk = top_si->si_cxstack;	930	ccstk = top_si->si_cxstack;
738	cxix = top_si->si_cxix;	931	cxix = top_si->si_cxix;
…		…
740		933
741	PUTBACK;	934	PUTBACK;
742	}	935	}
743		936
744	/* allocate some space on the context stack for our purposes */	937	/* allocate some space on the context stack for our purposes */
745	/* we manually unroll here, as usually 2 slots is enough */	938	if (ecb_expect_false (cxstack_ix + (int)SLOT_COUNT >= cxstack_max))
746	if (SLOT_COUNT >= 1) CXINC;
747	if (SLOT_COUNT >= 2) CXINC;
748	if (SLOT_COUNT >= 3) CXINC;
749	{	939	{
750	unsigned int i;	940	unsigned int i;
		941
751	for (i = 3; i < SLOT_COUNT; ++i)	942	for (i = 0; i < SLOT_COUNT; ++i)
752	CXINC;	943	CXINC;
753	}	944
754	cxstack_ix -= SLOT_COUNT; /* undo allocation */	945	cxstack_ix -= SLOT_COUNT; /* undo allocation */
		946	}
755		947
756	c->mainstack = PL_mainstack;	948	c->mainstack = PL_mainstack;
757		949
758	{	950	{
759	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);	951	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
760		952
761	slot->defav = GvAV (PL_defgv);	953	#if CORO_JIT
762	slot->defsv = DEFSV;	954	save_perl_slots (slot);
763	slot->errsv = ERRSV;	955	#else
764	slot->irsgv = GvSV (irsgv);
765	slot->hinthv = GvHV (PL_hintgv);
766
767	#define VAR(name,type) slot->name = PL_ ## name;	956	#define VARx(name,expr,type) slot->name = expr;
768	# include "state.h"	957	#include "state.h"
769	#undef VAR	958	#endif
770	}	959	}
771	}	960	}
772		961
773	/*	962	/*
774	* allocate various perl stacks. This is almost an exact copy	963	* allocate various perl stacks. This is almost an exact copy
…		…
780	# define coro_init_stacks(thx) init_stacks ()	969	# define coro_init_stacks(thx) init_stacks ()
781	#else	970	#else
782	static void	971	static void
783	coro_init_stacks (pTHX)	972	coro_init_stacks (pTHX)
784	{	973	{
785	PL_curstackinfo = new_stackinfo(32, 8);	974	PL_curstackinfo = new_stackinfo(32, 4 + SLOT_COUNT); /* 3 is minimum due to perl rounding down in scope.c:GROW() */
786	PL_curstackinfo->si_type = PERLSI_MAIN;	975	PL_curstackinfo->si_type = PERLSI_MAIN;
787	PL_curstack = PL_curstackinfo->si_stack;	976	PL_curstack = PL_curstackinfo->si_stack;
788	PL_mainstack = PL_curstack; /* remember in case we switch stacks */	977	PL_mainstack = PL_curstack; /* remember in case we switch stacks */
789		978
790	PL_stack_base = AvARRAY(PL_curstack);	979	PL_stack_base = AvARRAY(PL_curstack);
…		…
805	#endif	994	#endif
806		995
807	New(54,PL_scopestack,8,I32);	996	New(54,PL_scopestack,8,I32);
808	PL_scopestack_ix = 0;	997	PL_scopestack_ix = 0;
809	PL_scopestack_max = 8;	998	PL_scopestack_max = 8;
		999	#if HAS_SCOPESTACK_NAME
		1000	New(54,PL_scopestack_name,8,const char*);
		1001	#endif
810		1002
811	New(54,PL_savestack,24,ANY);	1003	New(54,PL_savestack,24,ANY);
812	PL_savestack_ix = 0;	1004	PL_savestack_ix = 0;
813	PL_savestack_max = 24;	1005	PL_savestack_max = 24;
		1006	#if PERL_VERSION_ATLEAST (5,24,0)
		1007	/* perl 5.24 moves SS_MAXPUSH optimisation from */
		1008	/* the header macros to PL_savestack_max */
		1009	PL_savestack_max -= SS_MAXPUSH;
		1010	#endif
814		1011
815	#if !PERL_VERSION_ATLEAST (5,10,0)	1012	#if !PERL_VERSION_ATLEAST (5,10,0)
816	New(54,PL_retstack,4,OP*);	1013	New(54,PL_retstack,4,OP*);
817	PL_retstack_ix = 0;	1014	PL_retstack_ix = 0;
818	PL_retstack_max = 4;	1015	PL_retstack_max = 4;
…		…
842	}	1039	}
843		1040
844	Safefree (PL_tmps_stack);	1041	Safefree (PL_tmps_stack);
845	Safefree (PL_markstack);	1042	Safefree (PL_markstack);
846	Safefree (PL_scopestack);	1043	Safefree (PL_scopestack);
		1044	#if HAS_SCOPESTACK_NAME
		1045	Safefree (PL_scopestack_name);
		1046	#endif
847	Safefree (PL_savestack);	1047	Safefree (PL_savestack);
848	#if !PERL_VERSION_ATLEAST (5,10,0)	1048	#if !PERL_VERSION_ATLEAST (5,10,0)
849	Safefree (PL_retstack);	1049	Safefree (PL_retstack);
850	#endif	1050	#endif
851	}	1051	}
…		…
881	}	1081	}
882		1082
883	return rss;	1083	return rss;
884	}	1084	}
885		1085
886	/** coroutine stack handling ************************************************/	1086	/** provide custom get/set/clear methods for %SIG elements ******************/
887
888	static int (*orig_sigelem_get) (pTHX_ SV *sv, MAGIC *mg);
889	static int (*orig_sigelem_set) (pTHX_ SV *sv, MAGIC *mg);
890	static int (*orig_sigelem_clr) (pTHX_ SV *sv, MAGIC *mg);
891		1087
892	/* apparently < 5.8.8 */	1088	/* apparently < 5.8.8 */
893	#ifndef MgPV_nolen_const	1089	#ifndef MgPV_nolen_const
894	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \	1090	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \
895	SvPV_nolen((SV*)((mg)->mg_ptr)) : \	1091	SvPV_nolen((SV*)((mg)->mg_ptr)) : \
896	(const char*)(mg)->mg_ptr)	1092	(const char*)(mg)->mg_ptr)
897	#endif	1093	#endif
898		1094
		1095	/* this will be a patched copy of PL_vtbl_sigelem */
		1096	static MGVTBL coro_sigelem_vtbl;
		1097
		1098	static int ecb_cold
		1099	coro_sig_copy (pTHX_ SV *sv, MAGIC *mg, SV *nsv, const char *name, I32 namlen)
		1100	{
		1101	char *key = SvPV_nolen ((SV *)name);
		1102
		1103	/* do what mg_copy normally does */
		1104	sv_magic (nsv, mg->mg_obj, PERL_MAGIC_sigelem, name, namlen);
		1105	assert (mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual == &PL_vtbl_sigelem);
		1106
		1107	/* patch sigelem vtbl, but only for __WARN__ and __DIE__ */
		1108	if (*key == '_'
		1109	&& (strEQ (key, "__DIE__")
		1110	|| strEQ (key, "__WARN__")))
		1111	mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual = &coro_sigelem_vtbl;
		1112
		1113	return 1;
		1114	}
		1115
		1116	/* perl does not have a %SIG vtbl, we provide one so we can override */
		1117	/* the magic vtbl for the __DIE__ and __WARN__ members */
		1118	static const MGVTBL coro_sig_vtbl = {
		1119	0, 0, 0, 0, 0,
		1120	coro_sig_copy
		1121	};
		1122
899	/*	1123	/*
900	* This overrides the default magic get method of %SIG elements.	1124	* This overrides the default magic get method of %SIG elements.
901	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook	1125	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook
902	* and instead of trying to save and restore the hash elements, we just provide	1126	* and instead of trying to save and restore the hash elements (extremely slow),
903	* readback here.	1127	* we just provide our own readback here.
904	*/	1128	*/
905	static int	1129	static int ecb_cold
906	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	1130	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
907	{	1131	{
908	const char *s = MgPV_nolen_const (mg);	1132	const char *s = MgPV_nolen_const (mg);
		1133	/* the key must be either __DIE__ or __WARN__ here */
		1134	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
909		1135
910	if (*s == '_')	1136	SV *ssv;
911	{
912	SV **svp = 0;
913		1137
914	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
915	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
916
917	if (svp)	1138	if (!*svp)
918	{	1139	ssv = &PL_sv_undef;
919	sv_setsv (sv, *svp ? *svp : &PL_sv_undef);	1140	else if (SvTYPE (*svp) == SVt_PVCV) /* perlio directly stores a CV in warnhook. ugh. */
920	return 0;	1141	ssv = sv_2mortal (newRV_inc (*svp));
921	}	1142	else
922	}	1143	ssv = *svp;
923		1144
924	return orig_sigelem_get ? orig_sigelem_get (aTHX_ sv, mg) : 0;	1145	sv_setsv (sv, ssv);
		1146	return 0;
925	}	1147	}
926		1148
927	static int	1149	static int ecb_cold
928	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)	1150	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)
929	{	1151	{
930	const char *s = MgPV_nolen_const (mg);	1152	const char *s = MgPV_nolen_const (mg);
		1153	/* the key must be either __DIE__ or __WARN__ here */
		1154	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
931		1155
932	if (*s == '_')
933	{
934	SV **svp = 0;
935
936	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
937	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
938
939	if (svp)
940	{
941	SV *old = *svp;	1156	SV *old = *svp;
942	*svp = 0;	1157	*svp = 0;
943	SvREFCNT_dec (old);	1158	SvREFCNT_dec (old);
944	return 0;	1159	return 0;
945	}
946	}
947
948	return orig_sigelem_clr ? orig_sigelem_clr (aTHX_ sv, mg) : 0;
949	}	1160	}
950		1161
951	static int	1162	static int ecb_cold
952	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)	1163	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)
953	{	1164	{
954	const char *s = MgPV_nolen_const (mg);	1165	const char *s = MgPV_nolen_const (mg);
		1166	/* the key must be either __DIE__ or __WARN__ here */
		1167	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
955		1168
956	if (*s == '_')
957	{
958	SV **svp = 0;
959
960	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
961	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
962
963	if (svp)
964	{
965	SV *old = *svp;	1169	SV *old = *svp;
966	*svp = SvOK (sv) ? newSVsv (sv) : 0;	1170	*svp = SvOK (sv) ? newSVsv (sv) : 0;
967	SvREFCNT_dec (old);	1171	SvREFCNT_dec (old);
968	return 0;	1172	return 0;
969	}
970	}
971
972	return orig_sigelem_set ? orig_sigelem_set (aTHX_ sv, mg) : 0;
973	}	1173	}
974		1174
975	static void	1175	static void
976	prepare_nop (pTHX_ struct coro_transfer_args *ta)	1176	prepare_nop (pTHX_ struct coro_transfer_args *ta)
977	{	1177	{
…		…
989	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1189	slf_check_repeat (pTHX_ struct CoroSLF *frame)
990	{	1190	{
991	return 1;	1191	return 1;
992	}	1192	}
993		1193
		1194	/** coroutine stack handling ************************************************/
		1195
994	static UNOP init_perl_op;	1196	static UNOP init_perl_op;
995		1197
996	static void NOINLINE /* noinline to keep it out of the transfer fast path */	1198	ecb_noinline static void /* noinline to keep it out of the transfer fast path */
997	init_perl (pTHX_ struct coro *coro)	1199	init_perl (pTHX_ struct coro *coro)
998	{	1200	{
999	/*	1201	/*
1000	* emulate part of the perl startup here.	1202	* emulate part of the perl startup here.
1001	*/	1203	*/
…		…
1009	PL_comppad_name_fill = 0;	1211	PL_comppad_name_fill = 0;
1010	PL_comppad_name_floor = 0;	1212	PL_comppad_name_floor = 0;
1011	PL_curpm = 0;	1213	PL_curpm = 0;
1012	PL_curpad = 0;	1214	PL_curpad = 0;
1013	PL_localizing = 0;	1215	PL_localizing = 0;
1014	PL_dirty = 0;
1015	PL_restartop = 0;	1216	PL_restartop = 0;
1016	#if PERL_VERSION_ATLEAST (5,10,0)	1217	#if PERL_VERSION_ATLEAST (5,10,0)
1017	PL_parser = 0;	1218	PL_parser = 0;
1018	#endif	1219	#endif
1019	PL_hints = 0;	1220	PL_hints = 0;
1020		1221
1021	/* recreate the die/warn hooks */	1222	/* recreate the die/warn hooks */
1022	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );	1223	PL_diehook = SvREFCNT_inc (rv_diehook);
1023	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);	1224	PL_warnhook = SvREFCNT_inc (rv_warnhook);
1024		1225
1025	GvSV (PL_defgv) = newSV (0);	1226	GvSV (PL_defgv) = newSV (0);
1026	GvAV (PL_defgv) = coro->args; coro->args = 0;	1227	GvAV (PL_defgv) = coro->args; coro->args = 0;
1027	GvSV (PL_errgv) = newSV (0);	1228	GvSV (PL_errgv) = newSV (0);
1028	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	1229	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
1029	GvHV (PL_hintgv) = 0;	1230	GvHV (PL_hintgv) = newHV ();
		1231	#if PERL_VERSION_ATLEAST (5,10,0)
		1232	hv_magic (GvHV (PL_hintgv), 0, PERL_MAGIC_hints);
		1233	#endif
1030	PL_rs = newSVsv (GvSV (irsgv));	1234	PL_rs = newSVsv (GvSV (irsgv));
1031	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	1235	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
1032		1236
1033	{	1237	{
1034	dSP;	1238	dSP;
…		…
1038	myop.op_next = Nullop;	1242	myop.op_next = Nullop;
1039	myop.op_type = OP_ENTERSUB;	1243	myop.op_type = OP_ENTERSUB;
1040	myop.op_flags = OPf_WANT_VOID;	1244	myop.op_flags = OPf_WANT_VOID;
1041		1245
1042	PUSHMARK (SP);	1246	PUSHMARK (SP);
1043	PUSHs ((SV *)coro->startcv);	1247	XPUSHs ((SV *)coro->startcv);
1044	PUTBACK;	1248	PUTBACK;
1045	PL_op = (OP *)&myop;	1249	PL_op = (OP *)&myop;
1046	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);	1250	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
1047	}	1251	}
1048		1252
1049	/* this newly created coroutine might be run on an existing cctx which most	1253	/* this newly created coroutine might be run on an existing cctx which most
1050	* likely was suspended in pp_slf, so we have to emulate entering pp_slf here.	1254	* likely was suspended in pp_slf, so we have to emulate entering pp_slf here.
1051	*/	1255	*/
1052	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */	1256	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
1053	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */	1257	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
		1258	slf_frame.destroy = 0;
1054		1259
1055	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */	1260	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
1056	init_perl_op.op_next = PL_op;	1261	init_perl_op.op_next = PL_op;
1057	init_perl_op.op_type = OP_ENTERSUB;	1262	init_perl_op.op_type = OP_ENTERSUB;
1058	init_perl_op.op_ppaddr = pp_slf;	1263	init_perl_op.op_ppaddr = pp_slf;
…		…
1061	PL_op = (OP *)&init_perl_op;	1266	PL_op = (OP *)&init_perl_op;
1062		1267
1063	/* copy throw, in case it was set before init_perl */	1268	/* copy throw, in case it was set before init_perl */
1064	CORO_THROW = coro->except;	1269	CORO_THROW = coro->except;
1065		1270
1066	SWAP_SVS (coro);	1271	SWAP_SVS_ENTER (coro);
1067		1272
1068	if (expect_false (enable_times))	1273	if (ecb_expect_false (enable_times))
1069	{	1274	{
1070	coro_times_update ();	1275	coro_times_update ();
1071	coro_times_sub (coro);	1276	coro_times_sub (coro);
1072	}	1277	}
1073	}	1278	}
…		…
1097	destroy_perl (pTHX_ struct coro *coro)	1302	destroy_perl (pTHX_ struct coro *coro)
1098	{	1303	{
1099	SV *svf [9];	1304	SV *svf [9];
1100		1305
1101	{	1306	{
		1307	SV *old_current = SvRV (coro_current);
1102	struct coro *current = SvSTATE_current;	1308	struct coro *current = SvSTATE (old_current);
1103		1309
1104	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));	1310	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
1105		1311
1106	save_perl (aTHX_ current);	1312	save_perl (aTHX_ current);
		1313
		1314	/* this will cause transfer_check to croak on block*/
		1315	SvRV_set (coro_current, (SV *)coro->hv);
		1316
1107	load_perl (aTHX_ coro);	1317	load_perl (aTHX_ coro);
1108		1318
		1319	/* restore swapped sv's */
		1320	SWAP_SVS_LEAVE (coro);
		1321
1109	coro_unwind_stacks (aTHX);	1322	coro_unwind_stacks (aTHX);
		1323
1110	coro_destruct_stacks (aTHX);	1324	coro_destruct_stacks (aTHX);
1111		1325
1112	/* restore swapped sv's */
1113	SWAP_SVS (coro);
1114
1115	// now save some sv's to be free'd later	1326	/* now save some sv's to be free'd later */
1116	svf [0] = GvSV (PL_defgv);	1327	svf [0] = GvSV (PL_defgv);
1117	svf [1] = (SV *)GvAV (PL_defgv);	1328	svf [1] = (SV *)GvAV (PL_defgv);
1118	svf [2] = GvSV (PL_errgv);	1329	svf [2] = GvSV (PL_errgv);
1119	svf [3] = (SV *)PL_defoutgv;	1330	svf [3] = (SV *)PL_defoutgv;
1120	svf [4] = PL_rs;	1331	svf [4] = PL_rs;
…		…
1122	svf [6] = (SV *)GvHV (PL_hintgv);	1333	svf [6] = (SV *)GvHV (PL_hintgv);
1123	svf [7] = PL_diehook;	1334	svf [7] = PL_diehook;
1124	svf [8] = PL_warnhook;	1335	svf [8] = PL_warnhook;
1125	assert (9 == sizeof (svf) / sizeof (*svf));	1336	assert (9 == sizeof (svf) / sizeof (*svf));
1126		1337
		1338	SvRV_set (coro_current, old_current);
		1339
1127	load_perl (aTHX_ current);	1340	load_perl (aTHX_ current);
1128	}	1341	}
1129		1342
1130	{	1343	{
1131	unsigned int i;	1344	unsigned int i;
…		…
1135		1348
1136	SvREFCNT_dec (coro->saved_deffh);	1349	SvREFCNT_dec (coro->saved_deffh);
1137	SvREFCNT_dec (coro->rouse_cb);	1350	SvREFCNT_dec (coro->rouse_cb);
1138	SvREFCNT_dec (coro->invoke_cb);	1351	SvREFCNT_dec (coro->invoke_cb);
1139	SvREFCNT_dec (coro->invoke_av);	1352	SvREFCNT_dec (coro->invoke_av);
		1353	SvREFCNT_dec (coro->on_enter_xs);
		1354	SvREFCNT_dec (coro->on_leave_xs);
1140	}	1355	}
1141	}	1356	}
1142		1357
1143	INLINE void	1358	ecb_inline void
1144	free_coro_mortal (pTHX)	1359	free_coro_mortal (pTHX)
1145	{	1360	{
1146	if (expect_true (coro_mortal))	1361	if (ecb_expect_true (coro_mortal))
1147	{	1362	{
1148	SvREFCNT_dec (coro_mortal);	1363	SvREFCNT_dec ((SV *)coro_mortal);
1149	coro_mortal = 0;	1364	coro_mortal = 0;
1150	}	1365	}
1151	}	1366	}
1152		1367
1153	static int	1368	static int
…		…
1185	av_push (av, SvREFCNT_inc_NN (*bot++));	1400	av_push (av, SvREFCNT_inc_NN (*bot++));
1186		1401
1187	PL_runops = RUNOPS_DEFAULT;	1402	PL_runops = RUNOPS_DEFAULT;
1188	ENTER;	1403	ENTER;
1189	SAVETMPS;	1404	SAVETMPS;
		1405	PUSHMARK (SP);
1190	EXTEND (SP, 3);	1406	EXTEND (SP, 3);
1191	PUSHMARK (SP);
1192	PUSHs (&PL_sv_no);	1407	PUSHs (&PL_sv_no);
1193	PUSHs (fullname);	1408	PUSHs (fullname);
1194	PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));	1409	PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
1195	PUTBACK;	1410	PUTBACK;
1196	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);	1411	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
…		…
1207		1422
1208	if (PL_curcop != &PL_compiling)	1423	if (PL_curcop != &PL_compiling)
1209	{	1424	{
1210	SV **cb;	1425	SV **cb;
1211		1426
1212	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)	1427	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB && cxstack_ix >= 0)
1213	{	1428	{
1214	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1429	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1215		1430
1216	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1431	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1217	{	1432	{
…		…
1223	gv_efullname3 (fullname, gv, 0);	1438	gv_efullname3 (fullname, gv, 0);
1224		1439
1225	PL_runops = RUNOPS_DEFAULT;	1440	PL_runops = RUNOPS_DEFAULT;
1226	ENTER;	1441	ENTER;
1227	SAVETMPS;	1442	SAVETMPS;
		1443	PUSHMARK (SP);
1228	EXTEND (SP, 3);	1444	EXTEND (SP, 3);
1229	PUSHMARK (SP);
1230	PUSHs (&PL_sv_yes);	1445	PUSHs (&PL_sv_yes);
1231	PUSHs (fullname);	1446	PUSHs (fullname);
1232	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);	1447	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc (SUB_ARGARRAY)) : &PL_sv_undef);
1233	PUTBACK;	1448	PUTBACK;
1234	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);	1449	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
1235	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	1450	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1236	SPAGAIN;	1451	SPAGAIN;
1237	FREETMPS;	1452	FREETMPS;
…		…
1247	dSP;	1462	dSP;
1248		1463
1249	PL_runops = RUNOPS_DEFAULT;	1464	PL_runops = RUNOPS_DEFAULT;
1250	ENTER;	1465	ENTER;
1251	SAVETMPS;	1466	SAVETMPS;
1252	EXTEND (SP, 3);
1253	PL_runops = RUNOPS_DEFAULT;
1254	PUSHMARK (SP);	1467	PUSHMARK (SP);
		1468	EXTEND (SP, 2);
1255	PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));	1469	PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));
1256	PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));	1470	PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));
1257	PUTBACK;	1471	PUTBACK;
1258	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_line_cb", sizeof ("_trace_line_cb") - 1, 0);	1472	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_line_cb", sizeof ("_trace_line_cb") - 1, 0);
1259	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	1473	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
…		…
1286		1500
1287	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */	1501	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1288	}	1502	}
1289		1503
1290	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */	1504	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1291	static void NOINLINE	1505	static void ecb_noinline
1292	cctx_prepare (pTHX)	1506	cctx_prepare (pTHX)
1293	{	1507	{
1294	PL_top_env = &PL_start_env;	1508	PL_top_env = &PL_start_env;
1295		1509
1296	if (cctx_current->flags & CC_TRACE)	1510	if (cctx_current->flags & CC_TRACE)
…		…
1307	slf_frame.prepare = slf_prepare_set_stacklevel;	1521	slf_frame.prepare = slf_prepare_set_stacklevel;
1308	slf_frame.check = slf_check_set_stacklevel;	1522	slf_frame.check = slf_check_set_stacklevel;
1309	}	1523	}
1310		1524
1311	/* the tail of transfer: execute stuff we can only do after a transfer */	1525	/* the tail of transfer: execute stuff we can only do after a transfer */
1312	INLINE void	1526	ecb_inline void
1313	transfer_tail (pTHX)	1527	transfer_tail (pTHX)
1314	{	1528	{
1315	free_coro_mortal (aTHX);	1529	free_coro_mortal (aTHX);
		1530	}
		1531
		1532	/* try to exit the same way perl's main function would do */
		1533	/* we do not bother resetting the environment or other things *7
		1534	/* that are not, uhm, essential */
		1535	/* this obviously also doesn't work when perl is embedded */
		1536	static void ecb_noinline ecb_cold
		1537	perlish_exit (pTHX)
		1538	{
		1539	int exitstatus = perl_destruct (PL_curinterp);
		1540	perl_free (PL_curinterp);
		1541	exit (exitstatus);
1316	}	1542	}
1317		1543
1318	/*	1544	/*
1319	* this is a _very_ stripped down perl interpreter ;)	1545	* this is a _very_ stripped down perl interpreter ;)
1320	*/	1546	*/
…		…
1347	* coro body here, as perl_run destroys these. Likewise, we cannot catch	1573	* coro body here, as perl_run destroys these. Likewise, we cannot catch
1348	* runtime errors here, as this is just a random interpreter, not a thread.	1574	* runtime errors here, as this is just a random interpreter, not a thread.
1349	*/	1575	*/
1350		1576
1351	/*	1577	/*
		1578	* pp_entersub in 5.24 no longer ENTERs, but perl_destruct
		1579	* requires PL_scopestack_ix, so do it here if required.
		1580	*/
		1581	if (!PL_scopestack_ix)
		1582	ENTER;
		1583
		1584	/*
1352	* If perl-run returns we assume exit() was being called or the coro	1585	* If perl-run returns we assume exit() was being called or the coro
1353	* fell off the end, which seems to be the only valid (non-bug)	1586	* fell off the end, which seems to be the only valid (non-bug)
1354	* reason for perl_run to return. We try to exit by jumping to the	1587	* reason for perl_run to return. We try to mimic whatever perl is normally
1355	* bootstrap-time "top" top_env, as we cannot restore the "main"	1588	* doing in that case. YMMV.
1356	* coroutine as Coro has no such concept.
1357	* This actually isn't valid with the pthread backend, but OSes requiring
1358	* that backend are too broken to do it in a standards-compliant way.
1359	*/	1589	*/
1360	PL_top_env = main_top_env;	1590	perlish_exit (aTHX);
1361	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1362	}	1591	}
1363	}	1592	}
1364		1593
1365	static coro_cctx *	1594	static coro_cctx *
1366	cctx_new ()	1595	cctx_new (void)
1367	{	1596	{
1368	coro_cctx *cctx;	1597	coro_cctx *cctx;
1369		1598
1370	++cctx_count;	1599	++cctx_count;
1371	New (0, cctx, 1, coro_cctx);	1600	New (0, cctx, 1, coro_cctx);
…		…
1377	return cctx;	1606	return cctx;
1378	}	1607	}
1379		1608
1380	/* create a new cctx only suitable as source */	1609	/* create a new cctx only suitable as source */
1381	static coro_cctx *	1610	static coro_cctx *
1382	cctx_new_empty ()	1611	cctx_new_empty (void)
1383	{	1612	{
1384	coro_cctx *cctx = cctx_new ();	1613	coro_cctx *cctx = cctx_new ();
1385		1614
1386	cctx->sptr = 0;	1615	cctx->stack.sptr = 0;
1387	coro_create (&cctx->cctx, 0, 0, 0, 0);	1616	coro_create (&cctx->cctx, 0, 0, 0, 0);
1388		1617
1389	return cctx;	1618	return cctx;
1390	}	1619	}
1391		1620
1392	/* create a new cctx suitable as destination/running a perl interpreter */	1621	/* create a new cctx suitable as destination/running a perl interpreter */
1393	static coro_cctx *	1622	static coro_cctx *
1394	cctx_new_run ()	1623	cctx_new_run (void)
1395	{	1624	{
1396	coro_cctx *cctx = cctx_new ();	1625	coro_cctx *cctx = cctx_new ();
1397	void *stack_start;
1398	size_t stack_size;
1399		1626
1400	#if HAVE_MMAP	1627	if (!coro_stack_alloc (&cctx->stack, cctx_stacksize))
1401	cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1402	/* mmap supposedly does allocate-on-write for us */
1403	cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
1404
1405	if (cctx->sptr != (void *)-1)
1406	{
1407	#if CORO_STACKGUARD
1408	mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1409	#endif
1410	stack_start = (char *)cctx->sptr + CORO_STACKGUARD * PAGESIZE;
1411	stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1412	cctx->flags |= CC_MAPPED;
1413	}	1628	{
1414	else
1415	#endif
1416	{
1417	cctx->ssize = cctx_stacksize * (long)sizeof (long);
1418	New (0, cctx->sptr, cctx_stacksize, long);
1419
1420	if (!cctx->sptr)
1421	{
1422	perror ("FATAL: unable to allocate stack for coroutine, exiting.");	1629	perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1423	_exit (EXIT_FAILURE);	1630	_exit (EXIT_FAILURE);
1424	}
1425
1426	stack_start = cctx->sptr;
1427	stack_size = cctx->ssize;
1428	}	1631	}
1429		1632
1430	#if CORO_USE_VALGRIND
1431	cctx->valgrind_id = VALGRIND_STACK_REGISTER ((char *)stack_start, (char *)stack_start + stack_size);
1432	#endif
1433
1434	coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);	1633	coro_create (&cctx->cctx, cctx_run, (void *)cctx, cctx->stack.sptr, cctx->stack.ssze);
1435		1634
1436	return cctx;	1635	return cctx;
1437	}	1636	}
1438		1637
1439	static void	1638	static void
1440	cctx_destroy (coro_cctx *cctx)	1639	cctx_destroy (coro_cctx *cctx)
1441	{	1640	{
1442	if (!cctx)	1641	if (!cctx)
1443	return;	1642	return;
1444		1643
1445	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));//D temporary?	1644	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1446		1645
1447	--cctx_count;	1646	--cctx_count;
1448	coro_destroy (&cctx->cctx);	1647	coro_destroy (&cctx->cctx);
1449		1648
1450	/* coro_transfer creates new, empty cctx's */	1649	coro_stack_free (&cctx->stack);
1451	if (cctx->sptr)
1452	{
1453	#if CORO_USE_VALGRIND
1454	VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1455	#endif
1456
1457	#if HAVE_MMAP
1458	if (cctx->flags & CC_MAPPED)
1459	munmap (cctx->sptr, cctx->ssize);
1460	else
1461	#endif
1462	Safefree (cctx->sptr);
1463	}
1464		1650
1465	Safefree (cctx);	1651	Safefree (cctx);
1466	}	1652	}
1467		1653
1468	/* wether this cctx should be destructed */	1654	/* wether this cctx should be destructed */
1469	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))	1655	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))
1470		1656
1471	static coro_cctx *	1657	static coro_cctx *
1472	cctx_get (pTHX)	1658	cctx_get (pTHX)
1473	{	1659	{
1474	while (expect_true (cctx_first))	1660	while (ecb_expect_true (cctx_first))
1475	{	1661	{
1476	coro_cctx *cctx = cctx_first;	1662	coro_cctx *cctx = cctx_first;
1477	cctx_first = cctx->next;	1663	cctx_first = cctx->next;
1478	--cctx_idle;	1664	--cctx_idle;
1479		1665
1480	if (expect_true (!CCTX_EXPIRED (cctx)))	1666	if (ecb_expect_true (!CCTX_EXPIRED (cctx)))
1481	return cctx;	1667	return cctx;
1482		1668
1483	cctx_destroy (cctx);	1669	cctx_destroy (cctx);
1484	}	1670	}
1485		1671
…		…
1487	}	1673	}
1488		1674
1489	static void	1675	static void
1490	cctx_put (coro_cctx *cctx)	1676	cctx_put (coro_cctx *cctx)
1491	{	1677	{
1492	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));	1678	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->stack.sptr));
1493		1679
1494	/* free another cctx if overlimit */	1680	/* free another cctx if overlimit */
1495	if (expect_false (cctx_idle >= cctx_max_idle))	1681	if (ecb_expect_false (cctx_idle >= cctx_max_idle))
1496	{	1682	{
1497	coro_cctx *first = cctx_first;	1683	coro_cctx *first = cctx_first;
1498	cctx_first = first->next;	1684	cctx_first = first->next;
1499	--cctx_idle;	1685	--cctx_idle;
1500		1686
…		…
1511	static void	1697	static void
1512	transfer_check (pTHX_ struct coro *prev, struct coro *next)	1698	transfer_check (pTHX_ struct coro *prev, struct coro *next)
1513	{	1699	{
1514	/* TODO: throwing up here is considered harmful */	1700	/* TODO: throwing up here is considered harmful */
1515		1701
1516	if (expect_true (prev != next))	1702	if (ecb_expect_true (prev != next))
1517	{	1703	{
1518	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1704	if (ecb_expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1519	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");	1705	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");
1520		1706
1521	if (expect_false (next->flags & (CF_RUNNING | CF_DESTROYED | CF_SUSPENDED)))	1707	if (ecb_expect_false (next->flags & (CF_RUNNING | CF_ZOMBIE | CF_SUSPENDED)))
1522	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");	1708	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");
1523		1709
1524	#if !PERL_VERSION_ATLEAST (5,10,0)	1710	#if !PERL_VERSION_ATLEAST (5,10,0)
1525	if (expect_false (PL_lex_state != LEX_NOTPARSING))	1711	if (ecb_expect_false (PL_lex_state != LEX_NOTPARSING))
1526	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");	1712	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1527	#endif	1713	#endif
1528	}	1714	}
1529	}	1715	}
1530		1716
1531	/* always use the TRANSFER macro */	1717	/* always use the TRANSFER macro */
1532	static void NOINLINE /* noinline so we have a fixed stackframe */	1718	static void ecb_noinline /* noinline so we have a fixed stackframe */
1533	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)	1719	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1534	{	1720	{
1535	dSTACKLEVEL;	1721	dSTACKLEVEL;
1536		1722
1537	/* sometimes transfer is only called to set idle_sp */	1723	/* sometimes transfer is only called to set idle_sp */
1538	if (expect_false (!prev))	1724	if (ecb_expect_false (!prev))
1539	{	1725	{
1540	cctx_current->idle_sp = STACKLEVEL;	1726	cctx_current->idle_sp = STACKLEVEL;
1541	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */	1727	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1542	}	1728	}
1543	else if (expect_true (prev != next))	1729	else if (ecb_expect_true (prev != next))
1544	{	1730	{
1545	coro_cctx *cctx_prev;	1731	coro_cctx *cctx_prev;
1546		1732
1547	if (expect_false (prev->flags & CF_NEW))	1733	if (ecb_expect_false (prev->flags & CF_NEW))
1548	{	1734	{
1549	/* create a new empty/source context */	1735	/* create a new empty/source context */
1550	prev->flags &= ~CF_NEW;	1736	prev->flags &= ~CF_NEW;
1551	prev->flags |= CF_RUNNING;	1737	prev->flags |= CF_RUNNING;
1552	}	1738	}
…		…
1555	next->flags |= CF_RUNNING;	1741	next->flags |= CF_RUNNING;
1556		1742
1557	/* first get rid of the old state */	1743	/* first get rid of the old state */
1558	save_perl (aTHX_ prev);	1744	save_perl (aTHX_ prev);
1559		1745
1560	if (expect_false (next->flags & CF_NEW))	1746	if (ecb_expect_false (next->flags & CF_NEW))
1561	{	1747	{
1562	/* need to start coroutine */	1748	/* need to start coroutine */
1563	next->flags &= ~CF_NEW;	1749	next->flags &= ~CF_NEW;
1564	/* setup coroutine call */	1750	/* setup coroutine call */
1565	init_perl (aTHX_ next);	1751	init_perl (aTHX_ next);
1566	}	1752	}
1567	else	1753	else
1568	load_perl (aTHX_ next);	1754	load_perl (aTHX_ next);
1569		1755
1570	/* possibly untie and reuse the cctx */	1756	/* possibly untie and reuse the cctx */
1571	if (expect_true (	1757	if (ecb_expect_true (
1572	cctx_current->idle_sp == STACKLEVEL	1758	cctx_current->idle_sp == STACKLEVEL
1573	&& !(cctx_current->flags & CC_TRACE)	1759	&& !(cctx_current->flags & CC_TRACE)
1574	&& !force_cctx	1760	&& !force_cctx
1575	))	1761	))
1576	{	1762	{
1577	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */	1763	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1578	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));	1764	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1579		1765
1580	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */	1766	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */
1581	/* without this the next cctx_get might destroy the running cctx while still in use */	1767	/* without this the next cctx_get might destroy the running cctx while still in use */
1582	if (expect_false (CCTX_EXPIRED (cctx_current)))	1768	if (ecb_expect_false (CCTX_EXPIRED (cctx_current)))
1583	if (expect_true (!next->cctx))	1769	if (ecb_expect_true (!next->cctx))
1584	next->cctx = cctx_get (aTHX);	1770	next->cctx = cctx_get (aTHX);
1585		1771
1586	cctx_put (cctx_current);	1772	cctx_put (cctx_current);
1587	}	1773	}
1588	else	1774	else
1589	prev->cctx = cctx_current;	1775	prev->cctx = cctx_current;
1590		1776
1591	++next->usecount;	1777	++next->usecount;
1592		1778
1593	cctx_prev = cctx_current;	1779	cctx_prev = cctx_current;
1594	cctx_current = expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);	1780	cctx_current = ecb_expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);
1595		1781
1596	next->cctx = 0;	1782	next->cctx = 0;
1597		1783
1598	if (expect_false (cctx_prev != cctx_current))	1784	if (ecb_expect_false (cctx_prev != cctx_current))
1599	{	1785	{
1600	cctx_prev->top_env = PL_top_env;	1786	cctx_prev->top_env = PL_top_env;
1601	PL_top_env = cctx_current->top_env;	1787	PL_top_env = cctx_current->top_env;
1602	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);	1788	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);
1603	}	1789	}
…		…
1609	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))	1795	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))
1610	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)	1796	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)
1611		1797
1612	/** high level stuff ********************************************************/	1798	/** high level stuff ********************************************************/
1613		1799
		1800	/* this function is actually Coro, not Coro::State, but we call it from here */
		1801	/* because it is convenient - but it hasn't been declared yet for that reason */
1614	static int	1802	static void
		1803	coro_call_on_destroy (pTHX_ struct coro *coro);
		1804
		1805	static void
1615	coro_state_destroy (pTHX_ struct coro *coro)	1806	coro_state_destroy (pTHX_ struct coro *coro)
1616	{	1807	{
1617	if (coro->flags & CF_DESTROYED)	1808	if (coro->flags & CF_ZOMBIE)
1618	return 0;	1809	return;
1619		1810
1620	if (coro->on_destroy && !PL_dirty)
1621	coro->on_destroy (aTHX_ coro);	1811	slf_destroy (aTHX_ coro);
1622		1812
1623	coro->flags |= CF_DESTROYED;	1813	coro->flags |= CF_ZOMBIE;
1624		1814
1625	if (coro->flags & CF_READY)	1815	if (coro->flags & CF_READY)
1626	{	1816	{
1627	/* reduce nready, as destroying a ready coro effectively unreadies it */	1817	/* reduce nready, as destroying a ready coro effectively unreadies it */
1628	/* alternative: look through all ready queues and remove the coro */	1818	/* alternative: look through all ready queues and remove the coro */
1629	--coro_nready;	1819	--coro_nready;
1630	}	1820	}
1631	else	1821	else
1632	coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */	1822	coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
		1823
		1824	if (coro->next) coro->next->prev = coro->prev;
		1825	if (coro->prev) coro->prev->next = coro->next;
		1826	if (coro == coro_first) coro_first = coro->next;
1633		1827
1634	if (coro->mainstack	1828	if (coro->mainstack
1635	&& coro->mainstack != main_mainstack	1829	&& coro->mainstack != main_mainstack
1636	&& coro->slot	1830	&& coro->slot
1637	&& !PL_dirty)	1831	&& !PL_dirty)
1638	destroy_perl (aTHX_ coro);	1832	destroy_perl (aTHX_ coro);
1639		1833
1640	if (coro->next) coro->next->prev = coro->prev;
1641	if (coro->prev) coro->prev->next = coro->next;
1642	if (coro == coro_first) coro_first = coro->next;
1643
1644	cctx_destroy (coro->cctx);	1834	cctx_destroy (coro->cctx);
1645	SvREFCNT_dec (coro->startcv);	1835	SvREFCNT_dec (coro->startcv);
1646	SvREFCNT_dec (coro->args);	1836	SvREFCNT_dec (coro->args);
1647	SvREFCNT_dec (coro->swap_sv);	1837	SvREFCNT_dec (coro->swap_sv);
1648	SvREFCNT_dec (CORO_THROW);	1838	SvREFCNT_dec (CORO_THROW);
1649		1839
1650	return 1;	1840	coro_call_on_destroy (aTHX_ coro);
		1841
		1842	/* more destruction mayhem in coro_state_free */
1651	}	1843	}
1652		1844
1653	static int	1845	static int
1654	coro_state_free (pTHX_ SV *sv, MAGIC *mg)	1846	coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1655	{	1847	{
1656	struct coro *coro = (struct coro *)mg->mg_ptr;	1848	struct coro *coro = (struct coro *)mg->mg_ptr;
1657	mg->mg_ptr = 0;	1849	mg->mg_ptr = 0;
1658		1850
1659	coro->hv = 0;
1660
1661	if (--coro->refcnt < 0)
1662	{
1663	coro_state_destroy (aTHX_ coro);	1851	coro_state_destroy (aTHX_ coro);
		1852	SvREFCNT_dec (coro->on_destroy);
		1853	SvREFCNT_dec (coro->status);
		1854
1664	Safefree (coro);	1855	Safefree (coro);
1665	}
1666		1856
1667	return 0;	1857	return 0;
1668	}	1858	}
1669		1859
1670	static int	1860	static int ecb_cold
1671	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)	1861	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)
1672	{	1862	{
1673	struct coro *coro = (struct coro *)mg->mg_ptr;	1863	/* called when perl clones the current process the slow way (windows process emulation) */
1674		1864	/* we simply nuke the pointers in the copy, causing perl to croak */
1675	++coro->refcnt;	1865	mg->mg_ptr = 0;
		1866	mg->mg_virtual = 0;
1676		1867
1677	return 0;	1868	return 0;
1678	}	1869	}
1679		1870
1680	static MGVTBL coro_state_vtbl = {	1871	static MGVTBL coro_state_vtbl = {
…		…
1705	TRANSFER (ta, 1);	1896	TRANSFER (ta, 1);
1706	}	1897	}
1707		1898
1708	/** Coro ********************************************************************/	1899	/** Coro ********************************************************************/
1709		1900
1710	INLINE void	1901	ecb_inline void
1711	coro_enq (pTHX_ struct coro *coro)	1902	coro_enq (pTHX_ struct coro *coro)
1712	{	1903	{
1713	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];	1904	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1714		1905
1715	SvREFCNT_inc_NN (coro->hv);	1906	SvREFCNT_inc_NN (coro->hv);
…		…
1717	coro->next_ready = 0;	1908	coro->next_ready = 0;
1718	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;	1909	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
1719	ready [1] = coro;	1910	ready [1] = coro;
1720	}	1911	}
1721		1912
1722	INLINE struct coro *	1913	ecb_inline struct coro *
1723	coro_deq (pTHX)	1914	coro_deq (pTHX)
1724	{	1915	{
1725	int prio;	1916	int prio;
1726		1917
1727	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )	1918	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
…		…
1780	{	1971	{
1781	return !!(SvSTATE (coro_sv)->flags & CF_READY);	1972	return !!(SvSTATE (coro_sv)->flags & CF_READY);
1782	}	1973	}
1783		1974
1784	/* expects to own a reference to next->hv */	1975	/* expects to own a reference to next->hv */
1785	INLINE void	1976	ecb_inline void
1786	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)	1977	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)
1787	{	1978	{
1788	SV *prev_sv = SvRV (coro_current);	1979	SV *prev_sv = SvRV (coro_current);
1789		1980
1790	ta->prev = SvSTATE_hv (prev_sv);	1981	ta->prev = SvSTATE_hv (prev_sv);
…		…
1803	{	1994	{
1804	for (;;)	1995	for (;;)
1805	{	1996	{
1806	struct coro *next = coro_deq (aTHX);	1997	struct coro *next = coro_deq (aTHX);
1807		1998
1808	if (expect_true (next))	1999	if (ecb_expect_true (next))
1809	{	2000	{
1810	/* cannot transfer to destroyed coros, skip and look for next */	2001	/* cannot transfer to destroyed coros, skip and look for next */
1811	if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED)))	2002	if (ecb_expect_false (next->flags & (CF_ZOMBIE | CF_SUSPENDED)))
1812	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */	2003	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1813	else	2004	else
1814	{	2005	{
1815	next->flags &= ~CF_READY;	2006	next->flags &= ~CF_READY;
1816	--coro_nready;	2007	--coro_nready;
…		…
1823	{	2014	{
1824	/* nothing to schedule: call the idle handler */	2015	/* nothing to schedule: call the idle handler */
1825	if (SvROK (sv_idle)	2016	if (SvROK (sv_idle)
1826	&& SvOBJECT (SvRV (sv_idle)))	2017	&& SvOBJECT (SvRV (sv_idle)))
1827	{	2018	{
		2019	if (SvRV (sv_idle) == SvRV (coro_current))
		2020	{
		2021	require_pv ("Carp");
		2022
		2023	{
		2024	dSP;
		2025
		2026	ENTER;
		2027	SAVETMPS;
		2028
		2029	PUSHMARK (SP);
		2030	XPUSHs (sv_2mortal (newSVpv ("FATAL: $Coro::idle blocked itself - did you try to block inside an event loop callback? Caught", 0)));
		2031	PUTBACK;
		2032	call_pv ("Carp::confess", G_VOID | G_DISCARD);
		2033
		2034	FREETMPS;
		2035	LEAVE;
		2036	}
		2037	}
		2038
1828	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	2039	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1829	api_ready (aTHX_ SvRV (sv_idle));	2040	api_ready (aTHX_ SvRV (sv_idle));
1830	--coro_nready;	2041	--coro_nready;
1831	}	2042	}
1832	else	2043	else
…		…
1846	}	2057	}
1847	}	2058	}
1848	}	2059	}
1849	}	2060	}
1850		2061
1851	INLINE void	2062	ecb_inline void
1852	prepare_cede (pTHX_ struct coro_transfer_args *ta)	2063	prepare_cede (pTHX_ struct coro_transfer_args *ta)
1853	{	2064	{
1854	api_ready (aTHX_ coro_current);	2065	api_ready (aTHX_ coro_current);
1855	prepare_schedule (aTHX_ ta);	2066	prepare_schedule (aTHX_ ta);
1856	}	2067	}
1857		2068
1858	INLINE void	2069	ecb_inline void
1859	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)	2070	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)
1860	{	2071	{
1861	SV *prev = SvRV (coro_current);	2072	SV *prev = SvRV (coro_current);
1862		2073
1863	if (coro_nready)	2074	if (coro_nready)
…		…
1893	{	2104	{
1894	struct coro_transfer_args ta;	2105	struct coro_transfer_args ta;
1895		2106
1896	prepare_cede (aTHX_ &ta);	2107	prepare_cede (aTHX_ &ta);
1897		2108
1898	if (expect_true (ta.prev != ta.next))	2109	if (ecb_expect_true (ta.prev != ta.next))
1899	{	2110	{
1900	TRANSFER (ta, 1);	2111	TRANSFER (ta, 1);
1901	return 1;	2112	return 1;
1902	}	2113	}
1903	else	2114	else
…		…
1946	coro->slot->runops = RUNOPS_DEFAULT;	2157	coro->slot->runops = RUNOPS_DEFAULT;
1947	}	2158	}
1948	}	2159	}
1949		2160
1950	static void	2161	static void
		2162	coro_push_av (pTHX_ AV *av, I32 gimme_v)
		2163	{
		2164	if (AvFILLp (av) >= 0 && gimme_v != G_VOID)
		2165	{
		2166	dSP;
		2167
		2168	if (gimme_v == G_SCALAR)
		2169	XPUSHs (AvARRAY (av)[AvFILLp (av)]);
		2170	else
		2171	{
		2172	int i;
		2173	EXTEND (SP, AvFILLp (av) + 1);
		2174
		2175	for (i = 0; i <= AvFILLp (av); ++i)
		2176	PUSHs (AvARRAY (av)[i]);
		2177	}
		2178
		2179	PUTBACK;
		2180	}
		2181	}
		2182
		2183	static void
		2184	coro_push_on_destroy (pTHX_ struct coro *coro, SV *cb)
		2185	{
		2186	if (!coro->on_destroy)
		2187	coro->on_destroy = newAV ();
		2188
		2189	av_push (coro->on_destroy, cb);
		2190	}
		2191
		2192	static void
		2193	slf_destroy_join (pTHX_ struct CoroSLF *frame)
		2194	{
		2195	SvREFCNT_dec ((SV *)((struct coro *)frame->data)->hv);
		2196	}
		2197
		2198	static int
		2199	slf_check_join (pTHX_ struct CoroSLF *frame)
		2200	{
		2201	struct coro *coro = (struct coro *)frame->data;
		2202
		2203	if (!coro->status)
		2204	return 1;
		2205
		2206	frame->destroy = 0;
		2207
		2208	coro_push_av (aTHX_ coro->status, GIMME_V);
		2209
		2210	SvREFCNT_dec ((SV *)coro->hv);
		2211
		2212	return 0;
		2213	}
		2214
		2215	static void
		2216	slf_init_join (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2217	{
		2218	struct coro *coro = SvSTATE (items > 0 ? arg [0] : &PL_sv_undef);
		2219
		2220	if (items > 1)
		2221	croak ("join called with too many arguments");
		2222
		2223	if (coro->status)
		2224	frame->prepare = prepare_nop;
		2225	else
		2226	{
		2227	coro_push_on_destroy (aTHX_ coro, SvREFCNT_inc_NN (SvRV (coro_current)));
		2228	frame->prepare = prepare_schedule;
		2229	}
		2230
		2231	frame->check = slf_check_join;
		2232	frame->destroy = slf_destroy_join;
		2233	frame->data = (void *)coro;
		2234	SvREFCNT_inc (coro->hv);
		2235	}
		2236
		2237	static void
1951	coro_call_on_destroy (pTHX_ struct coro *coro)	2238	coro_call_on_destroy (pTHX_ struct coro *coro)
1952	{	2239	{
1953	SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);	2240	AV *od = coro->on_destroy;
1954	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
1955		2241
1956	if (on_destroyp)	2242	if (!od)
1957	{	2243	return;
1958	AV *on_destroy = (AV *)SvRV (*on_destroyp);
1959		2244
		2245	coro->on_destroy = 0;
		2246	sv_2mortal ((SV *)od);
		2247
1960	while (AvFILLp (on_destroy) >= 0)	2248	while (AvFILLp (od) >= 0)
		2249	{
		2250	SV *cb = sv_2mortal (av_pop (od));
		2251
		2252	/* coro hv's (and only hv's at the moment) are supported as well */
		2253	if (SvSTATEhv_p (aTHX_ cb))
		2254	api_ready (aTHX_ cb);
		2255	else
1961	{	2256	{
1962	dSP; /* don't disturb outer sp */	2257	dSP; /* don't disturb outer sp */
1963	SV *cb = av_pop (on_destroy);
1964
1965	PUSHMARK (SP);	2258	PUSHMARK (SP);
1966		2259
1967	if (statusp)	2260	if (coro->status)
1968	{	2261	{
1969	int i;	2262	PUTBACK;
1970	AV *status = (AV *)SvRV (*statusp);	2263	coro_push_av (aTHX_ coro->status, G_ARRAY);
1971	EXTEND (SP, AvFILLp (status) + 1);	2264	SPAGAIN;
1972
1973	for (i = 0; i <= AvFILLp (status); ++i)
1974	PUSHs (AvARRAY (status)[i]);
1975	}	2265	}
1976		2266
1977	PUTBACK;	2267	PUTBACK;
1978	call_sv (sv_2mortal (cb), G_VOID | G_DISCARD);	2268	call_sv (cb, G_VOID | G_DISCARD);
1979	}	2269	}
1980	}	2270	}
1981	}	2271	}
1982		2272
1983	static void	2273	static void
1984	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2274	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)
1985	{	2275	{
1986	int i;	2276	AV *av;
1987	HV *hv = (HV *)SvRV (coro_current);	2277
1988	AV *av = newAV ();	2278	if (coro->status)
		2279	{
		2280	av = coro->status;
		2281	av_clear (av);
		2282	}
		2283	else
		2284	av = coro->status = newAV ();
1989		2285
1990	/* items are actually not so common, so optimise for this case */	2286	/* items are actually not so common, so optimise for this case */
1991	if (items)	2287	if (items)
1992	{	2288	{
		2289	int i;
		2290
1993	av_extend (av, items - 1);	2291	av_extend (av, items - 1);
1994		2292
1995	for (i = 0; i < items; ++i)	2293	for (i = 0; i < items; ++i)
1996	av_push (av, SvREFCNT_inc_NN (arg [i]));	2294	av_push (av, SvREFCNT_inc_NN (arg [i]));
1997	}	2295	}
		2296	}
1998		2297
1999	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);	2298	static void
2000		2299	slf_init_terminate_cancel_common (pTHX_ struct CoroSLF *frame, HV *coro_hv)
		2300	{
2001	av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */	2301	av_push (av_destroy, (SV *)newRV_inc ((SV *)coro_hv)); /* RVinc for perl */
2002	api_ready (aTHX_ sv_manager);	2302	api_ready (aTHX_ sv_manager);
2003		2303
2004	frame->prepare = prepare_schedule;	2304	frame->prepare = prepare_schedule;
2005	frame->check = slf_check_repeat;	2305	frame->check = slf_check_repeat;
2006		2306
2007	/* as a minor optimisation, we could unwind all stacks here */	2307	/* as a minor optimisation, we could unwind all stacks here */
2008	/* but that puts extra pressure on pp_slf, and is not worth much */	2308	/* but that puts extra pressure on pp_slf, and is not worth much */
2009	/*coro_unwind_stacks (aTHX);*/	2309	/*coro_unwind_stacks (aTHX);*/
		2310	}
		2311
		2312	static void
		2313	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2314	{
		2315	HV *coro_hv = (HV *)SvRV (coro_current);
		2316
		2317	coro_set_status (aTHX_ SvSTATE ((SV *)coro_hv), arg, items);
		2318	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);
		2319	}
		2320
		2321	static void
		2322	slf_init_cancel (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2323	{
		2324	HV *coro_hv;
		2325	struct coro *coro;
		2326
		2327	if (items <= 0)
		2328	croak ("Coro::cancel called without coro object,");
		2329
		2330	coro = SvSTATE (arg [0]);
		2331	coro_hv = coro->hv;
		2332
		2333	coro_set_status (aTHX_ coro, arg + 1, items - 1);
		2334
		2335	if (ecb_expect_false (coro->flags & CF_NOCANCEL))
		2336	{
		2337	/* coro currently busy cancelling something, so just notify it */
		2338	coro->slf_frame.data = (void *)coro;
		2339
		2340	frame->prepare = prepare_nop;
		2341	frame->check = slf_check_nop;
		2342	}
		2343	else if (coro_hv == (HV *)SvRV (coro_current))
		2344	{
		2345	/* cancelling the current coro is allowed, and equals terminate */
		2346	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);
		2347	}
		2348	else
		2349	{
		2350	struct coro *self = SvSTATE_current;
		2351
		2352	if (!self)
		2353	croak ("Coro::cancel called outside of thread content,");
		2354
		2355	/* otherwise we cancel directly, purely for speed reasons
		2356	* unfortunately, this requires some magic trickery, as
		2357	* somebody else could cancel us, so we have to fight the cancellation.
		2358	* this is ugly, and hopefully fully worth the extra speed.
		2359	* besides, I can't get the slow-but-safe version working...
		2360	*/
		2361	slf_frame.data = 0;
		2362	self->flags |= CF_NOCANCEL;
		2363	coro_state_destroy (aTHX_ coro);
		2364	self->flags &= ~CF_NOCANCEL;
		2365
		2366	if (slf_frame.data)
		2367	{
		2368	/* while we were busy we have been cancelled, so terminate */
		2369	slf_init_terminate_cancel_common (aTHX_ frame, self->hv);
		2370	}
		2371	else
		2372	{
		2373	frame->prepare = prepare_nop;
		2374	frame->check = slf_check_nop;
		2375	}
		2376	}
		2377	}
		2378
		2379	static int
		2380	slf_check_safe_cancel (pTHX_ struct CoroSLF *frame)
		2381	{
		2382	frame->prepare = 0;
		2383	coro_unwind_stacks (aTHX);
		2384
		2385	slf_init_terminate_cancel_common (aTHX_ frame, (HV *)SvRV (coro_current));
		2386
		2387	return 1;
		2388	}
		2389
		2390	static int
		2391	safe_cancel (pTHX_ struct coro *coro, SV **arg, int items)
		2392	{
		2393	if (coro->cctx)
		2394	croak ("coro inside C callback, unable to cancel at this time, caught");
		2395
		2396	if (coro->flags & (CF_NEW | CF_ZOMBIE))
		2397	{
		2398	coro_set_status (aTHX_ coro, arg, items);
		2399	coro_state_destroy (aTHX_ coro);
		2400	}
		2401	else
		2402	{
		2403	if (!coro->slf_frame.prepare)
		2404	croak ("coro outside an SLF function, unable to cancel at this time, caught");
		2405
		2406	slf_destroy (aTHX_ coro);
		2407
		2408	coro_set_status (aTHX_ coro, arg, items);
		2409	coro->slf_frame.prepare = prepare_nop;
		2410	coro->slf_frame.check = slf_check_safe_cancel;
		2411
		2412	api_ready (aTHX_ (SV *)coro->hv);
		2413	}
		2414
		2415	return 1;
2010	}	2416	}
2011		2417
2012	/*****************************************************************************/	2418	/*****************************************************************************/
2013	/* async pool handler */	2419	/* async pool handler */
2014		2420
…		…
2045	slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2451	slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2046	{	2452	{
2047	HV *hv = (HV *)SvRV (coro_current);	2453	HV *hv = (HV *)SvRV (coro_current);
2048	struct coro *coro = SvSTATE_hv ((SV *)hv);	2454	struct coro *coro = SvSTATE_hv ((SV *)hv);
2049		2455
2050	if (expect_true (coro->saved_deffh))	2456	if (ecb_expect_true (coro->saved_deffh))
2051	{	2457	{
2052	/* subsequent iteration */	2458	/* subsequent iteration */
2053	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;	2459	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
2054	coro->saved_deffh = 0;	2460	coro->saved_deffh = 0;
2055		2461
2056	if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)	2462	if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
2057	|| av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))	2463	|| av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
2058	{	2464	{
2059	coro->invoke_cb = SvREFCNT_inc_NN ((SV *)cv_coro_terminate);	2465	slf_init_terminate_cancel_common (aTHX_ frame, hv);
2060	coro->invoke_av = newAV ();	2466	return;
2061
2062	frame->prepare = prepare_nop;
2063	}	2467	}
2064	else	2468	else
2065	{	2469	{
2066	av_clear (GvAV (PL_defgv));	2470	av_clear (GvAV (PL_defgv));
2067	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);	2471	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
2068		2472
		2473	if (ecb_expect_false (coro->swap_sv))
		2474	{
		2475	SWAP_SVS_LEAVE (coro);
		2476	SvREFCNT_dec_NN (coro->swap_sv);
		2477	coro->swap_sv = 0;
		2478	}
		2479
2069	coro->prio = 0;	2480	coro->prio = 0;
2070		2481
2071	if (coro->cctx && (coro->cctx->flags & CC_TRACE))	2482	if (ecb_expect_false (coro->cctx) && ecb_expect_false (coro->cctx->flags & CC_TRACE))
2072	api_trace (aTHX_ coro_current, 0);	2483	api_trace (aTHX_ coro_current, 0);
2073		2484
2074	frame->prepare = prepare_schedule;	2485	frame->prepare = prepare_schedule;
2075	av_push (av_async_pool, SvREFCNT_inc (hv));	2486	av_push (av_async_pool, SvREFCNT_inc_NN (hv));
2076	}	2487	}
2077	}	2488	}
2078	else	2489	else
2079	{	2490	{
2080	/* first iteration, simply fall through */	2491	/* first iteration, simply fall through */
…		…
2093	static void	2504	static void
2094	coro_rouse_callback (pTHX_ CV *cv)	2505	coro_rouse_callback (pTHX_ CV *cv)
2095	{	2506	{
2096	dXSARGS;	2507	dXSARGS;
2097	SV *data = (SV *)S_GENSUB_ARG;	2508	SV *data = (SV *)S_GENSUB_ARG;
		2509	SV *coro = SvRV (data);
2098		2510
		2511	/* data starts being either undef or a coro, and is replaced by the results when done */
2099	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2512	if (SvTYPE (coro) != SVt_PVAV)
2100	{	2513	{
2101	/* first call, set args */	2514	/* first call, set args */
2102	SV *coro = SvRV (data);
2103	AV *av = newAV ();
2104		2515
2105	SvRV_set (data, (SV *)av);	2516	assert (&ST (0) < &ST (1)); /* ensure the stack is in the order we expect it to be */
		2517	SvRV_set (data, (SV *)av_make (items, &ST (0))); /* av_make copies the SVs */
2106		2518
2107	/* better take a full copy of the arguments */	2519	if (coro != &PL_sv_undef)
2108	while (items--)	2520	{
2109	av_store (av, items, newSVsv (ST (items)));
2110
2111	api_ready (aTHX_ coro);	2521	api_ready (aTHX_ coro);
2112	SvREFCNT_dec (coro);	2522	SvREFCNT_dec_NN (coro);
		2523	}
2113	}	2524	}
2114		2525
2115	XSRETURN_EMPTY;	2526	XSRETURN_EMPTY;
2116	}	2527	}
2117		2528
2118	static int	2529	static int
2119	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)	2530	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)
2120	{	2531	{
2121	SV *data = (SV *)frame->data;	2532	SV *data = (SV *)frame->data;
2122		2533
2123	if (CORO_THROW)	2534	if (CORO_THROW)
2124	return 0;	2535	return 0;
2125		2536
2126	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2537	if (SvTYPE (SvRV (data)) != SVt_PVAV)
2127	return 1;	2538	return 1;
…		…
2134		2545
2135	EXTEND (SP, AvFILLp (av) + 1);	2546	EXTEND (SP, AvFILLp (av) + 1);
2136	for (i = 0; i <= AvFILLp (av); ++i)	2547	for (i = 0; i <= AvFILLp (av); ++i)
2137	PUSHs (sv_2mortal (AvARRAY (av)[i]));	2548	PUSHs (sv_2mortal (AvARRAY (av)[i]));
2138		2549
2139	/* we have stolen the elements, so set length to zero and free */	2550	/* we have stolen the elements, make it unreal and free */
2140	AvFILLp (av) = -1;	2551	AvREAL_off (av);
2141	av_undef (av);	2552	av_undef (av);
2142		2553
2143	PUTBACK;	2554	PUTBACK;
2144	}	2555	}
2145		2556
…		…
2163	cb = sv_2mortal (coro->rouse_cb);	2574	cb = sv_2mortal (coro->rouse_cb);
2164	coro->rouse_cb = 0;	2575	coro->rouse_cb = 0;
2165	}	2576	}
2166		2577
2167	if (!SvROK (cb)	2578	if (!SvROK (cb)
2168	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2579	|| SvTYPE (SvRV (cb)) != SVt_PVCV
2169	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2580	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2170	croak ("Coro::rouse_wait called with illegal callback argument,");	2581	croak ("Coro::rouse_wait called with illegal callback argument,");
2171		2582
2172	{	2583	{
2173	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */	2584	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
2174	SV *data = (SV *)S_GENSUB_ARG;	2585	SV *data = (SV *)S_GENSUB_ARG;
		2586	int data_ready = SvTYPE (SvRV (data)) == SVt_PVAV;
		2587
		2588	/* if there is no data, we need to store the current coro in the reference so we can be woken up */
		2589	if (!data_ready)
		2590	if (SvRV (data) != &PL_sv_undef)
		2591	croak ("Coro::rouse_wait was called on a calback that is already being waited for - only one thread can wait for a rouse callback, caught");
		2592	else
		2593	SvRV_set (data, SvREFCNT_inc_NN (SvRV (coro_current)));
2175		2594
2176	frame->data = (void *)data;	2595	frame->data = (void *)data;
2177	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2596	frame->prepare = data_ready ? prepare_nop : prepare_schedule;
2178	frame->check = slf_check_rouse_wait;	2597	frame->check = slf_check_rouse_wait;
2179	}	2598	}
2180	}	2599	}
2181		2600
2182	static SV *	2601	static SV *
2183	coro_new_rouse_cb (pTHX)	2602	coro_new_rouse_cb (pTHX)
2184	{	2603	{
2185	HV *hv = (HV *)SvRV (coro_current);	2604	HV *hv = (HV *)SvRV (coro_current);
2186	struct coro *coro = SvSTATE_hv (hv);	2605	struct coro *coro = SvSTATE_hv (hv);
2187	SV *data = newRV_inc ((SV *)hv);	2606	SV *data = newRV_noinc (&PL_sv_undef);
2188	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);	2607	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);
2189		2608
2190	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2609	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2191	SvREFCNT_dec (data); /* magicext increases the refcount */	2610	SvREFCNT_dec_NN (data); /* magicext increases the refcount */
2192		2611
2193	SvREFCNT_dec (coro->rouse_cb);	2612	SvREFCNT_dec (coro->rouse_cb);
2194	coro->rouse_cb = SvREFCNT_inc_NN (cb);	2613	coro->rouse_cb = SvREFCNT_inc_NN (cb);
2195		2614
2196	return cb;	2615	return cb;
…		…
2290	static void	2709	static void
2291	slf_init_cede_notself (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2710	slf_init_cede_notself (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2292	{	2711	{
2293	frame->prepare = prepare_cede_notself;	2712	frame->prepare = prepare_cede_notself;
2294	frame->check = slf_check_nop;	2713	frame->check = slf_check_nop;
		2714	}
		2715
		2716	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */
		2717	static void
		2718	slf_destroy (pTHX_ struct coro *coro)
		2719	{
		2720	struct CoroSLF frame = coro->slf_frame;
		2721
		2722	/*
		2723	* The on_destroy below most likely is from an SLF call.
		2724	* Since by definition the SLF call will not finish when we destroy
		2725	* the coro, we will have to force-finish it here, otherwise
		2726	* cleanup functions cannot call SLF functions.
		2727	*/
		2728	coro->slf_frame.prepare = 0;
		2729
		2730	/* this callback is reserved for slf functions needing to do cleanup */
		2731	if (frame.destroy && frame.prepare && !PL_dirty)
		2732	frame.destroy (aTHX_ &frame);
2295	}	2733	}
2296		2734
2297	/*	2735	/*
2298	* these not obviously related functions are all rolled into one	2736	* these not obviously related functions are all rolled into one
2299	* function to increase chances that they all will call transfer with the same	2737	* function to increase chances that they all will call transfer with the same
…		…
2306	I32 checkmark; /* mark SP to see how many elements check has pushed */	2744	I32 checkmark; /* mark SP to see how many elements check has pushed */
2307		2745
2308	/* set up the slf frame, unless it has already been set-up */	2746	/* set up the slf frame, unless it has already been set-up */
2309	/* the latter happens when a new coro has been started */	2747	/* the latter happens when a new coro has been started */
2310	/* or when a new cctx was attached to an existing coroutine */	2748	/* or when a new cctx was attached to an existing coroutine */
2311	if (expect_true (!slf_frame.prepare))	2749	if (ecb_expect_true (!slf_frame.prepare))
2312	{	2750	{
2313	/* first iteration */	2751	/* first iteration */
2314	dSP;	2752	dSP;
2315	SV **arg = PL_stack_base + TOPMARK + 1;	2753	SV **arg = PL_stack_base + TOPMARK + 1;
2316	int items = SP - arg; /* args without function object */	2754	int items = SP - arg; /* args without function object */
…		…
2357	while (slf_frame.check (aTHX_ &slf_frame));	2795	while (slf_frame.check (aTHX_ &slf_frame));
2358		2796
2359	slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */	2797	slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */
2360		2798
2361	/* exception handling */	2799	/* exception handling */
2362	if (expect_false (CORO_THROW))	2800	if (ecb_expect_false (CORO_THROW))
2363	{	2801	{
2364	SV *exception = sv_2mortal (CORO_THROW);	2802	SV *exception = sv_2mortal (CORO_THROW);
2365		2803
2366	CORO_THROW = 0;	2804	CORO_THROW = 0;
2367	sv_setsv (ERRSV, exception);	2805	sv_setsv (ERRSV, exception);
2368	croak (0);	2806	croak (0);
2369	}	2807	}
2370		2808
2371	/* return value handling - mostly like entersub */	2809	/* return value handling - mostly like entersub */
2372	/* make sure we put something on the stack in scalar context */	2810	/* make sure we put something on the stack in scalar context */
2373	if (GIMME_V == G_SCALAR)	2811	if (GIMME_V == G_SCALAR
		2812	&& ecb_expect_false (PL_stack_sp != PL_stack_base + checkmark + 1))
2374	{	2813	{
2375	dSP;	2814	dSP;
2376	SV **bot = PL_stack_base + checkmark;	2815	SV **bot = PL_stack_base + checkmark;
2377		2816
2378	if (sp == bot) /* too few, push undef */	2817	if (sp == bot) /* too few, push undef */
2379	bot [1] = &PL_sv_undef;	2818	bot [1] = &PL_sv_undef;
2380	else if (sp != bot + 1) /* too many, take last one */	2819	else /* too many, take last one */
2381	bot [1] = *sp;	2820	bot [1] = *sp;
2382		2821
2383	SP = bot + 1;	2822	SP = bot + 1;
2384		2823
2385	PUTBACK;	2824	PUTBACK;
…		…
2418	if (PL_op->op_flags & OPf_STACKED)	2857	if (PL_op->op_flags & OPf_STACKED)
2419	{	2858	{
2420	if (items > slf_arga)	2859	if (items > slf_arga)
2421	{	2860	{
2422	slf_arga = items;	2861	slf_arga = items;
2423	free (slf_argv);	2862	Safefree (slf_argv);
2424	slf_argv = malloc (slf_arga * sizeof (SV *));	2863	New (0, slf_argv, slf_arga, SV *);
2425	}	2864	}
2426		2865
2427	slf_argc = items;	2866	slf_argc = items;
2428		2867
2429	for (i = 0; i < items; ++i)	2868	for (i = 0; i < items; ++i)
…		…
2483	{	2922	{
2484	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);	2923	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
2485	on_enterleave_call (aTHX_ sv_2mortal (cb));	2924	on_enterleave_call (aTHX_ sv_2mortal (cb));
2486	}	2925	}
2487		2926
		2927	static void
		2928	enterleave_hook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, void *arg)
		2929	{
		2930	if (!hook)
		2931	return;
		2932
		2933	if (!*avp)
		2934	{
		2935	*avp = newAV ();
		2936	AvREAL_off (*avp);
		2937	}
		2938
		2939	av_push (*avp, (SV *)hook);
		2940	av_push (*avp, (SV *)arg);
		2941	}
		2942
		2943	static void
		2944	enterleave_unhook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, int execute)
		2945	{
		2946	AV *av = *avp;
		2947	int i;
		2948
		2949	if (!av)
		2950	return;
		2951
		2952	for (i = AvFILLp (av) - 1; i >= 0; i -= 2)
		2953	if (AvARRAY (av)[i] == (SV *)hook)
		2954	{
		2955	if (execute)
		2956	hook (aTHX_ (void *)AvARRAY (av)[i + 1]);
		2957
		2958	memmove (AvARRAY (av) + i, AvARRAY (av) + i + 2, AvFILLp (av) - i - 1);
		2959	av_pop (av);
		2960	av_pop (av);
		2961	break;
		2962	}
		2963
		2964	if (AvFILLp (av) >= 0)
		2965	{
		2966	*avp = 0;
		2967	SvREFCNT_dec_NN (av);
		2968	}
		2969	}
		2970
		2971	static void
		2972	api_enterleave_hook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2973	{
		2974	struct coro *coro = SvSTATE (coro_sv);
		2975
		2976	if (SvSTATE_current == coro)
		2977	if (enter)
		2978	enter (aTHX_ enter_arg);
		2979
		2980	enterleave_hook_xs (aTHX_ coro, &coro->on_enter_xs, enter, enter_arg);
		2981	enterleave_hook_xs (aTHX_ coro, &coro->on_leave_xs, leave, leave_arg);
		2982	}
		2983
		2984	static void
		2985	api_enterleave_unhook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, coro_enterleave_hook leave)
		2986	{
		2987	struct coro *coro = SvSTATE (coro_sv);
		2988
		2989	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2990	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, SvSTATE_current == coro);
		2991	}
		2992
		2993	static void
		2994	savedestructor_unhook_enter (pTHX_ coro_enterleave_hook enter)
		2995	{
		2996	struct coro *coro = SvSTATE_current;
		2997
		2998	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2999	}
		3000
		3001	static void
		3002	savedestructor_unhook_leave (pTHX_ coro_enterleave_hook leave)
		3003	{
		3004	struct coro *coro = SvSTATE_current;
		3005
		3006	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, 1);
		3007	}
		3008
		3009	static void
		3010	api_enterleave_scope_hook (pTHX_ coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		3011	{
		3012	api_enterleave_hook (aTHX_ coro_current, enter, enter_arg, leave, leave_arg);
		3013
		3014	/* this ought to be much cheaper than malloc + a single destructor call */
		3015	if (enter) SAVEDESTRUCTOR_X (savedestructor_unhook_enter, enter);
		3016	if (leave) SAVEDESTRUCTOR_X (savedestructor_unhook_leave, leave);
		3017	}
		3018
2488	/*****************************************************************************/	3019	/*****************************************************************************/
2489	/* PerlIO::cede */	3020	/* PerlIO::cede */
2490		3021
2491	typedef struct	3022	typedef struct
2492	{	3023	{
2493	PerlIOBuf base;	3024	PerlIOBuf base;
2494	NV next, every;	3025	NV next, every;
2495	} PerlIOCede;	3026	} PerlIOCede;
2496		3027
2497	static IV	3028	static IV ecb_cold
2498	PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)	3029	PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)
2499	{	3030	{
2500	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);	3031	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2501		3032
2502	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;	3033	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
2503	self->next = nvtime () + self->every;	3034	self->next = nvtime () + self->every;
2504		3035
2505	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);	3036	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
2506	}	3037	}
2507		3038
2508	static SV *	3039	static SV * ecb_cold
2509	PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)	3040	PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)
2510	{	3041	{
2511	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);	3042	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2512		3043
2513	return newSVnv (self->every);	3044	return newSVnv (self->every);
…		…
2620	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));	3151	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
2621	PUTBACK;	3152	PUTBACK;
2622	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);	3153	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
2623	}	3154	}
2624		3155
2625	SvREFCNT_dec (cb);	3156	SvREFCNT_dec_NN (cb);
2626	}	3157	}
2627	}	3158	}
2628		3159
2629	static void	3160	static void
2630	coro_semaphore_on_destroy (pTHX_ struct coro *coro)	3161	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)
2631	{	3162	{
2632	/* call $sem->adjust (0) to possibly wake up some other waiters */	3163	/* call $sem->adjust (0) to possibly wake up some other waiters */
2633	coro_semaphore_adjust (aTHX_ (AV *)coro->slf_frame.data, 0);	3164	coro_semaphore_adjust (aTHX_ (AV *)frame->data, 0);
2634	}	3165	}
2635		3166
2636	static int	3167	static int
2637	slf_check_semaphore_down_or_wait (pTHX_ struct CoroSLF *frame, int acquire)	3168	slf_check_semaphore_down_or_wait (pTHX_ struct CoroSLF *frame, int acquire)
2638	{	3169	{
2639	AV *av = (AV *)frame->data;	3170	AV *av = (AV *)frame->data;
2640	SV *count_sv = AvARRAY (av)[0];	3171	SV *count_sv = AvARRAY (av)[0];
		3172	SV *coro_hv = SvRV (coro_current);
		3173
		3174	frame->destroy = 0;
2641		3175
2642	/* if we are about to throw, don't actually acquire the lock, just throw */	3176	/* if we are about to throw, don't actually acquire the lock, just throw */
2643	if (CORO_THROW)	3177	if (ecb_expect_false (CORO_THROW))
		3178	{
		3179	/* we still might be responsible for the semaphore, so wake up others */
		3180	coro_semaphore_adjust (aTHX_ av, 0);
		3181
2644	return 0;	3182	return 0;
		3183	}
2645	else if (SvIVX (count_sv) > 0)	3184	else if (SvIVX (count_sv) > 0)
2646	{	3185	{
2647	SvSTATE_current->on_destroy = 0;
2648
2649	if (acquire)	3186	if (acquire)
2650	SvIVX (count_sv) = SvIVX (count_sv) - 1;	3187	SvIVX (count_sv) = SvIVX (count_sv) - 1;
2651	else	3188	else
2652	coro_semaphore_adjust (aTHX_ av, 0);	3189	coro_semaphore_adjust (aTHX_ av, 0);
2653		3190
…		…
2657	{	3194	{
2658	int i;	3195	int i;
2659	/* if we were woken up but can't down, we look through the whole */	3196	/* if we were woken up but can't down, we look through the whole */
2660	/* waiters list and only add us if we aren't in there already */	3197	/* waiters list and only add us if we aren't in there already */
2661	/* this avoids some degenerate memory usage cases */	3198	/* this avoids some degenerate memory usage cases */
2662		3199	for (i = AvFILLp (av); i > 0; --i) /* i > 0 is not an off-by-one bug */
2663	for (i = 1; i <= AvFILLp (av); ++i)
2664	if (AvARRAY (av)[i] == SvRV (coro_current))	3200	if (AvARRAY (av)[i] == coro_hv)
2665	return 1;	3201	return 1;
2666		3202
2667	av_push (av, SvREFCNT_inc (SvRV (coro_current)));	3203	av_push (av, SvREFCNT_inc (coro_hv));
2668	return 1;	3204	return 1;
2669	}	3205	}
2670	}	3206	}
2671		3207
2672	static int	3208	static int
…		…
2695	{	3231	{
2696	av_push (av, SvREFCNT_inc (SvRV (coro_current)));	3232	av_push (av, SvREFCNT_inc (SvRV (coro_current)));
2697		3233
2698	frame->data = (void *)sv_2mortal (SvREFCNT_inc ((SV *)av));	3234	frame->data = (void *)sv_2mortal (SvREFCNT_inc ((SV *)av));
2699	frame->prepare = prepare_schedule;	3235	frame->prepare = prepare_schedule;
2700
2701	/* to avoid race conditions when a woken-up coro gets terminated */	3236	/* to avoid race conditions when a woken-up coro gets terminated */
2702	/* we arrange for a temporary on_destroy that calls adjust (0) */	3237	/* we arrange for a temporary on_destroy that calls adjust (0) */
2703	SvSTATE_current->on_destroy = coro_semaphore_on_destroy;	3238	frame->destroy = coro_semaphore_destroy;
2704	}	3239	}
2705	}	3240	}
2706		3241
2707	static void	3242	static void
2708	slf_init_semaphore_down (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	3243	slf_init_semaphore_down (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
…		…
2766	{	3301	{
2767	api_ready (aTHX_ cb);	3302	api_ready (aTHX_ cb);
2768	sv_setiv (cb, 0); /* signal waiter */	3303	sv_setiv (cb, 0); /* signal waiter */
2769	}	3304	}
2770		3305
2771	SvREFCNT_dec (cb);	3306	SvREFCNT_dec_NN (cb);
2772		3307
2773	--count;	3308	--count;
2774	}	3309	}
2775	}	3310	}
2776		3311
…		…
2790	{	3325	{
2791	SV *cb_cv = s_get_cv_croak (arg [1]);	3326	SV *cb_cv = s_get_cv_croak (arg [1]);
2792	av_push (av, SvREFCNT_inc_NN (cb_cv));	3327	av_push (av, SvREFCNT_inc_NN (cb_cv));
2793		3328
2794	if (SvIVX (AvARRAY (av)[0]))	3329	if (SvIVX (AvARRAY (av)[0]))
2795	coro_signal_wake (aTHX_ av, 1); /* ust be the only waiter */	3330	coro_signal_wake (aTHX_ av, 1); /* must be the only waiter */
2796		3331
2797	frame->prepare = prepare_nop;	3332	frame->prepare = prepare_nop;
2798	frame->check = slf_check_nop;	3333	frame->check = slf_check_nop;
2799	}	3334	}
2800	else if (SvIVX (AvARRAY (av)[0]))	3335	else if (SvIVX (AvARRAY (av)[0]))
…		…
2861	}	3396	}
2862		3397
2863	av_push (state, data_sv);	3398	av_push (state, data_sv);
2864		3399
2865	api_ready (aTHX_ coro);	3400	api_ready (aTHX_ coro);
2866	SvREFCNT_dec (coro);	3401	SvREFCNT_dec_NN (coro);
2867	SvREFCNT_dec ((AV *)state);	3402	SvREFCNT_dec_NN ((AV *)state);
2868	}	3403	}
2869		3404
2870	static int	3405	static int
2871	slf_check_aio_req (pTHX_ struct CoroSLF *frame)	3406	slf_check_aio_req (pTHX_ struct CoroSLF *frame)
2872	{	3407	{
…		…
2877	/* it quickly returns */	3412	/* it quickly returns */
2878	if (CORO_THROW)	3413	if (CORO_THROW)
2879	return 0;	3414	return 0;
2880		3415
2881	/* one element that is an RV? repeat! */	3416	/* one element that is an RV? repeat! */
2882	if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))	3417	if (AvFILLp (state) == 0 && SvTYPE (AvARRAY (state)[0]) != SVt_PV)
2883	return 1;	3418	return 1;
2884		3419
2885	/* restore status */	3420	/* restore status */
2886	{	3421	{
2887	SV *data_sv = av_pop (state);	3422	SV *data_sv = av_pop (state);
…		…
2890	errno = data->errorno;	3425	errno = data->errorno;
2891	PL_laststype = data->laststype;	3426	PL_laststype = data->laststype;
2892	PL_laststatval = data->laststatval;	3427	PL_laststatval = data->laststatval;
2893	PL_statcache = data->statcache;	3428	PL_statcache = data->statcache;
2894		3429
2895	SvREFCNT_dec (data_sv);	3430	SvREFCNT_dec_NN (data_sv);
2896	}	3431	}
2897		3432
2898	/* push result values */	3433	/* push result values */
2899	{	3434	{
2900	dSP;	3435	dSP;
…		…
2926	dSP;	3461	dSP;
2927		3462
2928	static SV *prio_cv;	3463	static SV *prio_cv;
2929	static SV *prio_sv;	3464	static SV *prio_sv;
2930		3465
2931	if (expect_false (!prio_cv))	3466	if (ecb_expect_false (!prio_cv))
2932	{	3467	{
2933	prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);	3468	prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);
2934	prio_sv = newSViv (0);	3469	prio_sv = newSViv (0);
2935	}	3470	}
2936		3471
…		…
2962	/* now call the AIO function - we assume our request is uncancelable */	3497	/* now call the AIO function - we assume our request is uncancelable */
2963	PUTBACK;	3498	PUTBACK;
2964	call_sv ((SV *)req, G_VOID | G_DISCARD);	3499	call_sv ((SV *)req, G_VOID | G_DISCARD);
2965	}	3500	}
2966		3501
2967	/* now that the requets is going, we loop toll we have a result */	3502	/* now that the request is going, we loop till we have a result */
2968	frame->data = (void *)state;	3503	frame->data = (void *)state;
2969	frame->prepare = prepare_schedule;	3504	frame->prepare = prepare_schedule;
2970	frame->check = slf_check_aio_req;	3505	frame->check = slf_check_aio_req;
2971	}	3506	}
2972		3507
…		…
3042	}	3577	}
3043		3578
3044	return coro_sv;	3579	return coro_sv;
3045	}	3580	}
3046		3581
		3582	#ifndef __cplusplus
		3583	ecb_cold XS(boot_Coro__State);
		3584	#endif
		3585
		3586	#if CORO_JIT
		3587
		3588	static void ecb_noinline ecb_cold
		3589	pushav_4uv (pTHX_ UV a, UV b, UV c, UV d)
		3590	{
		3591	dSP;
		3592	AV *av = newAV ();
		3593
		3594	av_store (av, 3, newSVuv (d));
		3595	av_store (av, 2, newSVuv (c));
		3596	av_store (av, 1, newSVuv (b));
		3597	av_store (av, 0, newSVuv (a));
		3598
		3599	XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
		3600
		3601	PUTBACK;
		3602	}
		3603
		3604	static void ecb_noinline ecb_cold
		3605	jit_init (pTHX)
		3606	{
		3607	dSP;
		3608	SV *load, *save;
		3609	char *map_base;
		3610	char *load_ptr, *save_ptr;
		3611	STRLEN load_len, save_len, map_len;
		3612	int count;
		3613
		3614	eval_pv ("require 'Coro/jit-" CORO_JIT_TYPE ".pl'", 1);
		3615
		3616	PUSHMARK (SP);
		3617	#define VARx(name,expr,type) pushav_4uv (aTHX_ (UV)&(expr), sizeof (expr), offsetof (perl_slots, name), sizeof (type));
		3618	#include "state.h"
		3619	count = call_pv ("Coro::State::_jit", G_ARRAY);
		3620	SPAGAIN;
		3621
		3622	save = POPs; save_ptr = SvPVbyte (save, save_len);
		3623	load = POPs; load_ptr = SvPVbyte (load, load_len);
		3624
		3625	map_len = load_len + save_len + 16;
		3626
		3627	map_base = mmap (0, map_len, PROT_READ | PROT_WRITE | PROT_EXEC, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
		3628
		3629	if (map_base == (char *)MAP_FAILED)
		3630	map_base = mmap (0, map_len, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
		3631
		3632	assert (("Coro: unable to mmap jit code page, cannot continue.", map_base != (char *)MAP_FAILED));
		3633
		3634	load_perl_slots = (load_save_perl_slots_type)map_base;
		3635	memcpy (map_base, load_ptr, load_len);
		3636
		3637	map_base += (load_len + 15) & ~15;
		3638
		3639	save_perl_slots = (load_save_perl_slots_type)map_base;
		3640	memcpy (map_base, save_ptr, save_len);
		3641
		3642	/* we are good citizens and try to make the page read-only, so the evil evil */
		3643	/* hackers might have it a bit more difficult */
		3644	mprotect (map_base, map_len, PROT_READ | PROT_EXEC);
		3645
		3646	PUTBACK;
		3647	eval_pv ("undef &Coro::State::_jit", 1);
		3648	}
		3649
		3650	#endif
		3651
3047	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3652	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
3048		3653
3049	PROTOTYPES: DISABLE	3654	PROTOTYPES: DISABLE
3050		3655
3051	BOOT:	3656	BOOT:
3052	{	3657	{
		3658	#define VARx(name,expr,type) if (sizeof (type) < sizeof (expr)) croak ("FATAL: Coro thread context slot '" # name "' too small for this version of perl.");
		3659	#include "state.h"
3053	#ifdef USE_ITHREADS	3660	#ifdef USE_ITHREADS
3054	# if CORO_PTHREAD	3661	# if CORO_PTHREAD
3055	coro_thx = PERL_GET_CONTEXT;	3662	coro_thx = PERL_GET_CONTEXT;
3056	# endif	3663	# endif
3057	#endif	3664	#endif
3058	BOOT_PAGESIZE;	3665	/* perl defines these to check for existance first, but why it doesn't */
		3666	/* just create them one at init time is not clear to me, except for */
		3667	/* programs trying to delete them, but... */
		3668	/* anyway, we declare this as invalid and make sure they are initialised here */
		3669	DEFSV;
		3670	ERRSV;
3059		3671
3060	cctx_current = cctx_new_empty ();	3672	cctx_current = cctx_new_empty ();
3061		3673
3062	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);	3674	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
3063	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);	3675	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
3064		3676
3065	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;	3677	{
3066	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;	3678	/*
3067	orig_sigelem_clr = PL_vtbl_sigelem.svt_clear; PL_vtbl_sigelem.svt_clear = coro_sigelem_clr;	3679	* we provide a vtbvl for %SIG magic that replaces PL_vtbl_sig
		3680	* by coro_sig_vtbl in hash values.
		3681	*/
		3682	MAGIC *mg = mg_find ((SV *)GvHV (gv_fetchpv ("SIG", GV_ADD | GV_NOTQUAL, SVt_PVHV)), PERL_MAGIC_sig);
		3683
		3684	/* this only works if perl doesn't have a vtbl for %SIG */
		3685	assert (!mg->mg_virtual);
		3686
		3687	/*
		3688	* The irony is that the perl API itself asserts that mg_virtual
		3689	* must be non-const, yet perl5porters insisted on marking their
		3690	* vtbls as read-only, just to thwart perl modules from patching
		3691	* them.
		3692	*/
		3693	mg->mg_virtual = (MGVTBL *)&coro_sig_vtbl;
		3694	mg->mg_flags |= MGf_COPY;
		3695
		3696	coro_sigelem_vtbl = PL_vtbl_sigelem;
		3697	coro_sigelem_vtbl.svt_get = coro_sigelem_get;
		3698	coro_sigelem_vtbl.svt_set = coro_sigelem_set;
		3699	coro_sigelem_vtbl.svt_clear = coro_sigelem_clr;
		3700	}
3068		3701
3069	hv_sig = coro_get_hv (aTHX_ "SIG", TRUE);
3070	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));	3702	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));
3071	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));	3703	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));
3072		3704
3073	coro_state_stash = gv_stashpv ("Coro::State", TRUE);	3705	coro_state_stash = gv_stashpv ("Coro::State", TRUE);
		3706
		3707	newCONSTSUB (coro_state_stash, "BACKEND", newSVpv (CORO_BACKEND, 0)); /* undocumented */
3074		3708
3075	newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));	3709	newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));
3076	newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));	3710	newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));
3077	newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));	3711	newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));
3078	newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));	3712	newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));
…		…
3103	coroapi.prepare_nop = prepare_nop;	3737	coroapi.prepare_nop = prepare_nop;
3104	coroapi.prepare_schedule = prepare_schedule;	3738	coroapi.prepare_schedule = prepare_schedule;
3105	coroapi.prepare_cede = prepare_cede;	3739	coroapi.prepare_cede = prepare_cede;
3106	coroapi.prepare_cede_notself = prepare_cede_notself;	3740	coroapi.prepare_cede_notself = prepare_cede_notself;
3107		3741
3108	{	3742	time_init (aTHX);
3109	SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
3110
3111	if (!svp) croak ("Time::HiRes is required");
3112	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
3113
3114	nvtime = INT2PTR (double (*)(), SvIV (*svp));
3115
3116	svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0);
3117	u2time = INT2PTR (void (*)(pTHX_ UV ret[2]), SvIV (*svp));
3118	}
3119		3743
3120	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));	3744	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
		3745	#if CORO_JIT
		3746	PUTBACK;
		3747	jit_init (aTHX);
		3748	SPAGAIN;
		3749	#endif
3121	}	3750	}
3122		3751
3123	SV *	3752	SV *
3124	new (SV *klass, ...)	3753	new (SV *klass, ...)
3125	ALIAS:	3754	ALIAS:
…		…
3132	void	3761	void
3133	transfer (...)	3762	transfer (...)
3134	PROTOTYPE: $$	3763	PROTOTYPE: $$
3135	CODE:	3764	CODE:
3136	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3765	CORO_EXECUTE_SLF_XS (slf_init_transfer);
3137
3138	bool
3139	_destroy (SV *coro_sv)
3140	CODE:
3141	RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
3142	OUTPUT:
3143	RETVAL
3144
3145	void
3146	_exit (int code)
3147	PROTOTYPE: $
3148	CODE:
3149	_exit (code);
3150		3766
3151	SV *	3767	SV *
3152	clone (Coro::State coro)	3768	clone (Coro::State coro)
3153	CODE:	3769	CODE:
3154	{	3770	{
…		…
3209	void	3825	void
3210	list ()	3826	list ()
3211	PROTOTYPE:	3827	PROTOTYPE:
3212	PPCODE:	3828	PPCODE:
3213	{	3829	{
3214	struct coro *coro;	3830	struct coro *coro;
3215	for (coro = coro_first; coro; coro = coro->next)	3831	for (coro = coro_first; coro; coro = coro->next)
3216	if (coro->hv)	3832	if (coro->hv)
3217	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));	3833	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
3218	}	3834	}
3219		3835
…		…
3221	call (Coro::State coro, SV *coderef)	3837	call (Coro::State coro, SV *coderef)
3222	ALIAS:	3838	ALIAS:
3223	eval = 1	3839	eval = 1
3224	CODE:	3840	CODE:
3225	{	3841	{
		3842	struct coro *current = SvSTATE_current;
		3843
3226	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))	3844	if ((coro == current) || (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot)))
3227	{	3845	{
3228	struct coro *current = SvSTATE_current;	3846	struct CoroSLF slf_save;
3229		3847
3230	if (current != coro)	3848	if (current != coro)
3231	{	3849	{
3232	PUTBACK;	3850	PUTBACK;
3233	save_perl (aTHX_ current);	3851	save_perl (aTHX_ current);
3234	load_perl (aTHX_ coro);	3852	load_perl (aTHX_ coro);
		3853	/* the coro is most likely in an active SLF call.
		3854	* while not strictly required (the code we execute is
		3855	* not allowed to call any SLF functions), it's cleaner
		3856	* to reinitialise the slf_frame and restore it later.
		3857	* This might one day allow us to actually do SLF calls
		3858	* from code executed here.
		3859	*/
		3860	slf_save = slf_frame;
		3861	slf_frame.prepare = 0;
3235	SPAGAIN;	3862	SPAGAIN;
3236	}	3863	}
3237		3864
3238	PUSHSTACK;	3865	PUSHSTACK;
3239		3866
…		…
3249	SPAGAIN;	3876	SPAGAIN;
3250		3877
3251	if (current != coro)	3878	if (current != coro)
3252	{	3879	{
3253	PUTBACK;	3880	PUTBACK;
		3881	slf_frame = slf_save;
3254	save_perl (aTHX_ coro);	3882	save_perl (aTHX_ coro);
3255	load_perl (aTHX_ current);	3883	load_perl (aTHX_ current);
3256	SPAGAIN;	3884	SPAGAIN;
3257	}	3885	}
3258	}	3886	}
…		…
3263	PROTOTYPE: $	3891	PROTOTYPE: $
3264	ALIAS:	3892	ALIAS:
3265	is_ready = CF_READY	3893	is_ready = CF_READY
3266	is_running = CF_RUNNING	3894	is_running = CF_RUNNING
3267	is_new = CF_NEW	3895	is_new = CF_NEW
3268	is_destroyed = CF_DESTROYED	3896	is_destroyed = CF_ZOMBIE
		3897	is_zombie = CF_ZOMBIE
3269	is_suspended = CF_SUSPENDED	3898	is_suspended = CF_SUSPENDED
3270	CODE:	3899	CODE:
3271	RETVAL = boolSV (coro->flags & ix);	3900	RETVAL = boolSV (coro->flags & ix);
3272	OUTPUT:	3901	OUTPUT:
3273	RETVAL	3902	RETVAL
3274		3903
3275	void	3904	void
3276	throw (Coro::State self, SV *throw = &PL_sv_undef)	3905	throw (SV *self, SV *exception = &PL_sv_undef)
3277	PROTOTYPE: $;$	3906	PROTOTYPE: $;$
3278	CODE:	3907	CODE:
3279	{	3908	{
		3909	struct coro *coro = SvSTATE (self);
3280	struct coro *current = SvSTATE_current;	3910	struct coro *current = SvSTATE_current;
3281	SV **throwp = self == current ? &CORO_THROW : &self->except;	3911	SV **exceptionp = coro == current ? &CORO_THROW : &coro->except;
3282	SvREFCNT_dec (*throwp);	3912	SvREFCNT_dec (*exceptionp);
3283	SvGETMAGIC (throw);	3913	SvGETMAGIC (exception);
3284	*throwp = SvOK (throw) ? newSVsv (throw) : 0;	3914	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
		3915
		3916	api_ready (aTHX_ self);
3285	}	3917	}
3286		3918
3287	void	3919	void
3288	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3920	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3289	PROTOTYPE: $;$	3921	PROTOTYPE: $;$
…		…
3344		3976
3345	void	3977	void
3346	cancel (Coro::State self)	3978	cancel (Coro::State self)
3347	CODE:	3979	CODE:
3348	coro_state_destroy (aTHX_ self);	3980	coro_state_destroy (aTHX_ self);
3349	coro_call_on_destroy (aTHX_ self); /* actually only for Coro objects */
3350
3351		3981
3352	SV *	3982	SV *
3353	enable_times (int enabled = enable_times)	3983	enable_times (int enabled = enable_times)
3354	CODE:	3984	CODE:
3355	{	3985	{
…		…
3368		3998
3369	void	3999	void
3370	times (Coro::State self)	4000	times (Coro::State self)
3371	PPCODE:	4001	PPCODE:
3372	{	4002	{
3373	struct coro *current = SvSTATE (coro_current);	4003	struct coro *current = SvSTATE (coro_current);
3374		4004
3375	if (expect_false (current == self))	4005	if (ecb_expect_false (current == self))
3376	{	4006	{
3377	coro_times_update ();	4007	coro_times_update ();
3378	coro_times_add (SvSTATE (coro_current));	4008	coro_times_add (SvSTATE (coro_current));
3379	}	4009	}
3380		4010
3381	EXTEND (SP, 2);	4011	EXTEND (SP, 2);
3382	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));	4012	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
3383	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));	4013	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
3384		4014
3385	if (expect_false (current == self))	4015	if (ecb_expect_false (current == self))
3386	coro_times_sub (SvSTATE (coro_current));	4016	coro_times_sub (SvSTATE (coro_current));
3387	}	4017	}
3388		4018
3389	void	4019	void
3390	swap_sv (Coro::State coro, SV *sv, SV *swapsv)	4020	swap_sv (Coro::State coro, SV *sva, SV *svb)
3391	CODE:	4021	CODE:
3392	{	4022	{
3393	struct coro *current = SvSTATE_current;	4023	struct coro *current = SvSTATE_current;
		4024	AV *swap_sv;
		4025	int i;
		4026
		4027	sva = SvRV (sva);
		4028	svb = SvRV (svb);
3394		4029
3395	if (current == coro)	4030	if (current == coro)
3396	SWAP_SVS (current);	4031	SWAP_SVS_LEAVE (current);
3397		4032
3398	if (!coro->swap_sv)	4033	if (!coro->swap_sv)
3399	coro->swap_sv = newAV ();	4034	coro->swap_sv = newAV ();
3400		4035
		4036	swap_sv = coro->swap_sv;
		4037
		4038	for (i = AvFILLp (swap_sv) - 1; i >= 0; i -= 2)
		4039	{
		4040	SV *a = AvARRAY (swap_sv)[i ];
		4041	SV *b = AvARRAY (swap_sv)[i + 1];
		4042
		4043	if (a == sva && b == svb)
		4044	{
		4045	SvREFCNT_dec_NN (a);
		4046	SvREFCNT_dec_NN (b);
		4047
		4048	for (; i <= AvFILLp (swap_sv) - 2; i++)
		4049	AvARRAY (swap_sv)[i] = AvARRAY (swap_sv)[i + 2];
		4050
		4051	AvFILLp (swap_sv) -= 2;
		4052
		4053	goto removed;
		4054	}
		4055	}
		4056
3401	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));	4057	av_push (swap_sv, SvREFCNT_inc_NN (sva));
3402	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));	4058	av_push (swap_sv, SvREFCNT_inc_NN (svb));
		4059
		4060	removed:
3403		4061
3404	if (current == coro)	4062	if (current == coro)
3405	SWAP_SVS (current);	4063	SWAP_SVS_ENTER (current);
3406	}	4064	}
3407		4065
3408		4066
3409	MODULE = Coro::State PACKAGE = Coro	4067	MODULE = Coro::State PACKAGE = Coro
3410		4068
3411	BOOT:	4069	BOOT:
3412	{	4070	{
		4071	if (SVt_LAST > 32)
		4072	croak ("Coro internal error: SVt_LAST > 32, swap_sv might need adjustment");
		4073
3413	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	4074	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3414	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	4075	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3415	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	4076	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3416	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3417	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	4077	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
3418	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);	4078	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
3419	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);	4079	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);
3420	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);	4080	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);
3421	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);	4081	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3422		4082
3423	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	4083	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3424	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	4084	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3425	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	4085	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3426	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */	4086	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3427		4087
3428	coro_stash = gv_stashpv ("Coro", TRUE);	4088	coro_stash = gv_stashpv ("Coro", TRUE);
3429		4089
3430	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));	4090	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3431	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));	4091	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3432	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));	4092	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
…		…
3444	coroapi.ready = api_ready;	4104	coroapi.ready = api_ready;
3445	coroapi.is_ready = api_is_ready;	4105	coroapi.is_ready = api_is_ready;
3446	coroapi.nready = coro_nready;	4106	coroapi.nready = coro_nready;
3447	coroapi.current = coro_current;	4107	coroapi.current = coro_current;
3448		4108
		4109	coroapi.enterleave_hook = api_enterleave_hook;
		4110	coroapi.enterleave_unhook = api_enterleave_unhook;
		4111	coroapi.enterleave_scope_hook = api_enterleave_scope_hook;
		4112
3449	/*GCoroAPI = &coroapi;*/	4113	/*GCoroAPI = &coroapi;*/
3450	sv_setiv (sv, (IV)&coroapi);	4114	sv_setiv (sv, PTR2IV (&coroapi));
3451	SvREADONLY_on (sv);	4115	SvREADONLY_on (sv);
3452	}	4116	}
3453	}	4117	}
3454		4118
3455	SV *	4119	SV *
…		…
3460	api_ready (aTHX_ RETVAL);	4124	api_ready (aTHX_ RETVAL);
3461	OUTPUT:	4125	OUTPUT:
3462	RETVAL	4126	RETVAL
3463		4127
3464	void	4128	void
		4129	_destroy (Coro::State coro)
		4130	CODE:
		4131	/* used by the manager thread */
		4132	coro_state_destroy (aTHX_ coro);
		4133
		4134	void
		4135	on_destroy (Coro::State coro, SV *cb)
		4136	CODE:
		4137	coro_push_on_destroy (aTHX_ coro, newSVsv (cb));
		4138
		4139	void
		4140	join (...)
		4141	CODE:
		4142	CORO_EXECUTE_SLF_XS (slf_init_join);
		4143
		4144	void
3465	terminate (...)	4145	terminate (...)
3466	CODE:	4146	CODE:
3467	CORO_EXECUTE_SLF_XS (slf_init_terminate);	4147	CORO_EXECUTE_SLF_XS (slf_init_terminate);
		4148
		4149	void
		4150	cancel (...)
		4151	CODE:
		4152	CORO_EXECUTE_SLF_XS (slf_init_cancel);
		4153
		4154	int
		4155	safe_cancel (Coro::State self, ...)
		4156	C_ARGS: aTHX_ self, &ST (1), items - 1
3468		4157
3469	void	4158	void
3470	schedule (...)	4159	schedule (...)
3471	CODE:	4160	CODE:
3472	CORO_EXECUTE_SLF_XS (slf_init_schedule);	4161	CORO_EXECUTE_SLF_XS (slf_init_schedule);
…		…
3493		4182
3494	void	4183	void
3495	_set_current (SV *current)	4184	_set_current (SV *current)
3496	PROTOTYPE: $	4185	PROTOTYPE: $
3497	CODE:	4186	CODE:
3498	SvREFCNT_dec (SvRV (coro_current));	4187	SvREFCNT_dec_NN (SvRV (coro_current));
3499	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));	4188	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
3500		4189
3501	void	4190	void
3502	_set_readyhook (SV *hook)	4191	_set_readyhook (SV *hook)
3503	PROTOTYPE: $	4192	PROTOTYPE: $
…		…
3587		4276
3588	if ((SV *)hv == &PL_sv_undef)	4277	if ((SV *)hv == &PL_sv_undef)
3589	{	4278	{
3590	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);	4279	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3591	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));	4280	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
3592	SvREFCNT_dec (sv);	4281	SvREFCNT_dec_NN (sv);
3593	}	4282	}
3594		4283
3595	{	4284	{
3596	struct coro *coro = SvSTATE_hv (hv);	4285	struct coro *coro = SvSTATE_hv (hv);
3597		4286
…		…
3604	api_ready (aTHX_ (SV *)hv);	4293	api_ready (aTHX_ (SV *)hv);
3605		4294
3606	if (GIMME_V != G_VOID)	4295	if (GIMME_V != G_VOID)
3607	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));	4296	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
3608	else	4297	else
3609	SvREFCNT_dec (hv);	4298	SvREFCNT_dec_NN (hv);
3610	}	4299	}
3611		4300
3612	SV *	4301	SV *
3613	rouse_cb ()	4302	rouse_cb ()
3614	PROTOTYPE:	4303	PROTOTYPE:
…		…
3629	on_leave = 1	4318	on_leave = 1
3630	PROTOTYPE: &	4319	PROTOTYPE: &
3631	CODE:	4320	CODE:
3632	{	4321	{
3633	struct coro *coro = SvSTATE_current;	4322	struct coro *coro = SvSTATE_current;
3634	AV **avp = ix ? &coro->on_leave : &coro->on_enter;	4323	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
3635		4324
3636	block = s_get_cv_croak (block);	4325	block = s_get_cv_croak (block);
3637		4326
3638	if (!*avp)	4327	if (!*avp)
3639	*avp = newAV ();	4328	*avp = newAV ();
…		…
3659		4348
3660	SV *	4349	SV *
3661	new (SV *klass, SV *count = 0)	4350	new (SV *klass, SV *count = 0)
3662	CODE:	4351	CODE:
3663	{	4352	{
3664	int semcnt = 1;	4353	int semcnt = 1;
3665		4354
3666	if (count)	4355	if (count)
3667	{	4356	{
3668	SvGETMAGIC (count);	4357	SvGETMAGIC (count);
3669		4358
…		…
3693	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);	4382	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);
3694	OUTPUT:	4383	OUTPUT:
3695	RETVAL	4384	RETVAL
3696		4385
3697	void	4386	void
3698	up (SV *self, int adjust = 1)	4387	up (SV *self)
3699	ALIAS:
3700	adjust = 1
3701	CODE:	4388	CODE:
		4389	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), 1);
		4390
		4391	void
		4392	adjust (SV *self, int adjust)
		4393	CODE:
3702	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);	4394	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), adjust);
3703		4395
3704	void	4396	void
3705	down (...)	4397	down (...)
3706	CODE:	4398	CODE:
3707	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);	4399	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
…		…
3729	XSRETURN_NO;	4421	XSRETURN_NO;
3730	}	4422	}
3731		4423
3732	void	4424	void
3733	waiters (SV *self)	4425	waiters (SV *self)
3734	PPCODE:	4426	PPCODE:
3735	{	4427	{
3736	AV *av = (AV *)SvRV (self);	4428	AV *av = (AV *)SvRV (self);
3737	int wcount = AvFILLp (av) + 1 - 1;	4429	int wcount = AvFILLp (av) + 1 - 1;
3738		4430
3739	if (GIMME_V == G_SCALAR)	4431	if (GIMME_V == G_SCALAR)
…		…
3748	}	4440	}
3749		4441
3750	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet	4442	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
3751		4443
3752	void	4444	void
3753	_may_delete (SV *sem, int count, int extra_refs)	4445	_may_delete (SV *sem, int count, unsigned int extra_refs)
3754	PPCODE:	4446	PPCODE:
3755	{	4447	{
3756	AV *av = (AV *)SvRV (sem);	4448	AV *av = (AV *)SvRV (sem);
3757		4449
3758	if (SvREFCNT ((SV *)av) == 1 + extra_refs	4450	if (SvREFCNT ((SV *)av) == 1 + extra_refs
3759	&& AvFILLp (av) == 0 /* no waiters, just count */	4451	&& AvFILLp (av) == 0 /* no waiters, just count */
3760	&& SvIV (AvARRAY (av)[0]) == count)	4452	&& SvIV (AvARRAY (av)[0]) == count)
3761	XSRETURN_YES;	4453	XSRETURN_YES;
…		…
3782		4474
3783	void	4475	void
3784	broadcast (SV *self)	4476	broadcast (SV *self)
3785	CODE:	4477	CODE:
3786	{	4478	{
3787	AV *av = (AV *)SvRV (self);	4479	AV *av = (AV *)SvRV (self);
3788	coro_signal_wake (aTHX_ av, AvFILLp (av));	4480	coro_signal_wake (aTHX_ av, AvFILLp (av));
3789	}	4481	}
3790		4482
3791	void	4483	void
3792	send (SV *self)	4484	send (SV *self)
…		…
3800	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */	4492	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */
3801	}	4493	}
3802		4494
3803	IV	4495	IV
3804	awaited (SV *self)	4496	awaited (SV *self)
3805	CODE:	4497	CODE:
3806	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;	4498	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;
3807	OUTPUT:	4499	OUTPUT:
3808	RETVAL	4500	RETVAL
3809		4501
3810		4502
…		…
3815		4507
3816	void	4508	void
3817	_schedule (...)	4509	_schedule (...)
3818	CODE:	4510	CODE:
3819	{	4511	{
3820	static int incede;	4512	static int incede;
3821		4513
3822	api_cede_notself (aTHX);	4514	api_cede_notself (aTHX);
3823		4515
3824	++incede;	4516	++incede;
3825	while (coro_nready >= incede && api_cede (aTHX))	4517	while (coro_nready >= incede && api_cede (aTHX))
…		…
3869	{	4561	{
3870	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;	4562	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
3871	coro_old_pp_sselect = 0;	4563	coro_old_pp_sselect = 0;
3872	}	4564	}
3873		4565
		4566	MODULE = Coro::State PACKAGE = Coro::Util
3874		4567
		4568	void
		4569	_exit (int code)
		4570	CODE:
		4571	_exit (code);
		4572
		4573	NV
		4574	time ()
		4575	CODE:
		4576	RETVAL = nvtime (aTHX);
		4577	OUTPUT:
		4578	RETVAL
		4579
		4580	NV
		4581	gettimeofday ()
		4582	PPCODE:
		4583	{
		4584	UV tv [2];
		4585	u2time (aTHX_ tv);
		4586	EXTEND (SP, 2);
		4587	PUSHs (sv_2mortal (newSVuv (tv [0])));
		4588	PUSHs (sv_2mortal (newSVuv (tv [1])));
		4589	}
		4590

Diff Legend

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