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

Comparing Coro/Coro/State.xs (file contents):
Revision 1.19 by root, Sun Jul 29 01:11:41 2001 UTC vs.
Revision 1.28 by root, Sat Aug 25 21:32:05 2001 UTC

…		…
1	#include "EXTERN.h"	1	#include "EXTERN.h"
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
		7	#include <signal.h>
6		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>
10	# ifndef MAP_ANON	12	# ifndef MAP_ANON
14	# undef HAVE_MMAP	16	# undef HAVE_MMAP
15	# endif	17	# endif
16	# endif	18	# endif
17	#endif	19	#endif
18		20
19	#define MAY_FLUSH /* increases codesize */	21	#define MAY_FLUSH /* increases codesize and is rarely used */
20
21	/* perl-related */
22	#define TRANSFER_SAVE_DEFAV 0x00000001
23	#define TRANSFER_SAVE_DEFSV 0x00000002
24	#define TRANSFER_SAVE_ERRSV 0x00000004
25	/* c-related */
26	#define TRANSFER_SAVE_CCTXT 0x00000008
27	#ifdef CORO_LAZY_STACK
28	# define TRANSFER_LAZY_STACK 0x00000010
29	#else
30	# define TRANSFER_LAZY_STACK 0x00000000
31	#endif
32
33	#define TRANSFER_SAVE_ALL (TRANSFER_SAVE_DEFAV\|TRANSFER_SAVE_DEFSV \
34	\|TRANSFER_SAVE_ERRSV\|TRANSFER_SAVE_CCTXT)
35		22
36	#define SUB_INIT "Coro::State::initialize"	23	#define SUB_INIT "Coro::State::initialize"
37	#define UCORO_STATE "_coro_state"	24	#define UCORO_STATE "_coro_state"
38		25
39	/* The next macro should delcare a variable stacklevel that contains and approximation	26	/* The next macro should declare a variable stacklevel that contains and approximation
40	* 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
41	* and should be unique. */	28	* and should be unique. */
42	#define dSTACKLEVEL void *stacklevel = &stacklevel	29	#define dSTACKLEVEL void *stacklevel = &stacklevel
43		30
44	#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;
45		36
46	/* 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... */
47	typedef struct {	38	typedef struct {
48	int refcnt; /* pointer reference counter */	39	int refcnt; /* pointer reference counter */
49	int usecnt; /* shared by how many coroutines */	40	int usecnt; /* shared by how many coroutines */
…		…
204		195
205	return newpadlist;	196	return newpadlist;
206	}	197	}
207		198
208	#ifdef MAY_FLUSH	199	#ifdef MAY_FLUSH
209	STATIC AV *	200	STATIC void
210	free_padlist (AV *padlist)	201	free_padlist (AV *padlist)
211	{	202	{
212	/* may be during global destruction */	203	/* may be during global destruction */
213	if (SvREFCNT(padlist))	204	if (SvREFCNT(padlist))
214	{	205	{
…		…
279	#endif	270	#endif
280		271
281	#define SB do {	272	#define SB do {
282	#define SE } while (0)	273	#define SE } while (0)
283		274
284	#define LOAD(state) SB load_state(aTHX_ (state)); SPAGAIN; SE	275	#define LOAD(state) load_state(aTHX_ (state));
285	#define SAVE(state,flags) SB PUTBACK; save_state(aTHX_ (state),(flags)); SE	276	#define SAVE(state,flags) save_state(aTHX_ (state),(flags));
286		277
287	#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); SE	278	#define REPLACE_SV(sv,val) SB SvREFCNT_dec(sv); (sv) = (val); SE
288		279
289	static void	280	static void
290	load_state(pTHX_ Coro__State c)	281	load_state(pTHX_ Coro__State c)
…		…
417		408
418	c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0;	409	c->defav = flags & TRANSFER_SAVE_DEFAV ? (AV *)SvREFCNT_inc (GvAV (PL_defgv)) : 0;
419	c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0;	410	c->defsv = flags & TRANSFER_SAVE_DEFSV ? SvREFCNT_inc (DEFSV) : 0;
420	c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0;	411	c->errsv = flags & TRANSFER_SAVE_ERRSV ? SvREFCNT_inc (ERRSV) : 0;
421		412
422	/* I have not the slightest idea of why av_reify is necessary */
423	/* but if it's missing the defav contents magically get replaced sometimes */
424	if (c->defav)
425	av_reify (c->defav);
426
427	c->dowarn = PL_dowarn;	413	c->dowarn = PL_dowarn;
428	c->in_eval = PL_in_eval;	414	c->in_eval = PL_in_eval;
429		415
430	c->curstackinfo = PL_curstackinfo;	416	c->curstackinfo = PL_curstackinfo;
431	c->curstack = PL_curstack;	417	c->curstack = PL_curstack;
…		…
523	dSP;	509	dSP;
524	SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack);	510	SWITCHSTACK (PL_curstack, PL_curstackinfo->si_stack);
525	PUTBACK; /* possibly superfluous */	511	PUTBACK; /* possibly superfluous */
526	}	512	}
527		513
		514	if (PL_main_cv != Nullcv) /* don't during destruction. hack? */
528	dounwind(-1);	515	dounwind(-1);
529		516
530	SvREFCNT_dec(PL_curstackinfo->si_stack);	517	SvREFCNT_dec(PL_curstackinfo->si_stack);
531	Safefree(PL_curstackinfo->si_cxstack);	518	Safefree(PL_curstackinfo->si_cxstack);
532	Safefree(PL_curstackinfo);	519	Safefree(PL_curstackinfo);
533	PL_curstackinfo = p;	520	PL_curstackinfo = p;
…		…
576		563
577	ctx->stack = 0;	564	ctx->stack = 0;
578		565
579	if (stack)	566	if (stack)
580	{	567	{
		568	printf ("deallocating stack %p %d\n", stack, stack->refcnt);/D/
581	if (!--stack->refcnt)	569	if (!--stack->refcnt)
582	{	570	{
583	#ifdef HAVE_MMAP	571	#ifdef HAVE_MMAP
584	if (stack->ssize > 0 && stack->sptr)	572	if (stack->ssize > 0 && stack->sptr)
585	munmap (stack->sptr, stack->ssize);	573	munmap (stack->sptr, stack->ssize);
…		…
669	}	657	}
670		658
671	STATIC void	659	STATIC void
672	transfer(pTHX_ struct coro prev, struct coro next, int flags)	660	transfer(pTHX_ struct coro prev, struct coro next, int flags)
673	{	661	{
674	dSP;
675	dSTACKLEVEL;	662	dSTACKLEVEL;
		663	static struct coro *xnext;
676		664
		665	printf ("%p => %p\n", prev, next);/D/
677	if (prev != next)	666	if (prev != next)
678	{	667	{
		668	xnext = next;
		669
679	if (next->mainstack)	670	if (next->mainstack)
680	{	671	{
681	SAVE (prev, flags);	672	SAVE (prev, flags);
682	LOAD (next);	673	LOAD (next);
683		674
…		…
706	continue_coro, (void *)next,	697	continue_coro, (void *)next,
707	next->stack->sptr, labs (next->stack->ssize));	698	next->stack->sptr, labs (next->stack->ssize));
708	}	699	}
709		700
710	coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));	701	coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));
		702	/* don't add any code here */
711	}	703	}
712		704
713	}	705	}
714	else if (next->tmps_ix == -2)	706	else if (next->tmps_ix == -2)
715	croak ("tried to transfer to running coroutine");	707	croak ("tried to transfer to running coroutine");
…		…
736	allocate_stack (next, 1);	728	allocate_stack (next, 1);
737	coro_create (&(next->stack->cctx),	729	coro_create (&(next->stack->cctx),
738	setup_coro, (void *)next,	730	setup_coro, (void *)next,
739	next->stack->sptr, labs (next->stack->ssize));	731	next->stack->sptr, labs (next->stack->ssize));
740	coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));	732	coro_transfer (&(prev->stack->cctx), &(next->stack->cctx));
		733	/* don't add any code here */
