ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.319 by root, Thu Nov 20 07:25:01 2008 UTC vs.
Revision 1.371 by root, Sat Aug 22 22:36:23 2009 UTC

…		…
6	#include "EXTERN.h"	6	#include "EXTERN.h"
7	#include "perl.h"	7	#include "perl.h"
8	#include "XSUB.h"	8	#include "XSUB.h"
9	#include "perliol.h"	9	#include "perliol.h"
10		10
11	#include "patchlevel.h"	11	#include "schmorp.h"
12		12
13	#include <stdio.h>	13	#include <stdio.h>
14	#include <errno.h>	14	#include <errno.h>
15	#include <assert.h>	15	#include <assert.h>
16		16
…		…
51	#endif	51	#endif
52		52
53	/* the maximum number of idle cctx that will be pooled */	53	/* the maximum number of idle cctx that will be pooled */
54	static int cctx_max_idle = 4;	54	static int cctx_max_idle = 4;
55		55
56	#define PERL_VERSION_ATLEAST(a,b,c) \
57	(PERL_REVISION > (a) \
58	|| (PERL_REVISION == (a) \
59	&& (PERL_VERSION > (b) \
60	|| (PERL_VERSION == (b) && PERL_SUBVERSION >= (c)))))
61
62	#if !PERL_VERSION_ATLEAST (5,6,0)
63	# ifndef PL_ppaddr
64	# define PL_ppaddr ppaddr
65	# endif
66	# ifndef call_sv
67	# define call_sv perl_call_sv
68	# endif
69	# ifndef get_sv
70	# define get_sv perl_get_sv
71	# endif
72	# ifndef get_cv
73	# define get_cv perl_get_cv
74	# endif
75	# ifndef IS_PADGV
76	# define IS_PADGV(v) 0
77	# endif
78	# ifndef IS_PADCONST
79	# define IS_PADCONST(v) 0
80	# endif
81	#endif
82
83	/* 5.11 */
84	#ifndef CxHASARGS
85	# define CxHASARGS(cx) (cx)->blk_sub.hasargs
86	#endif
87
88	/* 5.10.0 */
89	#ifndef SvREFCNT_inc_NN
90	# define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
91	#endif
92
93	/* 5.8.8 */
94	#ifndef GV_NOTQUAL
95	# define GV_NOTQUAL 0
96	#endif
97	#ifndef newSV
98	# define newSV(l) NEWSV(0,l)
99	#endif
100	#ifndef CvISXSUB_on
101	# define CvISXSUB_on(cv) (void)cv
102	#endif
103	#ifndef CvISXSUB
104	# define CvISXSUB(cv) (CvXSUB (cv) ? TRUE : FALSE)
105	#endif
106
107	/* 5.8.7 */
108	#ifndef SvRV_set
109	# define SvRV_set(s,v) SvRV(s) = (v)
110	#endif
111
112	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64	56	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
113	# undef CORO_STACKGUARD	57	# undef CORO_STACKGUARD
114	#endif	58	#endif
115		59
116	#ifndef CORO_STACKGUARD	60	#ifndef CORO_STACKGUARD
…		…
130	#else	74	#else
131	# define dSTACKLEVEL volatile void *stacklevel	75	# define dSTACKLEVEL volatile void *stacklevel
132	# define STACKLEVEL ((void *)&stacklevel)	76	# define STACKLEVEL ((void *)&stacklevel)
133	#endif	77	#endif
134		78
135	#define IN_DESTRUCT (PL_main_cv == Nullcv)	79	#define IN_DESTRUCT PL_dirty
136		80
137	#if __GNUC__ >= 3	81	#if __GNUC__ >= 3
138	# define attribute(x) __attribute__(x)	82	# define attribute(x) __attribute__(x)
139	# define expect(expr,value) __builtin_expect ((expr),(value))	83	# define expect(expr,value) __builtin_expect ((expr), (value))
140	# define INLINE static inline	84	# define INLINE static inline
141	#else	85	#else
142	# define attribute(x)	86	# define attribute(x)
143	# define expect(expr,value) (expr)	87	# define expect(expr,value) (expr)
144	# define INLINE static	88	# define INLINE static
…		…
156	# if CORO_PTHREAD	100	# if CORO_PTHREAD
157	static void *coro_thx;	101	static void *coro_thx;
158	# endif	102	# endif
159	#endif	103	#endif
160		104
		105	#ifdef __linux
		106	# include <time.h> /* for timespec */
		107	# include <syscall.h> /* for SYS_* */
		108	# ifdef SYS_clock_gettime
		109	# define coro_clock_gettime(id, ts) syscall (SYS_clock_gettime, (id), (ts))
		110	# define CORO_CLOCK_MONOTONIC 1
		111	# define CORO_CLOCK_THREAD_CPUTIME_ID 3
		112	# endif
		113	#endif
		114
161	static double (*nvtime)(); /* so why doesn't it take void? */	115	static double (*nvtime)(); /* so why doesn't it take void? */
		116	static void (*u2time)(pTHX_ UV ret[2]);
162		117
163	/* we hijack an hopefully unused CV flag for our purposes */	118	/* we hijack an hopefully unused CV flag for our purposes */
164	#define CVf_SLF 0x4000	119	#define CVf_SLF 0x4000
165	static OP *pp_slf (pTHX);	120	static OP *pp_slf (pTHX);
166		121
…		…
172	static HV *coro_state_stash, *coro_stash;	127	static HV *coro_state_stash, *coro_stash;
173	static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */	128	static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
174		129
175	static AV *av_destroy; /* destruction queue */	130	static AV *av_destroy; /* destruction queue */
176	static SV *sv_manager; /* the manager coro */	131	static SV *sv_manager; /* the manager coro */
		132	static SV *sv_idle; /* $Coro::idle */
177		133
178	static GV *irsgv; /* $/ */	134	static GV *irsgv; /* $/ */
179	static GV *stdoutgv; /* *STDOUT */	135	static GV *stdoutgv; /* *STDOUT */
180	static SV *rv_diehook;	136	static SV *rv_diehook;
181	static SV *rv_warnhook;	137	static SV *rv_warnhook;
…		…
186	static SV *sv_pool_size;	142	static SV *sv_pool_size;
187	static SV *sv_async_pool_idle; /* description string */	143	static SV *sv_async_pool_idle; /* description string */
188	static AV *av_async_pool; /* idle pool */	144	static AV *av_async_pool; /* idle pool */
189	static SV *sv_Coro; /* class string */	145	static SV *sv_Coro; /* class string */
190	static CV *cv_pool_handler;	146	static CV *cv_pool_handler;
191	static CV *cv_coro_state_new;
192		147
193	/* Coro::AnyEvent */	148	/* Coro::AnyEvent */
194	static SV *sv_activity;	149	static SV *sv_activity;
		150
		151	/* enable processtime/realtime profiling */
		152	static char enable_times;
		153	typedef U32 coro_ts[2];
		154	static coro_ts time_real, time_cpu;
		155	static char times_valid;
195		156
196	static struct coro_cctx *cctx_first;	157	static struct coro_cctx *cctx_first;
197	static int cctx_count, cctx_idle;	158	static int cctx_count, cctx_idle;
198		159
199	enum {	160	enum {
…		…
225	int valgrind_id;	186	int valgrind_id;
226	#endif	187	#endif
227	unsigned char flags;	188	unsigned char flags;
228	} coro_cctx;	189	} coro_cctx;
229		190
		191	coro_cctx *cctx_current; /* the currently running cctx */
		192
		193	/*****************************************************************************/
		194
230	enum {	195	enum {
231	CF_RUNNING = 0x0001, /* coroutine is running */	196	CF_RUNNING = 0x0001, /* coroutine is running */
232	CF_READY = 0x0002, /* coroutine is ready */	197	CF_READY = 0x0002, /* coroutine is ready */
233	CF_NEW = 0x0004, /* has never been switched to */	198	CF_NEW = 0x0004, /* has never been switched to */
234	CF_DESTROYED = 0x0008, /* coroutine data has been freed */	199	CF_DESTROYED = 0x0008, /* coroutine data has been freed */
		200	CF_SUSPENDED = 0x0010, /* coroutine can't be scheduled */
235	};	201	};
236		202
237	/* the structure where most of the perl state is stored, overlaid on the cxstack */	203	/* the structure where most of the perl state is stored, overlaid on the cxstack */
238	typedef struct	204	typedef struct
239	{	205	{
240	SV *defsv;	206	SV *defsv;
241	AV *defav;	207	AV *defav;
242	SV *errsv;	208	SV *errsv;
243	SV *irsgv;	209	SV *irsgv;
		210	HV *hinthv;
244	#define VAR(name,type) type name;	211	#define VAR(name,type) type name;
245	# include "state.h"	212	# include "state.h"
246	#undef VAR	213	#undef VAR
247	} perl_slots;	214	} perl_slots;
248		215
…		…
250		217
251	/* this is a structure representing a perl-level coroutine */	218	/* this is a structure representing a perl-level coroutine */
252	struct coro {	219	struct coro {
253	/* the C coroutine allocated to this perl coroutine, if any */	220	/* the C coroutine allocated to this perl coroutine, if any */
254	coro_cctx *cctx;	221	coro_cctx *cctx;
		222
		223	/* ready queue */
		224	struct coro *next_ready;
255		225
256	/* state data */	226	/* state data */
257	struct CoroSLF slf_frame; /* saved slf frame */	227	struct CoroSLF slf_frame; /* saved slf frame */
258	AV *mainstack;	228	AV *mainstack;
259	perl_slots *slot; /* basically the saved sp */	229	perl_slots *slot; /* basically the saved sp */
…		…
276	/* async_pool */	246	/* async_pool */
277	SV *saved_deffh;	247	SV *saved_deffh;
278	SV *invoke_cb;	248	SV *invoke_cb;
279	AV *invoke_av;	249	AV *invoke_av;
280		250
		251	/* on_enter/on_leave */
		252	AV *on_enter;
		253	AV *on_leave;
		254
		255	/* times */
		256	coro_ts t_cpu, t_real;
		257
281	/* linked list */	258	/* linked list */
282	struct coro *next, *prev;	259	struct coro *next, *prev;
283	};	260	};
284		261
285	typedef struct coro *Coro__State;	262	typedef struct coro *Coro__State;
…		…
290	/* the mainr easonw e don't support windows process emulation */	267	/* the mainr easonw e don't support windows process emulation */
291	static struct CoroSLF slf_frame; /* the current slf frame */	268	static struct CoroSLF slf_frame; /* the current slf frame */
292		269
293	/** Coro ********************************************************************/	270	/** Coro ********************************************************************/
294		271
295	#define PRIO_MAX 3	272	#define CORO_PRIO_MAX 3
296	#define PRIO_HIGH 1	273	#define CORO_PRIO_HIGH 1
297	#define PRIO_NORMAL 0	274	#define CORO_PRIO_NORMAL 0
298	#define PRIO_LOW -1	275	#define CORO_PRIO_LOW -1
299	#define PRIO_IDLE -3	276	#define CORO_PRIO_IDLE -3
300	#define PRIO_MIN -4	277	#define CORO_PRIO_MIN -4
301		278
302	/* for Coro.pm */	279	/* for Coro.pm */
303	static SV *coro_current;	280	static SV *coro_current;
304	static SV *coro_readyhook;	281	static SV *coro_readyhook;
305	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];	282	static struct coro *coro_ready [CORO_PRIO_MAX - CORO_PRIO_MIN + 1][2]; /* head|tail */
306	static CV *cv_coro_run, *cv_coro_terminate;	283	static CV *cv_coro_run, *cv_coro_terminate;
307	static struct coro *coro_first;	284	static struct coro *coro_first;
308	#define coro_nready coroapi.nready	285	#define coro_nready coroapi.nready
		286
		287	/** Coro::Select ************************************************************/
		288
		289	static OP *(*coro_old_pp_sselect) (pTHX);
		290	static SV *coro_select_select;
		291
		292	/* horrible hack, but if it works... */
		293	static OP *
		294	coro_pp_sselect (pTHX)
		295	{
		296	dSP;
		297	PUSHMARK (SP - 4); /* fake argument list */
		298	XPUSHs (coro_select_select);
		299	PUTBACK;
		300
		301	/* entersub is an UNOP, select a LISTOP... keep your fingers crossed */
		302	PL_op->op_flags |= OPf_STACKED;
		303	PL_op->op_private = 0;
		304	return PL_ppaddr [OP_ENTERSUB](aTHX);
		305	}
