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

Comparing Coro/Coro/State.xs (file contents):
Revision 1.15 by root, Wed Jul 25 04:14:38 2001 UTC vs.
Revision 1.27 by root, Mon Aug 20 16:58:19 2001 UTC

…		…
2	#include "perl.h"	2	#include "perl.h"
3	#include "XSUB.h"	3	#include "XSUB.h"
4		4
5	#include "libcoro/coro.c"	5	#include "libcoro/coro.c"
6		6
		7	#include <signal.h>
		8
7	#ifdef HAVE_MMAP	9	#ifdef HAVE_MMAP
8	# include <unistd.h>	10	# include <unistd.h>
9	# include <sys/mman.h>	11	# include <sys/mman.h>
		12	# ifndef MAP_ANON
		13	# ifdef MAP_ANONYMOUS
		14	# define MAP_ANON MAP_ANONYMOUS
		15	# else
		16	# undef HAVE_MMAP
		17	# endif
		18	# endif
10	#endif	19	#endif
11		20
12	#define MAY_FLUSH /* increases codesize */	21	#define MAY_FLUSH /* increases codesize */
13
14	/* perl-related */
15	#define TRANSFER_SAVE_DEFAV 0x00000001
16	#define TRANSFER_SAVE_DEFSV 0x00000002
17	#define TRANSFER_SAVE_ERRSV 0x00000004
18	/* c-related */
19	#define TRANSFER_SAVE_CCTXT 0x00000008
20	#ifdef CORO_LAZY_STACK
21	# define TRANSFER_LAZY_STACK 0x00000010
22	#else
23	# define TRANSFER_LAZY_STACK 0x00000000
24	#endif
25
26	#define TRANSFER_SAVE_ALL (TRANSFER_SAVE_DEFAV\|TRANSFER_SAVE_DEFSV \
27	\|TRANSFER_SAVE_ERRSV\|TRANSFER_SAVE_CCTXT)
28		22
29	#define SUB_INIT "Coro::State::initialize"	23	#define SUB_INIT "Coro::State::initialize"
30	#define UCORO_STATE "_coro_state"	24	#define UCORO_STATE "_coro_state"
31		25
32	/* The next macro should delcare a variable stacklevel that contains and approximation	26	/* The next macro should delcare a variable stacklevel that contains and approximation
33	* to the current C stack pointer. It's property is that it changes with each call	27	* to the current C stack pointer. Its property is that it changes with each call
34	* and should be unique. */	28	* and should be unique. */
35	#define dSTACKLEVEL void *stacklevel = &stacklevel	29	#define dSTACKLEVEL void *stacklevel = &stacklevel
36		30
37	#define labs(l) ((l) >= 0 ? (l) : -(l))	31	#define labs(l) ((l) >= 0 ? (l) : -(l))
		32
		33	#include "CoroAPI.h"
		34
		35	static struct CoroAPI coroapi;
