ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.402 by root, Sun May 22 13:07:23 2011 UTC vs.
Revision 1.465 by root, Sat Jun 25 19:04:04 2016 UTC

1	/* this works around a bug in mingw32 providing a non-working setjmp */	1	/* this works around a bug in mingw32 providing a non-working setjmp */
2	#define USE_NO_MINGW_SETJMP_TWO_ARGS	2	#define USE_NO_MINGW_SETJMP_TWO_ARGS
3		3
4	#define NDEBUG 1	4	#define NDEBUG 1 /* perl usually disables NDEBUG later */
5		5
6	#include "libcoro/coro.c"	6	#include "libcoro/coro.c"
7		7
8	#define PERL_NO_GET_CONTEXT	8	#define PERL_NO_GET_CONTEXT
9	#define PERL_EXT	9	#define PERL_EXT
…		…
13	#include "XSUB.h"	13	#include "XSUB.h"
14	#include "perliol.h"	14	#include "perliol.h"
15		15
16	#include "schmorp.h"	16	#include "schmorp.h"
17		17
		18	#define ECB_NO_THREADS 1
		19	#define ECB_NO_LIBM 1
		20	#include "ecb.h"
		21
		22	#include <stddef.h>
18	#include <stdio.h>	23	#include <stdio.h>
19	#include <errno.h>	24	#include <errno.h>
20	#include <assert.h>	25	#include <assert.h>
21		26
		27	#ifndef SvREFCNT_dec_NN
		28	#define SvREFCNT_dec_NN(sv) SvREFCNT_dec (sv)
		29	#endif
		30
		31	#ifndef SvREFCNT_inc_NN
		32	#define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
		33	#endif
		34
22	#ifndef SVs_PADSTALE	35	#ifndef SVs_PADSTALE
23	# define SVs_PADSTALE 0	36	# define SVs_PADSTALE 0
		37	#endif
		38
		39	#ifdef PadARRAY
		40	# define NEWPADAPI 1
		41	# define newPADLIST(var) (Newz (0, var, 1, PADLIST), Newx (PadlistARRAY (var), 2, PAD *))
		42	#else
		43	typedef AV PADNAMELIST;
		44	# if !PERL_VERSION_ATLEAST(5,8,0)
		45	typedef AV PADLIST;
		46	typedef AV PAD;
		47	# endif
		48	# define PadlistARRAY(pl) ((PAD **)AvARRAY (pl))
		49	# define PadlistMAX(pl) AvFILLp (pl)
		50	# define PadlistNAMES(pl) (*PadlistARRAY (pl))
		51	# define PadARRAY AvARRAY
		52	# define PadMAX AvFILLp
		53	# define newPADLIST(var) ((var) = newAV (), av_extend (var, 1))
		54	#endif
		55	#ifndef PadnamelistREFCNT
		56	# define PadnamelistREFCNT(pnl) SvREFCNT (pnl)
		57	#endif
		58	#ifndef PadnamelistREFCNT_dec
		59	# define PadnamelistREFCNT_dec(pnl) SvREFCNT_dec (pnl)
		60	#endif
		61
		62	/* 5.19.something has replaced SVt_BIND by SVt_INVLIST */
		63	/* we just alias it to SVt_IV, as that is sufficient for swap_sv for now */
		64	#if PERL_VERSION_ATLEAST(5,19,0)
		65	# define SVt_BIND SVt_IV
24	#endif	66	#endif
25		67
26	#if defined(_WIN32)	68	#if defined(_WIN32)
27	# undef HAS_GETTIMEOFDAY	69	# undef HAS_GETTIMEOFDAY
28	# undef setjmp	70	# undef setjmp
…		…
31	# define setjmp _setjmp /* deep magic */	73	# define setjmp _setjmp /* deep magic */
32	#else	74	#else
33	# include <inttypes.h> /* most portable stdint.h */	75	# include <inttypes.h> /* most portable stdint.h */
34	#endif	76	#endif
35		77
36	#ifdef HAVE_MMAP
37	# include <unistd.h>
38	# include <sys/mman.h>
39	# ifndef MAP_ANONYMOUS
40	# ifdef MAP_ANON
41	# define MAP_ANONYMOUS MAP_ANON
42	# else
43	# undef HAVE_MMAP
44	# endif
45	# endif
46	# include <limits.h>
47	# ifndef PAGESIZE
48	# define PAGESIZE pagesize
49	# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE)
50	static long pagesize;
51	# else
52	# define BOOT_PAGESIZE (void)0
53	# endif
54	#else
55	# define PAGESIZE 0
56	# define BOOT_PAGESIZE (void)0
57	#endif
58
59	#if CORO_USE_VALGRIND
60	# include <valgrind/valgrind.h>
61	#endif
62
63	/* the maximum number of idle cctx that will be pooled */	78	/* the maximum number of idle cctx that will be pooled */
64	static int cctx_max_idle = 4;	79	static int cctx_max_idle = 4;
65		80
66	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64	81	#if defined(DEBUGGING) && PERL_VERSION_ATLEAST(5,12,0)
67	# undef CORO_STACKGUARD	82	# define HAS_SCOPESTACK_NAME 1
68	#endif
69
70	#ifndef CORO_STACKGUARD
71	# define CORO_STACKGUARD 0
72	#endif	83	#endif
73		84
74	/* prefer perl internal functions over our own? */	85	/* prefer perl internal functions over our own? */
75	#ifndef CORO_PREFER_PERL_FUNCTIONS	86	#ifndef CORO_PREFER_PERL_FUNCTIONS
76	# define CORO_PREFER_PERL_FUNCTIONS 0	87	# define CORO_PREFER_PERL_FUNCTIONS 0
…		…
86	# define STACKLEVEL ((void *)&stacklevel)	97	# define STACKLEVEL ((void *)&stacklevel)
87	#endif	98	#endif
88		99
89	#define IN_DESTRUCT PL_dirty	100	#define IN_DESTRUCT PL_dirty
90		101
91	#if __GNUC__ >= 3
92	# define attribute(x) __attribute__(x)
93	# define expect(expr,value) __builtin_expect ((expr), (value))
94	# define INLINE static inline
95	#else
96	# define attribute(x)
97	# define expect(expr,value) (expr)
98	# define INLINE static
99	#endif
100
101	#define expect_false(expr) expect ((expr) != 0, 0)
102	#define expect_true(expr) expect ((expr) != 0, 1)
103
104	#define NOINLINE attribute ((noinline))
105
106	#include "CoroAPI.h"	102	#include "CoroAPI.h"
107	#define GCoroAPI (&coroapi) /* very sneaky */	103	#define GCoroAPI (&coroapi) /* very sneaky */
108		104
109	#ifdef USE_ITHREADS	105	#ifdef USE_ITHREADS
110	# if CORO_PTHREAD	106	# if CORO_PTHREAD
…		…
120	# define CORO_CLOCK_MONOTONIC 1	116	# define CORO_CLOCK_MONOTONIC 1
121	# define CORO_CLOCK_THREAD_CPUTIME_ID 3	117	# define CORO_CLOCK_THREAD_CPUTIME_ID 3
122	# endif	118	# endif
123	#endif	119	#endif
124		120
		121	/* perl usually suppressed asserts. for debugging, we sometimes force it to be on */
		122	#if 0
		123	# undef NDEBUG
		124	# include <assert.h>
		125	#endif
		126
