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

Comparing Coro/Coro/State.xs (file contents):
Revision 1.428 by root, Wed Dec 5 16:34:12 2012 UTC vs.
Revision 1.450 by root, Sun Jun 28 22:31:03 2015 UTC

…		…
1	/* this works around a bug in mingw32 providing a non-working setjmp */	1	/* this works around a bug in mingw32 providing a non-working setjmp */
2	#define USE_NO_MINGW_SETJMP_TWO_ARGS	2	#define USE_NO_MINGW_SETJMP_TWO_ARGS
3		3
4	#define NDEBUG 1	4	#define NDEBUG 1 /* perl usually disables NDEBUG later */
5		5
6	#include "libcoro/coro.c"	6	#include "libcoro/coro.c"
7		7
8	#define PERL_NO_GET_CONTEXT	8	#define PERL_NO_GET_CONTEXT
9	#define PERL_EXT	9	#define PERL_EXT
14	#include "perliol.h"	14	#include "perliol.h"
15		15
16	#include "schmorp.h"	16	#include "schmorp.h"
17		17
18	#define ECB_NO_THREADS 1	18	#define ECB_NO_THREADS 1
		19	#define ECB_NO_LIBM 1
19	#include "ecb.h"	20	#include "ecb.h"
20		21
21	#include <stddef.h>	22	#include <stddef.h>
22	#include <stdio.h>	23	#include <stdio.h>
23	#include <errno.h>	24	#include <errno.h>
…		…
26	#ifndef SVs_PADSTALE	27	#ifndef SVs_PADSTALE
27	# define SVs_PADSTALE 0	28	# define SVs_PADSTALE 0
28	#endif	29	#endif
29		30
30	#ifdef PadARRAY	31	#ifdef PadARRAY
31	# define NEWPADAPI	32	# define NEWPADAPI 1
32	# define newPADLIST(var) (Newz (0, var, 1, PADLIST), Newx (PadlistARRAY (var), 2, PAD *))	33	# define newPADLIST(var) (Newz (0, var, 1, PADLIST), Newx (PadlistARRAY (var), 2, PAD *))
33	#else	34	#else
34	typedef AV PADNAMELIST;	35	typedef AV PADNAMELIST;
35	# if !PERL_VERSION_ATLEAST(5,8,0)	36	# if !PERL_VERSION_ATLEAST(5,8,0)
36	typedef AV PADLIST;	37	typedef AV PADLIST;
…		…
41	# define PadlistNAMES(pl) (*PadlistARRAY (pl))	42	# define PadlistNAMES(pl) (*PadlistARRAY (pl))
42	# define PadARRAY AvARRAY	43	# define PadARRAY AvARRAY
43	# define PadMAX AvFILLp	44	# define PadMAX AvFILLp
44	# define newPADLIST(var) ((var) = newAV (), av_extend (var, 1))	45	# define newPADLIST(var) ((var) = newAV (), av_extend (var, 1))
45	#endif	46	#endif
		47	#ifndef PadnamelistREFCNT
		48	# define PadnamelistREFCNT(pnl) SvREFCNT (pnl)
		49	#endif
		50	#ifndef PadnamelistREFCNT_dec
		51	# define PadnamelistREFCNT_dec(pnl) SvREFCNT_dec (pnl)
		52	#endif
		53
		54	/* 5.19.something has replaced SVt_BIND by SVt_INVLIST */
		55	/* we just alias it to SVt_IV, as that is sufficient for swap_sv for now */
		56	#if PERL_VERSION_ATLEAST(5,19,0)
		57	# define SVt_BIND SVt_IV
		58	#endif
