ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.406 by root, Sat Jun 11 13:49:00 2011 UTC vs.
Revision 1.481 by root, Thu Aug 19 22:43:02 2021 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
		8	#if CORO_UCONTEXT
		9	#define CORO_BACKEND "ucontext"
		10	#elif CORO_SJLJ
		11	#define CORO_BACKEND "sjlj"
		12	#elif CORO_LINUX
		13	#define CORO_BACKEND "linux"
		14	#elif CORO_LOSER
		15	#define CORO_BACKEND "loser"
		16	#elif CORO_FIBER
		17	#define CORO_BACKEND "fiber"
		18	#elif CORO_IRIX
		19	#define CORO_BACKEND "irix"
		20	#elif CORO_ASM
		21	#define CORO_BACKEND "asm"
		22	#elif CORO_PTHREAD
		23	#define CORO_BACKEND "pthread"
		24	#else
		25	#define CORO_BACKEND "unknown"
		26	#endif
7		27
8	#define PERL_NO_GET_CONTEXT	28	#define PERL_NO_GET_CONTEXT
9	#define PERL_EXT	29	#define PERL_EXT
10		30
11	#include "EXTERN.h"	31	#include "EXTERN.h"
12	#include "perl.h"	32	#include "perl.h"
13	#include "XSUB.h"	33	#include "XSUB.h"
14	#include "perliol.h"	34	#include "perliol.h"
15		35
16	#include "schmorp.h"	36	#include "schmorp.h"
		37
		38	#define ECB_NO_THREADS 1
		39	#define ECB_NO_LIBM 1
17	#include "ecb.h"	40	#include "ecb.h"
18		41
19	#include <stddef.h>	42	#include <stddef.h>
20	#include <stdio.h>	43	#include <stdio.h>
21	#include <errno.h>	44	#include <errno.h>
22	#include <assert.h>	45	#include <assert.h>
23		46
		47	#ifndef SvREFCNT_dec_NN
		48	#define SvREFCNT_dec_NN(sv) SvREFCNT_dec (sv)
		49	#endif
		50
		51	#ifndef SvREFCNT_inc_NN
		52	#define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
		53	#endif
		54
24	#ifndef SVs_PADSTALE	55	#ifndef SVs_PADSTALE
25	# define SVs_PADSTALE 0	56	# define SVs_PADSTALE 0
		57	#endif
		58
		59	#ifdef PadARRAY
		60	# define NEWPADAPI 1
		61	# define newPADLIST(var) (Newz (0, var, 1, PADLIST), Newx (PadlistARRAY (var), 2, PAD *))
		62	#else
		63	typedef AV PADNAMELIST;
		64	# if !PERL_VERSION_ATLEAST(5,8,0)
		65	typedef AV PADLIST;
		66	typedef AV PAD;
		67	# endif
		68	# define PadlistARRAY(pl) ((PAD **)AvARRAY (pl))
		69	# define PadlistMAX(pl) AvFILLp (pl)
		70	# define PadlistNAMES(pl) (*PadlistARRAY (pl))
		71	# define PadARRAY AvARRAY
		72	# define PadMAX AvFILLp
		73	# define newPADLIST(var) ((var) = newAV (), av_extend (var, 1))
		74	#endif
		75	#ifndef PadnamelistREFCNT
		76	# define PadnamelistREFCNT(pnl) SvREFCNT (pnl)
		77	#endif
		78	#ifndef PadnamelistREFCNT_dec
		79	# define PadnamelistREFCNT_dec(pnl) SvREFCNT_dec (pnl)
		80	#endif
		81
		82	/* 5.19.something has replaced SVt_BIND by SVt_INVLIST */
		83	/* we just alias it to SVt_IV, as that is sufficient for swap_sv for now */
		84	#if PERL_VERSION_ATLEAST(5,19,0)
		85	# define SVt_BIND SVt_IV
26	#endif	86	#endif
27		87
28	#if defined(_WIN32)	88	#if defined(_WIN32)
29	# undef HAS_GETTIMEOFDAY	89	# undef HAS_GETTIMEOFDAY
30	# undef setjmp	90	# undef setjmp
…		…
33	# define setjmp _setjmp /* deep magic */	93	# define setjmp _setjmp /* deep magic */
34	#else	94	#else
35	# include <inttypes.h> /* most portable stdint.h */	95	# include <inttypes.h> /* most portable stdint.h */
36	#endif	96	#endif
37		97
38	#ifdef HAVE_MMAP
39	# include <unistd.h>
40	# include <sys/mman.h>
41	# ifndef MAP_ANONYMOUS
42	# ifdef MAP_ANON
43	# define MAP_ANONYMOUS MAP_ANON
44	# else
45	# undef HAVE_MMAP
46	# endif
47	# endif
48	# include <limits.h>
49	# ifndef PAGESIZE
50	# define PAGESIZE pagesize
51	# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE)
52	static long pagesize;
53	# else
54	# define BOOT_PAGESIZE (void)0
55	# endif
56	#else
57	# define PAGESIZE 0
58	# define BOOT_PAGESIZE (void)0
59	#endif
60
61	#if CORO_USE_VALGRIND
62	# include <valgrind/valgrind.h>
63	#endif
64
65	/* the maximum number of idle cctx that will be pooled */	98	/* the maximum number of idle cctx that will be pooled */
66	static int cctx_max_idle = 4;	99	static int cctx_max_idle = 4;
67		100
68	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64	101	#if defined(DEBUGGING) && PERL_VERSION_ATLEAST(5,12,0)
69	# undef CORO_STACKGUARD	102	# define HAS_SCOPESTACK_NAME 1
70	#endif
71
72	#ifndef CORO_STACKGUARD
73	# define CORO_STACKGUARD 0
74	#endif	103	#endif
75		104
76	/* prefer perl internal functions over our own? */	105	/* prefer perl internal functions over our own? */
77	#ifndef CORO_PREFER_PERL_FUNCTIONS	106	#ifndef CORO_PREFER_PERL_FUNCTIONS
78	# define CORO_PREFER_PERL_FUNCTIONS 0	107	# define CORO_PREFER_PERL_FUNCTIONS 0
…		…
97	# if CORO_PTHREAD	126	# if CORO_PTHREAD
98	static void *coro_thx;	127	static void *coro_thx;
99	# endif	128	# endif
100	#endif	129	#endif
101		130
102	/* used in state.h */
103	#define VAR(name,type) VARx(name, PL_ ## name, type)
104
105	#ifdef __linux	131	#ifdef __linux
106	# include <time.h> /* for timespec */	132	# include <time.h> /* for timespec */
107	# include <syscall.h> /* for SYS_* */	133	# include <syscall.h> /* for SYS_* */
108	# ifdef SYS_clock_gettime	134	# ifdef SYS_clock_gettime
109	# define coro_clock_gettime(id, ts) syscall (SYS_clock_gettime, (id), (ts))	135	# define coro_clock_gettime(id, ts) syscall (SYS_clock_gettime, (id), (ts))
110	# define CORO_CLOCK_MONOTONIC 1	136	# define CORO_CLOCK_MONOTONIC 1
111	# define CORO_CLOCK_THREAD_CPUTIME_ID 3	137	# define CORO_CLOCK_THREAD_CPUTIME_ID 3
112	# endif	138	# endif
113	#endif	139	#endif
114		140
		141	/* one off bugfix for perl 5.22 */
		142	#if PERL_VERSION_ATLEAST(5,22,0) && !PERL_VERSION_ATLEAST(5,24,0)
		143	# undef PadlistNAMES
		144	# define PadlistNAMES(pl) *((PADNAMELIST **)PadlistARRAY (pl))
		145	#endif
		146
		147	#if PERL_VERSION_ATLEAST(5,24,0)
		148	# define SUB_ARGARRAY PL_curpad[0]
		149	#else
		150	# define SUB_ARGARRAY (SV *)cx->blk_sub.argarray
		151	#endif
		152
		153	/* perl usually suppresses asserts. for debugging, we sometimes force it to be on */
		154	#if 0
		155	# undef NDEBUG
		156	# include <assert.h>
		157	#endif
		158