309		306
310	/** lowlevel stuff **********************************************************/	307	/** lowlevel stuff **********************************************************/
311		308
312	static SV *	309	static SV *
313	coro_get_sv (pTHX_ const char *name, int create)	310	coro_get_sv (pTHX_ const char *name, int create)
…		…
337	get_hv (name, create);	334	get_hv (name, create);
338	#endif	335	#endif
339	return get_hv (name, create);	336	return get_hv (name, create);
340	}	337	}
341		338
342	/* may croak */	339	INLINE void
343	INLINE CV *	340	coro_times_update ()
344	coro_sv_2cv (pTHX_ SV *sv)
345	{	341	{
		342	#ifdef coro_clock_gettime
		343	struct timespec ts;
		344
		345	ts.tv_sec = ts.tv_nsec = 0;
		346	coro_clock_gettime (CORO_CLOCK_THREAD_CPUTIME_ID, &ts);
		347	time_cpu [0] = ts.tv_sec; time_cpu [1] = ts.tv_nsec;
		348
		349	ts.tv_sec = ts.tv_nsec = 0;
		350	coro_clock_gettime (CORO_CLOCK_MONOTONIC, &ts);
		351	time_real [0] = ts.tv_sec; time_real [1] = ts.tv_nsec;
		352	#else
		353	dTHX;
		354	UV tv[2];
		355
		356	u2time (aTHX_ tv);
		357	time_real [0] = tv [0];
		358	time_real [1] = tv [1] * 1000;
		359	#endif
		360	}
		361
		362	INLINE void
		363	coro_times_add (struct coro *c)
		364	{
		365	c->t_real [1] += time_real [1];
		366	if (c->t_real [1] > 1000000000) { c->t_real [1] -= 1000000000; ++c->t_real [0]; }
		367	c->t_real [0] += time_real [0];
		368
		369	c->t_cpu [1] += time_cpu [1];
		370	if (c->t_cpu [1] > 1000000000) { c->t_cpu [1] -= 1000000000; ++c->t_cpu [0]; }
		371	c->t_cpu [0] += time_cpu [0];
		372	}
		373
		374	INLINE void
		375	coro_times_sub (struct coro *c)
		376	{
		377	if (c->t_real [1] < time_real [1]) { c->t_real [1] += 1000000000; --c->t_real [0]; }
		378	c->t_real [1] -= time_real [1];
		379	c->t_real [0] -= time_real [0];
		380
		381	if (c->t_cpu [1] < time_cpu [1]) { c->t_cpu [1] += 1000000000; --c->t_cpu [0]; }
		382	c->t_cpu [1] -= time_cpu [1];
		383	c->t_cpu [0] -= time_cpu [0];
		384	}
		385
		386	/*****************************************************************************/
		387	/* magic glue */
		388
		389	#define CORO_MAGIC_type_cv 26
		390	#define CORO_MAGIC_type_state PERL_MAGIC_ext
		391
		392	#define CORO_MAGIC_NN(sv, type) \
		393	(expect_true (SvMAGIC (sv)->mg_type == type) \
		394	? SvMAGIC (sv) \
		395	: mg_find (sv, type))
		396
		397	#define CORO_MAGIC(sv, type) \
		398	(expect_true (SvMAGIC (sv)) \
		399	? CORO_MAGIC_NN (sv, type) \
		400	: 0)
		401
		402	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
		403	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
		404
		405	INLINE struct coro *
		406	SvSTATE_ (pTHX_ SV *coro)
		407	{
346	HV *st;	408	HV *stash;
347	GV *gvp;	409	MAGIC *mg;
348	return sv_2cv (sv, &st, &gvp, 0);	410
		411	if (SvROK (coro))
		412	coro = SvRV (coro);
		413
		414	if (expect_false (SvTYPE (coro) != SVt_PVHV))
		415	croak ("Coro::State object required");
		416
		417	stash = SvSTASH (coro);
		418	if (expect_false (stash != coro_stash && stash != coro_state_stash))
		419	{
		420	/* very slow, but rare, check */
		421	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
		422	croak ("Coro::State object required");
		423	}
		424
		425	mg = CORO_MAGIC_state (coro);
		426	return (struct coro *)mg->mg_ptr;
349	}	427	}
		428
		429	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
		430
		431	/* faster than SvSTATE, but expects a coroutine hv */
		432	#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
		433	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
		434
		435	/*****************************************************************************/
		436	/* padlist management and caching */
350		437
351	static AV *	438	static AV *
352	coro_clone_padlist (pTHX_ CV *cv)	439	coro_derive_padlist (pTHX_ CV *cv)
353	{	440	{
354	AV *padlist = CvPADLIST (cv);	441	AV *padlist = CvPADLIST (cv);
355	AV *newpadlist, *newpad;	442	AV *newpadlist, *newpad;
356		443
357	newpadlist = newAV ();	444	newpadlist = newAV ();
…		…
362	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);	449	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
363	#endif	450	#endif
364	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];	451	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
365	--AvFILLp (padlist);	452	--AvFILLp (padlist);
366		453
367	av_store (newpadlist, 0, SvREFCNT_inc_NN (*av_fetch (padlist, 0, FALSE)));	454	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));
368	av_store (newpadlist, 1, (SV *)newpad);	455	av_store (newpadlist, 1, (SV *)newpad);
369		456
370	return newpadlist;	457	return newpadlist;
371	}	458	}
372		459
373	static void	460	static void
374	free_padlist (pTHX_ AV *padlist)	461	free_padlist (pTHX_ AV *padlist)
375	{	462	{
376	/* may be during global destruction */	463	/* may be during global destruction */
377	if (SvREFCNT (padlist))	464	if (!IN_DESTRUCT)
378	{	465	{
379	I32 i = AvFILLp (padlist);	466	I32 i = AvFILLp (padlist);
380	while (i >= 0)	467
		468	while (i > 0) /* special-case index 0 */
381	{	469	{
382	SV **svp = av_fetch (padlist, i--, FALSE);	470	/* we try to be extra-careful here */
383	if (svp)	471	AV *av = (AV *)AvARRAY (padlist)[i--];
384	{	472	I32 j = AvFILLp (av);
385	SV *sv;	473
386	while (&PL_sv_undef != (sv = av_pop ((AV *)*svp)))	474	while (j >= 0)
		475	SvREFCNT_dec (AvARRAY (av)[j--]);
		476
		477	AvFILLp (av) = -1;
387	SvREFCNT_dec (sv);	478	SvREFCNT_dec (av);
388
389	SvREFCNT_dec (*svp);
390	}
391	}	479	}
392		480
		481	SvREFCNT_dec (AvARRAY (padlist)[0]);
		482
		483	AvFILLp (padlist) = -1;
393	SvREFCNT_dec ((SV*)padlist);	484	SvREFCNT_dec ((SV*)padlist);
394	}	485	}
395	}	486	}
396		487
397	static int	488	static int
398	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)	489	coro_cv_free (pTHX_ SV *sv, MAGIC *mg)
399	{	490	{
400	AV *padlist;	491	AV *padlist;
401	AV *av = (AV *)mg->mg_obj;	492	AV *av = (AV *)mg->mg_obj;
		493
		494	/* perl manages to free our internal AV and _then_ call us */
		495	if (IN_DESTRUCT)
		496	return 0;
402		497
403	/* casting is fun. */	498	/* casting is fun. */
404	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))	499	while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
405	free_padlist (aTHX_ padlist);	500	free_padlist (aTHX_ padlist);
406		501
407	SvREFCNT_dec (av); /* sv_magicext increased the refcount */	502	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
408		503
409	return 0;	504	return 0;
410	}	505	}
411
412	#define CORO_MAGIC_type_cv 26
413	#define CORO_MAGIC_type_state PERL_MAGIC_ext
414		506
415	static MGVTBL coro_cv_vtbl = {	507	static MGVTBL coro_cv_vtbl = {
416	0, 0, 0, 0,	508	0, 0, 0, 0,
417	coro_cv_free	509	coro_cv_free
418	};	510	};
419
420	#define CORO_MAGIC_NN(sv, type) \
421	(expect_true (SvMAGIC (sv)->mg_type == type) \
422	? SvMAGIC (sv) \
423	: mg_find (sv, type))
424
425	#define CORO_MAGIC(sv, type) \
426	(expect_true (SvMAGIC (sv)) \
427	? CORO_MAGIC_NN (sv, type) \
428	: 0)
429
430	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
431	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
432
433	INLINE struct coro *
434	SvSTATE_ (pTHX_ SV *coro)
435	{
436	HV *stash;
437	MAGIC *mg;
438
439	if (SvROK (coro))
440	coro = SvRV (coro);
441
442	if (expect_false (SvTYPE (coro) != SVt_PVHV))
443	croak ("Coro::State object required");
444
445	stash = SvSTASH (coro);
446	if (expect_false (stash != coro_stash && stash != coro_state_stash))
447	{
448	/* very slow, but rare, check */
449	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
450	croak ("Coro::State object required");
451	}
452
453	mg = CORO_MAGIC_state (coro);
454	return (struct coro *)mg->mg_ptr;
455	}
456
457	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
458
459	/* faster than SvSTATE, but expects a coroutine hv */
460	#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
461	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
462		511
463	/* the next two functions merely cache the padlists */	512	/* the next two functions merely cache the padlists */
464	static void	513	static void
465	get_padlist (pTHX_ CV *cv)	514	get_padlist (pTHX_ CV *cv)
466	{	515	{
…		…
477	CV *cp = Perl_cv_clone (aTHX_ cv);	526	CV *cp = Perl_cv_clone (aTHX_ cv);
478	CvPADLIST (cv) = CvPADLIST (cp);	527	CvPADLIST (cv) = CvPADLIST (cp);
479	CvPADLIST (cp) = 0;	528	CvPADLIST (cp) = 0;
480	SvREFCNT_dec (cp);	529	SvREFCNT_dec (cp);
481	#else	530	#else
482	CvPADLIST (cv) = coro_clone_padlist (aTHX_ cv);	531	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
483	#endif	532	#endif
484	}	533	}
485	}	534	}
486		535
487	static void	536	static void
…		…
494	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	543	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
495		544
496	av = (AV *)mg->mg_obj;	545	av = (AV *)mg->mg_obj;
497		546
498	if (expect_false (AvFILLp (av) >= AvMAX (av)))	547	if (expect_false (AvFILLp (av) >= AvMAX (av)))
499	av_extend (av, AvMAX (av) + 1);	548	av_extend (av, AvFILLp (av) + 1);
500		549
501	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);	550	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
502	}	551	}
503		552
504	/** load & save, init *******************************************************/	553	/** load & save, init *******************************************************/
		554
		555	static void
		556	on_enterleave_call (pTHX_ SV *cb);
505		557
506	static void	558	static void
507	load_perl (pTHX_ Coro__State c)	559	load_perl (pTHX_ Coro__State c)
508	{	560	{
509	perl_slots *slot = c->slot;	561	perl_slots *slot = c->slot;
510	c->slot = 0;	562	c->slot = 0;
511		563
512	PL_mainstack = c->mainstack;	564	PL_mainstack = c->mainstack;
513		565
514	GvSV (PL_defgv) = slot->defsv;	566	GvSV (PL_defgv) = slot->defsv;
515	GvAV (PL_defgv) = slot->defav;	567	GvAV (PL_defgv) = slot->defav;
516	GvSV (PL_errgv) = slot->errsv;	568	GvSV (PL_errgv) = slot->errsv;
517	GvSV (irsgv) = slot->irsgv;	569	GvSV (irsgv) = slot->irsgv;
		570	GvHV (PL_hintgv) = slot->hinthv;
518		571
519	#define VAR(name,type) PL_ ## name = slot->name;	572	#define VAR(name,type) PL_ ## name = slot->name;
520	# include "state.h"	573	# include "state.h"
521	#undef VAR	574	#undef VAR
522		575
…		…
536	PUTBACK;	589	PUTBACK;
537	}	590	}
538		591
539	slf_frame = c->slf_frame;	592	slf_frame = c->slf_frame;
540	CORO_THROW = c->except;	593	CORO_THROW = c->except;
		594
		595	if (expect_false (enable_times))
		596	{
		597	if (expect_false (!times_valid))
		598	coro_times_update ();
		599
		600	coro_times_sub (c);
		601	}
		602
		603	if (expect_false (c->on_enter))
		604	{
		605	int i;
		606
		607	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
		608	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
		609	}
