[ViewVC] Diff of: cvs/Coro/Coro/State.xs

Comparing Coro/Coro/State.xs (file contents):
Revision 1.244 by root, Sun Sep 21 18:29:39 2008 UTC vs.
Revision 1.267 by root, Fri Nov 14 06:29:52 2008 UTC

…		…
4	#define PERL_EXT	4	#define PERL_EXT
5		5
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		10
10	#include "patchlevel.h"	11	#include "patchlevel.h"
11		12
12	#include <stdio.h>	13	#include <stdio.h>
13	#include <errno.h>	14	#include <errno.h>
…		…
45	# define BOOT_PAGESIZE (void)0	46	# define BOOT_PAGESIZE (void)0
46	#endif	47	#endif
47		48
48	#if CORO_USE_VALGRIND	49	#if CORO_USE_VALGRIND
49	# include <valgrind/valgrind.h>	50	# include <valgrind/valgrind.h>
50	# define REGISTER_STACK(cctx,start,end) (cctx)->valgrind_id = VALGRIND_STACK_REGISTER ((start), (end))
51	#else
52	# define REGISTER_STACK(cctx,start,end)
53	#endif	51	#endif
54		52
55	/* the maximum number of idle cctx that will be pooled */	53	/* the maximum number of idle cctx that will be pooled */
56	#define MAX_IDLE_CCTX 8	54	static int cctx_max_idle = 4;
57		55
58	#define PERL_VERSION_ATLEAST(a,b,c) \	56	#define PERL_VERSION_ATLEAST(a,b,c) \
59	(PERL_REVISION > (a) \	57	(PERL_REVISION > (a) \
60	\|\| (PERL_REVISION == (a) \	58	\|\| (PERL_REVISION == (a) \
61	&& (PERL_VERSION > (b) \	59	&& (PERL_VERSION > (b) \
…		…
80	# ifndef IS_PADCONST	78	# ifndef IS_PADCONST
81	# define IS_PADCONST(v) 0	79	# define IS_PADCONST(v) 0
82	# endif	80	# endif
83	#endif	81	#endif
84		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
85	/* 5.8.8 */	93	/* 5.8.8 */
86	#ifndef GV_NOTQUAL	94	#ifndef GV_NOTQUAL
87	# define GV_NOTQUAL 0	95	# define GV_NOTQUAL 0
88	#endif	96	#endif
89	#ifndef newSV	97	#ifndef newSV
90	# define newSV(l) NEWSV(0,l)	98	# define newSV(l) NEWSV(0,l)
91	#endif
92
93	/* 5.11 */
94	#ifndef CxHASARGS
95	# define CxHASARGS(cx) (cx)->blk_sub.hasargs
96	#endif	99	#endif
97		100
98	/* 5.8.7 */	101	/* 5.8.7 */
99	#ifndef SvRV_set	102	#ifndef SvRV_set
100	# define SvRV_set(s,v) SvRV(s) = (v)	103	# define SvRV_set(s,v) SvRV(s) = (v)
…		…
120		123
121	#define IN_DESTRUCT (PL_main_cv == Nullcv)	124	#define IN_DESTRUCT (PL_main_cv == Nullcv)
122		125
123	#if __GNUC__ >= 3	126	#if __GNUC__ >= 3
124	# define attribute(x) __attribute__(x)	127	# define attribute(x) __attribute__(x)
125	# define BARRIER __asm__ __volatile__ ("" : : : "memory")
126	# define expect(expr,value) __builtin_expect ((expr),(value))	128	# define expect(expr,value) __builtin_expect ((expr),(value))
		129	# define INLINE static inline
127	#else	130	#else
128	# define attribute(x)	131	# define attribute(x)
129	# define BARRIER
130	# define expect(expr,value) (expr)	132	# define expect(expr,value) (expr)
		133	# define INLINE static
131	#endif	134	#endif
132		135
133	#define expect_false(expr) expect ((expr) != 0, 0)	136	#define expect_false(expr) expect ((expr) != 0, 0)
134	#define expect_true(expr) expect ((expr) != 0, 1)	137	#define expect_true(expr) expect ((expr) != 0, 1)
135		138
136	#define NOINLINE attribute ((noinline))	139	#define NOINLINE attribute ((noinline))
137		140
138	#include "CoroAPI.h"	141	#include "CoroAPI.h"
139		142
140	#ifdef USE_ITHREADS	143	#ifdef USE_ITHREADS
		144
141	static perl_mutex coro_mutex;	145	static perl_mutex coro_lock;
142	# define LOCK do { MUTEX_LOCK (&coro_mutex); } while (0)	146	# define LOCK do { MUTEX_LOCK (&coro_lock); } while (0)
143	# define UNLOCK do { MUTEX_UNLOCK (&coro_mutex); } while (0)	147	# define UNLOCK do { MUTEX_UNLOCK (&coro_lock); } while (0)
		148	# if CORO_PTHREAD
		149	static void *coro_thx;
		150	# endif
		151
144	#else	152	#else
		153
145	# define LOCK (void)0	154	# define LOCK (void)0
146	# define UNLOCK (void)0	155	# define UNLOCK (void)0
		156
147	#endif	157	#endif
		158
		159	# undef LOCK
		160	# define LOCK (void)0
		161	# undef UNLOCK
		162	# define UNLOCK (void)0
148		163
149	/* helper storage struct for Coro::AIO */	164	/* helper storage struct for Coro::AIO */
150	struct io_state	165	struct io_state
151	{	166	{
		167	AV *res;
152	int errorno;	168	int errorno;
153	I32 laststype;	169	I32 laststype; /* U16 in 5.10.0 */
154	int laststatval;	170	int laststatval;
155	Stat_t statcache;	171	Stat_t statcache;
156	};	172	};
157		173
		174	static double (nvtime)(); / so why doesn't it take void? */
		175
		176	static U32 cctx_gen;
158	static size_t coro_stacksize = CORO_STACKSIZE;	177	static size_t cctx_stacksize = CORO_STACKSIZE;
159	static struct CoroAPI coroapi;	178	static struct CoroAPI coroapi;
160	static AV main_mainstack; / used to differentiate between $main and others */	179	static AV main_mainstack; / used to differentiate between $main and others */
161	static JMPENV *main_top_env;	180	static JMPENV *main_top_env;
162	static HV coro_state_stash, coro_stash;	181	static HV coro_state_stash, coro_stash;
163	static volatile SV coro_mortal; / will be freed after next transfer */	182	static volatile SV coro_mortal; / will be freed/thrown after next transfer */
		183	static volatile struct coro *transfer_next;
		184
		185	struct transfer_args
		186	{
		187	struct coro prev, next;
		188	};
164		189
165	static GV irsgv; / $/ */	190	static GV irsgv; / $/ */
166	static GV stdoutgv; / STDOUT /	191	static GV stdoutgv; / STDOUT /
167	static SV *rv_diehook;	192	static SV *rv_diehook;
168	static SV *rv_warnhook;	193	static SV *rv_warnhook;
…		…
200	void idle_sp; / sp of top-level transfer/schedule/cede call */	225	void idle_sp; / sp of top-level transfer/schedule/cede call */
201	JMPENV idle_te; / same as idle_sp, but for top_env, TODO: remove once stable */	226	JMPENV idle_te; / same as idle_sp, but for top_env, TODO: remove once stable */
202	JMPENV *top_env;	227	JMPENV *top_env;
203	coro_context cctx;	228	coro_context cctx;
204		229
		230	U32 gen;
205	#if CORO_USE_VALGRIND	231	#if CORO_USE_VALGRIND
206	int valgrind_id;	232	int valgrind_id;
207	#endif	233	#endif
208	unsigned char flags;	234	unsigned char flags;
209	} coro_cctx;	235	} coro_cctx;
…		…
269	#define PRIO_MIN -4	295	#define PRIO_MIN -4
270		296
271	/* for Coro.pm */	297	/* for Coro.pm */
272	static SV *coro_current;	298	static SV *coro_current;
273	static SV *coro_readyhook;	299	static SV *coro_readyhook;
274	static AV *coro_ready [PRIO_MAX-PRIO_MIN+1];	300	static AV *coro_ready [PRIO_MAX - PRIO_MIN + 1];
275	static int coro_nready;	301	static int coro_nready;
276	static struct coro *coro_first;	302	static struct coro *coro_first;
277		303
278	/ lowlevel stuff ********************************************************/	304	/ lowlevel stuff ********************************************************/
279		305
…		…
321	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);	347	Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
322	#endif	348	#endif
323	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];	349	newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
324	--AvFILLp (padlist);	350	--AvFILLp (padlist);
325		351
326	av_store (newpadlist, 0, SvREFCNT_inc (*av_fetch (padlist, 0, FALSE)));	352	av_store (newpadlist, 0, SvREFCNT_inc_NN (*av_fetch (padlist, 0, FALSE)));
327	av_store (newpadlist, 1, (SV *)newpad);	353	av_store (newpadlist, 1, (SV *)newpad);
328		354
329	return newpadlist;	355	return newpadlist;
330	}	356	}
331		357
…		…
361		387
362	/* casting is fun. */	388	/* casting is fun. */
363	while (&PL_sv_undef != (SV )(padlist = (AV )av_pop (av)))	389	while (&PL_sv_undef != (SV )(padlist = (AV )av_pop (av)))
364	free_padlist (aTHX_ padlist);	390	free_padlist (aTHX_ padlist);
365		391
366	SvREFCNT_dec (av);	392	SvREFCNT_dec (av); /* sv_magicext increased the refcount */
367		393
368	return 0;	394	return 0;
369	}	395	}
370		396
371	#define CORO_MAGIC_type_cv PERL_MAGIC_ext	397	#define CORO_MAGIC_type_cv PERL_MAGIC_ext
…		…
374	static MGVTBL coro_cv_vtbl = {	400	static MGVTBL coro_cv_vtbl = {
375	0, 0, 0, 0,	401	0, 0, 0, 0,
376	coro_cv_free	402	coro_cv_free
377	};	403	};
378		404
379	#define CORO_MAGIC(sv,type) \	405	#define CORO_MAGIC(sv, type) \
380	SvMAGIC (sv) \	406	SvMAGIC (sv) \
381	? SvMAGIC (sv)->mg_type == type \	407	? SvMAGIC (sv)->mg_type == type \
382	? SvMAGIC (sv) \	408	? SvMAGIC (sv) \
383	: mg_find (sv, type) \	409	: mg_find (sv, type) \
384	: 0	410	: 0
385		411
386	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)	412	#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
387	#define CORO_MAGIC_state(sv) CORO_MAGIC (((SV *)(sv)), CORO_MAGIC_type_state)	413	#define CORO_MAGIC_state(sv) CORO_MAGIC (((SV *)(sv)), CORO_MAGIC_type_state)
388		414
389	static struct coro *	415	INLINE struct coro *
390	SvSTATE_ (pTHX_ SV *coro)	416	SvSTATE_ (pTHX_ SV *coro)
391	{	417	{
392	HV *stash;	418	HV *stash;
393	MAGIC *mg;	419	MAGIC *mg;
394		420
…		…
619		645
620	/*	646	/*
621	* destroy the stacks, the callchain etc...	647	* destroy the stacks, the callchain etc...
622	*/	648	*/
623	static void	649	static void
624	coro_destroy_stacks (pTHX)	650	coro_destruct_stacks (pTHX)
625	{	651	{
626	while (PL_curstackinfo->si_next)	652	while (PL_curstackinfo->si_next)
627	PL_curstackinfo = PL_curstackinfo->si_next;	653	PL_curstackinfo = PL_curstackinfo->si_next;
628		654
629	while (PL_curstackinfo)	655	while (PL_curstackinfo)
…		…
666	#undef VAR	692	#undef VAR
667	}	693	}
668	else	694	else
669	slot = coro->slot;	695	slot = coro->slot;
670		696
		697	if (slot)
		698	{
671	rss += sizeof (slot->curstackinfo);	699	rss += sizeof (slot->curstackinfo);
672	rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT);	700	rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT);
673	rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *);	701	rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *);
674	rss += slot->tmps_max * sizeof (SV *);	702	rss += slot->tmps_max * sizeof (SV *);
675	rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32);	703	rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32);
676	rss += slot->scopestack_max * sizeof (I32);	704	rss += slot->scopestack_max * sizeof (I32);
677	rss += slot->savestack_max * sizeof (ANY);	705	rss += slot->savestack_max * sizeof (ANY);
678		706
679	#if !PERL_VERSION_ATLEAST (5,10,0)	707	#if !PERL_VERSION_ATLEAST (5,10,0)
680	rss += slot->retstack_max * sizeof (OP *);	708	rss += slot->retstack_max * sizeof (OP *);
681	#endif	709	#endif
		710	}