115	static double (*nvtime)(); /* so why doesn't it take void? */	159	static double (*nvtime)(); /* so why doesn't it take void? */
116	static void (*u2time)(pTHX_ UV ret[2]);	160	static void (*u2time)(pTHX_ UV ret[2]);
117		161
118	/* we hijack an hopefully unused CV flag for our purposes */	162	/* we hijack an hopefully unused CV flag for our purposes */
119	#define CVf_SLF 0x4000	163	#define CVf_SLF 0x4000
…		…
134		178
135	static GV *irsgv; /* $/ */	179	static GV *irsgv; /* $/ */
136	static GV *stdoutgv; /* *STDOUT */	180	static GV *stdoutgv; /* *STDOUT */
137	static SV *rv_diehook;	181	static SV *rv_diehook;
138	static SV *rv_warnhook;	182	static SV *rv_warnhook;
139	static HV *hv_sig; /* %SIG */
140		183
141	/* async_pool helper stuff */	184	/* async_pool helper stuff */
142	static SV *sv_pool_rss;	185	static SV *sv_pool_rss;
143	static SV *sv_pool_size;	186	static SV *sv_pool_size;
144	static SV *sv_async_pool_idle; /* description string */	187	static SV *sv_async_pool_idle; /* description string */
…		…
172	typedef struct coro_cctx	215	typedef struct coro_cctx
173	{	216	{
174	struct coro_cctx *next;	217	struct coro_cctx *next;
175		218
176	/* the stack */	219	/* the stack */
177	void *sptr;	220	struct coro_stack stack;
178	size_t ssize;
179		221
180	/* cpu state */	222	/* cpu state */
181	void *idle_sp; /* sp of top-level transfer/schedule/cede call */	223	void *idle_sp; /* sp of top-level transfer/schedule/cede call */
		224	#ifndef NDEBUG
182	JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */	225	JMPENV *idle_te; /* same as idle_sp, but for top_env */
		226	#endif
183	JMPENV *top_env;	227	JMPENV *top_env;
184	coro_context cctx;	228	coro_context cctx;
185		229
186	U32 gen;	230	U32 gen;
187	#if CORO_USE_VALGRIND	231	#if CORO_USE_VALGRIND
…		…
207	};	251	};
208		252
209	/* the structure where most of the perl state is stored, overlaid on the cxstack */	253	/* the structure where most of the perl state is stored, overlaid on the cxstack */
210	typedef struct	254	typedef struct
211	{	255	{
212	#define VARx(name,expr,type) type name;	256	#define VARx(name,expr,type) type name;
213	# include "state.h"	257	#include "state.h"
214	#undef VARx
215	} perl_slots;	258	} perl_slots;
216		259
217	// how many context stack entries do we need for perl_slots	260	/* how many context stack entries do we need for perl_slots */
218	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))	261	#define SLOT_COUNT ((sizeof (perl_slots) + sizeof (PERL_CONTEXT) - 1) / sizeof (PERL_CONTEXT))
219		262
220	/* this is a structure representing a perl-level coroutine */	263	/* this is a structure representing a perl-level coroutine */
221	struct coro	264	struct coro
222	{	265	{
…		…
240	int usecount; /* number of transfers to this coro */	283	int usecount; /* number of transfers to this coro */
241		284
242	/* coro process data */	285	/* coro process data */
243	int prio;	286	int prio;
244	SV *except; /* exception to be thrown */	287	SV *except; /* exception to be thrown */
245	SV *rouse_cb; /* last rouse callback */	288	SV *rouse_cb; /* most recently created rouse callback */
246	AV *on_destroy; /* callbacks or coros to notify on destroy */	289	AV *on_destroy; /* callbacks or coros to notify on destroy */
247	AV *status; /* the exit status list */	290	AV *status; /* the exit status list */
248		291
249	/* async_pool */	292	/* async_pool */
250	SV *saved_deffh;	293	SV *saved_deffh;
251	SV *invoke_cb;	294	SV *invoke_cb;
252	AV *invoke_av;	295	AV *invoke_av;
253		296
254	/* on_enter/on_leave */	297	/* on_enter/on_leave */
255	AV *on_enter;	298	AV *on_enter; AV *on_enter_xs;
256	AV *on_leave;	299	AV *on_leave; AV *on_leave_xs;
257		300
258	/* swap_sv */	301	/* swap_sv */
259	AV *swap_sv;	302	AV *swap_sv;
260		303
261	/* times */	304	/* times */
…		…
291	#define coro_nready coroapi.nready	334	#define coro_nready coroapi.nready
292		335
293	/** JIT *********************************************************************/	336	/** JIT *********************************************************************/
294		337
295	#if CORO_JIT	338	#if CORO_JIT
		339	/* APPLE doesn't have mmap though */
		340	#define CORO_JIT_UNIXY (__linux || __FreeBSD__ || __OpenBSD__ || __NetBSD__ || __solaris || __APPLE__)
296	#ifndef CORO_JIT_TYPE	341	#ifndef CORO_JIT_TYPE
297	#if __x86_64 && (__linux || __FreeBSD__ || __OpenBSD__ || __NetBSD__ || __solaris)	342	#if ECB_AMD64 && CORO_JIT_UNIXY
298	#define CORO_JIT_TYPE "amd64-unix"	343	#define CORO_JIT_TYPE "amd64-unix"
299	typedef void (*load_save_perl_slots_type)(perl_slots *);	344	#elif __i386 && CORO_JIT_UNIXY
300	#else	345	#define CORO_JIT_TYPE "x86-unix"
301	#undef CORO_JIT
302	#endif	346	#endif
303	#endif	347	#endif
304	#endif	348	#endif
305		349
		350	#if !defined(CORO_JIT_TYPE) || _POSIX_MEMORY_PROTECTION <= 0
		351	#undef CORO_JIT
		352	#endif
		353
306	#if CORO_JIT	354	#if CORO_JIT
		355	typedef void (*load_save_perl_slots_type)(perl_slots *);
307	static load_save_perl_slots_type load_perl_slots, save_perl_slots;	356	static load_save_perl_slots_type load_perl_slots, save_perl_slots;
308	#endif	357	#endif
309		358
310	/** Coro::Select ************************************************************/	359	/** Coro::Select ************************************************************/
311		360
312	static OP *(*coro_old_pp_sselect) (pTHX);	361	static OP *(*coro_old_pp_sselect) (pTHX);
…		…
329		378
330	/** time stuff **************************************************************/	379	/** time stuff **************************************************************/
331		380
332	#ifdef HAS_GETTIMEOFDAY	381	#ifdef HAS_GETTIMEOFDAY
333		382
334	ECB_INLINE void	383	ecb_inline void
335	coro_u2time (pTHX_ UV ret[2])	384	coro_u2time (pTHX_ UV ret[2])
336	{	385	{
337	struct timeval tv;	386	struct timeval tv;
338	gettimeofday (&tv, 0);	387	gettimeofday (&tv, 0);
339		388
340	ret [0] = tv.tv_sec;	389	ret [0] = tv.tv_sec;
341	ret [1] = tv.tv_usec;	390	ret [1] = tv.tv_usec;
342	}	391	}
343		392
344	ECB_INLINE double	393	ecb_inline double
345	coro_nvtime ()	394	coro_nvtime (void)
346	{	395	{
347	struct timeval tv;	396	struct timeval tv;
348	gettimeofday (&tv, 0);	397	gettimeofday (&tv, 0);
349		398
350	return tv.tv_sec + tv.tv_usec * 1e-6;	399	return tv.tv_sec + tv.tv_usec * 1e-6;
351	}	400	}
352		401
353	ECB_INLINE void	402	ecb_inline void
354	time_init (pTHX)	403	time_init (pTHX)
355	{	404	{
356	nvtime = coro_nvtime;	405	nvtime = coro_nvtime;
357	u2time = coro_u2time;	406	u2time = coro_u2time;
358	}	407	}
359		408
360	#else	409	#else
361		410
362	ECB_INLINE void	411	ecb_inline void
363	time_init (pTHX)	412	time_init (pTHX)
364	{	413	{
365	SV **svp;	414	SV **svp;
366		415
367	require_pv ("Time/HiRes.pm");	416	require_pv ("Time/HiRes.pm");
368		417
369	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);	418	svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
370		419
371	if (!svp) croak ("Time::HiRes is required, but missing. Caught");	420	if (!svp) croak ("Time::HiRes is required, but missing. Caught");
372	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");	421	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer. Caught");
373		422
…		…
409	get_hv (name, create);	458	get_hv (name, create);
410	#endif	459	#endif
411	return get_hv (name, create);	460	return get_hv (name, create);
412	}	461	}
413		462
414	ECB_INLINE void	463	ecb_inline void
415	coro_times_update ()	464	coro_times_update (void)
416	{	465	{
417	#ifdef coro_clock_gettime	466	#ifdef coro_clock_gettime
418	struct timespec ts;	467	struct timespec ts;
419		468
420	ts.tv_sec = ts.tv_nsec = 0;	469	ts.tv_sec = ts.tv_nsec = 0;
…		…
432	time_real [0] = tv [0];	481	time_real [0] = tv [0];
433	time_real [1] = tv [1] * 1000;	482	time_real [1] = tv [1] * 1000;
434	#endif	483	#endif
435	}	484	}
436		485
437	ECB_INLINE void	486	ecb_inline void
438	coro_times_add (struct coro *c)	487	coro_times_add (struct coro *c)
439	{	488	{
440	c->t_real [1] += time_real [1];	489	c->t_real [1] += time_real [1];
441	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }	490	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
442	c->t_real [0] += time_real [0];	491	c->t_real [0] += time_real [0];
…		…
444	c->t_cpu [1] += time_cpu [1];	493	c->t_cpu [1] += time_cpu [1];
445	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }	494	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
446	c->t_cpu [0] += time_cpu [0];	495	c->t_cpu [0] += time_cpu [0];
447	}	496	}
448		497
449	ECB_INLINE void	498	ecb_inline void
450	coro_times_sub (struct coro *c)	499	coro_times_sub (struct coro *c)
451	{	500	{
452	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }	501	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
453	c->t_real [1] -= time_real [1];	502	c->t_real [1] -= time_real [1];
454	c->t_real [0] -= time_real [0];	503	c->t_real [0] -= time_real [0];
…		…
475	: 0)	524	: 0)
476		525
477	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)	526	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
478	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)	527	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
479		528
480	ECB_INLINE MAGIC *	529	ecb_inline MAGIC *
481	SvSTATEhv_p (pTHX_ SV *coro)	530	SvSTATEhv_p (pTHX_ SV *coro)
482	{	531	{
483	MAGIC *mg;	532	MAGIC *mg;
484		533
485	if (ecb_expect_true (	534	if (ecb_expect_true (
…		…
490	return mg;	539	return mg;
491		540
492	return 0;	541	return 0;
493	}	542	}
494		543
495	ECB_INLINE struct coro *	544	ecb_inline struct coro *
496	SvSTATE_ (pTHX_ SV *coro)	545	SvSTATE_ (pTHX_ SV *coro_sv)
497	{	546	{
498	MAGIC *mg;	547	MAGIC *mg;
499		548
500	if (SvROK (coro))	549	if (SvROK (coro_sv))
501	coro = SvRV (coro);	550	coro_sv = SvRV (coro_sv);
502		551
503	mg = SvSTATEhv_p (aTHX_ coro);	552	mg = SvSTATEhv_p (aTHX_ coro_sv);
504	if (!mg)	553	if (!mg)
505	croak ("Coro::State object required");	554	croak ("Coro::State object required");
506		555
507	return (struct coro *)mg->mg_ptr;	556	return (struct coro *)mg->mg_ptr;
508	}	557	}
…		…
514	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))	563	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
515		564
516	/*****************************************************************************/	565	/*****************************************************************************/
517	/* padlist management and caching */	566	/* padlist management and caching */
518		567
519	ECB_INLINE AV *	568	ecb_inline PADLIST *
520	coro_derive_padlist (pTHX_ CV *cv)	569	coro_derive_padlist (pTHX_ CV *cv)
521	{	570	{
522	AV *padlist = CvPADLIST (cv);	571	PADLIST *padlist = CvPADLIST (cv);
523	AV *newpadlist, *newpad;	572	PADLIST *newpadlist;
		573	PADNAMELIST *padnames;
		574	PAD *newpad;
		575	PADOFFSET off = PadlistMAX (padlist) + 1;
524		576
525	newpadlist = newAV ();	577	#if NEWPADAPI
		578
		579	/* if we had the original CvDEPTH, we might be able to steal the CvDEPTH+1 entry instead */
		580	/* 20131102194744.GA6705@schmorp.de, 20131102195825.2013.qmail@lists-nntp.develooper.com */
		581	while (!PadlistARRAY (padlist)[off - 1])
		582	--off;
		583
		584	Perl_pad_push (aTHX_ padlist, off);
		585
		586	newpad = PadlistARRAY (padlist)[off];
		587	PadlistARRAY (padlist)[off] = 0;
		588
		589	#else
		590
		591	#if PERL_VERSION_ATLEAST (5,10,0)
		592	Perl_pad_push (aTHX_ padlist, off);
		593	#else
		594	Perl_pad_push (aTHX_ padlist, off, 1);
		595	#endif
		596
		597	newpad = PadlistARRAY (padlist)[off];
		598	PadlistMAX (padlist) = off - 1;
		599
		600	#endif
		601
		602	newPADLIST (newpadlist);
		603	#if !PERL_VERSION_ATLEAST(5,15,3)
		604	/* Padlists are AvREAL as of 5.15.3. See perl bug #98092 and perl commit 7d953ba. */
526	AvREAL_off (newpadlist);	605	AvREAL_off (newpadlist);
527	#if PERL_VERSION_ATLEAST (5,10,0)
528	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1);
529	#else
530	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
531	#endif	606	#endif
532	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
533	--AvFILLp (padlist);
534		607
535	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));	608	/* Already extended to 2 elements by newPADLIST. */
536	av_store (newpadlist, 1, (SV *)newpad);	609	PadlistMAX (newpadlist) = 1;
		610
		611	padnames = PadlistNAMES (padlist);
		612	++PadnamelistREFCNT (padnames);
		613	PadlistNAMES (newpadlist) = padnames;
		614
		615	PadlistARRAY (newpadlist)[1] = newpad;
537		616
538	return newpadlist;	617	return newpadlist;
539	}	618	}
540		619
541	ECB_INLINE void	620	ecb_inline void
542	free_padlist (pTHX_ AV *padlist)	621	free_padlist (pTHX_ PADLIST *padlist)
543	{	622	{
544	/* may be during global destruction */	623	/* may be during global destruction */
545	if (!IN_DESTRUCT)	624	if (!IN_DESTRUCT)
546	{	625	{
547	I32 i = AvFILLp (padlist);	626	I32 i = PadlistMAX (padlist);
548		627
549	while (i > 0) /* special-case index 0 */	628	while (i > 0) /* special-case index 0 */
550	{	629	{
551	/* we try to be extra-careful here */	630	/* we try to be extra-careful here */
552	AV *av = (AV *)AvARRAY (padlist)[i--];	631	PAD *pad = PadlistARRAY (padlist)[i--];
553	I32 j = AvFILLp (av);
554		632
		633	if (pad)
		634	{
		635	I32 j = PadMAX (pad);
		636
555	while (j >= 0)	637	while (j >= 0)
556	SvREFCNT_dec (AvARRAY (av)[j--]);	638	SvREFCNT_dec (PadARRAY (pad)[j--]);
557		639
558	AvFILLp (av) = -1;	640	PadMAX (pad) = -1;
559	SvREFCNT_dec (av);	641	SvREFCNT_dec (pad);
		642	}
560	}	643	}
561		644
562	SvREFCNT_dec (AvARRAY (padlist)[0]);	645	PadnamelistREFCNT_dec (PadlistNAMES (padlist));
563		646
		647	#if NEWPADAPI
		648	Safefree (PadlistARRAY (padlist));
		649	Safefree (padlist);
		650	#else
564	AvFILLp (padlist) = -1;	651	AvFILLp (padlist) = -1;
		652	AvREAL_off (padlist);
565	SvREFCNT_dec ((SV*)padlist);	653	SvREFCNT_dec ((SV*)padlist);
		654	#endif
566	}	655	}
567	}	656	}
568		657
569	static int	658	static int
570	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	659	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
571	{	660	{
572	AV *padlist;	661	PADLIST *padlist;
573	AV *av = (AV *)mg->mg_obj;	662	PADLIST **padlists = (PADLIST **)(mg->mg_ptr + sizeof(size_t));
		663	size_t len = *(size_t *)mg->mg_ptr;
574		664
575	/* perl manages to free our internal AV and _then_ call us */	665	/* perl manages to free our internal AV and _then_ call us */
576	if (IN_DESTRUCT)	666	if (IN_DESTRUCT)
577	return 0;	667	return 0;
578		668
579	/* casting is fun. */	669	while (len--)
580	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
581	free_padlist (aTHX_ padlist);	670	free_padlist (aTHX_ padlists[len]);
582
583	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
584		671
585	return 0;	672	return 0;
586	}	673	}
587		674
588	static MGVTBL coro_cv_vtbl = {	675	static MGVTBL coro_cv_vtbl = {
589	0, 0, 0, 0,	676	0, 0, 0, 0,
590	coro_cv_free	677	coro_cv_free
591	};	678	};
592		679
593	/* the next two functions merely cache the padlists */	680	/* the next two functions merely cache the padlists */
594	ECB_INLINE void	681	ecb_inline void
595	get_padlist (pTHX_ CV *cv)	682	get_padlist (pTHX_ CV *cv)
596	{	683	{
597	MAGIC *mg = CORO_MAGIC_cv (cv);	684	MAGIC *mg = CORO_MAGIC_cv (cv);
598	AV *av;	685	size_t *lenp;
599		686
600	if (ecb_expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))	687	if (ecb_expect_true (mg && *(lenp = (size_t *)mg->mg_ptr)))
601	CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];	688	CvPADLIST (cv) = ((PADLIST **)(mg->mg_ptr + sizeof(size_t)))[--*lenp];
602	else	689	else
603	{	690	{
604	#if CORO_PREFER_PERL_FUNCTIONS	691	#if CORO_PREFER_PERL_FUNCTIONS
605	/* this is probably cleaner? but also slower! */	692	/* this is probably cleaner? but also slower! */
606	/* in practise, it seems to be less stable */	693	/* in practise, it seems to be less stable */
…		…
612	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);	699	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
613	#endif	700	#endif
614	}	701	}
615	}	702	}
616		703
617	ECB_INLINE void	704	ecb_inline void
618	put_padlist (pTHX_ CV *cv)	705	put_padlist (pTHX_ CV *cv)
619	{	706	{
620	MAGIC *mg = CORO_MAGIC_cv (cv);	707	MAGIC *mg = CORO_MAGIC_cv (cv);
621	AV *av;
622		708
623	if (ecb_expect_false (!mg))	709	if (ecb_expect_false (!mg))
		710	{
624	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	711	mg = sv_magicext ((SV *)cv, 0, CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
		712	Newz (0, mg->mg_ptr ,sizeof (size_t) + sizeof (PADLIST *), char);
		713	mg->mg_len = 1; /* so mg_free frees mg_ptr */
		714	}
		715	else
		716	Renew (mg->mg_ptr,
		717	sizeof(size_t) + (*(size_t *)mg->mg_ptr + 1) * sizeof(PADLIST *),
		718	char);
625		719
626	av = (AV *)mg->mg_obj;	720	((PADLIST **)(mg->mg_ptr + sizeof (size_t))) [(*(size_t *)mg->mg_ptr)++] = CvPADLIST (cv);
627
628	if (ecb_expect_false (AvFILLp (av) >= AvMAX (av)))
629	av_extend (av, AvFILLp (av) + 1);
630
631	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
632	}	721	}
633		722
634	/** load & save, init *******************************************************/	723	/** load & save, init *******************************************************/
635		724
		725	ecb_inline void
		726	swap_sv (SV *a, SV *b)
		727	{
		728	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
		729	SV tmp;
		730
		731	/* swap sv_any */
		732	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
		733
		734	/* swap sv_flags */
		735	SvFLAGS (&tmp) = SvFLAGS (a);
		736	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
		737	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
		738
		739	#if PERL_VERSION_ATLEAST (5,10,0)
		740	/* perl 5.10 and later complicates this _quite_ a bit, but it also
		741	* is much faster, so no quarrels here. alternatively, we could
		742	* sv_upgrade to avoid this.
		743	*/
		744	{
		745	/* swap sv_u */
		746	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
		747
		748	/* if SvANY points to the head, we need to adjust the pointers,
		749	* as the pointer for a still points to b, and maybe vice versa.
		750	*/
		751	U32 svany_in_head_set = (1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV);
		752	#if NVSIZE <= IVSIZE && PERL_VERSION_ATLEAST(5,22,0)
		753	svany_in_head_set |= 1 << SVt_NV;
		754	#endif
		755
		756	#define svany_in_head(type) (svany_in_head_set & (1 << (type)))
		757
		758	if (svany_in_head (SvTYPE (a)))
		759	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
		760
		761	if (svany_in_head (SvTYPE (b)))
		762	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
		763	}
		764	#endif
		765	}
		766
636	/* swap sv heads, at least logically */	767	/* swap sv heads, at least logically */
637	static void	768	static void
638	swap_svs (pTHX_ Coro__State c)	769	swap_svs_enter (pTHX_ Coro__State c)
639	{	770	{
640	int i;	771	int i;
641		772
642	for (i = 0; i <= AvFILLp (c->swap_sv); )	773	for (i = 0; i <= AvFILLp (c->swap_sv); i += 2)
643	{	774	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
644	SV *a = AvARRAY (c->swap_sv)[i++];
645	SV *b = AvARRAY (c->swap_sv)[i++];
646
647	const U32 keep = SVs_PADSTALE | SVs_PADTMP | SVs_PADMY; /* keep these flags */
648	SV tmp;
649
650	/* swap sv_any */
651	SvANY (&tmp) = SvANY (a); SvANY (a) = SvANY (b); SvANY (b) = SvANY (&tmp);
652
653	/* swap sv_flags */
654	SvFLAGS (&tmp) = SvFLAGS (a);
655	SvFLAGS (a) = (SvFLAGS (a) & keep) | (SvFLAGS (b ) & ~keep);
656	SvFLAGS (b) = (SvFLAGS (b) & keep) | (SvFLAGS (&tmp) & ~keep);
657
658	#if PERL_VERSION_ATLEAST (5,10,0)
659	/* perl 5.10 complicates this _quite_ a bit, but it also is
660	* much faster, so no quarrels here. alternatively, we could
661	* sv_upgrade to avoid this.
662	*/
663	{
664	/* swap sv_u */
665	tmp.sv_u = a->sv_u; a->sv_u = b->sv_u; b->sv_u = tmp.sv_u;
666
667	/* if SvANY points to the head, we need to adjust the pointers,
668	* as the pointer for a still points to b, and maybe vice versa.
669	*/
670	#define svany_in_head(type) \
671	(((1 << SVt_NULL) | (1 << SVt_BIND) | (1 << SVt_IV) | (1 << SVt_RV)) & (1 << (type)))
672
673	if (svany_in_head (SvTYPE (a)))
674	SvANY (a) = (void *)((PTRV)SvANY (a) - (PTRV)b + (PTRV)a);
675
676	if (svany_in_head (SvTYPE (b)))
677	SvANY (b) = (void *)((PTRV)SvANY (b) - (PTRV)a + (PTRV)b);
678	}
679	#endif
680	}
681	}	775	}
682		776
		777	static void
		778	swap_svs_leave (pTHX_ Coro__State c)
		779	{
		780	int i;
		781
		782	for (i = AvFILLp (c->swap_sv) - 1; i >= 0; i -= 2)
		783	swap_sv (AvARRAY (c->swap_sv)[i], AvARRAY (c->swap_sv)[i + 1]);
		784	}
		785
683	#define SWAP_SVS(coro) \	786	#define SWAP_SVS_ENTER(coro) \
684	if (ecb_expect_false ((coro)->swap_sv)) \	787	if (ecb_expect_false ((coro)->swap_sv)) \
685	swap_svs (aTHX_ (coro))	788	swap_svs_enter (aTHX_ (coro))
		789
		790	#define SWAP_SVS_LEAVE(coro) \
		791	if (ecb_expect_false ((coro)->swap_sv)) \
		792	swap_svs_leave (aTHX_ (coro))
686		793
687	static void	794	static void
688	on_enterleave_call (pTHX_ SV *cb);	795	on_enterleave_call (pTHX_ SV *cb);
689		796
690	static void	797	static void
…		…
697		804
698	#if CORO_JIT	805	#if CORO_JIT
699	load_perl_slots (slot);	806	load_perl_slots (slot);
700	#else	807	#else
701	#define VARx(name,expr,type) expr = slot->name;	808	#define VARx(name,expr,type) expr = slot->name;
702	# include "state.h"	809	#include "state.h"
703	#undef VARx
704	#endif	810	#endif
705		811
706	{	812	{
707	dSP;	813	dSP;
708		814
…		…
711	/* now do the ugly restore mess */	817	/* now do the ugly restore mess */
712	while (ecb_expect_true (cv = (CV *)POPs))	818	while (ecb_expect_true (cv = (CV *)POPs))
713	{	819	{
714	put_padlist (aTHX_ cv); /* mark this padlist as available */	820	put_padlist (aTHX_ cv); /* mark this padlist as available */
715	CvDEPTH (cv) = PTR2IV (POPs);	821	CvDEPTH (cv) = PTR2IV (POPs);
716	CvPADLIST (cv) = (AV *)POPs;	822	CvPADLIST (cv) = (PADLIST *)POPs;
717	}	823	}
718		824
719	PUTBACK;	825	PUTBACK;
720	}	826	}
721		827
…		…
736		842
737	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	843	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
738	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	844	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
739	}	845	}
740		846
		847	if (ecb_expect_false (c->on_enter_xs))
		848	{
		849	int i;
		850
		851	for (i = 0; i <= AvFILLp (c->on_enter_xs); i += 2)
		852	((coro_enterleave_hook)AvARRAY (c->on_enter_xs)[i]) (aTHX_ AvARRAY (c->on_enter_xs)[i + 1]);
		853	}
		854
