ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.303 by root, Wed Nov 19 05:52:42 2008 UTC vs.
Revision 1.332 by root, Thu Nov 27 12:20:31 2008 UTC

…		…
55		55
56	#define PERL_VERSION_ATLEAST(a,b,c) \	56	#define PERL_VERSION_ATLEAST(a,b,c) \
57	(PERL_REVISION > (a) \	57	(PERL_REVISION > (a) \
58	|| (PERL_REVISION == (a) \	58	|| (PERL_REVISION == (a) \
59	&& (PERL_VERSION > (b) \	59	&& (PERL_VERSION > (b) \
60	|| (PERL_VERSION == (b) && PERLSUBVERSION >= (c)))))	60	|| (PERL_VERSION == (b) && PERL_SUBVERSION >= (c)))))
61		61
62	#if !PERL_VERSION_ATLEAST (5,6,0)	62	#if !PERL_VERSION_ATLEAST (5,6,0)
63	# ifndef PL_ppaddr	63	# ifndef PL_ppaddr
64	# define PL_ppaddr ppaddr	64	# define PL_ppaddr ppaddr
65	# endif	65	# endif
…		…
98	# define newSV(l) NEWSV(0,l)	98	# define newSV(l) NEWSV(0,l)
99	#endif	99	#endif
100	#ifndef CvISXSUB_on	100	#ifndef CvISXSUB_on
101	# define CvISXSUB_on(cv) (void)cv	101	# define CvISXSUB_on(cv) (void)cv
102	#endif	102	#endif
		103	#ifndef CvISXSUB
		104	# define CvISXSUB(cv) (CvXSUB (cv) ? TRUE : FALSE)
		105	#endif
		106	#ifndef Newx
		107	# define Newx(ptr,nitems,type) New (0,ptr,nitems,type)
		108	#endif
103		109
104	/* 5.8.7 */	110	/* 5.8.7 */
105	#ifndef SvRV_set	111	#ifndef SvRV_set
106	# define SvRV_set(s,v) SvRV(s) = (v)	112	# define SvRV_set(s,v) SvRV(s) = (v)
107	#endif	113	#endif
…		…
127	#else	133	#else
128	# define dSTACKLEVEL volatile void *stacklevel	134	# define dSTACKLEVEL volatile void *stacklevel
129	# define STACKLEVEL ((void *)&stacklevel)	135	# define STACKLEVEL ((void *)&stacklevel)
130	#endif	136	#endif
131		137
132	#define IN_DESTRUCT (PL_main_cv == Nullcv)	138	#define IN_DESTRUCT PL_dirty
133		139
134	#if __GNUC__ >= 3	140	#if __GNUC__ >= 3
135	# define attribute(x) __attribute__(x)	141	# define attribute(x) __attribute__(x)
136	# define expect(expr,value) __builtin_expect ((expr),(value))	142	# define expect(expr,value) __builtin_expect ((expr),(value))
137	# define INLINE static inline	143	# define INLINE static inline
…		…
167	static AV *main_mainstack; /* used to differentiate between $main and others */	173	static AV *main_mainstack; /* used to differentiate between $main and others */
168	static JMPENV *main_top_env;	174	static JMPENV *main_top_env;
169	static HV *coro_state_stash, *coro_stash;	175	static HV *coro_state_stash, *coro_stash;
170	static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */	176	static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
171		177
		178	static AV *av_destroy; /* destruction queue */
		179	static SV *sv_manager; /* the manager coro */
		180	static SV *sv_idle; /* $Coro::idle */
		181
172	static GV *irsgv; /* $/ */	182	static GV *irsgv; /* $/ */
173	static GV *stdoutgv; /* *STDOUT */	183	static GV *stdoutgv; /* *STDOUT */
174	static SV *rv_diehook;	184	static SV *rv_diehook;
175	static SV *rv_warnhook;	185	static SV *rv_warnhook;
176	static HV *hv_sig; /* %SIG */	186	static HV *hv_sig; /* %SIG */
177		187
178	/* async_pool helper stuff */	188	/* async_pool helper stuff */
179	static SV *sv_pool_rss;	189	static SV *sv_pool_rss;
180	static SV *sv_pool_size;	190	static SV *sv_pool_size;
		191	static SV *sv_async_pool_idle; /* description string */
181	static AV *av_async_pool;	192	static AV *av_async_pool; /* idle pool */
		193	static SV *sv_Coro; /* class string */
		194	static CV *cv_pool_handler;
		195	static CV *cv_coro_state_new;
182		196
183	/* Coro::AnyEvent */	197	/* Coro::AnyEvent */
184	static SV *sv_activity;	198	static SV *sv_activity;
185		199
186	static struct coro_cctx *cctx_first;	200	static struct coro_cctx *cctx_first;
…		…
215	int valgrind_id;	229	int valgrind_id;
216	#endif	230	#endif
217	unsigned char flags;	231	unsigned char flags;
218	} coro_cctx;	232	} coro_cctx;
219		233
		234	coro_cctx *cctx_current; /* the currently running cctx */
		235
		236	/*****************************************************************************/
		237
220	enum {	238	enum {
221	CF_RUNNING = 0x0001, /* coroutine is running */	239	CF_RUNNING = 0x0001, /* coroutine is running */
222	CF_READY = 0x0002, /* coroutine is ready */	240	CF_READY = 0x0002, /* coroutine is ready */
223	CF_NEW = 0x0004, /* has never been switched to */	241	CF_NEW = 0x0004, /* has never been switched to */
224	CF_DESTROYED = 0x0008, /* coroutine data has been freed */	242	CF_DESTROYED = 0x0008, /* coroutine data has been freed */
…		…
229	{	247	{
230	SV *defsv;	248	SV *defsv;
231	AV *defav;	249	AV *defav;
232	SV *errsv;	250	SV *errsv;
233	SV *irsgv;	251	SV *irsgv;
		252	HV *hinthv;
234	#define VAR(name,type) type name;	253	#define VAR(name,type) type name;
235	# include "state.h"	254	# include "state.h"
236	#undef VAR	255	#undef VAR
237	} perl_slots;	256	} perl_slots;
238		257
…		…
246	/* state data */	265	/* state data */
247	struct CoroSLF slf_frame; /* saved slf frame */	266	struct CoroSLF slf_frame; /* saved slf frame */
248	AV *mainstack;	267	AV *mainstack;
249	perl_slots *slot; /* basically the saved sp */	268	perl_slots *slot; /* basically the saved sp */
250		269
		270	CV *startcv; /* the CV to execute */
251	AV *args; /* data associated with this coroutine (initial args) */	271	AV *args; /* data associated with this coroutine (initial args) */
252	int refcnt; /* coroutines are refcounted, yes */	272	int refcnt; /* coroutines are refcounted, yes */
253	int flags; /* CF_ flags */	273	int flags; /* CF_ flags */
254	HV *hv; /* the perl hash associated with this coro, if any */	274	HV *hv; /* the perl hash associated with this coro, if any */
255	void (*on_destroy)(pTHX_ struct coro *coro);	275	void (*on_destroy)(pTHX_ struct coro *coro);
256		276
257	/* statistics */	277	/* statistics */
258	int usecount; /* number of transfers to this coro */	278	int usecount; /* number of transfers to this coro */
259		279
…		…
262	SV *except; /* exception to be thrown */	282	SV *except; /* exception to be thrown */
263	SV *rouse_cb;	283	SV *rouse_cb;
264		284
265	/* async_pool */	285	/* async_pool */
266	SV *saved_deffh;	286	SV *saved_deffh;
		287	SV *invoke_cb;
		288	AV *invoke_av;
267		289
268	/* linked list */	290	/* linked list */
269	struct coro *next, *prev;	291	struct coro *next, *prev;
270	};	292	};
271		293
…		…
288		310
289	/* for Coro.pm */	311	/* for Coro.pm */
290	static SV *coro_current;	312	static SV *coro_current;
291	static SV *coro_readyhook;	313	static SV *coro_readyhook;
292	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];	314	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];
		315	static CV *cv_coro_run, *cv_coro_terminate;
293	static struct coro *coro_first;	316	static struct coro *coro_first;
294	#define coro_nready coroapi.nready	317	#define coro_nready coroapi.nready
295		318
296	/** lowlevel stuff **********************************************************/	319	/** lowlevel stuff **********************************************************/
297		320
…		…
323	get_hv (name, create);	346	get_hv (name, create);
324	#endif	347	#endif
325	return get_hv (name, create);	348	return get_hv (name, create);
326	}	349	}
327		350
		351	/* may croak */
		352	INLINE CV *
		353	coro_sv_2cv (pTHX_ SV *sv)
		354	{
		355	HV *st;
		356	GV *gvp;
		357	return sv_2cv (sv, &st, &gvp, 0);
		358	}
		359
		360	/*****************************************************************************/
		361	/* magic glue */
		362
		363	#define CORO_MAGIC_type_cv 26
		364	#define CORO_MAGIC_type_state PERL_MAGIC_ext
		365
		366	#define CORO_MAGIC_NN(sv, type) \
		367	(expect_true (SvMAGIC (sv)->mg_type == type) \
		368	? SvMAGIC (sv) \
		369	: mg_find (sv, type))
		370
		371	#define CORO_MAGIC(sv, type) \
		372	(expect_true (SvMAGIC (sv)) \
		373	? CORO_MAGIC_NN (sv, type) \
		374	: 0)
		375
		376	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
		377	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
		378
		379	INLINE struct coro *
		380	SvSTATE_ (pTHX_ SV *coro)
		381	{
		382	HV *stash;
		383	MAGIC *mg;
		384
		385	if (SvROK (coro))
		386	coro = SvRV (coro);
		387
		388	if (expect_false (SvTYPE (coro) != SVt_PVHV))
		389	croak ("Coro::State object required");
		390
		391	stash = SvSTASH (coro);
		392	if (expect_false (stash != coro_stash && stash != coro_state_stash))
		393	{
		394	/* very slow, but rare, check */
		395	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
		396	croak ("Coro::State object required");
		397	}
		398
		399	mg = CORO_MAGIC_state (coro);
		400	return (struct coro *)mg->mg_ptr;
		401	}
		402
		403	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
		404
		405	/* faster than SvSTATE, but expects a coroutine hv */
		406	#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
		407	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
		408
		409	/*****************************************************************************/
		410	/* padlist management and caching */
		411