682	}	711	}
683		712
684	return rss;	713	return rss;
		714	}
		715
		716	/ set stacklevel support ************************************************/
		717
		718	/* we sometimes need to create the effect of pp_set_stacklevel calling us */
		719	#define SSL_HEAD (void)0
		720	/* we sometimes need to create the effect of leaving via pp_set_stacklevel */
		721	#define SSL_TAIL set_stacklevel_tail (aTHX)
		722
		723	INLINE void
		724	set_stacklevel_tail (pTHX)
		725	{
		726	dSP;
		727	SV **bot = SP;
		728
		729	int gimme = GIMME_V;
		730
		731	/* make sure we put something on the stack in scalar context */
		732	if (gimme == G_SCALAR)
		733	{
		734	if (sp == bot)
		735	XPUSHs (&PL_sv_undef);
		736
		737	SP = bot + 1;
		738	}
		739
		740	PUTBACK;
685	}	741	}
686		742
687	/ coroutine stack handling **********************************************/	743	/ coroutine stack handling **********************************************/
688		744
689	static int (orig_sigelem_get) (pTHX_ SV sv, MAGIC *mg);	745	static int (orig_sigelem_get) (pTHX_ SV sv, MAGIC *mg);
…		…
804	GvSV (PL_defgv) = newSV (0);	860	GvSV (PL_defgv) = newSV (0);
805	GvAV (PL_defgv) = coro->args; coro->args = 0;	861	GvAV (PL_defgv) = coro->args; coro->args = 0;
806	GvSV (PL_errgv) = newSV (0);	862	GvSV (PL_errgv) = newSV (0);
807	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	863	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
808	PL_rs = newSVsv (GvSV (irsgv));	864	PL_rs = newSVsv (GvSV (irsgv));
809	PL_defoutgv = (GV *)SvREFCNT_inc (stdoutgv);	865	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
810		866
811	{	867	{
812	dSP;	868	dSP;
813	LOGOP myop;	869	UNOP myop;
814		870
815	Zero (&myop, 1, LOGOP);	871	Zero (&myop, 1, UNOP);
816	myop.op_next = Nullop;	872	myop.op_next = Nullop;
817	myop.op_flags = OPf_WANT_VOID;	873	myop.op_flags = OPf_WANT_VOID;
818		874
819	PUSHMARK (SP);	875	PUSHMARK (SP);
820	XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv))));	876	XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv))));
…		…
823	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);	879	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
824	SPAGAIN;	880	SPAGAIN;
825	}	881	}
826		882
827	/* this newly created coroutine might be run on an existing cctx which most	883	/* this newly created coroutine might be run on an existing cctx which most
828	* likely was suspended in set_stacklevel, called from entersub.	884	* likely was suspended in set_stacklevel, called from pp_set_stacklevel,
829	* set_stacklevl doesn't do anything on return, but entersub does LEAVE,	885	* so we have to emulate entering pp_set_stacklevel here.
830	* so we ENTER here for symmetry
831	*/	886	*/
832	ENTER;	887	SSL_HEAD;
833	}	888	}
834		889
835	static void	890	static void
836	coro_destroy (pTHX_ struct coro *coro)	891	coro_destruct (pTHX_ struct coro *coro)
837	{	892	{
838	if (!IN_DESTRUCT)	893	if (!IN_DESTRUCT)
839	{	894	{
840	/* restore all saved variables and stuff */	895	/* restore all saved variables and stuff */
841	LEAVE_SCOPE (0);	896	LEAVE_SCOPE (0);
…		…
863	SvREFCNT_dec (PL_warnhook);	918	SvREFCNT_dec (PL_warnhook);
864		919
865	SvREFCNT_dec (coro->saved_deffh);	920	SvREFCNT_dec (coro->saved_deffh);
866	SvREFCNT_dec (coro->throw);	921	SvREFCNT_dec (coro->throw);
867		922
868	coro_destroy_stacks (aTHX);	923	coro_destruct_stacks (aTHX);
869	}	924	}
870		925
871	static void	926	INLINE void
872	free_coro_mortal (pTHX)	927	free_coro_mortal (pTHX)
873	{	928	{
874	if (expect_true (coro_mortal))	929	if (expect_true (coro_mortal))
875	{	930	{
876	SvREFCNT_dec (coro_mortal);	931	SvREFCNT_dec (coro_mortal);
…		…
910	: cx->blk_gimme == G_SCALAR ? bot + 1	965	: cx->blk_gimme == G_SCALAR ? bot + 1
911	: bot;	966	: bot;
912		967
913	av_extend (av, top - bot);	968	av_extend (av, top - bot);
914	while (bot < top)	969	while (bot < top)
915	av_push (av, SvREFCNT_inc (*bot++));	970	av_push (av, SvREFCNT_inc_NN (*bot++));
916		971
917	PL_runops = RUNOPS_DEFAULT;	972	PL_runops = RUNOPS_DEFAULT;
918	ENTER;	973	ENTER;
919	SAVETMPS;	974	SAVETMPS;
920	EXTEND (SP, 3);	975	EXTEND (SP, 3);
…		…
1000		1055
1001	TAINT_NOT;	1056	TAINT_NOT;
1002	return 0;	1057	return 0;
1003	}	1058	}
1004		1059
		1060	static void
		1061	prepare_set_stacklevel (struct transfer_args ta, struct coro_cctx cctx)
		1062	{
		1063	ta->prev = (struct coro *)cctx;
		1064	ta->next = 0;
		1065	}
		1066
1005	/* inject a fake call to Coro::State::_cctx_init into the execution */	1067	/* inject a fake call to Coro::State::_cctx_init into the execution */
1006	/* _cctx_init should be careful, as it could be called at almost any time */	1068	/* _cctx_init should be careful, as it could be called at almost any time */
1007	/* during execution of a perl program */	1069	/* during execution of a perl program */
		1070	/* also initialises PL_top_env */
1008	static void NOINLINE	1071	static void NOINLINE
1009	cctx_prepare (pTHX_ coro_cctx *cctx)	1072	cctx_prepare (pTHX_ coro_cctx *cctx)
1010	{	1073	{
1011	dSP;	1074	dSP;
1012	LOGOP myop;	1075	UNOP myop;
1013		1076
1014	PL_top_env = &PL_start_env;	1077	PL_top_env = &PL_start_env;
1015		1078
1016	if (cctx->flags & CC_TRACE)	1079	if (cctx->flags & CC_TRACE)
1017	PL_runops = runops_trace;	1080	PL_runops = runops_trace;
1018		1081
1019	Zero (&myop, 1, LOGOP);	1082	Zero (&myop, 1, UNOP);
1020	myop.op_next = PL_op;	1083	myop.op_next = PL_op;
1021	myop.op_flags = OPf_WANT_VOID \| OPf_STACKED;	1084	myop.op_flags = OPf_WANT_VOID \| OPf_STACKED;
1022		1085
1023	PUSHMARK (SP);	1086	PUSHMARK (SP);
1024	EXTEND (SP, 2);	1087	EXTEND (SP, 2);
1025	PUSHs (sv_2mortal (newSViv (PTR2IV (cctx))));	1088	PUSHs (sv_2mortal (newSViv ((IV)cctx)));
1026	PUSHs ((SV *)get_cv ("Coro::State::_cctx_init", FALSE));	1089	PUSHs ((SV *)get_cv ("Coro::State::_cctx_init", FALSE));
1027	PUTBACK;	1090	PUTBACK;
1028	PL_op = (OP *)&myop;	1091	PL_op = (OP *)&myop;
1029	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);	1092	PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
1030	SPAGAIN;	1093	SPAGAIN;
1031	}	1094	}
1032		1095
		1096	/* the tail of transfer: execute stuff we can only do after a transfer */
		1097	INLINE void
		1098	transfer_tail (pTHX)
		1099	{
		1100	struct coro next = (struct coro )transfer_next;
		1101	assert (!(transfer_next = 0)); /* just used for the side effect when asserts are enabled */
		1102	assert (("FATAL: next coroutine was zero in transfer_tail (please report)", next));
		1103
		1104	free_coro_mortal (aTHX);
		1105	UNLOCK;
		1106
		1107	if (expect_false (next->throw))
		1108	{
		1109	SV *exception = sv_2mortal (next->throw);
		1110
		1111	next->throw = 0;
		1112	sv_setsv (ERRSV, exception);
		1113	croak (0);
		1114	}
		1115	}
		1116
1033	/*	1117	/*
1034	* this is a _very_ stripped down perl interpreter ;)	1118	* this is a _very_ stripped down perl interpreter ;)
1035	*/	1119	*/
1036	static void	1120	static void
1037	cctx_run (void *arg)	1121	cctx_run (void *arg)
1038	{	1122	{
		1123	#ifdef USE_ITHREADS
		1124	# if CORO_PTHREAD
		1125	PERL_SET_CONTEXT (coro_thx);
		1126	# endif
		1127	#endif
		1128	{
1039	dTHX;	1129	dTHX;
1040		1130
1041	/* cctx_run is the alternative tail of transfer(), so unlock here. */	1131	/* we are the alternative tail to pp_set_stacklevel */
1042	UNLOCK;	1132	/* so do the same things here */
		1133	SSL_TAIL;
1043		1134
1044	/* we now skip the entersub that lead to transfer() */	1135	/* we now skip the op that did lead to transfer() */
1045	PL_op = PL_op->op_next;	1136	PL_op = PL_op->op_next;
1046		1137
1047	/* inject a fake subroutine call to cctx_init */	1138	/* inject a fake subroutine call to cctx_init */
1048	cctx_prepare (aTHX_ (coro_cctx *)arg);	1139	cctx_prepare (aTHX_ (coro_cctx *)arg);
1049		1140
		1141	/* cctx_run is the alternative tail of transfer() */
		1142	transfer_tail (aTHX);
		1143
1050	/* somebody or something will hit me for both perl_run and PL_restartop */	1144	/* somebody or something will hit me for both perl_run and PL_restartop */
1051	PL_restartop = PL_op;	1145	PL_restartop = PL_op;
1052	perl_run (PL_curinterp);	1146	perl_run (PL_curinterp);
1053		1147
1054	/*	1148	/*
1055	* If perl-run returns we assume exit() was being called or the coro	1149	* If perl-run returns we assume exit() was being called or the coro
1056	* fell off the end, which seems to be the only valid (non-bug)	1150	* fell off the end, which seems to be the only valid (non-bug)
1057	* reason for perl_run to return. We try to exit by jumping to the	1151	* reason for perl_run to return. We try to exit by jumping to the
1058	* bootstrap-time "top" top_env, as we cannot restore the "main"	1152	* bootstrap-time "top" top_env, as we cannot restore the "main"
1059	* coroutine as Coro has no such concept	1153	* coroutine as Coro has no such concept
1060	*/	1154	*/
1061	PL_top_env = main_top_env;	1155	PL_top_env = main_top_env;
1062	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */	1156	JMPENV_JUMP (2); /* I do not feel well about the hardcoded 2 at all */
		1157	}
1063	}	1158	}
1064		1159
1065	static coro_cctx *	1160	static coro_cctx *
1066	cctx_new ()	1161	cctx_new ()
1067	{	1162	{
1068	coro_cctx *cctx;	1163	coro_cctx *cctx;
		1164
		1165	++cctx_count;
		1166	New (0, cctx, 1, coro_cctx);
		1167
		1168	cctx->gen = cctx_gen;
		1169	cctx->flags = 0;
		1170	cctx->idle_sp = 0; /* can be accessed by transfer between cctx_run and set_stacklevel, on throw */
		1171
		1172	return cctx;
		1173	}
		1174
		1175	/* create a new cctx only suitable as source */
		1176	static coro_cctx *
		1177	cctx_new_empty ()
		1178	{
		1179	coro_cctx *cctx = cctx_new ();
		1180
		1181	cctx->sptr = 0;
		1182	coro_create (&cctx->cctx, 0, 0, 0, 0);
		1183
		1184	return cctx;
		1185	}
		1186
		1187	/* create a new cctx suitable as destination/running a perl interpreter */
		1188	static coro_cctx *
		1189	cctx_new_run ()
		1190	{
		1191	coro_cctx *cctx = cctx_new ();
1069	void *stack_start;	1192	void *stack_start;
1070	size_t stack_size;	1193	size_t stack_size;
1071		1194
1072	++cctx_count;
1073
1074	Newz (0, cctx, 1, coro_cctx);
1075
1076	#if HAVE_MMAP	1195	#if HAVE_MMAP
1077	cctx->ssize = ((coro_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;	1196	cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1078	/* mmap supposedly does allocate-on-write for us */	1197	/* mmap supposedly does allocate-on-write for us */
1079	cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC\|PROT_READ\|PROT_WRITE, MAP_PRIVATE\|MAP_ANONYMOUS, 0, 0);	1198	cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC\|PROT_READ\|PROT_WRITE, MAP_PRIVATE\|MAP_ANONYMOUS, 0, 0);
1080		1199
1081	if (cctx->sptr != (void *)-1)	1200	if (cctx->sptr != (void *)-1)
1082	{	1201	{
1083	# if CORO_STACKGUARD	1202	#if CORO_STACKGUARD
1084	mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);	1203	mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1085	# endif	1204	#endif
1086	stack_start = CORO_STACKGUARD * PAGESIZE + (char *)cctx->sptr;	1205	stack_start = (char )cctx->sptr + CORO_STACKGUARD PAGESIZE;
1087	stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;	1206	stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1088	cctx->flags \|= CC_MAPPED;	1207	cctx->flags \|= CC_MAPPED;
1089	}	1208	}
1090	else	1209	else
1091	#endif	1210	#endif
1092	{	1211	{
1093	cctx->ssize = coro_stacksize * (long)sizeof (long);	1212	cctx->ssize = cctx_stacksize * (long)sizeof (long);
1094	New (0, cctx->sptr, coro_stacksize, long);	1213	New (0, cctx->sptr, cctx_stacksize, long);
1095		1214
1096	if (!cctx->sptr)	1215	if (!cctx->sptr)
1097	{	1216	{
1098	perror ("FATAL: unable to allocate stack for coroutine");	1217	perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1099	_exit (EXIT_FAILURE);	1218	_exit (EXIT_FAILURE);
1100	}	1219	}
1101		1220
1102	stack_start = cctx->sptr;	1221	stack_start = cctx->sptr;
1103	stack_size = cctx->ssize;	1222	stack_size = cctx->ssize;
1104	}	1223	}
1105		1224
1106	REGISTER_STACK (cctx, (char )stack_start, (char )stack_start + stack_size);	1225	#if CORO_USE_VALGRIND
		1226	cctx->valgrind_id = VALGRIND_STACK_REGISTER ((char )stack_start, (char )stack_start + stack_size);
		1227	#endif
		1228
1107	coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);	1229	coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);
1108		1230
1109	return cctx;	1231	return cctx;
1110	}	1232	}
1111		1233
…		…
1114	{	1236	{
1115	if (!cctx)	1237	if (!cctx)
1116	return;	1238	return;
1117		1239
1118	--cctx_count;	1240	--cctx_count;
		1241	coro_destroy (&cctx->cctx);
1119		1242
		1243	/* coro_transfer creates new, empty cctx's */
		1244	if (cctx->sptr)
		1245	{
1120	#if CORO_USE_VALGRIND	1246	#if CORO_USE_VALGRIND
1121	VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);	1247	VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1122	#endif	1248	#endif
1123		1249
1124	#if HAVE_MMAP	1250	#if HAVE_MMAP
1125	if (cctx->flags & CC_MAPPED)	1251	if (cctx->flags & CC_MAPPED)
1126	munmap (cctx->sptr, cctx->ssize);	1252	munmap (cctx->sptr, cctx->ssize);
1127	else	1253	else
1128	#endif	1254	#endif
1129	Safefree (cctx->sptr);	1255	Safefree (cctx->sptr);
		1256	}
1130		1257
1131	Safefree (cctx);	1258	Safefree (cctx);
1132	}	1259	}
1133		1260
1134	/* wether this cctx should be destructed */	1261	/* wether this cctx should be destructed */
1135	#define CCTX_EXPIRED(cctx) ((cctx)->ssize < coro_stacksize \|\| ((cctx)->flags & CC_NOREUSE))	1262	#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen \|\| ((cctx)->flags & CC_NOREUSE))
1136		1263
1137	static coro_cctx *	1264	static coro_cctx *
1138	cctx_get (pTHX)	1265	cctx_get (pTHX)
1139	{	1266	{
1140	while (expect_true (cctx_first))	1267	while (expect_true (cctx_first))
…		…
1147	return cctx;	1274	return cctx;
1148		1275
1149	cctx_destroy (cctx);	1276	cctx_destroy (cctx);
1150	}	1277	}
1151		1278
1152	return cctx_new ();	1279	return cctx_new_run ();
1153	}	1280	}
1154		1281
1155	static void	1282	static void
1156	cctx_put (coro_cctx *cctx)	1283	cctx_put (coro_cctx *cctx)
1157	{	1284	{
		1285	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));
		1286