38		36
39	/* this is actually not only the c stack but also c registers etc... */	37	/* this is actually not only the c stack but also c registers etc... */
40	typedef struct {	38	typedef struct {
41	int refcnt; /* pointer reference counter */	39	int refcnt; /* pointer reference counter */
42	int usecnt; /* shared by how many coroutines */	40	int usecnt; /* shared by how many coroutines */
…		…
45	coro_context cctx;	43	coro_context cctx;
46		44
47	void *sptr;	45	void *sptr;
48	long ssize; /* positive == mmap, otherwise malloc */	46	long ssize; /* positive == mmap, otherwise malloc */
49	} coro_stack;	47	} coro_stack;
50
51	static coro_stack main_stack = { 1, 0, 0 };
52		48
53	struct coro {	49	struct coro {
54	/* the optional C context */	50	/* the optional C context */
55	coro_stack *stack;	51	coro_stack *stack;
56	void *cursp;	52	void *cursp;
…		…
61	SV *defsv;	57	SV *defsv;
62	SV *errsv;	58	SV *errsv;
63		59
64	/* saved global state not related to stacks */	60	/* saved global state not related to stacks */
65	U8 dowarn;	61	U8 dowarn;
		62	I32 in_eval;
66		63
67	/* the stacks and related info (callchain etc..) */	64	/* the stacks and related info (callchain etc..) */
68	PERL_SI *curstackinfo;	65	PERL_SI *curstackinfo;
69	AV *curstack;	66	AV *curstack;
70	AV *mainstack;	67	AV *mainstack;
…		…
88	I32 savestack_max;	85	I32 savestack_max;
89	OP **retstack;	86	OP **retstack;
90	I32 retstack_ix;	87	I32 retstack_ix;
91	I32 retstack_max;	88	I32 retstack_max;
92	COP *curcop;	89	COP *curcop;
93	JMPENV start_env;
94	JMPENV *top_env;	90	JMPENV *top_env;
95		91
96	/* data associated with this coroutine (initial args) */	92	/* data associated with this coroutine (initial args) */
97	AV *args;	93	AV *args;
98	};	94	};
…		…
199		195
200	return newpadlist;	196	return newpadlist;
201	}	197	}
202		198
203	#ifdef MAY_FLUSH	199	#ifdef MAY_FLUSH
204	STATIC AV *	200	STATIC void
205	free_padlist (AV *padlist)	201	free_padlist (AV *padlist)
206	{	202	{
207	/* may be during global destruction */	203	/* may be during global destruction */
208	if (SvREFCNT(padlist))	204	if (SvREFCNT(padlist))
209	{	205	{
…		…
283		279
284	static void	280	static void
285	load_state(pTHX_ Coro__State c)	281	load_state(pTHX_ Coro__State c)
286	{	282	{
287	PL_dowarn = c->dowarn;	283	PL_dowarn = c->dowarn;
		284	PL_in_eval = c->in_eval;
288		285
289	PL_curstackinfo = c->curstackinfo;	286	PL_curstackinfo = c->curstackinfo;
290	PL_curstack = c->curstack;	287	PL_curstack = c->curstack;
291	PL_mainstack = c->mainstack;	288	PL_mainstack = c->mainstack;
292	PL_stack_sp = c->stack_sp;	289	PL_stack_sp = c->stack_sp;
…		…
309	PL_savestack_max = c->savestack_max;	306	PL_savestack_max = c->savestack_max;
310	PL_retstack = c->retstack;	307	PL_retstack = c->retstack;
311	PL_retstack_ix = c->retstack_ix;	308	PL_retstack_ix = c->retstack_ix;
312	PL_retstack_max = c->retstack_max;	309	PL_retstack_max = c->retstack_max;
313	PL_curcop = c->curcop;	310	PL_curcop = c->curcop;
314	PL_start_env = c->start_env;
315	PL_top_env = c->top_env;	311	PL_top_env = c->top_env;
316		312
317	if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav);	313	if (c->defav) REPLACE_SV (GvAV (PL_defgv), c->defav);
318	if (c->defsv) REPLACE_SV (DEFSV , c->defsv);	314	if (c->defsv) REPLACE_SV (DEFSV , c->defsv);
319	if (c->errsv) REPLACE_SV (ERRSV , c->errsv);	315	if (c->errsv) REPLACE_SV (ERRSV , c->errsv);
…		…
418	/* but if it's missing the defav contents magically get replaced sometimes */	414	/* but if it's missing the defav contents magically get replaced sometimes */
419	if (c->defav)	415	if (c->defav)
420	av_reify (c->defav);	416	av_reify (c->defav);
421		417
422	c->dowarn = PL_dowarn;	418	c->dowarn = PL_dowarn;
		419	c->in_eval = PL_in_eval;
423		420
424	c->curstackinfo = PL_curstackinfo;	421	c->curstackinfo = PL_curstackinfo;
425	c->curstack = PL_curstack;	422	c->curstack = PL_curstack;
426	c->mainstack = PL_mainstack;	423	c->mainstack = PL_mainstack;
427	c->stack_sp = PL_stack_sp;	424	c->stack_sp = PL_stack_sp;
…		…
444	c->savestack_max = PL_savestack_max;	441	c->savestack_max = PL_savestack_max;
445	c->retstack = PL_retstack;	442	c->retstack = PL_retstack;
446	c->retstack_ix = PL_retstack_ix;	443	c->retstack_ix = PL_retstack_ix;
447	c->retstack_max = PL_retstack_max;	444	c->retstack_max = PL_retstack_max;
448	c->curcop = PL_curcop;	445	c->curcop = PL_curcop;
449	c->start_env = PL_start_env;
450	c->top_env = PL_top_env;	446	c->top_env = PL_top_env;
451	}	447	}
452		448
453	/*	449	/*
454	* allocate various perl stacks. This is an exact copy	450	* allocate various perl stacks. This is an exact copy
…		…
518	dSP;	514	dSP;
519	SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack);	515	SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack);
520	PUTBACK; /* possibly superfluous */	516	PUTBACK; /* possibly superfluous */
521	}	517	}
522		518
		519	if (PL_main_cv != Nullcv) /* don't during destruction. hack? */
523	dounwind(-1);	520	dounwind(-1);
524		521
525	SvREFCNT_dec(PL_curstackinfo->si_stack);	522	SvREFCNT_dec(PL_curstackinfo->si_stack);
526	Safefree(PL_curstackinfo->si_cxstack);	523	Safefree(PL_curstackinfo->si_cxstack);
527	Safefree(PL_curstackinfo);	524	Safefree(PL_curstackinfo);
528	PL_curstackinfo = p;	525	PL_curstackinfo = p;
…		…
545	stack->refcnt = 1;	542	stack->refcnt = 1;
546	stack->usecnt = 1;	543	stack->usecnt = 1;
547	stack->gencnt = ctx->gencnt = 0;	544	stack->gencnt = ctx->gencnt = 0;
548	if (alloc)	545	if (alloc)
549	{	546	{
550	#ifdef HAVE_MMAP	547	#ifdef HAVE_MMAP
551	stack->ssize = 128 * 1024 * sizeof (long); /* mmap should do allocate-on-use */	548	stack->ssize = 128 * 1024 * sizeof (long); /* mmap should do allocate-on-write for us */
552	stack->sptr = mmap (0, stack->ssize, PROT_EXEC\|PROT_READ\|PROT_WRITE, MAP_PRIVATE\|MAP_ANON, 0, 0);	549	stack->sptr = mmap (0, stack->ssize, PROT_EXEC\|PROT_READ\|PROT_WRITE, MAP_PRIVATE\|MAP_ANON, 0, 0);
553	if (stack->sptr == (void *)-1)	550	if (stack->sptr == (void *)-1)
554	#endif	551	#endif
555	{	552	{
556	/FIXME//D//* reasonable stack size! */	553	/FIXME//D//* reasonable stack size! */
…		…
598	dSP;	595	dSP;
599	Coro__State ctx = (Coro__State)arg;	596	Coro__State ctx = (Coro__State)arg;
600	SV sub_init = (SV)get_cv(SUB_INIT, FALSE);	597	SV sub_init = (SV)get_cv(SUB_INIT, FALSE);
601		598
602	coro_init_stacks (aTHX);	599	coro_init_stacks (aTHX);
603	JMPENV_BOOTSTRAP;
604	SPAGAIN;
605
606	/PL_curcop = 0;/	600	/PL_curcop = 0;/
		601	/PL_in_eval = PL_in_eval;/ /* inherit */
607	SvREFCNT_dec (GvAV (PL_defgv));	602	SvREFCNT_dec (GvAV (PL_defgv));
608	GvAV (PL_defgv) = ctx->args;	603	GvAV (PL_defgv) = ctx->args;
609		604
		605	SPAGAIN;
		606
610	if (ctx->stack)	607	if (ctx->stack)
611	{	608	{
612	ctx->cursp = 0;	609	ctx->cursp = 0;
613		610
614	PUSHMARK(SP);	611	PUSHMARK(SP);
615	PUTBACK;	612	PUTBACK;
616	(void) call_sv (sub_init, G_VOID\|G_NOARGS);	613	(void) call_sv (sub_init, G_VOID\|G_NOARGS\|G_EVAL);
		614
		615	if (SvTRUE (ERRSV))
		616	croak (NULL);
		617	else
617	croak ("FATAL: CCTXT coroutine returned!");	618	croak ("FATAL: CCTXT coroutine returned!");
618	}	619	}
619	else	620	else
620	{	621	{
621	UNOP myop;	622	UNOP myop;
622		623
…		…
649	/*	650	/*
650	* this is a _very_ stripped down perl interpreter ;)	651	* this is a _very_ stripped down perl interpreter ;)
651	*/	652	*/
652	Coro__State ctx = (Coro__State)arg;	653	Coro__State ctx = (Coro__State)arg;
653		654
		655	/FIXME//* must set up top_env here */
654	ctx->cursp = 0;	656	ctx->cursp = 0;
655	PL_op = PL_op->op_next;	657	PL_op = PL_op->op_next;
656	CALLRUNOPS(aTHX);	658	CALLRUNOPS(aTHX);
657	/NORETURN/	659
658	abort ();	660	abort ();
659	}	661	}
660		662
661	STATIC void	663	STATIC void
662	transfer(pTHX_ struct coro prev, struct coro next, int flags)	664	transfer(pTHX_ struct coro prev, struct coro next, int flags)
…		…
736	}	738	}
737		739
738	next->cursp = stacklevel;	740	next->cursp = stacklevel;
739	}	741	}
740		742
		743	static struct coro *
		744	sv_to_coro (SV arg, const char funcname, const char *varname)
		745	{
		746	if (SvROK(arg) && SvTYPE(SvRV(arg)) == SVt_PVHV)
		747	{
		748	HE he = hv_fetch_ent((HV )SvRV(arg), ucoro_state_sv, 0, ucoro_state_hash);
		749
		750	if (!he)
		751	croak ("%s() -- %s is a hashref but lacks the " UCORO_STATE " key", funcname, varname);
		752
		753	arg = HeVAL(he);
		754	}
		755
		756	/* must also be changed inside Coro::Cont::yield */
		757	if (SvROK(arg) && SvSTASH(SvRV(arg)) == coro_state_stash)
		758	return (struct coro ) SvIV((SV)SvRV(arg));
		759
		760	croak ("%s() -- %s is not (and contains not) a Coro::State object", funcname, varname);
		761	/NORETURN/
		762	}
		763
		764	static void
		765	api_transfer(pTHX_ SV prev, SV next, int flags)
		766	{
		767	transfer(aTHX_
		768	sv_to_coro (prev, "Coro::transfer", "prev"),
		769	sv_to_coro (next, "Coro::transfer", "next"),
		770	flags);
		771	}
		772
		773	/ Coro ******************************************************************/
		774
		775	#define PRIO_MAX 3
		776	#define PRIO_HIGH 1
		777	#define PRIO_NORMAL 0
		778	#define PRIO_LOW -1
		779	#define PRIO_IDLE -3
		780	#define PRIO_MIN -4
		781
		782	/* for Coro.pm */
		783	static GV coro_current, coro_idle;
		784	static AV *coro_ready[PRIO_MAX-PRIO_MIN+1];
		785	static int coro_nready;
		786
		787	static void
		788	coro_enq (SV *sv)
		789	{
		790	if (SvROK (sv))
		791	{
		792	SV *hv = SvRV (sv);
		793	if (SvTYPE (hv) == SVt_PVHV)
		794	{
		795	SV *xprio = hv_fetch ((HV )hv, "prio", 4, 0);
		796	int prio = xprio ? SvIV (*xprio) : PRIO_NORMAL;
		797
		798	prio = prio > PRIO_MAX ? PRIO_MAX
		799	: prio < PRIO_MIN ? PRIO_MIN
		800	: prio;
		801
		802	av_push (coro_ready [prio - PRIO_MIN], sv);
		803	coro_nready++;
		804
		805	return;
		806	}
		807	}
		808
		809	croak ("Coro::ready tried to enqueue something that is not a coroutine");
		810	}
		811
		812	static SV *
		813	coro_deq (int min_prio)
		814	{
		815	int prio = PRIO_MAX - PRIO_MIN;
		816
		817	min_prio -= PRIO_MIN;
		818	if (min_prio < 0)
		819	min_prio = 0;
		820
		821	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
		822	if (av_len (coro_ready[prio]) >= 0)
		823	{
		824	coro_nready--;
		825	return av_shift (coro_ready[prio]);
		826	}
		827
		828	return 0;
		829	}
		830
		831	static void
		832	api_ready (SV *coro)
		833	{
		834	coro_enq (SvREFCNT_inc (coro));
		835	}
		836
		837	static void
		838	api_schedule (int cede)
		839	{
		840	SV prev, next;
		841
		842	prev = GvSV (coro_current);
		843
		844	if (cede)
		845	coro_enq (SvREFCNT_inc (prev));
		846
		847	next = coro_deq (PRIO_MIN);
		848
		849	if (!next)
		850	next = SvREFCNT_inc (GvSV (coro_idle));
		851
		852	GvSV (coro_current) = SvREFCNT_inc (next);
		853	transfer (aTHX_
		854	sv_to_coro (prev, "Coro::schedule", "current coroutine"),
		855	sv_to_coro (next, "Coro::schedule", "next coroutine"),
		856	TRANSFER_SAVE_ALL \| TRANSFER_LAZY_STACK);
		857	SvREFCNT_dec (next);
		858	SvREFCNT_dec (prev);
		859	}
		860
741	MODULE = Coro::State PACKAGE = Coro::State	861	MODULE = Coro::State PACKAGE = Coro::State
742		862
743	PROTOTYPES: ENABLE	863	PROTOTYPES: ENABLE
744		864
745	BOOT:	865	BOOT:
…		…
755		875
756	if (!padlist_cache)	876	if (!padlist_cache)
757	padlist_cache = newHV ();	877	padlist_cache = newHV ();
758		878
759	main_mainstack = PL_mainstack;	879	main_mainstack = PL_mainstack;
		880
		881	coroapi.ver = CORO_API_VERSION;
		882	coroapi.transfer = api_transfer;
760	}	883	}
761		884
762	Coro::State	885	Coro::State
763	_newprocess(args)	886	_newprocess(args)
764	SV * args	887	SV * args
…		…
778	RETVAL = coro;	901	RETVAL = coro;
779	OUTPUT:	902	OUTPUT:
780	RETVAL	903	RETVAL
781		904
782	void	905	void
783	transfer(prev, next, flags = TRANSFER_SAVE_ALL \| TRANSFER_LAZY_STACK)	906	transfer(prev, next, flags)
784	Coro::State_or_hashref prev	907	Coro::State_or_hashref prev
785	Coro::State_or_hashref next	908	Coro::State_or_hashref next
786	int flags	909	int flags
787	PROTOTYPE: @	910	PROTOTYPE: @
788	CODE:	911	CODE:
		912	PUTBACK;