541	}	610	}
542		611
543	static void	612	static void
544	save_perl (pTHX_ Coro__State c)	613	save_perl (pTHX_ Coro__State c)
545	{	614	{
		615	if (expect_false (c->on_leave))
		616	{
		617	int i;
		618
		619	for (i = AvFILLp (c->on_leave); i >= 0; --i)
		620	on_enterleave_call (aTHX_ AvARRAY (c->on_leave)[i]);
		621	}
		622
		623	times_valid = 0;
		624
		625	if (expect_false (enable_times))
		626	{
		627	coro_times_update (); times_valid = 1;
		628	coro_times_add (c);
		629	}
		630
546	c->except = CORO_THROW;	631	c->except = CORO_THROW;
547	c->slf_frame = slf_frame;	632	c->slf_frame = slf_frame;
548		633
549	{	634	{
550	dSP;	635	dSP;
…		…
563	{	648	{
564	while (expect_true (cxix >= 0))	649	while (expect_true (cxix >= 0))
565	{	650	{
566	PERL_CONTEXT *cx = &ccstk[cxix--];	651	PERL_CONTEXT *cx = &ccstk[cxix--];
567		652
568	if (expect_true (CxTYPE (cx) == CXt_SUB || CxTYPE (cx) == CXt_FORMAT))	653	if (expect_true (CxTYPE (cx) == CXt_SUB) || expect_false (CxTYPE (cx) == CXt_FORMAT))
569	{	654	{
570	CV *cv = cx->blk_sub.cv;	655	CV *cv = cx->blk_sub.cv;
571		656
572	if (expect_true (CvDEPTH (cv)))	657	if (expect_true (CvDEPTH (cv)))
573	{	658	{
…		…
597	/* we manually unroll here, as usually 2 slots is enough */	682	/* we manually unroll here, as usually 2 slots is enough */
598	if (SLOT_COUNT >= 1) CXINC;	683	if (SLOT_COUNT >= 1) CXINC;
599	if (SLOT_COUNT >= 2) CXINC;	684	if (SLOT_COUNT >= 2) CXINC;
600	if (SLOT_COUNT >= 3) CXINC;	685	if (SLOT_COUNT >= 3) CXINC;
601	{	686	{
602	int i;	687	unsigned int i;
603	for (i = 3; i < SLOT_COUNT; ++i)	688	for (i = 3; i < SLOT_COUNT; ++i)
604	CXINC;	689	CXINC;
605	}	690	}
606	cxstack_ix -= SLOT_COUNT; /* undo allocation */	691	cxstack_ix -= SLOT_COUNT; /* undo allocation */
607		692
608	c->mainstack = PL_mainstack;	693	c->mainstack = PL_mainstack;
609		694
610	{	695	{
611	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);	696	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
612		697
613	slot->defav = GvAV (PL_defgv);	698	slot->defav = GvAV (PL_defgv);
614	slot->defsv = DEFSV;	699	slot->defsv = DEFSV;
615	slot->errsv = ERRSV;	700	slot->errsv = ERRSV;
616	slot->irsgv = GvSV (irsgv);	701	slot->irsgv = GvSV (irsgv);
		702	slot->hinthv = GvHV (PL_hintgv);
617		703
618	#define VAR(name,type) slot->name = PL_ ## name;	704	#define VAR(name,type) slot->name = PL_ ## name;
619	# include "state.h"	705	# include "state.h"
620	#undef VAR	706	#undef VAR
621	}	707	}
…		…
748	#endif	834	#endif
749		835
750	/*	836	/*
751	* This overrides the default magic get method of %SIG elements.	837	* This overrides the default magic get method of %SIG elements.
752	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook	838	* The original one doesn't provide for reading back of PL_diehook/PL_warnhook
753	* and instead of tryign to save and restore the hash elements, we just provide	839	* and instead of trying to save and restore the hash elements, we just provide
754	* readback here.	840	* readback here.
755	* We only do this when the hook is != 0, as they are often set to 0 temporarily,
756	* not expecting this to actually change the hook. This is a potential problem
757	* when a schedule happens then, but we ignore this.
758	*/	841	*/
759	static int	842	static int
760	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)	843	coro_sigelem_get (pTHX_ SV *sv, MAGIC *mg)
761	{	844	{
762	const char *s = MgPV_nolen_const (mg);	845	const char *s = MgPV_nolen_const (mg);
…		…
815	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;	898	if (strEQ (s, "__WARN__")) svp = &PL_warnhook;
816		899
817	if (svp)	900	if (svp)
818	{	901	{
819	SV *old = *svp;	902	SV *old = *svp;
820	*svp = newSVsv (sv);	903	*svp = SvOK (sv) ? newSVsv (sv) : 0;
821	SvREFCNT_dec (old);	904	SvREFCNT_dec (old);
822	return 0;	905	return 0;
823	}	906	}
824	}	907	}
825		908
…		…
857		940
858	PL_runops = RUNOPS_DEFAULT;	941	PL_runops = RUNOPS_DEFAULT;
859	PL_curcop = &PL_compiling;	942	PL_curcop = &PL_compiling;
860	PL_in_eval = EVAL_NULL;	943	PL_in_eval = EVAL_NULL;
861	PL_comppad = 0;	944	PL_comppad = 0;
		945	PL_comppad_name = 0;
		946	PL_comppad_name_fill = 0;
		947	PL_comppad_name_floor = 0;
862	PL_curpm = 0;	948	PL_curpm = 0;
863	PL_curpad = 0;	949	PL_curpad = 0;
864	PL_localizing = 0;	950	PL_localizing = 0;
865	PL_dirty = 0;	951	PL_dirty = 0;
866	PL_restartop = 0;	952	PL_restartop = 0;
867	#if PERL_VERSION_ATLEAST (5,10,0)	953	#if PERL_VERSION_ATLEAST (5,10,0)
868	PL_parser = 0;	954	PL_parser = 0;
869	#endif	955	#endif
		956	PL_hints = 0;
870		957
871	/* recreate the die/warn hooks */	958	/* recreate the die/warn hooks */
872	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );	959	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );
873	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);	960	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);
874		961
875	GvSV (PL_defgv) = newSV (0);	962	GvSV (PL_defgv) = newSV (0);
876	GvAV (PL_defgv) = coro->args; coro->args = 0;	963	GvAV (PL_defgv) = coro->args; coro->args = 0;
877	GvSV (PL_errgv) = newSV (0);	964	GvSV (PL_errgv) = newSV (0);
878	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	965	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
		966	GvHV (PL_hintgv) = 0;
879	PL_rs = newSVsv (GvSV (irsgv));	967	PL_rs = newSVsv (GvSV (irsgv));
880	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	968	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
881		969
882	{	970	{
883	dSP;	971	dSP;
…		…
901	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */	989	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
902	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */	990	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
903		991
904	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */	992	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
905	coro_setup_op.op_next = PL_op;	993	coro_setup_op.op_next = PL_op;
906	coro_setup_op.op_type = OP_CUSTOM;	994	coro_setup_op.op_type = OP_ENTERSUB;
907	coro_setup_op.op_ppaddr = pp_slf;	995	coro_setup_op.op_ppaddr = pp_slf;
908	/* no flags etc. required, as an init function won't be called */	996	/* no flags etc. required, as an init function won't be called */
909		997
910	PL_op = (OP *)&coro_setup_op;	998	PL_op = (OP *)&coro_setup_op;
911		999
912	/* copy throw, in case it was set before coro_setup */	1000	/* copy throw, in case it was set before coro_setup */
913	CORO_THROW = coro->except;	1001	CORO_THROW = coro->except;
914	}
915		1002
		1003	if (expect_false (enable_times))
		1004	{
		1005	coro_times_update ();
		1006	coro_times_sub (coro);
		1007	}
		1008	}
		1009
916	static void	1010	static void
917	coro_destruct (pTHX_ struct coro *coro)	1011	coro_unwind_stacks (pTHX)
918	{	1012	{
919	if (!IN_DESTRUCT)	1013	if (!IN_DESTRUCT)
920	{	1014	{
921	/* restore all saved variables and stuff */	1015	/* restore all saved variables and stuff */
922	LEAVE_SCOPE (0);	1016	LEAVE_SCOPE (0);
…		…
930	POPSTACK_TO (PL_mainstack);	1024	POPSTACK_TO (PL_mainstack);
931		1025
932	/* unwind main stack */	1026	/* unwind main stack */
933	dounwind (-1);	1027	dounwind (-1);
934	}	1028	}
		1029	}
935		1030
936	SvREFCNT_dec (GvSV (PL_defgv));	1031	static void
937	SvREFCNT_dec (GvAV (PL_defgv));	1032	coro_destruct_perl (pTHX_ struct coro *coro)
938	SvREFCNT_dec (GvSV (PL_errgv));	1033	{
939	SvREFCNT_dec (PL_defoutgv);	1034	SV *svf [9];
940	SvREFCNT_dec (PL_rs);
941	SvREFCNT_dec (GvSV (irsgv));
942		1035
943	SvREFCNT_dec (PL_diehook);
944	SvREFCNT_dec (PL_warnhook);
945		1036	{
		1037	struct coro *current = SvSTATE_current;
		1038
		1039	assert (("FATAL: tried to destroy currently running coroutine", coro->mainstack != PL_mainstack));
		1040
		1041	save_perl (aTHX_ current);
		1042	load_perl (aTHX_ coro);
		1043
		1044	coro_unwind_stacks (aTHX);
		1045	coro_destruct_stacks (aTHX);
		1046
		1047	// now save some sv's to be free'd later
		1048	svf [0] = GvSV (PL_defgv);
		1049	svf [1] = (SV *)GvAV (PL_defgv);
		1050	svf [2] = GvSV (PL_errgv);
		1051	svf [3] = (SV *)PL_defoutgv;
		1052	svf [4] = PL_rs;
		1053	svf [5] = GvSV (irsgv);
		1054	svf [6] = (SV *)GvHV (PL_hintgv);
		1055	svf [7] = PL_diehook;
		1056	svf [8] = PL_warnhook;
		1057	assert (9 == sizeof (svf) / sizeof (*svf));
		1058
		1059	load_perl (aTHX_ current);
		1060	}
		1061
		1062	{
		1063	unsigned int i;
		1064
		1065	for (i = 0; i < sizeof (svf) / sizeof (*svf); ++i)
		1066	SvREFCNT_dec (svf [i]);
		1067
946	SvREFCNT_dec (coro->saved_deffh);	1068	SvREFCNT_dec (coro->saved_deffh);
947	SvREFCNT_dec (coro->rouse_cb);	1069	SvREFCNT_dec (coro->rouse_cb);
948	SvREFCNT_dec (coro->invoke_cb);	1070	SvREFCNT_dec (coro->invoke_cb);
949	SvREFCNT_dec (coro->invoke_av);	1071	SvREFCNT_dec (coro->invoke_av);
950		1072	}
951	coro_destruct_stacks (aTHX);
952	}	1073	}
953		1074
954	INLINE void	1075	INLINE void
955	free_coro_mortal (pTHX)	1076	free_coro_mortal (pTHX)
956	{	1077	{
…		…
964	static int	1085	static int
965	runops_trace (pTHX)	1086	runops_trace (pTHX)
966	{	1087	{
967	COP *oldcop = 0;	1088	COP *oldcop = 0;
968	int oldcxix = -2;	1089	int oldcxix = -2;
969	struct coro *coro = SvSTATE_current; /* trace cctx is tied to specific coro */
970	coro_cctx *cctx = coro->cctx;
971		1090
972	while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))	1091	while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))
973	{	1092	{
974	PERL_ASYNC_CHECK ();	1093	PERL_ASYNC_CHECK ();
975		1094
976	if (cctx->flags & CC_TRACE_ALL)	1095	if (cctx_current->flags & CC_TRACE_ALL)
977	{	1096	{
978	if (PL_op->op_type == OP_LEAVESUB && cctx->flags & CC_TRACE_SUB)	1097	if (PL_op->op_type == OP_LEAVESUB && cctx_current->flags & CC_TRACE_SUB)
979	{	1098	{
980	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1099	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
981	SV **bot, **top;	1100	SV **bot, **top;
982	AV *av = newAV (); /* return values */	1101	AV *av = newAV (); /* return values */
983	SV **cb;	1102	SV **cb;
…		…
1020		1139
1021	if (PL_curcop != &PL_compiling)	1140	if (PL_curcop != &PL_compiling)
1022	{	1141	{
1023	SV **cb;	1142	SV **cb;
1024		1143
1025	if (oldcxix != cxstack_ix && cctx->flags & CC_TRACE_SUB)	1144	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)
1026	{	1145	{
1027	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1146	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1028		1147
1029	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1148	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1030	{	1149	{
…		…
1053	}	1172	}
1054		1173
1055	oldcxix = cxstack_ix;	1174	oldcxix = cxstack_ix;
1056	}	1175	}
1057		1176
1058	if (cctx->flags & CC_TRACE_LINE)	1177	if (cctx_current->flags & CC_TRACE_LINE)
1059	{	1178	{
1060	dSP;	1179	dSP;
1061		1180
1062	PL_runops = RUNOPS_DEFAULT;	1181	PL_runops = RUNOPS_DEFAULT;
1063	ENTER;	1182	ENTER;
…		…
1082		1201
1083	TAINT_NOT;	1202	TAINT_NOT;
1084	return 0;	1203	return 0;
1085	}	1204	}
1086		1205
1087	static struct coro_cctx *cctx_ssl_cctx;
1088	static struct CoroSLF cctx_ssl_frame;	1206	static struct CoroSLF cctx_ssl_frame;
1089		1207
1090	static void	1208	static void
1091	slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)	1209	slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)
1092	{	1210	{
1093	ta->prev = (struct coro *)cctx_ssl_cctx;
1094	ta->next = 0;	1211	ta->prev = 0;
1095	}	1212	}
1096		1213
1097	static int	1214	static int
1098	slf_check_set_stacklevel (pTHX_ struct CoroSLF *frame)	1215	slf_check_set_stacklevel (pTHX_ struct CoroSLF *frame)
1099	{	1216	{
…		…
1102	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */	1219	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1103	}	1220	}
1104		1221
1105	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */	1222	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1106	static void NOINLINE	1223	static void NOINLINE
1107	cctx_prepare (pTHX_ coro_cctx *cctx)	1224	cctx_prepare (pTHX)
1108	{	1225	{
1109	PL_top_env = &PL_start_env;	1226	PL_top_env = &PL_start_env;
1110		1227
1111	if (cctx->flags & CC_TRACE)	1228	if (cctx_current->flags & CC_TRACE)
1112	PL_runops = runops_trace;	1229	PL_runops = runops_trace;
1113		1230
1114	/* we already must be executing an SLF op, there is no other valid way	1231	/* we already must be executing an SLF op, there is no other valid way
1115	* that can lead to creation of a new cctx */	1232	* that can lead to creation of a new cctx */
1116	assert (("FATAL: can't prepare slf-less cctx in Coro module (please report)",	1233	assert (("FATAL: can't prepare slf-less cctx in Coro module (please report)",
1117	slf_frame.prepare && PL_op->op_ppaddr == pp_slf));	1234	slf_frame.prepare && PL_op->op_ppaddr == pp_slf));
1118		1235
1119	/* we must emulate leaving pp_slf, which is done inside slf_check_set_stacklevel */	1236	/* we must emulate leaving pp_slf, which is done inside slf_check_set_stacklevel */
1120	cctx_ssl_cctx = cctx;
1121	cctx_ssl_frame = slf_frame;	1237	cctx_ssl_frame = slf_frame;
1122		1238
1123	slf_frame.prepare = slf_prepare_set_stacklevel;	1239	slf_frame.prepare = slf_prepare_set_stacklevel;
1124	slf_frame.check = slf_check_set_stacklevel;	1240	slf_frame.check = slf_check_set_stacklevel;
1125	}	1241	}
…		…
1148	/* normally we would need to skip the entersub here */	1264	/* normally we would need to skip the entersub here */
1149	/* not doing so will re-execute it, which is exactly what we want */	1265	/* not doing so will re-execute it, which is exactly what we want */
1150	/* PL_nop = PL_nop->op_next */	1266	/* PL_nop = PL_nop->op_next */
1151		1267
1152	/* inject a fake subroutine call to cctx_init */	1268	/* inject a fake subroutine call to cctx_init */
1153	cctx_prepare (aTHX_ (coro_cctx *)arg);	1269	cctx_prepare (aTHX);
1154		1270
1155	/* cctx_run is the alternative tail of transfer() */	1271	/* cctx_run is the alternative tail of transfer() */
1156	transfer_tail (aTHX);	1272	transfer_tail (aTHX);
1157		1273
1158	/* somebody or something will hit me for both perl_run and PL_restartop */	1274	/* somebody or something will hit me for both perl_run and PL_restartop */
1159	PL_restartop = PL_op;	1275	PL_restartop = PL_op;
1160	perl_run (PL_curinterp);	1276	perl_run (PL_curinterp);
1161	/*	1277	/*
1162	* Unfortunately, there is no way to get at the return values of the	1278	* Unfortunately, there is no way to get at the return values of the
1163	* coro body here, as perl_run destroys these	1279	* coro body here, as perl_run destroys these. Likewise, we cannot catch
		1280	* runtime errors here, as this is just a random interpreter, not a thread.
1164	*/	1281	*/
1165		1282
1166	/*	1283	/*
1167	* If perl-run returns we assume exit() was being called or the coro	1284	* If perl-run returns we assume exit() was being called or the coro
1168	* fell off the end, which seems to be the only valid (non-bug)	1285	* fell off the end, which seems to be the only valid (non-bug)
1169	* reason for perl_run to return. We try to exit by jumping to the	1286	* reason for perl_run to return. We try to exit by jumping to the
1170	* bootstrap-time "top" top_env, as we cannot restore the "main"	1287	* bootstrap-time "top" top_env, as we cannot restore the "main"
1171	* coroutine as Coro has no such concept	1288	* coroutine as Coro has no such concept.
		1289	* This actually isn't valid with the pthread backend, but OSes requiring
		1290	* that backend are too broken to do it in a standards-compliant way.
1172	*/	1291	*/
1173	PL_top_env = main_top_env;	1292	PL_top_env = main_top_env;
1174	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */	1293	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1175	}	1294	}
1176	}	1295	}
…		…
1253	cctx_destroy (coro_cctx *cctx)	1372	cctx_destroy (coro_cctx *cctx)
1254	{	1373	{
1255	if (!cctx)	1374	if (!cctx)
1256	return;	1375	return;
1257		1376
		1377	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));//D temporary?
		1378
1258	--cctx_count;	1379	--cctx_count;
1259	coro_destroy (&cctx->cctx);	1380	coro_destroy (&cctx->cctx);
1260		1381
1261	/* coro_transfer creates new, empty cctx's */	1382	/* coro_transfer creates new, empty cctx's */
1262	if (cctx->sptr)	1383	if (cctx->sptr)
…		…
1325	/* TODO: throwing up here is considered harmful */	1446	/* TODO: throwing up here is considered harmful */
1326		1447
1327	if (expect_true (prev != next))	1448	if (expect_true (prev != next))
1328	{	1449	{
1329	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1450	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1330	croak ("Coro::State::transfer called with non-running/new prev Coro::State, but can only transfer from running or new states,");	1451	croak ("Coro::State::transfer called with a blocked prev Coro::State, but can only transfer from running or new states,");
1331		1452
1332	if (expect_false (next->flags & CF_RUNNING))
1333	croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states,");
1334
1335	if (expect_false (next->flags & CF_DESTROYED))	1453	if (expect_false (next->flags & (CF_RUNNING | CF_DESTROYED | CF_SUSPENDED)))
1336	croak ("Coro::State::transfer called with destroyed next Coro::State, but can only transfer to inactive states,");	1454	croak ("Coro::State::transfer called with running, destroyed or suspended next Coro::State, but can only transfer to inactive states,");
1337		1455
1338	#if !PERL_VERSION_ATLEAST (5,10,0)	1456	#if !PERL_VERSION_ATLEAST (5,10,0)
1339	if (expect_false (PL_lex_state != LEX_NOTPARSING))	1457	if (expect_false (PL_lex_state != LEX_NOTPARSING))
1340	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");	1458	croak ("Coro::State::transfer called while parsing, but this is not supported in your perl version,");
1341	#endif	1459	#endif
…		…
1347	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)	1465	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1348	{	1466	{
1349	dSTACKLEVEL;	1467	dSTACKLEVEL;
1350		1468
1351	/* sometimes transfer is only called to set idle_sp */	1469	/* sometimes transfer is only called to set idle_sp */
1352	if (expect_false (!next))	1470	if (expect_false (!prev))
1353	{	1471	{
1354	((coro_cctx *)prev)->idle_sp = STACKLEVEL;	1472	cctx_current->idle_sp = STACKLEVEL;
1355	assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */	1473	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1356	}	1474	}
1357	else if (expect_true (prev != next))	1475	else if (expect_true (prev != next))
1358	{	1476	{
1359	coro_cctx *prev__cctx;	1477	coro_cctx *cctx_prev;
1360		1478
1361	if (expect_false (prev->flags & CF_NEW))	1479	if (expect_false (prev->flags & CF_NEW))
1362	{	1480	{
1363	/* create a new empty/source context */	1481	/* create a new empty/source context */
1364	prev->cctx = cctx_new_empty ();
1365	prev->flags &= ~CF_NEW;	1482	prev->flags &= ~CF_NEW;
1366	prev->flags |= CF_RUNNING;	1483	prev->flags |= CF_RUNNING;
1367	}	1484	}
1368		1485
1369	prev->flags &= ~CF_RUNNING;	1486	prev->flags &= ~CF_RUNNING;
…		…
1380	coro_setup (aTHX_ next);	1497	coro_setup (aTHX_ next);
1381	}	1498	}
1382	else	1499	else
1383	load_perl (aTHX_ next);	1500	load_perl (aTHX_ next);
1384		1501
1385	prev__cctx = prev->cctx;
1386
1387	/* possibly untie and reuse the cctx */	1502	/* possibly untie and reuse the cctx */
1388	if (expect_true (	1503	if (expect_true (
1389	prev__cctx->idle_sp == STACKLEVEL	1504	cctx_current->idle_sp == STACKLEVEL
1390	&& !(prev__cctx->flags & CC_TRACE)	1505	&& !(cctx_current->flags & CC_TRACE)
1391	&& !force_cctx	1506	&& !force_cctx
1392	))	1507	))
1393	{	1508	{
1394	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */	1509	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1395	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == prev__cctx->idle_te));	1510	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1396		1511
1397	prev->cctx = 0;
1398
1399	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */	1512	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */
1400	/* without this the next cctx_get might destroy the prev__cctx while still in use */	1513	/* without this the next cctx_get might destroy the running cctx while still in use */
1401	if (expect_false (CCTX_EXPIRED (prev__cctx)))	1514	if (expect_false (CCTX_EXPIRED (cctx_current)))
1402	if (!next->cctx)	1515	if (expect_true (!next->cctx))
1403	next->cctx = cctx_get (aTHX);	1516	next->cctx = cctx_get (aTHX);
1404		1517
1405	cctx_put (prev__cctx);	1518	cctx_put (cctx_current);
1406	}	1519	}
		1520	else
		1521	prev->cctx = cctx_current;
1407		1522
1408	++next->usecount;	1523	++next->usecount;
1409		1524
1410	if (expect_true (!next->cctx))	1525	cctx_prev = cctx_current;
1411	next->cctx = cctx_get (aTHX);	1526	cctx_current = expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);
1412		1527
1413	if (expect_false (prev__cctx != next->cctx))	1528	next->cctx = 0;
		1529
		1530	if (expect_false (cctx_prev != cctx_current))
1414	{	1531	{
1415	prev__cctx->top_env = PL_top_env;	1532	cctx_prev->top_env = PL_top_env;
1416	PL_top_env = next->cctx->top_env;	1533	PL_top_env = cctx_current->top_env;
1417	coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);	1534	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);
1418	}	1535	}
1419		1536
1420	transfer_tail (aTHX);	1537	transfer_tail (aTHX);
1421	}	1538	}
1422	}	1539	}
…		…
1430	coro_state_destroy (pTHX_ struct coro *coro)	1547	coro_state_destroy (pTHX_ struct coro *coro)
1431	{	1548	{
1432	if (coro->flags & CF_DESTROYED)	1549	if (coro->flags & CF_DESTROYED)
1433	return 0;	1550	return 0;
1434		1551
1435	if (coro->on_destroy)	1552	if (coro->on_destroy && !PL_dirty)
1436	coro->on_destroy (aTHX_ coro);	1553	coro->on_destroy (aTHX_ coro);
1437		1554
1438	coro->flags |= CF_DESTROYED;	1555	coro->flags |= CF_DESTROYED;
1439		1556
1440	if (coro->flags & CF_READY)	1557	if (coro->flags & CF_READY)
…		…
1444	--coro_nready;	1561	--coro_nready;
1445	}	1562	}
1446	else	1563	else
1447	coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */	1564	coro->flags |= CF_READY; /* make sure it is NOT put into the readyqueue */
1448		1565
1449	if (coro->mainstack && coro->mainstack != main_mainstack)	1566	if (coro->mainstack
1450	{	1567	&& coro->mainstack != main_mainstack
1451	struct coro temp;	1568	&& coro->slot
1452		1569	&& !PL_dirty)
1453	assert (("FATAL: tried to destroy currently running coroutine (please report)", !(coro->flags & CF_RUNNING)));
1454
1455	save_perl (aTHX_ &temp);
1456	load_perl (aTHX_ coro);
1457
1458	coro_destruct (aTHX_ coro);	1570	coro_destruct_perl (aTHX_ coro);
1459
1460	load_perl (aTHX_ &temp);
1461
1462	coro->slot = 0;
1463	}
1464		1571
1465	cctx_destroy (coro->cctx);	1572	cctx_destroy (coro->cctx);
1466	SvREFCNT_dec (coro->startcv);	1573	SvREFCNT_dec (coro->startcv);
1467	SvREFCNT_dec (coro->args);	1574	SvREFCNT_dec (coro->args);
1468	SvREFCNT_dec (CORO_THROW);	1575	SvREFCNT_dec (CORO_THROW);
…		…
1527		1634
1528	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);	1635	prepare_transfer (aTHX_ &ta, prev_sv, next_sv);
1529	TRANSFER (ta, 1);	1636	TRANSFER (ta, 1);
1530	}	1637	}
1531		1638
1532	/*****************************************************************************/
1533	/* gensub: simple closure generation utility */
1534
1535	#define GENSUB_ARG CvXSUBANY (cv).any_ptr
1536
1537	/* create a closure from XS, returns a code reference */
1538	/* the arg can be accessed via GENSUB_ARG from the callback */
1539	/* the callback must use dXSARGS/XSRETURN */
1540	static SV *
1541	gensub (pTHX_ void (*xsub)(pTHX_ CV *), void *arg)
1542	{
1543	CV *cv = (CV *)newSV (0);
1544
1545	sv_upgrade ((SV *)cv, SVt_PVCV);
1546
1547	CvANON_on (cv);
1548	CvISXSUB_on (cv);
1549	CvXSUB (cv) = xsub;
1550	GENSUB_ARG = arg;
1551
1552	return newRV_noinc ((SV *)cv);
1553	}
1554
1555	/** Coro ********************************************************************/	1639	/** Coro ********************************************************************/
1556		1640
1557	INLINE void	1641	INLINE void
1558	coro_enq (pTHX_ struct coro *coro)	1642	coro_enq (pTHX_ struct coro *coro)
1559	{	1643	{
1560	av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));	1644	struct coro **ready = coro_ready [coro->prio - CORO_PRIO_MIN];
1561	}
1562		1645
1563	INLINE SV *	1646	SvREFCNT_inc_NN (coro->hv);
		1647
		1648	coro->next_ready = 0;
		1649	*(ready [0] ? &ready [1]->next_ready : &ready [0]) = coro;
		1650	ready [1] = coro;
		1651	}
		1652
		1653	INLINE struct coro *