46		59
47	#if defined(_WIN32)	60	#if defined(_WIN32)
48	# undef HAS_GETTIMEOFDAY	61	# undef HAS_GETTIMEOFDAY
49	# undef setjmp	62	# undef setjmp
50	# undef longjmp	63	# undef longjmp
…		…
52	# define setjmp _setjmp /* deep magic */	65	# define setjmp _setjmp /* deep magic */
53	#else	66	#else
54	# include <inttypes.h> /* most portable stdint.h */	67	# include <inttypes.h> /* most portable stdint.h */
55	#endif	68	#endif
56		69
57	#if HAVE_MMAP
58	# include <unistd.h>
59	# include <sys/mman.h>
60	# ifndef MAP_ANONYMOUS
61	# ifdef MAP_ANON
62	# define MAP_ANONYMOUS MAP_ANON
63	# else
64	# undef HAVE_MMAP
65	# endif
66	# endif
67	# include <limits.h>
68	# ifndef PAGESIZE
69	# define PAGESIZE pagesize
70	# define BOOT_PAGESIZE pagesize = sysconf (_SC_PAGESIZE)
71	static long pagesize;
72	# else
73	# define BOOT_PAGESIZE (void)0
74	# endif
75	#else
76	# define PAGESIZE 0
77	# define BOOT_PAGESIZE (void)0
78	#endif
79
80	#if CORO_USE_VALGRIND
81	# include <valgrind/valgrind.h>
82	#endif
83
84	/* the maximum number of idle cctx that will be pooled */	70	/* the maximum number of idle cctx that will be pooled */
85	static int cctx_max_idle = 4;	71	static int cctx_max_idle = 4;
86		72
87	#if defined(DEBUGGING) && PERL_VERSION_ATLEAST(5,12,0)	73	#if defined(DEBUGGING) && PERL_VERSION_ATLEAST(5,12,0)
88	# define HAS_SCOPESTACK_NAME 1	74	# define HAS_SCOPESTACK_NAME 1
89	#endif
90
91	#if !__i386 && !__x86_64 && !__powerpc && !__m68k && !__alpha && !__mips && !__sparc64
92	# undef CORO_STACKGUARD
93	#endif
94
95	#ifndef CORO_STACKGUARD
96	# define CORO_STACKGUARD 0
97	#endif	75	#endif
98		76
99	/* prefer perl internal functions over our own? */	77	/* prefer perl internal functions over our own? */
100	#ifndef CORO_PREFER_PERL_FUNCTIONS	78	#ifndef CORO_PREFER_PERL_FUNCTIONS
101	# define CORO_PREFER_PERL_FUNCTIONS 0	79	# define CORO_PREFER_PERL_FUNCTIONS 0
…		…
192	typedef struct coro_cctx	170	typedef struct coro_cctx
193	{	171	{
194	struct coro_cctx *next;	172	struct coro_cctx *next;
195		173
196	/* the stack */	174	/* the stack */
197	void *sptr;	175	struct coro_stack stack;
198	size_t ssize;
199		176
200	/* cpu state */	177	/* cpu state */
201	void idle_sp; / sp of top-level transfer/schedule/cede call */	178	void idle_sp; / sp of top-level transfer/schedule/cede call */
202	#ifndef NDEBUG	179	#ifndef NDEBUG
203	JMPENV idle_te; / same as idle_sp, but for top_env */	180	JMPENV idle_te; / same as idle_sp, but for top_env */
…		…
271	SV *saved_deffh;	248	SV *saved_deffh;
272	SV *invoke_cb;	249	SV *invoke_cb;
273	AV *invoke_av;	250	AV *invoke_av;
274		251
275	/* on_enter/on_leave */	252	/* on_enter/on_leave */
276	AV *on_enter;	253	AV on_enter; AV on_enter_xs;
277	AV *on_leave;	254	AV on_leave; AV on_leave_xs;
278		255
279	/* swap_sv */	256	/* swap_sv */
280	AV *swap_sv;	257	AV *swap_sv;
281		258
282	/* times */	259	/* times */
…		…
312	#define coro_nready coroapi.nready	289	#define coro_nready coroapi.nready
313		290
314	/ JIT *******************************************************************/	291	/ JIT *******************************************************************/
315		292
316	#if CORO_JIT	293	#if CORO_JIT
317	/* APPLE doesn't have HAVE_MMAP though */	294	/* APPLE doesn't have mmap though */
318	#define CORO_JIT_UNIXY (__linux \|\| __FreeBSD__ \|\| __OpenBSD__ \|\| __NetBSD__ \|\| __solaris \|\| __APPLE__)	295	#define CORO_JIT_UNIXY (__linux \|\| __FreeBSD__ \|\| __OpenBSD__ \|\| __NetBSD__ \|\| __solaris \|\| __APPLE__)
319	#ifndef CORO_JIT_TYPE	296	#ifndef CORO_JIT_TYPE
320	#if __x86_64 && CORO_JIT_UNIXY	297	#if ECB_AMD64 && CORO_JIT_UNIXY
321	#define CORO_JIT_TYPE "amd64-unix"	298	#define CORO_JIT_TYPE "amd64-unix"
322	#elif __i386 && CORO_JIT_UNIXY	299	#elif __i386 && CORO_JIT_UNIXY
323	#define CORO_JIT_TYPE "x86-unix"	300	#define CORO_JIT_TYPE "x86-unix"
324	#endif	301	#endif
325	#endif	302	#endif
326	#endif	303	#endif
327		304
328	#if !defined(CORO_JIT_TYPE) \|\| !HAVE_MMAP	305	#if !defined(CORO_JIT_TYPE) \|\| _POSIX_MEMORY_PROTECTION <= 0
329	#undef CORO_JIT	306	#undef CORO_JIT
330	#endif	307	#endif
331		308
332	#if CORO_JIT	309	#if CORO_JIT
333	typedef void (load_save_perl_slots_type)(perl_slots );	310	typedef void (load_save_perl_slots_type)(perl_slots );
…		…
518		495
519	return 0;	496	return 0;
520	}	497	}
521		498
522	ecb_inline struct coro *	499	ecb_inline struct coro *
523	SvSTATE_ (pTHX_ SV *coro)	500	SvSTATE_ (pTHX_ SV *coro_sv)
524	{	501	{
525	MAGIC *mg;	502	MAGIC *mg;
526		503
527	if (SvROK (coro))	504	if (SvROK (coro_sv))
528	coro = SvRV (coro);	505	coro_sv = SvRV (coro_sv);
529		506
530	mg = SvSTATEhv_p (aTHX_ coro);	507	mg = SvSTATEhv_p (aTHX_ coro_sv);
531	if (!mg)	508	if (!mg)
532	croak ("Coro::State object required");	509	croak ("Coro::State object required");
533		510
534	return (struct coro *)mg->mg_ptr;	511	return (struct coro *)mg->mg_ptr;
535	}	512	}
…		…
546	ecb_inline PADLIST *	523	ecb_inline PADLIST *
547	coro_derive_padlist (pTHX_ CV *cv)	524	coro_derive_padlist (pTHX_ CV *cv)
548	{	525	{
549	PADLIST *padlist = CvPADLIST (cv);	526	PADLIST *padlist = CvPADLIST (cv);
550	PADLIST *newpadlist;	527	PADLIST *newpadlist;
		528	PADNAMELIST *padnames;
551	PAD *newpad;	529	PAD *newpad;
552	PADOFFSET const off = PadlistMAX (padlist) + 1;	530	PADOFFSET off = PadlistMAX (padlist) + 1;
553		531
554	newPADLIST(newpadlist);	532	#if NEWPADAPI
555	#if !PERL_VERSION_ATLEAST(5,15,3)	533
556	/* Padlists are AvREAL as of 5.15.3. See perl bug #98092 and perl commit 7d953ba. */	534	/* if we had the original CvDEPTH, we might be able to steal the CvDEPTH+1 entry instead */
557	AvREAL_off (newpadlist);	535	/* 20131102194744.GA6705@schmorp.de, 20131102195825.2013.qmail@lists-nntp.develooper.com */
558	#endif	536	while (!PadlistARRAY (padlist)[off - 1])
		537	--off;
		538
		539	Perl_pad_push (aTHX_ padlist, off);
		540
		541	newpad = PadlistARRAY (padlist)[off];
		542	PadlistARRAY (padlist)[off] = 0;
		543
		544	#else
		545
559	#if PERL_VERSION_ATLEAST (5,10,0)	546	#if PERL_VERSION_ATLEAST (5,10,0)
560	Perl_pad_push (aTHX_ padlist, off);	547	Perl_pad_push (aTHX_ padlist, off);
561	#else	548	#else
562	Perl_pad_push (aTHX_ padlist, off, 1);	549	Perl_pad_push (aTHX_ padlist, off, 1);
563	#endif	550	#endif
		551
564	newpad = PadlistARRAY (padlist)[off];	552	newpad = PadlistARRAY (padlist)[off];
565	PadlistMAX (padlist) = off - 1;	553	PadlistMAX (padlist) = off - 1;
566		554
		555	#endif
		556
		557	newPADLIST (newpadlist);
		558	#if !PERL_VERSION_ATLEAST(5,15,3)
		559	/* Padlists are AvREAL as of 5.15.3. See perl bug #98092 and perl commit 7d953ba. */
		560	AvREAL_off (newpadlist);
		561	#endif
		562
567	/* Already extended to 2 elements by newPADLIST. */	563	/* Already extended to 2 elements by newPADLIST. */
568	PadlistMAX (newpadlist) = 1;	564	PadlistMAX (newpadlist) = 1;
569	PadlistNAMES (newpadlist) = (PADNAMELIST *)SvREFCNT_inc_NN (PadlistNAMES (padlist));	565
		566	padnames = PadlistNAMES (padlist);
		567	++PadnamelistREFCNT (padnames);
		568	PadlistNAMES (newpadlist) = padnames;
		569
570	PadlistARRAY (newpadlist)[1] = newpad;	570	PadlistARRAY (newpadlist)[1] = newpad;
571		571
572	return newpadlist;	572	return newpadlist;
573	}	573	}
574		574
…		…
582		582
583	while (i > 0) /* special-case index 0 */	583	while (i > 0) /* special-case index 0 */
584	{	584	{
585	/* we try to be extra-careful here */	585	/* we try to be extra-careful here */
586	PAD *pad = PadlistARRAY (padlist)[i--];	586	PAD *pad = PadlistARRAY (padlist)[i--];
		587
		588	if (pad)
		589	{
587	I32 j = PadMAX (pad);	590	I32 j = PadMAX (pad);
588		591
589	while (j >= 0)	592	while (j >= 0)
590	SvREFCNT_dec (PadARRAY (pad)[j--]);	593	SvREFCNT_dec (PadARRAY (pad)[j--]);
591		594
592	PadMAX (pad) = -1;	595	PadMAX (pad) = -1;
593	SvREFCNT_dec (pad);	596	SvREFCNT_dec (pad);
		597	}
594	}	598	}
595		599
596	SvREFCNT_dec (PadlistNAMES (padlist));	600	PadnamelistREFCNT_dec (PadlistNAMES (padlist));
597		601
598	#ifdef NEWPADAPI	602	#if NEWPADAPI
599	Safefree (PadlistARRAY (padlist));	603	Safefree (PadlistARRAY (padlist));
600	Safefree (padlist);	604	Safefree (padlist);
601	#else	605	#else
602	AvFILLp (padlist) = -1;	606	AvFILLp (padlist) = -1;
603	AvREAL_off (padlist);	607	AvREAL_off (padlist);
…		…
776		780
777	for (i = 0; i <= AvFILLp (c->on_enter); ++i)	781	for (i = 0; i <= AvFILLp (c->on_enter); ++i)
778	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);	782	on_enterleave_call (aTHX_ AvARRAY (c->on_enter)[i]);
779	}	783	}
780		784
		785	if (ecb_expect_false (c->on_enter_xs))
		786	{
		787	int i;
		788
		789	for (i = 0; i <= AvFILLp (c->on_enter_xs); i += 2)
		790	((coro_enterleave_hook)AvARRAY (c->on_enter_xs)[i]) (aTHX_ AvARRAY (c->on_enter_xs)[i + 1]);
		791	}
		792