741	SWAP_SVS (c);	855	SWAP_SVS_ENTER (c);
742	}	856	}
743		857
744	static void	858	static void
745	save_perl (pTHX_ Coro__State c)	859	save_perl (pTHX_ Coro__State c)
746	{	860	{
747	SWAP_SVS (c);	861	SWAP_SVS_LEAVE (c);
		862
		863	if (ecb_expect_false (c->on_leave_xs))
		864	{
		865	int i;
		866
		867	for (i = AvFILLp (c->on_leave_xs) - 1; i >= 0; i -= 2)
		868	((coro_enterleave_hook)AvARRAY (c->on_leave_xs)[i]) (aTHX_ AvARRAY (c->on_leave_xs)[i + 1]);
		869	}
748		870
749	if (ecb_expect_false (c->on_leave))	871	if (ecb_expect_false (c->on_leave))
750	{	872	{
751	int i;	873	int i;
752		874
…		…
811		933
812	PUTBACK;	934	PUTBACK;
813	}	935	}
814		936
815	/* allocate some space on the context stack for our purposes */	937	/* allocate some space on the context stack for our purposes */
816	if (ecb_expect_false (cxstack_ix + SLOT_COUNT >= cxstack_max))	938	if (ecb_expect_false (cxstack_ix + (int)SLOT_COUNT >= cxstack_max))
817	{	939	{
818	unsigned int i;	940	unsigned int i;
819		941
820	for (i = 0; i < SLOT_COUNT; ++i)	942	for (i = 0; i < SLOT_COUNT; ++i)
821	CXINC;	943	CXINC;
…		…
830		952
831	#if CORO_JIT	953	#if CORO_JIT
832	save_perl_slots (slot);	954	save_perl_slots (slot);
833	#else	955	#else
834	#define VARx(name,expr,type) slot->name = expr;	956	#define VARx(name,expr,type) slot->name = expr;
835	# include "state.h"	957	#include "state.h"
836	#undef VARx
837	#endif	958	#endif
838	}	959	}
839	}	960	}
840		961
841	/*	962	/*
…		…
873	#endif	994	#endif
874		995
875	New(54,PL_scopestack,8,I32);	996	New(54,PL_scopestack,8,I32);
876	PL_scopestack_ix = 0;	997	PL_scopestack_ix = 0;
877	PL_scopestack_max = 8;	998	PL_scopestack_max = 8;
		999	#if HAS_SCOPESTACK_NAME
		1000	New(54,PL_scopestack_name,8,const char*);
		1001	#endif
878		1002
879	New(54,PL_savestack,24,ANY);	1003	New(54,PL_savestack,24,ANY);
880	PL_savestack_ix = 0;	1004	PL_savestack_ix = 0;
881	PL_savestack_max = 24;	1005	PL_savestack_max = 24;
		1006	#if PERL_VERSION_ATLEAST (5,24,0)
		1007	/* perl 5.24 moves SS_MAXPUSH optimisation from */
		1008	/* the header macros to PL_savestack_max */
		1009	PL_savestack_max -= SS_MAXPUSH;
		1010	#endif
882		1011
883	#if !PERL_VERSION_ATLEAST (5,10,0)	1012	#if !PERL_VERSION_ATLEAST (5,10,0)
884	New(54,PL_retstack,4,OP*);	1013	New(54,PL_retstack,4,OP*);
885	PL_retstack_ix = 0;	1014	PL_retstack_ix = 0;
886	PL_retstack_max = 4;	1015	PL_retstack_max = 4;
…		…
910	}	1039	}
911		1040
912	Safefree (PL_tmps_stack);	1041	Safefree (PL_tmps_stack);
913	Safefree (PL_markstack);	1042	Safefree (PL_markstack);
914	Safefree (PL_scopestack);	1043	Safefree (PL_scopestack);
		1044	#if HAS_SCOPESTACK_NAME
		1045	Safefree (PL_scopestack_name);
		1046	#endif
915	Safefree (PL_savestack);	1047	Safefree (PL_savestack);
916	#if !PERL_VERSION_ATLEAST (5,10,0)	1048	#if !PERL_VERSION_ATLEAST (5,10,0)
917	Safefree (PL_retstack);	1049	Safefree (PL_retstack);
918	#endif	1050	#endif
919	}	1051	}
…		…
949	}	1081	}
950		1082
951	return rss;	1083	return rss;
952	}	1084	}
953		1085
954	/** coroutine stack handling ************************************************/	1086	/** provide custom get/set/clear methods for %SIG elements ******************/
955
956	static int (*orig_sigelem_get) (pTHX_ SV *sv, MAGIC *mg);
957	static int (*orig_sigelem_set) (pTHX_ SV *sv, MAGIC *mg);
958	static int (*orig_sigelem_clr) (pTHX_ SV *sv, MAGIC *mg);
959		1087
960	/* apparently < 5.8.8 */	1088	/* apparently < 5.8.8 */
961	#ifndef MgPV_nolen_const	1089	#ifndef MgPV_nolen_const
962	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \	1090	#define MgPV_nolen_const(mg) (((((int)(mg)->mg_len)) == HEf_SVKEY) ? \
963	SvPV_nolen((SV*)((mg)->mg_ptr)) : \	1091	SvPV_nolen((SV*)((mg)->mg_ptr)) : \
964	(const char*)(mg)->mg_ptr)	1092	(const char*)(mg)->mg_ptr)
965	#endif	1093	#endif
		1094
		1095	/* this will be a patched copy of PL_vtbl_sigelem */
		1096	static MGVTBL coro_sigelem_vtbl;
		1097
		1098	static int ecb_cold
		1099	coro_sig_copy (pTHX_ SV *sv, MAGIC *mg, SV *nsv, const char *name, I32 namlen)
		1100	{
		1101	char *key = SvPV_nolen ((SV *)name);
		1102
		1103	/* do what mg_copy normally does */
		1104	sv_magic (nsv, mg->mg_obj, PERL_MAGIC_sigelem, name, namlen);
		1105	assert (mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual == &PL_vtbl_sigelem);
		1106
		1107	/* patch sigelem vtbl, but only for __WARN__ and __DIE__ */
		1108	if (*key == '_'
		1109	&& (strEQ (key, "__DIE__")
		1110	|| strEQ (key, "__WARN__")))
		1111	mg_find (nsv, PERL_MAGIC_sigelem)->mg_virtual = &coro_sigelem_vtbl;
		1112
		1113	return 1;
		1114	}
		1115
		1116	/* perl does not have a %SIG vtbl, we provide one so we can override */
		1117	/* the magic vtbl for the __DIE__ and __WARN__ members */
		1118	static const MGVTBL coro_sig_vtbl = {
		1119	0, 0, 0, 0, 0,
		1120	coro_sig_copy
		1121	};
