ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.400 by root, Thu May 12 23:55:39 2011 UTC vs.
Revision 1.470 by root, Fri Jul 14 13:14:32 2017 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	#if PERL_VERSION_ATLEAST(5,24,0)
		122	# define SUB_ARGARRAY PL_curpad[0]
		123	#else
		124	# define SUB_ARGARRAY (SV *)cx->blk_sub.argarray
		125	#endif
		126
		127	/* perl usually suppresses asserts. for debugging, we sometimes force it to be on */
		128	#if 0
		129	# undef NDEBUG
		130	# include <assert.h>
		131	#endif
		132
125	static double (*nvtime)(); /* so why doesn't it take void? */	133	static double (*nvtime)(); /* so why doesn't it take void? */
126	static void (*u2time)(pTHX_ UV ret[2]);	134	static void (*u2time)(pTHX_ UV ret[2]);
127		135
128	/* we hijack an hopefully unused CV flag for our purposes */	136	/* we hijack an hopefully unused CV flag for our purposes */
129	#define CVf_SLF 0x4000	137	#define CVf_SLF 0x4000
…		…
144		152
145	static GV *irsgv; /* $/ */	153	static GV *irsgv; /* $/ */
146	static GV *stdoutgv; /* *STDOUT */	154	static GV *stdoutgv; /* *STDOUT */
147	static SV *rv_diehook;	155	static SV *rv_diehook;
148	static SV *rv_warnhook;	156	static SV *rv_warnhook;
149	static HV *hv_sig; /* %SIG */
150		157
151	/* async_pool helper stuff */	158	/* async_pool helper stuff */
152	static SV *sv_pool_rss;	159	static SV *sv_pool_rss;
153	static SV *sv_pool_size;	160	static SV *sv_pool_size;
154	static SV *sv_async_pool_idle; /* description string */	161	static SV *sv_async_pool_idle; /* description string */
…		…
182	typedef struct coro_cctx	189	typedef struct coro_cctx
183	{	190	{
184	struct coro_cctx *next;	191	struct coro_cctx *next;
185		192
186	/* the stack */	193	/* the stack */
187	void *sptr;	194	struct coro_stack stack;
188	size_t ssize;
189		195
190	/* cpu state */	196	/* cpu state */
191	void *idle_sp; /* sp of top-level transfer/schedule/cede call */	197	void *idle_sp; /* sp of top-level transfer/schedule/cede call */
		198	#ifndef NDEBUG
192	JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */	199	JMPENV *idle_te; /* same as idle_sp, but for top_env */
		200	#endif
193	JMPENV *top_env;	201	JMPENV *top_env;
194	coro_context cctx;	202	coro_context cctx;
195		203
196	U32 gen;	204	U32 gen;
197	#if CORO_USE_VALGRIND	205	#if CORO_USE_VALGRIND
…		…
217	};	225	};
218		226
219	/* the structure where most of the perl state is stored, overlaid on the cxstack */	227	/* the structure where most of the perl state is stored, overlaid on the cxstack */
220	typedef struct	228	typedef struct
221	{	229	{
222	SV *defsv;
223	AV *defav;
224	SV *errsv;
225	SV *irsgv;
226	HV *hinthv;
227	#define VAR(name,type) type name;	230	#define VARx(name,expr,type) type name;
228	# include "state.h"	231	#include "state.h"
229	#undef VAR
230	} perl_slots;	232	} perl_slots;
231		233
232	// how many context stack entries do we need for perl_slots	234	/* 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))	235	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))
234		236
235	/* this is a structure representing a perl-level coroutine */	237	/* this is a structure representing a perl-level coroutine */
236	struct coro	238	struct coro
237	{	239	{
…		…
265	SV *saved_deffh;	267	SV *saved_deffh;
266	SV *invoke_cb;	268	SV *invoke_cb;
267	AV *invoke_av;	269	AV *invoke_av;
268		270
269	/* on_enter/on_leave */	271	/* on_enter/on_leave */
270	AV *on_enter;	272	AV *on_enter; AV *on_enter_xs;
271	AV *on_leave;	273	AV *on_leave; AV *on_leave_xs;
272		274
273	/* swap_sv */	275	/* swap_sv */
274	AV *swap_sv;	276	AV *swap_sv;
275		277
276	/* times */	278	/* times */
…		…
303	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */	305	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */
304	static CV *cv_coro_run;	306	static CV *cv_coro_run;
305	static struct coro *coro_first;	307	static struct coro *coro_first;
306	#define coro_nready coroapi.nready	308	#define coro_nready coroapi.nready
307		309
		310	/** JIT *********************************************************************/
		311
		312	#if CORO_JIT
		313	/* APPLE doesn't have mmap though */
		314	#define CORO_JIT_UNIXY (__linux || __FreeBSD__ || __OpenBSD__ || __NetBSD__ || __solaris || __APPLE__)
		315	#ifndef CORO_JIT_TYPE
		316	#if ECB_AMD64 && CORO_JIT_UNIXY
		317	#define CORO_JIT_TYPE "amd64-unix"
		318	#elif __i386 && CORO_JIT_UNIXY
		319	#define CORO_JIT_TYPE "x86-unix"
		320	#endif
		321	#endif
		322	#endif
		323
		324	#if !defined(CORO_JIT_TYPE) || _POSIX_MEMORY_PROTECTION <= 0
		325	#undef CORO_JIT
		326	#endif
		327
		328	#if CORO_JIT
		329	typedef void (*load_save_perl_slots_type)(perl_slots *);
		330	static load_save_perl_slots_type load_perl_slots, save_perl_slots;
		331	#endif
		332
308	/** Coro::Select ************************************************************/	333	/** Coro::Select ************************************************************/
309		334
310	static OP *(*coro_old_pp_sselect) (pTHX);	335	static OP *(*coro_old_pp_sselect) (pTHX);
311	static SV *coro_select_select;	336	static SV *coro_select_select;
312		337
…		…
327		352
328	/** time stuff **************************************************************/	353	/** time stuff **************************************************************/
329		354
330	#ifdef HAS_GETTIMEOFDAY	355	#ifdef HAS_GETTIMEOFDAY
331		356
332	static void	357	ecb_inline void
333	coro_u2time (pTHX_ UV ret[2])	358	coro_u2time (pTHX_ UV ret[2])
334	{	359	{
335	struct timeval tv;	360	struct timeval tv;
336	gettimeofday (&tv, 0);	361	gettimeofday (&tv, 0);
337		362
338	ret [0] = tv.tv_sec;	363	ret [0] = tv.tv_sec;
339	ret [1] = tv.tv_usec;	364	ret [1] = tv.tv_usec;
340	}	365	}
341		366
342	static double	367	ecb_inline double
343	coro_nvtime ()	368	coro_nvtime (void)
344	{	369	{
345	struct timeval tv;	370	struct timeval tv;
346	gettimeofday (&tv, 0);	371	gettimeofday (&tv, 0);
347		372
348	return tv.tv_sec + tv.tv_usec * 1e-6;	373	return tv.tv_sec + tv.tv_usec * 1e-6;
349	}	374	}
350		375
351	static void	376	ecb_inline void
352	time_init (pTHX)	377	time_init (pTHX)
353	{	378	{
354	nvtime = coro_nvtime;	379	nvtime = coro_nvtime;
355	u2time = coro_u2time;	380	u2time = coro_u2time;
356	}	381	}
357		382
358	#else	383	#else
359		384
360	static void	385	ecb_inline void
361	time_init (pTHX)	386	time_init (pTHX)
362	{	387	{
363	SV **svp;	388	SV **svp;
364		389
365	require_pv ("Time/HiRes.pm");	390	require_pv ("Time/HiRes.pm");
366		391
367	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);	392	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
368		393
369	if (!svp) croak ("Time::HiRes is required, but missing. Caught");	394	if (!svp) croak ("Time::HiRes is required, but missing. Caught");
370	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");	395	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");
371		396
…		…
377		402
378	#endif	403	#endif
379		404
380	/** lowlevel stuff **********************************************************/	405	/** lowlevel stuff **********************************************************/
381		406
382	static SV *	407	static SV * ecb_noinline
383	coro_get_sv (pTHX_ const char *name, int create)	408	coro_get_sv (pTHX_ const char *name, int create)
384	{	409	{
385	#if PERL_VERSION_ATLEAST (5,10,0)	410	#if PERL_VERSION_ATLEAST (5,10,0)
386	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	411	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
387	get_sv (name, create);	412	get_sv (name, create);
388	#endif	413	#endif
389	return get_sv (name, create);	414	return get_sv (name, create);
390	}	415	}
391		416
392	static AV *	417	static AV * ecb_noinline
393	coro_get_av (pTHX_ const char *name, int create)	418	coro_get_av (pTHX_ const char *name, int create)
394	{	419	{
395	#if PERL_VERSION_ATLEAST (5,10,0)	420	#if PERL_VERSION_ATLEAST (5,10,0)
396	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	421	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
397	get_av (name, create);	422	get_av (name, create);
398	#endif	423	#endif
399	return get_av (name, create);	424	return get_av (name, create);
400	}	425	}
401		426
402	static HV *	427	static HV * ecb_noinline
403	coro_get_hv (pTHX_ const char *name, int create)	428	coro_get_hv (pTHX_ const char *name, int create)
404	{	429	{
405	#if PERL_VERSION_ATLEAST (5,10,0)	430	#if PERL_VERSION_ATLEAST (5,10,0)
406	/* silence stupid and wrong 5.10 warning that I am unable to switch off */	431	/* silence stupid and wrong 5.10 warning that I am unable to switch off */
407	get_hv (name, create);	432	get_hv (name, create);
408	#endif	433	#endif
409	return get_hv (name, create);	434	return get_hv (name, create);
410	}	435	}
411		436
412	INLINE void	437	ecb_inline void
413	coro_times_update ()	438	coro_times_update (void)
414	{	439	{
415	#ifdef coro_clock_gettime	440	#ifdef coro_clock_gettime
416	struct timespec ts;	441	struct timespec ts;
417		442
418	ts.tv_sec = ts.tv_nsec = 0;	443	ts.tv_sec = ts.tv_nsec = 0;
…		…
430	time_real [0] = tv [0];	455	time_real [0] = tv [0];
431	time_real [1] = tv [1] * 1000;	456	time_real [1] = tv [1] * 1000;
432	#endif	457	#endif
433	}	458	}
434		459
435	INLINE void	460	ecb_inline void
436	coro_times_add (struct coro *c)	461	coro_times_add (struct coro *c)
437	{	462	{
438	c->t_real [1] += time_real [1];	463	c->t_real [1] += time_real [1];
439	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }	464	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
440	c->t_real [0] += time_real [0];	465	c->t_real [0] += time_real [0];
…		…
442	c->t_cpu [1] += time_cpu [1];	467	c->t_cpu [1] += time_cpu [1];
443	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }	468	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
444	c->t_cpu [0] += time_cpu [0];	469	c->t_cpu [0] += time_cpu [0];
445	}	470	}
446		471
447	INLINE void	472	ecb_inline void
448	coro_times_sub (struct coro *c)	473	coro_times_sub (struct coro *c)
449	{	474	{
450	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }	475	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];	476	c->t_real [1] -= time_real [1];
452	c->t_real [0] -= time_real [0];	477	c->t_real [0] -= time_real [0];
…		…
460	/* magic glue */	485	/* magic glue */
461		486
462	#define CORO_MAGIC_type_cv 26	487	#define CORO_MAGIC_type_cv 26
463	#define CORO_MAGIC_type_state PERL_MAGIC_ext	488	#define CORO_MAGIC_type_state PERL_MAGIC_ext
464		489
465	#define CORO_MAGIC_NN(sv, type) \	490	#define CORO_MAGIC_NN(sv, type) \
466	(expect_true (SvMAGIC (sv)->mg_type == type) \	491	(ecb_expect_true (SvMAGIC (sv)->mg_type == type) \
467	? SvMAGIC (sv) \	492	? SvMAGIC (sv) \
468	: mg_find (sv, type))	493	: mg_find (sv, type))
469		494
470	#define CORO_MAGIC(sv, type) \	495	#define CORO_MAGIC(sv, type) \
471	(expect_true (SvMAGIC (sv)) \	496	(ecb_expect_true (SvMAGIC (sv)) \
472	? CORO_MAGIC_NN (sv, type) \	497	? CORO_MAGIC_NN (sv, type) \
473	: 0)	498	: 0)
474		499
475	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)	500	#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)	501	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
477		502
478	INLINE MAGIC *	503	ecb_inline MAGIC *
479	SvSTATEhv_p (pTHX_ SV *coro)	504	SvSTATEhv_p (pTHX_ SV *coro)
480	{	505	{
481	MAGIC *mg;	506	MAGIC *mg;
482		507
483	if (expect_true (	508	if (ecb_expect_true (
484	SvTYPE (coro) == SVt_PVHV	509	SvTYPE (coro) == SVt_PVHV
485	&& (mg = CORO_MAGIC_state (coro))	510	&& (mg = CORO_MAGIC_state (coro))
486	&& mg->mg_virtual == &coro_state_vtbl	511	&& mg->mg_virtual == &coro_state_vtbl
487	))	512	))
488	return mg;	513	return mg;
489		514
490	return 0;	515	return 0;
491	}	516	}
492		517
493	INLINE struct coro *	518	ecb_inline struct coro *
494	SvSTATE_ (pTHX_ SV *coro)	519	SvSTATE_ (pTHX_ SV *coro_sv)
495	{	520	{
496	MAGIC *mg;	521	MAGIC *mg;
497		522
498	if (SvROK (coro))	523	if (SvROK (coro_sv))
499	coro = SvRV (coro);	524	coro_sv = SvRV (coro_sv);
500		525
501	mg = SvSTATEhv_p (coro);	526	mg = SvSTATEhv_p (aTHX_ coro_sv);
502	if (!mg)	527	if (!mg)
503	croak ("Coro::State object required");	528	croak ("Coro::State object required");
504		529
505	return (struct coro *)mg->mg_ptr;	530	return (struct coro *)mg->mg_ptr;
506	}	531	}
…		…
512	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))	537	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
513		538
514	/*****************************************************************************/	539	/*****************************************************************************/
515	/* padlist management and caching */	540	/* padlist management and caching */
516		541
517	static AV *	542	ecb_inline PADLIST *
518	coro_derive_padlist (pTHX_ CV *cv)	543	coro_derive_padlist (pTHX_ CV *cv)
519	{	544	{
520	AV *padlist = CvPADLIST (cv);	545	PADLIST *padlist = CvPADLIST (cv);
521	AV *newpadlist, *newpad;	546	PADLIST *newpadlist;
		547	PADNAMELIST *padnames;
		548	PAD *newpad;
		549	PADOFFSET off = PadlistMAX (padlist) + 1;
522		550
523	newpadlist = newAV ();	551	#if NEWPADAPI
		552
		553	/* if we had the original CvDEPTH, we might be able to steal the CvDEPTH+1 entry instead */
		554	/* 20131102194744.GA6705@schmorp.de, 20131102195825.2013.qmail@lists-nntp.develooper.com */
		555	while (!PadlistARRAY (padlist)[off - 1])
		556	--off;
		557
		558	Perl_pad_push (aTHX_ padlist, off);
		559
		560	newpad = PadlistARRAY (padlist)[off];
		561	PadlistARRAY (padlist)[off] = 0;
		562
		563	#else
		564
		565	#if PERL_VERSION_ATLEAST (5,10,0)
		566	Perl_pad_push (aTHX_ padlist, off);
		567	#else
		568	Perl_pad_push (aTHX_ padlist, off, 1);
		569	#endif
		570
		571	newpad = PadlistARRAY (padlist)[off];
		572	PadlistMAX (padlist) = off - 1;
		573
		574	#endif
		575
		576	newPADLIST (newpadlist);
		577	#if !PERL_VERSION_ATLEAST(5,15,3)
		578	/* Padlists are AvREAL as of 5.15.3. See perl bug #98092 and perl commit 7d953ba. */
524	AvREAL_off (newpadlist);	579	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	580	#endif
530	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
531	--AvFILLp (padlist);
532		581
533	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));	582	/* Already extended to 2 elements by newPADLIST. */
534	av_store (newpadlist, 1, (SV *)newpad);	583	PadlistMAX (newpadlist) = 1;
		584
		585	padnames = PadlistNAMES (padlist);
		586	++PadnamelistREFCNT (padnames);
		587	PadlistNAMES (newpadlist) = padnames;
		588
		589	PadlistARRAY (newpadlist)[1] = newpad;