125	static double (*nvtime)(); /* so why doesn't it take void? */	127	static double (*nvtime)(); /* so why doesn't it take void? */
126	static void (*u2time)(pTHX_ UV ret[2]);	128	static void (*u2time)(pTHX_ UV ret[2]);
127		129
128	/* we hijack an hopefully unused CV flag for our purposes */	130	/* we hijack an hopefully unused CV flag for our purposes */
129	#define CVf_SLF 0x4000	131	#define CVf_SLF 0x4000
…		…
144		146
145	static GV *irsgv; /* $/ */	147	static GV *irsgv; /* $/ */
146	static GV *stdoutgv; /* *STDOUT */	148	static GV *stdoutgv; /* *STDOUT */
147	static SV *rv_diehook;	149	static SV *rv_diehook;
148	static SV *rv_warnhook;	150	static SV *rv_warnhook;
149	static HV *hv_sig; /* %SIG */
150		151
151	/* async_pool helper stuff */	152	/* async_pool helper stuff */
152	static SV *sv_pool_rss;	153	static SV *sv_pool_rss;
153	static SV *sv_pool_size;	154	static SV *sv_pool_size;
154	static SV *sv_async_pool_idle; /* description string */	155	static SV *sv_async_pool_idle; /* description string */
…		…
182	typedef struct coro_cctx	183	typedef struct coro_cctx
183	{	184	{
184	struct coro_cctx *next;	185	struct coro_cctx *next;
185		186
186	/* the stack */	187	/* the stack */
187	void *sptr;	188	struct coro_stack stack;
188	size_t ssize;
189		189
190	/* cpu state */	190	/* cpu state */
191	void *idle_sp; /* sp of top-level transfer/schedule/cede call */	191	void *idle_sp; /* sp of top-level transfer/schedule/cede call */
		192	#ifndef NDEBUG
192	JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */	193	JMPENV *idle_te; /* same as idle_sp, but for top_env */
		194	#endif
193	JMPENV *top_env;	195	JMPENV *top_env;
194	coro_context cctx;	196	coro_context cctx;
195		197
196	U32 gen;	198	U32 gen;
197	#if CORO_USE_VALGRIND	199	#if CORO_USE_VALGRIND
…		…
217	};	219	};
218		220
219	/* the structure where most of the perl state is stored, overlaid on the cxstack */	221	/* the structure where most of the perl state is stored, overlaid on the cxstack */
220	typedef struct	222	typedef struct
221	{	223	{
222	SV *defsv;
223	AV *defav;
224	SV *errsv;
225	SV *irsgv;
226	HV *hinthv;
227	#define VAR(name,type) type name;	224	#define VARx(name,expr,type) type name;
228	# include "state.h"	225	#include "state.h"
229	#undef VAR
230	} perl_slots;	226	} perl_slots;
231		227
232	// how many context stack entries do we need for perl_slots	228	/* how many context stack entries do we need for perl_slots */
233	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))	229	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))
234		230
235	/* this is a structure representing a perl-level coroutine */	231	/* this is a structure representing a perl-level coroutine */
236	struct coro	232	struct coro
237	{	233	{
…		…
265	SV *saved_deffh;	261	SV *saved_deffh;
266	SV *invoke_cb;	262	SV *invoke_cb;
267	AV *invoke_av;	263	AV *invoke_av;
268		264
269	/* on_enter/on_leave */	265	/* on_enter/on_leave */
270	AV *on_enter;	266	AV *on_enter; AV *on_enter_xs;
271	AV *on_leave;	267	AV *on_leave; AV *on_leave_xs;
272		268
273	/* swap_sv */	269	/* swap_sv */
274	AV *swap_sv;	270	AV *swap_sv;
275		271
276	/* times */	272	/* times */
…		…
303	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */	299	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */
304	static CV *cv_coro_run;	300	static CV *cv_coro_run;
305	static struct coro *coro_first;	301	static struct coro *coro_first;
306	#define coro_nready coroapi.nready	302	#define coro_nready coroapi.nready
307		303
		304	/** JIT *********************************************************************/
		305
		306	#if CORO_JIT
		307	/* APPLE doesn't have mmap though */
		308	#define CORO_JIT_UNIXY (__linux || __FreeBSD__ || __OpenBSD__ || __NetBSD__ || __solaris || __APPLE__)
		309	#ifndef CORO_JIT_TYPE
		310	#if ECB_AMD64 && CORO_JIT_UNIXY
		311	#define CORO_JIT_TYPE "amd64-unix"
		312	#elif __i386 && CORO_JIT_UNIXY
		313	#define CORO_JIT_TYPE "x86-unix"
		314	#endif
		315	#endif
		316	#endif
		317
		318	#if !defined(CORO_JIT_TYPE) || _POSIX_MEMORY_PROTECTION <= 0
		319	#undef CORO_JIT
		320	#endif
		321
		322	#if CORO_JIT
		323	typedef void (*load_save_perl_slots_type)(perl_slots *);
		324	static load_save_perl_slots_type load_perl_slots, save_perl_slots;
		325	#endif
		326
308	/** Coro::Select ************************************************************/	327	/** Coro::Select ************************************************************/
309		328
310	static OP *(*coro_old_pp_sselect) (pTHX);	329	static OP *(*coro_old_pp_sselect) (pTHX);
311	static SV *coro_select_select;	330	static SV *coro_select_select;
312		331
…		…
327		346
328	/** time stuff **************************************************************/	347	/** time stuff **************************************************************/
329		348
330	#ifdef HAS_GETTIMEOFDAY	349	#ifdef HAS_GETTIMEOFDAY
331		350
332	static void	351	ecb_inline void
333	coro_u2time (pTHX_ UV ret[2])	352	coro_u2time (pTHX_ UV ret[2])
334	{	353	{
335	struct timeval tv;	354	struct timeval tv;
336	gettimeofday (&tv, 0);	355	gettimeofday (&tv, 0);
337		356
338	ret [0] = tv.tv_sec;	357	ret [0] = tv.tv_sec;
339	ret [1] = tv.tv_usec;	358	ret [1] = tv.tv_usec;
340	}	359	}
341		360
342	static double	361	ecb_inline double
343	coro_nvtime ()	362	coro_nvtime (void)
344	{	363	{
345	struct timeval tv;	364	struct timeval tv;
346	gettimeofday (&tv, 0);	365	gettimeofday (&tv, 0);
347		366
348	return tv.tv_sec + tv.tv_usec * 1e-6;	367	return tv.tv_sec + tv.tv_usec * 1e-6;
349	}	368	}
350		369
351	static void	370	ecb_inline void
352	time_init (pTHX)	371	time_init (pTHX)
353	{	372	{
354	nvtime = coro_nvtime;	373	nvtime = coro_nvtime;
355	u2time = coro_u2time;	374	u2time = coro_u2time;
356	}	375	}
357		376
358	#else	377	#else
359		378
360	static void	379	ecb_inline void
361	time_init (pTHX)	380	time_init (pTHX)
362	{	381	{
363	SV **svp;	382	SV **svp;
364		383
365	require_pv ("Time/HiRes.pm");	384	require_pv ("Time/HiRes.pm");
366		385
367	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);	386	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
368		387
369	if (!svp) croak ("Time::HiRes is required, but missing. Caught");	388	if (!svp) croak ("Time::HiRes is required, but missing. Caught");
370	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");	389	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");
371		390
…		…
377		396
378	#endif	397	#endif
379		398
380	/** lowlevel stuff **********************************************************/	399	/** lowlevel stuff **********************************************************/
381		400
382	static SV *	401	static SV * ecb_noinline
383	coro_get_sv (pTHX_ const char *name, int create)	402	coro_get_sv (pTHX_ const char *name, int create)
384	{	403	{
385	#if PERL_VERSION_ATLEAST (5,10,0)	404	#if PERL_VERSION_ATLEAST (5,10,0)
386	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	405	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
387	get_sv (name, create);	406	get_sv (name, create);
388	#endif	407	#endif
389	return get_sv (name, create);	408	return get_sv (name, create);
390	}	409	}
391		410
392	static AV *	411	static AV * ecb_noinline
393	coro_get_av (pTHX_ const char *name, int create)	412	coro_get_av (pTHX_ const char *name, int create)
394	{	413	{
395	#if PERL_VERSION_ATLEAST (5,10,0)	414	#if PERL_VERSION_ATLEAST (5,10,0)
396	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	415	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
397	get_av (name, create);	416	get_av (name, create);
398	#endif	417	#endif
399	return get_av (name, create);	418	return get_av (name, create);
400	}	419	}
401		420
402	static HV *	421	static HV * ecb_noinline
403	coro_get_hv (pTHX_ const char *name, int create)	422	coro_get_hv (pTHX_ const char *name, int create)
404	{	423	{
405	#if PERL_VERSION_ATLEAST (5,10,0)	424	#if PERL_VERSION_ATLEAST (5,10,0)
406	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	425	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
407	get_hv (name, create);	426	get_hv (name, create);
408	#endif	427	#endif
409	return get_hv (name, create);	428	return get_hv (name, create);
410	}	429	}
411		430
412	INLINE void	431	ecb_inline void
413	coro_times_update ()	432	coro_times_update (void)
414	{	433	{
415	#ifdef coro_clock_gettime	434	#ifdef coro_clock_gettime
416	struct timespec ts;	435	struct timespec ts;
417		436
418	ts.tv_sec = ts.tv_nsec = 0;	437	ts.tv_sec = ts.tv_nsec = 0;
…		…
430	time_real [0] = tv [0];	449	time_real [0] = tv [0];
431	time_real [1] = tv [1] * 1000;	450	time_real [1] = tv [1] * 1000;
432	#endif	451	#endif
433	}	452	}
434		453
435	INLINE void	454	ecb_inline void
436	coro_times_add (struct coro *c)	455	coro_times_add (struct coro *c)
437	{	456	{
438	c->t_real [1] += time_real [1];	457	c->t_real [1] += time_real [1];
439	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }	458	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
440	c->t_real [0] += time_real [0];	459	c->t_real [0] += time_real [0];
…		…
442	c->t_cpu [1] += time_cpu [1];	461	c->t_cpu [1] += time_cpu [1];
443	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }	462	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
444	c->t_cpu [0] += time_cpu [0];	463	c->t_cpu [0] += time_cpu [0];
445	}	464	}
446		465
447	INLINE void	466	ecb_inline void
448	coro_times_sub (struct coro *c)	467	coro_times_sub (struct coro *c)
449	{	468	{
450	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }	469	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
451	c->t_real [1] -= time_real [1];	470	c->t_real [1] -= time_real [1];
452	c->t_real [0] -= time_real [0];	471	c->t_real [0] -= time_real [0];
…		…
460	/* magic glue */	479	/* magic glue */
461		480
462	#define CORO_MAGIC_type_cv 26	481	#define CORO_MAGIC_type_cv 26
463	#define CORO_MAGIC_type_state PERL_MAGIC_ext	482	#define CORO_MAGIC_type_state PERL_MAGIC_ext
464		483
465	#define CORO_MAGIC_NN(sv, type) \	484	#define CORO_MAGIC_NN(sv, type) \
466	(expect_true (SvMAGIC (sv)->mg_type == type) \	485	(ecb_expect_true (SvMAGIC (sv)->mg_type == type) \
467	? SvMAGIC (sv) \	486	? SvMAGIC (sv) \
468	: mg_find (sv, type))	487	: mg_find (sv, type))
469		488
470	#define CORO_MAGIC(sv, type) \	489	#define CORO_MAGIC(sv, type) \
471	(expect_true (SvMAGIC (sv)) \	490	(ecb_expect_true (SvMAGIC (sv)) \
472	? CORO_MAGIC_NN (sv, type) \	491	? CORO_MAGIC_NN (sv, type) \
473	: 0)	492	: 0)
474		493
475	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)	494	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
476	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)	495	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
477		496
478	INLINE MAGIC *	497	ecb_inline MAGIC *
479	SvSTATEhv_p (pTHX_ SV *coro)	498	SvSTATEhv_p (pTHX_ SV *coro)
480	{	499	{
481	MAGIC *mg;	500	MAGIC *mg;
482		501
483	if (expect_true (	502	if (ecb_expect_true (
484	SvTYPE (coro) == SVt_PVHV	503	SvTYPE (coro) == SVt_PVHV
485	&& (mg = CORO_MAGIC_state (coro))	504	&& (mg = CORO_MAGIC_state (coro))
486	&& mg->mg_virtual == &coro_state_vtbl	505	&& mg->mg_virtual == &coro_state_vtbl
487	))	506	))
488	return mg;	507	return mg;
489		508
490	return 0;	509	return 0;
491	}	510	}
492		511
493	INLINE struct coro *	512	ecb_inline struct coro *
494	SvSTATE_ (pTHX_ SV *coro)	513	SvSTATE_ (pTHX_ SV *coro_sv)
495	{	514	{
496	MAGIC *mg;	515	MAGIC *mg;
497		516
498	if (SvROK (coro))	517	if (SvROK (coro_sv))
499	coro = SvRV (coro);	518	coro_sv = SvRV (coro_sv);
500		519
501	mg = SvSTATEhv_p (aTHX_ coro);	520	mg = SvSTATEhv_p (aTHX_ coro_sv);
502	if (!mg)	521	if (!mg)
503	croak ("Coro::State object required");	522	croak ("Coro::State object required");
504		523
505	return (struct coro *)mg->mg_ptr;	524	return (struct coro *)mg->mg_ptr;
506	}	525	}
…		…
512	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))	531	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
513		532
514	/*****************************************************************************/	533	/*****************************************************************************/
515	/* padlist management and caching */	534	/* padlist management and caching */
516		535
517	static AV *	536	ecb_inline PADLIST *
518	coro_derive_padlist (pTHX_ CV *cv)	537	coro_derive_padlist (pTHX_ CV *cv)
519	{	538	{
520	AV *padlist = CvPADLIST (cv);	539	PADLIST *padlist = CvPADLIST (cv);
521	AV *newpadlist, *newpad;	540	PADLIST *newpadlist;
		541	PADNAMELIST *padnames;
		542	PAD *newpad;
		543	PADOFFSET off = PadlistMAX (padlist) + 1;
522		544
523	newpadlist = newAV ();	545	#if NEWPADAPI
		546
		547	/* if we had the original CvDEPTH, we might be able to steal the CvDEPTH+1 entry instead */
		548	/* 20131102194744.GA6705@schmorp.de, 20131102195825.2013.qmail@lists-nntp.develooper.com */
		549	while (!PadlistARRAY (padlist)[off - 1])
		550	--off;
		551
		552	Perl_pad_push (aTHX_ padlist, off);
		553
		554	newpad = PadlistARRAY (padlist)[off];
		555	PadlistARRAY (padlist)[off] = 0;
		556
		557	#else
		558
		559	#if PERL_VERSION_ATLEAST (5,10,0)
		560	Perl_pad_push (aTHX_ padlist, off);
		561	#else
		562	Perl_pad_push (aTHX_ padlist, off, 1);
		563	#endif
		564
		565	newpad = PadlistARRAY (padlist)[off];
		566	PadlistMAX (padlist) = off - 1;
		567
		568	#endif
		569
		570	newPADLIST (newpadlist);
		571	#if !PERL_VERSION_ATLEAST(5,15,3)
		572	/* Padlists are AvREAL as of 5.15.3. See perl bug #98092 and perl commit 7d953ba. */
524	AvREAL_off (newpadlist);	573	AvREAL_off (newpadlist);
525	#if PERL_VERSION_ATLEAST (5,10,0)
526	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
527	#else
528	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
529	#endif	574	#endif
530	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
531	--AvFILLp (padlist);
532		575
533	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));	576	/* Already extended to 2 elements by newPADLIST. */
534	av_store (newpadlist, 1, (SV *)newpad);	577	PadlistMAX (newpadlist) = 1;
		578
		579	padnames = PadlistNAMES (padlist);
		580	++PadnamelistREFCNT (padnames);
		581	PadlistNAMES (newpadlist) = padnames;
		582
		583	PadlistARRAY (newpadlist)[1] = newpad;