328	static AV *	412	static AV *
329	coro_clone_padlist (pTHX_ CV *cv)	413	coro_derive_padlist (pTHX_ CV *cv)
330	{	414	{
331	AV *padlist = CvPADLIST (cv);	415	AV *padlist = CvPADLIST (cv);
332	AV *newpadlist, *newpad;	416	AV *newpadlist, *newpad;
333		417
334	newpadlist = newAV ();	418	newpadlist = newAV ();
…		…
339	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);	423	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
340	#endif	424	#endif
341	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];	425	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
342	--AvFILLp (padlist);	426	--AvFILLp (padlist);
343		427
344	av_store (newpadlist, 0, SvREFCNT_inc_NN (*av_fetch (padlist, 0, FALSE)));	428	av_store (newpadlist, 0, SvREFCNT_inc_NN (AvARRAY (padlist)[0]));
345	av_store (newpadlist, 1, (SV *)newpad);	429	av_store (newpadlist, 1, (SV *)newpad);
346		430
347	return newpadlist;	431	return newpadlist;
348	}	432	}
349		433
350	static void	434	static void
351	free_padlist (pTHX_ AV *padlist)	435	free_padlist (pTHX_ AV *padlist)
352	{	436	{
353	/* may be during global destruction */	437	/* may be during global destruction */
354	if (SvREFCNT (padlist))	438	if (!IN_DESTRUCT)
355	{	439	{
356	I32 i = AvFILLp (padlist);	440	I32 i = AvFILLp (padlist);
357	while (i >= 0)	441
		442	while (i > 0) /* special-case index 0 */
358	{	443	{
359	SV **svp = av_fetch (padlist, i--, FALSE);	444	/* we try to be extra-careful here */
360	if (svp)	445	AV *av = (AV *)AvARRAY (padlist)[i--];
361	{	446	I32 j = AvFILLp (av);
362	SV *sv;	447
363	while (&PL_sv_undef != (sv = av_pop ((AV *)*svp)))	448	while (j >= 0)
		449	SvREFCNT_dec (AvARRAY (av)[j--]);
		450
		451	AvFILLp (av) = -1;
364	SvREFCNT_dec (sv);	452	SvREFCNT_dec (av);
365
366	SvREFCNT_dec (*svp);
367	}
368	}	453	}
369		454
		455	SvREFCNT_dec (AvARRAY (padlist)[0]);
		456
		457	AvFILLp (padlist) = -1;
370	SvREFCNT_dec ((SV*)padlist);	458	SvREFCNT_dec ((SV*)padlist);
371	}	459	}
372	}	460	}
373		461
374	static int	462	static int
…		…
383		471
384	SvREFCNT_dec (av); /* sv_magicext increased the refcount */	472	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
385		473
386	return 0;	474	return 0;
387	}	475	}
388
389	#define CORO_MAGIC_type_cv 26
390	#define CORO_MAGIC_type_state PERL_MAGIC_ext
391		476
392	static MGVTBL coro_cv_vtbl = {	477	static MGVTBL coro_cv_vtbl = {
393	0, 0, 0, 0,	478	0, 0, 0, 0,
394	coro_cv_free	479	coro_cv_free
395	};	480	};
396
397	#define CORO_MAGIC_NN(sv, type) \
398	(expect_true (SvMAGIC (sv)->mg_type == type) \
399	? SvMAGIC (sv) \
400	: mg_find (sv, type))
401
402	#define CORO_MAGIC(sv, type) \
403	(expect_true (SvMAGIC (sv)) \
404	? CORO_MAGIC_NN (sv, type) \
405	: 0)
406
407	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
408	#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
409
410	INLINE struct coro *
411	SvSTATE_ (pTHX_ SV *coro)
412	{
413	HV *stash;
414	MAGIC *mg;
415
416	if (SvROK (coro))
417	coro = SvRV (coro);
418
419	if (expect_false (SvTYPE (coro) != SVt_PVHV))
420	croak ("Coro::State object required");
421
422	stash = SvSTASH (coro);
423	if (expect_false (stash != coro_stash && stash != coro_state_stash))
424	{
425	/* very slow, but rare, check */
426	if (!sv_derived_from (sv_2mortal (newRV_inc (coro)), "Coro::State"))
427	croak ("Coro::State object required");
428	}
429
430	mg = CORO_MAGIC_state (coro);
431	return (struct coro *)mg->mg_ptr;
432	}
433
434	#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
435
436	/* faster than SvSTATE, but expects a coroutine hv */
437	#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
438	#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
439		481
440	/* the next two functions merely cache the padlists */	482	/* the next two functions merely cache the padlists */
441	static void	483	static void
442	get_padlist (pTHX_ CV *cv)	484	get_padlist (pTHX_ CV *cv)
443	{	485	{
…		…
449	else	491	else
450	{	492	{
451	#if CORO_PREFER_PERL_FUNCTIONS	493	#if CORO_PREFER_PERL_FUNCTIONS
452	/* this is probably cleaner? but also slower! */	494	/* this is probably cleaner? but also slower! */
453	/* in practise, it seems to be less stable */	495	/* in practise, it seems to be less stable */
454	CV *cp = Perl_cv_clone (cv);	496	CV *cp = Perl_cv_clone (aTHX_ cv);
455	CvPADLIST (cv) = CvPADLIST (cp);	497	CvPADLIST (cv) = CvPADLIST (cp);
456	CvPADLIST (cp) = 0;	498	CvPADLIST (cp) = 0;
457	SvREFCNT_dec (cp);	499	SvREFCNT_dec (cp);
458	#else	500	#else
459	CvPADLIST (cv) = coro_clone_padlist (aTHX_ cv);	501	CvPADLIST (cv) = coro_derive_padlist (aTHX_ cv);
460	#endif	502	#endif
461	}	503	}
462	}	504	}
463		505
464	static void	506	static void
…		…
471	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);	513	mg = sv_magicext ((SV *)cv, (SV *)newAV (), CORO_MAGIC_type_cv, &coro_cv_vtbl, 0, 0);
472		514
473	av = (AV *)mg->mg_obj;	515	av = (AV *)mg->mg_obj;
474		516
475	if (expect_false (AvFILLp (av) >= AvMAX (av)))	517	if (expect_false (AvFILLp (av) >= AvMAX (av)))
476	av_extend (av, AvMAX (av) + 1);	518	av_extend (av, AvFILLp (av) + 1);
477		519
478	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);	520	AvARRAY (av)[++AvFILLp (av)] = (SV *)CvPADLIST (cv);
479	}	521	}
480		522
481	/** load & save, init *******************************************************/	523	/** load & save, init *******************************************************/
…		…
486	perl_slots *slot = c->slot;	528	perl_slots *slot = c->slot;
487	c->slot = 0;	529	c->slot = 0;
488		530
489	PL_mainstack = c->mainstack;	531	PL_mainstack = c->mainstack;
490		532
491	GvSV (PL_defgv) = slot->defsv;	533	GvSV (PL_defgv) = slot->defsv;
492	GvAV (PL_defgv) = slot->defav;	534	GvAV (PL_defgv) = slot->defav;
493	GvSV (PL_errgv) = slot->errsv;	535	GvSV (PL_errgv) = slot->errsv;
494	GvSV (irsgv) = slot->irsgv;	536	GvSV (irsgv) = slot->irsgv;
		537	GvHV (PL_hintgv) = slot->hinthv;
495		538
496	#define VAR(name,type) PL_ ## name = slot->name;	539	#define VAR(name,type) PL_ ## name = slot->name;
497	# include "state.h"	540	# include "state.h"
498	#undef VAR	541	#undef VAR
499		542
…		…
585	c->mainstack = PL_mainstack;	628	c->mainstack = PL_mainstack;
586		629
587	{	630	{
588	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);	631	perl_slots *slot = c->slot = (perl_slots *)(cxstack + cxstack_ix + 1);
589		632
590	slot->defav = GvAV (PL_defgv);	633	slot->defav = GvAV (PL_defgv);
591	slot->defsv = DEFSV;	634	slot->defsv = DEFSV;
592	slot->errsv = ERRSV;	635	slot->errsv = ERRSV;
593	slot->irsgv = GvSV (irsgv);	636	slot->irsgv = GvSV (irsgv);
		637	slot->hinthv = GvHV (PL_hintgv);
594		638
595	#define VAR(name,type) slot->name = PL_ ## name;	639	#define VAR(name,type) slot->name = PL_ ## name;
596	# include "state.h"	640	# include "state.h"
597	#undef VAR	641	#undef VAR
598	}	642	}
…		…
603	* of perl.c:init_stacks, except that it uses less memory	647	* of perl.c:init_stacks, except that it uses less memory
604	* on the (sometimes correct) assumption that coroutines do	648	* on the (sometimes correct) assumption that coroutines do
605	* not usually need a lot of stackspace.	649	* not usually need a lot of stackspace.
606	*/	650	*/
607	#if CORO_PREFER_PERL_FUNCTIONS	651	#if CORO_PREFER_PERL_FUNCTIONS
608	# define coro_init_stacks init_stacks	652	# define coro_init_stacks(thx) init_stacks ()
609	#else	653	#else
610	static void	654	static void
611	coro_init_stacks (pTHX)	655	coro_init_stacks (pTHX)
612	{	656	{
613	PL_curstackinfo = new_stackinfo(32, 8);	657	PL_curstackinfo = new_stackinfo(32, 8);
…		…
676	#if !PERL_VERSION_ATLEAST (5,10,0)	720	#if !PERL_VERSION_ATLEAST (5,10,0)
677	Safefree (PL_retstack);	721	Safefree (PL_retstack);
678	#endif	722	#endif
679	}	723	}
680		724
		725	#define CORO_RSS \
		726	rss += sizeof (SYM (curstackinfo)); \
		727	rss += (SYM (curstackinfo->si_cxmax) + 1) * sizeof (PERL_CONTEXT); \
		728	rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (SYM (curstack))) * sizeof (SV *); \
		729	rss += SYM (tmps_max) * sizeof (SV *); \
		730	rss += (SYM (markstack_max) - SYM (markstack_ptr)) * sizeof (I32); \
		731	rss += SYM (scopestack_max) * sizeof (I32); \
		732	rss += SYM (savestack_max) * sizeof (ANY);
		733