741	}	734	}
742	}	735	}
743	else	736	else
744	setup_coro (next);	737	setup_coro (next);
745	}	738	}
746	}	739	}
747		740
748	next->cursp = stacklevel;	741	xnext->cursp = stacklevel;
		742	}
		743
		744	static struct coro *
		745	sv_to_coro (SV arg, const char funcname, const char *varname)
		746	{
		747	if (SvROK(arg) && SvTYPE(SvRV(arg)) == SVt_PVHV)
		748	{
		749	HE he = hv_fetch_ent((HV )SvRV(arg), ucoro_state_sv, 0, ucoro_state_hash);
		750
		751	if (!he)
		752	croak ("%s() -- %s is a hashref but lacks the " UCORO_STATE " key", funcname, varname);
		753
		754	arg = HeVAL(he);
		755	}
		756
		757	/* must also be changed inside Coro::Cont::yield */
		758	if (SvROK(arg) && SvSTASH(SvRV(arg)) == coro_state_stash)
		759	return (struct coro ) SvIV((SV)SvRV(arg));
		760
		761	croak ("%s() -- %s is not (and contains not) a Coro::State object", funcname, varname);
		762	/NORETURN/
		763	}
		764
		765	static void
		766	api_transfer(pTHX_ SV prev, SV next, int flags)
		767	{
		768	transfer(aTHX_
		769	sv_to_coro (prev, "Coro::transfer", "prev"),
		770	sv_to_coro (next, "Coro::transfer", "next"),
		771	flags);
		772	}
		773
		774	/ Coro ******************************************************************/
		775
		776	#define PRIO_MAX 3
		777	#define PRIO_HIGH 1
		778	#define PRIO_NORMAL 0
		779	#define PRIO_LOW -1
		780	#define PRIO_IDLE -3
		781	#define PRIO_MIN -4
		782
		783	/* for Coro.pm */
		784	static GV coro_current, coro_idle;
		785	static AV *coro_ready[PRIO_MAX-PRIO_MIN+1];
		786	static int coro_nready;
		787
		788	static void
		789	coro_enq (SV *sv)
		790	{
		791	if (SvROK (sv))
		792	{
		793	SV *hv = SvRV (sv);
		794	if (SvTYPE (hv) == SVt_PVHV)
		795	{
		796	SV *xprio = hv_fetch ((HV )hv, "prio", 4, 0);
		797	int prio = xprio ? SvIV (*xprio) : PRIO_NORMAL;
		798
		799	prio = prio > PRIO_MAX ? PRIO_MAX
		800	: prio < PRIO_MIN ? PRIO_MIN
		801	: prio;
		802
		803	av_push (coro_ready [prio - PRIO_MIN], sv);
		804	coro_nready++;
		805
		806	return;
		807	}
		808	}
		809
		810	croak ("Coro::ready tried to enqueue something that is not a coroutine");
		811	}
		812
		813	static SV *
		814	coro_deq (int min_prio)
		815	{
		816	int prio = PRIO_MAX - PRIO_MIN;
		817
		818	min_prio -= PRIO_MIN;
		819	if (min_prio < 0)
		820	min_prio = 0;
		821
		822	for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= min_prio; )
		823	if (av_len (coro_ready[prio]) >= 0)
		824	{
		825	coro_nready--;
		826	return av_shift (coro_ready[prio]);
		827	}
		828
		829	return 0;
		830	}
		831
		832	static void
		833	api_ready (SV *coro)
		834	{
		835	coro_enq (SvREFCNT_inc (coro));
		836	}
		837
		838	static void
		839	api_schedule (int cede)
		840	{
		841	SV prev, next;
		842
		843	prev = GvSV (coro_current);
		844
		845	if (cede)
		846	coro_enq (SvREFCNT_inc (prev));
		847
		848	next = coro_deq (PRIO_MIN);
		849
		850	if (!next)
		851	next = SvREFCNT_inc (GvSV (coro_idle));
		852
		853	GvSV (coro_current) = SvREFCNT_inc (next);
		854	transfer (aTHX_
		855	sv_to_coro (prev, "Coro::schedule", "current coroutine"),
		856	sv_to_coro (next, "Coro::schedule", "next coroutine"),
		857	TRANSFER_SAVE_ALL \| TRANSFER_LAZY_STACK);
		858	SvREFCNT_dec (next);
		859	SvREFCNT_dec (prev);
749	}	860	}
750		861
751	MODULE = Coro::State PACKAGE = Coro::State	862	MODULE = Coro::State PACKAGE = Coro::State
752		863
753	PROTOTYPES: ENABLE	864	PROTOTYPES: ENABLE
…		…
765		876
766	if (!padlist_cache)	877	if (!padlist_cache)
767	padlist_cache = newHV ();	878	padlist_cache = newHV ();
768		879
769	main_mainstack = PL_mainstack;	880	main_mainstack = PL_mainstack;
		881
		882	coroapi.ver = CORO_API_VERSION;
		883	coroapi.transfer = api_transfer;