535		584
536	return newpadlist;	585	return newpadlist;
537	}	586	}
538		587
539	static void	588	ecb_inline void
540	free_padlist (pTHX_ AV *padlist)	589	free_padlist (pTHX_ PADLIST *padlist)
541	{	590	{
542	/* may be during global destruction */	591	/* may be during global destruction */
543	if (!IN_DESTRUCT)	592	if (!IN_DESTRUCT)
544	{	593	{
545	I32 i = AvFILLp (padlist);	594	I32 i = PadlistMAX (padlist);
546		595
547	while (i > 0) /* special-case index 0 */	596	while (i > 0) /* special-case index 0 */
548	{	597	{
549	/* we try to be extra-careful here */	598	/* we try to be extra-careful here */
550	AV *av = (AV *)AvARRAY (padlist)[i--];	599	PAD *pad = PadlistARRAY (padlist)[i--];
551	I32 j = AvFILLp (av);
552		600
		601	if (pad)
		602	{
		603	I32 j = PadMAX (pad);
		604
553	while (j >= 0)	605	while (j >= 0)
554	SvREFCNT_dec (AvARRAY (av)[j--]);	606	SvREFCNT_dec (PadARRAY (pad)[j--]);
555		607
556	AvFILLp (av) = -1;	608	PadMAX (pad) = -1;
557	SvREFCNT_dec (av);	609	SvREFCNT_dec (pad);
		610	}
558	}	611	}
559		612
560	SvREFCNT_dec (AvARRAY (padlist)[0]);	613	PadnamelistREFCNT_dec (PadlistNAMES (padlist));
561		614
		615	#if NEWPADAPI
		616	Safefree (PadlistARRAY (padlist));
		617	Safefree (padlist);
		618	#else
562	AvFILLp (padlist) = -1;	619	AvFILLp (padlist) = -1;
		620	AvREAL_off (padlist);
563	SvREFCNT_dec ((SV*)padlist);	621	SvREFCNT_dec ((SV*)padlist);
		622	#endif
564	}	623	}
565	}	624	}
566		625
567	static int	626	static int
568	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	627	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
569	{	628	{
570	AV *padlist;	629	PADLIST *padlist;
571	AV *av = (AV *)mg->mg_obj;	630	PADLIST **padlists = (PADLIST **)(mg->mg_ptr + sizeof(size_t));
		631	size_t len = *(size_t *)mg->mg_ptr;
572		632
573	/* perl manages to free our internal AV and _then_ call us */	633	/* perl manages to free our internal AV and _then_ call us */
574	if (IN_DESTRUCT)	634	if (IN_DESTRUCT)
575	return 0;	635	return 0;
576		636
577	/* casting is fun. */	637	while (len--)
578	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
579	free_padlist (aTHX_ padlist);	638	free_padlist (aTHX_ padlists[len]);
580
581	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
582		639
583	return 0;	640	return 0;
584	}	641	}
585		642
586	static MGVTBL coro_cv_vtbl = {	643	static MGVTBL coro_cv_vtbl = {
587	0, 0, 0, 0,	644	0, 0, 0, 0,
588	coro_cv_free	645	coro_cv_free
589	};	646	};
590		647
591	/* the next two functions merely cache the padlists */	648	/* the next two functions merely cache the padlists */
592	static void	649	ecb_inline void
593	get_padlist (pTHX_ CV *cv)	650	get_padlist (pTHX_ CV *cv)
594	{	651	{
595	MAGIC *mg = CORO_MAGIC_cv (cv);	652	MAGIC *mg = CORO_MAGIC_cv (cv);
596	AV *av;	653	size_t *lenp;
597		654
598	if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))	655	if (ecb_expect_true (mg && *(lenp = (size_t *)mg->mg_ptr)))
599	CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];	656	CvPADLIST (cv) = ((PADLIST **)(mg->mg_ptr + sizeof(size_t)))[--*lenp];
600	else	657	else
601	{	658	{
602	#if CORO_PREFER_PERL_FUNCTIONS	659	#if CORO_PREFER_PERL_FUNCTIONS
603	/* this is probably cleaner? but also slower! */	660	/* this is probably cleaner? but also slower! */
604	/* in practise, it seems to be less stable */	661	/* in practise, it seems to be less stable */
…		…
610	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);	667	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
611	#endif	668	#endif
612	}	669	}
613	}	670	}
614		671
615	static void	672	ecb_inline void
616	put_padlist (pTHX_ CV *cv)	673	put_padlist (pTHX_ CV *cv)
617	{	674	{
618	MAGIC *mg = CORO_MAGIC_cv (cv);	675	MAGIC *mg = CORO_MAGIC_cv (cv);
619	AV *av;
620		676
621	if (expect_false (!mg))	677	if (ecb_expect_false (!mg))
		678	{
622	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	679	mg = sv_magicext ((SV *)cv, 0, CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
		680	Newz (0, mg->mg_ptr ,sizeof (size_t) + sizeof (PADLIST *), char);
		681	mg->mg_len = 1; /* so mg_free frees mg_ptr */
		682	}
		683	else
		684	Renew (mg->mg_ptr,
		685	sizeof(size_t) + (*(size_t *)mg->mg_ptr + 1) * sizeof(PADLIST *),
		686	char);
623		687
624	av = (AV *)mg->mg_obj;	688	((PADLIST **)(mg->mg_ptr + sizeof (size_t))) [(*(size_t *)mg->mg_ptr)++] = CvPADLIST (cv);
625
626	if (expect_false (AvFILLp (av) >= AvMAX (av)))
627	av_extend (av, AvFILLp (av) + 1);
628
629	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
630	}	689	}
631		690
632	/** load & save, init *******************************************************/	691	/** load & save, init *******************************************************/
633		692
		693	ecb_inline void
		694	swap_sv (SV *a, SV *b)
		695	{
		696	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
		697	SV tmp;
		698
		699	/* swap sv_any */
		700	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		701
		702	/* swap sv_flags */
		703	SvFLAGS (&tmp) = SvFLAGS (a);
		704	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
		705	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
		706
		707	#if PERL_VERSION_ATLEAST (5,10,0)
		708	/* perl 5.10 and later complicates this _quite_ a bit, but it also
		709	* is much faster, so no quarrels here. alternatively, we could
		710	* sv_upgrade to avoid this.
		711	*/
		712	{
		713	/* swap sv_u */
		714	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		715
		716	/* if SvANY points to the head, we need to adjust the pointers,
		717	* as the pointer for a still points to b, and maybe vice versa.
		718	*/
		719	U32 svany_in_head_set = (1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV);
		720	#if NVSIZE <= IVSIZE && PERL_VERSION_ATLEAST(5,22,0)
		721	svany_in_head_set |= 1 << SVt_NV;
		722	#endif
		723
		724	#define svany_in_head(type) (svany_in_head_set & (1 << (type)))
		725
		726	if (svany_in_head (SvTYPE (a)))
		727	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		728
		729	if (svany_in_head (SvTYPE (b)))
		730	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		731	}
		732	#endif
		733	}
		734
634	/* swap sv heads, at least logically */	735	/* swap sv heads, at least logically */
635	static void	736	static void
636	swap_svs (pTHX_ Coro__State c)	737	swap_svs_enter (pTHX_ Coro__State c)
637	{	738	{
638	int i;	739	int i;
639		740
640	for (i = 0; i <= AvFILLp (c->swap_sv); )	741	for (i = 0; i <= AvFILLp (c->swap_sv); i += 2)
641	{	742	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
642	SV *a = AvARRAY (c->swap_sv)[i++];
643	SV *b = AvARRAY (c->swap_sv)[i++];
644
645	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
646	SV tmp;
647
648	/* swap sv_any */
649	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
650
651	/* swap sv_flags */
652	SvFLAGS (&tmp) = SvFLAGS (a);
653	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
654	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
655
656	#if PERL_VERSION_ATLEAST (5,10,0)
657	/* perl 5.10 complicates this _quite_ a bit, but it also is
658	* much faster, so no quarrels here. alternatively, we could
659	* sv_upgrade to avoid this.
660	*/
661	{
662	/* swap sv_u */
663	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
664
665	/* if SvANY points to the head, we need to adjust the pointers,
666	* as the pointer for a still points to b, and maybe vice versa.
667	*/
668	#define svany_in_head(type) \
669	(((1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV)) & (1 << (type)))
670
671	if (svany_in_head (SvTYPE (a)))
672	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
673
674	if (svany_in_head (SvTYPE (b)))
675	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
676	}
677	#endif
678	}
679	}	743	}
680		744
		745	static void
		746	swap_svs_leave (pTHX_ Coro__State c)
		747	{
		748	int i;
		749
		750	for (i = AvFILLp (c->swap_sv) - 1; i >= 0; i -= 2)
		751	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
		752	}
		753
681	#define SWAP_SVS(coro) \	754	#define SWAP_SVS_ENTER(coro) \
682	if (expect_false ((coro)->swap_sv)) \	755	if (ecb_expect_false ((coro)->swap_sv)) \
683	swap_svs (aTHX_ (coro))	756	swap_svs_enter (aTHX_ (coro))
		757
		758	#define SWAP_SVS_LEAVE(coro) \
		759	if (ecb_expect_false ((coro)->swap_sv)) \
		760	swap_svs_leave (aTHX_ (coro))
684		761
685	static void	762	static void
686	on_enterleave_call (pTHX_ SV *cb);	763	on_enterleave_call (pTHX_ SV *cb);
687		764
688	static void	765	static void
…		…
691	perl_slots *slot = c->slot;	768	perl_slots *slot = c->slot;
692	c->slot = 0;	769	c->slot = 0;
693		770
694	PL_mainstack = c->mainstack;	771	PL_mainstack = c->mainstack;
695		772
696	GvSV (PL_defgv) = slot->defsv;	773	#if CORO_JIT
697	GvAV (PL_defgv) = slot->defav;	774	load_perl_slots (slot);
698	GvSV (PL_errgv) = slot->errsv;	775	#else
699	GvSV (irsgv) = slot->irsgv;
700	GvHV (PL_hintgv) = slot->hinthv;
701
702	#define VAR(name,type) PL_ ## name = slot->name;	776	#define VARx(name,expr,type) expr = slot->name;
703	# include "state.h"	777	#include "state.h"
704	#undef VAR	778	#endif
705		779
706	{	780	{
707	dSP;	781	dSP;
708		782
709	CV *cv;	783	CV *cv;
710		784
711	/* now do the ugly restore mess */	785	/* now do the ugly restore mess */
712	while (expect_true (cv = (CV *)POPs))	786	while (ecb_expect_true (cv = (CV *)POPs))
713	{	787	{
714	put_padlist (aTHX_ cv); /* mark this padlist as available */	788	put_padlist (aTHX_ cv); /* mark this padlist as available */
715	CvDEPTH (cv) = PTR2IV (POPs);	789	CvDEPTH (cv) = PTR2IV (POPs);
716	CvPADLIST (cv) = (AV *)POPs;	790	CvPADLIST (cv) = (PADLIST *)POPs;
717	}	791	}
718		792
719	PUTBACK;	793	PUTBACK;
720	}	794	}
721		795
722	slf_frame = c->slf_frame;	796	slf_frame = c->slf_frame;
723	CORO_THROW = c->except;	797	CORO_THROW = c->except;
724		798
725	if (expect_false (enable_times))	799	if (ecb_expect_false (enable_times))
726	{	800	{
727	if (expect_false (!times_valid))	801	if (ecb_expect_false (!times_valid))
728	coro_times_update ();	802	coro_times_update ();
729		803
730	coro_times_sub (c);	804	coro_times_sub (c);
731	}	805	}
732		806
733	if (expect_false (c->on_enter))	807	if (ecb_expect_false (c->on_enter))
734	{	808	{
735	int i;	809	int i;
736		810
737	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	811	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
738	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	812	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
739	}	813	}
740		814
		815	if (ecb_expect_false (c->on_enter_xs))
		816	{
		817	int i;
		818
		819	for (i = 0; i <= AvFILLp (c->on_enter_xs); i += 2)
		820	((coro_enterleave_hook)AvARRAY (c->on_enter_xs)[i]) (aTHX_ AvARRAY (c->on_enter_xs)[i + 1]);
		821	}
		822
741	SWAP_SVS (c);	823	SWAP_SVS_ENTER (c);
742	}	824	}
743		825
744	static void	826	static void
745	save_perl (pTHX_ Coro__State c)	827	save_perl (pTHX_ Coro__State c)
746	{	828	{
747	SWAP_SVS (c);	829	SWAP_SVS_LEAVE (c);
748		830
		831	if (ecb_expect_false (c->on_leave_xs))
		832	{
		833	int i;
		834
		835	for (i = AvFILLp (c->on_leave_xs) - 1; i >= 0; i -= 2)
		836	((coro_enterleave_hook)AvARRAY (c->on_leave_xs)[i]) (aTHX_ AvARRAY (c->on_leave_xs)[i + 1]);
		837	}
		838
749	if (expect_false (c->on_leave))	839	if (ecb_expect_false (c->on_leave))
750	{	840	{
751	int i;	841	int i;
752		842
753	for (i = AvFILLp (c->on_leave); i >= 0; --i)	843	for (i = AvFILLp (c->on_leave); i >= 0; --i)
754	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);	844	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
755	}	845	}
756		846
757	times_valid = 0;	847	times_valid = 0;
758		848
759	if (expect_false (enable_times))	849	if (ecb_expect_false (enable_times))
760	{	850	{
761	coro_times_update (); times_valid = 1;	851	coro_times_update (); times_valid = 1;
762	coro_times_add (c);	852	coro_times_add (c);
763	}	853	}
764		854
…		…
778		868
779	XPUSHs (Nullsv);	869	XPUSHs (Nullsv);
780	/* this loop was inspired by pp_caller */	870	/* this loop was inspired by pp_caller */
781	for (;;)	871	for (;;)
782	{	872	{
783	while (expect_true (cxix >= 0))	873	while (ecb_expect_true (cxix >= 0))
784	{	874	{
785	PERL_CONTEXT *cx = &ccstk[cxix--];	875	PERL_CONTEXT *cx = &ccstk[cxix--];
786		876
787	if (expect_true (CxTYPE (cx) == CXt_SUB) || expect_false (CxTYPE (cx) == CXt_FORMAT))	877	if (ecb_expect_true (CxTYPE (cx) == CXt_SUB) || ecb_expect_false (CxTYPE (cx) == CXt_FORMAT))
788	{	878	{
789	CV *cv = cx->blk_sub.cv;	879	CV *cv = cx->blk_sub.cv;
790		880
791	if (expect_true (CvDEPTH (cv)))	881	if (ecb_expect_true (CvDEPTH (cv)))
792	{	882	{
793	EXTEND (SP, 3);	883	EXTEND (SP, 3);
794	PUSHs ((SV *)CvPADLIST (cv));	884	PUSHs ((SV *)CvPADLIST (cv));
795	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));	885	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));
796	PUSHs ((SV *)cv);	886	PUSHs ((SV *)cv);
…		…
799	get_padlist (aTHX_ cv);	889	get_padlist (aTHX_ cv);
800	}	890	}
801	}	891	}
802	}	892	}
803		893
804	if (expect_true (top_si->si_type == PERLSI_MAIN))	894	if (ecb_expect_true (top_si->si_type == PERLSI_MAIN))
805	break;	895	break;
806		896
807	top_si = top_si->si_prev;	897	top_si = top_si->si_prev;
808	ccstk = top_si->si_cxstack;	898	ccstk = top_si->si_cxstack;
809	cxix = top_si->si_cxix;	899	cxix = top_si->si_cxix;
…		…
811		901
812	PUTBACK;	902	PUTBACK;
813	}	903	}
814		904
815	/* allocate some space on the context stack for our purposes */	905	/* allocate some space on the context stack for our purposes */
816	if (expect_false (cxstack_ix + SLOT_COUNT >= cxstack_max))	906	if (ecb_expect_false (cxstack_ix + (int)SLOT_COUNT >= cxstack_max))
817	{	907	{
818	unsigned int i;	908	unsigned int i;
819		909
820	for (i = 0; i < SLOT_COUNT; ++i)	910	for (i = 0; i < SLOT_COUNT; ++i)
821	CXINC;	911	CXINC;
…		…
826	c->mainstack = PL_mainstack;	916	c->mainstack = PL_mainstack;
827		917
828	{	918	{
829	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);	919	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
830		920
831	slot->defav = GvAV (PL_defgv);	921	#if CORO_JIT
832	slot->defsv = DEFSV;	922	save_perl_slots (slot);
833	slot->errsv = ERRSV;	923	#else
834	slot->irsgv = GvSV (irsgv);
835	slot->hinthv = GvHV (PL_hintgv);
836
837	#define VAR(name,type) slot->name = PL_ ## name;	924	#define VARx(name,expr,type) slot->name = expr;
838	# include "state.h"	925	#include "state.h"
839	#undef VAR	926	#endif
840	}	927	}
841	}	928	}
842		929
843	/*	930	/*
844	* allocate various perl stacks. This is almost an exact copy	931	* allocate various perl stacks. This is almost an exact copy
…		…
875	#endif	962	#endif
876		963
877	New(54,PL_scopestack,8,I32);	964	New(54,PL_scopestack,8,I32);
878	PL_scopestack_ix = 0;	965	PL_scopestack_ix = 0;
879	PL_scopestack_max = 8;	966	PL_scopestack_max = 8;
		967	#if HAS_SCOPESTACK_NAME
		968	New(54,PL_scopestack_name,8,const char*);
		969	#endif
880		970
881	New(54,PL_savestack,24,ANY);	971	New(54,PL_savestack,24,ANY);
882	PL_savestack_ix = 0;	972	PL_savestack_ix = 0;
883	PL_savestack_max = 24;	973	PL_savestack_max = 24;
		974	#if PERL_VERSION_ATLEAST (5,24,0)
		975	/* perl 5.24 moves SS_MAXPUSH optimisation from */
		976	/* the header macros to PL_savestack_max */
		977	PL_savestack_max -= SS_MAXPUSH;
		978	#endif
884		979
885	#if !PERL_VERSION_ATLEAST (5,10,0)	980	#if !PERL_VERSION_ATLEAST (5,10,0)
886	New(54,PL_retstack,4,OP*);	981	New(54,PL_retstack,4,OP*);
887	PL_retstack_ix = 0;	982	PL_retstack_ix = 0;
888	PL_retstack_max = 4;	983	PL_retstack_max = 4;
…		…
912	}	1007	}
913		1008
914	Safefree (PL_tmps_stack);	1009	Safefree (PL_tmps_stack);
915	Safefree (PL_markstack);	1010	Safefree (PL_markstack);
916	Safefree (PL_scopestack);	1011	Safefree (PL_scopestack);
		1012	#if HAS_SCOPESTACK_NAME
		1013	Safefree (PL_scopestack_name);
		1014	#endif
917	Safefree (PL_savestack);	1015	Safefree (PL_savestack);
918	#if !PERL_VERSION_ATLEAST (5,10,0)	1016	#if !PERL_VERSION_ATLEAST (5,10,0)
919	Safefree (PL_retstack);	1017	Safefree (PL_retstack);
920	#endif	1018	#endif
921	}	1019	}
…		…
951	}	1049	}
952		1050
953	return rss;	1051	return rss;
954	}	1052	}
955		1053
956	/** coroutine stack handling ************************************************/	1054	/** provide custom get/set/clear methods for %SIG elements ******************/
957
958	static int (*orig_sigelem_get) (pTHX_ SV *sv, MAGIC *mg);
959	static int (*orig_sigelem_set) (pTHX_ SV *sv, MAGIC *mg);
960	static int (*orig_sigelem_clr) (pTHX_ SV *sv, MAGIC *mg);
961		1055
962	/* apparently < 5.8.8 */	1056	/* apparently < 5.8.8 */
963	#ifndef MgPV_nolen_const	1057	#ifndef MgPV_nolen_const
964	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \	1058	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \
965	SvPV_nolen((SV*)((mg)->mg_ptr)) : \	1059	SvPV_nolen((SV*)((mg)->mg_ptr)) : \
966	(const char*)(mg)->mg_ptr)	1060	(const char*)(mg)->mg_ptr)
967	#endif	1061	#endif
		1062
		1063	/* this will be a patched copy of PL_vtbl_sigelem */
		1064	static MGVTBL coro_sigelem_vtbl;
		1065
		1066	static int ecb_cold
		1067	coro_sig_copy (pTHX_ SV *sv, MAGIC *mg, SV *nsv, const char *name, I32 namlen)
		1068	{
		1069	sv_magic (nsv, mg->mg_obj, PERL_MAGIC_sigelem, name, namlen);
		1070	assert (mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual == &PL_vtbl_sigelem);
		1071	mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual = &coro_sigelem_vtbl;
		1072	return 1;
		1073	}
		1074
		1075	/* perl does not have a %SIG vtbl, we provide one so we can override */
		1076	/* the cwvtblagic for %SIG members */
		1077	static const MGVTBL coro_sig_vtbl = {
		1078	0, 0, 0, 0, 0,
		1079	coro_sig_copy
		1080	};