681	static size_t	734	static size_t
682	coro_rss (pTHX_ struct coro *coro)	735	coro_rss (pTHX_ struct coro *coro)
683	{	736	{
684	size_t rss = sizeof (*coro);	737	size_t rss = sizeof (*coro);
685		738
686	if (coro->mainstack)	739	if (coro->mainstack)
687	{	740	{
688	perl_slots tmp_slot;
689	perl_slots *slot;
690
691	if (coro->flags & CF_RUNNING)	741	if (coro->flags & CF_RUNNING)
692	{	742	{
693	slot = &tmp_slot;	743	#define SYM(sym) PL_ ## sym
694		744	CORO_RSS;
695	#define VAR(name,type) slot->name = PL_ ## name;
696	# include "state.h"
697	#undef VAR	745	#undef SYM
698	}	746	}
699	else	747	else
700	slot = coro->slot;
701
702	if (slot)
703	{	748	{
704	rss += sizeof (slot->curstackinfo);	749	#define SYM(sym) coro->slot->sym
705	rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT);	750	CORO_RSS;
706	rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *);	751	#undef SYM
707	rss += slot->tmps_max * sizeof (SV *);
708	rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32);
709	rss += slot->scopestack_max * sizeof (I32);
710	rss += slot->savestack_max * sizeof (ANY);
711
712	#if !PERL_VERSION_ATLEAST (5,10,0)
713	rss += slot->retstack_max * sizeof (OP *);
714	#endif
715	}	752	}
716	}	753	}
717		754
718	return rss;	755	return rss;
719	}	756	}
…		…
821	slf_check_nop (pTHX_ struct CoroSLF *frame)	858	slf_check_nop (pTHX_ struct CoroSLF *frame)
822	{	859	{
823	return 0;	860	return 0;
824	}	861	}
825		862
		863	static int
		864	slf_check_repeat (pTHX_ struct CoroSLF *frame)
		865	{
		866	return 1;
		867	}
		868
826	static UNOP coro_setup_op;	869	static UNOP coro_setup_op;
827		870
828	static void NOINLINE /* noinline to keep it out of the transfer fast path */	871	static void NOINLINE /* noinline to keep it out of the transfer fast path */
829	coro_setup (pTHX_ struct coro *coro)	872	coro_setup (pTHX_ struct coro *coro)
830	{	873	{
…		…
835		878
836	PL_runops = RUNOPS_DEFAULT;	879	PL_runops = RUNOPS_DEFAULT;
837	PL_curcop = &PL_compiling;	880	PL_curcop = &PL_compiling;
838	PL_in_eval = EVAL_NULL;	881	PL_in_eval = EVAL_NULL;
839	PL_comppad = 0;	882	PL_comppad = 0;
		883	PL_comppad_name = 0;
		884	PL_comppad_name_fill = 0;
		885	PL_comppad_name_floor = 0;
840	PL_curpm = 0;	886	PL_curpm = 0;
841	PL_curpad = 0;	887	PL_curpad = 0;
842	PL_localizing = 0;	888	PL_localizing = 0;
843	PL_dirty = 0;	889	PL_dirty = 0;
844	PL_restartop = 0;	890	PL_restartop = 0;
845	#if PERL_VERSION_ATLEAST (5,10,0)	891	#if PERL_VERSION_ATLEAST (5,10,0)
846	PL_parser = 0;	892	PL_parser = 0;
847	#endif	893	#endif
		894	PL_hints = 0;
848		895
849	/* recreate the die/warn hooks */	896	/* recreate the die/warn hooks */
850	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );	897	PL_diehook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__DIE__" , sizeof ("__DIE__" ) - 1, 1), rv_diehook );
851	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);	898	PL_warnhook = 0; SvSetMagicSV (*hv_fetch (hv_sig, "__WARN__", sizeof ("__WARN__") - 1, 1), rv_warnhook);
852		899
853	GvSV (PL_defgv) = newSV (0);	900	GvSV (PL_defgv) = newSV (0);
854	GvAV (PL_defgv) = coro->args; coro->args = 0;	901	GvAV (PL_defgv) = coro->args; coro->args = 0;
855	GvSV (PL_errgv) = newSV (0);	902	GvSV (PL_errgv) = newSV (0);
856	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	903	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
		904	GvHV (PL_hintgv) = 0;
857	PL_rs = newSVsv (GvSV (irsgv));	905	PL_rs = newSVsv (GvSV (irsgv));
858	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	906	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
859		907
860	{	908	{
861	dSP;	909	dSP;
862	UNOP myop;	910	UNOP myop;
863		911
864	Zero (&myop, 1, UNOP);	912	Zero (&myop, 1, UNOP);
865	myop.op_next = Nullop;	913	myop.op_next = Nullop;
		914	myop.op_type = OP_ENTERSUB;
866	myop.op_flags = OPf_WANT_VOID;	915	myop.op_flags = OPf_WANT_VOID;
867		916
868	PUSHMARK (SP);	917	PUSHMARK (SP);
869	XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv))));	918	PUSHs ((SV *)coro->startcv);
870	PUTBACK;	919	PUTBACK;
871	PL_op = (OP *)&myop;	920	PL_op = (OP *)&myop;
872	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);	921	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
873	SPAGAIN;
874	}	922	}
875		923
876	/* this newly created coroutine might be run on an existing cctx which most	924	/* this newly created coroutine might be run on an existing cctx which most
877	* likely was suspended in pp_slf, so we have to emulate entering pp_slf here.	925	* likely was suspended in pp_slf, so we have to emulate entering pp_slf here.
878	*/	926	*/
879	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */	927	slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
880	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */	928	slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
881		929
882	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */	930	/* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
883	coro_setup_op.op_next = PL_op;	931	coro_setup_op.op_next = PL_op;
884	coro_setup_op.op_type = OP_CUSTOM;	932	coro_setup_op.op_type = OP_ENTERSUB;
885	coro_setup_op.op_ppaddr = pp_slf;	933	coro_setup_op.op_ppaddr = pp_slf;
886	/* no flags required, as an init function won't be called */	934	/* no flags etc. required, as an init function won't be called */
887		935
888	PL_op = (OP *)&coro_setup_op;	936	PL_op = (OP *)&coro_setup_op;
889		937
890	/* copy throw, in case it was set before coro_setup */	938	/* copy throw, in case it was set before coro_setup */
891	CORO_THROW = coro->except;	939	CORO_THROW = coro->except;
…		…
915	SvREFCNT_dec (GvAV (PL_defgv));	963	SvREFCNT_dec (GvAV (PL_defgv));
916	SvREFCNT_dec (GvSV (PL_errgv));	964	SvREFCNT_dec (GvSV (PL_errgv));
917	SvREFCNT_dec (PL_defoutgv);	965	SvREFCNT_dec (PL_defoutgv);
918	SvREFCNT_dec (PL_rs);	966	SvREFCNT_dec (PL_rs);
919	SvREFCNT_dec (GvSV (irsgv));	967	SvREFCNT_dec (GvSV (irsgv));
		968	SvREFCNT_dec (GvHV (PL_hintgv));
920		969
921	SvREFCNT_dec (PL_diehook);	970	SvREFCNT_dec (PL_diehook);
922	SvREFCNT_dec (PL_warnhook);	971	SvREFCNT_dec (PL_warnhook);
923		972
924	SvREFCNT_dec (CORO_THROW);
925	SvREFCNT_dec (coro->saved_deffh);	973	SvREFCNT_dec (coro->saved_deffh);
926	SvREFCNT_dec (coro->rouse_cb);	974	SvREFCNT_dec (coro->rouse_cb);
		975	SvREFCNT_dec (coro->invoke_cb);
		976	SvREFCNT_dec (coro->invoke_av);