1564	coro_deq (pTHX)	1654	coro_deq (pTHX)
1565	{	1655	{
1566	int prio;	1656	int prio;
1567		1657
1568	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )	1658	for (prio = CORO_PRIO_MAX - CORO_PRIO_MIN + 1; --prio >= 0; )
1569	if (AvFILLp (coro_ready [prio]) >= 0)	1659	{
1570	return av_shift (coro_ready [prio]);	1660	struct coro **ready = coro_ready [prio];
		1661
		1662	if (ready [0])
		1663	{
		1664	struct coro *coro = ready [0];
		1665	ready [0] = coro->next_ready;
		1666	return coro;
		1667	}
		1668	}
1571		1669
1572	return 0;	1670	return 0;
		1671	}
		1672
		1673	static void
		1674	invoke_sv_ready_hook_helper (void)
		1675	{
		1676	dTHX;
		1677	dSP;
		1678
		1679	ENTER;
		1680	SAVETMPS;
		1681
		1682	PUSHMARK (SP);
		1683	PUTBACK;
		1684	call_sv (coro_readyhook, G_VOID | G_DISCARD);
		1685
		1686	FREETMPS;
		1687	LEAVE;
1573	}	1688	}
1574		1689
1575	static int	1690	static int
1576	api_ready (pTHX_ SV *coro_sv)	1691	api_ready (pTHX_ SV *coro_sv)
1577	{	1692	{
1578	struct coro *coro;
1579	SV *sv_hook;
1580	void (*xs_hook)(void);
1581
1582	if (SvROK (coro_sv))
1583	coro_sv = SvRV (coro_sv);
1584
1585	coro = SvSTATE (coro_sv);	1693	struct coro *coro = SvSTATE (coro_sv);
1586		1694
1587	if (coro->flags & CF_READY)	1695	if (coro->flags & CF_READY)
1588	return 0;	1696	return 0;
1589		1697
1590	coro->flags |= CF_READY;	1698	coro->flags |= CF_READY;
1591		1699
1592	sv_hook = coro_nready ? 0 : coro_readyhook;
1593	xs_hook = coro_nready ? 0 : coroapi.readyhook;
1594
1595	coro_enq (aTHX_ coro);	1700	coro_enq (aTHX_ coro);
1596	++coro_nready;
1597		1701
1598	if (sv_hook)	1702	if (!coro_nready++)
1599	{	1703	if (coroapi.readyhook)
1600	dSP;	1704	coroapi.readyhook ();
1601
1602	ENTER;
1603	SAVETMPS;
1604
1605	PUSHMARK (SP);
1606	PUTBACK;
1607	call_sv (sv_hook, G_VOID | G_DISCARD);
1608
1609	FREETMPS;
1610	LEAVE;
1611	}
1612
1613	if (xs_hook)
1614	xs_hook ();
1615		1705
1616	return 1;	1706	return 1;
1617	}	1707	}
1618		1708
1619	static int	1709	static int
…		…
1642	static void	1732	static void
1643	prepare_schedule (pTHX_ struct coro_transfer_args *ta)	1733	prepare_schedule (pTHX_ struct coro_transfer_args *ta)
1644	{	1734	{
1645	for (;;)	1735	for (;;)
1646	{	1736	{
1647	SV *next_sv = coro_deq (aTHX);	1737	struct coro *next = coro_deq (aTHX);
1648		1738
1649	if (expect_true (next_sv))	1739	if (expect_true (next))
1650	{	1740	{
1651	struct coro *next = SvSTATE_hv (next_sv);
1652
1653	/* cannot transfer to destroyed coros, skip and look for next */	1741	/* cannot transfer to destroyed coros, skip and look for next */
1654	if (expect_false (next->flags & CF_DESTROYED))	1742	if (expect_false (next->flags & (CF_DESTROYED | CF_SUSPENDED)))
1655	SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */	1743	SvREFCNT_dec (next->hv); /* coro_nready has already been taken care of by destroy */
1656	else	1744	else
1657	{	1745	{
1658	next->flags &= ~CF_READY;	1746	next->flags &= ~CF_READY;
1659	--coro_nready;	1747	--coro_nready;
1660		1748
…		…
1663	}	1751	}
1664	}	1752	}
1665	else	1753	else
1666	{	1754	{
1667	/* nothing to schedule: call the idle handler */	1755	/* nothing to schedule: call the idle handler */
		1756	if (SvROK (sv_idle)
		1757	&& SvOBJECT (SvRV (sv_idle)))
		1758	{
		1759	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
		1760	api_ready (aTHX_ SvRV (sv_idle));
		1761	--coro_nready;
		1762	}
		1763	else
		1764	{
1668	dSP;	1765	dSP;
1669		1766
1670	ENTER;	1767	ENTER;
1671	SAVETMPS;	1768	SAVETMPS;
1672		1769
1673	PUSHMARK (SP);	1770	PUSHMARK (SP);
1674	PUTBACK;	1771	PUTBACK;
1675	call_sv (get_sv ("Coro::idle", FALSE), G_VOID | G_DISCARD);	1772	call_sv (sv_idle, G_VOID | G_DISCARD);
1676		1773
1677	FREETMPS;	1774	FREETMPS;
1678	LEAVE;	1775	LEAVE;
		1776	}
1679	}	1777	}
1680	}	1778	}
1681	}	1779	}
1682		1780
1683	INLINE void	1781	INLINE void
…		…
1754	static void	1852	static void
1755	api_trace (pTHX_ SV *coro_sv, int flags)	1853	api_trace (pTHX_ SV *coro_sv, int flags)
1756	{	1854	{
1757	struct coro *coro = SvSTATE (coro_sv);	1855	struct coro *coro = SvSTATE (coro_sv);
1758		1856
		1857	if (coro->flags & CF_RUNNING)
		1858	croak ("cannot enable tracing on a running coroutine, caught");
		1859
1759	if (flags & CC_TRACE)	1860	if (flags & CC_TRACE)
1760	{	1861	{
1761	if (!coro->cctx)	1862	if (!coro->cctx)
1762	coro->cctx = cctx_new_run ();	1863	coro->cctx = cctx_new_run ();
1763	else if (!(coro->cctx->flags & CC_TRACE))	1864	else if (!(coro->cctx->flags & CC_TRACE))
1764	croak ("cannot enable tracing on coroutine with custom stack,");	1865	croak ("cannot enable tracing on coroutine with custom stack, caught");
1765		1866
1766	coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));	1867	coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));
1767	}	1868	}
1768	else if (coro->cctx && coro->cctx->flags & CC_TRACE)	1869	else if (coro->cctx && coro->cctx->flags & CC_TRACE)
1769	{	1870	{
…		…
1814	{	1915	{
1815	int i;	1916	int i;
1816	HV *hv = (HV *)SvRV (coro_current);	1917	HV *hv = (HV *)SvRV (coro_current);
1817	AV *av = newAV ();	1918	AV *av = newAV ();
1818		1919
		1920	/* items are actually not so common, so optimise for this case */
		1921	if (items)
		1922	{
1819	av_extend (av, items - 1);	1923	av_extend (av, items - 1);
		1924
1820	for (i = 0; i < items; ++i)	1925	for (i = 0; i < items; ++i)
1821	av_push (av, SvREFCNT_inc_NN (arg [i]));	1926	av_push (av, SvREFCNT_inc_NN (arg [i]));
		1927	}
1822		1928
1823	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);	1929	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);
1824		1930
1825	av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */	1931	av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */
1826	api_ready (aTHX_ sv_manager);	1932	api_ready (aTHX_ sv_manager);
1827		1933
1828	frame->prepare = prepare_schedule;	1934	frame->prepare = prepare_schedule;
1829	frame->check = slf_check_repeat;	1935	frame->check = slf_check_repeat;
		1936
		1937	/* as a minor optimisation, we could unwind all stacks here */
		1938	/* but that puts extra pressure on pp_slf, and is not worth much */
		1939	/*coro_unwind_stacks (aTHX);*/
1830	}	1940	}
1831		1941
1832	/*****************************************************************************/	1942	/*****************************************************************************/
1833	/* async pool handler */	1943	/* async pool handler */
1834		1944
…		…
1912		2022
1913	static void	2023	static void
1914	coro_rouse_callback (pTHX_ CV *cv)	2024	coro_rouse_callback (pTHX_ CV *cv)
1915	{	2025	{
1916	dXSARGS;	2026	dXSARGS;
1917	SV *data = (SV *)GENSUB_ARG;	2027	SV *data = (SV *)S_GENSUB_ARG;
1918		2028
1919	if (SvTYPE (SvRV (data)) != SVt_PVAV)	2029	if (SvTYPE (SvRV (data)) != SVt_PVAV)
1920	{	2030	{
1921	/* first call, set args */	2031	/* first call, set args */
		2032	SV *coro = SvRV (data);
1922	AV *av = newAV ();	2033	AV *av = newAV ();
1923	SV *coro = SvRV (data);
1924		2034
1925	SvRV_set (data, (SV *)av);	2035	SvRV_set (data, (SV *)av);
1926	api_ready (aTHX_ coro);
1927	SvREFCNT_dec (coro);
1928		2036
1929	/* better take a full copy of the arguments */	2037	/* better take a full copy of the arguments */
1930	while (items--)	2038	while (items--)
1931	av_store (av, items, newSVsv (ST (items)));	2039	av_store (av, items, newSVsv (ST (items)));
		2040
		2041	api_ready (aTHX_ coro);
		2042	SvREFCNT_dec (coro);
1932	}	2043	}
1933		2044
1934	XSRETURN_EMPTY;	2045	XSRETURN_EMPTY;
1935	}	2046	}
1936		2047
…		…
1953		2064
1954	EXTEND (SP, AvFILLp (av) + 1);	2065	EXTEND (SP, AvFILLp (av) + 1);
1955	for (i = 0; i <= AvFILLp (av); ++i)	2066	for (i = 0; i <= AvFILLp (av); ++i)
1956	PUSHs (sv_2mortal (AvARRAY (av)[i]));	2067	PUSHs (sv_2mortal (AvARRAY (av)[i]));
1957		2068
1958	/* we have stolen the elements, so ste length to zero and free */	2069	/* we have stolen the elements, so set length to zero and free */
1959	AvFILLp (av) = -1;	2070	AvFILLp (av) = -1;
1960	av_undef (av);	2071	av_undef (av);
1961		2072
1962	PUTBACK;	2073	PUTBACK;
1963	}	2074	}
…		…
1987	|| SvTYPE (SvRV (cb)) != SVt_PVCV	2098	|| SvTYPE (SvRV (cb)) != SVt_PVCV
1988	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)	2099	|| CvXSUB ((CV *)SvRV (cb)) != coro_rouse_callback)
1989	croak ("Coro::rouse_wait called with illegal callback argument,");	2100	croak ("Coro::rouse_wait called with illegal callback argument,");
1990		2101
1991	{	2102	{
1992	CV *cv = (CV *)SvRV (cb); /* for GENSUB_ARG */	2103	CV *cv = (CV *)SvRV (cb); /* for S_GENSUB_ARG */
1993	SV *data = (SV *)GENSUB_ARG;	2104	SV *data = (SV *)S_GENSUB_ARG;
1994		2105
1995	frame->data = (void *)data;	2106	frame->data = (void *)data;
1996	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;	2107	frame->prepare = SvTYPE (SvRV (data)) == SVt_PVAV ? prepare_nop : prepare_schedule;
1997	frame->check = slf_check_rouse_wait;	2108	frame->check = slf_check_rouse_wait;
1998	}	2109	}
…		…
2002	coro_new_rouse_cb (pTHX)	2113	coro_new_rouse_cb (pTHX)
2003	{	2114	{
2004	HV *hv = (HV *)SvRV (coro_current);	2115	HV *hv = (HV *)SvRV (coro_current);
2005	struct coro *coro = SvSTATE_hv (hv);	2116	struct coro *coro = SvSTATE_hv (hv);
2006	SV *data = newRV_inc ((SV *)hv);	2117	SV *data = newRV_inc ((SV *)hv);
2007	SV *cb = gensub (aTHX_ coro_rouse_callback, (void *)data);	2118	SV *cb = s_gensub (aTHX_ coro_rouse_callback, (void *)data);
2008		2119
2009	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);	2120	sv_magicext (SvRV (cb), data, CORO_MAGIC_type_rouse, 0, 0, 0);
2010	SvREFCNT_dec (data); /* magicext increases the refcount */	2121	SvREFCNT_dec (data); /* magicext increases the refcount */
2011		2122
2012	SvREFCNT_dec (coro->rouse_cb);	2123	SvREFCNT_dec (coro->rouse_cb);
…		…
2250	}	2361	}
2251	else	2362	else
2252	slf_argc = 0;	2363	slf_argc = 0;
2253		2364
2254	PL_op->op_ppaddr = pp_slf;	2365	PL_op->op_ppaddr = pp_slf;
2255	PL_op->op_type = OP_CUSTOM; /* maybe we should leave it at entersub? */	2366	/*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */
2256		2367
2257	PL_op = (OP *)&slf_restore;	2368	PL_op = (OP *)&slf_restore;
		2369	}
		2370
		2371	/*****************************************************************************/
		2372	/* dynamic wind */
		2373
		2374	static void
		2375	on_enterleave_call (pTHX_ SV *cb)
		2376	{
		2377	dSP;
		2378
		2379	PUSHSTACK;
		2380
		2381	PUSHMARK (SP);
		2382	PUTBACK;
		2383	call_sv (cb, G_VOID | G_DISCARD);
		2384	SPAGAIN;
		2385
		2386	POPSTACK;
		2387	}
		2388
		2389	static SV *
		2390	coro_avp_pop_and_free (pTHX_ AV **avp)
		2391	{
		2392	AV *av = *avp;
		2393	SV *res = av_pop (av);
		2394
		2395	if (AvFILLp (av) < 0)
		2396	{
		2397	*avp = 0;
		2398	SvREFCNT_dec (av);
		2399	}
		2400
		2401	return res;
		2402	}
		2403
		2404	static void
		2405	coro_pop_on_enter (pTHX_ void *coro)
		2406	{
		2407	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_enter);
		2408	SvREFCNT_dec (cb);
		2409	}
		2410
		2411	static void
		2412	coro_pop_on_leave (pTHX_ void *coro)
		2413	{
		2414	SV *cb = coro_avp_pop_and_free (aTHX_ &((struct coro *)coro)->on_leave);
		2415	on_enterleave_call (aTHX_ sv_2mortal (cb));
2258	}	2416	}
2259		2417
2260	/*****************************************************************************/	2418	/*****************************************************************************/
2261	/* PerlIO::cede */	2419	/* PerlIO::cede */
2262		2420
…		…
2336	/* Coro::Semaphore & Coro::Signal */	2494	/* Coro::Semaphore & Coro::Signal */
2337		2495
2338	static SV *	2496	static SV *
2339	coro_waitarray_new (pTHX_ int count)	2497	coro_waitarray_new (pTHX_ int count)
2340	{	2498	{
2341	/* a semaphore contains a counter IV in $sem->[0] and any waiters after that */	2499	/* a waitarray=semaphore contains a counter IV in $sem->[0] and any waiters after that */
2342	AV *av = newAV ();	2500	AV *av = newAV ();
2343	SV **ary;	2501	SV **ary;
2344		2502
2345	/* unfortunately, building manually saves memory */	2503	/* unfortunately, building manually saves memory */
2346	Newx (ary, 2, SV *);	2504	Newx (ary, 2, SV *);
2347	AvALLOC (av) = ary;	2505	AvALLOC (av) = ary;
		2506	#if PERL_VERSION_ATLEAST (5,10,0)
2348	/*AvARRAY (av) = ary;*/	2507	AvARRAY (av) = ary;
		2508	#else
2349	SvPVX ((SV *)av) = (char *)ary; /* 5.8.8 needs this syntax instead of AvARRAY = ary */	2509	/* 5.8.8 needs this syntax instead of AvARRAY = ary, yet */
		2510	/* -DDEBUGGING flags this as a bug, despite it perfectly working */
		2511	SvPVX ((SV *)av) = (char *)ary;
		2512	#endif
2350	AvMAX (av) = 1;	2513	AvMAX (av) = 1;
2351	AvFILLp (av) = 0;	2514	AvFILLp (av) = 0;
2352	ary [0] = newSViv (count);	2515	ary [0] = newSViv (count);
2353		2516
2354	return newRV_noinc ((SV *)av);	2517	return newRV_noinc ((SV *)av);
…		…
2483	{	2646	{
2484	if (items >= 2)	2647	if (items >= 2)
2485	{	2648	{
2486	/* callback form */	2649	/* callback form */
2487	AV *av = (AV *)SvRV (arg [0]);	2650	AV *av = (AV *)SvRV (arg [0]);
2488	CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);	2651	SV *cb_cv = s_get_cv_croak (arg [1]);
2489		2652
2490	av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));	2653	av_push (av, SvREFCNT_inc_NN (cb_cv));
2491		2654
2492	if (SvIVX (AvARRAY (av)[0]) > 0)	2655	if (SvIVX (AvARRAY (av)[0]) > 0)
2493	coro_semaphore_adjust (aTHX_ av, 0);	2656	coro_semaphore_adjust (aTHX_ av, 0);
2494		2657
2495	frame->prepare = prepare_nop;	2658	frame->prepare = prepare_nop;
…		…
2519	AvARRAY (av)[0] = AvARRAY (av)[1];	2682	AvARRAY (av)[0] = AvARRAY (av)[1];
2520	AvARRAY (av)[1] = cb;	2683	AvARRAY (av)[1] = cb;
2521		2684
2522	cb = av_shift (av);	2685	cb = av_shift (av);
2523		2686
		2687	if (SvTYPE (cb) == SVt_PVCV)
		2688	{
		2689	dSP;
		2690	PUSHMARK (SP);
		2691	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
		2692	PUTBACK;
		2693	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
		2694	}
		2695	else
		2696	{
2524	api_ready (aTHX_ cb);	2697	api_ready (aTHX_ cb);
2525	sv_setiv (cb, 0); /* signal waiter */	2698	sv_setiv (cb, 0); /* signal waiter */
		2699	}
		2700
2526	SvREFCNT_dec (cb);	2701	SvREFCNT_dec (cb);
2527		2702
2528	--count;	2703	--count;
2529	}	2704	}
2530	}	2705	}
…		…
2539	static void	2714	static void
2540	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2715	slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2541	{	2716	{
2542	AV *av = (AV *)SvRV (arg [0]);	2717	AV *av = (AV *)SvRV (arg [0]);
2543		2718
		2719	if (items >= 2)
		2720	{
		2721	SV *cb_cv = s_get_cv_croak (arg [1]);
		2722	av_push (av, SvREFCNT_inc_NN (cb_cv));
		2723
2544	if (SvIVX (AvARRAY (av)[0]))	2724	if (SvIVX (AvARRAY (av)[0]))
		2725	coro_signal_wake (aTHX_ av, 1); /* ust be the only waiter */
		2726
		2727	frame->prepare = prepare_nop;
		2728	frame->check = slf_check_nop;
		2729	}
		2730	else if (SvIVX (AvARRAY (av)[0]))
2545	{	2731	{
2546	SvIVX (AvARRAY (av)[0]) = 0;	2732	SvIVX (AvARRAY (av)[0]) = 0;
2547	frame->prepare = prepare_nop;	2733	frame->prepare = prepare_nop;
2548	frame->check = slf_check_nop;	2734	frame->check = slf_check_nop;
2549	}	2735	}
2550	else	2736	else
2551	{	2737	{
2552	SV *waiter = newRV_inc (SvRV (coro_current)); /* owned by signal av */	2738	SV *waiter = newSVsv (coro_current); /* owned by signal av */
2553		2739
2554	av_push (av, waiter);	2740	av_push (av, waiter);
2555		2741
2556	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */	2742	frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */
2557	frame->prepare = prepare_schedule;	2743	frame->prepare = prepare_schedule;
…		…
2575		2761
2576	static void	2762	static void
2577	coro_aio_callback (pTHX_ CV *cv)	2763	coro_aio_callback (pTHX_ CV *cv)
2578	{	2764	{
2579	dXSARGS;	2765	dXSARGS;
2580	AV *state = (AV *)GENSUB_ARG;	2766	AV *state = (AV *)S_GENSUB_ARG;
2581	SV *coro = av_pop (state);	2767	SV *coro = av_pop (state);
2582	SV *data_sv = newSV (sizeof (struct io_state));	2768	SV *data_sv = newSV (sizeof (struct io_state));
2583		2769
2584	av_extend (state, items - 1);	2770	av_extend (state, items - 1);
2585		2771
…		…
2699		2885
2700	for (i = 0; i < items; ++i)	2886	for (i = 0; i < items; ++i)
2701	PUSHs (arg [i]);	2887	PUSHs (arg [i]);
2702		2888
2703	/* now push the callback closure */	2889	/* now push the callback closure */
2704	PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));	2890	PUSHs (sv_2mortal (s_gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));
2705		2891
2706	/* now call the AIO function - we assume our request is uncancelable */	2892	/* now call the AIO function - we assume our request is uncancelable */
2707	PUTBACK;	2893	PUTBACK;
2708	call_sv ((SV *)req, G_VOID | G_DISCARD);	2894	call_sv ((SV *)req, G_VOID | G_DISCARD);
2709	}	2895	}
…		…
2723		2909
2724	XSRETURN_EMPTY;	2910	XSRETURN_EMPTY;
2725	}	2911	}
2726		2912
2727	/*****************************************************************************/	2913	/*****************************************************************************/
		2914
		2915	#if CORO_CLONE
		2916	# include "clone.c"
		2917	#endif
		2918
		2919	/*****************************************************************************/
		2920
		2921	static SV *
		2922	coro_new (pTHX_ HV *stash, SV **argv, int argc, int is_coro)
		2923	{
		2924	SV *coro_sv;
		2925	struct coro *coro;
		2926	MAGIC *mg;
		2927	HV *hv;
		2928	SV *cb;
		2929	int i;
		2930
		2931	if (argc > 0)
		2932	{
		2933	cb = s_get_cv_croak (argv [0]);
		2934
		2935	if (!is_coro)
		2936	{
		2937	if (CvISXSUB (cb))
		2938	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
		2939
		2940	if (!CvROOT (cb))
		2941	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
		2942	}
		2943	}
		2944
		2945	Newz (0, coro, 1, struct coro);
		2946	coro->args = newAV ();
		2947	coro->flags = CF_NEW;
		2948
		2949	if (coro_first) coro_first->prev = coro;
		2950	coro->next = coro_first;
		2951	coro_first = coro;
		2952
		2953	coro->hv = hv = newHV ();
		2954	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
		2955	mg->mg_flags |= MGf_DUP;
		2956	coro_sv = sv_bless (newRV_noinc ((SV *)hv), stash);
		2957
		2958	if (argc > 0)
		2959	{
		2960	av_extend (coro->args, argc + is_coro - 1);
		2961
		2962	if (is_coro)
		2963	{
		2964	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
		2965	cb = (SV *)cv_coro_run;
		2966	}
		2967
		2968	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
		2969
		2970	for (i = 1; i < argc; i++)
		2971	av_push (coro->args, newSVsv (argv [i]));
		2972	}
		2973
		2974	return coro_sv;
		2975	}