781	SWAP_SVS (c);	793	SWAP_SVS (c);
782	}	794	}
783		795
784	static void	796	static void
785	save_perl (pTHX_ Coro__State c)	797	save_perl (pTHX_ Coro__State c)
786	{	798	{
787	SWAP_SVS (c);	799	SWAP_SVS (c);
		800
		801	if (ecb_expect_false (c->on_leave_xs))
		802	{
		803	int i;
		804
		805	for (i = AvFILLp (c->on_leave_xs) - 1; i >= 0; i -= 2)
		806	((coro_enterleave_hook)AvARRAY (c->on_leave_xs)[i]) (aTHX_ AvARRAY (c->on_leave_xs)[i + 1]);
		807	}
788		808
789	if (ecb_expect_false (c->on_leave))	809	if (ecb_expect_false (c->on_leave))
790	{	810	{
791	int i;	811	int i;
792		812
…		…
1145		1165
1146	GvSV (PL_defgv) = newSV (0);	1166	GvSV (PL_defgv) = newSV (0);
1147	GvAV (PL_defgv) = coro->args; coro->args = 0;	1167	GvAV (PL_defgv) = coro->args; coro->args = 0;
1148	GvSV (PL_errgv) = newSV (0);	1168	GvSV (PL_errgv) = newSV (0);
1149	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);	1169	GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
1150	GvHV (PL_hintgv) = 0;	1170	GvHV (PL_hintgv) = newHV ();
		1171	#if PERL_VERSION_ATLEAST (5,10,0)
		1172	hv_magic (GvHV (PL_hintgv), 0, PERL_MAGIC_hints);
		1173	#endif
1151	PL_rs = newSVsv (GvSV (irsgv));	1174	PL_rs = newSVsv (GvSV (irsgv));
1152	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);	1175	PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
1153		1176
1154	{	1177	{
1155	dSP;	1178	dSP;
…		…
1265		1288
1266	SvREFCNT_dec (coro->saved_deffh);	1289	SvREFCNT_dec (coro->saved_deffh);
1267	SvREFCNT_dec (coro->rouse_cb);	1290	SvREFCNT_dec (coro->rouse_cb);
1268	SvREFCNT_dec (coro->invoke_cb);	1291	SvREFCNT_dec (coro->invoke_cb);
1269	SvREFCNT_dec (coro->invoke_av);	1292	SvREFCNT_dec (coro->invoke_av);
		1293	SvREFCNT_dec (coro->on_enter_xs);
		1294	SvREFCNT_dec (coro->on_leave_xs);
1270	}	1295	}
1271	}	1296	}
1272		1297
1273	ecb_inline void	1298	ecb_inline void
1274	free_coro_mortal (pTHX)	1299	free_coro_mortal (pTHX)
…		…
1337		1362
1338	if (PL_curcop != &PL_compiling)	1363	if (PL_curcop != &PL_compiling)
1339	{	1364	{
1340	SV **cb;	1365	SV **cb;
1341		1366
1342	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB)	1367	if (oldcxix != cxstack_ix && cctx_current->flags & CC_TRACE_SUB && cxstack_ix >= 0)
1343	{	1368	{
1344	PERL_CONTEXT *cx = &cxstack[cxstack_ix];	1369	PERL_CONTEXT *cx = &cxstack[cxstack_ix];
1345		1370
1346	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)	1371	if (CxTYPE (cx) == CXt_SUB && oldcxix < cxstack_ix)
1347	{	1372	{
…		…
1519	static coro_cctx *	1544	static coro_cctx *
1520	cctx_new_empty (void)	1545	cctx_new_empty (void)
1521	{	1546	{
1522	coro_cctx *cctx = cctx_new ();	1547	coro_cctx *cctx = cctx_new ();
1523		1548
1524	cctx->sptr = 0;	1549	cctx->stack.sptr = 0;
1525	coro_create (&cctx->cctx, 0, 0, 0, 0);	1550	coro_create (&cctx->cctx, 0, 0, 0, 0);
1526		1551
1527	return cctx;	1552	return cctx;
1528	}	1553	}
1529		1554
1530	/* create a new cctx suitable as destination/running a perl interpreter */	1555	/* create a new cctx suitable as destination/running a perl interpreter */
1531	static coro_cctx *	1556	static coro_cctx *
1532	cctx_new_run (void)	1557	cctx_new_run (void)
1533	{	1558	{
1534	coro_cctx *cctx = cctx_new ();	1559	coro_cctx *cctx = cctx_new ();
1535	void *stack_start;
1536	size_t stack_size;
1537		1560
1538	#if CORO_FIBER	1561	if (!coro_stack_alloc (&cctx->stack, cctx_stacksize))
1539
1540	cctx->ssize = cctx_stacksize * sizeof (long);
1541	cctx->sptr = 0;
1542
1543	#else
1544
1545	#if HAVE_MMAP
1546	cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1547	/* mmap supposedly does allocate-on-write for us */
1548	cctx->sptr = mmap (0, cctx->ssize, PROT_READ \| PROT_WRITE \| PROT_EXEC, MAP_ANONYMOUS, -1, 0);
1549
1550	if (cctx->sptr != (void *)-1)
1551	{	1562	{
1552	#if CORO_STACKGUARD
1553	mprotect (cctx->sptr, CORO_STACKGUARD * PAGESIZE, PROT_NONE);
1554	#endif
1555	stack_start = (char )cctx->sptr + CORO_STACKGUARD PAGESIZE;
1556	stack_size = cctx->ssize - CORO_STACKGUARD * PAGESIZE;
1557	cctx->flags \|= CC_MAPPED;
1558	}
1559	else
1560	#endif
1561	{
1562	cctx->ssize = cctx_stacksize * (long)sizeof (long);
1563	New (0, cctx->sptr, cctx_stacksize, long);
1564
1565	if (!cctx->sptr)
1566	{
1567	perror ("FATAL: unable to allocate stack for coroutine, exiting.");	1563	perror ("FATAL: unable to allocate stack for coroutine, exiting.");
1568	_exit (EXIT_FAILURE);	1564	_exit (EXIT_FAILURE);
1569	}
1570
1571	stack_start = cctx->sptr;
1572	stack_size = cctx->ssize;
1573	}	1565	}
1574	#endif
1575		1566
1576	#if CORO_USE_VALGRIND
1577	cctx->valgrind_id = VALGRIND_STACK_REGISTER ((char )stack_start, (char )stack_start + stack_size);
1578	#endif
1579
1580	coro_create (&cctx->cctx, cctx_run, (void *)cctx, stack_start, stack_size);	1567	coro_create (&cctx->cctx, cctx_run, (void *)cctx, cctx->stack.sptr, cctx->stack.ssze);
1581		1568
1582	return cctx;	1569	return cctx;
1583	}	1570	}
1584		1571
1585	static void	1572	static void
…		…
1591	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));	1578	assert (("FATAL: tried to destroy current cctx", cctx != cctx_current));
1592		1579
1593	--cctx_count;	1580	--cctx_count;
1594	coro_destroy (&cctx->cctx);	1581	coro_destroy (&cctx->cctx);
1595		1582
1596	/* coro_transfer creates new, empty cctx's */	1583	coro_stack_free (&cctx->stack);
1597	if (cctx->sptr)
1598	{
1599	#if CORO_USE_VALGRIND
1600	VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1601	#endif
1602
1603	#if HAVE_MMAP
1604	if (cctx->flags & CC_MAPPED)
1605	munmap (cctx->sptr, cctx->ssize);
1606	else
1607	#endif
1608	Safefree (cctx->sptr);
1609	}
1610		1584
1611	Safefree (cctx);	1585	Safefree (cctx);
1612	}	1586	}
1613		1587
1614	/* wether this cctx should be destructed */	1588	/* wether this cctx should be destructed */
…		…
1633	}	1607	}
1634		1608
1635	static void	1609	static void
1636	cctx_put (coro_cctx *cctx)	1610	cctx_put (coro_cctx *cctx)
1637	{	1611	{
1638	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->sptr));	1612	assert (("FATAL: cctx_put called on non-initialised cctx in Coro (please report)", cctx->stack.sptr));
1639		1613
1640	/* free another cctx if overlimit */	1614	/* free another cctx if overlimit */
1641	if (ecb_expect_false (cctx_idle >= cctx_max_idle))	1615	if (ecb_expect_false (cctx_idle >= cctx_max_idle))
1642	{	1616	{
1643	coro_cctx *first = cctx_first;	1617	coro_cctx *first = cctx_first;
…		…
1975	/* nothing to schedule: call the idle handler */	1949	/* nothing to schedule: call the idle handler */
1976	if (SvROK (sv_idle)	1950	if (SvROK (sv_idle)
1977	&& SvOBJECT (SvRV (sv_idle)))	1951	&& SvOBJECT (SvRV (sv_idle)))
1978	{	1952	{
1979	if (SvRV (sv_idle) == SvRV (coro_current))	1953	if (SvRV (sv_idle) == SvRV (coro_current))
		1954	{
		1955	require_pv ("Carp");
		1956
		1957	{
		1958	dSP;
		1959
		1960	ENTER;
		1961	SAVETMPS;
		1962
		1963	PUSHMARK (SP);
1980	croak ("FATAL: $Coro::IDLE blocked itself - did you try to block inside an event loop callback? Caught");	1964	XPUSHs (sv_2mortal (newSVpv ("FATAL: $Coro::idle blocked itself - did you try to block inside an event loop callback? Caught", 0)));
		1965	PUTBACK;
		1966	call_pv ("Carp::confess", G_VOID \| G_DISCARD);
		1967
		1968	FREETMPS;
		1969	LEAVE;
		1970	}
		1971	}
1981		1972
1982	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */	1973	++coro_nready; /* hack so that api_ready doesn't invoke ready hook */
1983	api_ready (aTHX_ SvRV (sv_idle));	1974	api_ready (aTHX_ SvRV (sv_idle));
1984	--coro_nready;	1975	--coro_nready;
1985	}	1976	}
…		…
2183	AV *od = coro->on_destroy;	2174	AV *od = coro->on_destroy;
2184		2175
2185	if (!od)	2176	if (!od)
2186	return;	2177	return;
2187		2178
		2179	coro->on_destroy = 0;
		2180	sv_2mortal ((SV *)od);
		2181
2188	while (AvFILLp (od) >= 0)	2182	while (AvFILLp (od) >= 0)
2189	{	2183	{
2190	SV *cb = sv_2mortal (av_pop (od));	2184	SV *cb = sv_2mortal (av_pop (od));
2191		2185
2192	/* coro hv's (and only hv's at the moment) are supported as well */	2186	/* coro hv's (and only hv's at the moment) are supported as well */
…		…
2286	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);	2280	slf_init_terminate_cancel_common (aTHX_ frame, coro_hv);
2287	}	2281	}
2288	else	2282	else
2289	{	2283	{
2290	struct coro *self = SvSTATE_current;	2284	struct coro *self = SvSTATE_current;
		2285
		2286	if (!self)
		2287	croak ("Coro::cancel called outside of thread content,");
2291		2288
2292	/* otherwise we cancel directly, purely for speed reasons	2289	/* otherwise we cancel directly, purely for speed reasons
2293	* unfortunately, this requires some magic trickery, as	2290	* unfortunately, this requires some magic trickery, as
2294	* somebody else could cancel us, so we have to fight the cancellation.	2291	* somebody else could cancel us, so we have to fight the cancellation.
2295	* this is ugly, and hopefully fully worth the extra speed.	2292	* this is ugly, and hopefully fully worth the extra speed.
…		…
2637		2634
2638	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */	2635	/* "undo"/cancel a running slf call - used when cancelling a coro, mainly */
2639	static void	2636	static void
2640	slf_destroy (pTHX_ struct coro *coro)	2637	slf_destroy (pTHX_ struct coro *coro)
2641	{	2638	{
2642	/* this callback is reserved for slf functions needing to do cleanup */	2639	struct CoroSLF frame = coro->slf_frame;
2643	if (coro->slf_frame.destroy && coro->slf_frame.prepare && !PL_dirty)
2644	coro->slf_frame.destroy (aTHX_ &coro->slf_frame);
2645		2640
2646	/*	2641	/*
2647	* The on_destroy above most likely is from an SLF call.	2642	* The on_destroy below most likely is from an SLF call.
2648	* Since by definition the SLF call will not finish when we destroy	2643	* Since by definition the SLF call will not finish when we destroy
2649	* the coro, we will have to force-finish it here, otherwise	2644	* the coro, we will have to force-finish it here, otherwise
2650	* cleanup functions cannot call SLF functions.	2645	* cleanup functions cannot call SLF functions.
2651	*/	2646	*/
2652	coro->slf_frame.prepare = 0;	2647	coro->slf_frame.prepare = 0;
		2648
		2649	/* this callback is reserved for slf functions needing to do cleanup */
		2650	if (frame.destroy && frame.prepare && !PL_dirty)
		2651	frame.destroy (aTHX_ &frame);
2653	}	2652	}
2654		2653
2655	/*	2654	/*
2656	* these not obviously related functions are all rolled into one	2655	* these not obviously related functions are all rolled into one
2657	* function to increase chances that they all will call transfer with the same	2656	* function to increase chances that they all will call transfer with the same
…		…
2840	static void	2839	static void
2841	coro_pop_on_leave (pTHX_ void *coro)	2840	coro_pop_on_leave (pTHX_ void *coro)
2842	{	2841	{
2843	SV cb = coro_avp_pop_and_free (aTHX_ &((struct coro )coro)->on_leave);	2842	SV cb = coro_avp_pop_and_free (aTHX_ &((struct coro )coro)->on_leave);
2844	on_enterleave_call (aTHX_ sv_2mortal (cb));	2843	on_enterleave_call (aTHX_ sv_2mortal (cb));
		2844	}
		2845
		2846	static void
		2847	enterleave_hook_xs (pTHX_ struct coro coro, AV avp, coro_enterleave_hook hook, void arg)
		2848	{
		2849	if (!hook)
		2850	return;
		2851
		2852	if (!*avp)
		2853	{
		2854	*avp = newAV ();
		2855	AvREAL_off (*avp);
		2856	}
		2857
		2858	av_push (avp, (SV )hook);
		2859	av_push (avp, (SV )arg);
		2860	}
		2861
		2862	static void
		2863	enterleave_unhook_xs (pTHX_ struct coro coro, AV *avp, coro_enterleave_hook hook, int execute)
		2864	{
		2865	AV av = avp;
		2866	int i;
		2867
		2868	if (!av)
		2869	return;
		2870
		2871	for (i = AvFILLp (av) - 1; i >= 0; i -= 2)
		2872	if (AvARRAY (av)[i] == (SV *)hook)
		2873	{
		2874	if (execute)
		2875	hook ((void *)AvARRAY (av)[i + 1]);
		2876
		2877	memmove (AvARRAY (av) + i, AvARRAY (av) + i + 2, AvFILLp (av) - i - 1);
		2878	av_pop (av);
		2879	av_pop (av);
		2880	break;
		2881	}
		2882
		2883	if (AvFILLp (av) >= 0)
		2884	{
		2885	*avp = 0;
		2886	SvREFCNT_dec_NN (av);
		2887	}
		2888	}
		2889
		2890	static void
		2891	api_enterleave_hook (pTHX_ SV coro_sv, coro_enterleave_hook enter, void enter_arg, coro_enterleave_hook leave, void *leave_arg)
		2892	{
		2893	struct coro *coro = SvSTATE (coro_sv);
		2894
		2895	if (SvSTATE_current == coro)
		2896	if (enter)
		2897	enter (aTHX enter_arg);
		2898
		2899	enterleave_hook_xs (aTHX_ coro, &coro->on_enter_xs, enter, enter_arg);
		2900	enterleave_hook_xs (aTHX_ coro, &coro->on_leave_xs, leave, leave_arg);
		2901	}
		2902
		2903	static void
		2904	api_enterleave_unhook (pTHX_ SV *coro_sv, coro_enterleave_hook enter, coro_enterleave_hook leave)
		2905	{
		2906	struct coro *coro = SvSTATE (coro_sv);
		2907
		2908	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2909	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, SvSTATE_current == coro);
		2910	}
		2911
		2912	static void
		2913	savedestructor_unhook_enter (pTHX_ coro_enterleave_hook enter)
		2914	{
		2915	struct coro *coro = SvSTATE_current;
		2916
		2917	enterleave_unhook_xs (aTHX_ coro, &coro->on_enter_xs, enter, 0);
		2918	}
		2919
		2920	static void
		2921	savedestructor_unhook_leave (pTHX_ coro_enterleave_hook leave)
		2922	{
		2923	struct coro *coro = SvSTATE_current;
		2924
		2925	enterleave_unhook_xs (aTHX_ coro, &coro->on_leave_xs, leave, 1);
		2926	}
		2927
		2928	static void
		2929	api_enterleave_scope_hook (pTHX_ coro_enterleave_hook enter, void enter_arg, coro_enterleave_hook leave, void leave_arg)
		2930	{
		2931	api_enterleave_hook (aTHX_ coro_current, enter, enter_arg, leave, leave_arg);
		2932
		2933	/* this ought to be much cheaper than malloc + a single destructor call */
		2934	if (enter) SAVEDESTRUCTOR_X (savedestructor_unhook_enter, enter);
		2935	if (leave) SAVEDESTRUCTOR_X (savedestructor_unhook_leave, leave);
2845	}	2936	}
2846		2937
2847	/*****************************************************************************/	2938	/*****************************************************************************/
2848	/* PerlIO::cede */	2939	/* PerlIO::cede */
2849		2940
…		…
2979	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));	3070	XPUSHs (sv_2mortal (newRV_inc ((SV *)av)));
2980	PUTBACK;	3071	PUTBACK;
2981	call_sv (cb, G_VOID \| G_DISCARD \| G_EVAL \| G_KEEPERR);	3072	call_sv (cb, G_VOID \| G_DISCARD \| G_EVAL \| G_KEEPERR);
2982	}	3073	}
2983		3074
2984	SvREFCNT_dec (cb);	3075	SvREFCNT_dec_NN (cb);
2985	}	3076	}
2986	}	3077	}
2987		3078
2988	static void	3079	static void
2989	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)	3080	coro_semaphore_destroy (pTHX_ struct CoroSLF *frame)
…		…
2997	{	3088	{
2998	AV av = (AV )frame->data;	3089	AV av = (AV )frame->data;
2999	SV *count_sv = AvARRAY (av)[0];	3090	SV *count_sv = AvARRAY (av)[0];
3000	SV *coro_hv = SvRV (coro_current);	3091	SV *coro_hv = SvRV (coro_current);
3001		3092
		3093	frame->destroy = 0;
		3094
3002	/* if we are about to throw, don't actually acquire the lock, just throw */	3095	/* if we are about to throw, don't actually acquire the lock, just throw */
3003	if (CORO_THROW)	3096	if (ecb_expect_false (CORO_THROW))
		3097	{
		3098	/* we still might be responsible for the semaphore, so wake up others */
		3099	coro_semaphore_adjust (aTHX_ av, 0);
		3100
3004	return 0;	3101	return 0;
		3102	}
3005	else if (SvIVX (count_sv) > 0)	3103	else if (SvIVX (count_sv) > 0)
3006	{	3104	{
3007	frame->destroy = 0;
3008
3009	if (acquire)	3105	if (acquire)
3010	SvIVX (count_sv) = SvIVX (count_sv) - 1;	3106	SvIVX (count_sv) = SvIVX (count_sv) - 1;
3011	else	3107	else
3012	coro_semaphore_adjust (aTHX_ av, 0);	3108	coro_semaphore_adjust (aTHX_ av, 0);
3013		3109
…		…
3124	{	3220	{
3125	api_ready (aTHX_ cb);	3221	api_ready (aTHX_ cb);
3126	sv_setiv (cb, 0); /* signal waiter */	3222	sv_setiv (cb, 0); /* signal waiter */
3127	}	3223	}
3128		3224
3129	SvREFCNT_dec (cb);	3225	SvREFCNT_dec_NN (cb);
3130		3226
3131	--count;	3227	--count;
3132	}	3228	}
3133	}	3229	}
3134		3230
…		…
3219	}	3315	}
3220		3316
3221	av_push (state, data_sv);	3317	av_push (state, data_sv);
3222		3318
3223	api_ready (aTHX_ coro);	3319	api_ready (aTHX_ coro);
3224	SvREFCNT_dec (coro);	3320	SvREFCNT_dec_NN (coro);
3225	SvREFCNT_dec ((AV *)state);	3321	SvREFCNT_dec_NN ((AV *)state);
3226	}	3322	}
3227		3323
3228	static int	3324	static int
3229	slf_check_aio_req (pTHX_ struct CoroSLF *frame)	3325	slf_check_aio_req (pTHX_ struct CoroSLF *frame)
3230	{	3326	{
…		…
3235	/* it quickly returns */	3331	/* it quickly returns */
3236	if (CORO_THROW)	3332	if (CORO_THROW)
3237	return 0;	3333	return 0;
3238		3334
3239	/* one element that is an RV? repeat! */	3335	/* one element that is an RV? repeat! */
3240	if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))	3336	if (AvFILLp (state) == 0 && SvTYPE (AvARRAY (state)[0]) != SVt_PV)
3241	return 1;	3337	return 1;
3242		3338
3243	/* restore status */	3339	/* restore status */
3244	{	3340	{
3245	SV *data_sv = av_pop (state);	3341	SV *data_sv = av_pop (state);
…		…
3248	errno = data->errorno;	3344	errno = data->errorno;
3249	PL_laststype = data->laststype;	3345	PL_laststype = data->laststype;
3250	PL_laststatval = data->laststatval;	3346	PL_laststatval = data->laststatval;
3251	PL_statcache = data->statcache;	3347	PL_statcache = data->statcache;
3252		3348
3253	SvREFCNT_dec (data_sv);	3349	SvREFCNT_dec_NN (data_sv);
3254	}	3350	}
3255		3351
3256	/* push result values */	3352	/* push result values */
3257	{	3353	{
3258	dSP;	3354	dSP;
…		…
3473		3569
3474	PROTOTYPES: DISABLE	3570	PROTOTYPES: DISABLE
3475		3571
3476	BOOT:	3572	BOOT:
3477	{	3573	{
		3574	#define VARx(name,expr,type) if (sizeof (type) < sizeof (expr)) croak ("FATAL: Coro thread context slot '" # name "' too small for this version of perl.");
		3575	#include "state.h"
3478	#ifdef USE_ITHREADS	3576	#ifdef USE_ITHREADS
3479	# if CORO_PTHREAD	3577	# if CORO_PTHREAD
3480	coro_thx = PERL_GET_CONTEXT;	3578	coro_thx = PERL_GET_CONTEXT;
3481	# endif	3579	# endif
3482	#endif	3580	#endif
3483	BOOT_PAGESIZE;
3484
3485	/* perl defines these to check for existance first, but why it doesn't */	3581	/* perl defines these to check for existance first, but why it doesn't */
3486	/* just create them one at init time is not clear to me, except for */	3582	/* just create them one at init time is not clear to me, except for */
3487	/* programs trying to delete them, but... */	3583	/* programs trying to delete them, but... */
3488	/* anyway, we declare this as invalid and make sure they are initialised here */	3584	/* anyway, we declare this as invalid and make sure they are initialised here */
3489	DEFSV;	3585	DEFSV;
…		…
3559	void	3655	void
3560	transfer (...)	3656	transfer (...)
3561	PROTOTYPE: $$	3657	PROTOTYPE: $$
3562	CODE:	3658	CODE:
3563	CORO_EXECUTE_SLF_XS (slf_init_transfer);	3659	CORO_EXECUTE_SLF_XS (slf_init_transfer);
3564
3565	void
3566	_exit (int code)
3567	PROTOTYPE: $
3568	CODE:
3569	_exit (code);
3570		3660
3571	SV *	3661	SV *
3572	clone (Coro::State coro)	3662	clone (Coro::State coro)
3573	CODE:	3663	CODE:
3574	{	3664	{
…		…
3876	coroapi.ready = api_ready;	3966	coroapi.ready = api_ready;
3877	coroapi.is_ready = api_is_ready;	3967	coroapi.is_ready = api_is_ready;
3878	coroapi.nready = coro_nready;	3968	coroapi.nready = coro_nready;
3879	coroapi.current = coro_current;	3969	coroapi.current = coro_current;
3880		3970
		3971	coroapi.enterleave_hook = api_enterleave_hook;
		3972	coroapi.enterleave_unhook = api_enterleave_unhook;
		3973	coroapi.enterleave_scope_hook = api_enterleave_scope_hook;
		3974
3881	/GCoroAPI = &coroapi;/	3975	/GCoroAPI = &coroapi;/
3882	sv_setiv (sv, (IV)&coroapi);	3976	sv_setiv (sv, (IV)&coroapi);
3883	SvREADONLY_on (sv);	3977	SvREADONLY_on (sv);
3884	}	3978	}
3885	}	3979	}
…		…
3950		4044
3951	void	4045	void
3952	_set_current (SV *current)	4046	_set_current (SV *current)
3953	PROTOTYPE: $	4047	PROTOTYPE: $
3954	CODE:	4048	CODE:
3955	SvREFCNT_dec (SvRV (coro_current));	4049	SvREFCNT_dec_NN (SvRV (coro_current));
3956	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));	4050	SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
3957		4051
3958	void	4052	void
3959	_set_readyhook (SV *hook)	4053	_set_readyhook (SV *hook)
3960	PROTOTYPE: $	4054	PROTOTYPE: $
…		…
4044		4138
4045	if ((SV *)hv == &PL_sv_undef)	4139	if ((SV *)hv == &PL_sv_undef)
4046	{	4140	{
4047	SV sv = coro_new (aTHX_ coro_stash, (SV *)&cv_pool_handler, 1, 1);	4141	SV sv = coro_new (aTHX_ coro_stash, (SV *)&cv_pool_handler, 1, 1);
4048	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));	4142	hv = (HV *)SvREFCNT_inc_NN (SvRV (sv));
4049	SvREFCNT_dec (sv);	4143	SvREFCNT_dec_NN (sv);
4050	}	4144	}
4051		4145
4052	{	4146	{
4053	struct coro *coro = SvSTATE_hv (hv);	4147	struct coro *coro = SvSTATE_hv (hv);
4054		4148
…		…
4061	api_ready (aTHX_ (SV *)hv);	4155	api_ready (aTHX_ (SV *)hv);
4062		4156
4063	if (GIMME_V != G_VOID)	4157	if (GIMME_V != G_VOID)
4064	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));	4158	XPUSHs (sv_2mortal (newRV_noinc ((SV *)hv)));
4065	else	4159	else
4066	SvREFCNT_dec (hv);	4160	SvREFCNT_dec_NN (hv);
4067	}	4161	}
4068		4162
4069	SV *	4163	SV *
4070	rouse_cb ()	4164	rouse_cb ()
4071	PROTOTYPE:	4165	PROTOTYPE:
…		…
4326	{	4420	{
4327	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;	4421	PL_ppaddr [OP_SSELECT] = coro_old_pp_sselect;
4328	coro_old_pp_sselect = 0;	4422	coro_old_pp_sselect = 0;
4329	}	4423	}
4330		4424
		4425	MODULE = Coro::State PACKAGE = Coro::Util
		4426
		4427	void
		4428	_exit (int code)
		4429	CODE:
		4430	_exit (code);
		4431
		4432	NV
		4433	time ()
		4434	CODE:
		4435	RETVAL = nvtime (aTHX);
		4436	OUTPUT:
		4437	RETVAL
		4438
		4439	NV
		4440	gettimeofday ()
		4441	PPCODE:
		4442	{
		4443	UV tv [2];
		4444	u2time (aTHX_ tv);
		4445	EXTEND (SP, 2);
		4446	PUSHs (sv_2mortal (newSVuv (tv [0])));
		4447	PUSHs (sv_2mortal (newSVuv (tv [1])));
		4448	}
		4449

Diff Legend

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

Comparing Coro/Coro/State.xs (file contents): Revision 1.428 by root, Wed Dec 5 16:34:12 2012 UTC vs. Revision 1.450 by root, Sun Jun 28 22:31:03 2015 UTC

Diff Legend

Comparing Coro/Coro/State.xs (file contents):
Revision 1.428 by root, Wed Dec 5 16:34:12 2012 UTC vs.
Revision 1.450 by root, Sun Jun 28 22:31:03 2015 UTC