927		977
928	coro_destruct_stacks (aTHX);	978	coro_destruct_stacks (aTHX);
929	}	979	}
930		980
931	INLINE void	981	INLINE void
…		…
941	static int	991	static int
942	runops_trace (pTHX)	992	runops_trace (pTHX)
943	{	993	{
944	COP *oldcop = 0;	994	COP *oldcop = 0;
945	int oldcxix = -2;	995	int oldcxix = -2;
946	struct coro *coro = SvSTATE_current; /* trace cctx is tied to specific coro */
947	coro_cctx *cctx = coro->cctx;
948		996
949	while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))	997	while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))
950	{	998	{
951	PERL_ASYNC_CHECK ();	999	PERL_ASYNC_CHECK ();
952		1000
953	if (cctx->flags & CC_TRACE_ALL)	1001	if (cctx_current->flags & CC_TRACE_ALL)
954	{	1002	{
955	if (PL_op->op_type == OP_LEAVESUB && cctx->flags & CC_TRACE_SUB)	1003	if (PL_op->op_type == OP_LEAVESUB && cctx_current->flags & CC_TRACE_SUB)
956	{	1004	{
957	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1005	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
958	SV **bot, **top;	1006	SV **bot, **top;
959	AV *av = newAV (); /* return values */	1007	AV *av = newAV (); /* return values */
960	SV **cb;	1008	SV **cb;
…		…
997		1045
998	if (PL_curcop != &PL_compiling)	1046	if (PL_curcop != &PL_compiling)
999	{	1047	{
1000	SV **cb;	1048	SV **cb;
1001		1049
1002	if (oldcxix != cxstack_ix && cctx->flags & CC_TRACE_SUB)	1050	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)
1003	{	1051	{
1004	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1052	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1005		1053
1006	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1054	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1007	{	1055	{
1008	runops_proc_t old_runops = PL_runops;
1009	dSP;	1056	dSP;
1010	GV *gv = CvGV (cx->blk_sub.cv);	1057	GV *gv = CvGV (cx->blk_sub.cv);
1011	SV *fullname = sv_2mortal (newSV (0));	1058	SV *fullname = sv_2mortal (newSV (0));
1012		1059
1013	if (isGV (gv))	1060	if (isGV (gv))
…		…
1018	SAVETMPS;	1065	SAVETMPS;
1019	EXTEND (SP, 3);	1066	EXTEND (SP, 3);
1020	PUSHMARK (SP);	1067	PUSHMARK (SP);
1021	PUSHs (&PL_sv_yes);	1068	PUSHs (&PL_sv_yes);
1022	PUSHs (fullname);	1069	PUSHs (fullname);
1023	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);	1070	PUSHs (CxHASARGS (cx) ? sv_2mortal (newRV_inc ((SV *)cx->blk_sub.argarray)) : &PL_sv_undef);
1024	PUTBACK;	1071	PUTBACK;
1025	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);	1072	cb = hv_fetch ((HV *)SvRV (coro_current), "_trace_sub_cb", sizeof ("_trace_sub_cb") - 1, 0);
1026	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);	1073	if (cb) call_sv (*cb, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1027	SPAGAIN;	1074	SPAGAIN;
1028	FREETMPS;	1075	FREETMPS;
…		…
1031	}	1078	}
1032		1079
1033	oldcxix = cxstack_ix;	1080	oldcxix = cxstack_ix;
1034	}	1081	}
1035		1082
1036	if (cctx->flags & CC_TRACE_LINE)	1083	if (cctx_current->flags & CC_TRACE_LINE)
1037	{	1084	{
1038	dSP;	1085	dSP;
1039		1086
1040	PL_runops = RUNOPS_DEFAULT;	1087	PL_runops = RUNOPS_DEFAULT;
1041	ENTER;	1088	ENTER;
…		…
1060		1107
1061	TAINT_NOT;	1108	TAINT_NOT;
1062	return 0;	1109	return 0;
1063	}	1110	}
1064		1111
1065	static struct coro_cctx *cctx_ssl_cctx;
1066	static struct CoroSLF cctx_ssl_frame;	1112	static struct CoroSLF cctx_ssl_frame;
1067		1113
1068	static void	1114	static void
1069	slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)	1115	slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)
1070	{	1116	{
1071	ta->prev = (struct coro *)cctx_ssl_cctx;
1072	ta->next = 0;	1117	ta->prev = 0;
1073	}	1118	}
1074		1119
1075	static int	1120	static int
1076	slf_check_set_stacklevel (pTHX_ struct CoroSLF *frame)	1121	slf_check_set_stacklevel (pTHX_ struct CoroSLF *frame)
1077	{	1122	{
…		…
1080	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */	1125	return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1081	}	1126	}
1082		1127
1083	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */	1128	/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1084	static void NOINLINE	1129	static void NOINLINE
1085	cctx_prepare (pTHX_ coro_cctx *cctx)	1130	cctx_prepare (pTHX)
1086	{	1131	{
1087	PL_top_env = &PL_start_env;	1132	PL_top_env = &PL_start_env;
1088		1133
1089	if (cctx->flags & CC_TRACE)	1134	if (cctx_current->flags & CC_TRACE)
1090	PL_runops = runops_trace;	1135	PL_runops = runops_trace;
1091		1136
1092	/* we already must be executing an SLF op, there is no other valid way	1137	/* we already must be executing an SLF op, there is no other valid way
1093	* that can lead to creation of a new cctx */	1138	* that can lead to creation of a new cctx */
1094	assert (("FATAL: can't prepare slf-less cctx in Coro module (please report)",	1139	assert (("FATAL: can't prepare slf-less cctx in Coro module (please report)",
1095	slf_frame.prepare && PL_op->op_ppaddr == pp_slf));	1140	slf_frame.prepare && PL_op->op_ppaddr == pp_slf));
1096		1141
1097	/* we must emulate leaving pp_slf, which is done inside slf_check_set_stacklevel */	1142	/* we must emulate leaving pp_slf, which is done inside slf_check_set_stacklevel */
1098	cctx_ssl_cctx = cctx;
1099	cctx_ssl_frame = slf_frame;	1143	cctx_ssl_frame = slf_frame;
1100		1144
1101	slf_frame.prepare = slf_prepare_set_stacklevel;	1145	slf_frame.prepare = slf_prepare_set_stacklevel;
1102	slf_frame.check = slf_check_set_stacklevel;	1146	slf_frame.check = slf_check_set_stacklevel;
1103	}	1147	}
…		…
1126	/* normally we would need to skip the entersub here */	1170	/* normally we would need to skip the entersub here */
1127	/* not doing so will re-execute it, which is exactly what we want */	1171	/* not doing so will re-execute it, which is exactly what we want */
1128	/* PL_nop = PL_nop->op_next */	1172	/* PL_nop = PL_nop->op_next */
1129		1173
1130	/* inject a fake subroutine call to cctx_init */	1174	/* inject a fake subroutine call to cctx_init */
1131	cctx_prepare (aTHX_ (coro_cctx *)arg);	1175	cctx_prepare (aTHX);
1132		1176
1133	/* cctx_run is the alternative tail of transfer() */	1177	/* cctx_run is the alternative tail of transfer() */
1134	transfer_tail (aTHX);	1178	transfer_tail (aTHX);
1135		1179
1136	/* somebody or something will hit me for both perl_run and PL_restartop */	1180	/* somebody or something will hit me for both perl_run and PL_restartop */
1137	PL_restartop = PL_op;	1181	PL_restartop = PL_op;
1138	perl_run (PL_curinterp);	1182	perl_run (PL_curinterp);
		1183	/*
		1184	* Unfortunately, there is no way to get at the return values of the
		1185	* coro body here, as perl_run destroys these
		1186	*/
1139		1187
1140	/*	1188	/*
1141	* If perl-run returns we assume exit() was being called or the coro	1189	* If perl-run returns we assume exit() was being called or the coro
1142	* fell off the end, which seems to be the only valid (non-bug)	1190	* fell off the end, which seems to be the only valid (non-bug)
1143	* reason for perl_run to return. We try to exit by jumping to the	1191	* reason for perl_run to return. We try to exit by jumping to the
1144	* bootstrap-time "top" top_env, as we cannot restore the "main"	1192	* bootstrap-time "top" top_env, as we cannot restore the "main"
1145	* coroutine as Coro has no such concept	1193	* coroutine as Coro has no such concept.
		1194	* This actually isn't valid with the pthread backend, but OSes requiring
		1195	* that backend are too broken to do it in a standards-compliant way.
1146	*/	1196	*/
1147	PL_top_env = main_top_env;	1197	PL_top_env = main_top_env;
1148	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */	1198	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
1149	}	1199	}
1150	}	1200	}
…		…
1227	cctx_destroy (coro_cctx *cctx)	1277	cctx_destroy (coro_cctx *cctx)
1228	{	1278	{
1229	if (!cctx)	1279	if (!cctx)
1230	return;	1280	return;
1231		1281
		1282	assert (cctx != cctx_current);//D temporary
		1283
1232	--cctx_count;	1284	--cctx_count;
1233	coro_destroy (&cctx->cctx);	1285	coro_destroy (&cctx->cctx);
1234		1286
1235	/* coro_transfer creates new, empty cctx's */	1287	/* coro_transfer creates new, empty cctx's */
1236	if (cctx->sptr)	1288	if (cctx->sptr)
…		…
1299	/* TODO: throwing up here is considered harmful */	1351	/* TODO: throwing up here is considered harmful */
1300		1352
1301	if (expect_true (prev != next))	1353	if (expect_true (prev != next))
1302	{	1354	{
1303	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))	1355	if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1304	croak ("Coro::State::transfer called with non-running/new prev Coro::State, but can only transfer from running or new states,");	1356	croak ("Coro::State::transfer called with a suspended prev Coro::State, but can only transfer from running or new states,");
1305		1357
1306	if (expect_false (next->flags & CF_RUNNING))	1358	if (expect_false (next->flags & CF_RUNNING))
1307	croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states,");	1359	croak ("Coro::State::transfer called with running next Coro::State, but can only transfer to inactive states,");
1308		1360
1309	if (expect_false (next->flags & CF_DESTROYED))	1361	if (expect_false (next->flags & CF_DESTROYED))
…		…
1321	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)	1373	transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1322	{	1374	{
1323	dSTACKLEVEL;	1375	dSTACKLEVEL;
1324		1376
1325	/* sometimes transfer is only called to set idle_sp */	1377	/* sometimes transfer is only called to set idle_sp */
1326	if (expect_false (!next))	1378	if (expect_false (!prev))
1327	{	1379	{
1328	((coro_cctx *)prev)->idle_sp = STACKLEVEL;	1380	cctx_current->idle_sp = STACKLEVEL;
1329	assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */	1381	assert (cctx_current->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1330	}	1382	}
1331	else if (expect_true (prev != next))	1383	else if (expect_true (prev != next))
1332	{	1384	{
1333	coro_cctx *prev__cctx;	1385	coro_cctx *cctx_prev;
1334		1386
1335	if (expect_false (prev->flags & CF_NEW))	1387	if (expect_false (prev->flags & CF_NEW))
1336	{	1388	{
1337	/* create a new empty/source context */	1389	/* create a new empty/source context */
1338	prev->cctx = cctx_new_empty ();
1339	prev->flags &= ~CF_NEW;	1390	prev->flags &= ~CF_NEW;
1340	prev->flags |= CF_RUNNING;	1391	prev->flags |= CF_RUNNING;
1341	}	1392	}
1342		1393
1343	prev->flags &= ~CF_RUNNING;	1394	prev->flags &= ~CF_RUNNING;
…		…
1354	coro_setup (aTHX_ next);	1405	coro_setup (aTHX_ next);
1355	}	1406	}
1356	else	1407	else
1357	load_perl (aTHX_ next);	1408	load_perl (aTHX_ next);
1358		1409
1359	prev__cctx = prev->cctx;	1410	assert (!prev->cctx);//D temporary
1360		1411
1361	/* possibly untie and reuse the cctx */	1412	/* possibly untie and reuse the cctx */
1362	if (expect_true (	1413	if (expect_true (
1363	prev__cctx->idle_sp == STACKLEVEL	1414	cctx_current->idle_sp == STACKLEVEL
1364	&& !(prev__cctx->flags & CC_TRACE)	1415	&& !(cctx_current->flags & CC_TRACE)
1365	&& !force_cctx	1416	&& !force_cctx
1366	))	1417	))
1367	{	1418	{
1368	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */	1419	/* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1369	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == prev__cctx->idle_te));	1420	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == cctx_current->idle_te));
1370		1421
1371	prev->cctx = 0;
1372
1373	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */	1422	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get. */
1374	/* without this the next cctx_get might destroy the prev__cctx while still in use */	1423	/* without this the next cctx_get might destroy the running cctx while still in use */
1375	if (expect_false (CCTX_EXPIRED (prev__cctx)))	1424	if (expect_false (CCTX_EXPIRED (cctx_current)))
1376	if (!next->cctx)	1425	if (expect_true (!next->cctx))
1377	next->cctx = cctx_get (aTHX);	1426	next->cctx = cctx_get (aTHX);
1378		1427
1379	cctx_put (prev__cctx);	1428	cctx_put (cctx_current);
1380	}	1429	}
		1430	else
		1431	prev->cctx = cctx_current;
1381		1432
1382	++next->usecount;	1433	++next->usecount;
1383		1434
1384	if (expect_true (!next->cctx))	1435	cctx_prev = cctx_current;
1385	next->cctx = cctx_get (aTHX);	1436	cctx_current = expect_false (next->cctx) ? next->cctx : cctx_get (aTHX);
1386		1437
1387	if (expect_false (prev__cctx != next->cctx))	1438	next->cctx = 0;
		1439
		1440	if (expect_false (cctx_prev != cctx_current))
1388	{	1441	{
1389	prev__cctx->top_env = PL_top_env;	1442	cctx_prev->top_env = PL_top_env;
1390	PL_top_env = next->cctx->top_env;	1443	PL_top_env = cctx_current->top_env;
1391	coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);	1444	coro_transfer (&cctx_prev->cctx, &cctx_current->cctx);
1392	}	1445	}
1393		1446
1394	transfer_tail (aTHX);	1447	transfer_tail (aTHX);
1395	}	1448	}
1396	}	1449	}
…		…
1435		1488
1436	coro->slot = 0;	1489	coro->slot = 0;
1437	}	1490	}
1438		1491
1439	cctx_destroy (coro->cctx);	1492	cctx_destroy (coro->cctx);
		1493	SvREFCNT_dec (coro->startcv);