2728		2976
2729	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	2977	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2730		2978
2731	PROTOTYPES: DISABLE	2979	PROTOTYPES: DISABLE
2732		2980
…		…
2737	coro_thx = PERL_GET_CONTEXT;	2985	coro_thx = PERL_GET_CONTEXT;
2738	# endif	2986	# endif
2739	#endif	2987	#endif
2740	BOOT_PAGESIZE;	2988	BOOT_PAGESIZE;
2741		2989
		2990	cctx_current = cctx_new_empty ();
		2991
2742	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);	2992	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
2743	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);	2993	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
2744		2994
2745	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;	2995	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;
2746	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;	2996	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;
…		…
2790		3040
2791	if (!svp) croak ("Time::HiRes is required");	3041	if (!svp) croak ("Time::HiRes is required");
2792	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");	3042	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
2793		3043
2794	nvtime = INT2PTR (double (*)(), SvIV (*svp));	3044	nvtime = INT2PTR (double (*)(), SvIV (*svp));
		3045
		3046	svp = hv_fetch (PL_modglobal, "Time::U2time", 12, 0);
		3047	u2time = INT2PTR (void (*)(pTHX_ UV ret[2]), SvIV (*svp));
2795	}	3048	}
2796		3049
2797	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	3050	assert (("PRIO_NORMAL must be 0", !CORO_PRIO_NORMAL));
2798	}	3051	}
2799		3052
2800	SV *	3053	SV *
2801	new (char *klass, ...)	3054	new (SV *klass, ...)
2802	ALIAS:	3055	ALIAS:
2803	Coro::new = 1	3056	Coro::new = 1
2804	CODE:	3057	CODE:
2805	{	3058	RETVAL = coro_new (aTHX_ ix ? coro_stash : coro_state_stash, &ST (1), items - 1, ix);
2806	struct coro *coro;	3059	OUTPUT:
2807	MAGIC *mg;
2808	HV *hv;
2809	CV *cb;
2810	int i;
2811
2812	if (items > 1)
2813	{
2814	cb = coro_sv_2cv (aTHX_ ST (1));
2815
2816	if (!ix)
2817	{
2818	if (CvISXSUB (cb))
2819	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
2820
2821	if (!CvROOT (cb))
2822	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
2823	}
2824	}
2825
2826	Newz (0, coro, 1, struct coro);
2827	coro->args = newAV ();
2828	coro->flags = CF_NEW;
2829
2830	if (coro_first) coro_first->prev = coro;
2831	coro->next = coro_first;
2832	coro_first = coro;
2833
2834	coro->hv = hv = newHV ();
2835	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
2836	mg->mg_flags |= MGf_DUP;
2837	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2838
2839	if (items > 1)
2840	{
2841	av_extend (coro->args, items - 1 + ix - 1);
2842
2843	if (ix)
2844	{
2845	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
2846	cb = cv_coro_run;
2847	}
2848
2849	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
2850
2851	for (i = 2; i < items; i++)
2852	av_push (coro->args, newSVsv (ST (i)));
2853	}
2854	}
2855	OUTPUT:
2856	RETVAL	3060	RETVAL
2857		3061
2858	void	3062	void
2859	transfer (...)	3063	transfer (...)
2860	PROTOTYPE: $$	3064	PROTOTYPE: $$
…		…
2871	void	3075	void
2872	_exit (int code)	3076	_exit (int code)
2873	PROTOTYPE: $	3077	PROTOTYPE: $
2874	CODE:	3078	CODE:
2875	_exit (code);	3079	_exit (code);
		3080
		3081	SV *
		3082	clone (Coro::State coro)
		3083	CODE:
		3084	{
		3085	#if CORO_CLONE
		3086	struct coro *ncoro = coro_clone (aTHX_ coro);
		3087	MAGIC *mg;
		3088	/* TODO: too much duplication */
		3089	ncoro->hv = newHV ();
		3090	mg = sv_magicext ((SV *)ncoro->hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)ncoro, 0);
		3091	mg->mg_flags |= MGf_DUP;
		3092	RETVAL = sv_bless (newRV_noinc ((SV *)ncoro->hv), SvSTASH (coro->hv));
		3093	#else
		3094	croak ("Coro::State->clone has not been configured into this installation of Coro, realised");
		3095	#endif
		3096	}
		3097	OUTPUT:
		3098	RETVAL