770	}	884	}
771		885
772	Coro::State	886	Coro::State
773	_newprocess(args)	887	_newprocess(args)
774	SV * args	888	SV * args
…		…
788	RETVAL = coro;	902	RETVAL = coro;
789	OUTPUT:	903	OUTPUT:
790	RETVAL	904	RETVAL
791		905
792	void	906	void
793	transfer(prev, next, flags = TRANSFER_SAVE_ALL \| TRANSFER_LAZY_STACK)	907	transfer(prev, next, flags)
794	Coro::State_or_hashref prev	908	Coro::State_or_hashref prev
795	Coro::State_or_hashref next	909	Coro::State_or_hashref next
796	int flags	910	int flags
797	PROTOTYPE: @	911	PROTOTYPE: @
798	CODE:	912	CODE:
		913	PUTBACK;
799	transfer (aTHX_ prev, next, flags);	914	transfer (aTHX_ prev, next, flags);
		915	SPAGAIN;
800		916
801	void	917	void
802	DESTROY(coro)	918	DESTROY(coro)
803	Coro::State coro	919	Coro::State coro
804	CODE:	920	CODE:
805		921
806	if (coro->mainstack && coro->mainstack != main_mainstack)	922	if (coro->mainstack && coro->mainstack != main_mainstack)
807	{	923	{
808	struct coro temp;	924	struct coro temp;
809		925
		926	PUTBACK;
810	SAVE(aTHX_ (&temp), TRANSFER_SAVE_ALL);	927	SAVE(aTHX_ (&temp), TRANSFER_SAVE_ALL);
811	LOAD(aTHX_ coro);	928	LOAD(aTHX_ coro);
		929	SPAGAIN;
812		930
813	destroy_stacks (aTHX);	931	destroy_stacks (aTHX);
814		932
815	LOAD((&temp)); /* this will get rid of defsv etc.. */	933	LOAD((&temp)); /* this will get rid of defsv etc.. */
		934	SPAGAIN;
816		935
817	coro->mainstack = 0;	936	coro->mainstack = 0;
818	}	937	}
819		938
820	deallocate_stack (coro);	939	deallocate_stack (coro);
…		…
826	CODE:	945	CODE:
827	#ifdef MAY_FLUSH	946	#ifdef MAY_FLUSH
828	flush_padlist_cache ();	947	flush_padlist_cache ();
829	#endif	948	#endif
830		949
		950	void
		951	_exit(code)
		952	int code
		953	PROTOTYPE: $
		954	CODE:
		955	#if defined(__GLIBC__) \|\| _POSIX_C_SOURCE
		956	_exit (code);
		957	#else
		958	signal (SIGTERM, SIG_DFL);
		959	raise (SIGTERM);
		960	exit (code);
		961	#endif
		962