535		590
536	return newpadlist;	591	return newpadlist;
537	}	592	}
538		593
539	static void	594	ecb_inline void
540	free_padlist (pTHX_ AV *padlist)	595	free_padlist (pTHX_ PADLIST *padlist)
541	{	596	{
542	/* may be during global destruction */	597	/* may be during global destruction */
543	if (!IN_DESTRUCT)	598	if (!IN_DESTRUCT)
544	{	599	{
545	I32 i = AvFILLp (padlist);	600	I32 i = PadlistMAX (padlist);
546		601
547	while (i > 0) /* special-case index 0 */	602	while (i > 0) /* special-case index 0 */
548	{	603	{
549	/* we try to be extra-careful here */	604	/* we try to be extra-careful here */
550	AV *av = (AV *)AvARRAY (padlist)[i--];	605	PAD *pad = PadlistARRAY (padlist)[i--];
551	I32 j = AvFILLp (av);
552		606
		607	if (pad)
		608	{
		609	I32 j = PadMAX (pad);
		610
553	while (j >= 0)	611	while (j >= 0)
554	SvREFCNT_dec (AvARRAY (av)[j--]);	612	SvREFCNT_dec (PadARRAY (pad)[j--]);
555		613
556	AvFILLp (av) = -1;	614	PadMAX (pad) = -1;
557	SvREFCNT_dec (av);	615	SvREFCNT_dec (pad);
		616	}
558	}	617	}
559		618
560	SvREFCNT_dec (AvARRAY (padlist)[0]);	619	PadnamelistREFCNT_dec (PadlistNAMES (padlist));
561		620
		621	#if NEWPADAPI
		622	Safefree (PadlistARRAY (padlist));
		623	Safefree (padlist);
		624	#else
562	AvFILLp (padlist) = -1;	625	AvFILLp (padlist) = -1;
		626	AvREAL_off (padlist);
563	SvREFCNT_dec ((SV*)padlist);	627	SvREFCNT_dec ((SV*)padlist);
		628	#endif
564	}	629	}
565	}	630	}
566		631
567	static int	632	static int
568	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	633	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
569	{	634	{
570	AV *padlist;	635	PADLIST *padlist;
571	AV *av = (AV *)mg->mg_obj;	636	PADLIST **padlists = (PADLIST **)(mg->mg_ptr + sizeof(size_t));
		637	size_t len = *(size_t *)mg->mg_ptr;
572		638
573	/* perl manages to free our internal AV and _then_ call us */	639	/* perl manages to free our internal AV and _then_ call us */
574	if (IN_DESTRUCT)	640	if (IN_DESTRUCT)
575	return 0;	641	return 0;
576		642
577	/* casting is fun. */	643	while (len--)
578	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
579	free_padlist (aTHX_ padlist);	644	free_padlist (aTHX_ padlists[len]);
580
581	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
582		645
583	return 0;	646	return 0;
584	}	647	}
585		648
586	static MGVTBL coro_cv_vtbl = {	649	static MGVTBL coro_cv_vtbl = {
587	0, 0, 0, 0,	650	0, 0, 0, 0,
588	coro_cv_free	651	coro_cv_free
589	};	652	};
590		653
591	/* the next two functions merely cache the padlists */	654	/* the next two functions merely cache the padlists */
592	static void	655	ecb_inline void
593	get_padlist (pTHX_ CV *cv)	656	get_padlist (pTHX_ CV *cv)
594	{	657	{
595	MAGIC *mg = CORO_MAGIC_cv (cv);	658	MAGIC *mg = CORO_MAGIC_cv (cv);
596	AV *av;	659	size_t *lenp;
597		660
598	if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))	661	if (ecb_expect_true (mg && *(lenp = (size_t *)mg->mg_ptr)))
599	CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];	662	CvPADLIST (cv) = ((PADLIST **)(mg->mg_ptr + sizeof(size_t)))[--*lenp];
600	else	663	else
601	{	664	{
602	#if CORO_PREFER_PERL_FUNCTIONS	665	#if CORO_PREFER_PERL_FUNCTIONS
603	/* this is probably cleaner? but also slower! */	666	/* this is probably cleaner? but also slower! */
604	/* in practise, it seems to be less stable */	667	/* in practise, it seems to be less stable */
…		…
610	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);	673	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
611	#endif	674	#endif
612	}	675	}
613	}	676	}
614		677
615	static void	678	ecb_inline void
616	put_padlist (pTHX_ CV *cv)	679	put_padlist (pTHX_ CV *cv)
617	{	680	{
618	MAGIC *mg = CORO_MAGIC_cv (cv);	681	MAGIC *mg = CORO_MAGIC_cv (cv);
619	AV *av;
620		682
621	if (expect_false (!mg))	683	if (ecb_expect_false (!mg))
		684	{
622	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	685	mg = sv_magicext ((SV *)cv, 0, CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
		686	Newz (0, mg->mg_ptr ,sizeof (size_t) + sizeof (PADLIST *), char);
		687	mg->mg_len = 1; /* so mg_free frees mg_ptr */
		688	}
		689	else
		690	Renew (mg->mg_ptr,
		691	sizeof(size_t) + (*(size_t *)mg->mg_ptr + 1) * sizeof(PADLIST *),
		692	char);
623		693
624	av = (AV *)mg->mg_obj;	694	((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	}	695	}
631		696
632	/** load & save, init *******************************************************/	697	/** load & save, init *******************************************************/
633		698
		699	ecb_inline void
		700	swap_sv (SV *a, SV *b)
		701	{
		702	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
		703	SV tmp;
		704
		705	/* swap sv_any */
		706	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		707
		708	/* swap sv_flags */
		709	SvFLAGS (&tmp) = SvFLAGS (a);
		710	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
		711	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
		712
		713	#if PERL_VERSION_ATLEAST (5,10,0)
		714	/* perl 5.10 and later complicates this _quite_ a bit, but it also
		715	* is much faster, so no quarrels here. alternatively, we could
		716	* sv_upgrade to avoid this.
		717	*/
		718	{
		719	/* swap sv_u */
		720	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		721
		722	/* if SvANY points to the head, we need to adjust the pointers,
		723	* as the pointer for a still points to b, and maybe vice versa.
		724	*/
		725	U32 svany_in_head_set = (1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV);
		726	#if NVSIZE <= IVSIZE && PERL_VERSION_ATLEAST(5,22,0)
		727	svany_in_head_set |= 1 << SVt_NV;
		728	#endif
		729
		730	#define svany_in_head(type) (svany_in_head_set & (1 << (type)))
		731
		732	if (svany_in_head (SvTYPE (a)))
		733	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		734
		735	if (svany_in_head (SvTYPE (b)))
		736	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		737	}
		738	#endif
		739	}
		740
634	/* swap sv heads, at least logically */	741	/* swap sv heads, at least logically */
635	static void	742	static void
636	swap_svs (pTHX_ Coro__State c)	743	swap_svs_enter (pTHX_ Coro__State c)
637	{	744	{
638	int i;	745	int i;
639		746
640	for (i = 0; i <= AvFILLp (c->swap_sv); )	747	for (i = 0; i <= AvFILLp (c->swap_sv); i += 2)
641	{	748	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	}	749	}
680		750
		751	static void
		752	swap_svs_leave (pTHX_ Coro__State c)
		753	{
		754	int i;
		755
		756	for (i = AvFILLp (c->swap_sv) - 1; i >= 0; i -= 2)
		757	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
		758	}
		759
681	#define SWAP_SVS(coro) \	760	#define SWAP_SVS_ENTER(coro) \
682	if (expect_false ((coro)->swap_sv)) \	761	if (ecb_expect_false ((coro)->swap_sv)) \
683	swap_svs (aTHX_ (coro))	762	swap_svs_enter (aTHX_ (coro))
		763
		764	#define SWAP_SVS_LEAVE(coro) \
		765	if (ecb_expect_false ((coro)->swap_sv)) \
		766	swap_svs_leave (aTHX_ (coro))
684		767
685	static void	768	static void
686	on_enterleave_call (pTHX_ SV *cb);	769	on_enterleave_call (pTHX_ SV *cb);
687		770
688	static void	771	static void
…		…
691	perl_slots *slot = c->slot;	774	perl_slots *slot = c->slot;
692	c->slot = 0;	775	c->slot = 0;
693		776
694	PL_mainstack = c->mainstack;	777	PL_mainstack = c->mainstack;
695		778
696	GvSV (PL_defgv) = slot->defsv;	779	#if CORO_JIT
697	GvAV (PL_defgv) = slot->defav;	780	load_perl_slots (slot);
698	GvSV (PL_errgv) = slot->errsv;	781	#else
699	GvSV (irsgv) = slot->irsgv;
700	GvHV (PL_hintgv) = slot->hinthv;
701
702	#define VAR(name,type) PL_ ## name = slot->name;	782	#define VARx(name,expr,type) expr = slot->name;
703	# include "state.h"	783	#include "state.h"
704	#undef VAR	784	#endif
705		785
706	{	786	{
707	dSP;	787	dSP;
708		788
709	CV *cv;	789	CV *cv;
710		790
711	/* now do the ugly restore mess */	791	/* now do the ugly restore mess */
712	while (expect_true (cv = (CV *)POPs))	792	while (ecb_expect_true (cv = (CV *)POPs))
713	{	793	{
714	put_padlist (aTHX_ cv); /* mark this padlist as available */	794	put_padlist (aTHX_ cv); /* mark this padlist as available */
715	CvDEPTH (cv) = PTR2IV (POPs);	795	CvDEPTH (cv) = PTR2IV (POPs);
716	CvPADLIST (cv) = (AV *)POPs;	796	CvPADLIST (cv) = (PADLIST *)POPs;
717	}	797	}
718		798
719	PUTBACK;	799	PUTBACK;
720	}	800	}
721		801
722	slf_frame = c->slf_frame;	802	slf_frame = c->slf_frame;
723	CORO_THROW = c->except;	803	CORO_THROW = c->except;
724		804
725	if (expect_false (enable_times))	805	if (ecb_expect_false (enable_times))
726	{	806	{
727	if (expect_false (!times_valid))	807	if (ecb_expect_false (!times_valid))
728	coro_times_update ();	808	coro_times_update ();
729		809
730	coro_times_sub (c);	810	coro_times_sub (c);
731	}	811	}
732		812
733	if (expect_false (c->on_enter))	813	if (ecb_expect_false (c->on_enter))
734	{	814	{
735	int i;	815	int i;
736		816
737	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	817	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
738	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	818	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
739	}	819	}
740		820
		821	if (ecb_expect_false (c->on_enter_xs))
		822	{
		823	int i;
		824
		825	for (i = 0; i <= AvFILLp (c->on_enter_xs); i += 2)
		826	((coro_enterleave_hook)AvARRAY (c->on_enter_xs)[i]) (aTHX_ AvARRAY (c->on_enter_xs)[i + 1]);
		827	}
		828
741	SWAP_SVS (c);	829	SWAP_SVS_ENTER (c);
742	}	830	}
743		831
744	static void	832	static void
745	save_perl (pTHX_ Coro__State c)	833	save_perl (pTHX_ Coro__State c)
746	{	834	{
747	SWAP_SVS (c);	835	SWAP_SVS_LEAVE (c);
748		836
		837	if (ecb_expect_false (c->on_leave_xs))
		838	{
		839	int i;
		840
		841	for (i = AvFILLp (c->on_leave_xs) - 1; i >= 0; i -= 2)
		842	((coro_enterleave_hook)AvARRAY (c->on_leave_xs)[i]) (aTHX_ AvARRAY (c->on_leave_xs)[i + 1]);
		843	}
		844
749	if (expect_false (c->on_leave))	845	if (ecb_expect_false (c->on_leave))
750	{	846	{
751	int i;	847	int i;
752		848
753	for (i = AvFILLp (c->on_leave); i >= 0; --i)	849	for (i = AvFILLp (c->on_leave); i >= 0; --i)
754	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);	850	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
755	}	851	}
756		852
757	times_valid = 0;	853	times_valid = 0;
758		854
759	if (expect_false (enable_times))	855	if (ecb_expect_false (enable_times))
760	{	856	{
761	coro_times_update (); times_valid = 1;	857	coro_times_update (); times_valid = 1;
762	coro_times_add (c);	858	coro_times_add (c);
763	}	859	}
764		860
…		…
778		874
779	XPUSHs (Nullsv);	875	XPUSHs (Nullsv);
780	/* this loop was inspired by pp_caller */	876	/* this loop was inspired by pp_caller */
781	for (;;)	877	for (;;)
782	{	878	{
783	while (expect_true (cxix >= 0))	879	while (ecb_expect_true (cxix >= 0))
784	{	880	{
785	PERL_CONTEXT *cx = &ccstk[cxix--];	881	PERL_CONTEXT *cx = &ccstk[cxix--];
786		882
787	if (expect_true (CxTYPE (cx) == CXt_SUB) || expect_false (CxTYPE (cx) == CXt_FORMAT))	883	if (ecb_expect_true (CxTYPE (cx) == CXt_SUB) || ecb_expect_false (CxTYPE (cx) == CXt_FORMAT))
788	{	884	{
789	CV *cv = cx->blk_sub.cv;	885	CV *cv = cx->blk_sub.cv;
790		886
791	if (expect_true (CvDEPTH (cv)))	887	if (ecb_expect_true (CvDEPTH (cv)))
792	{	888	{
793	EXTEND (SP, 3);	889	EXTEND (SP, 3);
794	PUSHs ((SV *)CvPADLIST (cv));	890	PUSHs ((SV *)CvPADLIST (cv));
795	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));	891	PUSHs (INT2PTR (SV *, (IV)CvDEPTH (cv)));
796	PUSHs ((SV *)cv);	892	PUSHs ((SV *)cv);
…		…
799	get_padlist (aTHX_ cv);	895	get_padlist (aTHX_ cv);
800	}	896	}
801	}	897	}
802	}	898	}
803		899
804	if (expect_true (top_si->si_type == PERLSI_MAIN))	900	if (ecb_expect_true (top_si->si_type == PERLSI_MAIN))
805	break;	901	break;
806		902
807	top_si = top_si->si_prev;	903	top_si = top_si->si_prev;
808	ccstk = top_si->si_cxstack;	904	ccstk = top_si->si_cxstack;
809	cxix = top_si->si_cxix;	905	cxix = top_si->si_cxix;
…		…
811		907
812	PUTBACK;	908	PUTBACK;
813	}	909	}
814		910
815	/* allocate some space on the context stack for our purposes */	911	/* allocate some space on the context stack for our purposes */
816	if (expect_false (cxstack_ix + SLOT_COUNT >= cxstack_max))	912	if (ecb_expect_false (cxstack_ix + (int)SLOT_COUNT >= cxstack_max))
817	{	913	{
818	unsigned int i;	914	unsigned int i;
819		915
820	for (i = 0; i < SLOT_COUNT; ++i)	916	for (i = 0; i < SLOT_COUNT; ++i)
821	CXINC;	917	CXINC;
…		…
826	c->mainstack = PL_mainstack;	922	c->mainstack = PL_mainstack;
827		923
828	{	924	{
829	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);	925	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
830		926
831	slot->defav = GvAV (PL_defgv);	927	#if CORO_JIT
832	slot->defsv = DEFSV;	928	save_perl_slots (slot);
833	slot->errsv = ERRSV;	929	#else
834	slot->irsgv = GvSV (irsgv);
835	slot->hinthv = GvHV (PL_hintgv);
836
837	#define VAR(name,type) slot->name = PL_ ## name;	930	#define VARx(name,expr,type) slot->name = expr;
838	# include "state.h"	931	#include "state.h"
839	#undef VAR	932	#endif
840	}	933	}
841	}	934	}
842		935
843	/*	936	/*
844	* allocate various perl stacks. This is almost an exact copy	937	* allocate various perl stacks. This is almost an exact copy
…		…
875	#endif	968	#endif
876		969
877	New(54,PL_scopestack,8,I32);	970	New(54,PL_scopestack,8,I32);
878	PL_scopestack_ix = 0;	971	PL_scopestack_ix = 0;
879	PL_scopestack_max = 8;	972	PL_scopestack_max = 8;
		973	#if HAS_SCOPESTACK_NAME
		974	New(54,PL_scopestack_name,8,const char*);
		975	#endif
880		976
881	New(54,PL_savestack,24,ANY);	977	New(54,PL_savestack,24,ANY);
882	PL_savestack_ix = 0;	978	PL_savestack_ix = 0;
883	PL_savestack_max = 24;	979	PL_savestack_max = 24;
		980	#if PERL_VERSION_ATLEAST (5,24,0)
		981	/* perl 5.24 moves SS_MAXPUSH optimisation from */
		982	/* the header macros to PL_savestack_max */
		983	PL_savestack_max -= SS_MAXPUSH;
		984	#endif