2876		3099
2877	int	3100	int
2878	cctx_stacksize (int new_stacksize = 0)	3101	cctx_stacksize (int new_stacksize = 0)
2879	PROTOTYPE: ;$	3102	PROTOTYPE: ;$
2880	CODE:	3103	CODE:
…		…
2930	eval = 1	3153	eval = 1
2931	CODE:	3154	CODE:
2932	{	3155	{
2933	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))	3156	if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
2934	{	3157	{
2935	struct coro temp;	3158	struct coro *current = SvSTATE_current;
2936		3159
2937	if (!(coro->flags & CF_RUNNING))	3160	if (current != coro)
2938	{	3161	{
2939	PUTBACK;	3162	PUTBACK;
2940	save_perl (aTHX_ &temp);	3163	save_perl (aTHX_ current);
2941	load_perl (aTHX_ coro);	3164	load_perl (aTHX_ coro);
		3165	SPAGAIN;
2942	}	3166	}
2943		3167
2944	{
2945	dSP;
2946	ENTER;
2947	SAVETMPS;
2948	PUTBACK;
2949	PUSHSTACK;	3168	PUSHSTACK;
		3169
2950	PUSHMARK (SP);	3170	PUSHMARK (SP);
		3171	PUTBACK;
2951		3172
2952	if (ix)	3173	if (ix)
2953	eval_sv (coderef, 0);	3174	eval_sv (coderef, 0);
2954	else	3175	else
2955	call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	3176	call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
2956		3177
2957	POPSTACK;	3178	POPSTACK;
2958	SPAGAIN;	3179	SPAGAIN;
2959	FREETMPS;
2960	LEAVE;
2961	PUTBACK;
2962	}
2963		3180
2964	if (!(coro->flags & CF_RUNNING))	3181	if (current != coro)
2965	{	3182	{
		3183	PUTBACK;
2966	save_perl (aTHX_ coro);	3184	save_perl (aTHX_ coro);
2967	load_perl (aTHX_ &temp);	3185	load_perl (aTHX_ current);
2968	SPAGAIN;	3186	SPAGAIN;
2969	}	3187	}
2970	}	3188	}
2971	}	3189	}
2972		3190
…		…
2976	ALIAS:	3194	ALIAS:
2977	is_ready = CF_READY	3195	is_ready = CF_READY
2978	is_running = CF_RUNNING	3196	is_running = CF_RUNNING
2979	is_new = CF_NEW	3197	is_new = CF_NEW
2980	is_destroyed = CF_DESTROYED	3198	is_destroyed = CF_DESTROYED
		3199	is_suspended = CF_SUSPENDED