1440	SvREFCNT_dec (coro->args);	1494	SvREFCNT_dec (coro->args);
		1495	SvREFCNT_dec (CORO_THROW);
1441		1496
1442	if (coro->next) coro->next->prev = coro->prev;	1497	if (coro->next) coro->next->prev = coro->prev;
1443	if (coro->prev) coro->prev->next = coro->next;	1498	if (coro->prev) coro->prev->next = coro->next;
1444	if (coro == coro_first) coro_first = coro->next;	1499	if (coro == coro_first) coro_first = coro->next;
1445		1500
…		…
1549	{	1604	{
1550	struct coro *coro;	1605	struct coro *coro;
1551	SV *sv_hook;	1606	SV *sv_hook;
1552	void (*xs_hook)(void);	1607	void (*xs_hook)(void);
1553		1608
1554	if (SvROK (coro_sv))
1555	coro_sv = SvRV (coro_sv);
1556
1557	coro = SvSTATE (coro_sv);	1609	coro = SvSTATE (coro_sv);
1558		1610
1559	if (coro->flags & CF_READY)	1611	if (coro->flags & CF_READY)
1560	return 0;	1612	return 0;
1561		1613
…		…
1592	api_is_ready (pTHX_ SV *coro_sv)	1644	api_is_ready (pTHX_ SV *coro_sv)
1593	{	1645	{
1594	return !!(SvSTATE (coro_sv)->flags & CF_READY);	1646	return !!(SvSTATE (coro_sv)->flags & CF_READY);
1595	}	1647	}
1596		1648
		1649	/* expects to own a reference to next->hv */
1597	INLINE void	1650	INLINE void
1598	prepare_schedule (pTHX_ struct coro_transfer_args *ta)	1651	prepare_schedule_to (pTHX_ struct coro_transfer_args *ta, struct coro *next)
1599	{	1652	{
1600	SV *prev_sv, *next_sv;
1601
1602	for (;;)
1603	{
1604	next_sv = coro_deq (aTHX);
1605
1606	/* nothing to schedule: call the idle handler */
1607	if (expect_false (!next_sv))
1608	{
1609	dSP;
1610
1611	ENTER;
1612	SAVETMPS;
1613
1614	PUSHMARK (SP);
1615	PUTBACK;
1616	call_sv (get_sv ("Coro::idle", FALSE), G_VOID | G_DISCARD);
1617
1618	FREETMPS;
1619	LEAVE;
1620	continue;
1621	}
1622
1623	ta->next = SvSTATE_hv (next_sv);
1624
1625	/* cannot transfer to destroyed coros, skip and look for next */
1626	if (expect_false (ta->next->flags & CF_DESTROYED))
1627	{
1628	SvREFCNT_dec (next_sv);
1629	/* coro_nready has already been taken care of by destroy */
1630	continue;
1631	}
1632
1633	--coro_nready;
1634	break;
1635	}
1636
1637	/* free this only after the transfer */
1638	prev_sv = SvRV (coro_current);	1653	SV *prev_sv = SvRV (coro_current);
		1654
1639	ta->prev = SvSTATE_hv (prev_sv);	1655	ta->prev = SvSTATE_hv (prev_sv);
		1656	ta->next = next;
		1657
1640	TRANSFER_CHECK (*ta);	1658	TRANSFER_CHECK (*ta);
1641	assert (("FATAL: next coroutine isn't marked as ready in Coro (please report)", ta->next->flags & CF_READY));	1659
1642	ta->next->flags &= ~CF_READY;
1643	SvRV_set (coro_current, next_sv);	1660	SvRV_set (coro_current, (SV *)next->hv);
1644		1661
1645	free_coro_mortal (aTHX);	1662	free_coro_mortal (aTHX);
1646	coro_mortal = prev_sv;	1663	coro_mortal = prev_sv;
1647	}	1664	}
1648		1665
		1666	static void
		1667	prepare_schedule (pTHX_ struct coro_transfer_args *ta)
		1668	{
		1669	for (;;)
		1670	{
		1671	SV *next_sv = coro_deq (aTHX);
		1672
		1673	if (expect_true (next_sv))
		1674	{
		1675	struct coro *next = SvSTATE_hv (next_sv);
		1676
		1677	/* cannot transfer to destroyed coros, skip and look for next */
		1678	if (expect_false (next->flags & CF_DESTROYED))
		1679	SvREFCNT_dec (next_sv); /* coro_nready has already been taken care of by destroy */
		1680	else
		1681	{
		1682	next->flags &= ~CF_READY;
		1683	--coro_nready;
		1684
		1685	prepare_schedule_to (aTHX_ ta, next);
		1686	break;
		1687	}
		1688	}
		1689	else
		1690	{
		1691	/* nothing to schedule: call the idle handler */
		1692	if (SvROK (sv_idle)
		1693	&& SvOBJECT (SvRV (sv_idle)))
		1694	{
		1695	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
		1696	api_ready (aTHX_ SvRV (sv_idle));
		1697	--coro_nready;
		1698	}
		1699	else
		1700	{
		1701	dSP;
		1702
		1703	ENTER;
		1704	SAVETMPS;
		1705
		1706	PUSHMARK (SP);
		1707	PUTBACK;
		1708	call_sv (sv_idle, G_VOID | G_DISCARD);
		1709
		1710	FREETMPS;
		1711	LEAVE;
		1712	}
		1713	}
		1714	}
		1715	}
		1716
1649	INLINE void	1717	INLINE void
1650	prepare_cede (pTHX_ struct coro_transfer_args *ta)	1718	prepare_cede (pTHX_ struct coro_transfer_args *ta)
1651	{	1719	{
1652	api_ready (aTHX_ coro_current);	1720	api_ready (aTHX_ coro_current);
1653	prepare_schedule (aTHX_ ta);	1721	prepare_schedule (aTHX_ ta);
…		…
1672	{	1740	{
1673	struct coro_transfer_args ta;	1741	struct coro_transfer_args ta;
1674		1742
1675	prepare_schedule (aTHX_ &ta);	1743	prepare_schedule (aTHX_ &ta);
1676	TRANSFER (ta, 1);	1744	TRANSFER (ta, 1);
		1745	}
		1746
		1747	static void
		1748	api_schedule_to (pTHX_ SV *coro_sv)
		1749	{
		1750	struct coro_transfer_args ta;
		1751	struct coro *next = SvSTATE (coro_sv);
		1752
		1753	SvREFCNT_inc_NN (coro_sv);
		1754	prepare_schedule_to (aTHX_ &ta, next);
1677	}	1755	}
1678		1756
1679	static int	1757	static int
1680	api_cede (pTHX)	1758	api_cede (pTHX)
1681	{	1759	{
…		…
1710	static void	1788	static void
1711	api_trace (pTHX_ SV *coro_sv, int flags)	1789	api_trace (pTHX_ SV *coro_sv, int flags)
1712	{	1790	{
1713	struct coro *coro = SvSTATE (coro_sv);	1791	struct coro *coro = SvSTATE (coro_sv);
1714		1792
		1793	if (coro->flags & CF_RUNNING)
		1794	croak ("cannot enable tracing on a running coroutine, caught");
		1795
1715	if (flags & CC_TRACE)	1796	if (flags & CC_TRACE)
1716	{	1797	{
1717	if (!coro->cctx)	1798	if (!coro->cctx)
1718	coro->cctx = cctx_new_run ();	1799	coro->cctx = cctx_new_run ();
1719	else if (!(coro->cctx->flags & CC_TRACE))	1800	else if (!(coro->cctx->flags & CC_TRACE))
1720	croak ("cannot enable tracing on coroutine with custom stack,");	1801	croak ("cannot enable tracing on coroutine with custom stack, caught");
1721		1802
1722	coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));	1803	coro->cctx->flags |= CC_NOREUSE | (flags & (CC_TRACE | CC_TRACE_ALL));
1723	}	1804	}
1724	else if (coro->cctx && coro->cctx->flags & CC_TRACE)	1805	else if (coro->cctx && coro->cctx->flags & CC_TRACE)
1725	{	1806	{
…		…
1730	else	1811	else
1731	coro->slot->runops = RUNOPS_DEFAULT;	1812	coro->slot->runops = RUNOPS_DEFAULT;
1732	}	1813	}
1733	}	1814	}
1734		1815
		1816	static void
		1817	coro_call_on_destroy (pTHX_ struct coro *coro)
		1818	{
		1819	SV **on_destroyp = hv_fetch (coro->hv, "_on_destroy", sizeof ("_on_destroy") - 1, 0);
		1820	SV **statusp = hv_fetch (coro->hv, "_status", sizeof ("_status") - 1, 0);
		1821
		1822	if (on_destroyp)
		1823	{
		1824	AV *on_destroy = (AV *)SvRV (*on_destroyp);
		1825
		1826	while (AvFILLp (on_destroy) >= 0)
		1827	{
		1828	dSP; /* don't disturb outer sp */
		1829	SV *cb = av_pop (on_destroy);
		1830
		1831	PUSHMARK (SP);
		1832
		1833	if (statusp)
		1834	{
		1835	int i;
		1836	AV *status = (AV *)SvRV (*statusp);
		1837	EXTEND (SP, AvFILLp (status) + 1);
		1838
		1839	for (i = 0; i <= AvFILLp (status); ++i)
		1840	PUSHs (AvARRAY (status)[i]);
		1841	}
		1842
		1843	PUTBACK;
		1844	call_sv (sv_2mortal (cb), G_VOID | G_DISCARD);
		1845	}
		1846	}
		1847	}
		1848
		1849	static void
		1850	slf_init_terminate (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		1851	{
		1852	int i;
		1853	HV *hv = (HV *)SvRV (coro_current);
		1854	AV *av = newAV ();
		1855
		1856	av_extend (av, items - 1);
		1857	for (i = 0; i < items; ++i)
		1858	av_push (av, SvREFCNT_inc_NN (arg [i]));
		1859
		1860	hv_store (hv, "_status", sizeof ("_status") - 1, newRV_noinc ((SV *)av), 0);
		1861
		1862	av_push (av_destroy, (SV *)newRV_inc ((SV *)hv)); /* RVinc for perl */
		1863	api_ready (aTHX_ sv_manager);
		1864
		1865	frame->prepare = prepare_schedule;
		1866	frame->check = slf_check_repeat;
		1867	}
		1868
		1869	/*****************************************************************************/
		1870	/* async pool handler */
		1871
		1872	static int
		1873	slf_check_pool_handler (pTHX_ struct CoroSLF *frame)
		1874	{
		1875	HV *hv = (HV *)SvRV (coro_current);
		1876	struct coro *coro = (struct coro *)frame->data;
		1877
		1878	if (!coro->invoke_cb)
		1879	return 1; /* loop till we have invoke */
		1880	else
		1881	{
		1882	hv_store (hv, "desc", sizeof ("desc") - 1,
		1883	newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
		1884
		1885	coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
		1886
		1887	{
		1888	dSP;
		1889	XPUSHs (sv_2mortal (coro->invoke_cb)); coro->invoke_cb = 0;
		1890	PUTBACK;
		1891	}
		1892
		1893	SvREFCNT_dec (GvAV (PL_defgv));
		1894	GvAV (PL_defgv) = coro->invoke_av;
		1895	coro->invoke_av = 0;
		1896
		1897	return 0;
		1898	}
		1899	}
		1900
		1901	static void
		1902	slf_init_pool_handler (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		1903	{
		1904	HV *hv = (HV *)SvRV (coro_current);
		1905	struct coro *coro = SvSTATE_hv ((SV *)hv);
		1906
		1907	if (expect_true (coro->saved_deffh))
		1908	{
		1909	/* subsequent iteration */
		1910	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
		1911	coro->saved_deffh = 0;
		1912
		1913	if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
		1914	|| av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
		1915	{
		1916	coro->invoke_cb = SvREFCNT_inc_NN ((SV *)cv_coro_terminate);
		1917	coro->invoke_av = newAV ();
		1918
		1919	frame->prepare = prepare_nop;
		1920	}
		1921	else
		1922	{
		1923	av_clear (GvAV (PL_defgv));
		1924	hv_store (hv, "desc", sizeof ("desc") - 1, SvREFCNT_inc_NN (sv_async_pool_idle), 0);
		1925
		1926	coro->prio = 0;
		1927
		1928	if (coro->cctx && (coro->cctx->flags & CC_TRACE))
		1929	api_trace (aTHX_ coro_current, 0);
		1930
		1931	frame->prepare = prepare_schedule;
		1932	av_push (av_async_pool, SvREFCNT_inc (hv));
		1933	}
		1934	}
		1935	else
		1936	{
		1937	/* first iteration, simply fall through */
		1938	frame->prepare = prepare_nop;
		1939	}
		1940
		1941	frame->check = slf_check_pool_handler;
		1942	frame->data = (void *)coro;
		1943	}
		1944
1735	/*****************************************************************************/	1945	/*****************************************************************************/
1736	/* rouse callback */	1946	/* rouse callback */
1737		1947
1738	#define CORO_MAGIC_type_rouse PERL_MAGIC_ext	1948	#define CORO_MAGIC_type_rouse PERL_MAGIC_ext
1739		1949
…		…
1744	SV *data = (SV *)GENSUB_ARG;	1954	SV *data = (SV *)GENSUB_ARG;
1745		1955
1746	if (SvTYPE (SvRV (data)) != SVt_PVAV)	1956	if (SvTYPE (SvRV (data)) != SVt_PVAV)
1747	{	1957	{
1748	/* first call, set args */	1958	/* first call, set args */
1749	int i;
1750	AV *av = newAV ();	1959	AV *av = newAV ();
1751	SV *coro = SvRV (data);	1960	SV *coro = SvRV (data);
1752		1961
1753	SvRV_set (data, (SV *)av);	1962	SvRV_set (data, (SV *)av);
1754	api_ready (aTHX_ coro);	1963	api_ready (aTHX_ coro);
…		…
1895	static void	2104	static void
1896	slf_init_schedule (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2105	slf_init_schedule (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1897	{	2106	{
1898	frame->prepare = prepare_schedule;	2107	frame->prepare = prepare_schedule;
1899	frame->check = slf_check_nop;	2108	frame->check = slf_check_nop;
		2109	}
		2110
		2111	static void
		2112	slf_prepare_schedule_to (pTHX_ struct coro_transfer_args *ta)
		2113	{
		2114	struct coro *next = (struct coro *)slf_frame.data;
		2115
		2116	SvREFCNT_inc_NN (next->hv);
		2117	prepare_schedule_to (aTHX_ ta, next);
		2118	}
		2119
		2120	static void
		2121	slf_init_schedule_to (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2122	{
		2123	if (!items)
		2124	croak ("Coro::schedule_to expects a coroutine argument, caught");
		2125
		2126	frame->data = (void *)SvSTATE (arg [0]);
		2127	frame->prepare = slf_prepare_schedule_to;
		2128	frame->check = slf_check_nop;
		2129	}
		2130
		2131	static void
		2132	slf_init_cede_to (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
		2133	{
		2134	api_ready (aTHX_ SvRV (coro_current));
		2135
		2136	slf_init_schedule_to (aTHX_ frame, cv, arg, items);
1900	}	2137	}
1901		2138
1902	static void	2139	static void
1903	slf_init_cede (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2140	slf_init_cede (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1904	{	2141	{
…		…
2050	}	2287	}
2051	else	2288	else
2052	slf_argc = 0;	2289	slf_argc = 0;
2053		2290
2054	PL_op->op_ppaddr = pp_slf;	2291	PL_op->op_ppaddr = pp_slf;
2055	PL_op->op_type = OP_CUSTOM; /* maybe we should leave it at entersub? */	2292	/*PL_op->op_type = OP_CUSTOM; /* we do behave like entersub still */
2056		2293
2057	PL_op = (OP *)&slf_restore;	2294	PL_op = (OP *)&slf_restore;
2058	}	2295	}
2059		2296
2060	/*****************************************************************************/	2297	/*****************************************************************************/
…		…
2143	SV **ary;	2380	SV **ary;
2144		2381
2145	/* unfortunately, building manually saves memory */	2382	/* unfortunately, building manually saves memory */
2146	Newx (ary, 2, SV *);	2383	Newx (ary, 2, SV *);
2147	AvALLOC (av) = ary;	2384	AvALLOC (av) = ary;
		2385	#if PERL_VERSION_ATLEAST (5,10,0)
2148	AvARRAY (av) = ary;	2386	AvARRAY (av) = ary;
		2387	#else
		2388	/* 5.8.8 needs this syntax instead of AvARRAY = ary, yet */
		2389	/* -DDEBUGGING flags this as a bug, despite it perfectly working */
		2390	SvPVX ((SV *)av) = (char *)ary;
		2391	#endif
2149	AvMAX (av) = 1;	2392	AvMAX (av) = 1;
2150	AvFILLp (av) = 0;	2393	AvFILLp (av) = 0;
2151	ary [0] = newSViv (count);	2394	ary [0] = newSViv (count);
2152		2395
2153	return newRV_noinc ((SV *)av);	2396	return newRV_noinc ((SV *)av);
…		…
2173	AvARRAY (av)[0] = AvARRAY (av)[1];	2416	AvARRAY (av)[0] = AvARRAY (av)[1];
2174	AvARRAY (av)[1] = count_sv;	2417	AvARRAY (av)[1] = count_sv;
2175	cb = av_shift (av);	2418	cb = av_shift (av);
2176		2419
2177	if (SvOBJECT (cb))	2420	if (SvOBJECT (cb))
		2421	{
2178	api_ready (aTHX_ cb);	2422	api_ready (aTHX_ cb);
2179	else	2423	--count;
2180	croak ("callbacks not yet supported");	2424	}
		2425	else if (SvTYPE (cb) == SVt_PVCV)
		2426	{
		2427	dSP;
		2428	PUSHMARK (SP);
		2429	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
		2430	PUTBACK;
		2431	call_sv (cb, G_VOID | G_DISCARD | G_EVAL | G_KEEPERR);
		2432	}
2181		2433
2182	SvREFCNT_dec (cb);	2434	SvREFCNT_dec (cb);
2183
2184	--count;
2185	}	2435	}
2186	}	2436	}
2187		2437
2188	static void	2438	static void
2189	coro_semaphore_on_destroy (pTHX_ struct coro *coro)	2439	coro_semaphore_on_destroy (pTHX_ struct coro *coro)
…		…
2271	}	2521	}
2272		2522
2273	static void	2523	static void
2274	slf_init_semaphore_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)	2524	slf_init_semaphore_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2275	{	2525	{
		2526	if (items >= 2)
		2527	{
		2528	/* callback form */
		2529	AV *av = (AV *)SvRV (arg [0]);
		2530	CV *cb_cv = coro_sv_2cv (aTHX_ arg [1]);
		2531
		2532	av_push (av, (SV *)SvREFCNT_inc_NN (cb_cv));
		2533
		2534	if (SvIVX (AvARRAY (av)[0]) > 0)
		2535	coro_semaphore_adjust (aTHX_ av, 0);
		2536
		2537	frame->prepare = prepare_nop;
		2538	frame->check = slf_check_nop;
		2539	}
		2540	else
		2541	{
2276	slf_init_semaphore_down_or_wait (aTHX_ frame, cv, arg, items);	2542	slf_init_semaphore_down_or_wait (aTHX_ frame, cv, arg, items);
2277	frame->check = slf_check_semaphore_wait;	2543	frame->check = slf_check_semaphore_wait;
		2544	}
2278	}	2545	}
2279		2546
2280	/* signal */	2547	/* signal */
2281		2548
2282	static void	2549	static void
…		…
2354	dXSARGS;	2621	dXSARGS;
2355	AV *state = (AV *)GENSUB_ARG;	2622	AV *state = (AV *)GENSUB_ARG;
2356	SV *coro = av_pop (state);	2623	SV *coro = av_pop (state);
2357	SV *data_sv = newSV (sizeof (struct io_state));	2624	SV *data_sv = newSV (sizeof (struct io_state));
2358		2625
2359	av_extend (state, items);	2626	av_extend (state, items - 1);
2360		2627
2361	sv_upgrade (data_sv, SVt_PV);	2628	sv_upgrade (data_sv, SVt_PV);
2362	SvCUR_set (data_sv, sizeof (struct io_state));	2629	SvCUR_set (data_sv, sizeof (struct io_state));
2363	SvPOK_only (data_sv);	2630	SvPOK_only (data_sv);
2364		2631
…		…
2499	XSRETURN_EMPTY;	2766	XSRETURN_EMPTY;
2500	}	2767	}
2501		2768
2502	/*****************************************************************************/	2769	/*****************************************************************************/
2503		2770
		2771	#if CORO_CLONE
		2772	# include "clone.c"
		2773	#endif
		2774
2504	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	2775	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2505		2776
2506	PROTOTYPES: DISABLE	2777	PROTOTYPES: DISABLE
2507		2778
2508	BOOT:	2779	BOOT:
…		…
2512	coro_thx = PERL_GET_CONTEXT;	2783	coro_thx = PERL_GET_CONTEXT;
2513	# endif	2784	# endif
2514	#endif	2785	#endif
2515	BOOT_PAGESIZE;	2786	BOOT_PAGESIZE;
2516		2787
		2788	cctx_current = cctx_new_empty ();
		2789
2517	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);	2790	irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
2518	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);	2791	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
2519		2792
2520	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;	2793	orig_sigelem_get = PL_vtbl_sigelem.svt_get; PL_vtbl_sigelem.svt_get = coro_sigelem_get;
2521	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;	2794	orig_sigelem_set = PL_vtbl_sigelem.svt_set; PL_vtbl_sigelem.svt_set = coro_sigelem_set;
…		…
2540		2813
2541	{	2814	{
2542	SV *slf = sv_2mortal (newSViv (PTR2IV (pp_slf)));	2815	SV *slf = sv_2mortal (newSViv (PTR2IV (pp_slf)));
2543		2816
2544	if (!PL_custom_op_names) PL_custom_op_names = newHV ();	2817	if (!PL_custom_op_names) PL_custom_op_names = newHV ();
2545	hv_store_ent (PL_custom_op_names, slf,	2818	hv_store_ent (PL_custom_op_names, slf, newSVpv ("coro_slf", 0), 0);
2546	newSVpv ("coro_slf", 0), 0);
2547		2819
2548	if (!PL_custom_op_descs) PL_custom_op_descs = newHV ();	2820	if (!PL_custom_op_descs) PL_custom_op_descs = newHV ();
2549	hv_store_ent (PL_custom_op_descs, slf,	2821	hv_store_ent (PL_custom_op_descs, slf, newSVpv ("coro schedule like function", 0), 0);
2550	newSVpv ("coro schedule like function", 0), 0);
2551	}	2822	}
2552		2823
2553	coroapi.ver = CORO_API_VERSION;	2824	coroapi.ver = CORO_API_VERSION;
2554	coroapi.rev = CORO_API_REVISION;	2825	coroapi.rev = CORO_API_REVISION;
2555		2826
…		…
2574	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	2845	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
2575	}	2846	}
2576		2847
2577	SV *	2848	SV *
2578	new (char *klass, ...)	2849	new (char *klass, ...)
		2850	ALIAS:
		2851	Coro::new = 1