1158	/* free another cctx if overlimit */	1287	/* free another cctx if overlimit */
1159	if (expect_false (cctx_idle >= MAX_IDLE_CCTX))	1288	if (expect_false (cctx_idle >= cctx_max_idle))
1160	{	1289	{
1161	coro_cctx *first = cctx_first;	1290	coro_cctx *first = cctx_first;
1162	cctx_first = first->next;	1291	cctx_first = first->next;
1163	--cctx_idle;	1292	--cctx_idle;
1164		1293
…		…
1196	/* always use the TRANSFER macro */	1325	/* always use the TRANSFER macro */
1197	static void NOINLINE	1326	static void NOINLINE
1198	transfer (pTHX_ struct coro prev, struct coro next, int force_cctx)	1327	transfer (pTHX_ struct coro prev, struct coro next, int force_cctx)
1199	{	1328	{
1200	dSTACKLEVEL;	1329	dSTACKLEVEL;
1201	static volatile int has_throw;
1202		1330
1203	/* sometimes transfer is only called to set idle_sp */	1331	/* sometimes transfer is only called to set idle_sp */
1204	if (expect_false (!next))	1332	if (expect_false (!next))
1205	{	1333	{
1206	((coro_cctx *)prev)->idle_sp = STACKLEVEL;	1334	((coro_cctx *)prev)->idle_sp = STACKLEVEL;
…		…
1210	{	1338	{
1211	coro_cctx *prev__cctx;	1339	coro_cctx *prev__cctx;
1212		1340
1213	if (expect_false (prev->flags & CF_NEW))	1341	if (expect_false (prev->flags & CF_NEW))
1214	{	1342	{
1215	/* create a new empty context */	1343	/* create a new empty/source context */
1216	Newz (0, prev->cctx, 1, coro_cctx);	1344	prev->cctx = cctx_new_empty ();
1217	prev->flags &= ~CF_NEW;	1345	prev->flags &= ~CF_NEW;
1218	prev->flags \|= CF_RUNNING;	1346	prev->flags \|= CF_RUNNING;
1219	}	1347	}
1220		1348
1221	prev->flags &= ~CF_RUNNING;	1349	prev->flags &= ~CF_RUNNING;
…		…
1236	else	1364	else
1237	load_perl (aTHX_ next);	1365	load_perl (aTHX_ next);
1238		1366
1239	prev__cctx = prev->cctx;	1367	prev__cctx = prev->cctx;
1240		1368
1241	/* possibly "free" the cctx */	1369	/* possibly untie and reuse the cctx */
1242	if (expect_true (	1370	if (expect_true (
1243	prev__cctx->idle_sp == STACKLEVEL	1371	prev__cctx->idle_sp == STACKLEVEL
1244	&& !(prev__cctx->flags & CC_TRACE)	1372	&& !(prev__cctx->flags & CC_TRACE)
1245	&& !force_cctx	1373	&& !force_cctx
1246	))	1374	))
1247	{	1375	{
1248	/* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */	1376	/* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */
1249	assert (("ERROR: current top_env must equal previous top_env", PL_top_env == prev__cctx->idle_te));	1377	assert (("FATAL: current top_env must equal previous top_env in Coro (please report)", PL_top_env == prev__cctx->idle_te));
1250		1378
1251	prev->cctx = 0;	1379	prev->cctx = 0;
1252		1380
1253	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */	1381	/* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */
1254	/* without this the next cctx_get might destroy the prev__cctx while still in use */	1382	/* without this the next cctx_get might destroy the prev__cctx while still in use */
…		…
1262	++next->usecount;	1390	++next->usecount;
1263		1391
1264	if (expect_true (!next->cctx))	1392	if (expect_true (!next->cctx))
1265	next->cctx = cctx_get (aTHX);	1393	next->cctx = cctx_get (aTHX);
1266		1394
1267	has_throw = !!next->throw;	1395	assert (("FATAL: transfer_next already nonzero in Coro (please report)", !transfer_next));
		1396	transfer_next = next;
1268		1397
1269	if (expect_false (prev__cctx != next->cctx))	1398	if (expect_false (prev__cctx != next->cctx))
1270	{	1399	{
1271	prev__cctx->top_env = PL_top_env;	1400	prev__cctx->top_env = PL_top_env;
1272	PL_top_env = next->cctx->top_env;	1401	PL_top_env = next->cctx->top_env;
1273	coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);	1402	coro_transfer (&prev__cctx->cctx, &next->cctx->cctx);
1274	}	1403	}
1275		1404
1276	free_coro_mortal (aTHX);	1405	transfer_tail (aTHX);
1277	UNLOCK;
1278
1279	if (expect_false (has_throw))
1280	{
1281	struct coro *coro = SvSTATE (coro_current);
1282
1283	if (coro->throw)
1284	{
1285	SV *exception = coro->throw;
1286	coro->throw = 0;
1287	sv_setsv (ERRSV, exception);
1288	croak (0);
1289	}
1290	}
1291	}	1406	}
1292	}	1407	}
1293
1294	struct transfer_args
1295	{
1296	struct coro prev, next;
1297	};
1298		1408
1299	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))	1409	#define TRANSFER(ta, force_cctx) transfer (aTHX_ (ta).prev, (ta).next, (force_cctx))
1300	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)	1410	#define TRANSFER_CHECK(ta) transfer_check (aTHX_ (ta).prev, (ta).next)
1301		1411
1302	/ high level stuff ******************************************************/	1412	/ high level stuff ******************************************************/
…		…
1328	croak ("FATAL: tried to destroy currently running coroutine");	1438	croak ("FATAL: tried to destroy currently running coroutine");
1329		1439
1330	save_perl (aTHX_ &temp);	1440	save_perl (aTHX_ &temp);
1331	load_perl (aTHX_ coro);	1441	load_perl (aTHX_ coro);
1332		1442
1333	coro_destroy (aTHX_ coro);	1443	coro_destruct (aTHX_ coro);
1334		1444
1335	load_perl (aTHX_ &temp);	1445	load_perl (aTHX_ &temp);
1336		1446
1337	coro->slot = 0;	1447	coro->slot = 0;
1338	}	1448	}
…		…
1444	LOCK;	1554	LOCK;
1445		1555
1446	sv_hook = coro_nready ? 0 : coro_readyhook;	1556	sv_hook = coro_nready ? 0 : coro_readyhook;
1447	xs_hook = coro_nready ? 0 : coroapi.readyhook;	1557	xs_hook = coro_nready ? 0 : coroapi.readyhook;
1448		1558
1449	coro_enq (aTHX_ SvREFCNT_inc (coro_sv));	1559	coro_enq (aTHX_ SvREFCNT_inc_NN (coro_sv));
1450	++coro_nready;	1560	++coro_nready;
1451		1561
1452	UNLOCK;	1562	UNLOCK;
1453		1563
1454	if (sv_hook)	1564	if (sv_hook)
…		…
1475		1585
1476	static int	1586	static int
1477	api_is_ready (SV *coro_sv)	1587	api_is_ready (SV *coro_sv)
1478	{	1588	{
1479	dTHX;	1589	dTHX;
		1590
1480	return !!(SvSTATE (coro_sv)->flags & CF_READY);	1591	return !!(SvSTATE (coro_sv)->flags & CF_READY);
1481	}	1592	}
1482		1593
1483	static void	1594	INLINE void
1484	prepare_schedule (pTHX_ struct transfer_args *ta)	1595	prepare_schedule (pTHX_ struct transfer_args *ta)
1485	{	1596	{
1486	SV prev_sv, next_sv;	1597	SV prev_sv, next_sv;
1487		1598
1488	for (;;)	1599	for (;;)
…		…
1514	/* cannot transfer to destroyed coros, skip and look for next */	1625	/* cannot transfer to destroyed coros, skip and look for next */
1515	if (expect_false (ta->next->flags & CF_DESTROYED))	1626	if (expect_false (ta->next->flags & CF_DESTROYED))
1516	{	1627	{
1517	UNLOCK;	1628	UNLOCK;
1518	SvREFCNT_dec (next_sv);	1629	SvREFCNT_dec (next_sv);
1519	/* coro_nready is already taken care of by destroy */	1630	/* coro_nready has already been taken care of by destroy */
1520	continue;	1631	continue;
1521	}	1632	}
1522		1633
1523	--coro_nready;	1634	--coro_nready;
1524	UNLOCK;	1635	UNLOCK;
…		…
1527		1638
1528	/* free this only after the transfer */	1639	/* free this only after the transfer */
1529	prev_sv = SvRV (coro_current);	1640	prev_sv = SvRV (coro_current);
1530	ta->prev = SvSTATE (prev_sv);	1641	ta->prev = SvSTATE (prev_sv);
1531	TRANSFER_CHECK (*ta);	1642	TRANSFER_CHECK (*ta);
1532	assert (ta->next->flags & CF_READY);	1643	assert (("FATAL: next coroutine isn't marked as ready in Coro (please report)", ta->next->flags & CF_READY));
1533	ta->next->flags &= ~CF_READY;	1644	ta->next->flags &= ~CF_READY;
1534	SvRV_set (coro_current, next_sv);	1645	SvRV_set (coro_current, next_sv);
1535		1646
1536	LOCK;	1647	LOCK;
1537	free_coro_mortal (aTHX);	1648	free_coro_mortal (aTHX);
1538	coro_mortal = prev_sv;	1649	coro_mortal = prev_sv;
1539	UNLOCK;	1650	UNLOCK;
1540	}	1651	}
1541		1652
1542	static void	1653	INLINE void
1543	prepare_cede (pTHX_ struct transfer_args *ta)	1654	prepare_cede (pTHX_ struct transfer_args *ta)
1544	{	1655	{
1545	api_ready (coro_current);	1656	api_ready (coro_current);
1546	prepare_schedule (aTHX_ ta);	1657	prepare_schedule (aTHX_ ta);
1547	}	1658	}
1548		1659
1549	static int	1660	static void
1550	prepare_cede_notself (pTHX_ struct transfer_args *ta)	1661	prepare_cede_notself (pTHX_ struct transfer_args *ta)
1551	{	1662	{
		1663	SV *prev = SvRV (coro_current);
		1664
1552	if (coro_nready)	1665	if (coro_nready)
1553	{	1666	{
1554	SV *prev = SvRV (coro_current);
1555	prepare_schedule (aTHX_ ta);	1667	prepare_schedule (aTHX_ ta);
1556	api_ready (prev);	1668	api_ready (prev);
		1669	}
		1670	else
		1671	ta->prev = ta->next = SvSTATE (prev);
		1672	}
		1673
		1674	static void
		1675	api_schedule (void)
		1676	{
		1677	dTHX;
		1678	struct transfer_args ta;
		1679
		1680	prepare_schedule (aTHX_ &ta);
		1681	TRANSFER (ta, 1);
		1682	}
		1683
		1684	static int
		1685	api_cede (void)
		1686	{
		1687	dTHX;
		1688	struct transfer_args ta;
		1689
		1690	prepare_cede (aTHX_ &ta);
		1691
		1692	if (expect_true (ta.prev != ta.next))
		1693	{
		1694	TRANSFER (ta, 1);
1557	return 1;	1695	return 1;
1558	}	1696	}
1559	else	1697	else
1560	return 0;	1698	return 0;
1561	}	1699	}
1562		1700
1563	static void
1564	api_schedule (void)
1565	{
1566	dTHX;
1567	struct transfer_args ta;
1568
1569	prepare_schedule (aTHX_ &ta);
1570	TRANSFER (ta, 1);
1571	}
1572
1573	static int	1701	static int
1574	api_cede (void)	1702	api_cede_notself (void)
1575	{	1703	{
		1704	if (coro_nready)
		1705	{
1576	dTHX;	1706	dTHX;
1577	struct transfer_args ta;	1707	struct transfer_args ta;
1578		1708
1579	prepare_cede (aTHX_ &ta);	1709	prepare_cede_notself (aTHX_ &ta);
1580
1581	if (expect_true (ta.prev != ta.next))
1582	{
1583	TRANSFER (ta, 1);	1710	TRANSFER (ta, 1);
1584	return 1;	1711	return 1;
1585	}	1712	}
1586	else	1713	else
1587	return 0;	1714	return 0;
1588	}	1715	}
1589		1716
1590	static int
1591	api_cede_notself (void)
1592	{
1593	dTHX;
1594	struct transfer_args ta;
1595
1596	if (prepare_cede_notself (aTHX_ &ta))
1597	{
1598	TRANSFER (ta, 1);
1599	return 1;
1600	}
1601	else
1602	return 0;
1603	}
1604
1605	static void	1717	static void
1606	api_trace (SV *coro_sv, int flags)	1718	api_trace (SV *coro_sv, int flags)
1607	{	1719	{
1608	dTHX;	1720	dTHX;
1609	struct coro *coro = SvSTATE (coro_sv);	1721	struct coro *coro = SvSTATE (coro_sv);
1610		1722
1611	if (flags & CC_TRACE)	1723	if (flags & CC_TRACE)
1612	{	1724	{
1613	if (!coro->cctx)	1725	if (!coro->cctx)
1614	coro->cctx = cctx_new ();	1726	coro->cctx = cctx_new_run ();
1615	else if (!(coro->cctx->flags & CC_TRACE))	1727	else if (!(coro->cctx->flags & CC_TRACE))
1616	croak ("cannot enable tracing on coroutine with custom stack");	1728	croak ("cannot enable tracing on coroutine with custom stack");
1617		1729
1618	coro->cctx->flags \|= CC_NOREUSE \| (flags & (CC_TRACE \| CC_TRACE_ALL));	1730	coro->cctx->flags \|= CC_NOREUSE \| (flags & (CC_TRACE \| CC_TRACE_ALL));
1619	}	1731	}
…		…
1626	else	1738	else
1627	coro->slot->runops = RUNOPS_DEFAULT;	1739	coro->slot->runops = RUNOPS_DEFAULT;
1628	}	1740	}
1629	}	1741	}
1630		1742
		1743	#if 0