2981	CODE:	3200	CODE:
2982	RETVAL = boolSV (coro->flags & ix);	3201	RETVAL = boolSV (coro->flags & ix);
2983	OUTPUT:	3202	OUTPUT:
2984	RETVAL	3203	RETVAL
2985		3204
…		…
2989	CODE:	3208	CODE:
2990	{	3209	{
2991	struct coro *current = SvSTATE_current;	3210	struct coro *current = SvSTATE_current;
2992	SV **throwp = self == current ? &CORO_THROW : &self->except;	3211	SV **throwp = self == current ? &CORO_THROW : &self->except;
2993	SvREFCNT_dec (*throwp);	3212	SvREFCNT_dec (*throwp);
		3213	SvGETMAGIC (throw);
2994	*throwp = SvOK (throw) ? newSVsv (throw) : 0;	3214	*throwp = SvOK (throw) ? newSVsv (throw) : 0;
2995	}	3215	}
2996		3216
2997	void	3217	void
2998	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)	3218	api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
…		…
3001		3221
3002	SV *	3222	SV *
3003	has_cctx (Coro::State coro)	3223	has_cctx (Coro::State coro)
3004	PROTOTYPE: $	3224	PROTOTYPE: $
3005	CODE:	3225	CODE:
3006	RETVAL = boolSV (!!coro->cctx);	3226	/* maybe manage the running flag differently */
		3227	RETVAL = boolSV (!!coro->cctx || (coro->flags & CF_RUNNING));
3007	OUTPUT:	3228	OUTPUT:
3008	RETVAL	3229	RETVAL
3009		3230
3010	int	3231	int
3011	is_traced (Coro::State coro)	3232	is_traced (Coro::State coro)
…		…
3031		3252
3032	void	3253	void
3033	force_cctx ()	3254	force_cctx ()
3034	PROTOTYPE:	3255	PROTOTYPE:
3035	CODE:	3256	CODE:
3036	SvSTATE_current->cctx->idle_sp = 0;	3257	cctx_current->idle_sp = 0;
3037		3258
3038	void	3259	void
3039	swap_defsv (Coro::State self)	3260	swap_defsv (Coro::State self)
3040	PROTOTYPE: $	3261	PROTOTYPE: $
3041	ALIAS:	3262	ALIAS:
…		…
3049	SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;	3270	SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;
3050		3271
3051	SV *tmp = *src; *src = *dst; *dst = tmp;	3272	SV *tmp = *src; *src = *dst; *dst = tmp;
3052	}	3273	}
3053		3274
		3275	void
		3276	cancel (Coro::State self)
		3277	CODE:
		3278	coro_state_destroy (aTHX_ self);
		3279	coro_call_on_destroy (aTHX_ self); /* actually only for Coro objects */
		3280
		3281
		3282	SV *
		3283	enable_times (int enabled = enable_times)
		3284	CODE:
		3285	{
		3286	RETVAL = boolSV (enable_times);
		3287
		3288	if (enabled != enable_times)
		3289	{
		3290	enable_times = enabled;
		3291
		3292	coro_times_update ();
		3293	(enabled ? coro_times_sub : coro_times_add)(SvSTATE (coro_current));
		3294	}
		3295	}
		3296	OUTPUT:
		3297	RETVAL
		3298
		3299	void
		3300	times (Coro::State self)
		3301	PPCODE:
		3302	{
		3303	struct coro *current = SvSTATE (coro_current);
		3304
		3305	if (expect_false (current == self))
		3306	{
		3307	coro_times_update ();
		3308	coro_times_add (SvSTATE (coro_current));
		3309	}
		3310
		3311	EXTEND (SP, 2);
		3312	PUSHs (sv_2mortal (newSVnv (self->t_real [0] + self->t_real [1] * 1e-9)));
		3313	PUSHs (sv_2mortal (newSVnv (self->t_cpu [0] + self->t_cpu [1] * 1e-9)));
		3314
		3315	if (expect_false (current == self))
		3316	coro_times_sub (SvSTATE (coro_current));
		3317	}