884		985
885	#if !PERL_VERSION_ATLEAST (5,10,0)	986	#if !PERL_VERSION_ATLEAST (5,10,0)
886	New(54,PL_retstack,4,OP*);	987	New(54,PL_retstack,4,OP*);
887	PL_retstack_ix = 0;	988	PL_retstack_ix = 0;
888	PL_retstack_max = 4;	989	PL_retstack_max = 4;
…		…
912	}	1013	}
913		1014
914	Safefree (PL_tmps_stack);	1015	Safefree (PL_tmps_stack);
915	Safefree (PL_markstack);	1016	Safefree (PL_markstack);
916	Safefree (PL_scopestack);	1017	Safefree (PL_scopestack);
		1018	#if HAS_SCOPESTACK_NAME
		1019	Safefree (PL_scopestack_name);
		1020	#endif
917	Safefree (PL_savestack);	1021	Safefree (PL_savestack);
918	#if !PERL_VERSION_ATLEAST (5,10,0)	1022	#if !PERL_VERSION_ATLEAST (5,10,0)
919	Safefree (PL_retstack);	1023	Safefree (PL_retstack);
920	#endif	1024	#endif
921	}	1025	}
…		…
951	}	1055	}
952		1056
953	return rss;	1057	return rss;
954	}	1058	}
955		1059
956	/** coroutine stack handling ************************************************/	1060	/** 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		1061
962	/* apparently < 5.8.8 */	1062	/* apparently < 5.8.8 */
963	#ifndef MgPV_nolen_const	1063	#ifndef MgPV_nolen_const
964	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \	1064	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \
965	SvPV_nolen((SV*)((mg)->mg_ptr)) : \	1065	SvPV_nolen((SV*)((mg)->mg_ptr)) : \
966	(const char*)(mg)->mg_ptr)	1066	(const char*)(mg)->mg_ptr)
967	#endif	1067	#endif
968		1068
		1069	/* this will be a patched copy of PL_vtbl_sigelem */
		1070	static MGVTBL coro_sigelem_vtbl;
		1071
		1072	static int ecb_cold
		1073	coro_sig_copy (pTHX_ SV *sv, MAGIC *mg, SV *nsv, const char *name, I32 namlen)
		1074	{
		1075	char *key = SvPV_nolen ((SV *)name);
		1076
		1077	/* do what mg_copy normally does */
		1078	sv_magic (nsv, mg->mg_obj, PERL_MAGIC_sigelem, name, namlen);
		1079	assert (mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual == &PL_vtbl_sigelem);
		1080
		1081	/* patch sigelem vtbl, but only for __WARN__ and __DIE__ */
		1082	if (*key == '_'
		1083	&& (strEQ (key, "__DIE__")
		1084	|| strEQ (key, "__WARN__")))
		1085	mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual = &coro_sigelem_vtbl;
		1086
		1087	return 1;
		1088	}
		1089
		1090	/* perl does not have a %SIG vtbl, we provide one so we can override */
		1091	/* the magic vtbl for the __DIE__ and __WARN__ members */
		1092	static const MGVTBL coro_sig_vtbl = {
		1093	0, 0, 0, 0, 0,
		1094	coro_sig_copy
		1095	};
		1096