1631	static int	1744	static int
1632	coro_gensub_free (pTHX_ SV sv, MAGIC mg)	1745	coro_gensub_free (pTHX_ SV sv, MAGIC mg)
1633	{	1746	{
1634	AV *padlist;	1747	AV *padlist;
1635	AV av = (AV )mg->mg_obj;	1748	AV av = (AV )mg->mg_obj;
…		…
1641		1754
1642	static MGVTBL coro_gensub_vtbl = {	1755	static MGVTBL coro_gensub_vtbl = {
1643	0, 0, 0, 0,	1756	0, 0, 0, 0,
1644	coro_gensub_free	1757	coro_gensub_free
1645	};	1758	};
		1759	#endif
		1760
		1761	/*****************************************************************************/
		1762	/* PerlIO::cede */
		1763
		1764	typedef struct
		1765	{
		1766	PerlIOBuf base;
		1767	NV next, every;
		1768	} PerlIOCede;
		1769
		1770	static IV
		1771	PerlIOCede_pushed (pTHX_ PerlIO f, const char mode, SV arg, PerlIO_funcs tab)
		1772	{
		1773	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
		1774
		1775	self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
		1776	self->next = nvtime () + self->every;
		1777
		1778	return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
		1779	}
		1780
		1781	static SV *
		1782	PerlIOCede_getarg (pTHX_ PerlIO f, CLONE_PARAMS param, int flags)
		1783	{
		1784	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
		1785
		1786	return newSVnv (self->every);
		1787	}
		1788
		1789	static IV
		1790	PerlIOCede_flush (pTHX_ PerlIO *f)
		1791	{
		1792	PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
		1793	double now = nvtime ();
		1794
		1795	if (now >= self->next)
		1796	{
		1797	api_cede ();
		1798	self->next = now + self->every;
		1799	}
		1800
		1801	return PerlIOBuf_flush (aTHX_ f);
		1802	}
		1803
		1804	static PerlIO_funcs PerlIO_cede =
		1805	{
		1806	sizeof(PerlIO_funcs),
		1807	"cede",
		1808	sizeof(PerlIOCede),
		1809	PERLIO_K_DESTRUCT \| PERLIO_K_RAW,
		1810	PerlIOCede_pushed,
		1811	PerlIOBuf_popped,
		1812	PerlIOBuf_open,
		1813	PerlIOBase_binmode,
		1814	PerlIOCede_getarg,
		1815	PerlIOBase_fileno,
		1816	PerlIOBuf_dup,
		1817	PerlIOBuf_read,
		1818	PerlIOBuf_unread,
		1819	PerlIOBuf_write,
		1820	PerlIOBuf_seek,
		1821	PerlIOBuf_tell,
		1822	PerlIOBuf_close,
		1823	PerlIOCede_flush,
		1824	PerlIOBuf_fill,
		1825	PerlIOBase_eof,
		1826	PerlIOBase_error,
		1827	PerlIOBase_clearerr,
		1828	PerlIOBase_setlinebuf,
		1829	PerlIOBuf_get_base,
		1830	PerlIOBuf_bufsiz,
		1831	PerlIOBuf_get_ptr,
		1832	PerlIOBuf_get_cnt,
		1833	PerlIOBuf_set_ptrcnt,
		1834	};
		1835
		1836	/*****************************************************************************/
		1837
		1838	static const CV ssl_cv; / for quick consistency check */
		1839
		1840	static UNOP ssl_restore; /* restore stack as entersub did, for first-re-run */
		1841	static SV *ssl_arg0;
		1842	static SV *ssl_arg1;
		1843
		1844	/* this restores the stack in the case we patched the entersub, to */
		1845	/* recreate the stack frame as perl will on following calls */
		1846	/* since entersub cleared the stack */
		1847	static OP *
		1848	pp_restore (pTHX)
		1849	{
		1850	dSP;
		1851
		1852	PUSHMARK (SP);
		1853
		1854	EXTEND (SP, 3);
		1855	if (ssl_arg0) PUSHs (sv_2mortal (ssl_arg0)), ssl_arg0 = 0;
		1856	if (ssl_arg1) PUSHs (sv_2mortal (ssl_arg1)), ssl_arg1 = 0;
		1857	PUSHs ((SV *)CvGV (ssl_cv));
		1858
		1859	RETURNOP (ssl_restore.op_first);
		1860	}
		1861
		1862	#define OPpENTERSUB_SSL 15 /* the part of op_private entersub hopefully doesn't use */
		1863
		1864	/* declare prototype */
		1865	XS(XS_Coro__State__set_stacklevel);
		1866
		1867	/*
		1868	* these not obviously related functions are all rolled into one
		1869	* function to increase chances that they all will call transfer with the same
		1870	* stack offset
		1871	*/
		1872	static OP *
		1873	pp_set_stacklevel (pTHX)
		1874	{
		1875	dSP;
		1876	struct transfer_args ta;
		1877	SV **arg = PL_stack_base + TOPMARK + 1;
		1878	int items = SP - arg; /* args without function object */
		1879
		1880	/* do a quick consistency check on the "function" object, and if it isn't */
		1881	/* for us, divert to the real entersub */
		1882	if (SvTYPE (sp) != SVt_PVGV \|\| CvXSUB (GvCV (sp)) != XS_Coro__State__set_stacklevel)
		1883	return PL_ppaddr[OP_ENTERSUB](aTHX);
		1884
		1885	/* pop args */
		1886	SP = PL_stack_base + POPMARK;
		1887
		1888	if (!(PL_op->op_flags & OPf_STACKED))
		1889	{
		1890	/* ampersand-form of call, use @_ instead of stack */
		1891	AV *av = GvAV (PL_defgv);
		1892	arg = AvARRAY (av);
		1893	items = AvFILLp (av) + 1;
		1894	}
		1895
		1896	PUTBACK;
		1897	switch (PL_op->op_private & OPpENTERSUB_SSL)
		1898	{
		1899	case 0:
		1900	prepare_set_stacklevel (&ta, (struct coro_cctx *)SvIV (arg [0]));
		1901	break;
		1902
		1903	case 1:
		1904	if (items != 2)
		1905	croak ("Coro::State::transfer (prev, next) expects two arguments, not %d.", items);
		1906
		1907	prepare_transfer (aTHX_ &ta, arg [0], arg [1]);
		1908	break;
		1909
		1910	case 2:
		1911	prepare_schedule (aTHX_ &ta);
		1912	break;
		1913
		1914	case 3:
		1915	prepare_cede (aTHX_ &ta);
		1916	break;
		1917
		1918	case 4:
		1919	prepare_cede_notself (aTHX_ &ta);
		1920	break;
		1921	}
		1922
		1923	TRANSFER (ta, 0);
		1924	SPAGAIN;
		1925
		1926	skip:
		1927	PUTBACK;
		1928	SSL_TAIL;
		1929	SPAGAIN;
		1930	RETURN;
		1931	}
		1932
		1933	static void
		1934	coro_ssl_patch (pTHX_ CV cv, int ix, SV *args, int items)
		1935	{
		1936	assert (("FATAL: ssl call recursion in Coro module (please report)", PL_op->op_ppaddr != pp_set_stacklevel));
		1937
		1938	assert (("FATAL: ssl call with illegal CV value", CvGV (cv)));
		1939	ssl_cv = cv;
		1940
		1941	/* we patch the op, and then re-run the whole call */
		1942	/* we have to put some dummy argument on the stack for this to work */
		1943	ssl_restore.op_next = (OP *)&ssl_restore;
		1944	ssl_restore.op_type = OP_NULL;
		1945	ssl_restore.op_ppaddr = pp_restore;
		1946	ssl_restore.op_first = PL_op;
		1947
		1948	ssl_arg0 = items > 0 ? SvREFCNT_inc (args [0]) : 0;
		1949	ssl_arg1 = items > 1 ? SvREFCNT_inc (args [1]) : 0;
		1950
		1951	PL_op->op_ppaddr = pp_set_stacklevel;
		1952	PL_op->op_private = PL_op->op_private & ~OPpENTERSUB_SSL \| ix; /* we potentially share our private flags with entersub */
		1953
		1954	PL_op = (OP *)&ssl_restore;
		1955	}
1646		1956
1647	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_	1957	MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
1648		1958
1649	PROTOTYPES: DISABLE	1959	PROTOTYPES: DISABLE
1650		1960
1651	BOOT:	1961	BOOT:
1652	{	1962	{
1653	#ifdef USE_ITHREADS	1963	#ifdef USE_ITHREADS
1654	MUTEX_INIT (&coro_mutex);	1964	MUTEX_INIT (&coro_lock);
		1965	# if CORO_PTHREAD
		1966	coro_thx = PERL_GET_CONTEXT;
		1967	# endif
1655	#endif	1968	#endif
1656	BOOT_PAGESIZE;	1969	BOOT_PAGESIZE;
1657		1970
1658	irsgv = gv_fetchpv ("/" , GV_ADD\|GV_NOTQUAL, SVt_PV);	1971	irsgv = gv_fetchpv ("/" , GV_ADD\|GV_NOTQUAL, SVt_PV);
1659	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD\|GV_NOTQUAL, SVt_PVIO);	1972	stdoutgv = gv_fetchpv ("STDOUT", GV_ADD\|GV_NOTQUAL, SVt_PVIO);
…		…
1681		1994
1682	coroapi.ver = CORO_API_VERSION;	1995	coroapi.ver = CORO_API_VERSION;
1683	coroapi.rev = CORO_API_REVISION;	1996	coroapi.rev = CORO_API_REVISION;
1684	coroapi.transfer = api_transfer;	1997	coroapi.transfer = api_transfer;
1685		1998
		1999	{
		2000	SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
		2001
		2002	if (!svp) croak ("Time::HiRes is required");
		2003	if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
		2004
		2005	nvtime = INT2PTR (double ()(), SvIV (svp));
		2006	}
		2007
1686	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));	2008	assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
1687	}	2009	}
1688		2010
1689	SV *	2011	SV *
1690	new (char *klass, ...)	2012	new (char *klass, ...)
…		…
1713	av_push (coro->args, newSVsv (ST (i)));	2035	av_push (coro->args, newSVsv (ST (i)));
1714	}	2036	}
1715	OUTPUT:	2037	OUTPUT:
1716	RETVAL	2038	RETVAL
1717		2039
1718	# these not obviously related functions are all rolled into the same xs
1719	# function to increase chances that they all will call transfer with the same
1720	# stack offset
1721	void	2040	void
1722	_set_stacklevel (...)	2041	_set_stacklevel (...)
1723	ALIAS:	2042	ALIAS:
1724	Coro::State::transfer = 1	2043	Coro::State::transfer = 1
1725	Coro::schedule = 2	2044	Coro::schedule = 2
1726	Coro::cede = 3	2045	Coro::cede = 3
1727	Coro::cede_notself = 4	2046	Coro::cede_notself = 4
1728	CODE:	2047	CODE:
1729	{	2048	coro_ssl_patch (aTHX_ cv, ix, &ST (0), items);
1730	struct transfer_args ta;
1731
1732	PUTBACK;
1733	switch (ix)
1734	{
1735	case 0:
1736	ta.prev = (struct coro )INT2PTR (coro_cctx , SvIV (ST (0)));
1737	ta.next = 0;
1738	break;
1739
1740	case 1:
1741	if (items != 2)
1742	croak ("Coro::State::transfer (prev,next) expects two arguments, not %d", items);
1743
1744	prepare_transfer (aTHX_ &ta, ST (0), ST (1));
1745	break;
1746
1747	case 2:
1748	prepare_schedule (aTHX_ &ta);
1749	break;
1750
1751	case 3:
1752	prepare_cede (aTHX_ &ta);
1753	break;
1754
1755	case 4:
1756	if (!prepare_cede_notself (aTHX_ &ta))
1757	XSRETURN_EMPTY;
1758
1759	break;
1760	}
1761	SPAGAIN;
1762
1763	BARRIER;
1764	PUTBACK;
1765	TRANSFER (ta, 0);
1766	SPAGAIN; /* might be the sp of a different coroutine now */
1767	/* be extra careful not to ever do anything after TRANSFER */
1768	}
1769		2049
1770	bool	2050	bool
1771	_destroy (SV *coro_sv)	2051	_destroy (SV *coro_sv)
1772	CODE:	2052	CODE:
1773	RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));	2053	RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
…		…
1781	_exit (code);	2061	_exit (code);
1782		2062
1783	int	2063	int
1784	cctx_stacksize (int new_stacksize = 0)	2064	cctx_stacksize (int new_stacksize = 0)
1785	CODE:	2065	CODE:
1786	RETVAL = coro_stacksize;	2066	RETVAL = cctx_stacksize;
1787	if (new_stacksize)	2067	if (new_stacksize)
		2068	{
1788	coro_stacksize = new_stacksize;	2069	cctx_stacksize = new_stacksize;
		2070	++cctx_gen;
		2071	}
		2072	OUTPUT:
		2073	RETVAL
		2074
		2075	int
		2076	cctx_max_idle (int max_idle = 0)
		2077	CODE:
		2078	RETVAL = cctx_max_idle;
		2079	if (max_idle > 1)
		2080	cctx_max_idle = max_idle;