2579	CODE:	2852	CODE:
2580	{	2853	{
2581	struct coro *coro;	2854	struct coro *coro;
2582	MAGIC *mg;	2855	MAGIC *mg;
2583	HV *hv;	2856	HV *hv;
		2857	CV *cb;
2584	int i;	2858	int i;
		2859
		2860	if (items > 1)
		2861	{
		2862	cb = coro_sv_2cv (aTHX_ ST (1));
		2863
		2864	if (!ix)
		2865	{
		2866	if (CvISXSUB (cb))
		2867	croak ("Coro::State doesn't support XS functions as coroutine start, caught");
		2868
		2869	if (!CvROOT (cb))
		2870	croak ("Coro::State doesn't support autoloaded or undefined functions as coroutine start, caught");
		2871	}
		2872	}
2585		2873
2586	Newz (0, coro, 1, struct coro);	2874	Newz (0, coro, 1, struct coro);
2587	coro->args = newAV ();	2875	coro->args = newAV ();
2588	coro->flags = CF_NEW;	2876	coro->flags = CF_NEW;
2589		2877
…		…
2594	coro->hv = hv = newHV ();	2882	coro->hv = hv = newHV ();
2595	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);	2883	mg = sv_magicext ((SV *)hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)coro, 0);
2596	mg->mg_flags |= MGf_DUP;	2884	mg->mg_flags |= MGf_DUP;
2597	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));	2885	RETVAL = sv_bless (newRV_noinc ((SV *)hv), gv_stashpv (klass, 1));
2598		2886
		2887	if (items > 1)
		2888	{
2599	av_extend (coro->args, items - 1);	2889	av_extend (coro->args, items - 1 + ix - 1);
		2890
		2891	if (ix)
		2892	{
		2893	av_push (coro->args, SvREFCNT_inc_NN ((SV *)cb));
		2894	cb = cv_coro_run;
		2895	}
		2896
		2897	coro->startcv = (CV *)SvREFCNT_inc_NN ((SV *)cb);
		2898
2600	for (i = 1; i < items; i++)	2899	for (i = 2; i < items; i++)
2601	av_push (coro->args, newSVsv (ST (i)));	2900	av_push (coro->args, newSVsv (ST (i)));
		2901	}