969	/*	1097	/*
970	* This overrides the default magic get method of %SIG elements.	1098	* 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	1099	* 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, we just provide	1100	* and instead of trying to save and restore the hash elements (extremely slow),
973	* readback here.	1101	* we just provide our own readback here.
974	*/	1102	*/
975	static int	1103	static int ecb_cold
976	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	1104	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
977	{	1105	{
978	const char *s = MgPV_nolen_const (mg);	1106	const char *s = MgPV_nolen_const (mg);
		1107	/* the key must be either __DIE__ or __WARN__ here */
		1108	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
979		1109
980	if (*s == '_')	1110	SV *ssv;
981	{
982	SV **svp = 0;
983		1111
984	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
985	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
986
987	if (svp)	1112	if (!*svp)
988	{	1113	ssv = &PL_sv_undef;
989	sv_setsv (sv, *svp ? *svp : &PL_sv_undef);	1114	else if (SvTYPE (*svp) == SVt_PVCV) /* perlio directly stores a CV in warnhook. ugh. */
990	return 0;	1115	ssv = sv_2mortal (newRV_inc (*svp));
991	}	1116	else
992	}	1117	ssv = *svp;
993		1118
994	return orig_sigelem_get ? orig_sigelem_get (aTHX_ sv, mg) : 0;	1119	sv_setsv (sv, ssv);
		1120	return 0;
995	}	1121	}
996		1122
997	static int	1123	static int ecb_cold
998	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)	1124	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)
999	{	1125	{
1000	const char *s = MgPV_nolen_const (mg);	1126	const char *s = MgPV_nolen_const (mg);
		1127	/* the key must be either __DIE__ or __WARN__ here */
		1128	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
1001		1129
1002	if (*s == '_')
1003	{
1004	SV **svp = 0;
1005
1006	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
1007	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
1008
1009	if (svp)
1010	{
1011	SV *old = *svp;	1130	SV *old = *svp;
1012	*svp = 0;	1131	*svp = 0;
1013	SvREFCNT_dec (old);	1132	SvREFCNT_dec (old);
1014	return 0;	1133	return 0;
1015	}
1016	}
1017
1018	return orig_sigelem_clr ? orig_sigelem_clr (aTHX_ sv, mg) : 0;
1019	}	1134	}
1020		1135
1021	static int	1136	static int ecb_cold
1022	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)	1137	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)
1023	{	1138	{
1024	const char *s = MgPV_nolen_const (mg);	1139	const char *s = MgPV_nolen_const (mg);
		1140	/* the key must be either __DIE__ or __WARN__ here */
		1141	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
1025		1142
1026	if (*s == '_')
1027	{
1028	SV **svp = 0;
1029
1030	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
1031	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
1032
1033	if (svp)
1034	{
1035	SV *old = *svp;	1143	SV *old = *svp;
1036	*svp = SvOK (sv) ? newSVsv (sv) : 0;	1144	*svp = SvOK (sv) ? newSVsv (sv) : 0;
1037	SvREFCNT_dec (old);	1145	SvREFCNT_dec (old);
1038	return 0;	1146	return 0;
1039	}
1040	}
1041
1042	return orig_sigelem_set ? orig_sigelem_set (aTHX_ sv, mg) : 0;
1043	}	1147	}
1044		1148
1045	static void	1149	static void
1046	prepare_nop (pTHX_ struct coro_transfer_args *ta)	1150	prepare_nop (pTHX_ struct coro_transfer_args *ta)
1047	{	1151	{
…		…
1059	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1163	slf_check_repeat (pTHX_ struct CoroSLF *frame)
1060	{	1164	{
1061	return 1;	1165	return 1;
1062	}	1166	}
1063		1167
		1168	/** coroutine stack handling ************************************************/
		1169
1064	static UNOP init_perl_op;	1170	static UNOP init_perl_op;
1065		1171
1066	static void NOINLINE /* noinline to keep it out of the transfer fast path */	1172	ecb_noinline static void /* noinline to keep it out of the transfer fast path */
1067	init_perl (pTHX_ struct coro *coro)	1173	init_perl (pTHX_ struct coro *coro)
1068	{	1174	{
1069	/*	1175	/*
1070	* emulate part of the perl startup here.	1176	* emulate part of the perl startup here.
1071	*/	1177	*/
…		…
1086	PL_parser = 0;	1192	PL_parser = 0;
1087	#endif	1193	#endif
1088	PL_hints = 0;	1194	PL_hints = 0;
1089		1195
1090	/* recreate the die/warn hooks */	1196	/* recreate the die/warn hooks */
1091	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );	1197	PL_diehook = SvREFCNT_inc (rv_diehook);
1092	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);	1198	PL_warnhook = SvREFCNT_inc (rv_warnhook);
1093		1199
1094	GvSV (PL_defgv) = newSV (0);	1200	GvSV (PL_defgv) = newSV (0);
1095	GvAV (PL_defgv) = coro->args; coro->args = 0;	1201	GvAV (PL_defgv) = coro->args; coro->args = 0;
1096	GvSV (PL_errgv) = newSV (0);	1202	GvSV (PL_errgv) = newSV (0);
1097	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	1203	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
1098	GvHV (PL_hintgv) = 0;	1204	GvHV (PL_hintgv) = newHV ();
		1205	#if PERL_VERSION_ATLEAST (5,10,0)
		1206	hv_magic (GvHV (PL_hintgv), 0, PERL_MAGIC_hints);
		1207	#endif
1099	PL_rs = newSVsv (GvSV (irsgv));	1208	PL_rs = newSVsv (GvSV (irsgv));
1100	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	1209	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
1101		1210
1102	{	1211	{
1103	dSP;	1212	dSP;
…		…
1131	PL_op = (OP *)&init_perl_op;	1240	PL_op = (OP *)&init_perl_op;
1132		1241
1133	/* copy throw, in case it was set before init_perl */	1242	/* copy throw, in case it was set before init_perl */
1134	CORO_THROW = coro->except;	1243	CORO_THROW = coro->except;
1135		1244
1136	SWAP_SVS (coro);	1245	SWAP_SVS_ENTER (coro);
1137		1246
1138	if (expect_false (enable_times))	1247	if (ecb_expect_false (enable_times))
1139	{	1248	{
1140	coro_times_update ();	1249	coro_times_update ();
1141	coro_times_sub (coro);	1250	coro_times_sub (coro);
1142	}	1251	}
1143	}	1252	}
…		…
1179	/* this will cause transfer_check to croak on block*/	1288	/* this will cause transfer_check to croak on block*/
1180	SvRV_set (coro_current, (SV *)coro->hv);	1289	SvRV_set (coro_current, (SV *)coro->hv);
1181		1290
1182	load_perl (aTHX_ coro);	1291	load_perl (aTHX_ coro);
1183		1292
		1293	/* restore swapped sv's */
		1294	SWAP_SVS_LEAVE (coro);
		1295
1184	coro_unwind_stacks (aTHX);	1296	coro_unwind_stacks (aTHX);
1185		1297
1186	/* restore swapped sv's */
1187	SWAP_SVS (coro);
1188
1189	coro_destruct_stacks (aTHX);	1298	coro_destruct_stacks (aTHX);
1190		1299
1191	// now save some sv's to be free'd later	1300	/* now save some sv's to be free'd later */
1192	svf [0] = GvSV (PL_defgv);	1301	svf [0] = GvSV (PL_defgv);
1193	svf [1] = (SV *)GvAV (PL_defgv);	1302	svf [1] = (SV *)GvAV (PL_defgv);
1194	svf [2] = GvSV (PL_errgv);	1303	svf [2] = GvSV (PL_errgv);
1195	svf [3] = (SV *)PL_defoutgv;	1304	svf [3] = (SV *)PL_defoutgv;
1196	svf [4] = PL_rs;	1305	svf [4] = PL_rs;
…		…
1213		1322
1214	SvREFCNT_dec (coro->saved_deffh);	1323	SvREFCNT_dec (coro->saved_deffh);
1215	SvREFCNT_dec (coro->rouse_cb);	1324	SvREFCNT_dec (coro->rouse_cb);
1216	SvREFCNT_dec (coro->invoke_cb);	1325	SvREFCNT_dec (coro->invoke_cb);
1217	SvREFCNT_dec (coro->invoke_av);	1326	SvREFCNT_dec (coro->invoke_av);
		1327	SvREFCNT_dec (coro->on_enter_xs);
		1328	SvREFCNT_dec (coro->on_leave_xs);
1218	}	1329	}
1219	}	1330	}
1220		1331
1221	INLINE void	1332	ecb_inline void
1222	free_coro_mortal (pTHX)	1333	free_coro_mortal (pTHX)
1223	{	1334	{
1224	if (expect_true (coro_mortal))	1335	if (ecb_expect_true (coro_mortal))
1225	{	1336	{
1226	SvREFCNT_dec ((SV *)coro_mortal);	1337	SvREFCNT_dec ((SV *)coro_mortal);
1227	coro_mortal = 0;	1338	coro_mortal = 0;
1228	}	1339	}
1229	}	1340	}
…		…
1285		1396
1286	if (PL_curcop != &PL_compiling)	1397	if (PL_curcop != &PL_compiling)
1287	{	1398	{
1288	SV **cb;	1399	SV **cb;
1289		1400
1290	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)	1401	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB && cxstack_ix >= 0)
1291	{	1402	{
1292	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1403	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1293		1404
1294	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1405	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1295	{	1406	{
…		…
1305	SAVETMPS;	1416	SAVETMPS;
1306	EXTEND (SP, 3);	1417	EXTEND (SP, 3);
1307	PUSHMARK (SP);	1418	PUSHMARK (SP);
1308	PUSHs (&PL_sv_yes);	1419	PUSHs (&PL_sv_yes);
1309	PUSHs (fullname);	1420	PUSHs (fullname);
1310	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);	1421	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc (SUB_ARGARRAY)) : &PL_sv_undef);
1311	PUTBACK;	1422	PUTBACK;
1312	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);	1423	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
1313	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	1424	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1314	SPAGAIN;	1425	SPAGAIN;
1315	FREETMPS;	1426	FREETMPS;
…		…
1364		1475
1365	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */	1476	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1366	}	1477	}
1367		1478
1368	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */	1479	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1369	static void NOINLINE	1480	static void ecb_noinline
1370	cctx_prepare (pTHX)	1481	cctx_prepare (pTHX)
1371	{	1482	{
1372	PL_top_env = &PL_start_env;	1483	PL_top_env = &PL_start_env;
1373		1484
1374	if (cctx_current->flags & CC_TRACE)	1485	if (cctx_current->flags & CC_TRACE)
…		…
1385	slf_frame.prepare = slf_prepare_set_stacklevel;	1496	slf_frame.prepare = slf_prepare_set_stacklevel;
1386	slf_frame.check = slf_check_set_stacklevel;	1497	slf_frame.check = slf_check_set_stacklevel;
1387	}	1498	}
1388		1499
1389	/* the tail of transfer: execute stuff we can only do after a transfer */	1500	/* the tail of transfer: execute stuff we can only do after a transfer */
1390	INLINE void	1501	ecb_inline void
1391	transfer_tail (pTHX)	1502	transfer_tail (pTHX)
1392	{	1503	{
1393	free_coro_mortal (aTHX);	1504	free_coro_mortal (aTHX);
		1505	}
		1506
		1507	/* try to exit the same way perl's main function would do */
		1508	/* we do not bother resetting the environment or other things *7
		1509	/* that are not, uhm, essential */
		1510	/* this obviously also doesn't work when perl is embedded */
		1511	static void ecb_noinline ecb_cold
		1512	perlish_exit (pTHX)
		1513	{
		1514	int exitstatus = perl_destruct (PL_curinterp);
		1515	perl_free (PL_curinterp);
		1516	exit (exitstatus);
1394	}	1517	}
1395		1518
1396	/*	1519	/*
1397	* this is a _very_ stripped down perl interpreter ;)	1520	* this is a _very_ stripped down perl interpreter ;)
1398	*/	1521	*/
…		…
1425	* coro body here, as perl_run destroys these. Likewise, we cannot catch	1548	* 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.	1549	* runtime errors here, as this is just a random interpreter, not a thread.
1427	*/	1550	*/
1428		1551
1429	/*	1552	/*
		1553	* pp_entersub in 5.24 no longer ENTERs, but perl_destruct
		1554	* requires PL_scopestack_ix, so do it here if required.
		1555	*/
		1556	if (!PL_scopestack_ix)
		1557	ENTER;
		1558
		1559	/*
1430	* If perl-run returns we assume exit() was being called or the coro	1560	* 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)	1561	* 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	1562	* 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"	1563	* 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	*/	1564	*/
1438	PL_top_env = main_top_env;	1565	perlish_exit (aTHX);
1439	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1440	}	1566	}
1441	}	1567	}
1442		1568
1443	static coro_cctx *	1569	static coro_cctx *
1444	cctx_new ()	1570	cctx_new (void)
1445	{	1571	{
1446	coro_cctx *cctx;	1572	coro_cctx *cctx;
1447		1573
1448	++cctx_count;	1574	++cctx_count;
1449	New (0, cctx, 1, coro_cctx);	1575	New (0, cctx, 1, coro_cctx);
…		…
1455	return cctx;	1581	return cctx;
1456	}	1582	}
1457		1583
1458	/* create a new cctx only suitable as source */	1584	/* create a new cctx only suitable as source */
1459	static coro_cctx *	1585	static coro_cctx *
1460	cctx_new_empty ()	1586	cctx_new_empty (void)
1461	{	1587	{
1462	coro_cctx *cctx = cctx_new ();	1588	coro_cctx *cctx = cctx_new ();
1463		1589
1464	cctx->sptr = 0;	1590	cctx->stack.sptr = 0;
1465	coro_create (&cctx->cctx, 0, 0, 0, 0);	1591	coro_create (&cctx->cctx, 0, 0, 0, 0);
1466		1592
1467	return cctx;	1593	return cctx;
1468	}	1594	}
1469		1595
1470	/* create a new cctx suitable as destination/running a perl interpreter */	1596	/* create a new cctx suitable as destination/running a perl interpreter */
1471	static coro_cctx *	1597	static coro_cctx *
1472	cctx_new_run ()	1598	cctx_new_run (void)
1473	{	1599	{
1474	coro_cctx *cctx = cctx_new ();	1600	coro_cctx *cctx = cctx_new ();
1475	void *stack_start;
1476	size_t stack_size;
1477		1601
1478	#if HAVE_MMAP	1602	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	}	1603	{
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.");	1604	perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1501	_exit (EXIT_FAILURE);	1605	_exit (EXIT_FAILURE);
1502	}
1503
1504	stack_start = cctx->sptr;
1505	stack_size = cctx->ssize;
1506	}	1606	}
1507		1607
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);	1608	coro_create (&cctx->cctx, cctx_run, (void *)cctx, cctx->stack.sptr, cctx->stack.ssze);
1513		1609
1514	return cctx;	1610	return cctx;
1515	}	1611	}
1516		1612
1517	static void	1613	static void
…		…
1523	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));	1619	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1524		1620
1525	--cctx_count;	1621	--cctx_count;
1526	coro_destroy (&cctx->cctx);	1622	coro_destroy (&cctx->cctx);
1527		1623
1528	/* coro_transfer creates new, empty cctx's */	1624	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		1625
1543	Safefree (cctx);	1626	Safefree (cctx);
1544	}	1627	}
1545		1628
1546	/* wether this cctx should be destructed */	1629	/* wether this cctx should be destructed */
1547	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))	1630	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))
1548		1631
1549	static coro_cctx *	1632	static coro_cctx *
1550	cctx_get (pTHX)	1633	cctx_get (pTHX)
1551	{	1634	{
1552	while (expect_true (cctx_first))	1635	while (ecb_expect_true (cctx_first))
1553	{	1636	{
1554	coro_cctx *cctx = cctx_first;	1637	coro_cctx *cctx = cctx_first;
1555	cctx_first = cctx->next;	1638	cctx_first = cctx->next;
1556	--cctx_idle;	1639	--cctx_idle;
1557		1640
1558	if (expect_true (!CCTX_EXPIRED (cctx)))	1641	if (ecb_expect_true (!CCTX_EXPIRED (cctx)))
1559	return cctx;	1642	return cctx;
1560		1643
1561	cctx_destroy (cctx);	1644	cctx_destroy (cctx);
1562	}	1645	}
1563		1646
…		…
1565	}	1648	}
1566		1649
1567	static void	1650	static void
1568	cctx_put (coro_cctx *cctx)	1651	cctx_put (coro_cctx *cctx)
1569	{	1652	{
1570	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));	1653	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->stack.sptr));
1571		1654
1572	/* free another cctx if overlimit */	1655	/* free another cctx if overlimit */
1573	if (expect_false (cctx_idle >= cctx_max_idle))	1656	if (ecb_expect_false (cctx_idle >= cctx_max_idle))
1574	{	1657	{
1575	coro_cctx *first = cctx_first;	1658	coro_cctx *first = cctx_first;
1576	cctx_first = first->next;	1659	cctx_first = first->next;
1577	--cctx_idle;	1660	--cctx_idle;
1578		1661
…		…
1589	static void	1672	static void
1590	transfer_check (pTHX_ struct coro *prev, struct coro *next)	1673	transfer_check (pTHX_ struct coro *prev, struct coro *next)
1591	{	1674	{
1592	/* TODO: throwing up here is considered harmful */	1675	/* TODO: throwing up here is considered harmful */
1593		1676
1594	if (expect_true (prev != next))	1677	if (ecb_expect_true (prev != next))
1595	{	1678	{
1596	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1679	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,");	1680	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");
1598		1681
1599	if (expect_false (next->flags & (CF_RUNNING | CF_ZOMBIE | CF_SUSPENDED)))	1682	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,");	1683	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");
1601		1684
1602	#if !PERL_VERSION_ATLEAST (5,10,0)	1685	#if !PERL_VERSION_ATLEAST (5,10,0)
1603	if (expect_false (PL_lex_state != LEX_NOTPARSING))	1686	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,");	1687	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1605	#endif	1688	#endif
1606	}	1689	}
1607	}	1690	}
1608		1691
1609	/* always use the TRANSFER macro */	1692	/* always use the TRANSFER macro */
1610	static void NOINLINE /* noinline so we have a fixed stackframe */	1693	static void ecb_noinline /* noinline so we have a fixed stackframe */
1611	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)	1694	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1612	{	1695	{
1613	dSTACKLEVEL;	1696	dSTACKLEVEL;
1614		1697
1615	/* sometimes transfer is only called to set idle_sp */	1698	/* sometimes transfer is only called to set idle_sp */
1616	if (expect_false (!prev))	1699	if (ecb_expect_false (!prev))
1617	{	1700	{
1618	cctx_current->idle_sp = STACKLEVEL;	1701	cctx_current->idle_sp = STACKLEVEL;
1619	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */	1702	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1620	}	1703	}
1621	else if (expect_true (prev != next))	1704	else if (ecb_expect_true (prev != next))
1622	{	1705	{
1623	coro_cctx *cctx_prev;	1706	coro_cctx *cctx_prev;
1624		1707
1625	if (expect_false (prev->flags & CF_NEW))	1708	if (ecb_expect_false (prev->flags & CF_NEW))
1626	{	1709	{
1627	/* create a new empty/source context */	1710	/* create a new empty/source context */
1628	prev->flags &= ~CF_NEW;	1711	prev->flags &= ~CF_NEW;
1629	prev->flags |= CF_RUNNING;	1712	prev->flags |= CF_RUNNING;
1630	}	1713	}
…		…
1633	next->flags |= CF_RUNNING;	1716	next->flags |= CF_RUNNING;
1634		1717
1635	/* first get rid of the old state */	1718	/* first get rid of the old state */
1636	save_perl (aTHX_ prev);	1719	save_perl (aTHX_ prev);
1637		1720
1638	if (expect_false (next->flags & CF_NEW))	1721	if (ecb_expect_false (next->flags & CF_NEW))
1639	{	1722	{
1640	/* need to start coroutine */	1723	/* need to start coroutine */
1641	next->flags &= ~CF_NEW;	1724	next->flags &= ~CF_NEW;
1642	/* setup coroutine call */	1725	/* setup coroutine call */
1643	init_perl (aTHX_ next);	1726	init_perl (aTHX_ next);
1644	}	1727	}
1645	else	1728	else
1646	load_perl (aTHX_ next);	1729	load_perl (aTHX_ next);
1647		1730
1648	/* possibly untie and reuse the cctx */	1731	/* possibly untie and reuse the cctx */
1649	if (expect_true (	1732	if (ecb_expect_true (
1650	cctx_current->idle_sp == STACKLEVEL	1733	cctx_current->idle_sp == STACKLEVEL
1651	&& !(cctx_current->flags & CC_TRACE)	1734	&& !(cctx_current->flags & CC_TRACE)
1652	&& !force_cctx	1735	&& !force_cctx
1653	))	1736	))
1654	{	1737	{
1655	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */	1738	/* 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));	1739	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1657		1740
1658	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */	1741	/* 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 */	1742	/* without this the next cctx_get might destroy the running cctx while still in use */
1660	if (expect_false (CCTX_EXPIRED (cctx_current)))	1743	if (ecb_expect_false (CCTX_EXPIRED (cctx_current)))
1661	if (expect_true (!next->cctx))	1744	if (ecb_expect_true (!next->cctx))
1662	next->cctx = cctx_get (aTHX);	1745	next->cctx = cctx_get (aTHX);
1663		1746
1664	cctx_put (cctx_current);	1747	cctx_put (cctx_current);
1665	}	1748	}
1666	else	1749	else
1667	prev->cctx = cctx_current;	1750	prev->cctx = cctx_current;
1668		1751
1669	++next->usecount;	1752	++next->usecount;
1670		1753
1671	cctx_prev = cctx_current;	1754	cctx_prev = cctx_current;
1672	cctx_current = expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);	1755	cctx_current = ecb_expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);
1673		1756
1674	next->cctx = 0;	1757	next->cctx = 0;
1675		1758
1676	if (expect_false (cctx_prev != cctx_current))	1759	if (ecb_expect_false (cctx_prev != cctx_current))
1677	{	1760	{
1678	cctx_prev->top_env = PL_top_env;	1761	cctx_prev->top_env = PL_top_env;
1679	PL_top_env = cctx_current->top_env;	1762	PL_top_env = cctx_current->top_env;
1680	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);	1763	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);
1681	}	1764	}
…		…
1701	return;	1784	return;
1702		1785
1703	slf_destroy (aTHX_ coro);	1786	slf_destroy (aTHX_ coro);
1704		1787
1705	coro->flags |= CF_ZOMBIE;	1788	coro->flags |= CF_ZOMBIE;
1706		1789
1707	if (coro->flags & CF_READY)	1790	if (coro->flags & CF_READY)
1708	{	1791	{
1709	/* reduce nready, as destroying a ready coro effectively unreadies it */	1792	/* reduce nready, as destroying a ready coro effectively unreadies it */
1710	/* alternative: look through all ready queues and remove the coro */	1793	/* alternative: look through all ready queues and remove the coro */
1711	--coro_nready;	1794	--coro_nready;
…		…
1727	SvREFCNT_dec (coro->startcv);	1810	SvREFCNT_dec (coro->startcv);
1728	SvREFCNT_dec (coro->args);	1811	SvREFCNT_dec (coro->args);
1729	SvREFCNT_dec (coro->swap_sv);	1812	SvREFCNT_dec (coro->swap_sv);
1730	SvREFCNT_dec (CORO_THROW);	1813	SvREFCNT_dec (CORO_THROW);
1731		1814
1732	coro_call_on_destroy (coro);	1815	coro_call_on_destroy (aTHX_ coro);
1733		1816
1734	/* more destruction mayhem in coro_state_free */	1817	/* more destruction mayhem in coro_state_free */
1735	}	1818	}
1736		1819
1737	static int	1820	static int
1738	coro_state_free (pTHX_ SV *sv, MAGIC *mg)	1821	coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1739	{	1822	{
1740	struct coro *coro = (struct coro *)mg->mg_ptr;	1823	struct coro *coro = (struct coro *)mg->mg_ptr;
1741	mg->mg_ptr = 0;	1824	mg->mg_ptr = 0;
1742		1825
1743	coro_state_destroy (coro);	1826	coro_state_destroy (aTHX_ coro);
1744	SvREFCNT_dec (coro->on_destroy);	1827	SvREFCNT_dec (coro->on_destroy);
1745	SvREFCNT_dec (coro->status);	1828	SvREFCNT_dec (coro->status);
1746		1829
1747	Safefree (coro);	1830	Safefree (coro);
1748		1831
1749	return 0;	1832	return 0;
1750	}	1833	}
1751		1834
1752	static int	1835	static int ecb_cold
1753	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)	1836	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)
1754	{	1837	{
1755	/* called when perl clones the current process the slow way (windows process emulation) */	1838	/* 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 */	1839	/* WE SIMply nuke the pointers in the copy, causing perl to croak */
1757	mg->mg_ptr = 0;	1840	mg->mg_ptr = 0;
…		…
1788	TRANSFER (ta, 1);	1871	TRANSFER (ta, 1);
1789	}	1872	}
1790		1873
1791	/** Coro ********************************************************************/	1874	/** Coro ********************************************************************/
1792		1875
1793	INLINE void	1876	ecb_inline void
1794	coro_enq (pTHX_ struct coro *coro)	1877	coro_enq (pTHX_ struct coro *coro)
1795	{	1878	{
1796	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];	1879	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1797		1880
1798	SvREFCNT_inc_NN (coro->hv);	1881	SvREFCNT_inc_NN (coro->hv);
…		…
1800	coro->next_ready = 0;	1883	coro->next_ready = 0;
1801	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;	1884	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
1802	ready [1] = coro;	1885	ready [1] = coro;
1803	}	1886	}
1804		1887
1805	INLINE struct coro *	1888	ecb_inline struct coro *
1806	coro_deq (pTHX)	1889	coro_deq (pTHX)
1807	{	1890	{
1808	int prio;	1891	int prio;
1809		1892
1810	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )	1893	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
…		…
1863	{	1946	{
1864	return !!(SvSTATE (coro_sv)->flags & CF_READY);	1947	return !!(SvSTATE (coro_sv)->flags & CF_READY);
1865	}	1948	}
1866		1949
1867	/* expects to own a reference to next->hv */	1950	/* expects to own a reference to next->hv */
1868	INLINE void	1951	ecb_inline void
1869	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)	1952	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)
1870	{	1953	{
1871	SV *prev_sv = SvRV (coro_current);	1954	SV *prev_sv = SvRV (coro_current);
1872		1955
1873	ta->prev = SvSTATE_hv (prev_sv);	1956	ta->prev = SvSTATE_hv (prev_sv);
…		…
1886	{	1969	{
1887	for (;;)	1970	for (;;)
1888	{	1971	{
1889	struct coro *next = coro_deq (aTHX);	1972	struct coro *next = coro_deq (aTHX);
1890		1973
1891	if (expect_true (next))	1974	if (ecb_expect_true (next))
1892	{	1975	{
1893	/* cannot transfer to destroyed coros, skip and look for next */	1976	/* cannot transfer to destroyed coros, skip and look for next */
1894	if (expect_false (next->flags & (CF_ZOMBIE | CF_SUSPENDED)))	1977	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 */	1978	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1896	else	1979	else
1897	{	1980	{
1898	next->flags &= ~CF_READY;	1981	next->flags &= ~CF_READY;
1899	--coro_nready;	1982	--coro_nready;
…		…
1907	/* nothing to schedule: call the idle handler */	1990	/* nothing to schedule: call the idle handler */
1908	if (SvROK (sv_idle)	1991	if (SvROK (sv_idle)
1909	&& SvOBJECT (SvRV (sv_idle)))	1992	&& SvOBJECT (SvRV (sv_idle)))
1910	{	1993	{
1911	if (SvRV (sv_idle) == SvRV (coro_current))	1994	if (SvRV (sv_idle) == SvRV (coro_current))
		1995	{
		1996	require_pv ("Carp");
		1997
		1998	{
		1999	dSP;
		2000
		2001	ENTER;
		2002	SAVETMPS;
		2003
		2004	PUSHMARK (SP);
1912	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");	2005	XPUSHs (sv_2mortal (newSVpv ("FATAL: $Coro::idle blocked itself - did you try to block inside an event loop callback? Caught", 0)));
		2006	PUTBACK;
		2007	call_pv ("Carp::confess", G_VOID | G_DISCARD);
		2008
		2009	FREETMPS;
		2010	LEAVE;
		2011	}
		2012	}
1913		2013
1914	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	2014	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1915	api_ready (aTHX_ SvRV (sv_idle));	2015	api_ready (aTHX_ SvRV (sv_idle));
1916	--coro_nready;	2016	--coro_nready;
1917	}	2017	}
…		…
1932	}	2032	}
1933	}	2033	}
1934	}	2034	}
1935	}	2035	}
1936		2036
1937	INLINE void	2037	ecb_inline void
1938	prepare_cede (pTHX_ struct coro_transfer_args *ta)	2038	prepare_cede (pTHX_ struct coro_transfer_args *ta)
1939	{	2039	{
1940	api_ready (aTHX_ coro_current);	2040	api_ready (aTHX_ coro_current);
1941	prepare_schedule (aTHX_ ta);	2041	prepare_schedule (aTHX_ ta);
1942	}	2042	}
1943		2043
1944	INLINE void	2044	ecb_inline void
1945	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)	2045	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)
1946	{	2046	{
1947	SV *prev = SvRV (coro_current);	2047	SV *prev = SvRV (coro_current);
1948		2048
1949	if (coro_nready)	2049	if (coro_nready)
…		…
1979	{	2079	{
1980	struct coro_transfer_args ta;	2080	struct coro_transfer_args ta;
1981		2081
1982	prepare_cede (aTHX_ &ta);	2082	prepare_cede (aTHX_ &ta);
1983		2083
1984	if (expect_true (ta.prev != ta.next))	2084	if (ecb_expect_true (ta.prev != ta.next))
1985	{	2085	{
1986	TRANSFER (ta, 1);	2086	TRANSFER (ta, 1);
1987	return 1;	2087	return 1;
1988	}	2088	}
1989	else	2089	else
…		…
2054	PUTBACK;	2154	PUTBACK;
2055	}	2155	}
2056	}	2156	}
2057		2157
2058	static void	2158	static void
2059	coro_push_on_destroy (aTHX_ struct coro *coro, SV *cb)	2159	coro_push_on_destroy (pTHX_ struct coro *coro, SV *cb)
2060	{	2160	{
2061	if (!coro->on_destroy)	2161	if (!coro->on_destroy)
2062	coro->on_destroy = newAV ();	2162	coro->on_destroy = newAV ();
2063		2163
2064	av_push (coro->on_destroy, cb);	2164	av_push (coro->on_destroy, cb);
…		…
2078	if (!coro->status)	2178	if (!coro->status)
2079	return 1;	2179	return 1;
2080		2180
2081	frame->destroy = 0;	2181	frame->destroy = 0;
2082		2182
2083	coro_push_av (coro->status, GIMME_V);	2183	coro_push_av (aTHX_ coro->status, GIMME_V);
2084		2184
2085	SvREFCNT_dec ((SV *)coro->hv);	2185	SvREFCNT_dec ((SV *)coro->hv);
2086		2186
2087	return 0;	2187	return 0;
2088	}	2188	}
…		…
2114	{	2214	{
2115	AV *od = coro->on_destroy;	2215	AV *od = coro->on_destroy;
2116		2216
2117	if (!od)	2217	if (!od)
2118	return;	2218	return;
		2219
		2220	coro->on_destroy = 0;
		2221	sv_2mortal ((SV *)od);
2119		2222
2120	while (AvFILLp (od) >= 0)	2223	while (AvFILLp (od) >= 0)
2121	{	2224	{
2122	SV *cb = sv_2mortal (av_pop (od));	2225	SV *cb = sv_2mortal (av_pop (od));
2123		2226
…		…
2144		2247
2145	static void	2248	static void
2146	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)	2249	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)
2147	{	2250	{
2148	AV *av;	2251	AV *av;
2149		2252
2150	if (coro->status)	2253	if (coro->status)
2151	{	2254	{
2152	av = coro->status;	2255	av = coro->status;
2153	av_clear (av);	2256	av_clear (av);
2154	}	2257	}
…		…
2201		2304
2202	coro = SvSTATE (arg [0]);	2305	coro = SvSTATE (arg [0]);
2203	coro_hv = coro->hv;	2306	coro_hv = coro->hv;
2204		2307
2205	coro_set_status (aTHX_ coro, arg + 1, items - 1);	2308	coro_set_status (aTHX_ coro, arg + 1, items - 1);
2206		2309
2207	if (expect_false (coro->flags & CF_NOCANCEL))	2310	if (ecb_expect_false (coro->flags & CF_NOCANCEL))
2208	{	2311	{
2209	/* coro currently busy cancelling something, so just notify it */	2312	/* coro currently busy cancelling something, so just notify it */
2210	coro->slf_frame.data = (void *)coro;	2313	coro->slf_frame.data = (void *)coro;
2211		2314
2212	frame->prepare = prepare_nop;	2315	frame->prepare = prepare_nop;
…		…
2218	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);	2321	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);
2219	}	2322	}
2220	else	2323	else
2221	{	2324	{
2222	struct coro *self = SvSTATE_current;	2325	struct coro *self = SvSTATE_current;
		2326
		2327	if (!self)
		2328	croak ("Coro::cancel called outside of thread content,");
2223		2329
2224	/* otherwise we cancel directly, purely for speed reasons	2330	/* otherwise we cancel directly, purely for speed reasons
2225	* unfortunately, this requires some magic trickery, as	2331	* unfortunately, this requires some magic trickery, as
2226	* somebody else could cancel us, so we have to fight the cancellation.	2332	* somebody else could cancel us, so we have to fight the cancellation.
2227	* this is ugly, and hopefully fully worth the extra speed.	2333	* 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)	2426	slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2321	{	2427	{
2322	HV *hv = (HV *)SvRV (coro_current);	2428	HV *hv = (HV *)SvRV (coro_current);
2323	struct coro *coro = SvSTATE_hv ((SV *)hv);	2429	struct coro *coro = SvSTATE_hv ((SV *)hv);
2324		2430
2325	if (expect_true (coro->saved_deffh))	2431	if (ecb_expect_true (coro->saved_deffh))
2326	{	2432	{
2327	/* subsequent iteration */	2433	/* subsequent iteration */
2328	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;	2434	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
2329	coro->saved_deffh = 0;	2435	coro->saved_deffh = 0;
2330		2436
…		…
2337	else	2443	else
2338	{	2444	{
2339	av_clear (GvAV (PL_defgv));	2445	av_clear (GvAV (PL_defgv));
2340	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);	2446	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
2341		2447
		2448	if (ecb_expect_false (coro->swap_sv))
		2449	{
		2450	SWAP_SVS_LEAVE (coro);
		2451	SvREFCNT_dec_NN (coro->swap_sv);
		2452	coro->swap_sv = 0;
		2453	}
		2454
2342	coro->prio = 0;	2455	coro->prio = 0;
2343		2456
2344	if (coro->cctx && (coro->cctx->flags & CC_TRACE))	2457	if (ecb_expect_false (coro->cctx) && ecb_expect_false (coro->cctx->flags & CC_TRACE))
2345	api_trace (aTHX_ coro_current, 0);	2458	api_trace (aTHX_ coro_current, 0);
2346		2459
2347	frame->prepare = prepare_schedule;	2460	frame->prepare = prepare_schedule;
2348	av_push (av_async_pool, SvREFCNT_inc (hv));	2461	av_push (av_async_pool, SvREFCNT_inc (hv));
2349	}	2462	}
…		…
2390		2503
2391	static int	2504	static int
2392	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)	2505	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)
2393	{	2506	{
2394	SV *data = (SV *)frame->data;	2507	SV *data = (SV *)frame->data;
2395		2508
2396	if (CORO_THROW)	2509	if (CORO_THROW)
2397	return 0;	2510	return 0;
2398		2511
2399	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2512	if (SvTYPE (SvRV (data)) != SVt_PVAV)
2400	return 1;	2513	return 1;
…		…
2436	cb = sv_2mortal (coro->rouse_cb);	2549	cb = sv_2mortal (coro->rouse_cb);
2437	coro->rouse_cb = 0;	2550	coro->rouse_cb = 0;
2438	}	2551	}
2439		2552
2440	if (!SvROK (cb)	2553	if (!SvROK (cb)
2441	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2554	|| SvTYPE (SvRV (cb)) != SVt_PVCV
2442	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2555	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2443	croak ("Coro::rouse_wait called with illegal callback argument,");	2556	croak ("Coro::rouse_wait called with illegal callback argument,");
2444		2557
2445	{	2558	{
2446	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */	2559	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
…		…
2569		2682
2570	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */	2683	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */
2571	static void	2684	static void
2572	slf_destroy (pTHX_ struct coro *coro)	2685	slf_destroy (pTHX_ struct coro *coro)
2573	{	2686	{
2574	/* this callback is reserved for slf functions needing to do cleanup */	2687	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		2688
2578	/*	2689	/*
2579	* The on_destroy above most likely is from an SLF call.	2690	* The on_destroy below most likely is from an SLF call.
2580	* Since by definition the SLF call will not finish when we destroy	2691	* Since by definition the SLF call will not finish when we destroy
2581	* the coro, we will have to force-finish it here, otherwise	2692	* the coro, we will have to force-finish it here, otherwise
2582	* cleanup functions cannot call SLF functions.	2693	* cleanup functions cannot call SLF functions.
2583	*/	2694	*/
2584	coro->slf_frame.prepare = 0;	2695	coro->slf_frame.prepare = 0;
		2696
		2697	/* this callback is reserved for slf functions needing to do cleanup */
		2698	if (frame.destroy && frame.prepare && !PL_dirty)
		2699	frame.destroy (aTHX_ &frame);
2585	}	2700	}
2586		2701
2587	/*	2702	/*
2588	* these not obviously related functions are all rolled into one	2703	* these not obviously related functions are all rolled into one
2589	* function to increase chances that they all will call transfer with the same	2704	* 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 */	2711	I32 checkmark; /* mark SP to see how many elements check has pushed */
2597		2712
2598	/* set up the slf frame, unless it has already been set-up */	2713	/* set up the slf frame, unless it has already been set-up */
2599	/* the latter happens when a new coro has been started */	2714	/* the latter happens when a new coro has been started */
2600	/* or when a new cctx was attached to an existing coroutine */	2715	/* or when a new cctx was attached to an existing coroutine */
2601	if (expect_true (!slf_frame.prepare))	2716	if (ecb_expect_true (!slf_frame.prepare))
2602	{	2717	{
2603	/* first iteration */	2718	/* first iteration */
2604	dSP;	2719	dSP;
2605	SV **arg = PL_stack_base + TOPMARK + 1;	2720	SV **arg = PL_stack_base + TOPMARK + 1;
2606	int items = SP - arg; /* args without function object */	2721	int items = SP - arg; /* args without function object */
…		…
2647	while (slf_frame.check (aTHX_ &slf_frame));	2762	while (slf_frame.check (aTHX_ &slf_frame));
2648		2763
2649	slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */	2764	slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */
2650		2765
2651	/* exception handling */	2766	/* exception handling */
2652	if (expect_false (CORO_THROW))	2767	if (ecb_expect_false (CORO_THROW))
2653	{	2768	{
2654	SV *exception = sv_2mortal (CORO_THROW);	2769	SV *exception = sv_2mortal (CORO_THROW);
2655		2770
2656	CORO_THROW = 0;	2771	CORO_THROW = 0;
2657	sv_setsv (ERRSV, exception);	2772	sv_setsv (ERRSV, exception);
…		…
2659	}	2774	}
2660		2775
2661	/* return value handling - mostly like entersub */	2776	/* return value handling - mostly like entersub */
2662	/* make sure we put something on the stack in scalar context */	2777	/* make sure we put something on the stack in scalar context */
2663	if (GIMME_V == G_SCALAR	2778	if (GIMME_V == G_SCALAR
2664	&& expect_false (PL_stack_sp != PL_stack_base + checkmark + 1))	2779	&& ecb_expect_false (PL_stack_sp != PL_stack_base + checkmark + 1))
2665	{	2780	{
2666	dSP;	2781	dSP;
2667	SV **bot = PL_stack_base + checkmark;	2782	SV **bot = PL_stack_base + checkmark;
2668		2783
2669	if (sp == bot) /* too few, push undef */	2784	if (sp == bot) /* too few, push undef */
…		…
2774	{	2889	{
2775	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);	2890	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
2776	on_enterleave_call (aTHX_ sv_2mortal (cb));	2891	on_enterleave_call (aTHX_ sv_2mortal (cb));
2777	}	2892	}
2778		2893
		2894	static void
		2895	enterleave_hook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, void *arg)
		2896	{
		2897	if (!hook)
		2898	return;
		2899
		2900	if (!*avp)
		2901	{
		2902	*avp = newAV ();
		2903	AvREAL_off (*avp);
		2904	}
		2905
		2906	av_push (*avp, (SV *)hook);
		2907	av_push (*avp, (SV *)arg);
		2908	}
		2909
		2910	static void
		2911	enterleave_unhook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, int execute)
		2912	{
		2913	AV *av = *avp;
		2914	int i;
		2915
		2916	if (!av)
		2917	return;
		2918
		2919	for (i = AvFILLp (av) - 1; i >= 0; i -= 2)
		2920	if (AvARRAY (av)[i] == (SV *)hook)
		2921	{
		2922	if (execute)
		2923	hook (aTHX_ (void *)AvARRAY (av)[i + 1]);
		2924
		2925	memmove (AvARRAY (av) + i, AvARRAY (av) + i + 2, AvFILLp (av) - i - 1);
		2926	av_pop (av);
		2927	av_pop (av);
		2928	break;
		2929	}
		2930
		2931	if (AvFILLp (av) >= 0)
		2932	{
		2933	*avp = 0;
		2934	SvREFCNT_dec_NN (av);
		2935	}
		2936	}
		2937
		2938	static void
		2939	api_enterleave_hook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2940	{
		2941	struct coro *coro = SvSTATE (coro_sv);
		2942
		2943	if (SvSTATE_current == coro)
		2944	if (enter)
		2945	enter (aTHX_ enter_arg);
		2946
		2947	enterleave_hook_xs (aTHX_ coro, &coro->on_enter_xs, enter, enter_arg);
		2948	enterleave_hook_xs (aTHX_ coro, &coro->on_leave_xs, leave, leave_arg);
		2949	}
		2950
		2951	static void
		2952	api_enterleave_unhook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, coro_enterleave_hook leave)
		2953	{
		2954	struct coro *coro = SvSTATE (coro_sv);
		2955
		2956	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2957	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, SvSTATE_current == coro);
		2958	}
		2959
		2960	static void
		2961	savedestructor_unhook_enter (pTHX_ coro_enterleave_hook enter)
		2962	{
		2963	struct coro *coro = SvSTATE_current;
		2964
		2965	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2966	}
		2967
		2968	static void
		2969	savedestructor_unhook_leave (pTHX_ coro_enterleave_hook leave)
		2970	{
		2971	struct coro *coro = SvSTATE_current;
		2972
		2973	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, 1);
		2974	}
		2975
		2976	static void
		2977	api_enterleave_scope_hook (pTHX_ coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2978	{
		2979	api_enterleave_hook (aTHX_ coro_current, enter, enter_arg, leave, leave_arg);
		2980
		2981	/* this ought to be much cheaper than malloc + a single destructor call */
		2982	if (enter) SAVEDESTRUCTOR_X (savedestructor_unhook_enter, enter);
		2983	if (leave) SAVEDESTRUCTOR_X (savedestructor_unhook_leave, leave);
		2984	}
		2985
2779	/*****************************************************************************/	2986	/*****************************************************************************/
2780	/* PerlIO::cede */	2987	/* PerlIO::cede */
2781		2988
2782	typedef struct	2989	typedef struct
2783	{	2990	{
2784	PerlIOBuf base;	2991	PerlIOBuf base;
2785	NV next, every;	2992	NV next, every;
2786	} PerlIOCede;	2993	} PerlIOCede;
2787		2994
2788	static IV	2995	static IV ecb_cold
2789	PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)	2996	PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)
2790	{	2997	{
2791	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);	2998	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2792		2999
2793	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;	3000	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
2794	self->next = nvtime () + self->every;	3001	self->next = nvtime () + self->every;
2795		3002
2796	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);	3003	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
2797	}	3004	}
2798		3005
2799	static SV *	3006	static SV * ecb_cold
2800	PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)	3007	PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)
2801	{	3008	{
2802	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);	3009	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
2803		3010
2804	return newSVnv (self->every);	3011	return newSVnv (self->every);
…		…
2911	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));	3118	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
2912	PUTBACK;	3119	PUTBACK;
2913	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);	3120	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
2914	}	3121	}
2915		3122
2916	SvREFCNT_dec (cb);	3123	SvREFCNT_dec_NN (cb);
2917	}	3124	}
2918	}	3125	}
2919		3126
2920	static void	3127	static void
2921	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)	3128	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)
…		…
2929	{	3136	{
2930	AV *av = (AV *)frame->data;	3137	AV *av = (AV *)frame->data;
2931	SV *count_sv = AvARRAY (av)[0];	3138	SV *count_sv = AvARRAY (av)[0];
2932	SV *coro_hv = SvRV (coro_current);	3139	SV *coro_hv = SvRV (coro_current);
2933		3140
		3141	frame->destroy = 0;
		3142
2934	/* if we are about to throw, don't actually acquire the lock, just throw */	3143	/* if we are about to throw, don't actually acquire the lock, just throw */
2935	if (CORO_THROW)	3144	if (ecb_expect_false (CORO_THROW))
		3145	{
		3146	/* we still might be responsible for the semaphore, so wake up others */
		3147	coro_semaphore_adjust (aTHX_ av, 0);
		3148
2936	return 0;	3149	return 0;
		3150	}
2937	else if (SvIVX (count_sv) > 0)	3151	else if (SvIVX (count_sv) > 0)
2938	{	3152	{
2939	frame->destroy = 0;
2940
2941	if (acquire)	3153	if (acquire)
2942	SvIVX (count_sv) = SvIVX (count_sv) - 1;	3154	SvIVX (count_sv) = SvIVX (count_sv) - 1;
2943	else	3155	else
2944	coro_semaphore_adjust (aTHX_ av, 0);	3156	coro_semaphore_adjust (aTHX_ av, 0);
2945		3157
…		…
2949	{	3161	{
2950	int i;	3162	int i;
2951	/* if we were woken up but can't down, we look through the whole */	3163	/* 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 */	3164	/* waiters list and only add us if we aren't in there already */
2953	/* this avoids some degenerate memory usage cases */	3165	/* this avoids some degenerate memory usage cases */
2954	for (i = AvFILLp (av); i > 0; --i) // i > 0 is not an off-by-one bug	3166	for (i = AvFILLp (av); i > 0; --i) /* i > 0 is not an off-by-one bug */
2955	if (AvARRAY (av)[i] == coro_hv)	3167	if (AvARRAY (av)[i] == coro_hv)
2956	return 1;	3168	return 1;
2957		3169
2958	av_push (av, SvREFCNT_inc (coro_hv));	3170	av_push (av, SvREFCNT_inc (coro_hv));
2959	return 1;	3171	return 1;
…		…
3056	{	3268	{
3057	api_ready (aTHX_ cb);	3269	api_ready (aTHX_ cb);
3058	sv_setiv (cb, 0); /* signal waiter */	3270	sv_setiv (cb, 0); /* signal waiter */
3059	}	3271	}
3060		3272
3061	SvREFCNT_dec (cb);	3273	SvREFCNT_dec_NN (cb);
3062		3274
3063	--count;	3275	--count;
3064	}	3276	}
3065	}	3277	}
3066		3278
…		…
3151	}	3363	}
3152		3364
3153	av_push (state, data_sv);	3365	av_push (state, data_sv);
3154		3366
3155	api_ready (aTHX_ coro);	3367	api_ready (aTHX_ coro);
3156	SvREFCNT_dec (coro);	3368	SvREFCNT_dec_NN (coro);
3157	SvREFCNT_dec ((AV *)state);	3369	SvREFCNT_dec_NN ((AV *)state);
3158	}	3370	}
3159		3371
3160	static int	3372	static int
3161	slf_check_aio_req (pTHX_ struct CoroSLF *frame)	3373	slf_check_aio_req (pTHX_ struct CoroSLF *frame)
3162	{	3374	{
…		…
3167	/* it quickly returns */	3379	/* it quickly returns */
3168	if (CORO_THROW)	3380	if (CORO_THROW)
3169	return 0;	3381	return 0;
3170		3382
3171	/* one element that is an RV? repeat! */	3383	/* one element that is an RV? repeat! */
3172	if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))	3384	if (AvFILLp (state) == 0 && SvTYPE (AvARRAY (state)[0]) != SVt_PV)
3173	return 1;	3385	return 1;
3174		3386
3175	/* restore status */	3387	/* restore status */
3176	{	3388	{
3177	SV *data_sv = av_pop (state);	3389	SV *data_sv = av_pop (state);
…		…
3180	errno = data->errorno;	3392	errno = data->errorno;
3181	PL_laststype = data->laststype;	3393	PL_laststype = data->laststype;
3182	PL_laststatval = data->laststatval;	3394	PL_laststatval = data->laststatval;
3183	PL_statcache = data->statcache;	3395	PL_statcache = data->statcache;
3184		3396
3185	SvREFCNT_dec (data_sv);	3397	SvREFCNT_dec_NN (data_sv);
3186	}	3398	}
3187		3399
3188	/* push result values */	3400	/* push result values */
3189	{	3401	{
3190	dSP;	3402	dSP;
…		…
3216	dSP;	3428	dSP;
3217		3429
3218	static SV *prio_cv;	3430	static SV *prio_cv;
3219	static SV *prio_sv;	3431	static SV *prio_sv;
3220		3432
3221	if (expect_false (!prio_cv))	3433	if (ecb_expect_false (!prio_cv))
3222	{	3434	{
3223	prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);	3435	prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);
3224	prio_sv = newSViv (0);	3436	prio_sv = newSViv (0);
3225	}	3437	}
3226		3438
…		…
3332	}	3544	}
3333		3545
3334	return coro_sv;	3546	return coro_sv;
3335	}	3547	}
3336		3548
		3549	#ifndef __cplusplus
		3550	ecb_cold XS(boot_Coro__State);
		3551	#endif
		3552
		3553	#if CORO_JIT
		3554
		3555	static void ecb_noinline ecb_cold
		3556	pushav_4uv (pTHX_ UV a, UV b, UV c, UV d)
		3557	{
		3558	dSP;
		3559	AV *av = newAV ();
		3560
		3561	av_store (av, 3, newSVuv (d));
		3562	av_store (av, 2, newSVuv (c));
		3563	av_store (av, 1, newSVuv (b));
		3564	av_store (av, 0, newSVuv (a));
		3565
		3566	XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
		3567
		3568	PUTBACK;
		3569	}
		3570
		3571	static void ecb_noinline ecb_cold
		3572	jit_init (pTHX)
		3573	{
		3574	dSP;
		3575	SV *load, *save;
		3576	char *map_base;
		3577	char *load_ptr, *save_ptr;
		3578	STRLEN load_len, save_len, map_len;
		3579	int count;
		3580
		3581	eval_pv ("require 'Coro/jit-" CORO_JIT_TYPE ".pl'", 1);
		3582
		3583	PUSHMARK (SP);
		3584	#define VARx(name,expr,type) pushav_4uv (aTHX_ (UV)&(expr), sizeof (expr), offsetof (perl_slots, name), sizeof (type));
		3585	#include "state.h"
		3586	count = call_pv ("Coro::State::_jit", G_ARRAY);
		3587	SPAGAIN;
		3588
		3589	save = POPs; save_ptr = SvPVbyte (save, save_len);
		3590	load = POPs; load_ptr = SvPVbyte (load, load_len);
		3591
		3592	map_len = load_len + save_len + 16;
		3593
		3594	map_base = mmap (0, map_len, PROT_READ | PROT_WRITE | PROT_EXEC, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
		3595
		3596	if (map_base == (char *)MAP_FAILED)
		3597	map_base = mmap (0, map_len, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
		3598
		3599	assert (("Coro: unable to mmap jit code page, cannot continue.", map_base != (char *)MAP_FAILED));
		3600
		3601	load_perl_slots = (load_save_perl_slots_type)map_base;
		3602	memcpy (map_base, load_ptr, load_len);
		3603
		3604	map_base += (load_len + 15) & ~15;
		3605
		3606	save_perl_slots = (load_save_perl_slots_type)map_base;
		3607	memcpy (map_base, save_ptr, save_len);
		3608
		3609	/* we are good citizens and try to make the page read-only, so the evil evil */
		3610	/* hackers might have it a bit more difficult */
		3611	mprotect (map_base, map_len, PROT_READ | PROT_EXEC);
		3612
		3613	PUTBACK;
		3614	eval_pv ("undef &Coro::State::_jit", 1);
		3615	}
		3616
		3617	#endif
		3618
3337	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3619	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
3338		3620
3339	PROTOTYPES: DISABLE	3621	PROTOTYPES: DISABLE
3340		3622
3341	BOOT:	3623	BOOT:
3342	{	3624	{
		3625	#define VARx(name,expr,type) if (sizeof (type) < sizeof (expr)) croak ("FATAL: Coro thread context slot '" # name "' too small for this version of perl.");
		3626	#include "state.h"
3343	#ifdef USE_ITHREADS	3627	#ifdef USE_ITHREADS
3344	# if CORO_PTHREAD	3628	# if CORO_PTHREAD
3345	coro_thx = PERL_GET_CONTEXT;	3629	coro_thx = PERL_GET_CONTEXT;
3346	# endif	3630	# endif
3347	#endif	3631	#endif
3348	BOOT_PAGESIZE;	3632	/* perl defines these to check for existance first, but why it doesn't */
		3633	/* just create them one at init time is not clear to me, except for */
		3634	/* programs trying to delete them, but... */
		3635	/* anyway, we declare this as invalid and make sure they are initialised here */
		3636	DEFSV;
		3637	ERRSV;
3349		3638
3350	cctx_current = cctx_new_empty ();	3639	cctx_current = cctx_new_empty ();
3351		3640
3352	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);	3641	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
3353	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);	3642	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
3354		3643
3355	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;	3644	{
3356	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;	3645	/*
3357	orig_sigelem_clr = PL_vtbl_sigelem.svt_clear; PL_vtbl_sigelem.svt_clear = coro_sigelem_clr;	3646	* we provide a vtbvl for %SIG magic that replaces PL_vtbl_sig
		3647	* by coro_sig_vtbl in hash values.
		3648	*/
		3649	MAGIC *mg = mg_find ((SV *)GvHV (gv_fetchpv ("SIG", GV_ADD | GV_NOTQUAL, SVt_PVHV)), PERL_MAGIC_sig);
		3650
		3651	/* this only works if perl doesn't have a vtbl for %SIG */
		3652	assert (!mg->mg_virtual);
		3653
		3654	/*
		3655	* The irony is that the perl API itself asserts that mg_virtual
		3656	* must be non-const, yet perl5porters insisted on marking their
		3657	* vtbls as read-only, just to thwart perl modules from patching
		3658	* them.
		3659	*/
		3660	mg->mg_virtual = (MGVTBL *)&coro_sig_vtbl;
		3661	mg->mg_flags |= MGf_COPY;
		3662
		3663	coro_sigelem_vtbl = PL_vtbl_sigelem;
		3664	coro_sigelem_vtbl.svt_get = coro_sigelem_get;
		3665	coro_sigelem_vtbl.svt_set = coro_sigelem_set;
		3666	coro_sigelem_vtbl.svt_clear = coro_sigelem_clr;
		3667	}
3358		3668
3359	hv_sig = coro_get_hv (aTHX_ "SIG", TRUE);
3360	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));	3669	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));	3670	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));
3362		3671
3363	coro_state_stash = gv_stashpv ("Coro::State", TRUE);	3672	coro_state_stash = gv_stashpv ("Coro::State", TRUE);
3364		3673
…		…
3396	coroapi.prepare_cede_notself = prepare_cede_notself;	3705	coroapi.prepare_cede_notself = prepare_cede_notself;
3397		3706
3398	time_init (aTHX);	3707	time_init (aTHX);
3399		3708
3400	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));	3709	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
		3710	#if CORO_JIT
		3711	PUTBACK;
		3712	jit_init (aTHX);
		3713	SPAGAIN;
		3714	#endif