831	MODULE = Coro::State PACKAGE = Coro::Cont	963	MODULE = Coro::State PACKAGE = Coro::Cont
832		964
833	# this is slightly dirty	965	# this is slightly dirty (should expose a c-level api)
834		966
835	void	967	void
836	yield(...)	968	yield(...)
837	PROTOTYPE: @	969	PROTOTYPE: @
838	CODE:	970	CODE:
…		…
856	next = (struct coro )SvIV ((SV)SvRV (av_fetch ((AV )SvRV (sv), 1, 0)));	988	next = (struct coro )SvIV ((SV)SvRV (av_fetch ((AV )SvRV (sv), 1, 0)));
857	SvREFCNT_dec (sv);	989	SvREFCNT_dec (sv);
858		990
859	transfer(aTHX_ prev, next, 0);	991	transfer(aTHX_ prev, next, 0);
860		992
		993	MODULE = Coro::State PACKAGE = Coro
		994
		995	# this is slightly dirty (should expose a c-level api)
		996
		997	BOOT:
		998	{
		999	int i;
		1000	HV *stash = gv_stashpv ("Coro", TRUE);
		1001
		1002	newCONSTSUB (stash, "PRIO_MAX", newSViv (PRIO_MAX));
		1003	newCONSTSUB (stash, "PRIO_HIGH", newSViv (PRIO_HIGH));
		1004	newCONSTSUB (stash, "PRIO_NORMAL", newSViv (PRIO_NORMAL));
		1005	newCONSTSUB (stash, "PRIO_LOW", newSViv (PRIO_LOW));
		1006	newCONSTSUB (stash, "PRIO_IDLE", newSViv (PRIO_IDLE));
		1007	newCONSTSUB (stash, "PRIO_MIN", newSViv (PRIO_MIN));
		1008
		1009	coro_current = gv_fetchpv ("Coro::current", TRUE, SVt_PV);
		1010	coro_idle = gv_fetchpv ("Coro::idle" , TRUE, SVt_PV);
		1011
		1012	for (i = PRIO_MAX - PRIO_MIN + 1; i--; )
		1013	coro_ready[i] = newAV ();
		1014
		1015	{
		1016	SV *sv = perl_get_sv("Coro::API", 1);
		1017
		1018	coroapi.schedule = api_schedule;
		1019	coroapi.ready = api_ready;
		1020	coroapi.nready = &coro_nready;
		1021	coroapi.current = coro_current;
		1022
		1023	GCoroAPI = &coroapi;
		1024	sv_setiv(sv, (IV)&coroapi);
		1025	SvREADONLY_on(sv);
		1026	}
		1027	}
		1028
		1029	void
		1030	ready(self)
		1031	SV * self
		1032	CODE:
		1033	api_ready (self);
		1034
		1035	int
		1036	nready(...)
		1037	PROTOTYPE:
		1038	CODE:
		1039	RETVAL = coro_nready;
		1040	OUTPUT:
		1041	RETVAL
		1042
		1043	void
		1044	schedule(...)
		1045	PROTOTYPE:
		1046	ALIAS:
		1047	cede = 1
		1048	CODE:
		1049	api_schedule (ix);
		1050

Diff Legend

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

Comparing Coro/Coro/State.xs (file contents): Revision 1.19 by root, Sun Jul 29 01:11:41 2001 UTC vs. Revision 1.28 by root, Sat Aug 25 21:32:05 2001 UTC

Diff Legend

Comparing Coro/Coro/State.xs (file contents):
Revision 1.19 by root, Sun Jul 29 01:11:41 2001 UTC vs.
Revision 1.28 by root, Sat Aug 25 21:32:05 2001 UTC