966		1122
967	/*	1123	/*
968	* This overrides the default magic get method of %SIG elements.	1124	* This overrides the default magic get method of %SIG elements.
969	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook	1125	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook
970	* and instead of trying to save and restore the hash elements (extremely slow),	1126	* and instead of trying to save and restore the hash elements (extremely slow),
…		…
972	*/	1128	*/
973	static int ecb_cold	1129	static int ecb_cold
974	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	1130	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
975	{	1131	{
976	const char *s = MgPV_nolen_const (mg);	1132	const char *s = MgPV_nolen_const (mg);
		1133	/* the key must be either __DIE__ or __WARN__ here */
		1134	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
977		1135
978	if (*s == '_')	1136	SV *ssv;
979	{
980	SV **svp = 0;
981		1137
982	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
983	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
984
985	if (svp)	1138	if (!*svp)
986	{	1139	ssv = &PL_sv_undef;
987	sv_setsv (sv, *svp ? *svp : &PL_sv_undef);	1140	else if (SvTYPE (*svp) == SVt_PVCV) /* perlio directly stores a CV in warnhook. ugh. */
988	return 0;	1141	ssv = sv_2mortal (newRV_inc (*svp));
989	}	1142	else
990	}	1143	ssv = *svp;
991		1144
992	return orig_sigelem_get ? orig_sigelem_get (aTHX_ sv, mg) : 0;	1145	sv_setsv (sv, ssv);
		1146	return 0;
993	}	1147	}
994		1148
995	static int ecb_cold	1149	static int ecb_cold
996	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)	1150	coro_sigelem_clr (pTHX_ SV *sv, MAGIC *mg)
997	{	1151	{
998	const char *s = MgPV_nolen_const (mg);	1152	const char *s = MgPV_nolen_const (mg);
		1153	/* the key must be either __DIE__ or __WARN__ here */
		1154	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
999		1155
1000	if (*s == '_')
1001	{
1002	SV **svp = 0;
1003
1004	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
1005	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
1006
1007	if (svp)
1008	{
1009	SV *old = *svp;	1156	SV *old = *svp;
1010	*svp = 0;	1157	*svp = 0;
1011	SvREFCNT_dec (old);	1158	SvREFCNT_dec (old);
1012	return 0;	1159	return 0;
1013	}
1014	}
1015
1016	return orig_sigelem_clr ? orig_sigelem_clr (aTHX_ sv, mg) : 0;
1017	}	1160	}
1018		1161
1019	static int ecb_cold	1162	static int ecb_cold
1020	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)	1163	coro_sigelem_set (pTHX_ SV *sv, MAGIC *mg)
1021	{	1164	{
1022	const char *s = MgPV_nolen_const (mg);	1165	const char *s = MgPV_nolen_const (mg);
		1166	/* the key must be either __DIE__ or __WARN__ here */
		1167	SV **svp = s[2] == 'D' ? &PL_diehook : &PL_warnhook;
1023		1168
1024	if (*s == '_')
1025	{
1026	SV **svp = 0;
1027
1028	if (strEQ (s, "__DIE__" )) svp = &PL_diehook;
1029	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
1030
1031	if (svp)
1032	{
1033	SV *old = *svp;	1169	SV *old = *svp;
1034	*svp = SvOK (sv) ? newSVsv (sv) : 0;	1170	*svp = SvOK (sv) ? newSVsv (sv) : 0;
1035	SvREFCNT_dec (old);	1171	SvREFCNT_dec (old);
1036	return 0;	1172	return 0;
1037	}
1038	}
1039
1040	return orig_sigelem_set ? orig_sigelem_set (aTHX_ sv, mg) : 0;
1041	}	1173	}
1042		1174
1043	static void	1175	static void
1044	prepare_nop (pTHX_ struct coro_transfer_args *ta)	1176	prepare_nop (pTHX_ struct coro_transfer_args *ta)
1045	{	1177	{
…		…
1056	static int	1188	static int
1057	slf_check_repeat (pTHX_ struct CoroSLF *frame)	1189	slf_check_repeat (pTHX_ struct CoroSLF *frame)
1058	{	1190	{
1059	return 1;	1191	return 1;
1060	}	1192	}
		1193
		1194	/** coroutine stack handling ************************************************/
1061		1195
1062	static UNOP init_perl_op;	1196	static UNOP init_perl_op;
1063		1197
1064	ecb_noinline static void /* noinline to keep it out of the transfer fast path */	1198	ecb_noinline static void /* noinline to keep it out of the transfer fast path */
1065	init_perl (pTHX_ struct coro *coro)	1199	init_perl (pTHX_ struct coro *coro)
…		…
1086	PL_hints = 0;	1220	PL_hints = 0;
1087		1221
1088	/* recreate the die/warn hooks */	1222	/* recreate the die/warn hooks */
1089	PL_diehook = SvREFCNT_inc (rv_diehook);	1223	PL_diehook = SvREFCNT_inc (rv_diehook);
1090	PL_warnhook = SvREFCNT_inc (rv_warnhook);	1224	PL_warnhook = SvREFCNT_inc (rv_warnhook);
1091		1225
1092	GvSV (PL_defgv) = newSV (0);	1226	GvSV (PL_defgv) = newSV (0);
1093	GvAV (PL_defgv) = coro->args; coro->args = 0;	1227	GvAV (PL_defgv) = coro->args; coro->args = 0;
1094	GvSV (PL_errgv) = newSV (0);	1228	GvSV (PL_errgv) = newSV (0);
1095	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	1229	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
1096	GvHV (PL_hintgv) = 0;	1230	GvHV (PL_hintgv) = newHV ();
		1231	#if PERL_VERSION_ATLEAST (5,10,0)
		1232	hv_magic (GvHV (PL_hintgv), 0, PERL_MAGIC_hints);
		1233	#endif
1097	PL_rs = newSVsv (GvSV (irsgv));	1234	PL_rs = newSVsv (GvSV (irsgv));
1098	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	1235	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
1099		1236
1100	{	1237	{
1101	dSP;	1238	dSP;
…		…
1105	myop.op_next = Nullop;	1242	myop.op_next = Nullop;
1106	myop.op_type = OP_ENTERSUB;	1243	myop.op_type = OP_ENTERSUB;
1107	myop.op_flags = OPf_WANT_VOID;	1244	myop.op_flags = OPf_WANT_VOID;
1108		1245
1109	PUSHMARK (SP);	1246	PUSHMARK (SP);
1110	PUSHs ((SV *)coro->startcv);	1247	XPUSHs ((SV *)coro->startcv);
1111	PUTBACK;	1248	PUTBACK;
1112	PL_op = (OP *)&myop;	1249	PL_op = (OP *)&myop;
1113	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);	1250	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
1114	}	1251	}
1115		1252
…		…
1129	PL_op = (OP *)&init_perl_op;	1266	PL_op = (OP *)&init_perl_op;
1130		1267
1131	/* copy throw, in case it was set before init_perl */	1268	/* copy throw, in case it was set before init_perl */
1132	CORO_THROW = coro->except;	1269	CORO_THROW = coro->except;
1133		1270
1134	SWAP_SVS (coro);	1271	SWAP_SVS_ENTER (coro);
1135		1272
1136	if (ecb_expect_false (enable_times))	1273	if (ecb_expect_false (enable_times))
1137	{	1274	{
1138	coro_times_update ();	1275	coro_times_update ();
1139	coro_times_sub (coro);	1276	coro_times_sub (coro);
…		…
1172		1309
1173	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));	1310	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
1174		1311
1175	save_perl (aTHX_ current);	1312	save_perl (aTHX_ current);
1176		1313
1177	/* this will cause transfer_check to croak on block*/	1314	/* this will cause transfer_check to croak on block */
1178	SvRV_set (coro_current, (SV *)coro->hv);	1315	SvRV_set (coro_current, (SV *)coro->hv);
1179		1316
1180	load_perl (aTHX_ coro);	1317	load_perl (aTHX_ coro);
1181		1318
		1319	/* restore swapped sv's */
		1320	SWAP_SVS_LEAVE (coro);
		1321
1182	coro_unwind_stacks (aTHX);	1322	coro_unwind_stacks (aTHX);
1183		1323
1184	/* restore swapped sv's */
1185	SWAP_SVS (coro);
1186
1187	coro_destruct_stacks (aTHX);	1324	coro_destruct_stacks (aTHX);
1188		1325
1189	// now save some sv's to be free'd later	1326	/* now save some sv's to be free'd later */
1190	svf [0] = GvSV (PL_defgv);	1327	svf [0] = GvSV (PL_defgv);
1191	svf [1] = (SV *)GvAV (PL_defgv);	1328	svf [1] = (SV *)GvAV (PL_defgv);
1192	svf [2] = GvSV (PL_errgv);	1329	svf [2] = GvSV (PL_errgv);
1193	svf [3] = (SV *)PL_defoutgv;	1330	svf [3] = (SV *)PL_defoutgv;
1194	svf [4] = PL_rs;	1331	svf [4] = PL_rs;
…		…
1211		1348
1212	SvREFCNT_dec (coro->saved_deffh);	1349	SvREFCNT_dec (coro->saved_deffh);
1213	SvREFCNT_dec (coro->rouse_cb);	1350	SvREFCNT_dec (coro->rouse_cb);
1214	SvREFCNT_dec (coro->invoke_cb);	1351	SvREFCNT_dec (coro->invoke_cb);
1215	SvREFCNT_dec (coro->invoke_av);	1352	SvREFCNT_dec (coro->invoke_av);
		1353	SvREFCNT_dec (coro->on_enter_xs);
		1354	SvREFCNT_dec (coro->on_leave_xs);
1216	}	1355	}
1217	}	1356	}
1218		1357
1219	ECB_INLINE void	1358	ecb_inline void
1220	free_coro_mortal (pTHX)	1359	free_coro_mortal (pTHX)
1221	{	1360	{
1222	if (ecb_expect_true (coro_mortal))	1361	if (ecb_expect_true (coro_mortal))
1223	{	1362	{
1224	SvREFCNT_dec ((SV *)coro_mortal);	1363	SvREFCNT_dec ((SV *)coro_mortal);
…		…
1261	av_push (av, SvREFCNT_inc_NN (*bot++));	1400	av_push (av, SvREFCNT_inc_NN (*bot++));
1262		1401
1263	PL_runops = RUNOPS_DEFAULT;	1402	PL_runops = RUNOPS_DEFAULT;
1264	ENTER;	1403	ENTER;
1265	SAVETMPS;	1404	SAVETMPS;
		1405	PUSHMARK (SP);
1266	EXTEND (SP, 3);	1406	EXTEND (SP, 3);
1267	PUSHMARK (SP);
1268	PUSHs (&PL_sv_no);	1407	PUSHs (&PL_sv_no);
1269	PUSHs (fullname);	1408	PUSHs (fullname);
1270	PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));	1409	PUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
1271	PUTBACK;	1410	PUTBACK;
1272	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);	1411	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
…		…
1283		1422
1284	if (PL_curcop != &PL_compiling)	1423	if (PL_curcop != &PL_compiling)
1285	{	1424	{
1286	SV **cb;	1425	SV **cb;
1287		1426
1288	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)	1427	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB && cxstack_ix >= 0)
1289	{	1428	{
1290	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1429	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1291		1430
1292	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1431	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1293	{	1432	{
…		…
1299	gv_efullname3 (fullname, gv, 0);	1438	gv_efullname3 (fullname, gv, 0);
1300		1439
1301	PL_runops = RUNOPS_DEFAULT;	1440	PL_runops = RUNOPS_DEFAULT;
1302	ENTER;	1441	ENTER;
1303	SAVETMPS;	1442	SAVETMPS;
		1443	PUSHMARK (SP);
1304	EXTEND (SP, 3);	1444	EXTEND (SP, 3);
1305	PUSHMARK (SP);
1306	PUSHs (&PL_sv_yes);	1445	PUSHs (&PL_sv_yes);
1307	PUSHs (fullname);	1446	PUSHs (fullname);
1308	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);	1447	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc (SUB_ARGARRAY)) : &PL_sv_undef);
1309	PUTBACK;	1448	PUTBACK;
1310	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);	1449	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
1311	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	1450	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1312	SPAGAIN;	1451	SPAGAIN;
1313	FREETMPS;	1452	FREETMPS;
…		…
1323	dSP;	1462	dSP;
1324		1463
1325	PL_runops = RUNOPS_DEFAULT;	1464	PL_runops = RUNOPS_DEFAULT;
1326	ENTER;	1465	ENTER;
1327	SAVETMPS;	1466	SAVETMPS;
1328	EXTEND (SP, 3);
1329	PL_runops = RUNOPS_DEFAULT;
1330	PUSHMARK (SP);	1467	PUSHMARK (SP);
		1468	EXTEND (SP, 2);
1331	PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));	1469	PUSHs (sv_2mortal (newSVpv (OutCopFILE (oldcop), 0)));
1332	PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));	1470	PUSHs (sv_2mortal (newSViv (CopLINE (oldcop))));
1333	PUTBACK;	1471	PUTBACK;
1334	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_line_cb", sizeof ("_trace_line_cb") - 1, 0);	1472	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_line_cb", sizeof ("_trace_line_cb") - 1, 0);
1335	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	1473	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
…		…
1383	slf_frame.prepare = slf_prepare_set_stacklevel;	1521	slf_frame.prepare = slf_prepare_set_stacklevel;
1384	slf_frame.check = slf_check_set_stacklevel;	1522	slf_frame.check = slf_check_set_stacklevel;
1385	}	1523	}
1386		1524
1387	/* the tail of transfer: execute stuff we can only do after a transfer */	1525	/* the tail of transfer: execute stuff we can only do after a transfer */
1388	ECB_INLINE void	1526	ecb_inline void
1389	transfer_tail (pTHX)	1527	transfer_tail (pTHX)
1390	{	1528	{
1391	free_coro_mortal (aTHX);	1529	free_coro_mortal (aTHX);
		1530	}
		1531
		1532	/* try to exit the same way perl's main function would do */
		1533	/* we do not bother resetting the environment or other things *7
		1534	/* that are not, uhm, essential */
		1535	/* this obviously also doesn't work when perl is embedded */
		1536	static void ecb_noinline ecb_cold
		1537	perlish_exit (pTHX)
		1538	{
		1539	int exitstatus = perl_destruct (PL_curinterp);
		1540	perl_free (PL_curinterp);
		1541	exit (exitstatus);
1392	}	1542	}
1393		1543
1394	/*	1544	/*
1395	* this is a _very_ stripped down perl interpreter ;)	1545	* this is a _very_ stripped down perl interpreter ;)
1396	*/	1546	*/
…		…
1423	* coro body here, as perl_run destroys these. Likewise, we cannot catch	1573	* coro body here, as perl_run destroys these. Likewise, we cannot catch
1424	* runtime errors here, as this is just a random interpreter, not a thread.	1574	* runtime errors here, as this is just a random interpreter, not a thread.
1425	*/	1575	*/
1426		1576
1427	/*	1577	/*
		1578	* pp_entersub in 5.24 no longer ENTERs, but perl_destruct
		1579	* requires PL_scopestack_ix, so do it here if required.
		1580	*/
		1581	if (!PL_scopestack_ix)
		1582	ENTER;
		1583
		1584	/*
1428	* If perl-run returns we assume exit() was being called or the coro	1585	* If perl-run returns we assume exit() was being called or the coro
1429	* fell off the end, which seems to be the only valid (non-bug)	1586	* fell off the end, which seems to be the only valid (non-bug)
1430	* reason for perl_run to return. We try to exit by jumping to the	1587	* reason for perl_run to return. We try to mimic whatever perl is normally
1431	* bootstrap-time "top" top_env, as we cannot restore the "main"	1588	* doing in that case. YMMV.
1432	* coroutine as Coro has no such concept.
1433	* This actually isn't valid with the pthread backend, but OSes requiring
1434	* that backend are too broken to do it in a standards-compliant way.
1435	*/	1589	*/
1436	PL_top_env = main_top_env;	1590	perlish_exit (aTHX);
1437	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1438	}	1591	}
1439	}	1592	}
1440		1593
1441	static coro_cctx *	1594	static coro_cctx *
1442	cctx_new ()	1595	cctx_new (void)
1443	{	1596	{
1444	coro_cctx *cctx;	1597	coro_cctx *cctx;
1445		1598
1446	++cctx_count;	1599	++cctx_count;
1447	New (0, cctx, 1, coro_cctx);	1600	New (0, cctx, 1, coro_cctx);
…		…
1453	return cctx;	1606	return cctx;
1454	}	1607	}
1455		1608
1456	/* create a new cctx only suitable as source */	1609	/* create a new cctx only suitable as source */
1457	static coro_cctx *	1610	static coro_cctx *
1458	cctx_new_empty ()	1611	cctx_new_empty (void)
1459	{	1612	{
1460	coro_cctx *cctx = cctx_new ();	1613	coro_cctx *cctx = cctx_new ();
1461		1614
1462	cctx->sptr = 0;	1615	cctx->stack.sptr = 0;
1463	coro_create (&cctx->cctx, 0, 0, 0, 0);	1616	coro_create (&cctx->cctx, 0, 0, 0, 0);
1464		1617
1465	return cctx;	1618	return cctx;
1466	}	1619	}
1467		1620
1468	/* create a new cctx suitable as destination/running a perl interpreter */	1621	/* create a new cctx suitable as destination/running a perl interpreter */
1469	static coro_cctx *	1622	static coro_cctx *
1470	cctx_new_run ()	1623	cctx_new_run (void)
1471	{	1624	{
1472	coro_cctx *cctx = cctx_new ();	1625	coro_cctx *cctx = cctx_new ();
1473	void *stack_start;
1474	size_t stack_size;
1475		1626
1476	#if HAVE_MMAP	1627	if (!coro_stack_alloc (&cctx->stack, cctx_stacksize))
1477	cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1478	/* mmap supposedly does allocate-on-write for us */
1479	cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
1480
1481	if (cctx->sptr != (void *)-1)
1482	{
1483	#if CORO_STACKGUARD
1484	mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1485	#endif
1486	stack_start = (char *)cctx->sptr + CORO_STACKGUARD * PAGESIZE;
1487	stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1488	cctx->flags |= CC_MAPPED;
1489	}	1628	{
1490	else
1491	#endif
1492	{
1493	cctx->ssize = cctx_stacksize * (long)sizeof (long);
1494	New (0, cctx->sptr, cctx_stacksize, long);
1495
1496	if (!cctx->sptr)
1497	{
1498	perror ("FATAL: unable to allocate stack for coroutine, exiting.");	1629	perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1499	_exit (EXIT_FAILURE);	1630	_exit (EXIT_FAILURE);
1500	}
1501
1502	stack_start = cctx->sptr;
1503	stack_size = cctx->ssize;
1504	}	1631	}
1505		1632
1506	#if CORO_USE_VALGRIND
1507	cctx->valgrind_id = VALGRIND_STACK_REGISTER ((char *)stack_start, (char *)stack_start + stack_size);
1508	#endif
1509
1510	coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);	1633	coro_create (&cctx->cctx, cctx_run, (void *)cctx, cctx->stack.sptr, cctx->stack.ssze);
1511		1634
1512	return cctx;	1635	return cctx;
1513	}	1636	}
1514		1637
1515	static void	1638	static void
…		…
1521	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));	1644	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1522		1645
1523	--cctx_count;	1646	--cctx_count;
1524	coro_destroy (&cctx->cctx);	1647	coro_destroy (&cctx->cctx);
1525		1648
1526	/* coro_transfer creates new, empty cctx's */	1649	coro_stack_free (&cctx->stack);
1527	if (cctx->sptr)
1528	{
1529	#if CORO_USE_VALGRIND
1530	VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1531	#endif
1532
1533	#if HAVE_MMAP
1534	if (cctx->flags & CC_MAPPED)
1535	munmap (cctx->sptr, cctx->ssize);
1536	else
1537	#endif
1538	Safefree (cctx->sptr);
1539	}
1540		1650
1541	Safefree (cctx);	1651	Safefree (cctx);
1542	}	1652	}
1543		1653
1544	/* wether this cctx should be destructed */	1654	/* wether this cctx should be destructed */
…		…
1563	}	1673	}
1564		1674
1565	static void	1675	static void
1566	cctx_put (coro_cctx *cctx)	1676	cctx_put (coro_cctx *cctx)
1567	{	1677	{
1568	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));	1678	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->stack.sptr));
1569		1679
1570	/* free another cctx if overlimit */	1680	/* free another cctx if overlimit */
1571	if (ecb_expect_false (cctx_idle >= cctx_max_idle))	1681	if (ecb_expect_false (cctx_idle >= cctx_max_idle))
1572	{	1682	{
1573	coro_cctx *first = cctx_first;	1683	coro_cctx *first = cctx_first;
…		…
1699	return;	1809	return;
1700		1810
1701	slf_destroy (aTHX_ coro);	1811	slf_destroy (aTHX_ coro);
1702		1812
1703	coro->flags |= CF_ZOMBIE;	1813	coro->flags |= CF_ZOMBIE;
1704		1814
1705	if (coro->flags & CF_READY)	1815	if (coro->flags & CF_READY)
1706	{	1816	{
1707	/* reduce nready, as destroying a ready coro effectively unreadies it */	1817	/* reduce nready, as destroying a ready coro effectively unreadies it */
1708	/* alternative: look through all ready queues and remove the coro */	1818	/* alternative: look through all ready queues and remove the coro */
1709	--coro_nready;	1819	--coro_nready;
…		…
1734		1844
1735	static int	1845	static int
1736	coro_state_free (pTHX_ SV *sv, MAGIC *mg)	1846	coro_state_free (pTHX_ SV *sv, MAGIC *mg)
1737	{	1847	{
1738	struct coro *coro = (struct coro *)mg->mg_ptr;	1848	struct coro *coro = (struct coro *)mg->mg_ptr;
		1849
		1850	coro_state_destroy (aTHX_ coro);
1739	mg->mg_ptr = 0;	1851	mg->mg_ptr = 0;
1740		1852
1741	coro_state_destroy (aTHX_ coro);
1742	SvREFCNT_dec (coro->on_destroy);	1853	SvREFCNT_dec (coro->on_destroy);
1743	SvREFCNT_dec (coro->status);	1854	SvREFCNT_dec (coro->status);
1744		1855
1745	Safefree (coro);	1856	Safefree (coro);
1746		1857
…		…
1749		1860
1750	static int ecb_cold	1861	static int ecb_cold
1751	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)	1862	coro_state_dup (pTHX_ MAGIC *mg, CLONE_PARAMS *params)
1752	{	1863	{
1753	/* called when perl clones the current process the slow way (windows process emulation) */	1864	/* called when perl clones the current process the slow way (windows process emulation) */
1754	/* WE SIMply nuke the pointers in the copy, causing perl to croak */	1865	/* we simply nuke the pointers in the copy, causing perl to croak */
1755	mg->mg_ptr = 0;	1866	mg->mg_ptr = 0;
1756	mg->mg_virtual = 0;	1867	mg->mg_virtual = 0;
1757		1868
1758	return 0;	1869	return 0;
1759	}	1870	}
…		…
1786	TRANSFER (ta, 1);	1897	TRANSFER (ta, 1);
1787	}	1898	}
1788		1899
1789	/** Coro ********************************************************************/	1900	/** Coro ********************************************************************/
1790		1901
1791	ECB_INLINE void	1902	ecb_inline void
1792	coro_enq (pTHX_ struct coro *coro)	1903	coro_enq (pTHX_ struct coro *coro)
1793	{	1904	{
1794	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];	1905	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1795		1906
1796	SvREFCNT_inc_NN (coro->hv);	1907	SvREFCNT_inc_NN (coro->hv);
…		…
1798	coro->next_ready = 0;	1909	coro->next_ready = 0;
1799	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;	1910	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
1800	ready [1] = coro;	1911	ready [1] = coro;
1801	}	1912	}
1802		1913
1803	ECB_INLINE struct coro *	1914	ecb_inline struct coro *
1804	coro_deq (pTHX)	1915	coro_deq (pTHX)
1805	{	1916	{
1806	int prio;	1917	int prio;
1807		1918
1808	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )	1919	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
…		…
1861	{	1972	{
1862	return !!(SvSTATE (coro_sv)->flags & CF_READY);	1973	return !!(SvSTATE (coro_sv)->flags & CF_READY);
1863	}	1974	}
1864		1975
1865	/* expects to own a reference to next->hv */	1976	/* expects to own a reference to next->hv */
1866	ECB_INLINE void	1977	ecb_inline void
1867	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)	1978	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)
1868	{	1979	{
1869	SV *prev_sv = SvRV (coro_current);	1980	SV *prev_sv = SvRV (coro_current);
1870		1981
1871	ta->prev = SvSTATE_hv (prev_sv);	1982	ta->prev = SvSTATE_hv (prev_sv);
…		…
1905	/* nothing to schedule: call the idle handler */	2016	/* nothing to schedule: call the idle handler */
1906	if (SvROK (sv_idle)	2017	if (SvROK (sv_idle)
1907	&& SvOBJECT (SvRV (sv_idle)))	2018	&& SvOBJECT (SvRV (sv_idle)))
1908	{	2019	{
1909	if (SvRV (sv_idle) == SvRV (coro_current))	2020	if (SvRV (sv_idle) == SvRV (coro_current))
		2021	{
		2022	require_pv ("Carp");
		2023
		2024	{
		2025	dSP;
		2026
		2027	ENTER;
		2028	SAVETMPS;
		2029
		2030	PUSHMARK (SP);
1910	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");	2031	XPUSHs (sv_2mortal (newSVpv ("FATAL: $Coro::idle blocked itself - did you try to block inside an event loop callback? Caught", 0)));
		2032	PUTBACK;
		2033	call_pv ("Carp::confess", G_VOID | G_DISCARD);
		2034
		2035	FREETMPS;
		2036	LEAVE;
		2037	}
		2038	}
1911		2039
1912	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	2040	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1913	api_ready (aTHX_ SvRV (sv_idle));	2041	api_ready (aTHX_ SvRV (sv_idle));
1914	--coro_nready;	2042	--coro_nready;
1915	}	2043	}
…		…
1930	}	2058	}
1931	}	2059	}
1932	}	2060	}
1933	}	2061	}
1934		2062
1935	ECB_INLINE void	2063	ecb_inline void
1936	prepare_cede (pTHX_ struct coro_transfer_args *ta)	2064	prepare_cede (pTHX_ struct coro_transfer_args *ta)
1937	{	2065	{
1938	api_ready (aTHX_ coro_current);	2066	api_ready (aTHX_ coro_current);
1939	prepare_schedule (aTHX_ ta);	2067	prepare_schedule (aTHX_ ta);
1940	}	2068	}
1941		2069
1942	ECB_INLINE void	2070	ecb_inline void
1943	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)	2071	prepare_cede_notself (pTHX_ struct coro_transfer_args *ta)
1944	{	2072	{
1945	SV *prev = SvRV (coro_current);	2073	SV *prev = SvRV (coro_current);
1946		2074
1947	if (coro_nready)	2075	if (coro_nready)
…		…
2112	{	2240	{
2113	AV *od = coro->on_destroy;	2241	AV *od = coro->on_destroy;
2114		2242
2115	if (!od)	2243	if (!od)
2116	return;	2244	return;
		2245
		2246	coro->on_destroy = 0;
		2247	sv_2mortal ((SV *)od);
2117		2248
2118	while (AvFILLp (od) >= 0)	2249	while (AvFILLp (od) >= 0)
2119	{	2250	{
2120	SV *cb = sv_2mortal (av_pop (od));	2251	SV *cb = sv_2mortal (av_pop (od));
2121		2252
…		…
2142		2273
2143	static void	2274	static void
2144	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)	2275	coro_set_status (pTHX_ struct coro *coro, SV **arg, int items)
2145	{	2276	{
2146	AV *av;	2277	AV *av;
2147		2278
2148	if (coro->status)	2279	if (coro->status)
2149	{	2280	{
2150	av = coro->status;	2281	av = coro->status;
2151	av_clear (av);	2282	av_clear (av);
2152	}	2283	}
…		…
2199		2330
2200	coro = SvSTATE (arg [0]);	2331	coro = SvSTATE (arg [0]);
2201	coro_hv = coro->hv;	2332	coro_hv = coro->hv;
2202		2333
2203	coro_set_status (aTHX_ coro, arg + 1, items - 1);	2334	coro_set_status (aTHX_ coro, arg + 1, items - 1);
2204		2335
2205	if (ecb_expect_false (coro->flags & CF_NOCANCEL))	2336	if (ecb_expect_false (coro->flags & CF_NOCANCEL))
2206	{	2337	{
2207	/* coro currently busy cancelling something, so just notify it */	2338	/* coro currently busy cancelling something, so just notify it */
2208	coro->slf_frame.data = (void *)coro;	2339	coro->slf_frame.data = (void *)coro;
2209		2340
…		…
2216	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);	2347	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);
2217	}	2348	}
2218	else	2349	else
2219	{	2350	{
2220	struct coro *self = SvSTATE_current;	2351	struct coro *self = SvSTATE_current;
		2352
		2353	if (!self)
		2354	croak ("Coro::cancel called outside of thread content,");
2221		2355
2222	/* otherwise we cancel directly, purely for speed reasons	2356	/* otherwise we cancel directly, purely for speed reasons
2223	* unfortunately, this requires some magic trickery, as	2357	* unfortunately, this requires some magic trickery, as
2224	* somebody else could cancel us, so we have to fight the cancellation.	2358	* somebody else could cancel us, so we have to fight the cancellation.
2225	* this is ugly, and hopefully fully worth the extra speed.	2359	* this is ugly, and hopefully fully worth the extra speed.
…		…
2258	safe_cancel (pTHX_ struct coro *coro, SV **arg, int items)	2392	safe_cancel (pTHX_ struct coro *coro, SV **arg, int items)
2259	{	2393	{
2260	if (coro->cctx)	2394	if (coro->cctx)
2261	croak ("coro inside C callback, unable to cancel at this time, caught");	2395	croak ("coro inside C callback, unable to cancel at this time, caught");
2262		2396
2263	if (coro->flags & CF_NEW)	2397	if (coro->flags & (CF_NEW | CF_ZOMBIE))
2264	{	2398	{
2265	coro_set_status (aTHX_ coro, arg, items);	2399	coro_set_status (aTHX_ coro, arg, items);
2266	coro_state_destroy (aTHX_ coro);	2400	coro_state_destroy (aTHX_ coro);
2267	}	2401	}
2268	else	2402	else
…		…
2335	else	2469	else
2336	{	2470	{
2337	av_clear (GvAV (PL_defgv));	2471	av_clear (GvAV (PL_defgv));
2338	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);	2472	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
2339		2473
		2474	if (ecb_expect_false (coro->swap_sv))
		2475	{
		2476	SWAP_SVS_LEAVE (coro);
		2477	SvREFCNT_dec_NN (coro->swap_sv);
		2478	coro->swap_sv = 0;
		2479	}
		2480
2340	coro->prio = 0;	2481	coro->prio = 0;
2341		2482
2342	if (coro->cctx && (coro->cctx->flags & CC_TRACE))	2483	if (ecb_expect_false (coro->cctx) && ecb_expect_false (coro->cctx->flags & CC_TRACE))
2343	api_trace (aTHX_ coro_current, 0);	2484	api_trace (aTHX_ coro_current, 0);
2344		2485
2345	frame->prepare = prepare_schedule;	2486	frame->prepare = prepare_schedule;
2346	av_push (av_async_pool, SvREFCNT_inc (hv));	2487	av_push (av_async_pool, SvREFCNT_inc_NN (hv));
2347	}	2488	}
2348	}	2489	}
2349	else	2490	else
2350	{	2491	{
2351	/* first iteration, simply fall through */	2492	/* first iteration, simply fall through */
…		…
2364	static void	2505	static void
2365	coro_rouse_callback (pTHX_ CV *cv)	2506	coro_rouse_callback (pTHX_ CV *cv)
2366	{	2507	{
2367	dXSARGS;	2508	dXSARGS;
2368	SV *data = (SV *)S_GENSUB_ARG;	2509	SV *data = (SV *)S_GENSUB_ARG;
		2510	SV *coro = SvRV (data);
2369		2511
		2512	/* data starts being either undef or a coro, and is replaced by the results when done */
2370	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2513	if (SvTYPE (coro) != SVt_PVAV)
2371	{	2514	{
2372	/* first call, set args */	2515	/* first call, set args */
2373	SV *coro = SvRV (data);
2374	AV *av = newAV ();
2375		2516
2376	SvRV_set (data, (SV *)av);	2517	assert (&ST (0) < &ST (1)); /* ensure the stack is in the order we expect it to be */
		2518	SvRV_set (data, (SV *)av_make (items, &ST (0))); /* av_make copies the SVs */
2377		2519
2378	/* better take a full copy of the arguments */	2520	if (coro != &PL_sv_undef)
2379	while (items--)	2521	{
2380	av_store (av, items, newSVsv (ST (items)));
2381
2382	api_ready (aTHX_ coro);	2522	api_ready (aTHX_ coro);
2383	SvREFCNT_dec (coro);	2523	SvREFCNT_dec_NN (coro);
		2524	}
2384	}	2525	}
2385		2526
2386	XSRETURN_EMPTY;	2527	XSRETURN_EMPTY;
2387	}	2528	}
2388		2529
2389	static int	2530	static int
2390	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)	2531	slf_check_rouse_wait (pTHX_ struct CoroSLF *frame)
2391	{	2532	{
2392	SV *data = (SV *)frame->data;	2533	SV *data = (SV *)frame->data;
2393		2534
2394	if (CORO_THROW)	2535	if (CORO_THROW)
2395	return 0;	2536	return 0;
2396		2537
2397	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2538	if (SvTYPE (SvRV (data)) != SVt_PVAV)
2398	return 1;	2539	return 1;
…		…
2405		2546
2406	EXTEND (SP, AvFILLp (av) + 1);	2547	EXTEND (SP, AvFILLp (av) + 1);
2407	for (i = 0; i <= AvFILLp (av); ++i)	2548	for (i = 0; i <= AvFILLp (av); ++i)
2408	PUSHs (sv_2mortal (AvARRAY (av)[i]));	2549	PUSHs (sv_2mortal (AvARRAY (av)[i]));
2409		2550
2410	/* we have stolen the elements, so set length to zero and free */	2551	/* we have stolen the elements, make it unreal and free */
2411	AvFILLp (av) = -1;	2552	AvREAL_off (av);
2412	av_undef (av);	2553	av_undef (av);
2413		2554
2414	PUTBACK;	2555	PUTBACK;
2415	}	2556	}
2416		2557
…		…
2434	cb = sv_2mortal (coro->rouse_cb);	2575	cb = sv_2mortal (coro->rouse_cb);
2435	coro->rouse_cb = 0;	2576	coro->rouse_cb = 0;
2436	}	2577	}
2437		2578
2438	if (!SvROK (cb)	2579	if (!SvROK (cb)
2439	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2580	|| SvTYPE (SvRV (cb)) != SVt_PVCV
2440	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2581	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
2441	croak ("Coro::rouse_wait called with illegal callback argument,");	2582	croak ("Coro::rouse_wait called with illegal callback argument,");
2442		2583
2443	{	2584	{
2444	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */	2585	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
2445	SV *data = (SV *)S_GENSUB_ARG;	2586	SV *data = (SV *)S_GENSUB_ARG;
		2587	int data_ready = SvTYPE (SvRV (data)) == SVt_PVAV;
		2588
		2589	/* if there is no data, we need to store the current coro in the reference so we can be woken up */
		2590	if (!data_ready)
		2591	if (SvRV (data) != &PL_sv_undef)
		2592	croak ("Coro::rouse_wait was called on a calback that is already being waited for - only one thread can wait for a rouse callback, caught");
		2593	else
		2594	SvRV_set (data, SvREFCNT_inc_NN (SvRV (coro_current)));
2446		2595
2447	frame->data = (void *)data;	2596	frame->data = (void *)data;
2448	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2597	frame->prepare = data_ready ? prepare_nop : prepare_schedule;
2449	frame->check = slf_check_rouse_wait;	2598	frame->check = slf_check_rouse_wait;
2450	}	2599	}
2451	}	2600	}
2452		2601
2453	static SV *	2602	static SV *
2454	coro_new_rouse_cb (pTHX)	2603	coro_new_rouse_cb (pTHX)
2455	{	2604	{
2456	HV *hv = (HV *)SvRV (coro_current);	2605	HV *hv = (HV *)SvRV (coro_current);
2457	struct coro *coro = SvSTATE_hv (hv);	2606	struct coro *coro = SvSTATE_hv (hv);
2458	SV *data = newRV_inc ((SV *)hv);	2607	SV *data = newRV_noinc (&PL_sv_undef);
2459	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);	2608	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);
2460		2609
2461	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2610	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2462	SvREFCNT_dec (data); /* magicext increases the refcount */	2611	SvREFCNT_dec_NN (data); /* magicext increases the refcount */
2463		2612
2464	SvREFCNT_dec (coro->rouse_cb);	2613	SvREFCNT_dec (coro->rouse_cb);
2465	coro->rouse_cb = SvREFCNT_inc_NN (cb);	2614	coro->rouse_cb = SvREFCNT_inc_NN (cb);
2466		2615
2467	return cb;	2616	return cb;
…		…
2567		2716
2568	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */	2717	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */
2569	static void	2718	static void
2570	slf_destroy (pTHX_ struct coro *coro)	2719	slf_destroy (pTHX_ struct coro *coro)
2571	{	2720	{
2572	/* this callback is reserved for slf functions needing to do cleanup */	2721	struct CoroSLF frame = coro->slf_frame;
2573	if (coro->slf_frame.destroy && coro->slf_frame.prepare && !PL_dirty)
2574	coro->slf_frame.destroy (aTHX_ &coro->slf_frame);
2575		2722
2576	/*	2723	/*
2577	* The on_destroy above most likely is from an SLF call.	2724	* The on_destroy below most likely is from an SLF call.
2578	* Since by definition the SLF call will not finish when we destroy	2725	* Since by definition the SLF call will not finish when we destroy
2579	* the coro, we will have to force-finish it here, otherwise	2726	* the coro, we will have to force-finish it here, otherwise
2580	* cleanup functions cannot call SLF functions.	2727	* cleanup functions cannot call SLF functions.
2581	*/	2728	*/
2582	coro->slf_frame.prepare = 0;	2729	coro->slf_frame.prepare = 0;
		2730
		2731	/* this callback is reserved for slf functions needing to do cleanup */
		2732	if (frame.destroy && frame.prepare && !PL_dirty)
		2733	frame.destroy (aTHX_ &frame);
2583	}	2734	}
2584		2735
2585	/*	2736	/*
2586	* these not obviously related functions are all rolled into one	2737	* these not obviously related functions are all rolled into one
2587	* function to increase chances that they all will call transfer with the same	2738	* function to increase chances that they all will call transfer with the same
…		…
2770	static void	2921	static void
2771	coro_pop_on_leave (pTHX_ void *coro)	2922	coro_pop_on_leave (pTHX_ void *coro)
2772	{	2923	{
2773	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);	2924	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
2774	on_enterleave_call (aTHX_ sv_2mortal (cb));	2925	on_enterleave_call (aTHX_ sv_2mortal (cb));
		2926	}
		2927
		2928	static void
		2929	enterleave_hook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, void *arg)
		2930	{
		2931	if (!hook)
		2932	return;
		2933
		2934	if (!*avp)
		2935	{
		2936	*avp = newAV ();
		2937	AvREAL_off (*avp);
		2938	}
		2939
		2940	av_push (*avp, (SV *)hook);
		2941	av_push (*avp, (SV *)arg);
		2942	}
		2943
		2944	static void
		2945	enterleave_unhook_xs (pTHX_ struct coro *coro, AV **avp, coro_enterleave_hook hook, int execute)
		2946	{
		2947	AV *av = *avp;
		2948	int i;
		2949
		2950	if (!av)
		2951	return;
		2952
		2953	for (i = AvFILLp (av) - 1; i >= 0; i -= 2)
		2954	if (AvARRAY (av)[i] == (SV *)hook)
		2955	{
		2956	if (execute)
		2957	hook (aTHX_ (void *)AvARRAY (av)[i + 1]);
		2958
		2959	memmove (AvARRAY (av) + i, AvARRAY (av) + i + 2, AvFILLp (av) - i - 1);
		2960	av_pop (av);
		2961	av_pop (av);
		2962	break;
		2963	}
		2964
		2965	if (AvFILLp (av) >= 0)
		2966	{
		2967	*avp = 0;
		2968	SvREFCNT_dec_NN (av);
		2969	}
		2970	}
		2971
		2972	static void
		2973	api_enterleave_hook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2974	{
		2975	struct coro *coro = SvSTATE (coro_sv);
		2976
		2977	if (SvSTATE_current == coro)
		2978	if (enter)
		2979	enter (aTHX_ enter_arg);
		2980
		2981	enterleave_hook_xs (aTHX_ coro, &coro->on_enter_xs, enter, enter_arg);
		2982	enterleave_hook_xs (aTHX_ coro, &coro->on_leave_xs, leave, leave_arg);
		2983	}
		2984
		2985	static void
		2986	api_enterleave_unhook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, coro_enterleave_hook leave)
		2987	{
		2988	struct coro *coro = SvSTATE (coro_sv);
		2989
		2990	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2991	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, SvSTATE_current == coro);
		2992	}
		2993
		2994	static void
		2995	savedestructor_unhook_enter (pTHX_ coro_enterleave_hook enter)
		2996	{
		2997	struct coro *coro = SvSTATE_current;
		2998
		2999	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		3000	}
		3001
		3002	static void
		3003	savedestructor_unhook_leave (pTHX_ coro_enterleave_hook leave)
		3004	{
		3005	struct coro *coro = SvSTATE_current;
		3006
		3007	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, 1);
		3008	}
		3009
		3010	static void
		3011	api_enterleave_scope_hook (pTHX_ coro_enterleave_hook enter, void *enter_arg, coro_enterleave_hook leave, void *leave_arg)
		3012	{
		3013	api_enterleave_hook (aTHX_ coro_current, enter, enter_arg, leave, leave_arg);
		3014
		3015	/* this ought to be much cheaper than malloc + a single destructor call */
		3016	if (enter) SAVEDESTRUCTOR_X (savedestructor_unhook_enter, enter);
		3017	if (leave) SAVEDESTRUCTOR_X (savedestructor_unhook_leave, leave);
2775	}	3018	}
2776		3019
2777	/*****************************************************************************/	3020	/*****************************************************************************/
2778	/* PerlIO::cede */	3021	/* PerlIO::cede */
2779		3022
…		…
2909	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));	3152	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
2910	PUTBACK;	3153	PUTBACK;
2911	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);	3154	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
2912	}	3155	}
2913		3156
2914	SvREFCNT_dec (cb);	3157	SvREFCNT_dec_NN (cb);
2915	}	3158	}
2916	}	3159	}
2917		3160
2918	static void	3161	static void
2919	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)	3162	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)
…		…
2927	{	3170	{
2928	AV *av = (AV *)frame->data;	3171	AV *av = (AV *)frame->data;
2929	SV *count_sv = AvARRAY (av)[0];	3172	SV *count_sv = AvARRAY (av)[0];
2930	SV *coro_hv = SvRV (coro_current);	3173	SV *coro_hv = SvRV (coro_current);
2931		3174
		3175	frame->destroy = 0;
		3176
2932	/* if we are about to throw, don't actually acquire the lock, just throw */	3177	/* if we are about to throw, don't actually acquire the lock, just throw */
2933	if (CORO_THROW)	3178	if (ecb_expect_false (CORO_THROW))
		3179	{
		3180	/* we still might be responsible for the semaphore, so wake up others */
		3181	coro_semaphore_adjust (aTHX_ av, 0);
		3182
2934	return 0;	3183	return 0;
		3184	}
2935	else if (SvIVX (count_sv) > 0)	3185	else if (SvIVX (count_sv) > 0)
2936	{	3186	{
2937	frame->destroy = 0;
2938
2939	if (acquire)	3187	if (acquire)
2940	SvIVX (count_sv) = SvIVX (count_sv) - 1;	3188	SvIVX (count_sv) = SvIVX (count_sv) - 1;
2941	else	3189	else
2942	coro_semaphore_adjust (aTHX_ av, 0);	3190	coro_semaphore_adjust (aTHX_ av, 0);
2943		3191
…		…
2947	{	3195	{
2948	int i;	3196	int i;
2949	/* if we were woken up but can't down, we look through the whole */	3197	/* if we were woken up but can't down, we look through the whole */
2950	/* waiters list and only add us if we aren't in there already */	3198	/* waiters list and only add us if we aren't in there already */
2951	/* this avoids some degenerate memory usage cases */	3199	/* this avoids some degenerate memory usage cases */
2952	for (i = AvFILLp (av); i > 0; --i) // i > 0 is not an off-by-one bug	3200	for (i = AvFILLp (av); i > 0; --i) /* i > 0 is not an off-by-one bug */
2953	if (AvARRAY (av)[i] == coro_hv)	3201	if (AvARRAY (av)[i] == coro_hv)
2954	return 1;	3202	return 1;
2955		3203
2956	av_push (av, SvREFCNT_inc (coro_hv));	3204	av_push (av, SvREFCNT_inc (coro_hv));
2957	return 1;	3205	return 1;
…		…
3054	{	3302	{
3055	api_ready (aTHX_ cb);	3303	api_ready (aTHX_ cb);
3056	sv_setiv (cb, 0); /* signal waiter */	3304	sv_setiv (cb, 0); /* signal waiter */
3057	}	3305	}
3058		3306
3059	SvREFCNT_dec (cb);	3307	SvREFCNT_dec_NN (cb);
3060		3308
3061	--count;	3309	--count;
3062	}	3310	}
3063	}	3311	}
3064		3312
…		…
3149	}	3397	}
3150		3398
3151	av_push (state, data_sv);	3399	av_push (state, data_sv);
3152		3400
3153	api_ready (aTHX_ coro);	3401	api_ready (aTHX_ coro);
3154	SvREFCNT_dec (coro);	3402	SvREFCNT_dec_NN (coro);
3155	SvREFCNT_dec ((AV *)state);	3403	SvREFCNT_dec_NN ((AV *)state);
3156	}	3404	}
3157		3405
3158	static int	3406	static int
3159	slf_check_aio_req (pTHX_ struct CoroSLF *frame)	3407	slf_check_aio_req (pTHX_ struct CoroSLF *frame)
3160	{	3408	{
…		…
3165	/* it quickly returns */	3413	/* it quickly returns */
3166	if (CORO_THROW)	3414	if (CORO_THROW)
3167	return 0;	3415	return 0;
3168		3416
3169	/* one element that is an RV? repeat! */	3417	/* one element that is an RV? repeat! */
3170	if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))	3418	if (AvFILLp (state) == 0 && SvTYPE (AvARRAY (state)[0]) != SVt_PV)
3171	return 1;	3419	return 1;
3172		3420
3173	/* restore status */	3421	/* restore status */
3174	{	3422	{
3175	SV *data_sv = av_pop (state);	3423	SV *data_sv = av_pop (state);
…		…
3178	errno = data->errorno;	3426	errno = data->errorno;
3179	PL_laststype = data->laststype;	3427	PL_laststype = data->laststype;
3180	PL_laststatval = data->laststatval;	3428	PL_laststatval = data->laststatval;
3181	PL_statcache = data->statcache;	3429	PL_statcache = data->statcache;
3182		3430
3183	SvREFCNT_dec (data_sv);	3431	SvREFCNT_dec_NN (data_sv);
3184	}	3432	}
3185		3433
3186	/* push result values */	3434	/* push result values */
3187	{	3435	{
3188	dSP;	3436	dSP;
…		…
3337	#endif	3585	#endif
3338		3586
3339	#if CORO_JIT	3587	#if CORO_JIT
3340		3588
3341	static void ecb_noinline ecb_cold	3589	static void ecb_noinline ecb_cold
3342	pushav_3uv (pTHX_ UV a, UV b, UV c)	3590	pushav_4uv (pTHX_ UV a, UV b, UV c, UV d)
3343	{	3591	{
3344	dSP;	3592	dSP;
3345	AV *av = newAV ();	3593	AV *av = newAV ();
3346		3594
		3595	av_store (av, 3, newSVuv (d));
3347	av_store (av, 2, newSVuv (c));	3596	av_store (av, 2, newSVuv (c));
3348	av_store (av, 1, newSVuv (b));	3597	av_store (av, 1, newSVuv (b));
3349	av_store (av, 0, newSVuv (a));	3598	av_store (av, 0, newSVuv (a));
3350		3599
3351	XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));	3600	XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
…		…
3358	{	3607	{
3359	dSP;	3608	dSP;
3360	SV *load, *save;	3609	SV *load, *save;
3361	char *map_base;	3610	char *map_base;
3362	char *load_ptr, *save_ptr;	3611	char *load_ptr, *save_ptr;
3363	STRLEN load_len, save_len;	3612	STRLEN load_len, save_len, map_len;
3364	int count;	3613	int count;
3365		3614
		3615	eval_pv ("require 'Coro/jit-" CORO_JIT_TYPE ".pl'", 1);
		3616
3366	PUSHMARK (SP);	3617	PUSHMARK (SP);
3367	PUTBACK;
3368	#define VARx(name,expr,type) pushav_3uv (aTHX_ (UV)&(expr), offsetof (perl_slots, name), sizeof (type));	3618	#define VARx(name,expr,type) pushav_4uv (aTHX_ (UV)&(expr), sizeof (expr), offsetof (perl_slots, name), sizeof (type));
3369	# include "state.h"	3619	#include "state.h"
3370	#undef VARx
3371	count = call_pv ("Coro::State::_jit", G_ARRAY);	3620	count = call_pv ("Coro::State::_jit", G_ARRAY);
3372	SPAGAIN;	3621	SPAGAIN;
3373		3622
3374	save = POPs; save_ptr = SvPVbyte (save, save_len);	3623	save = POPs; save_ptr = SvPVbyte (save, save_len);
3375	load = POPs; load_ptr = SvPVbyte (load, load_len);	3624	load = POPs; load_ptr = SvPVbyte (load, load_len);
3376		3625
		3626	map_len = load_len + save_len + 16;
		3627
3377	map_base = mmap (0, load_len + save_len + 16, PROT_EXEC | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);	3628	map_base = mmap (0, map_len, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
3378		3629
3379	assert (("Coro: unable mmap jit code page, cannot continue.", map_base != (char *)MAP_FAILED));	3630	assert (("Coro: unable to mmap jit code page, cannot continue.", map_base != (char *)MAP_FAILED));
3380		3631
3381	load_perl_slots = (load_save_perl_slots_type)map_base;	3632	load_perl_slots = (load_save_perl_slots_type)map_base;
3382	memcpy (map_base, load_ptr, load_len);	3633	memcpy (load_perl_slots, load_ptr, load_len);
3383		3634
3384	map_base += (load_len + 15) & ~15;
3385
3386	save_perl_slots = (load_save_perl_slots_type)map_base;	3635	save_perl_slots = (load_save_perl_slots_type)(map_base + ((load_len + 15) & ~15));
3387	memcpy (map_base, save_ptr, save_len);	3636	memcpy (save_perl_slots, save_ptr, save_len);
		3637
		3638	/* we are good citizens and try to make the page read-only, so the evil evil */
		3639	/* hackers might have it a bit more difficult */
		3640	/* we do this in two steps, to potentially appease some security frameworks */
		3641	mprotect (map_base, map_len, PROT_READ);
		3642	mprotect (map_base, map_len, PROT_READ | PROT_EXEC);
		3643
		3644	PUTBACK;
		3645	eval_pv ("undef &Coro::State::_jit", 1);
3388	}	3646	}
3389		3647
3390	#endif	3648	#endif
3391		3649
3392	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	3650	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
3393		3651
3394	PROTOTYPES: DISABLE	3652	PROTOTYPES: DISABLE
3395		3653
3396	BOOT:	3654	BOOT:
3397	{	3655	{
		3656	#define VARx(name,expr,type) if (sizeof (type) < sizeof (expr)) croak ("FATAL: Coro thread context slot '" # name "' too small for this version of perl.");
		3657	#include "state.h"
3398	#ifdef USE_ITHREADS	3658	#ifdef USE_ITHREADS
3399	# if CORO_PTHREAD	3659	# if CORO_PTHREAD
3400	coro_thx = PERL_GET_CONTEXT;	3660	coro_thx = PERL_GET_CONTEXT;
3401	# endif	3661	# endif
3402	#endif	3662	#endif
3403	BOOT_PAGESIZE;
3404
3405	/* perl defines these to check for existance first, but why it doesn't */	3663	/* perl defines these to check for existance first, but why it doesn't */
3406	/* just create them one at init time is not clear to me, except for */	3664	/* just create them one at init time is not clear to me, except for */
3407	/* programs trying to delete them, but... */	3665	/* programs trying to delete them, but... */
3408	/* anyway, we declare this as invalid and make sure they are initialised here */	3666	/* anyway, we declare this as invalid and make sure they are initialised here */
3409	DEFSV;	3667	DEFSV;
…		…
3412	cctx_current = cctx_new_empty ();	3670	cctx_current = cctx_new_empty ();
3413		3671
3414	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);	3672	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
3415	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);	3673	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
3416		3674
3417	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;	3675	{
3418	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;	3676	/*
3419	orig_sigelem_clr = PL_vtbl_sigelem.svt_clear; PL_vtbl_sigelem.svt_clear = coro_sigelem_clr;	3677	* we provide a vtbvl for %SIG magic that replaces PL_vtbl_sig
		3678	* by coro_sig_vtbl in hash values.
		3679	*/
		3680	MAGIC *mg = mg_find ((SV *)GvHV (gv_fetchpv ("SIG", GV_ADD | GV_NOTQUAL, SVt_PVHV)), PERL_MAGIC_sig);
		3681
		3682	/* this only works if perl doesn't have a vtbl for %SIG */
		3683	assert (!mg->mg_virtual);
		3684
		3685	/*
		3686	* The irony is that the perl API itself asserts that mg_virtual
		3687	* must be non-const, yet perl5porters insisted on marking their
		3688	* vtbls as read-only, just to thwart perl modules from patching
		3689	* them.
		3690	*/
		3691	mg->mg_virtual = (MGVTBL *)&coro_sig_vtbl;
		3692	mg->mg_flags |= MGf_COPY;
		3693
		3694	coro_sigelem_vtbl = PL_vtbl_sigelem;
		3695	coro_sigelem_vtbl.svt_get = coro_sigelem_get;
		3696	coro_sigelem_vtbl.svt_set = coro_sigelem_set;
		3697	coro_sigelem_vtbl.svt_clear = coro_sigelem_clr;
		3698	}
3420		3699
3421	hv_sig = coro_get_hv (aTHX_ "SIG", TRUE);
3422	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));	3700	rv_diehook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::diehook" , 0, SVt_PVCV));
3423	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));	3701	rv_warnhook = newRV_inc ((SV *)gv_fetchpv ("Coro::State::warnhook", 0, SVt_PVCV));
3424		3702
3425	coro_state_stash = gv_stashpv ("Coro::State", TRUE);	3703	coro_state_stash = gv_stashpv ("Coro::State", TRUE);
		3704
		3705	newCONSTSUB (coro_state_stash, "BACKEND", newSVpv (CORO_BACKEND, 0)); /* undocumented */