968		1081
969	/*	1082	/*
970	* This overrides the default magic get method of %SIG elements.	1083	* This overrides the default magic get method of %SIG elements.
971	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook	1084	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook
972	* and instead of trying to save and restore the hash elements (extremely slow),	1085	* and instead of trying to save and restore the hash elements (extremely slow),
973	* we just provide our own readback here.	1086	* we just provide our own readback here.
974	*/	1087	*/
975	static int	1088	static int ecb_cold
976	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	1089	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
977	{	1090	{
978	const char *s = MgPV_nolen_const (mg);	1091	const char *s = MgPV_nolen_const (mg);
979		1092
980	if (*s == '_')	1093	if (*s == '_')
981	{	1094	{
982	SV **svp = 0;	1095	SV **svp = 0;
983		1096
984	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;	1097	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
985	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;	1098	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
986		1099
987	if (svp)	1100	if (svp)
988	{	1101	{
989	sv_setsv (sv, *svp ? *svp : &PL_sv_undef);	1102	SV *ssv;
		1103
		1104	if (!*svp)
		1105	ssv = &PL_sv_undef;
		1106	else if (SvTYPE (*svp) == SVt_PVCV) /* perlio directly stores a CV in warnhook. ugh. */
		1107	ssv = sv_2mortal (newRV_inc (*svp));
		1108	else
		1109	ssv = *svp;
		1110
		1111	sv_setsv (sv, ssv);
990	return 0;	1112	return 0;
991	}	1113	}
992	}	1114	}
993		1115
994	return orig_sigelem_get ? orig_sigelem_get (aTHX_ sv, mg) : 0;	1116	return PL_vtbl_sigelem.svt_get ? PL_vtbl_sigelem.svt_get (aTHX_ sv, mg) : 0;
995	}	1117	}
996		1118
997	static int	1119	static int ecb_cold
998	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)	1120	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)
999	{	1121	{
1000	const char *s = MgPV_nolen_const (mg);	1122	const char *s = MgPV_nolen_const (mg);
1001		1123
1002	if (*s == '_')	1124	if (*s == '_')
…		…
1013	SvREFCNT_dec (old);	1135	SvREFCNT_dec (old);
1014	return 0;	1136	return 0;
1015	}	1137	}
1016	}	1138	}
1017		1139
1018	return orig_sigelem_clr ? orig_sigelem_clr (aTHX_ sv, mg) : 0;	1140	return PL_vtbl_sigelem.svt_clear ? PL_vtbl_sigelem.svt_clear (aTHX_ sv, mg) : 0;
1019	}	1141	}
1020		1142
1021	static int	1143	static int ecb_cold
1022	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)	1144	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)
1023	{	1145	{
1024	const char *s = MgPV_nolen_const (mg);	1146	const char *s = MgPV_nolen_const (mg);
1025		1147
1026	if (*s == '_')	1148	if (*s == '_')
…		…
1037	SvREFCNT_dec (old);	1159	SvREFCNT_dec (old);
1038	return 0;	1160	return 0;
1039	}	1161	}
1040	}	1162	}
1041		1163
1042	return orig_sigelem_set ? orig_sigelem_set (aTHX_ sv, mg) : 0;	1164	return PL_vtbl_sigelem.svt_set ? PL_vtbl_sigelem.svt_set (aTHX_ sv, mg) : 0;
1043	}	1165	}
1044		1166
1045	static void	1167	static void
1046	prepare_nop (pTHX_ struct coro_transfer_args *ta)	1168	prepare_nop (pTHX_ struct coro_transfer_args *ta)
1047	{	1169	{
…		…
1059	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1181	slf_check_repeat (pTHX_ struct CoroSLF *frame)
1060	{	1182	{
1061	return 1;	1183	return 1;
1062	}	1184	}
1063		1185
		1186	/** coroutine stack handling ************************************************/
		1187
1064	static UNOP init_perl_op;	1188	static UNOP init_perl_op;
1065		1189
1066	static void NOINLINE /* noinline to keep it out of the transfer fast path */	1190	ecb_noinline static void /* noinline to keep it out of the transfer fast path */
1067	init_perl (pTHX_ struct coro *coro)	1191	init_perl (pTHX_ struct coro *coro)
1068	{	1192	{
1069	/*	1193	/*
1070	* emulate part of the perl startup here.	1194	* emulate part of the perl startup here.
1071	*/	1195	*/
…		…
1088	PL_hints = 0;	1212	PL_hints = 0;
1089		1213
1090	/* recreate the die/warn hooks */	1214	/* recreate the die/warn hooks */
1091	PL_diehook = SvREFCNT_inc (rv_diehook);	1215	PL_diehook = SvREFCNT_inc (rv_diehook);
1092	PL_warnhook = SvREFCNT_inc (rv_warnhook);	1216	PL_warnhook = SvREFCNT_inc (rv_warnhook);
1093		1217
1094	GvSV (PL_defgv) = newSV (0);	1218	GvSV (PL_defgv) = newSV (0);
1095	GvAV (PL_defgv) = coro->args; coro->args = 0;	1219	GvAV (PL_defgv) = coro->args; coro->args = 0;
1096	GvSV (PL_errgv) = newSV (0);	1220	GvSV (PL_errgv) = newSV (0);
1097	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	1221	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
1098	GvHV (PL_hintgv) = 0;	1222	GvHV (PL_hintgv) = newHV ();
		1223	#if PERL_VERSION_ATLEAST (5,10,0)
		1224	hv_magic (GvHV (PL_hintgv), 0, PERL_MAGIC_hints);
		1225	#endif
1099	PL_rs = newSVsv (GvSV (irsgv));	1226	PL_rs = newSVsv (GvSV (irsgv));
1100	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	1227	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
1101		1228
1102	{	1229	{
1103	dSP;	1230	dSP;
…		…
1131	PL_op = (OP *)&init_perl_op;	1258	PL_op = (OP *)&init_perl_op;
1132		1259
1133	/* copy throw, in case it was set before init_perl */	1260	/* copy throw, in case it was set before init_perl */
1134	CORO_THROW = coro->except;	1261	CORO_THROW = coro->except;
1135		1262
1136	SWAP_SVS (coro);	1263	SWAP_SVS_ENTER (coro);
1137		1264
1138	if (expect_false (enable_times))	1265	if (ecb_expect_false (enable_times))
1139	{	1266	{
1140	coro_times_update ();	1267	coro_times_update ();
1141	coro_times_sub (coro);	1268	coro_times_sub (coro);
1142	}	1269	}
1143	}	1270	}
…		…
1179	/* this will cause transfer_check to croak on block*/	1306	/* this will cause transfer_check to croak on block*/
1180	SvRV_set (coro_current, (SV *)coro->hv);	1307	SvRV_set (coro_current, (SV *)coro->hv);
1181		1308
1182	load_perl (aTHX_ coro);	1309	load_perl (aTHX_ coro);
1183		1310
		1311	/* restore swapped sv's */
		1312	SWAP_SVS_LEAVE (coro);
		1313
1184	coro_unwind_stacks (aTHX);	1314	coro_unwind_stacks (aTHX);
1185		1315
1186	/* restore swapped sv's */
1187	SWAP_SVS (coro);
1188
1189	coro_destruct_stacks (aTHX);	1316	coro_destruct_stacks (aTHX);
1190		1317
1191	// now save some sv's to be free'd later	1318	/* now save some sv's to be free'd later */
1192	svf [0] = GvSV (PL_defgv);	1319	svf [0] = GvSV (PL_defgv);
1193	svf [1] = (SV *)GvAV (PL_defgv);	1320	svf [1] = (SV *)GvAV (PL_defgv);
1194	svf [2] = GvSV (PL_errgv);	1321	svf [2] = GvSV (PL_errgv);
1195	svf [3] = (SV *)PL_defoutgv;	1322	svf [3] = (SV *)PL_defoutgv;
1196	svf [4] = PL_rs;	1323	svf [4] = PL_rs;
…		…
1213		1340
1214	SvREFCNT_dec (coro->saved_deffh);	1341	SvREFCNT_dec (coro->saved_deffh);
1215	SvREFCNT_dec (coro->rouse_cb);	1342	SvREFCNT_dec (coro->rouse_cb);
1216	SvREFCNT_dec (coro->invoke_cb);	1343	SvREFCNT_dec (coro->invoke_cb);
1217	SvREFCNT_dec (coro->invoke_av);	1344	SvREFCNT_dec (coro->invoke_av);
		1345	SvREFCNT_dec (coro->on_enter_xs);
		1346	SvREFCNT_dec (coro->on_leave_xs);
1218	}	1347	}
1219	}	1348	}
1220		1349
1221	INLINE void	1350	ecb_inline void
1222	free_coro_mortal (pTHX)	1351	free_coro_mortal (pTHX)
1223	{	1352	{
1224	if (expect_true (coro_mortal))	1353	if (ecb_expect_true (coro_mortal))
1225	{	1354	{
1226	SvREFCNT_dec ((SV *)coro_mortal);	1355	SvREFCNT_dec ((SV *)coro_mortal);
1227	coro_mortal = 0;	1356	coro_mortal = 0;
1228	}	1357	}
1229	}	1358	}
…		…
1285		1414
1286	if (PL_curcop != &PL_compiling)	1415	if (PL_curcop != &PL_compiling)
1287	{	1416	{
1288	SV **cb;	1417	SV **cb;
1289		1418
1290	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)	1419	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB && cxstack_ix >= 0)
1291	{	1420	{
1292	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1421	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1293		1422
1294	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1423	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1295	{	1424	{
…		…
1364		1493
1365	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */	1494	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1366	}	1495	}
1367		1496
1368	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */	1497	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1369	static void NOINLINE	1498	static void ecb_noinline
1370	cctx_prepare (pTHX)	1499	cctx_prepare (pTHX)
1371	{	1500	{
1372	PL_top_env = &PL_start_env;	1501	PL_top_env = &PL_start_env;
1373		1502
1374	if (cctx_current->flags & CC_TRACE)	1503	if (cctx_current->flags & CC_TRACE)
…		…
1385	slf_frame.prepare = slf_prepare_set_stacklevel;	1514	slf_frame.prepare = slf_prepare_set_stacklevel;
1386	slf_frame.check = slf_check_set_stacklevel;	1515	slf_frame.check = slf_check_set_stacklevel;
1387	}	1516	}
1388		1517
1389	/* the tail of transfer: execute stuff we can only do after a transfer */	1518	/* the tail of transfer: execute stuff we can only do after a transfer */
1390	INLINE void	1519	ecb_inline void
1391	transfer_tail (pTHX)	1520	transfer_tail (pTHX)
1392	{	1521	{
1393	free_coro_mortal (aTHX);	1522	free_coro_mortal (aTHX);
		1523	}
		1524
		1525	/* try to exit the same way perl's main function would do */
		1526	/* we do not bother resetting the environment or other things *7
		1527	/* that are not, uhm, essential */
		1528	/* this obviously also doesn't work when perl is embedded */
		1529	static void ecb_noinline ecb_cold
		1530	perlish_exit (pTHX)
		1531	{
		1532	int exitstatus = perl_destruct (PL_curinterp);
		1533	perl_free (PL_curinterp);
		1534	exit (exitstatus);
1394	}	1535	}
1395		1536
1396	/*	1537	/*
1397	* this is a _very_ stripped down perl interpreter ;)	1538	* this is a _very_ stripped down perl interpreter ;)
1398	*/	1539	*/
…		…
1425	* coro body here, as perl_run destroys these. Likewise, we cannot catch	1566	* coro body here, as perl_run destroys these. Likewise, we cannot catch
1426	* runtime errors here, as this is just a random interpreter, not a thread.	1567	* runtime errors here, as this is just a random interpreter, not a thread.
1427	*/	1568	*/
1428		1569
1429	/*	1570	/*
		1571	* pp_entersub in 5.24 no longer ENTERs, but perl_destruct
		1572	* requires PL_scopestack_ix, so do it here if required.
		1573	*/
		1574	if (!PL_scopestack_ix)
		1575	ENTER;
		1576
		1577	/*
1430	* If perl-run returns we assume exit() was being called or the coro	1578	* If perl-run returns we assume exit() was being called or the coro
1431	* fell off the end, which seems to be the only valid (non-bug)	1579	* fell off the end, which seems to be the only valid (non-bug)
1432	* reason for perl_run to return. We try to exit by jumping to the	1580	* reason for perl_run to return. We try to mimic whatever perl is normally
1433	* bootstrap-time "top" top_env, as we cannot restore the "main"	1581	* doing in that case. YMMV.
1434	* coroutine as Coro has no such concept.
1435	* This actually isn't valid with the pthread backend, but OSes requiring
1436	* that backend are too broken to do it in a standards-compliant way.
1437	*/	1582	*/
1438	PL_top_env = main_top_env;	1583	perlish_exit (aTHX);
1439	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1440	}	1584	}
1441	}	1585	}
1442		1586
1443	static coro_cctx *	1587	static coro_cctx *
1444	cctx_new ()	1588	cctx_new (void)
1445	{	1589	{
1446	coro_cctx *cctx;	1590	coro_cctx *cctx;
1447		1591
1448	++cctx_count;	1592	++cctx_count;
1449	New (0, cctx, 1, coro_cctx);	1593	New (0, cctx, 1, coro_cctx);
…		…
1455	return cctx;	1599	return cctx;
1456	}	1600	}
1457		1601
1458	/* create a new cctx only suitable as source */	1602	/* create a new cctx only suitable as source */
1459	static coro_cctx *	1603	static coro_cctx *
1460	cctx_new_empty ()	1604	cctx_new_empty (void)
1461	{	1605	{
1462	coro_cctx *cctx = cctx_new ();	1606	coro_cctx *cctx = cctx_new ();
1463		1607
1464	cctx->sptr = 0;	1608	cctx->stack.sptr = 0;
1465	coro_create (&cctx->cctx, 0, 0, 0, 0);	1609	coro_create (&cctx->cctx, 0, 0, 0, 0);
1466		1610
1467	return cctx;	1611	return cctx;
1468	}	1612	}
1469		1613
1470	/* create a new cctx suitable as destination/running a perl interpreter */	1614	/* create a new cctx suitable as destination/running a perl interpreter */
1471	static coro_cctx *	1615	static coro_cctx *
1472	cctx_new_run ()	1616	cctx_new_run (void)
1473	{	1617	{
1474	coro_cctx *cctx = cctx_new ();	1618	coro_cctx *cctx = cctx_new ();
1475	void *stack_start;
1476	size_t stack_size;
1477		1619
1478	#if HAVE_MMAP	1620	if (!coro_stack_alloc (&cctx->stack, cctx_stacksize))
1479	cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1480	/* mmap supposedly does allocate-on-write for us */
1481	cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
1482
1483	if (cctx->sptr != (void *)-1)
1484	{
1485	#if CORO_STACKGUARD
1486	mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1487	#endif
1488	stack_start = (char *)cctx->sptr + CORO_STACKGUARD * PAGESIZE;
1489	stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1490	cctx->flags |= CC_MAPPED;
1491	}	1621	{
1492	else
1493	#endif
1494	{
1495	cctx->ssize = cctx_stacksize * (long)sizeof (long);
1496	New (0, cctx->sptr, cctx_stacksize, long);
1497
1498	if (!cctx->sptr)
1499	{
1500	perror ("FATAL: unable to allocate stack for coroutine, exiting.");	1622	perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1501	_exit (EXIT_FAILURE);	1623	_exit (EXIT_FAILURE);
1502	}
1503
1504	stack_start = cctx->sptr;
1505	stack_size = cctx->ssize;
1506	}	1624	}
1507		1625
1508	#if CORO_USE_VALGRIND
1509	cctx->valgrind_id = VALGRIND_STACK_REGISTER ((char *)stack_start, (char *)stack_start + stack_size);
1510	#endif
1511
1512	coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);	1626	coro_create (&cctx->cctx, cctx_run, (void *)cctx, cctx->stack.sptr, cctx->stack.ssze);
1513		1627
1514	return cctx;	1628	return cctx;
1515	}	1629	}
1516		1630
1517	static void	1631	static void
…		…
1523	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));	1637	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1524		1638
1525	--cctx_count;	1639	--cctx_count;
1526	coro_destroy (&cctx->cctx);	1640	coro_destroy (&cctx->cctx);
1527		1641
1528	/* coro_transfer creates new, empty cctx's */	1642	coro_stack_free (&cctx->stack);
1529	if (cctx->sptr)
1530	{
1531	#if CORO_USE_VALGRIND
1532	VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1533	#endif
1534
1535	#if HAVE_MMAP
1536	if (cctx->flags & CC_MAPPED)
1537	munmap (cctx->sptr, cctx->ssize);
1538	else
1539	#endif
1540	Safefree (cctx->sptr);
1541	}
1542		1643
1543	Safefree (cctx);	1644	Safefree (cctx);
1544	}	1645	}
1545		1646
1546	/* wether this cctx should be destructed */	1647	/* wether this cctx should be destructed */
1547	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))	1648	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))
1548		1649
1549	static coro_cctx *	1650	static coro_cctx *
1550	cctx_get (pTHX)	1651	cctx_get (pTHX)
1551	{	1652	{
1552	while (expect_true (cctx_first))	1653	while (ecb_expect_true (cctx_first))
1553	{	1654	{
1554	coro_cctx *cctx = cctx_first;	1655	coro_cctx *cctx = cctx_first;
1555	cctx_first = cctx->next;	1656	cctx_first = cctx->next;
1556	--cctx_idle;	1657	--cctx_idle;
1557		1658
1558	if (expect_true (!CCTX_EXPIRED (cctx)))	1659	if (ecb_expect_true (!CCTX_EXPIRED (cctx)))
1559	return cctx;	1660	return cctx;
1560		1661
1561	cctx_destroy (cctx);	1662	cctx_destroy (cctx);
1562	}	1663	}
1563		1664
…		…
1565	}	1666	}
1566		1667
1567	static void	1668	static void
1568	cctx_put (coro_cctx *cctx)	1669	cctx_put (coro_cctx *cctx)
1569	{	1670	{
1570	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));	1671	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->stack.sptr));
1571		1672
1572	/* free another cctx if overlimit */	1673	/* free another cctx if overlimit */
1573	if (expect_false (cctx_idle >= cctx_max_idle))	1674	if (ecb_expect_false (cctx_idle >= cctx_max_idle))
1574	{	1675	{
1575	coro_cctx *first = cctx_first;	1676	coro_cctx *first = cctx_first;
1576	cctx_first = first->next;	1677	cctx_first = first->next;
1577	--cctx_idle;	1678	--cctx_idle;
1578		1679
…		…
1589	static void	1690	static void
1590	transfer_check (pTHX_ struct coro *prev, struct coro *next)	1691	transfer_check (pTHX_ struct coro *prev, struct coro *next)
1591	{	1692	{
1592	/* TODO: throwing up here is considered harmful */	1693	/* TODO: throwing up here is considered harmful */
1593		1694
1594	if (expect_true (prev != next))	1695	if (ecb_expect_true (prev != next))
1595	{	1696	{
1596	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1697	if (ecb_expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1597	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");	1698	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");
1598		1699
1599	if (expect_false (next->flags & (CF_RUNNING | CF_ZOMBIE | CF_SUSPENDED)))	1700	if (ecb_expect_false (next->flags & (CF_RUNNING | CF_ZOMBIE | CF_SUSPENDED)))
1600	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");	1701	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");
1601		1702
1602	#if !PERL_VERSION_ATLEAST (5,10,0)	1703	#if !PERL_VERSION_ATLEAST (5,10,0)
1603	if (expect_false (PL_lex_state != LEX_NOTPARSING))	1704	if (ecb_expect_false (PL_lex_state != LEX_NOTPARSING))
1604	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");	1705	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1605	#endif	1706	#endif
1606	}	1707	}
1607	}	1708	}
1608		1709
1609	/* always use the TRANSFER macro */	1710	/* always use the TRANSFER macro */
1610	static void NOINLINE /* noinline so we have a fixed stackframe */	1711	static void ecb_noinline /* noinline so we have a fixed stackframe */
1611	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)	1712	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1612	{	1713	{
1613	dSTACKLEVEL;	1714	dSTACKLEVEL;
1614		1715
1615	/* sometimes transfer is only called to set idle_sp */	1716	/* sometimes transfer is only called to set idle_sp */
1616	if (expect_false (!prev))	1717	if (ecb_expect_false (!prev))
1617	{	1718	{
1618	cctx_current->idle_sp = STACKLEVEL;	1719	cctx_current->idle_sp = STACKLEVEL;
1619	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */	1720	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1620	}	1721	}
1621	else if (expect_true (prev != next))	1722	else if (ecb_expect_true (prev != next))
1622	{	1723	{
1623	coro_cctx *cctx_prev;	1724	coro_cctx *cctx_prev;
1624		1725
1625	if (expect_false (prev->flags & CF_NEW))	1726	if (ecb_expect_false (prev->flags & CF_NEW))
1626	{	1727	{
1627	/* create a new empty/source context */	1728	/* create a new empty/source context */
1628	prev->flags &= ~CF_NEW;	1729	prev->flags &= ~CF_NEW;
1629	prev->flags |= CF_RUNNING;	1730	prev->flags |= CF_RUNNING;
1630	}	1731	}
…		…
1633	next->flags |= CF_RUNNING;	1734	next->flags |= CF_RUNNING;
1634		1735
1635	/* first get rid of the old state */	1736	/* first get rid of the old state */
1636	save_perl (aTHX_ prev);	1737	save_perl (aTHX_ prev);
1637		1738
1638	if (expect_false (next->flags & CF_NEW))	1739	if (ecb_expect_false (next->flags & CF_NEW))
1639	{	1740	{
1640	/* need to start coroutine */	1741	/* need to start coroutine */
1641	next->flags &= ~CF_NEW;	1742	next->flags &= ~CF_NEW;
1642	/* setup coroutine call */	1743	/* setup coroutine call */
1643	init_perl (aTHX_ next);	1744	init_perl (aTHX_ next);
1644	}	1745	}
1645	else	1746	else
1646	load_perl (aTHX_ next);	1747	load_perl (aTHX_ next);
1647		1748
1648	/* possibly untie and reuse the cctx */	1749	/* possibly untie and reuse the cctx */
1649	if (expect_true (	1750	if (ecb_expect_true (
1650	cctx_current->idle_sp == STACKLEVEL	1751	cctx_current->idle_sp == STACKLEVEL
1651	&& !(cctx_current->flags & CC_TRACE)	1752	&& !(cctx_current->flags & CC_TRACE)
1652	&& !force_cctx	1753	&& !force_cctx
1653	))	1754	))
1654	{	1755	{
1655	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */	1756	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1656	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));	1757	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1657		1758
1658	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */	1759	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */
1659	/* without this the next cctx_get might destroy the running cctx while still in use */	1760	/* without this the next cctx_get might destroy the running cctx while still in use */
1660	if (expect_false (CCTX_EXPIRED (cctx_current)))	1761	if (ecb_expect_false (CCTX_EXPIRED (cctx_current)))
1661	if (expect_true (!next->cctx))	1762	if (ecb_expect_true (!next->cctx))
1662	next->cctx = cctx_get (aTHX);	1763	next->cctx = cctx_get (aTHX);
1663		1764
1664	cctx_put (cctx_current);	1765	cctx_put (cctx_current);
1665	}	1766	}
1666	else	1767	else
1667	prev->cctx = cctx_current;	1768	prev->cctx = cctx_current;
1668		1769
1669	++next->usecount;	1770	++next->usecount;
1670		1771
1671	cctx_prev = cctx_current;	1772	cctx_prev = cctx_current;
1672	cctx_current = expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);	1773	cctx_current = ecb_expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);
1673		1774
1674	next->cctx = 0;	1775	next->cctx = 0;
1675		1776
1676	if (expect_false (cctx_prev != cctx_current))	1777	if (ecb_expect_false (cctx_prev != cctx_current))
1677	{	1778	{
1678	cctx_prev->top_env = PL_top_env;	1779	cctx_prev->top_env = PL_top_env;
1679	PL_top_env = cctx_current->top_env;	1780	PL_top_env = cctx_current->top_env;
1680	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);	1781	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);
1681	}	1782	}
…		…
1701	return;	1802	return;
1702		1803
1703	slf_destroy (aTHX_ coro);	1804	slf_destroy (aTHX_ coro);
1704		1805
1705	coro->flags |= CF_ZOMBIE;	1806	coro->flags |= CF_ZOMBIE;
1706		1807
1707	if (coro->flags & CF_READY)	1808	if (coro->flags & CF_READY)
1708	{	1809	{
1709	/* reduce nready, as destroying a ready coro effectively unreadies it */	1810	/* reduce nready, as destroying a ready coro effectively unreadies it */
1710	/* alternative: look through all ready queues and remove the coro */	1811	/* alternative: look through all ready queues and remove the coro */
1711	--coro_nready;	1812	--coro_nready;
…		…
1747	Safefree (coro);	1848	Safefree (coro);
1748		1849
1749	return 0;	1850	return 0;
1750	}	1851	}
1751		1852
1752	static int	1853	static int ecb_cold
1753	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)	1854	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)
1754	{	1855	{
1755	/* called when perl clones the current process the slow way (windows process emulation) */	1856	/* called when perl clones the current process the slow way (windows process emulation) */
1756	/* WE SIMply nuke the pointers in the copy, causing perl to croak */	1857	/* WE SIMply nuke the pointers in the copy, causing perl to croak */
1757	mg->mg_ptr = 0;	1858	mg->mg_ptr = 0;
…		…
1788	TRANSFER (ta, 1);	1889	TRANSFER (ta, 1);
1789	}	1890	}
1790		1891
1791	/** Coro ********************************************************************/	1892	/** Coro ********************************************************************/
1792		1893
1793	INLINE void	1894	ecb_inline void
1794	coro_enq (pTHX_ struct coro *coro)	1895	coro_enq (pTHX_ struct coro *coro)
1795	{	1896	{
1796	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];	1897	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1797		1898
1798	SvREFCNT_inc_NN (coro->hv);	1899	SvREFCNT_inc_NN (coro->hv);
…		…
1800	coro->next_ready = 0;	1901	coro->next_ready = 0;
1801	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;	1902	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
1802	ready [1] = coro;	1903	ready [1] = coro;
1803	}	1904	}
1804		1905
1805	INLINE struct coro *	1906	ecb_inline struct coro *
1806	coro_deq (pTHX)	1907	coro_deq (pTHX)
1807	{	1908	{
1808	int prio;	1909	int prio;
1809		1910
1810	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )	1911	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
…		…
1863	{	1964	{
1864	return !!(SvSTATE (coro_sv)->flags & CF_READY);	1965	return !!(SvSTATE (coro_sv)->flags & CF_READY);
1865	}	1966	}
1866		1967
1867	/* expects to own a reference to next->hv */	1968	/* expects to own a reference to next->hv */
1868	INLINE void	1969	ecb_inline void
1869	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)	1970	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)
1870	{	1971	{
1871	SV *prev_sv = SvRV (coro_current);	1972	SV *prev_sv = SvRV (coro_current);
1872		1973
1873	ta->prev = SvSTATE_hv (prev_sv);	1974	ta->prev = SvSTATE_hv (prev_sv);
…		…
1886	{	1987	{
1887	for (;;)	1988	for (;;)
1888	{	1989	{
1889	struct coro *next = coro_deq (aTHX);	1990	struct coro *next = coro_deq (aTHX);
1890		1991
1891	if (expect_true (next))	1992	if (ecb_expect_true (next))
1892	{	1993	{
1893	/* cannot transfer to destroyed coros, skip and look for next */	1994	/* cannot transfer to destroyed coros, skip and look for next */
1894	if (expect_false (next->flags & (CF_ZOMBIE | CF_SUSPENDED)))	1995	if (ecb_expect_false (next->flags & (CF_ZOMBIE | CF_SUSPENDED)))
1895	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */	1996	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1896	else	1997	else
1897	{	1998	{
1898	next->flags &= ~CF_READY;	1999	next->flags &= ~CF_READY;
1899	--coro_nready;	2000	--coro_nready;
…		…
1907	/* nothing to schedule: call the idle handler */	2008	/* nothing to schedule: call the idle handler */
1908	if (SvROK (sv_idle)	2009	if (SvROK (sv_idle)
1909	&& SvOBJECT (SvRV (sv_idle)))	2010	&& SvOBJECT (SvRV (sv_idle)))
1910	{	2011	{
1911	if (SvRV (sv_idle) == SvRV (coro_current))	2012	if (SvRV (sv_idle) == SvRV (coro_current))
		2013	{
		2014	require_pv ("Carp");
		2015
		2016	{
		2017	dSP;
		2018
		2019	ENTER;
		2020	SAVETMPS;
		2021
		2022	PUSHMARK (SP);
1912	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");	2023	XPUSHs (sv_2mortal (newSVpv ("FATAL: $Coro::idle blocked itself - did you try to block inside an event loop callback? Caught", 0)));
		2024	PUTBACK;
		2025	call_pv ("Carp::confess", G_VOID | G_DISCARD);
		2026
		2027	FREETMPS;
		2028	LEAVE;
		2029	}
		2030	}
1913		2031
1914	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	2032	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1915	api_ready (aTHX_ SvRV (sv_idle));	2033	api_ready (aTHX_ SvRV (sv_idle));
1916	--coro_nready;	2034	--coro_nready;
1917	}	2035	}
…		…
1932	}	2050	}
1933	}	2051	}
1934	}	2052	}
1935	}	2053	}
1936		2054
1937	INLINE void	2055	ecb_inline void
1938	prepare_cede (pTHX_ struct coro_transfer_args *ta)	2056	prepare_cede (pTHX_ struct coro_transfer_args *ta)
1939	{	2057	{
1940	api_ready (aTHX_ coro_current);	2058	api_ready (aTHX_ coro_current);
1941	prepare_schedule (aTHX_ ta);	2059	prepare_schedule (aTHX_ ta);
1942	}	2060	}
1943		2061
1944	INLINE void	2062	ecb_inline void
1945	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)	2063	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)
1946	{	2064	{
1947	SV *prev = SvRV (coro_current);	2065	SV *prev = SvRV (coro_current);
1948		2066
1949	if (coro_nready)	2067	if (coro_nready)
…		…
1979	{	2097	{
1980	struct coro_transfer_args ta;	2098	struct coro_transfer_args ta;
1981		2099
1982	prepare_cede (aTHX_ &ta);	2100	prepare_cede (aTHX_ &ta);
1983		2101
1984	if (expect_true (ta.prev != ta.next))	2102	if (ecb_expect_true (ta.prev != ta.next))
1985	{	2103	{
1986	TRANSFER (ta, 1);	2104	TRANSFER (ta, 1);
1987	return 1;	2105	return 1;
1988	}	2106	}
1989	else	2107	else
…		…
2114	{	2232	{
2115	AV *od = coro->on_destroy;	2233	AV *od = coro->on_destroy;
2116		2234
2117	if (!od)	2235	if (!od)
2118	return;	2236	return;
		2237
		2238	coro->on_destroy = 0;
		2239	sv_2mortal ((SV *)od);
2119		2240
2120	while (AvFILLp (od) >= 0)	2241	while (AvFILLp (od) >= 0)
2121	{	2242	{
2122	SV *cb = sv_2mortal (av_pop (od));	2243	SV *cb = sv_2mortal (av_pop (od));
2123		2244
…		…
2144		2265
2145	static void	2266	static void
2146	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)	2267	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)
2147	{	2268	{
2148	AV *av;	2269	AV *av;
2149		2270
2150	if (coro->status)	2271	if (coro->status)
2151	{	2272	{
2152	av = coro->status;	2273	av = coro->status;
2153	av_clear (av);	2274	av_clear (av);
2154	}	2275	}
…		…
2201		2322
2202	coro = SvSTATE (arg [0]);	2323	coro = SvSTATE (arg [0]);
2203	coro_hv = coro->hv;	2324	coro_hv = coro->hv;
2204		2325
2205	coro_set_status (aTHX_ coro, arg + 1, items - 1);	2326	coro_set_status (aTHX_ coro, arg + 1, items - 1);
2206		2327
2207	if (expect_false (coro->flags & CF_NOCANCEL))	2328	if (ecb_expect_false (coro->flags & CF_NOCANCEL))
2208	{	2329	{
2209	/* coro currently busy cancelling something, so just notify it */	2330	/* coro currently busy cancelling something, so just notify it */
2210	coro->slf_frame.data = (void *)coro;	2331	coro->slf_frame.data = (void *)coro;
2211		2332
2212	frame->prepare = prepare_nop;	2333	frame->prepare = prepare_nop;
…		…
2218	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);	2339	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);
2219	}	2340	}
2220	else	2341	else
2221	{	2342	{
2222	struct coro *self = SvSTATE_current;	2343	struct coro *self = SvSTATE_current;
		2344
		2345	if (!self)
		2346	croak ("Coro::cancel called outside of thread content,");
2223		2347
2224	/* otherwise we cancel directly, purely for speed reasons	2348	/* otherwise we cancel directly, purely for speed reasons
2225	* unfortunately, this requires some magic trickery, as	2349	* unfortunately, this requires some magic trickery, as
2226	* somebody else could cancel us, so we have to fight the cancellation.	2350	* somebody else could cancel us, so we have to fight the cancellation.
2227	* this is ugly, and hopefully fully worth the extra speed.	2351	* this is ugly, and hopefully fully worth the extra speed.
…		…
2320	slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2444	slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2321	{	2445	{
2322	HV *hv = (HV *)SvRV (coro_current);	2446	HV *hv = (HV *)SvRV (coro_current);
2323	struct coro *coro = SvSTATE_hv ((SV *)hv);	2447	struct coro *coro = SvSTATE_hv ((SV *)hv);
2324		2448
2325	if (expect_true (coro->saved_deffh))	2449	if (ecb_expect_true (coro->saved_deffh))
2326	{	2450	{
2327	/* subsequent iteration */	2451	/* subsequent iteration */
2328	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;	2452	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
2329	coro->saved_deffh = 0;	2453	coro->saved_deffh = 0;
2330		2454
…		…
2337	else	2461	else
2338	{	2462	{
2339	av_clear (GvAV (PL_defgv));	2463	av_clear (GvAV (PL_defgv));
2340	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);	2464	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
2341		2465
		2466	if (ecb_expect_false (coro->swap_sv))
		2467	{
		2468	swap_svs_leave (coro);
		2469	SvREFCNT_dec_NN (coro->swap_sv);
		2470	coro->swap_sv = 0;
		2471	}
		2472
2342	coro->prio = 0;	2473	coro->prio = 0;
2343		2474
2344	if (coro->cctx && (coro->cctx->flags & CC_TRACE))	2475	if (ecb_expect_false (coro->cctx) && ecb_expect_false (coro->cctx->flags & CC_TRACE))
2345	api_trace (aTHX_ coro_current, 0);	2476	api_trace (aTHX_ coro_current, 0);
2346		2477
2347	frame->prepare = prepare_schedule;	2478	frame->prepare = prepare_schedule;
2348	av_push (av_async_pool, SvREFCNT_inc (hv));	2479	av_push (av_async_pool, SvREFCNT_inc (hv));
2349	}	2480	}
…		…
2390		2521
2391	static int	2522	static int
2392	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)	2523	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)
2393	{	2524	{
2394	SV *data = (SV *)frame->data;	2525	SV *data = (SV *)frame->data;
2395		2526
2396	if (CORO_THROW)	2527	if (CORO_THROW)
2397	return 0;	2528	return 0;
2398		2529
2399	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2530	if (SvTYPE (SvRV (data)) != SVt_PVAV)
2400	return 1;	2531	return 1;
…		…
2436	cb = sv_2mortal (coro->rouse_cb);	2567	cb = sv_2mortal (coro->rouse_cb);
2437	coro->rouse_cb = 0;	2568	coro->rouse_cb = 0;
2438	}	2569	}
2439		2570
2440	if (!SvROK (cb)	2571	if (!SvROK (cb)
2441	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2572	|| SvTYPE (SvRV (cb)) != SVt_PVCV
2442	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2573	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2443	croak ("Coro::rouse_wait called with illegal callback argument,");	2574	croak ("Coro::rouse_wait called with illegal callback argument,");
2444		2575
2445	{	2576	{
2446	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */	2577	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
…		…
2569		2700
2570	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */	2701	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */
2571	static void	2702	static void
2572	slf_destroy (pTHX_ struct coro *coro)	2703	slf_destroy (pTHX_ struct coro *coro)
2573	{	2704	{
2574	/* this callback is reserved for slf functions needing to do cleanup */	2705	struct CoroSLF frame = coro->slf_frame;
2575	if (coro->slf_frame.destroy && coro->slf_frame.prepare && !PL_dirty)
2576	coro->slf_frame.destroy (aTHX_ &coro->slf_frame);
2577		2706
2578	/*	2707	/*
2579	* The on_destroy above most likely is from an SLF call.	2708	* The on_destroy below most likely is from an SLF call.
2580	* Since by definition the SLF call will not finish when we destroy	2709	* Since by definition the SLF call will not finish when we destroy
2581	* the coro, we will have to force-finish it here, otherwise	2710	* the coro, we will have to force-finish it here, otherwise
2582	* cleanup functions cannot call SLF functions.	2711	* cleanup functions cannot call SLF functions.
2583	*/	2712	*/
2584	coro->slf_frame.prepare = 0;	2713	coro->slf_frame.prepare = 0;
		2714
		2715	/* this callback is reserved for slf functions needing to do cleanup */
		2716	if (frame.destroy && frame.prepare && !PL_dirty)
		2717	frame.destroy (aTHX_ &frame);
2585	}	2718	}
2586		2719
2587	/*	2720	/*
2588	* these not obviously related functions are all rolled into one	2721	* these not obviously related functions are all rolled into one
2589	* function to increase chances that they all will call transfer with the same	2722	* function to increase chances that they all will call transfer with the same
…		…
2596	I32 checkmark; /* mark SP to see how many elements check has pushed */	2729	I32 checkmark; /* mark SP to see how many elements check has pushed */
2597		2730
2598	/* set up the slf frame, unless it has already been set-up */	2731	/* set up the slf frame, unless it has already been set-up */
2599	/* the latter happens when a new coro has been started */	2732	/* the latter happens when a new coro has been started */
2600	/* or when a new cctx was attached to an existing coroutine */	2733	/* or when a new cctx was attached to an existing coroutine */
2601	if (expect_true (!slf_frame.prepare))	2734	if (ecb_expect_true (!slf_frame.prepare))
2602	{	2735	{
2603	/* first iteration */	2736	/* first iteration */
2604	dSP;	2737	dSP;
2605	SV **arg = PL_stack_base + TOPMARK + 1;	2738	SV **arg = PL_stack_base + TOPMARK + 1;
2606	int items = SP - arg; /* args without function object */	2739	int items = SP - arg; /* args without function object */
…		…
2647	while (slf_frame.check (aTHX_ &slf_frame));	2780	while (slf_frame.check (aTHX_ &slf_frame));
2648		2781
2649	slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */	2782	slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */
2650		2783
2651	/* exception handling */	2784	/* exception handling */
2652	if (expect_false (CORO_THROW))	2785	if (ecb_expect_false (CORO_THROW))
2653	{	2786	{
2654	SV *exception = sv_2mortal (CORO_THROW);	2787	SV *exception = sv_2mortal (CORO_THROW);
2655		2788
2656	CORO_THROW = 0;	2789	CORO_THROW = 0;
2657	sv_setsv (ERRSV, exception);	2790	sv_setsv (ERRSV, exception);
…		…
2659	}	2792	}
2660		2793
2661	/* return value handling - mostly like entersub */	2794	/* return value handling - mostly like entersub */
2662	/* make sure we put something on the stack in scalar context */	2795	/* make sure we put something on the stack in scalar context */
2663	if (GIMME_V == G_SCALAR	2796	if (GIMME_V == G_SCALAR
2664	&& expect_false (PL_stack_sp != PL_stack_base + checkmark + 1))	2797	&& ecb_expect_false (PL_stack_sp != PL_stack_base + checkmark + 1))
2665	{	2798	{
2666	dSP;	2799	dSP;
2667	SV **bot = PL_stack_base + checkmark;	2800	SV **bot = PL_stack_base + checkmark;
2668		2801
2669	if (sp == bot) /* too few, push undef */	2802	if (sp == bot) /* too few, push undef */
…		…
2774	{	2907	{
2775	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);	2908	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
2776	on_enterleave_call (aTHX_ sv_2mortal (cb));	2909	on_enterleave_call (aTHX_ sv_2mortal (cb));
2777	}	2910	}
2778		2911
		2912	static void
		2913	enterleave_hook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, void *arg)
		2914	{
		2915	if (!hook)
		2916	return;
		2917
		2918	if (!*avp)
		2919	{
		2920	*avp = newAV ();
		2921	AvREAL_off (*avp);
		2922	}
		2923
		2924	av_push (*avp, (SV *)hook);
		2925	av_push (*avp, (SV *)arg);
		2926	}
		2927
		2928	static void
		2929	enterleave_unhook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, int execute)
		2930	{
		2931	AV *av = *avp;
		2932	int i;
		2933
		2934	if (!av)
		2935	return;
		2936
		2937	for (i = AvFILLp (av) - 1; i >= 0; i -= 2)
		2938	if (AvARRAY (av)[i] == (SV *)hook)
		2939	{
		2940	if (execute)
		2941	hook (aTHX_ (void *)AvARRAY (av)[i + 1]);
		2942
		2943	memmove (AvARRAY (av) + i, AvARRAY (av) + i + 2, AvFILLp (av) - i - 1);
		2944	av_pop (av);
		2945	av_pop (av);
		2946	break;
		2947	}
		2948
		2949	if (AvFILLp (av) >= 0)
		2950	{
		2951	*avp = 0;
		2952	SvREFCNT_dec_NN (av);
		2953	}
		2954	}
		2955
		2956	static void
		2957	api_enterleave_hook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2958	{
		2959	struct coro *coro = SvSTATE (coro_sv);
		2960
		2961	if (SvSTATE_current == coro)
		2962	if (enter)
		2963	enter (aTHX_ enter_arg);
		2964
		2965	enterleave_hook_xs (aTHX_ coro, &coro->on_enter_xs, enter, enter_arg);
		2966	enterleave_hook_xs (aTHX_ coro, &coro->on_leave_xs, leave, leave_arg);
		2967	}
		2968
		2969	static void
		2970	api_enterleave_unhook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, coro_enterleave_hook leave)
		2971	{
		2972	struct coro *coro = SvSTATE (coro_sv);
		2973
		2974	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2975	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, SvSTATE_current == coro);
		2976	}
		2977
		2978	static void
		2979	savedestructor_unhook_enter (pTHX_ coro_enterleave_hook enter)
		2980	{
		2981	struct coro *coro = SvSTATE_current;
		2982
		2983	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2984	}
		2985
		2986	static void
		2987	savedestructor_unhook_leave (pTHX_ coro_enterleave_hook leave)
		2988	{
		2989	struct coro *coro = SvSTATE_current;
		2990
		2991	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, 1);
		2992	}
		2993
		2994	static void
		2995	api_enterleave_scope_hook (pTHX_ coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2996	{
		2997	api_enterleave_hook (aTHX_ coro_current, enter, enter_arg, leave, leave_arg);
		2998
		2999	/* this ought to be much cheaper than malloc + a single destructor call */
		3000	if (enter) SAVEDESTRUCTOR_X (savedestructor_unhook_enter, enter);
		3001	if (leave) SAVEDESTRUCTOR_X (savedestructor_unhook_leave, leave);
		3002	}
		3003
2779	/*****************************************************************************/	3004	/*****************************************************************************/
2780	/* PerlIO::cede */	3005	/* PerlIO::cede */
2781		3006
2782	typedef struct	3007	typedef struct
2783	{	3008	{
2784	PerlIOBuf base;	3009	PerlIOBuf base;
2785	NV next, every;	3010	NV next, every;
2786	} PerlIOCede;	3011	} PerlIOCede;
2787		3012
2788	static IV	3013	static IV ecb_cold
2789	PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)	3014	PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)
2790	{	3015	{
2791	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);	3016	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2792		3017
2793	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;	3018	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
2794	self->next = nvtime () + self->every;	3019	self->next = nvtime () + self->every;
2795		3020
2796	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);	3021	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
2797	}	3022	}
2798		3023
2799	static SV *	3024	static SV * ecb_cold
2800	PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)	3025	PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)
2801	{	3026	{
2802	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);	3027	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2803		3028
2804	return newSVnv (self->every);	3029	return newSVnv (self->every);
…		…
2911	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));	3136	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
2912	PUTBACK;	3137	PUTBACK;
2913	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);	3138	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
2914	}	3139	}
2915		3140
2916	SvREFCNT_dec (cb);	3141	SvREFCNT_dec_NN (cb);
2917	}	3142	}
2918	}	3143	}
2919		3144
2920	static void	3145	static void
2921	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)	3146	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)
…		…
2929	{	3154	{
2930	AV *av = (AV *)frame->data;	3155	AV *av = (AV *)frame->data;
2931	SV *count_sv = AvARRAY (av)[0];	3156	SV *count_sv = AvARRAY (av)[0];
2932	SV *coro_hv = SvRV (coro_current);	3157	SV *coro_hv = SvRV (coro_current);
2933		3158
		3159	frame->destroy = 0;
		3160
2934	/* if we are about to throw, don't actually acquire the lock, just throw */	3161	/* if we are about to throw, don't actually acquire the lock, just throw */
2935	if (CORO_THROW)	3162	if (ecb_expect_false (CORO_THROW))
		3163	{
		3164	/* we still might be responsible for the semaphore, so wake up others */
		3165	coro_semaphore_adjust (aTHX_ av, 0);
		3166
2936	return 0;	3167	return 0;
		3168	}
2937	else if (SvIVX (count_sv) > 0)	3169	else if (SvIVX (count_sv) > 0)
2938	{	3170	{
2939	frame->destroy = 0;
2940
2941	if (acquire)	3171	if (acquire)
2942	SvIVX (count_sv) = SvIVX (count_sv) - 1;	3172	SvIVX (count_sv) = SvIVX (count_sv) - 1;
2943	else	3173	else
2944	coro_semaphore_adjust (aTHX_ av, 0);	3174	coro_semaphore_adjust (aTHX_ av, 0);
2945		3175
…		…
2949	{	3179	{
2950	int i;	3180	int i;
2951	/* if we were woken up but can't down, we look through the whole */	3181	/* if we were woken up but can't down, we look through the whole */
2952	/* waiters list and only add us if we aren't in there already */	3182	/* waiters list and only add us if we aren't in there already */
2953	/* this avoids some degenerate memory usage cases */	3183	/* this avoids some degenerate memory usage cases */
2954	for (i = AvFILLp (av); i > 0; --i) // i > 0 is not an off-by-one bug	3184	for (i = AvFILLp (av); i > 0; --i) /* i > 0 is not an off-by-one bug */
2955	if (AvARRAY (av)[i] == coro_hv)	3185	if (AvARRAY (av)[i] == coro_hv)
2956	return 1;	3186	return 1;
2957		3187
2958	av_push (av, SvREFCNT_inc (coro_hv));	3188	av_push (av, SvREFCNT_inc (coro_hv));
2959	return 1;	3189	return 1;
…		…
3056	{	3286	{
3057	api_ready (aTHX_ cb);	3287	api_ready (aTHX_ cb);
3058	sv_setiv (cb, 0); /* signal waiter */	3288	sv_setiv (cb, 0); /* signal waiter */
3059	}	3289	}
3060		3290
3061	SvREFCNT_dec (cb);	3291	SvREFCNT_dec_NN (cb);
3062		3292
3063	--count;	3293	--count;
3064	}	3294	}
3065	}	3295	}
3066		3296
…		…
3151	}	3381	}
3152		3382
3153	av_push (state, data_sv);	3383	av_push (state, data_sv);
3154		3384
3155	api_ready (aTHX_ coro);	3385	api_ready (aTHX_ coro);
3156	SvREFCNT_dec (coro);	3386	SvREFCNT_dec_NN (coro);
3157	SvREFCNT_dec ((AV *)state);	3387	SvREFCNT_dec_NN ((AV *)state);
3158	}	3388	}
3159		3389
3160	static int	3390	static int
3161	slf_check_aio_req (pTHX_ struct CoroSLF *frame)	3391	slf_check_aio_req (pTHX_ struct CoroSLF *frame)
3162	{	3392	{
…		…
3167	/* it quickly returns */	3397	/* it quickly returns */
3168	if (CORO_THROW)	3398	if (CORO_THROW)
3169	return 0;	3399	return 0;
3170		3400
3171	/* one element that is an RV? repeat! */	3401	/* one element that is an RV? repeat! */
3172	if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))	3402	if (AvFILLp (state) == 0 && SvTYPE (AvARRAY (state)[0]) != SVt_PV)
3173	return 1;	3403	return 1;
3174		3404
3175	/* restore status */	3405	/* restore status */
3176	{	3406	{
3177	SV *data_sv = av_pop (state);	3407	SV *data_sv = av_pop (state);
…		…
3180	errno = data->errorno;	3410	errno = data->errorno;
3181	PL_laststype = data->laststype;	3411	PL_laststype = data->laststype;
3182	PL_laststatval = data->laststatval;	3412	PL_laststatval = data->laststatval;
3183	PL_statcache = data->statcache;	3413	PL_statcache = data->statcache;
3184		3414
3185	SvREFCNT_dec (data_sv);	3415	SvREFCNT_dec_NN (data_sv);
3186	}	3416	}
3187		3417
3188	/* push result values */	3418	/* push result values */
3189	{	3419	{
3190	dSP;	3420	dSP;
…		…
3216	dSP;	3446	dSP;
3217		3447
3218	static SV *prio_cv;	3448	static SV *prio_cv;
3219	static SV *prio_sv;	3449	static SV *prio_sv;
3220		3450
3221	if (expect_false (!prio_cv))	3451	if (ecb_expect_false (!prio_cv))
3222	{	3452	{
3223	prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);	3453	prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);
3224	prio_sv = newSViv (0);	3454	prio_sv = newSViv (0);
3225	}	3455	}
3226		3456
…		…
3332	}	3562	}
3333		3563
3334	return coro_sv;	3564	return coro_sv;
3335	}	3565	}
3336		3566
		3567	#ifndef __cplusplus
		3568	ecb_cold XS(boot_Coro__State);
		3569	#endif
		3570
		3571	#if CORO_JIT
		3572
		3573	static void ecb_noinline ecb_cold
		3574	pushav_4uv (pTHX_ UV a, UV b, UV c, UV d)
		3575	{
		3576	dSP;
		3577	AV *av = newAV ();
		3578
		3579	av_store (av, 3, newSVuv (d));
		3580	av_store (av, 2, newSVuv (c));
		3581	av_store (av, 1, newSVuv (b));
		3582	av_store (av, 0, newSVuv (a));
		3583
		3584	XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
		3585
		3586	PUTBACK;
		3587	}
		3588
		3589	static void ecb_noinline ecb_cold
		3590	jit_init (pTHX)
		3591	{
		3592	dSP;
		3593	SV *load, *save;
		3594	char *map_base;
		3595	char *load_ptr, *save_ptr;
		3596	STRLEN load_len, save_len, map_len;
		3597	int count;
		3598
		3599	eval_pv ("require 'Coro/jit-" CORO_JIT_TYPE ".pl'", 1);
		3600
		3601	PUSHMARK (SP);
		3602	#define VARx(name,expr,type) pushav_4uv (aTHX_ (UV)&(expr), sizeof (expr), offsetof (perl_slots, name), sizeof (type));
		3603	#include "state.h"
		3604	count = call_pv ("Coro::State::_jit", G_ARRAY);
		3605	SPAGAIN;
		3606
		3607	save = POPs; save_ptr = SvPVbyte (save, save_len);
		3608	load = POPs; load_ptr = SvPVbyte (load, load_len);
		3609
		3610	map_len = load_len + save_len + 16;
		3611
		3612	map_base = mmap (0, map_len, PROT_READ | PROT_WRITE | PROT_EXEC, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
		3613
		3614	assert (("Coro: unable to mmap jit code page, cannot continue.", map_base != (char *)MAP_FAILED));
		3615
		3616	load_perl_slots = (load_save_perl_slots_type)map_base;
		3617	memcpy (map_base, load_ptr, load_len);
		3618
		3619	map_base += (load_len + 15) & ~15;
		3620
		3621	save_perl_slots = (load_save_perl_slots_type)map_base;
		3622	memcpy (map_base, save_ptr, save_len);
		3623
		3624	/* we are good citizens and try to make the page read-only, so the evil evil */
		3625	/* hackers might have it a bit more difficult */
		3626	mprotect (map_base, map_len, PROT_READ | PROT_EXEC);
		3627
		3628	PUTBACK;
		3629	eval_pv ("undef &Coro::State::_jit", 1);
		3630	}
		3631
		3632	#endif
		3633
3337	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3634	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
3338		3635
3339	PROTOTYPES: DISABLE	3636	PROTOTYPES: DISABLE
3340		3637
3341	BOOT:	3638	BOOT:
3342	{	3639	{
		3640	#define VARx(name,expr,type) if (sizeof (type) < sizeof (expr)) croak ("FATAL: Coro thread context slot '" # name "' too small for this version of perl.");
		3641	#include "state.h"
3343	#ifdef USE_ITHREADS	3642	#ifdef USE_ITHREADS
3344	# if CORO_PTHREAD	3643	# if CORO_PTHREAD
3345	coro_thx = PERL_GET_CONTEXT;	3644	coro_thx = PERL_GET_CONTEXT;
3346	# endif	3645	# endif
3347	#endif	3646	#endif
3348	BOOT_PAGESIZE;	3647	/* perl defines these to check for existance first, but why it doesn't */
		3648	/* just create them one at init time is not clear to me, except for */
		3649	/* programs trying to delete them, but... */
		3650	/* anyway, we declare this as invalid and make sure they are initialised here */
		3651	DEFSV;
		3652	ERRSV;
3349		3653
3350	cctx_current = cctx_new_empty ();	3654	cctx_current = cctx_new_empty ();
3351		3655
3352	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);	3656	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
3353	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);	3657	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
3354		3658
3355	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;	3659	{
3356	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;	3660	/*
3357	orig_sigelem_clr = PL_vtbl_sigelem.svt_clear; PL_vtbl_sigelem.svt_clear = coro_sigelem_clr;	3661	* we provide a vtbvl for %SIG magic that replaces PL_vtbl_sig
		3662	* by coro_sig_vtbl in hash values.
		3663	*/
		3664	MAGIC *mg = mg_find ((SV *)GvHV (gv_fetchpv ("SIG", GV_ADD | GV_NOTQUAL, SVt_PVHV)), PERL_MAGIC_sig);
		3665
		3666	/* this only works if perl doesn't have a vtbl for %SIG */
		3667	assert (!mg->mg_virtual);
		3668
		3669	/*
		3670	* The irony is that the perl API itself asserts that mg_virtual
		3671	* must be non-const, yet perl5porters insisted on marking their
		3672	* vtbls as read-only, just to thwart perl modules from patching
		3673	* them.
		3674	*/
		3675	mg->mg_virtual = (MGVTBL *)&coro_sig_vtbl;
		3676	mg->mg_flags |= MGf_COPY;
		3677
		3678	coro_sigelem_vtbl = PL_vtbl_sigelem;
		3679	coro_sigelem_vtbl.svt_get = coro_sigelem_get;
		3680	coro_sigelem_vtbl.svt_set = coro_sigelem_set;
		3681	coro_sigelem_vtbl.svt_clear = coro_sigelem_clr;
		3682	}
3358		3683
3359	hv_sig = coro_get_hv (aTHX_ "SIG", TRUE);
3360	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));	3684	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));
3361	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));	3685	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));
3362		3686
3363	coro_state_stash = gv_stashpv ("Coro::State", TRUE);	3687	coro_state_stash = gv_stashpv ("Coro::State", TRUE);
3364		3688
…		…
3396	coroapi.prepare_cede_notself = prepare_cede_notself;	3720	coroapi.prepare_cede_notself = prepare_cede_notself;
3397		3721
3398	time_init (aTHX);	3722	time_init (aTHX);
3399		3723
3400	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));	3724	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
		3725	#if CORO_JIT
		3726	PUTBACK;
		3727	jit_init (aTHX);
		3728	SPAGAIN;
		3729	#endif