3401	}	3715	}
3402		3716
3403	SV *	3717	SV *
3404	new (SV *klass, ...)	3718	new (SV *klass, ...)
3405	ALIAS:	3719	ALIAS:
…		…
3412	void	3726	void
3413	transfer (...)	3727	transfer (...)
3414	PROTOTYPE: $$	3728	PROTOTYPE: $$
3415	CODE:	3729	CODE:
3416	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3730	CORO_EXECUTE_SLF_XS (slf_init_transfer);
3417
3418	void
3419	_exit (int code)
3420	PROTOTYPE: $
3421	CODE:
3422	_exit (code);
3423		3731
3424	SV *	3732	SV *
3425	clone (Coro::State coro)	3733	clone (Coro::State coro)
3426	CODE:	3734	CODE:
3427	{	3735	{
…		…
3482	void	3790	void
3483	list ()	3791	list ()
3484	PROTOTYPE:	3792	PROTOTYPE:
3485	PPCODE:	3793	PPCODE:
3486	{	3794	{
3487	struct coro *coro;	3795	struct coro *coro;
3488	for (coro = coro_first; coro; coro = coro->next)	3796	for (coro = coro_first; coro; coro = coro->next)
3489	if (coro->hv)	3797	if (coro->hv)
3490	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));	3798	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
3491	}	3799	}
3492		3800
…		…
3556	RETVAL = boolSV (coro->flags & ix);	3864	RETVAL = boolSV (coro->flags & ix);
3557	OUTPUT:	3865	OUTPUT:
3558	RETVAL	3866	RETVAL
3559		3867
3560	void	3868	void
3561	throw (Coro::State self, SV *exception = &PL_sv_undef)	3869	throw (SV *self, SV *exception = &PL_sv_undef)
3562	PROTOTYPE: $;$	3870	PROTOTYPE: $;$
3563	CODE:	3871	CODE:
3564	{	3872	{
		3873	struct coro *coro = SvSTATE (self);
3565	struct coro *current = SvSTATE_current;	3874	struct coro *current = SvSTATE_current;
3566	SV **exceptionp = self == current ? &CORO_THROW : &self->except;	3875	SV **exceptionp = coro == current ? &CORO_THROW : &coro->except;
3567	SvREFCNT_dec (*exceptionp);	3876	SvREFCNT_dec (*exceptionp);
3568	SvGETMAGIC (exception);	3877	SvGETMAGIC (exception);
3569	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;	3878	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
		3879
		3880	api_ready (aTHX_ self);
3570	}	3881	}
3571		3882
3572	void	3883	void
3573	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3884	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3574	PROTOTYPE: $;$	3885	PROTOTYPE: $;$
…		…
3651		3962
3652	void	3963	void
3653	times (Coro::State self)	3964	times (Coro::State self)
3654	PPCODE:	3965	PPCODE:
3655	{	3966	{
3656	struct coro *current = SvSTATE (coro_current);	3967	struct coro *current = SvSTATE (coro_current);
3657		3968
3658	if (expect_false (current == self))	3969	if (ecb_expect_false (current == self))
3659	{	3970	{
3660	coro_times_update ();	3971	coro_times_update ();
3661	coro_times_add (SvSTATE (coro_current));	3972	coro_times_add (SvSTATE (coro_current));
3662	}	3973	}
3663		3974
3664	EXTEND (SP, 2);	3975	EXTEND (SP, 2);
3665	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));	3976	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)));	3977	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
3667		3978
3668	if (expect_false (current == self))	3979	if (ecb_expect_false (current == self))
3669	coro_times_sub (SvSTATE (coro_current));	3980	coro_times_sub (SvSTATE (coro_current));
3670	}	3981	}
3671		3982
3672	void	3983	void
3673	swap_sv (Coro::State coro, SV *sv, SV *swapsv)	3984	swap_sv (Coro::State coro, SV *sva, SV *svb)
3674	CODE:	3985	CODE:
3675	{	3986	{
3676	struct coro *current = SvSTATE_current;	3987	struct coro *current = SvSTATE_current;
		3988	AV *swap_sv;
		3989	int i;
		3990
		3991	sva = SvRV (sva);
		3992	svb = SvRV (svb);
3677		3993
3678	if (current == coro)	3994	if (current == coro)
3679	SWAP_SVS (current);	3995	SWAP_SVS_LEAVE (current);
3680		3996
3681	if (!coro->swap_sv)	3997	if (!coro->swap_sv)
3682	coro->swap_sv = newAV ();	3998	coro->swap_sv = newAV ();
3683		3999
		4000	swap_sv = coro->swap_sv;
		4001
		4002	for (i = AvFILLp (swap_sv) - 1; i >= 0; i -= 2)
		4003	{
		4004	SV *a = AvARRAY (swap_sv)[i ];
		4005	SV *b = AvARRAY (swap_sv)[i + 1];
		4006
		4007	if (a == sva && b == svb)
		4008	{
		4009	SvREFCNT_dec_NN (a);
		4010	SvREFCNT_dec_NN (b);
		4011
		4012	for (; i <= AvFILLp (swap_sv) - 2; i++)
		4013	AvARRAY (swap_sv)[i] = AvARRAY (swap_sv)[i + 2];
		4014
		4015	AvFILLp (swap_sv) -= 2;
		4016
		4017	goto removed;
		4018	}
		4019	}
		4020
3684	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));	4021	av_push (swap_sv, SvREFCNT_inc_NN (sva));
3685	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));	4022	av_push (swap_sv, SvREFCNT_inc_NN (svb));
		4023
		4024	removed:
3686		4025
3687	if (current == coro)	4026	if (current == coro)
3688	SWAP_SVS (current);	4027	SWAP_SVS_ENTER (current);
3689	}	4028	}
3690		4029
3691		4030
3692	MODULE = Coro::State PACKAGE = Coro	4031	MODULE = Coro::State PACKAGE = Coro
3693		4032
3694	BOOT:	4033	BOOT:
3695	{	4034	{
		4035	if (SVt_LAST > 32)
		4036	croak ("Coro internal error: SVt_LAST > 32, swap_sv might need adjustment");
		4037
3696	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	4038	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3697	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	4039	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3698	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	4040	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3699	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	4041	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);	4042	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
…		…
3704		4046
3705	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	4047	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);	4048	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);	4049	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 */	4050	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3709		4051
3710	coro_stash = gv_stashpv ("Coro", TRUE);	4052	coro_stash = gv_stashpv ("Coro", TRUE);
3711		4053
3712	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));	4054	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3713	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));	4055	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3714	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));	4056	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
…		…
3726	coroapi.ready = api_ready;	4068	coroapi.ready = api_ready;
3727	coroapi.is_ready = api_is_ready;	4069	coroapi.is_ready = api_is_ready;
3728	coroapi.nready = coro_nready;	4070	coroapi.nready = coro_nready;
3729	coroapi.current = coro_current;	4071	coroapi.current = coro_current;
3730		4072
		4073	coroapi.enterleave_hook = api_enterleave_hook;
		4074	coroapi.enterleave_unhook = api_enterleave_unhook;
		4075	coroapi.enterleave_scope_hook = api_enterleave_scope_hook;
		4076
