[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.26 by root, Fri Aug 17 01:45:39 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	};
…		…
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	else
		760	croak ("%s() -- %s is not (and contains not) a Coro::State object", funcname, varname);
		761	}
		762
		763	static void
		764	api_transfer(pTHX_ SV prev, SV next, int flags)
		765	{
		766	transfer(aTHX_ sv_to_coro (prev, "Coro::transfer", "prev"),
		767	sv_to_coro (next, "Coro::transfer", "next"),
		768	flags);
		769	}
		770
		771	/ Coro ******************************************************************/
		772
		773	#define PRIO_MAX 3
		774	#define PRIO_HIGH 1
		775	#define PRIO_NORMAL 0
		776	#define PRIO_LOW -1
		777	#define PRIO_IDLE -3
		778	#define PRIO_MIN -4
		779
		780	/* for Coro.pm */
		781	static GV coro_current, coro_idle;
		782	static AV *coro_ready[PRIO_MAX-PRIO_MIN+1];
		783	static int coro_nready;
		784
		785	static void
		786	coro_enq (SV *sv)
		787	{
		788	if (SvROK (sv))
		789	{
		790	SV *hv = SvRV (sv);
		791	if (SvTYPE (hv) == SVt_PVHV)
		792	{
		793	SV *xprio = hv_fetch ((HV )hv, "prio", 4, 0);
		794	int prio = xprio ? SvIV (*xprio) : PRIO_NORMAL;
		795
		796	prio = prio > PRIO_MAX ? PRIO_MAX
		797	: prio < PRIO_MIN ? PRIO_MIN
		798	: prio;
		799
		800	av_push (coro_ready [prio - PRIO_MIN], sv);
		801	coro_nready++;
		802
		803	return;
		804	}
		805	}
		806
		807	croak ("Coro::ready tried to enqueue something that is not a coroutine");
		808	}
		809
		810	static SV *
		811	coro_deq (int min_prio)
		812	{
		813	int prio = PRIO_MAX - PRIO_MIN;
		814
		815	min_prio -= PRIO_MIN;
		816	if (min_prio < 0)
		817	min_prio = 0;
		818
		819	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
		820	if (av_len (coro_ready[prio]) >= 0)
		821	{
		822	coro_nready--;
		823	return av_shift (coro_ready[prio]);
		824	}
		825
		826	return 0;
		827	}
		828
		829	static void
		830	api_ready (SV *coro)
		831	{
		832	coro_enq (SvREFCNT_inc (coro));
		833	}
		834
		835	static void
		836	api_schedule (int cede)
		837	{
		838	SV prev, next;
		839
		840	prev = GvSV (coro_current);
		841
		842	if (cede)
		843	coro_enq (SvREFCNT_inc (prev));
		844
		845	next = coro_deq (PRIO_MIN);
		846
		847	if (!next)
		848	next = SvREFCNT_inc (GvSV (coro_idle));
		849
		850	GvSV (coro_current) = SvREFCNT_inc (next);
		851	transfer (sv_to_coro (prev, "Coro::schedule", "current coroutine"),
		852	sv_to_coro (next, "Coro::schedule", "next coroutine"),
		853	TRANSFER_SAVE_ALL \| TRANSFER_LAZY_STACK);
		854	SvREFCNT_dec (next);
		855	SvREFCNT_dec (prev);
		856	}
		857
741	MODULE = Coro::State PACKAGE = Coro::State	858	MODULE = Coro::State PACKAGE = Coro::State
742		859
743	PROTOTYPES: ENABLE	860	PROTOTYPES: ENABLE
744		861
745	BOOT:	862	BOOT:
…		…
755		872
756	if (!padlist_cache)	873	if (!padlist_cache)
757	padlist_cache = newHV ();	874	padlist_cache = newHV ();
758		875
759	main_mainstack = PL_mainstack;	876	main_mainstack = PL_mainstack;
		877
		878	coroapi.ver = CORO_API_VERSION;
		879	coroapi.transfer = api_transfer;