2602	}	2902	}
2603	OUTPUT:	2903	OUTPUT:
2604	RETVAL	2904	RETVAL
2605		2905
2606	void	2906	void
…		…
2619	void	2919	void
2620	_exit (int code)	2920	_exit (int code)
2621	PROTOTYPE: $	2921	PROTOTYPE: $
2622	CODE:	2922	CODE:
2623	_exit (code);	2923	_exit (code);
		2924
		2925	SV *
		2926	clone (Coro::State coro)
		2927	CODE:
		2928	{
		2929	#if CORO_CLONE
		2930	struct coro *ncoro = coro_clone (coro);
		2931	MAGIC *mg;
		2932	/* TODO: too much duplication */
		2933	ncoro->hv = newHV ();
		2934	mg = sv_magicext ((SV *)ncoro->hv, 0, CORO_MAGIC_type_state, &coro_state_vtbl, (char *)ncoro, 0);
		2935	mg->mg_flags |= MGf_DUP;
		2936	RETVAL = sv_bless (newRV_noinc ((SV *)ncoro->hv), SvSTASH (coro->hv));
		2937	#else
		2938	croak ("Coro::State->clone has not been configured into this installation of Coro, realised");
		2939	#endif
		2940	}
		2941	OUTPUT:
		2942	RETVAL
2624		2943
2625	int	2944	int
2626	cctx_stacksize (int new_stacksize = 0)	2945	cctx_stacksize (int new_stacksize = 0)
2627	PROTOTYPE: ;$	2946	PROTOTYPE: ;$
2628	CODE:	2947	CODE:
…		…
2749		3068
2750	SV *	3069	SV *
2751	has_cctx (Coro::State coro)	3070	has_cctx (Coro::State coro)
2752	PROTOTYPE: $	3071	PROTOTYPE: $
2753	CODE:	3072	CODE:
2754	RETVAL = boolSV (!!coro->cctx);	3073	/* maybe manage the running flag differently */
		3074	RETVAL = boolSV (!!coro->cctx || (coro->flags & CF_RUNNING));
2755	OUTPUT:	3075	OUTPUT:
2756	RETVAL	3076	RETVAL
2757		3077
2758	int	3078	int
2759	is_traced (Coro::State coro)	3079	is_traced (Coro::State coro)
…		…
2779		3099
2780	void	3100	void
2781	force_cctx ()	3101	force_cctx ()
2782	PROTOTYPE:	3102	PROTOTYPE:
2783	CODE:	3103	CODE:
2784	SvSTATE_current->cctx->idle_sp = 0;	3104	cctx_current->idle_sp = 0;
2785		3105
2786	void	3106	void
2787	swap_defsv (Coro::State self)	3107	swap_defsv (Coro::State self)
2788	PROTOTYPE: $	3108	PROTOTYPE: $
2789	ALIAS:	3109	ALIAS:
…		…
2804		3124
2805	BOOT:	3125	BOOT:
2806	{	3126	{
2807	int i;	3127	int i;
2808		3128
2809	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
2810	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);	3129	sv_pool_rss = coro_get_sv (aTHX_ "Coro::POOL_RSS" , TRUE);
2811	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);	3130	sv_pool_size = coro_get_sv (aTHX_ "Coro::POOL_SIZE" , TRUE);
2812		3131	cv_coro_run = get_cv ( "Coro::_terminate", GV_ADD);
		3132	cv_coro_terminate = get_cv ( "Coro::terminate" , GV_ADD);
2813	coro_current = coro_get_sv (aTHX_ "Coro::current", FALSE);	3133	coro_current = coro_get_sv (aTHX_ "Coro::current" , FALSE); SvREADONLY_on (coro_current);
2814	SvREADONLY_on (coro_current);	3134	av_async_pool = coro_get_av (aTHX_ "Coro::async_pool", TRUE);
		3135	av_destroy = coro_get_av (aTHX_ "Coro::destroy" , TRUE);
		3136	sv_manager = coro_get_sv (aTHX_ "Coro::manager" , TRUE);
		3137	sv_idle = coro_get_sv (aTHX_ "Coro::idle" , TRUE);
		3138
		3139	sv_async_pool_idle = newSVpv ("[async pool idle]", 0); SvREADONLY_on (sv_async_pool_idle);
		3140	sv_Coro = newSVpv ("Coro", 0); SvREADONLY_on (sv_Coro);
		3141	cv_pool_handler = get_cv ("Coro::pool_handler", GV_ADD); SvREADONLY_on (cv_pool_handler);
		3142	cv_coro_state_new = get_cv ("Coro::State::new", 0); SvREADONLY_on (cv_coro_state_new);