3401	}	3730	}
3402		3731
3403	SV *	3732	SV *
3404	new (SV *klass, ...)	3733	new (SV *klass, ...)
3405	ALIAS:	3734	ALIAS:
…		…
3412	void	3741	void
3413	transfer (...)	3742	transfer (...)
3414	PROTOTYPE: $$	3743	PROTOTYPE: $$
3415	CODE:	3744	CODE:
3416	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3745	CORO_EXECUTE_SLF_XS (slf_init_transfer);
3417
3418	void
3419	_exit (int code)
3420	PROTOTYPE: $
3421	CODE:
3422	_exit (code);
3423		3746
3424	SV *	3747	SV *
3425	clone (Coro::State coro)	3748	clone (Coro::State coro)
3426	CODE:	3749	CODE:
3427	{	3750	{
…		…
3482	void	3805	void
3483	list ()	3806	list ()
3484	PROTOTYPE:	3807	PROTOTYPE:
3485	PPCODE:	3808	PPCODE:
3486	{	3809	{
3487	struct coro *coro;	3810	struct coro *coro;
3488	for (coro = coro_first; coro; coro = coro->next)	3811	for (coro = coro_first; coro; coro = coro->next)
3489	if (coro->hv)	3812	if (coro->hv)
3490	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));	3813	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
3491	}	3814	}
3492		3815
…		…
3556	RETVAL = boolSV (coro->flags & ix);	3879	RETVAL = boolSV (coro->flags & ix);
3557	OUTPUT:	3880	OUTPUT:
3558	RETVAL	3881	RETVAL
3559		3882
3560	void	3883	void
3561	throw (Coro::State self, SV *exception = &PL_sv_undef)	3884	throw (SV *self, SV *exception = &PL_sv_undef)
3562	PROTOTYPE: $;$	3885	PROTOTYPE: $;$
3563	CODE:	3886	CODE:
3564	{	3887	{
		3888	struct coro *coro = SvSTATE (self);
3565	struct coro *current = SvSTATE_current;	3889	struct coro *current = SvSTATE_current;
3566	SV **exceptionp = self == current ? &CORO_THROW : &self->except;	3890	SV **exceptionp = coro == current ? &CORO_THROW : &coro->except;
3567	SvREFCNT_dec (*exceptionp);	3891	SvREFCNT_dec (*exceptionp);
3568	SvGETMAGIC (exception);	3892	SvGETMAGIC (exception);
3569	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;	3893	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
		3894
		3895	api_ready (aTHX_ self);
3570	}	3896	}
3571		3897
3572	void	3898	void
3573	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3899	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3574	PROTOTYPE: $;$	3900	PROTOTYPE: $;$
…		…
3651		3977
3652	void	3978	void
3653	times (Coro::State self)	3979	times (Coro::State self)
3654	PPCODE:	3980	PPCODE:
3655	{	3981	{
3656	struct coro *current = SvSTATE (coro_current);	3982	struct coro *current = SvSTATE (coro_current);
3657		3983
3658	if (expect_false (current == self))	3984	if (ecb_expect_false (current == self))
3659	{	3985	{
3660	coro_times_update ();	3986	coro_times_update ();
3661	coro_times_add (SvSTATE (coro_current));	3987	coro_times_add (SvSTATE (coro_current));
3662	}	3988	}
3663		3989
3664	EXTEND (SP, 2);	3990	EXTEND (SP, 2);
3665	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));	3991	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
3666	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));	3992	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
3667		3993
3668	if (expect_false (current == self))	3994	if (ecb_expect_false (current == self))
3669	coro_times_sub (SvSTATE (coro_current));	3995	coro_times_sub (SvSTATE (coro_current));
3670	}	3996	}
3671		3997
3672	void	3998	void
3673	swap_sv (Coro::State coro, SV *sv, SV *swapsv)	3999	swap_sv (Coro::State coro, SV *sva, SV *svb)
3674	CODE:	4000	CODE:
3675	{	4001	{
3676	struct coro *current = SvSTATE_current;	4002	struct coro *current = SvSTATE_current;
		4003	AV *swap_sv;
		4004	int i;
		4005
		4006	sva = SvRV (sva);
		4007	svb = SvRV (svb);
3677		4008
3678	if (current == coro)	4009	if (current == coro)
3679	SWAP_SVS (current);	4010	SWAP_SVS_LEAVE (current);
3680		4011
3681	if (!coro->swap_sv)	4012	if (!coro->swap_sv)
3682	coro->swap_sv = newAV ();	4013	coro->swap_sv = newAV ();
3683		4014
		4015	swap_sv = coro->swap_sv;
		4016
		4017	for (i = AvFILLp (swap_sv) - 1; i >= 0; i -= 2)
		4018	{
		4019	SV *a = AvARRAY (swap_sv)[i ];
		4020	SV *b = AvARRAY (swap_sv)[i + 1];
		4021
		4022	if (a == sva && b == svb)
		4023	{
		4024	SvREFCNT_dec_NN (a);
		4025	SvREFCNT_dec_NN (b);
		4026
		4027	for (; i <= AvFILLp (swap_sv) - 2; i++)
		4028	AvARRAY (swap_sv)[i] = AvARRAY (swap_sv)[i + 2];
		4029
		4030	AvFILLp (swap_sv) -= 2;
		4031
		4032	goto removed;
		4033	}
		4034	}
		4035
3684	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));	4036	av_push (swap_sv, SvREFCNT_inc_NN (sva));
3685	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));	4037	av_push (swap_sv, SvREFCNT_inc_NN (svb));
		4038
		4039	removed:
3686		4040
3687	if (current == coro)	4041	if (current == coro)
3688	SWAP_SVS (current);	4042	SWAP_SVS_ENTER (current);
3689	}	4043	}
3690		4044
3691		4045
3692	MODULE = Coro::State PACKAGE = Coro	4046	MODULE = Coro::State PACKAGE = Coro
3693		4047
3694	BOOT:	4048	BOOT:
3695	{	4049	{
		4050	if (SVt_LAST > 32)
		4051	croak ("Coro internal error: SVt_LAST > 32, swap_sv might need adjustment");
		4052
3696	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	4053	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3697	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	4054	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3698	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	4055	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3699	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	4056	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
3700	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);	4057	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
…		…
3704		4061
3705	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	4062	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3706	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	4063	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3707	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	4064	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3708	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */	4065	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3709		4066
3710	coro_stash = gv_stashpv ("Coro", TRUE);	4067	coro_stash = gv_stashpv ("Coro", TRUE);
3711		4068
3712	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));	4069	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3713	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));	4070	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3714	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));	4071	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
…		…
3726	coroapi.ready = api_ready;	4083	coroapi.ready = api_ready;
3727	coroapi.is_ready = api_is_ready;	4084	coroapi.is_ready = api_is_ready;
3728	coroapi.nready = coro_nready;	4085	coroapi.nready = coro_nready;
3729	coroapi.current = coro_current;	4086	coroapi.current = coro_current;
3730		4087
		4088	coroapi.enterleave_hook = api_enterleave_hook;
		4089	coroapi.enterleave_unhook = api_enterleave_unhook;
		4090	coroapi.enterleave_scope_hook = api_enterleave_scope_hook;
		4091