3426		3706
3427	newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));	3707	newCONSTSUB (coro_state_stash, "CC_TRACE" , newSViv (CC_TRACE));
3428	newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));	3708	newCONSTSUB (coro_state_stash, "CC_TRACE_SUB" , newSViv (CC_TRACE_SUB));
3429	newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));	3709	newCONSTSUB (coro_state_stash, "CC_TRACE_LINE", newSViv (CC_TRACE_LINE));
3430	newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));	3710	newCONSTSUB (coro_state_stash, "CC_TRACE_ALL" , newSViv (CC_TRACE_ALL));
…		…
3460	time_init (aTHX);	3740	time_init (aTHX);
3461		3741
3462	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));	3742	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
3463	#if CORO_JIT	3743	#if CORO_JIT
3464	PUTBACK;	3744	PUTBACK;
3465	require_pv ("Coro/jit-" CORO_JIT_TYPE ".pl");
3466	jit_init (aTHX);	3745	jit_init (aTHX);
3467	perl_eval_pv ("undef &Coro::State::_jit", 1);
3468	SPAGAIN;	3746	SPAGAIN;
3469	#endif	3747	#endif
3470	}	3748	}
3471		3749
3472	SV *	3750	SV *
…		…
3481	void	3759	void
3482	transfer (...)	3760	transfer (...)
3483	PROTOTYPE: $$	3761	PROTOTYPE: $$
3484	CODE:	3762	CODE:
3485	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3763	CORO_EXECUTE_SLF_XS (slf_init_transfer);
3486
3487	void
3488	_exit (int code)
3489	PROTOTYPE: $
3490	CODE:
3491	_exit (code);
3492		3764
3493	SV *	3765	SV *
3494	clone (Coro::State coro)	3766	clone (Coro::State coro)
3495	CODE:	3767	CODE:
3496	{	3768	{
…		…
3551	void	3823	void
3552	list ()	3824	list ()
3553	PROTOTYPE:	3825	PROTOTYPE:
3554	PPCODE:	3826	PPCODE:
3555	{	3827	{
3556	struct coro *coro;	3828	struct coro *coro;
3557	for (coro = coro_first; coro; coro = coro->next)	3829	for (coro = coro_first; coro; coro = coro->next)
3558	if (coro->hv)	3830	if (coro->hv)
3559	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));	3831	XPUSHs (sv_2mortal (newRV_inc ((SV *)coro->hv)));
3560	}	3832	}
3561		3833
…		…
3563	call (Coro::State coro, SV *coderef)	3835	call (Coro::State coro, SV *coderef)
3564	ALIAS:	3836	ALIAS:
3565	eval = 1	3837	eval = 1
3566	CODE:	3838	CODE:
3567	{	3839	{
		3840	struct coro *current = SvSTATE_current;
		3841
3568	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))	3842	if ((coro == current) || (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot)))
3569	{	3843	{
3570	struct coro *current = SvSTATE_current;
3571	struct CoroSLF slf_save;	3844	struct CoroSLF slf_save;
3572		3845
3573	if (current != coro)	3846	if (current != coro)
3574	{	3847	{
3575	PUTBACK;	3848	PUTBACK;
…		…
3625	RETVAL = boolSV (coro->flags & ix);	3898	RETVAL = boolSV (coro->flags & ix);
3626	OUTPUT:	3899	OUTPUT:
3627	RETVAL	3900	RETVAL
3628		3901
3629	void	3902	void
3630	throw (Coro::State self, SV *exception = &PL_sv_undef)	3903	throw (SV *self, SV *exception = &PL_sv_undef)
3631	PROTOTYPE: $;$	3904	PROTOTYPE: $;$
3632	CODE:	3905	CODE:
3633	{	3906	{
		3907	struct coro *coro = SvSTATE (self);
3634	struct coro *current = SvSTATE_current;	3908	struct coro *current = SvSTATE_current;
3635	SV **exceptionp = self == current ? &CORO_THROW : &self->except;	3909	SV **exceptionp = coro == current ? &CORO_THROW : &coro->except;
3636	SvREFCNT_dec (*exceptionp);	3910	SvREFCNT_dec (*exceptionp);
3637	SvGETMAGIC (exception);	3911	SvGETMAGIC (exception);
3638	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;	3912	*exceptionp = SvOK (exception) ? newSVsv (exception) : 0;
		3913
		3914	api_ready (aTHX_ self);
3639	}	3915	}
3640		3916
3641	void	3917	void
3642	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3918	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
3643	PROTOTYPE: $;$	3919	PROTOTYPE: $;$
…		…
3720		3996
3721	void	3997	void
3722	times (Coro::State self)	3998	times (Coro::State self)
3723	PPCODE:	3999	PPCODE:
3724	{	4000	{
3725	struct coro *current = SvSTATE (coro_current);	4001	struct coro *current = SvSTATE (coro_current);
3726		4002
3727	if (ecb_expect_false (current == self))	4003	if (ecb_expect_false (current == self))
3728	{	4004	{
3729	coro_times_update ();	4005	coro_times_update ();
3730	coro_times_add (SvSTATE (coro_current));	4006	coro_times_add (SvSTATE (coro_current));
…		…
3737	if (ecb_expect_false (current == self))	4013	if (ecb_expect_false (current == self))
3738	coro_times_sub (SvSTATE (coro_current));	4014	coro_times_sub (SvSTATE (coro_current));
3739	}	4015	}
3740		4016
3741	void	4017	void
3742	swap_sv (Coro::State coro, SV *sv, SV *swapsv)	4018	swap_sv (Coro::State coro, SV *sva, SV *svb)
3743	CODE:	4019	CODE:
3744	{	4020	{
3745	struct coro *current = SvSTATE_current;	4021	struct coro *current = SvSTATE_current;
		4022	AV *swap_sv;
		4023	int i;
		4024
		4025	sva = SvRV (sva);
		4026	svb = SvRV (svb);
3746		4027
3747	if (current == coro)	4028	if (current == coro)
3748	SWAP_SVS (current);	4029	SWAP_SVS_LEAVE (current);
3749		4030
3750	if (!coro->swap_sv)	4031	if (!coro->swap_sv)
3751	coro->swap_sv = newAV ();	4032	coro->swap_sv = newAV ();
3752		4033
		4034	swap_sv = coro->swap_sv;
		4035
		4036	for (i = AvFILLp (swap_sv) - 1; i >= 0; i -= 2)
		4037	{
		4038	SV *a = AvARRAY (swap_sv)[i ];
		4039	SV *b = AvARRAY (swap_sv)[i + 1];
		4040
		4041	if (a == sva && b == svb)
		4042	{
		4043	SvREFCNT_dec_NN (a);
		4044	SvREFCNT_dec_NN (b);
		4045
		4046	for (; i <= AvFILLp (swap_sv) - 2; i++)
		4047	AvARRAY (swap_sv)[i] = AvARRAY (swap_sv)[i + 2];
		4048
		4049	AvFILLp (swap_sv) -= 2;
		4050
		4051	goto removed;
		4052	}
		4053	}
		4054
3753	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (sv )));	4055	av_push (swap_sv, SvREFCNT_inc_NN (sva));
3754	av_push (coro->swap_sv, SvREFCNT_inc_NN (SvRV (swapsv)));	4056	av_push (swap_sv, SvREFCNT_inc_NN (svb));
		4057
		4058	removed:
3755		4059
3756	if (current == coro)	4060	if (current == coro)
3757	SWAP_SVS (current);	4061	SWAP_SVS_ENTER (current);
3758	}	4062	}
3759		4063
3760		4064
3761	MODULE = Coro::State PACKAGE = Coro	4065	MODULE = Coro::State PACKAGE = Coro
3762		4066
3763	BOOT:	4067	BOOT:
3764	{	4068	{
		4069	if (SVt_LAST > 32)
		4070	croak ("Coro internal error: SVt_LAST > 32, swap_sv might need adjustment");
		4071
3765	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	4072	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3766	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	4073	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3767	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);	4074	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3768	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	4075	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
3769	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);	4076	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
…		…
3773		4080
3774	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	4081	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3775	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	4082	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3776	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	4083	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3777	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */	4084	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3778		4085
3779	coro_stash = gv_stashpv ("Coro", TRUE);	4086	coro_stash = gv_stashpv ("Coro", TRUE);
3780		4087
3781	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));	4088	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3782	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));	4089	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3783	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));	4090	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
…		…
3795	coroapi.ready = api_ready;	4102	coroapi.ready = api_ready;
3796	coroapi.is_ready = api_is_ready;	4103	coroapi.is_ready = api_is_ready;
3797	coroapi.nready = coro_nready;	4104	coroapi.nready = coro_nready;
3798	coroapi.current = coro_current;	4105	coroapi.current = coro_current;
3799		4106
		4107	coroapi.enterleave_hook = api_enterleave_hook;
		4108	coroapi.enterleave_unhook = api_enterleave_unhook;
		4109	coroapi.enterleave_scope_hook = api_enterleave_scope_hook;
		4110