1789	OUTPUT:	2081	OUTPUT:
1790	RETVAL	2082	RETVAL
1791		2083
1792	int	2084	int
1793	cctx_count ()	2085	cctx_count ()
…		…
1817	call (Coro::State coro, SV *coderef)	2109	call (Coro::State coro, SV *coderef)
1818	ALIAS:	2110	ALIAS:
1819	eval = 1	2111	eval = 1
1820	CODE:	2112	CODE:
1821	{	2113	{
1822	if (coro->mainstack)	2114	if (coro->mainstack && ((coro->flags & CF_RUNNING) \|\| coro->slot))
1823	{	2115	{
1824	struct coro temp;	2116	struct coro temp;
1825		2117
1826	if (!(coro->flags & CF_RUNNING))	2118	if (!(coro->flags & CF_RUNNING))
1827	{	2119	{
…		…
1871	RETVAL = boolSV (coro->flags & ix);	2163	RETVAL = boolSV (coro->flags & ix);
1872	OUTPUT:	2164	OUTPUT:
1873	RETVAL	2165	RETVAL
1874		2166
1875	void	2167	void
		2168	throw (Coro::State self, SV *throw = &PL_sv_undef)
		2169	PROTOTYPE: $;$
		2170	CODE:
		2171	SvREFCNT_dec (self->throw);
		2172	self->throw = SvOK (throw) ? newSVsv (throw) : 0;
		2173
		2174	void
1876	api_trace (SV *coro, int flags = CC_TRACE \| CC_TRACE_SUB)	2175	api_trace (SV *coro, int flags = CC_TRACE \| CC_TRACE_SUB)
1877		2176
1878	SV *	2177	SV *
1879	has_cctx (Coro::State coro)	2178	has_cctx (Coro::State coro)
1880	PROTOTYPE: $	2179	PROTOTYPE: $
…		…
1889	CODE:	2188	CODE:
1890	RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL;	2189	RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL;
1891	OUTPUT:	2190	OUTPUT:
1892	RETVAL	2191	RETVAL
1893		2192
1894	IV	2193	UV
1895	rss (Coro::State coro)	2194	rss (Coro::State coro)
1896	PROTOTYPE: $	2195	PROTOTYPE: $
1897	ALIAS:	2196	ALIAS:
1898	usecount = 1	2197	usecount = 1
1899	CODE:	2198	CODE:
…		…
1910	CODE:	2209	CODE:
1911	struct coro *coro = SvSTATE (coro_current);	2210	struct coro *coro = SvSTATE (coro_current);
1912	coro->cctx->idle_sp = 0;	2211	coro->cctx->idle_sp = 0;
1913		2212
1914	void	2213	void
1915	throw (Coro::State self, SV *throw = &PL_sv_undef)
1916	PROTOTYPE: $;$
1917	CODE:
1918	SvREFCNT_dec (self->throw);
1919	self->throw = SvOK (throw) ? newSVsv (throw) : 0;
1920
1921	void
1922	swap_defsv (Coro::State self)	2214	swap_defsv (Coro::State self)
1923	PROTOTYPE: $	2215	PROTOTYPE: $
1924	ALIAS:	2216	ALIAS:
1925	swap_defav = 1	2217	swap_defav = 1
1926	CODE:	2218	CODE:
…		…
1958		2250
1959	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )	2251	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
1960	coro_ready[i] = newAV ();	2252	coro_ready[i] = newAV ();
1961		2253
1962	{	2254	{
1963	SV *sv = perl_get_sv ("Coro::API", TRUE);	2255	SV *sv = coro_get_sv (aTHX_ "Coro::API", TRUE);
1964	perl_get_sv ("Coro::API", TRUE); /* silence 5.10 warning */
1965		2256
1966	coroapi.schedule = api_schedule;	2257	coroapi.schedule = api_schedule;
1967	coroapi.cede = api_cede;	2258	coroapi.cede = api_cede;
1968	coroapi.cede_notself = api_cede_notself;	2259	coroapi.cede_notself = api_cede_notself;
1969	coroapi.ready = api_ready;	2260	coroapi.ready = api_ready;
…		…
1980	void	2271	void
1981	_set_current (SV *current)	2272	_set_current (SV *current)
1982	PROTOTYPE: $	2273	PROTOTYPE: $
1983	CODE:	2274	CODE:
1984	SvREFCNT_dec (SvRV (coro_current));	2275	SvREFCNT_dec (SvRV (coro_current));
1985	SvRV_set (coro_current, SvREFCNT_inc (SvRV (current)));	2276	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
1986		2277
1987	void	2278	void
1988	_set_readyhook (SV *hook)	2279	_set_readyhook (SV *hook)
1989	PROTOTYPE: $	2280	PROTOTYPE: $
1990	CODE:	2281	CODE:
…		…
2050	SvREFCNT_dec (old);	2341	SvREFCNT_dec (old);
2051	croak ("\3async_pool terminate\2\n");	2342	croak ("\3async_pool terminate\2\n");
2052	}	2343	}
2053		2344
2054	SvREFCNT_dec (coro->saved_deffh);	2345	SvREFCNT_dec (coro->saved_deffh);
2055	coro->saved_deffh = SvREFCNT_inc ((SV *)PL_defoutgv);	2346	coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
2056		2347
2057	hv_store (hv, "desc", sizeof ("desc") - 1,	2348	hv_store (hv, "desc", sizeof ("desc") - 1,
2058	newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);	2349	newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
2059		2350
2060	invoke_av = (AV *)SvRV (invoke);	2351	invoke_av = (AV *)SvRV (invoke);
…		…
2064		2355
2065	if (len > 0)	2356	if (len > 0)
2066	{	2357	{
2067	av_fill (defav, len - 1);	2358	av_fill (defav, len - 1);
2068	for (i = 0; i < len; ++i)	2359	for (i = 0; i < len; ++i)
2069	av_store (defav, i, SvREFCNT_inc (AvARRAY (invoke_av)[i + 1]));	2360	av_store (defav, i, SvREFCNT_inc_NN (AvARRAY (invoke_av)[i + 1]));
2070	}	2361	}
2071		2362
2072	SvREFCNT_dec (invoke);	2363	SvREFCNT_dec (invoke);
2073	}	2364	}
2074		2365
…		…
2081	sv_setsv (cb, &PL_sv_undef);	2372	sv_setsv (cb, &PL_sv_undef);
2082		2373
2083	SvREFCNT_dec ((SV )PL_defoutgv); PL_defoutgv = (GV )coro->saved_deffh;	2374	SvREFCNT_dec ((SV )PL_defoutgv); PL_defoutgv = (GV )coro->saved_deffh;
2084	coro->saved_deffh = 0;	2375	coro->saved_deffh = 0;
2085		2376
2086	if (coro_rss (aTHX_ coro) > SvIV (sv_pool_rss)	2377	if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
2087	\|\| av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))	2378	\|\| av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
2088	{	2379	{
2089	SV *old = PL_diehook;	2380	SV *old = PL_diehook;
2090	PL_diehook = 0;	2381	PL_diehook = 0;
2091	SvREFCNT_dec (old);	2382	SvREFCNT_dec (old);
…		…
2153	#endif	2444	#endif
2154		2445
2155		2446
2156	MODULE = Coro::State PACKAGE = Coro::AIO	2447	MODULE = Coro::State PACKAGE = Coro::AIO
2157		2448
2158	SV *	2449	void
2159	_get_state ()	2450	_get_state (SV *self)
2160	CODE:	2451	PPCODE:
2161	{	2452	{
2162	struct io_state *data;	2453	AV *defav = GvAV (PL_defgv);
2163		2454	AV *av = newAV ();
		2455	int i;
2164	RETVAL = newSV (sizeof (struct io_state));	2456	SV *data_sv = newSV (sizeof (struct io_state));
2165	data = (struct io_state *)SvPVX (RETVAL);	2457	struct io_state data = (struct io_state )SvPVX (data_sv);
2166	SvCUR_set (RETVAL, sizeof (struct io_state));	2458	SvCUR_set (data_sv, sizeof (struct io_state));
2167	SvPOK_only (RETVAL);	2459	SvPOK_only (data_sv);
2168		2460
2169	data->errorno = errno;	2461	data->errorno = errno;
2170	data->laststype = PL_laststype;	2462	data->laststype = PL_laststype;
2171	data->laststatval = PL_laststatval;	2463	data->laststatval = PL_laststatval;
2172	data->statcache = PL_statcache;	2464	data->statcache = PL_statcache;
		2465
		2466	av_extend (av, AvFILLp (defav) + 1 + 1);
		2467
		2468	for (i = 0; i <= AvFILLp (defav); ++i)
		2469	av_push (av, SvREFCNT_inc_NN (AvARRAY (defav)[i]));
		2470
		2471	av_push (av, data_sv);
		2472
		2473	XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
		2474
		2475	api_ready (self);
2173	}	2476	}
2174	OUTPUT:
2175	RETVAL
2176		2477
2177	void	2478	void
2178	_set_state (char *data_)	2479	_set_state (SV *state)
2179	PROTOTYPE: $	2480	PROTOTYPE: $
2180	CODE:	2481	PPCODE:
2181	{	2482	{
2182	struct io_state data = (void )data_;	2483	AV av = (AV )SvRV (state);
		2484	struct io_state data = (struct io_state )SvPVX (AvARRAY (av)[AvFILLp (av)]);
		2485	int i;
2183		2486
2184	errno = data->errorno;	2487	errno = data->errorno;
2185	PL_laststype = data->laststype;	2488	PL_laststype = data->laststype;
2186	PL_laststatval = data->laststatval;	2489	PL_laststatval = data->laststatval;
2187	PL_statcache = data->statcache;	2490	PL_statcache = data->statcache;
		2491
		2492	EXTEND (SP, AvFILLp (av));
		2493	for (i = 0; i < AvFILLp (av); ++i)
		2494	PUSHs (sv_2mortal (SvREFCNT_inc_NN (AvARRAY (av)[i])));
2188	}	2495	}
2189		2496
2190		2497
2191	MODULE = Coro::State PACKAGE = Coro::AnyEvent	2498	MODULE = Coro::State PACKAGE = Coro::AnyEvent
2192		2499
…		…
2216	}	2523	}
2217		2524
2218	--incede;	2525	--incede;
2219	}	2526	}
2220		2527
		2528
		2529	MODULE = Coro::State PACKAGE = PerlIO::cede
		2530
		2531	BOOT:
		2532	PerlIO_define_layer (aTHX_ &PerlIO_cede);
		2533

Diff Legend

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

Comparing Coro/Coro/State.xs (file contents): Revision 1.244 by root, Sun Sep 21 18:29:39 2008 UTC vs. Revision 1.267 by root, Fri Nov 14 06:29:52 2008 UTC

Diff Legend

Comparing Coro/Coro/State.xs (file contents):
Revision 1.244 by root, Sun Sep 21 18:29:39 2008 UTC vs.
Revision 1.267 by root, Fri Nov 14 06:29:52 2008 UTC