3054		3318
3055	MODULE = Coro::State PACKAGE = Coro	3319	MODULE = Coro::State PACKAGE = Coro
3056		3320
3057	BOOT:	3321	BOOT:
3058	{	3322	{
3059	int i;
3060
3061	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	3323	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
3062	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	3324	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
3063	cv_coro_run = get_cv ( "Coro::_terminate", GV_ADD);	3325	cv_coro_run = get_cv ( "Coro::_coro_run" , GV_ADD);
3064	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);	3326	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
3065	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);	3327	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
3066	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);	3328	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
3067	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);	3329	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);
3068	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);	3330	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);
		3331	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
3069		3332
3070	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);	3333	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
3071	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);	3334	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
3072	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);	3335	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
3073	cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);	3336	CvNODEBUG_on (get_cv ("Coro::_pool_handler", 0)); /* work around a debugger bug */
3074		3337
3075	coro_stash = gv_stashpv ("Coro", TRUE);	3338	coro_stash = gv_stashpv ("Coro", TRUE);
3076		3339
3077	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));	3340	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (CORO_PRIO_MAX));
3078	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));	3341	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (CORO_PRIO_HIGH));
3079	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));	3342	newCONSTSUB (coro_stash, "PRIO_NORMAL", newSViv (CORO_PRIO_NORMAL));
3080	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (PRIO_LOW));	3343	newCONSTSUB (coro_stash, "PRIO_LOW", newSViv (CORO_PRIO_LOW));
3081	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (PRIO_IDLE));	3344	newCONSTSUB (coro_stash, "PRIO_IDLE", newSViv (CORO_PRIO_IDLE));
3082	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (PRIO_MIN));	3345	newCONSTSUB (coro_stash, "PRIO_MIN", newSViv (CORO_PRIO_MIN));
3083
3084	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
3085	coro_ready[i] = newAV ();
3086		3346
3087	{	3347	{
3088	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);	3348	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
3089		3349
3090	coroapi.schedule = api_schedule;	3350	coroapi.schedule = api_schedule;
…		…
3100	sv_setiv (sv, (IV)&coroapi);	3360	sv_setiv (sv, (IV)&coroapi);
3101	SvREADONLY_on (sv);	3361	SvREADONLY_on (sv);
3102	}	3362	}
3103	}	3363	}
3104		3364
		3365	SV *
		3366	async (...)
		3367	PROTOTYPE: &@
		3368	CODE:
		3369	RETVAL = coro_new (aTHX_ coro_stash, &ST (0), items, 1);
		3370	api_ready (aTHX_ RETVAL);
		3371	OUTPUT:
		3372	RETVAL
		3373
3105	void	3374	void
3106	terminate (...)	3375	terminate (...)
3107	CODE:	3376	CODE:
3108	CORO_EXECUTE_SLF_XS (slf_init_terminate);	3377	CORO_EXECUTE_SLF_XS (slf_init_terminate);
3109		3378
…		…
3129		3398
3130	void	3399	void
3131	cede_notself (...)	3400	cede_notself (...)
3132	CODE:	3401	CODE:
3133	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);	3402	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);
3134
3135	void
3136	_cancel (Coro::State self)
3137	CODE:
3138	coro_state_destroy (aTHX_ self);
3139	coro_call_on_destroy (aTHX_ self);
3140		3403
3141	void	3404	void
3142	_set_current (SV *current)	3405	_set_current (SV *current)
3143	PROTOTYPE: $	3406	PROTOTYPE: $
3144	CODE:	3407	CODE:
…		…
3148	void	3411	void
3149	_set_readyhook (SV *hook)	3412	_set_readyhook (SV *hook)
3150	PROTOTYPE: $	3413	PROTOTYPE: $
3151	CODE:	3414	CODE:
3152	SvREFCNT_dec (coro_readyhook);	3415	SvREFCNT_dec (coro_readyhook);
		3416	SvGETMAGIC (hook);
		3417	if (SvOK (hook))
		3418	{
3153	coro_readyhook = SvOK (hook) ? newSVsv (hook) : 0;	3419	coro_readyhook = newSVsv (hook);
		3420	CORO_READYHOOK = invoke_sv_ready_hook_helper;
		3421	}
		3422	else
		3423	{
		3424	coro_readyhook = 0;
		3425	CORO_READYHOOK = 0;
		3426	}
3154		3427
3155	int	3428	int
3156	prio (Coro::State coro, int newprio = 0)	3429	prio (Coro::State coro, int newprio = 0)
3157	PROTOTYPE: $;$	3430	PROTOTYPE: $;$
3158	ALIAS:	3431	ALIAS:
…		…
3164	if (items > 1)	3437	if (items > 1)
3165	{	3438	{
3166	if (ix)	3439	if (ix)
3167	newprio = coro->prio - newprio;	3440	newprio = coro->prio - newprio;
3168		3441
3169	if (newprio < PRIO_MIN) newprio = PRIO_MIN;	3442	if (newprio < CORO_PRIO_MIN) newprio = CORO_PRIO_MIN;
3170	if (newprio > PRIO_MAX) newprio = PRIO_MAX;	3443	if (newprio > CORO_PRIO_MAX) newprio = CORO_PRIO_MAX;
3171		3444
3172	coro->prio = newprio;	3445	coro->prio = newprio;
3173	}	3446	}
3174	}	3447	}
3175	OUTPUT:	3448	OUTPUT:
…		…
3190	RETVAL = coro_nready;	3463	RETVAL = coro_nready;
3191	OUTPUT:	3464	OUTPUT:
3192	RETVAL	3465	RETVAL
3193		3466
3194	void	3467	void
		3468	suspend (Coro::State self)
		3469	PROTOTYPE: $
		3470	CODE:
		3471	self->flags |= CF_SUSPENDED;
		3472
		3473	void
		3474	resume (Coro::State self)
		3475	PROTOTYPE: $
		3476	CODE:
		3477	self->flags &= ~CF_SUSPENDED;
		3478
		3479	void
3195	_pool_handler (...)	3480	_pool_handler (...)
3196	CODE:	3481	CODE:
3197	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);	3482	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
3198		3483
3199	void	3484	void
…		…
3210	for (i = 1; i < items; ++i)	3495	for (i = 1; i < items; ++i)
3211	av_push (av, SvREFCNT_inc_NN (ST (i)));	3496	av_push (av, SvREFCNT_inc_NN (ST (i)));
3212		3497
3213	if ((SV *)hv == &PL_sv_undef)	3498	if ((SV *)hv == &PL_sv_undef)
3214	{	3499	{
3215	PUSHMARK (SP);	3500	SV *sv = coro_new (aTHX_ coro_stash, (SV **)&cv_pool_handler, 1, 1);
3216	EXTEND (SP, 2);
3217	PUSHs (sv_Coro);
3218	PUSHs ((SV *)cv_pool_handler);
3219	PUTBACK;
3220	call_sv ((SV *)cv_coro_state_new, G_SCALAR);
3221	SPAGAIN;
3222
3223	hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));	3501	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
		3502	SvREFCNT_dec (sv);
3224	}	3503	}
3225		3504
3226	{	3505	{
3227	struct coro *coro = SvSTATE_hv (hv);	3506	struct coro *coro = SvSTATE_hv (hv);
3228		3507
…		…
3252	rouse_wait (...)	3531	rouse_wait (...)
3253	PROTOTYPE: ;$	3532	PROTOTYPE: ;$
3254	PPCODE:	3533	PPCODE:
3255	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);	3534	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);
3256		3535
		3536	void
		3537	on_enter (SV *block)
		3538	ALIAS:
		3539	on_leave = 1
		3540	PROTOTYPE: &
		3541	CODE:
		3542	{
		3543	struct coro *coro = SvSTATE_current;
		3544	AV **avp = ix ? &coro->on_leave : &coro->on_enter;
		3545
		3546	block = s_get_cv_croak (block);
		3547
		3548	if (!*avp)
		3549	*avp = newAV ();
		3550
		3551	av_push (*avp, SvREFCNT_inc (block));
		3552
		3553	if (!ix)
		3554	on_enterleave_call (aTHX_ block);
		3555
		3556	LEAVE; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
		3557	SAVEDESTRUCTOR_X (ix ? coro_pop_on_leave : coro_pop_on_enter, (void *)coro);
		3558	ENTER; /* pp_entersub unfortunately forces an ENTER/LEAVE around XS calls */
		3559	}
		3560
3257		3561
3258	MODULE = Coro::State PACKAGE = PerlIO::cede	3562	MODULE = Coro::State PACKAGE = PerlIO::cede
3259		3563
3260	BOOT:	3564	BOOT:
3261	PerlIO_define_layer (aTHX_ &PerlIO_cede);	3565	PerlIO_define_layer (aTHX_ &PerlIO_cede);
…		…
3264	MODULE = Coro::State PACKAGE = Coro::Semaphore	3568	MODULE = Coro::State PACKAGE = Coro::Semaphore
3265		3569
3266	SV *	3570	SV *
3267	new (SV *klass, SV *count = 0)	3571	new (SV *klass, SV *count = 0)
3268	CODE:	3572	CODE:
		3573	{
		3574	int semcnt = 1;
		3575
		3576	if (count)
		3577	{
		3578	SvGETMAGIC (count);
		3579
		3580	if (SvOK (count))
		3581	semcnt = SvIV (count);
		3582	}
		3583
3269	RETVAL = sv_bless (	3584	RETVAL = sv_bless (
3270	coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),	3585	coro_waitarray_new (aTHX_ semcnt),
3271	GvSTASH (CvGV (cv))	3586	GvSTASH (CvGV (cv))
3272	);	3587	);
		3588	}
3273	OUTPUT:	3589	OUTPUT:
3274	RETVAL	3590	RETVAL
3275		3591
3276	# helper for Coro::Channel	3592	# helper for Coro::Channel and others
3277	SV *	3593	SV *
3278	_alloc (int count)	3594	_alloc (int count)
3279	CODE:	3595	CODE:
3280	RETVAL = coro_waitarray_new (aTHX_ count);	3596	RETVAL = coro_waitarray_new (aTHX_ count);
3281	OUTPUT:	3597	OUTPUT:
…		…
3339	for (i = 1; i <= wcount; ++i)	3655	for (i = 1; i <= wcount; ++i)
3340	PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));	3656	PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));
3341	}	3657	}
3342	}	3658	}
3343		3659
		3660	MODULE = Coro::State PACKAGE = Coro::SemaphoreSet
		3661
		3662	void
		3663	_may_delete (SV *sem, int count, int extra_refs)
		3664	PPCODE:
		3665	{
		3666	AV *av = (AV *)SvRV (sem);
		3667
		3668	if (SvREFCNT ((SV *)av) == 1 + extra_refs
		3669	&& AvFILLp (av) == 0 /* no waiters, just count */
		3670	&& SvIV (AvARRAY (av)[0]) == count)
		3671	XSRETURN_YES;
		3672
		3673	XSRETURN_NO;
		3674	}
		3675
3344	MODULE = Coro::State PACKAGE = Coro::Signal	3676	MODULE = Coro::State PACKAGE = Coro::Signal
3345		3677
3346	SV *	3678	SV *
3347	new (SV *klass)	3679	new (SV *klass)
3348	CODE:	3680	CODE:
…		…
3419		3751
3420	void	3752	void
3421	_register (char *target, char *proto, SV *req)	3753	_register (char *target, char *proto, SV *req)
3422	CODE:	3754	CODE:
3423	{	3755	{
3424	CV *req_cv = coro_sv_2cv (aTHX_ req);	3756	SV *req_cv = s_get_cv_croak (req);
3425	/* newXSproto doesn't return the CV on 5.8 */	3757	/* newXSproto doesn't return the CV on 5.8 */
3426	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);	3758	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3427	sv_setpv ((SV *)slf_cv, proto);	3759	sv_setpv ((SV *)slf_cv, proto);
3428	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);	3760	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3429	}	3761	}
3430		3762
		3763	MODULE = Coro::State PACKAGE = Coro::Select
		3764
		3765	void
		3766	patch_pp_sselect ()
		3767	CODE:
		3768	if (!coro_old_pp_sselect)
		3769	{
		3770	coro_select_select = (SV *)get_cv ("Coro::Select::select", 0);
		3771	coro_old_pp_sselect = PL_ppaddr [OP_SSELECT];
		3772	PL_ppaddr [OP_SSELECT] = coro_pp_sselect;
		3773	}
		3774
		3775	void
		3776	unpatch_pp_sselect ()
		3777	CODE:
		3778	if (coro_old_pp_sselect)
		3779	{
		3780	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
		3781	coro_old_pp_sselect = 0;
		3782	}
		3783
		3784

Diff Legend

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