3800	/*GCoroAPI = &coroapi;*/	4111	/*GCoroAPI = &coroapi;*/
3801	sv_setiv (sv, (IV)&coroapi);	4112	sv_setiv (sv, PTR2IV (&coroapi));
3802	SvREADONLY_on (sv);	4113	SvREADONLY_on (sv);
3803	}	4114	}
3804	}	4115	}
3805		4116
3806	SV *	4117	SV *
…		…
3869		4180
3870	void	4181	void
3871	_set_current (SV *current)	4182	_set_current (SV *current)
3872	PROTOTYPE: $	4183	PROTOTYPE: $
3873	CODE:	4184	CODE:
3874	SvREFCNT_dec (SvRV (coro_current));	4185	SvREFCNT_dec_NN (SvRV (coro_current));
3875	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));	4186	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
3876		4187
3877	void	4188	void
3878	_set_readyhook (SV *hook)	4189	_set_readyhook (SV *hook)
3879	PROTOTYPE: $	4190	PROTOTYPE: $
…		…
3963		4274
3964	if ((SV *)hv == &PL_sv_undef)	4275	if ((SV *)hv == &PL_sv_undef)
3965	{	4276	{
3966	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);	4277	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3967	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));	4278	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
3968	SvREFCNT_dec (sv);	4279	SvREFCNT_dec_NN (sv);
3969	}	4280	}
3970		4281
3971	{	4282	{
3972	struct coro *coro = SvSTATE_hv (hv);	4283	struct coro *coro = SvSTATE_hv (hv);
3973		4284
…		…
3980	api_ready (aTHX_ (SV *)hv);	4291	api_ready (aTHX_ (SV *)hv);
3981		4292
3982	if (GIMME_V != G_VOID)	4293	if (GIMME_V != G_VOID)
3983	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));	4294	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
3984	else	4295	else
3985	SvREFCNT_dec (hv);	4296	SvREFCNT_dec_NN (hv);
3986	}	4297	}
3987		4298
3988	SV *	4299	SV *
3989	rouse_cb ()	4300	rouse_cb ()
3990	PROTOTYPE:	4301	PROTOTYPE:
…		…
4005	on_leave = 1	4316	on_leave = 1
4006	PROTOTYPE: &	4317	PROTOTYPE: &
4007	CODE:	4318	CODE:
4008	{	4319	{
4009	struct coro *coro = SvSTATE_current;	4320	struct coro *coro = SvSTATE_current;
4010	AV **avp = ix ? &coro->on_leave : &coro->on_enter;	4321	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
4011		4322
4012	block = s_get_cv_croak (block);	4323	block = s_get_cv_croak (block);
4013		4324
4014	if (!*avp)	4325	if (!*avp)
4015	*avp = newAV ();	4326	*avp = newAV ();
…		…
4035		4346
4036	SV *	4347	SV *
4037	new (SV *klass, SV *count = 0)	4348	new (SV *klass, SV *count = 0)
4038	CODE:	4349	CODE:
4039	{	4350	{
4040	int semcnt = 1;	4351	int semcnt = 1;
4041		4352
4042	if (count)	4353	if (count)
4043	{	4354	{
4044	SvGETMAGIC (count);	4355	SvGETMAGIC (count);
4045		4356
…		…
4069	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);	4380	RETVAL = newSVsv (AvARRAY ((AV *)SvRV (self))[0]);
4070	OUTPUT:	4381	OUTPUT:
4071	RETVAL	4382	RETVAL
4072		4383
4073	void	4384	void
4074	up (SV *self, int adjust = 1)	4385	up (SV *self)
4075	ALIAS:
4076	adjust = 1
4077	CODE:	4386	CODE:
		4387	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), 1);
		4388
		4389	void
		4390	adjust (SV *self, int adjust)
		4391	CODE:
4078	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);	4392	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), adjust);
4079		4393
4080	void	4394	void
4081	down (...)	4395	down (...)
4082	CODE:	4396	CODE:
4083	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);	4397	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
…		…
4105	XSRETURN_NO;	4419	XSRETURN_NO;
4106	}	4420	}
4107		4421
4108	void	4422	void
4109	waiters (SV *self)	4423	waiters (SV *self)
4110	PPCODE:	4424	PPCODE:
4111	{	4425	{
4112	AV *av = (AV *)SvRV (self);	4426	AV *av = (AV *)SvRV (self);
4113	int wcount = AvFILLp (av) + 1 - 1;	4427	int wcount = AvFILLp (av) + 1 - 1;
4114		4428
4115	if (GIMME_V == G_SCALAR)	4429	if (GIMME_V == G_SCALAR)
…		…
4124	}	4438	}
4125		4439
4126	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet	4440	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
4127		4441
4128	void	4442	void
4129	_may_delete (SV *sem, int count, int extra_refs)	4443	_may_delete (SV *sem, int count, unsigned int extra_refs)
4130	PPCODE:	4444	PPCODE:
4131	{	4445	{
4132	AV *av = (AV *)SvRV (sem);	4446	AV *av = (AV *)SvRV (sem);
4133		4447
4134	if (SvREFCNT ((SV *)av) == 1 + extra_refs	4448	if (SvREFCNT ((SV *)av) == 1 + extra_refs
4135	&& AvFILLp (av) == 0 /* no waiters, just count */	4449	&& AvFILLp (av) == 0 /* no waiters, just count */
4136	&& SvIV (AvARRAY (av)[0]) == count)	4450	&& SvIV (AvARRAY (av)[0]) == count)
4137	XSRETURN_YES;	4451	XSRETURN_YES;
…		…
4158		4472
4159	void	4473	void
4160	broadcast (SV *self)	4474	broadcast (SV *self)
4161	CODE:	4475	CODE:
4162	{	4476	{
4163	AV *av = (AV *)SvRV (self);	4477	AV *av = (AV *)SvRV (self);
4164	coro_signal_wake (aTHX_ av, AvFILLp (av));	4478	coro_signal_wake (aTHX_ av, AvFILLp (av));
4165	}	4479	}
4166		4480
4167	void	4481	void
4168	send (SV *self)	4482	send (SV *self)
…		…
4176	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */	4490	SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */
4177	}	4491	}
4178		4492
4179	IV	4493	IV
4180	awaited (SV *self)	4494	awaited (SV *self)
4181	CODE:	4495	CODE:
4182	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;	4496	RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;
4183	OUTPUT:	4497	OUTPUT:
4184	RETVAL	4498	RETVAL
4185		4499
4186		4500
…		…
4191		4505
4192	void	4506	void
4193	_schedule (...)	4507	_schedule (...)
4194	CODE:	4508	CODE:
4195	{	4509	{
4196	static int incede;	4510	static int incede;
4197		4511
4198	api_cede_notself (aTHX);	4512	api_cede_notself (aTHX);
4199		4513
4200	++incede;	4514	++incede;
4201	while (coro_nready >= incede && api_cede (aTHX))	4515	while (coro_nready >= incede && api_cede (aTHX))
…		…
4245	{	4559	{
4246	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;	4560	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
4247	coro_old_pp_sselect = 0;	4561	coro_old_pp_sselect = 0;
4248	}	4562	}
4249		4563
		4564	MODULE = Coro::State PACKAGE = Coro::Util
		4565
		4566	void
		4567	_exit (int code)
		4568	CODE:
		4569	_exit (code);
		4570
		4571	NV
		4572	time ()
		4573	CODE:
		4574	RETVAL = nvtime (aTHX);
		4575	OUTPUT:
		4576	RETVAL
		4577
		4578	NV
		4579	gettimeofday ()
		4580	PPCODE:
		4581	{
		4582	UV tv [2];
		4583	u2time (aTHX_ tv);
		4584	EXTEND (SP, 2);
		4585	PUSHs (sv_2mortal (newSVuv (tv [0])));
		4586	PUSHs (sv_2mortal (newSVuv (tv [1])));
		4587	}
		4588

Diff Legend

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