3731	/*GCoroAPI = &coroapi;*/	4092	/*GCoroAPI = &coroapi;*/
3732	sv_setiv (sv, (IV)&coroapi);	4093	sv_setiv (sv, (IV)&coroapi);
3733	SvREADONLY_on (sv);	4094	SvREADONLY_on (sv);
3734	}	4095	}
3735	}	4096	}
…		…
3800		4161
3801	void	4162	void
3802	_set_current (SV *current)	4163	_set_current (SV *current)
3803	PROTOTYPE: $	4164	PROTOTYPE: $
3804	CODE:	4165	CODE:
3805	SvREFCNT_dec (SvRV (coro_current));	4166	SvREFCNT_dec_NN (SvRV (coro_current));
3806	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));	4167	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
3807		4168
3808	void	4169	void
3809	_set_readyhook (SV *hook)	4170	_set_readyhook (SV *hook)
3810	PROTOTYPE: $	4171	PROTOTYPE: $
…		…
3894		4255
3895	if ((SV *)hv == &PL_sv_undef)	4256	if ((SV *)hv == &PL_sv_undef)
3896	{	4257	{
3897	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);	4258	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3898	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));	4259	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
3899	SvREFCNT_dec (sv);	4260	SvREFCNT_dec_NN (sv);
3900	}	4261	}
3901		4262
3902	{	4263	{
3903	struct coro *coro = SvSTATE_hv (hv);	4264	struct coro *coro = SvSTATE_hv (hv);
3904		4265
…		…
3911	api_ready (aTHX_ (SV *)hv);	4272	api_ready (aTHX_ (SV *)hv);
3912		4273
3913	if (GIMME_V != G_VOID)	4274	if (GIMME_V != G_VOID)
3914	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));	4275	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
3915	else	4276	else
3916	SvREFCNT_dec (hv);	4277	SvREFCNT_dec_NN (hv);
3917	}	4278	}
3918		4279
3919	SV *	4280	SV *
3920	rouse_cb ()	4281	rouse_cb ()
3921	PROTOTYPE:	4282	PROTOTYPE:
…		…
3936	on_leave = 1	4297	on_leave = 1
3937	PROTOTYPE: &	4298	PROTOTYPE: &
3938	CODE:	4299	CODE:
3939	{	4300	{
3940	struct coro *coro = SvSTATE_current;	4301	struct coro *coro = SvSTATE_current;
3941	AV **avp = ix ? &coro->on_leave : &coro->on_enter;	4302	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
3942		4303
3943	block = s_get_cv_croak (block);	4304	block = s_get_cv_croak (block);
3944		4305
3945	if (!*avp)	4306	if (!*avp)
3946	*avp = newAV ();	4307	*avp = newAV ();
…		…
3966		4327
3967	SV *	4328	SV *
3968	new (SV *klass, SV *count = 0)	4329	new (SV *klass, SV *count = 0)
3969	CODE:	4330	CODE:
3970	{	4331	{
3971	int semcnt = 1;	4332	int semcnt = 1;
3972		4333
3973	if (count)	4334	if (count)
3974	{	4335	{
3975	SvGETMAGIC (count);	4336	SvGETMAGIC (count);
3976		4337
…		…
4000	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);	4361	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);
4001	OUTPUT:	4362	OUTPUT:
4002	RETVAL	4363	RETVAL
4003		4364
4004	void	4365	void
4005	up (SV *self, int adjust = 1)	4366	up (SV *self)
4006	ALIAS:
4007	adjust = 1
4008	CODE:	4367	CODE:
		4368	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), 1);
		4369
		4370	void
		4371	adjust (SV *self, int adjust)
		4372	CODE:
4009	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);	4373	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), adjust);
4010		4374
4011	void	4375	void
4012	down (...)	4376	down (...)
4013	CODE:	4377	CODE:
4014	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);	4378	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
…		…
4036	XSRETURN_NO;	4400	XSRETURN_NO;
4037	}	4401	}
4038		4402
4039	void	4403	void
4040	waiters (SV *self)	4404	waiters (SV *self)
4041	PPCODE:	4405	PPCODE:
4042	{	4406	{
4043	AV *av = (AV *)SvRV (self);	4407	AV *av = (AV *)SvRV (self);
4044	int wcount = AvFILLp (av) + 1 - 1;	4408	int wcount = AvFILLp (av) + 1 - 1;
4045		4409
4046	if (GIMME_V == G_SCALAR)	4410	if (GIMME_V == G_SCALAR)
…		…
4055	}	4419	}
4056		4420
4057	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet	4421	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
4058		4422
4059	void	4423	void
4060	_may_delete (SV *sem, int count, int extra_refs)	4424	_may_delete (SV *sem, int count, unsigned int extra_refs)
4061	PPCODE:	4425	PPCODE:
4062	{	4426	{
4063	AV *av = (AV *)SvRV (sem);	4427	AV *av = (AV *)SvRV (sem);
4064		4428
4065	if (SvREFCNT ((SV *)av) == 1 + extra_refs	4429	if (SvREFCNT ((SV *)av) == 1 + extra_refs
4066	&& AvFILLp (av) == 0 /* no waiters, just count */	4430	&& AvFILLp (av) == 0 /* no waiters, just count */
4067	&& SvIV (AvARRAY (av)[0]) == count)	4431	&& SvIV (AvARRAY (av)[0]) == count)
4068	XSRETURN_YES;	4432	XSRETURN_YES;
…		…
4089		4453
4090	void	4454	void
4091	broadcast (SV *self)	4455	broadcast (SV *self)
4092	CODE:	4456	CODE:
4093	{	4457	{
4094	AV *av = (AV *)SvRV (self);	4458	AV *av = (AV *)SvRV (self);
4095	coro_signal_wake (aTHX_ av, AvFILLp (av));	4459	coro_signal_wake (aTHX_ av, AvFILLp (av));
4096	}	4460	}
4097		4461
4098	void	4462	void
4099	send (SV *self)	4463	send (SV *self)
…		…
4107	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */	4471	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */
4108	}	4472	}
4109		4473
4110	IV	4474	IV
4111	awaited (SV *self)	4475	awaited (SV *self)
4112	CODE:	4476	CODE:
4113	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;	4477	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;
4114	OUTPUT:	4478	OUTPUT:
4115	RETVAL	4479	RETVAL
4116		4480
4117		4481
…		…
4122		4486
4123	void	4487	void
4124	_schedule (...)	4488	_schedule (...)
4125	CODE:	4489	CODE:
4126	{	4490	{
4127	static int incede;	4491	static int incede;
4128		4492
4129	api_cede_notself (aTHX);	4493	api_cede_notself (aTHX);
4130		4494
4131	++incede;	4495	++incede;
4132	while (coro_nready >= incede && api_cede (aTHX))	4496	while (coro_nready >= incede && api_cede (aTHX))
…		…
4176	{	4540	{
4177	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;	4541	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
4178	coro_old_pp_sselect = 0;	4542	coro_old_pp_sselect = 0;
4179	}	4543	}
4180		4544
		4545	MODULE = Coro::State PACKAGE = Coro::Util
		4546
		4547	void
		4548	_exit (int code)
		4549	CODE:
		4550	_exit (code);
		4551
		4552	NV
		4553	time ()
		4554	CODE:
		4555	RETVAL = nvtime (aTHX);
		4556	OUTPUT:
		4557	RETVAL
		4558
		4559	NV
		4560	gettimeofday ()
		4561	PPCODE:
		4562	{
		4563	UV tv [2];
		4564	u2time (aTHX_ tv);
		4565	EXTEND (SP, 2);
		4566	PUSHs (sv_2mortal (newSVuv (tv [0])));
		4567	PUSHs (sv_2mortal (newSVuv (tv [1])));
		4568	}
		4569

Diff Legend

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