2815		3143
2816	coro_stash = gv_stashpv ("Coro", TRUE);	3144	coro_stash = gv_stashpv ("Coro", TRUE);
2817		3145
2818	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));	3146	newCONSTSUB (coro_stash, "PRIO_MAX", newSViv (PRIO_MAX));
2819	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));	3147	newCONSTSUB (coro_stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
…		…
2827		3155
2828	{	3156	{
2829	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);	3157	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
2830		3158
2831	coroapi.schedule = api_schedule;	3159	coroapi.schedule = api_schedule;
		3160	coroapi.schedule_to = api_schedule_to;
2832	coroapi.cede = api_cede;	3161	coroapi.cede = api_cede;
2833	coroapi.cede_notself = api_cede_notself;	3162	coroapi.cede_notself = api_cede_notself;
2834	coroapi.ready = api_ready;	3163	coroapi.ready = api_ready;
2835	coroapi.is_ready = api_is_ready;	3164	coroapi.is_ready = api_is_ready;
2836	coroapi.nready = coro_nready;	3165	coroapi.nready = coro_nready;
…		…
2841	SvREADONLY_on (sv);	3170	SvREADONLY_on (sv);
2842	}	3171	}
2843	}	3172	}
2844		3173
2845	void	3174	void
		3175	terminate (...)
		3176	CODE:
		3177	CORO_EXECUTE_SLF_XS (slf_init_terminate);
		3178
		3179	void
2846	schedule (...)	3180	schedule (...)
2847	CODE:	3181	CODE:
2848	CORO_EXECUTE_SLF_XS (slf_init_schedule);	3182	CORO_EXECUTE_SLF_XS (slf_init_schedule);
		3183
		3184	void
		3185	schedule_to (...)
		3186	CODE:
		3187	CORO_EXECUTE_SLF_XS (slf_init_schedule_to);
		3188
		3189	void
		3190	cede_to (...)
		3191	CODE:
		3192	CORO_EXECUTE_SLF_XS (slf_init_cede_to);
2849		3193
2850	void	3194	void
2851	cede (...)	3195	cede (...)
2852	CODE:	3196	CODE:
2853	CORO_EXECUTE_SLF_XS (slf_init_cede);	3197	CORO_EXECUTE_SLF_XS (slf_init_cede);
2854		3198
2855	void	3199	void
2856	cede_notself (...)	3200	cede_notself (...)
2857	CODE:	3201	CODE:
2858	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);	3202	CORO_EXECUTE_SLF_XS (slf_init_cede_notself);
		3203
		3204	void
		3205	_cancel (Coro::State self)
		3206	CODE:
		3207	coro_state_destroy (aTHX_ self);
		3208	coro_call_on_destroy (aTHX_ self);
2859		3209
2860	void	3210	void
2861	_set_current (SV *current)	3211	_set_current (SV *current)
2862	PROTOTYPE: $	3212	PROTOTYPE: $
2863	CODE:	3213	CODE:
…		…
2908	CODE:	3258	CODE:
2909	RETVAL = coro_nready;	3259	RETVAL = coro_nready;
2910	OUTPUT:	3260	OUTPUT:
2911	RETVAL	3261	RETVAL
2912		3262
2913	# for async_pool speedup
2914	void	3263	void
2915	_pool_1 (SV *cb)	3264	_pool_handler (...)
2916	CODE:	3265	CODE:
2917	{	3266	CORO_EXECUTE_SLF_XS (slf_init_pool_handler);
2918	HV *hv = (HV *)SvRV (coro_current);
2919	struct coro *coro = SvSTATE_hv ((SV *)hv);
2920	AV *defav = GvAV (PL_defgv);
2921	SV *invoke = hv_delete (hv, "_invoke", sizeof ("_invoke") - 1, 0);
2922	AV *invoke_av;
2923	int i, len;
2924		3267
2925	if (!invoke)	3268	void
		3269	async_pool (SV *cv, ...)
		3270	PROTOTYPE: &@
		3271	PPCODE:
		3272	{
		3273	HV *hv = (HV *)av_pop (av_async_pool);
		3274	AV *av = newAV ();
		3275	SV *cb = ST (0);
		3276	int i;
		3277
		3278	av_extend (av, items - 2);
		3279	for (i = 1; i < items; ++i)
		3280	av_push (av, SvREFCNT_inc_NN (ST (i)));
		3281
		3282	if ((SV *)hv == &PL_sv_undef)
2926	{	3283	{
2927	SV *old = PL_diehook;	3284	PUSHMARK (SP);
2928	PL_diehook = 0;	3285	EXTEND (SP, 2);
2929	SvREFCNT_dec (old);	3286	PUSHs (sv_Coro);
2930	croak ("\3async_pool terminate\2\n");	3287	PUSHs ((SV *)cv_pool_handler);
		3288	PUTBACK;
		3289	call_sv ((SV *)cv_coro_state_new, G_SCALAR);
		3290	SPAGAIN;
		3291
		3292	hv = (HV *)SvREFCNT_inc_NN (SvRV (POPs));
2931	}	3293	}
2932		3294
2933	SvREFCNT_dec (coro->saved_deffh);
2934	coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
2935
2936	hv_store (hv, "desc", sizeof ("desc") - 1,
2937	newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
2938
2939	invoke_av = (AV *)SvRV (invoke);
2940	len = av_len (invoke_av);
2941
2942	sv_setsv (cb, AvARRAY (invoke_av)[0]);
2943
2944	if (len > 0)
2945	{	3295	{
2946	av_fill (defav, len - 1);	3296	struct coro *coro = SvSTATE_hv (hv);
2947	for (i = 0; i < len; ++i)	3297
2948	av_store (defav, i, SvREFCNT_inc_NN (AvARRAY (invoke_av)[i + 1]));	3298	assert (!coro->invoke_cb);
		3299	assert (!coro->invoke_av);
		3300	coro->invoke_cb = SvREFCNT_inc (cb);
		3301	coro->invoke_av = av;
2949	}	3302	}
2950	}
2951		3303
2952	void	3304	api_ready (aTHX_ (SV *)hv);
2953	_pool_2 (SV *cb)
2954	CODE:
2955	{
2956	HV *hv = (HV *)SvRV (coro_current);
2957	struct coro *coro = SvSTATE_hv ((SV *)hv);
2958		3305
2959	sv_setsv (cb, &PL_sv_undef);	3306	if (GIMME_V != G_VOID)
2960		3307	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
2961	SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;	3308	else
2962	coro->saved_deffh = 0;
2963
2964	if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
2965	|| av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
2966	{
2967	SV *old = PL_diehook;
2968	PL_diehook = 0;
2969	SvREFCNT_dec (old);	3309	SvREFCNT_dec (hv);
2970	croak ("\3async_pool terminate\2\n");
2971	}
2972
2973	av_clear (GvAV (PL_defgv));
2974	hv_store (hv, "desc", sizeof ("desc") - 1,
2975	newSVpvn ("[async_pool idle]", sizeof ("[async_pool idle]") - 1), 0);
2976
2977	coro->prio = 0;
2978
2979	if (coro->cctx && (coro->cctx->flags & CC_TRACE))
2980	api_trace (aTHX_ coro_current, 0);
2981
2982	av_push (av_async_pool, newSVsv (coro_current));
2983	}	3310	}
2984		3311
2985	SV *	3312	SV *
2986	rouse_cb ()	3313	rouse_cb ()
2987	PROTOTYPE:	3314	PROTOTYPE:
…		…
2989	RETVAL = coro_new_rouse_cb (aTHX);	3316	RETVAL = coro_new_rouse_cb (aTHX);
2990	OUTPUT:	3317	OUTPUT:
2991	RETVAL	3318	RETVAL
2992		3319
2993	void	3320	void
2994	rouse_wait (SV *cb = 0)	3321	rouse_wait (...)
2995	PROTOTYPE: ;$	3322	PROTOTYPE: ;$
2996	PPCODE:	3323	PPCODE:
2997	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);	3324	CORO_EXECUTE_SLF_XS (slf_init_rouse_wait);
2998		3325
2999		3326
…		…
3036	adjust = 1	3363	adjust = 1
3037	CODE:	3364	CODE:
3038	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);	3365	coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);
3039		3366
3040	void	3367	void
3041	down (SV *self)	3368	down (...)
3042	CODE:	3369	CODE:
3043	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);	3370	CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
3044		3371
3045	void	3372	void
3046	wait (SV *self)	3373	wait (...)
3047	CODE:	3374	CODE:
3048	CORO_EXECUTE_SLF_XS (slf_init_semaphore_wait);	3375	CORO_EXECUTE_SLF_XS (slf_init_semaphore_wait);
3049		3376
3050	void	3377	void
3051	try (SV *self)	3378	try (SV *self)
…		…
3094	);	3421	);
3095	OUTPUT:	3422	OUTPUT:
3096	RETVAL	3423	RETVAL
3097		3424
3098	void	3425	void
3099	wait (SV *self)	3426	wait (...)
3100	CODE:	3427	CODE:
3101	CORO_EXECUTE_SLF_XS (slf_init_signal_wait);	3428	CORO_EXECUTE_SLF_XS (slf_init_signal_wait);
3102		3429
3103	void	3430	void
3104	broadcast (SV *self)	3431	broadcast (SV *self)
…		…
3161		3488
3162	void	3489	void
3163	_register (char *target, char *proto, SV *req)	3490	_register (char *target, char *proto, SV *req)
3164	CODE:	3491	CODE:
3165	{	3492	{
3166	HV *st;	3493	CV *req_cv = coro_sv_2cv (aTHX_ req);
3167	GV *gvp;
3168	CV *req_cv = sv_2cv (req, &st, &gvp, 0);
3169	/* newXSproto doesn't return the CV on 5.8 */	3494	/* newXSproto doesn't return the CV on 5.8 */
3170	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);	3495	CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3171	sv_setpv ((SV *)slf_cv, proto);	3496	sv_setpv ((SV *)slf_cv, proto);
3172	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);	3497	sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3173	}	3498	}

Diff Legend

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