3731	/*GCoroAPI = &coroapi;*/	4077	/*GCoroAPI = &coroapi;*/
3732	sv_setiv (sv, (IV)&coroapi);	4078	sv_setiv (sv, (IV)&coroapi);
3733	SvREADONLY_on (sv);	4079	SvREADONLY_on (sv);
3734	}	4080	}
3735	}	4081	}
…		…
3800		4146
3801	void	4147	void
3802	_set_current (SV *current)	4148	_set_current (SV *current)
3803	PROTOTYPE: $	4149	PROTOTYPE: $
3804	CODE:	4150	CODE:
3805	SvREFCNT_dec (SvRV (coro_current));	4151	SvREFCNT_dec_NN (SvRV (coro_current));
3806	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));	4152	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
3807		4153
3808	void	4154	void
3809	_set_readyhook (SV *hook)	4155	_set_readyhook (SV *hook)
3810	PROTOTYPE: $	4156	PROTOTYPE: $
…		…
3894		4240
3895	if ((SV *)hv == &PL_sv_undef)	4241	if ((SV *)hv == &PL_sv_undef)
3896	{	4242	{
3897	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);	4243	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3898	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));	4244	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
3899	SvREFCNT_dec (sv);	4245	SvREFCNT_dec_NN (sv);
3900	}	4246	}
3901		4247
3902	{	4248	{
3903	struct coro *coro = SvSTATE_hv (hv);	4249	struct coro *coro = SvSTATE_hv (hv);
3904		4250
…		…
3911	api_ready (aTHX_ (SV *)hv);	4257	api_ready (aTHX_ (SV *)hv);
3912		4258
3913	if (GIMME_V != G_VOID)	4259	if (GIMME_V != G_VOID)
3914	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));	4260	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
3915	else	4261	else
3916	SvREFCNT_dec (hv);	4262	SvREFCNT_dec_NN (hv);
3917	}	4263	}
3918		4264
3919	SV *	4265	SV *
3920	rouse_cb ()	4266	rouse_cb ()
3921	PROTOTYPE:	4267	PROTOTYPE:
…		…
3936	on_leave = 1	4282	on_leave = 1
3937	PROTOTYPE: &	4283	PROTOTYPE: &
3938	CODE:	4284	CODE:
3939	{	4285	{
3940	struct coro *coro = SvSTATE_current;	4286	struct coro *coro = SvSTATE_current;
3941	AV **avp = ix ? &coro->on_leave : &coro->on_enter;	4287	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
3942		4288
3943	block = s_get_cv_croak (block);	4289	block = s_get_cv_croak (block);
3944		4290
3945	if (!*avp)	4291	if (!*avp)
3946	*avp = newAV ();	4292	*avp = newAV ();
…		…
3966		4312
3967	SV *	4313	SV *
3968	new (SV *klass, SV *count = 0)	4314	new (SV *klass, SV *count = 0)
3969	CODE:	4315	CODE:
3970	{	4316	{
3971	int semcnt = 1;	4317	int semcnt = 1;
3972		4318
3973	if (count)	4319	if (count)
3974	{	4320	{
3975	SvGETMAGIC (count);	4321	SvGETMAGIC (count);
3976		4322
…		…
4000	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);	4346	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);
4001	OUTPUT:	4347	OUTPUT:
4002	RETVAL	4348	RETVAL
4003		4349
4004	void	4350	void
4005	up (SV *self, int adjust = 1)	4351	up (SV *self)
4006	ALIAS:
4007	adjust = 1
4008	CODE:	4352	CODE:
		4353	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), 1);
		4354
		4355	void
		4356	adjust (SV *self, int adjust)
		4357	CODE:
4009	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);	4358	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), adjust);
4010		4359
4011	void	4360	void
4012	down (...)	4361	down (...)
4013	CODE:	4362	CODE:
4014	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);	4363	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
…		…
4036	XSRETURN_NO;	4385	XSRETURN_NO;
4037	}	4386	}
4038		4387
4039	void	4388	void
4040	waiters (SV *self)	4389	waiters (SV *self)
4041	PPCODE:	4390	PPCODE:
4042	{	4391	{
4043	AV *av = (AV *)SvRV (self);	4392	AV *av = (AV *)SvRV (self);
4044	int wcount = AvFILLp (av) + 1 - 1;	4393	int wcount = AvFILLp (av) + 1 - 1;
4045		4394
4046	if (GIMME_V == G_SCALAR)	4395	if (GIMME_V == G_SCALAR)
…		…
4055	}	4404	}
4056		4405
4057	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet	4406	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
4058		4407
4059	void	4408	void
4060	_may_delete (SV *sem, int count, int extra_refs)	4409	_may_delete (SV *sem, int count, unsigned int extra_refs)
4061	PPCODE:	4410	PPCODE:
4062	{	4411	{
4063	AV *av = (AV *)SvRV (sem);	4412	AV *av = (AV *)SvRV (sem);
4064		4413
4065	if (SvREFCNT ((SV *)av) == 1 + extra_refs	4414	if (SvREFCNT ((SV *)av) == 1 + extra_refs
4066	&& AvFILLp (av) == 0 /* no waiters, just count */	4415	&& AvFILLp (av) == 0 /* no waiters, just count */
4067	&& SvIV (AvARRAY (av)[0]) == count)	4416	&& SvIV (AvARRAY (av)[0]) == count)
4068	XSRETURN_YES;	4417	XSRETURN_YES;
…		…
4089		4438
4090	void	4439	void
4091	broadcast (SV *self)	4440	broadcast (SV *self)
4092	CODE:	4441	CODE:
4093	{	4442	{
4094	AV *av = (AV *)SvRV (self);	4443	AV *av = (AV *)SvRV (self);
4095	coro_signal_wake (aTHX_ av, AvFILLp (av));	4444	coro_signal_wake (aTHX_ av, AvFILLp (av));
4096	}	4445	}
4097		4446
4098	void	4447	void
4099	send (SV *self)	4448	send (SV *self)
…		…
4107	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */	4456	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */
4108	}	4457	}
4109		4458
4110	IV	4459	IV
4111	awaited (SV *self)	4460	awaited (SV *self)
4112	CODE:	4461	CODE:
4113	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;	4462	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;
4114	OUTPUT:	4463	OUTPUT:
4115	RETVAL	4464	RETVAL
4116		4465
4117		4466
…		…
4122		4471
4123	void	4472	void
4124	_schedule (...)	4473	_schedule (...)
4125	CODE:	4474	CODE:
4126	{	4475	{
4127	static int incede;	4476	static int incede;
4128		4477
4129	api_cede_notself (aTHX);	4478	api_cede_notself (aTHX);
4130		4479
4131	++incede;	4480	++incede;
4132	while (coro_nready >= incede && api_cede (aTHX))	4481	while (coro_nready >= incede && api_cede (aTHX))
…		…
4176	{	4525	{
4177	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;	4526	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
4178	coro_old_pp_sselect = 0;	4527	coro_old_pp_sselect = 0;
4179	}	4528	}
4180		4529
		4530	MODULE = Coro::State PACKAGE = Coro::Util
		4531
		4532	void
		4533	_exit (int code)
		4534	CODE:
		4535	_exit (code);
		4536
		4537	NV
		4538	time ()
		4539	CODE:
		4540	RETVAL = nvtime (aTHX);
		4541	OUTPUT:
		4542	RETVAL
		4543
		4544	NV
		4545	gettimeofday ()
		4546	PPCODE:
		4547	{
		4548	UV tv [2];
		4549	u2time (aTHX_ tv);
		4550	EXTEND (SP, 2);
		4551	PUSHs (sv_2mortal (newSVuv (tv [0])));
		4552	PUSHs (sv_2mortal (newSVuv (tv [1])));
		4553	}
		4554

Diff Legend

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