789	transfer (aTHX_ prev, next, flags);	913	transfer (aTHX_ prev, next, flags);
		914	SPAGAIN;
790		915
791	void	916	void
792	DESTROY(coro)	917	DESTROY(coro)
793	Coro::State coro	918	Coro::State coro
794	CODE:	919	CODE:
…		…
816	CODE:	941	CODE:
817	#ifdef MAY_FLUSH	942	#ifdef MAY_FLUSH
818	flush_padlist_cache ();	943	flush_padlist_cache ();
819	#endif	944	#endif
820		945
		946	void
		947	_exit(code)
		948	int code
		949	PROTOTYPE: $
		950	CODE:
		951	#if defined(__GLIBC__) \|\| _POSIX_C_SOURCE
		952	_exit (code);
		953	#else
		954	signal (SIGTERM, SIG_DFL);
		955	raise (SIGTERM);
		956	exit (code);
		957	#endif
		958
821	MODULE = Coro::State PACKAGE = Coro::Cont	959	MODULE = Coro::State PACKAGE = Coro::Cont
822		960
823	# this is slightly dirty	961	# this is slightly dirty (should expose a c-level api)
824		962
825	void	963	void
826	yield(...)	964	yield(...)
827	PROTOTYPE: @	965	PROTOTYPE: @
828	CODE:	966	CODE:
…		…
846	next = (struct coro )SvIV ((SV)SvRV (av_fetch ((AV )SvRV (sv), 1, 0)));	984	next = (struct coro )SvIV ((SV)SvRV (av_fetch ((AV )SvRV (sv), 1, 0)));
847	SvREFCNT_dec (sv);	985	SvREFCNT_dec (sv);
848		986
849	transfer(aTHX_ prev, next, 0);	987	transfer(aTHX_ prev, next, 0);
850		988
		989	MODULE = Coro::State PACKAGE = Coro
		990
		991	# this is slightly dirty (should expose a c-level api)
		992
		993	BOOT:
		994	{
		995	int i;
		996	HV *stash = gv_stashpv ("Coro", TRUE);
		997
		998	newCONSTSUB (stash, "PRIO_MAX", newSViv (PRIO_MAX));
		999	newCONSTSUB (stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
		1000	newCONSTSUB (stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
		1001	newCONSTSUB (stash, "PRIO_LOW", newSViv (PRIO_LOW));
		1002	newCONSTSUB (stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
		1003	newCONSTSUB (stash, "PRIO_MIN", newSViv (PRIO_MIN));
		1004
		1005	coro_current = gv_fetchpv ("Coro::current", TRUE, SVt_PV);
		1006	coro_idle = gv_fetchpv ("Coro::idle" , TRUE, SVt_PV);
		1007
		1008	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
		1009	coro_ready[i] = newAV ();
		1010
		1011	{
		1012	SV *sv = perl_get_sv("Coro::API", 1);
		1013
		1014	coroapi.schedule = api_schedule;
		1015	coroapi.ready = api_ready;
		1016	coroapi.nready = &coro_nready;
		1017	coroapi.current = coro_current;
		1018
		1019	GCoroAPI = &coroapi;
		1020	sv_setiv(sv, (IV)&coroapi);
		1021	SvREADONLY_on(sv);
		1022	}
		1023	}
		1024
		1025	void
		1026	ready(self)
		1027	SV * self
		1028	CODE:
		1029	api_ready (self);
		1030
		1031	int
		1032	nready(...)
		1033	PROTOTYPE:
		1034	CODE:
		1035	RETVAL = coro_nready;
		1036	OUTPUT:
		1037	RETVAL
		1038
		1039	void
		1040	schedule(...)
		1041	PROTOTYPE:
		1042	ALIAS:
		1043	cede = 1
		1044	CODE:
		1045	api_schedule (ix);
		1046

Diff Legend

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

Comparing Coro/Coro/State.xs (file contents): Revision 1.15 by root, Wed Jul 25 04:14:38 2001 UTC vs. Revision 1.27 by root, Mon Aug 20 16:58:19 2001 UTC

Diff Legend

Comparing Coro/Coro/State.xs (file contents):
Revision 1.15 by root, Wed Jul 25 04:14:38 2001 UTC vs.
Revision 1.27 by root, Mon Aug 20 16:58:19 2001 UTC