760	}	880	}
761		881
762	Coro::State	882	Coro::State
763	_newprocess(args)	883	_newprocess(args)
764	SV * args	884	SV * args
…		…
778	RETVAL = coro;	898	RETVAL = coro;
779	OUTPUT:	899	OUTPUT:
780	RETVAL	900	RETVAL
781		901
782	void	902	void
783	transfer(prev, next, flags = TRANSFER_SAVE_ALL \| TRANSFER_LAZY_STACK)	903	transfer(prev, next, flags)
784	Coro::State_or_hashref prev	904	Coro::State_or_hashref prev
785	Coro::State_or_hashref next	905	Coro::State_or_hashref next
786	int flags	906	int flags
787	PROTOTYPE: @	907	PROTOTYPE: @
788	CODE:	908	CODE:
		909	PUTBACK;
789	transfer (aTHX_ prev, next, flags);	910	transfer (aTHX_ prev, next, flags);
		911	SPAGAIN;
790		912
791	void	913	void
792	DESTROY(coro)	914	DESTROY(coro)
793	Coro::State coro	915	Coro::State coro
794	CODE:	916	CODE:
…		…
816	CODE:	938	CODE:
817	#ifdef MAY_FLUSH	939	#ifdef MAY_FLUSH
818	flush_padlist_cache ();	940	flush_padlist_cache ();
819	#endif	941	#endif
820		942
		943	void
		944	_exit(code)
		945	int code
		946	PROTOTYPE: $
		947	CODE:
		948	#if defined(__GLIBC__) \|\| _POSIX_C_SOURCE
		949	_exit (code);
		950	#else
		951	signal (SIGTERM, SIG_DFL);
		952	raise (SIGTERM);
		953	exit (code);
		954	#endif
		955
821	MODULE = Coro::State PACKAGE = Coro::Cont	956	MODULE = Coro::State PACKAGE = Coro::Cont
822		957
823	# this is slightly dirty	958	# this is slightly dirty (should expose a c-level api)
824		959
825	void	960	void
826	yield(...)	961	yield(...)
827	PROTOTYPE: @	962	PROTOTYPE: @
828	CODE:	963	CODE:
…		…
846	next = (struct coro )SvIV ((SV)SvRV (av_fetch ((AV )SvRV (sv), 1, 0)));	981	next = (struct coro )SvIV ((SV)SvRV (av_fetch ((AV )SvRV (sv), 1, 0)));
847	SvREFCNT_dec (sv);	982	SvREFCNT_dec (sv);
848		983
849	transfer(aTHX_ prev, next, 0);	984	transfer(aTHX_ prev, next, 0);
850		985
		986	MODULE = Coro::State PACKAGE = Coro
		987
		988	# this is slightly dirty (should expose a c-level api)
		989
		990	BOOT:
		991	{
		992	int i;
		993	HV *stash = gv_stashpv ("Coro", TRUE);
		994
		995	newCONSTSUB (stash, "PRIO_MAX", newSViv (PRIO_MAX));
		996	newCONSTSUB (stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
		997	newCONSTSUB (stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
		998	newCONSTSUB (stash, "PRIO_LOW", newSViv (PRIO_LOW));
		999	newCONSTSUB (stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
		1000	newCONSTSUB (stash, "PRIO_MIN", newSViv (PRIO_MIN));
		1001
		1002	coro_current = gv_fetchpv ("Coro::current", TRUE, SVt_PV);
		1003	coro_idle = gv_fetchpv ("Coro::idle" , TRUE, SVt_PV);
		1004
		1005	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
		1006	coro_ready[i] = newAV ();
		1007
		1008	{
		1009	SV *sv = perl_get_sv("Coro::API", 1);
		1010
		1011	coroapi.schedule = api_schedule;
		1012	coroapi.ready = api_ready;
		1013	coroapi.nready = &coro_nready;
		1014	coroapi.current = coro_current;
		1015
		1016	GCoroAPI = &coroapi;
		1017	sv_setiv(sv, (IV)&coroapi);
		1018	SvREADONLY_on(sv);
		1019	}
		1020	}
		1021
		1022	void
		1023	ready(self)
		1024	SV * self
		1025	CODE:
		1026	api_ready (self);
		1027
		1028	int
		1029	nready(...)
		1030	PROTOTYPE:
		1031	CODE:
		1032	RETVAL = coro_nready;
		1033	OUTPUT:
		1034	RETVAL
		1035
		1036	void
		1037	schedule(...)
		1038	PROTOTYPE:
		1039	ALIAS:
		1040	cede = 1
		1041	CODE:
		1042	api_schedule (ix);
		1043

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.26 by root, Fri Aug 17 01:45:39 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.26 by root, Fri Aug 17 01:45:39 2001 UTC