ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/Coro/Coro/State.xs
(Generate patch)

Comparing Coro/Coro/State.xs (file contents):
Revision 1.280 by root, Sun Nov 16 09:43:18 2008 UTC vs.
Revision 1.300 by root, Wed Nov 19 02:07:48 2008 UTC

95# define GV_NOTQUAL 0 95# define GV_NOTQUAL 0
96#endif 96#endif
97#ifndef newSV 97#ifndef newSV
98# define newSV(l) NEWSV(0,l) 98# define newSV(l) NEWSV(0,l)
99#endif 99#endif
100#ifndef CvISXSUB_on
101# define CvISXSUB_on(cv) (void)cv
102#endif
100 103
101/* 5.8.7 */ 104/* 5.8.7 */
102#ifndef SvRV_set 105#ifndef SvRV_set
103# define SvRV_set(s,v) SvRV(s) = (v) 106# define SvRV_set(s,v) SvRV(s) = (v)
104#endif 107#endif
117#endif 120#endif
118 121
119/* The next macros try to return the current stack pointer, in an as 122/* The next macros try to return the current stack pointer, in an as
120 * portable way as possible. */ 123 * portable way as possible. */
121#if __GNUC__ >= 4 124#if __GNUC__ >= 4
125# define dSTACKLEVEL int stacklevel_dummy
122# define dSTACKLEVEL void *stacklevel = __builtin_frame_address (0) 126# define STACKLEVEL __builtin_frame_address (0)
123#else 127#else
124# define dSTACKLEVEL volatile void *stacklevel = (volatile void *)&stacklevel 128# define dSTACKLEVEL volatile void *stacklevel
129# define STACKLEVEL ((void *)&stacklevel)
125#endif 130#endif
126 131
127#define IN_DESTRUCT (PL_main_cv == Nullcv) 132#define IN_DESTRUCT (PL_main_cv == Nullcv)
128 133
129#if __GNUC__ >= 3 134#if __GNUC__ >= 3
140#define expect_true(expr) expect ((expr) != 0, 1) 145#define expect_true(expr) expect ((expr) != 0, 1)
141 146
142#define NOINLINE attribute ((noinline)) 147#define NOINLINE attribute ((noinline))
143 148
144#include "CoroAPI.h" 149#include "CoroAPI.h"
150#define GCoroAPI (&coroapi) /* very sneaky */
145 151
146#ifdef USE_ITHREADS 152#ifdef USE_ITHREADS
147# if CORO_PTHREAD 153# if CORO_PTHREAD
148static void *coro_thx; 154static void *coro_thx;
149# endif 155# endif
150#endif 156#endif
151 157
152/* helper storage struct for Coro::AIO */
153struct io_state
154{
155 AV *res;
156 int errorno;
157 I32 laststype; /* U16 in 5.10.0 */
158 int laststatval;
159 Stat_t statcache;
160};
161
162static double (*nvtime)(); /* so why doesn't it take void? */ 158static double (*nvtime)(); /* so why doesn't it take void? */
159
160/* we hijack an hopefully unused CV flag for our purposes */
161#define CVf_SLF 0x4000
162static OP *pp_slf (pTHX);
163 163
164static U32 cctx_gen; 164static U32 cctx_gen;
165static size_t cctx_stacksize = CORO_STACKSIZE; 165static size_t cctx_stacksize = CORO_STACKSIZE;
166static struct CoroAPI coroapi; 166static struct CoroAPI coroapi;
167static AV *main_mainstack; /* used to differentiate between $main and others */ 167static AV *main_mainstack; /* used to differentiate between $main and others */
168static JMPENV *main_top_env; 168static JMPENV *main_top_env;
169static HV *coro_state_stash, *coro_stash; 169static HV *coro_state_stash, *coro_stash;
170static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */ 170static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
171static volatile struct coro *transfer_next;
172 171
173static GV *irsgv; /* $/ */ 172static GV *irsgv; /* $/ */
174static GV *stdoutgv; /* *STDOUT */ 173static GV *stdoutgv; /* *STDOUT */
175static SV *rv_diehook; 174static SV *rv_diehook;
176static SV *rv_warnhook; 175static SV *rv_warnhook;
242/* this is a structure representing a perl-level coroutine */ 241/* this is a structure representing a perl-level coroutine */
243struct coro { 242struct coro {
244 /* the C coroutine allocated to this perl coroutine, if any */ 243 /* the C coroutine allocated to this perl coroutine, if any */
245 coro_cctx *cctx; 244 coro_cctx *cctx;
246 245
247 /* process data */ 246 /* state data */
248 struct CoroSLF slf_frame; /* saved slf frame */ 247 struct CoroSLF slf_frame; /* saved slf frame */
249 AV *mainstack; 248 AV *mainstack;
250 perl_slots *slot; /* basically the saved sp */ 249 perl_slots *slot; /* basically the saved sp */
251 250
252 AV *args; /* data associated with this coroutine (initial args) */ 251 AV *args; /* data associated with this coroutine (initial args) */
258 /* statistics */ 257 /* statistics */
259 int usecount; /* number of transfers to this coro */ 258 int usecount; /* number of transfers to this coro */
260 259
261 /* coro process data */ 260 /* coro process data */
262 int prio; 261 int prio;
263 SV *throw; /* exception to be thrown */ 262 SV *except; /* exception to be thrown */
264 263
265 /* async_pool */ 264 /* async_pool */
266 SV *saved_deffh; 265 SV *saved_deffh;
267 266
268 /* linked list */ 267 /* linked list */
270}; 269};
271 270
272typedef struct coro *Coro__State; 271typedef struct coro *Coro__State;
273typedef struct coro *Coro__State_or_hashref; 272typedef struct coro *Coro__State_or_hashref;
274 273
274/* the following variables are effectively part of the perl context */
275/* and get copied between struct coro and these variables */
276/* the mainr easonw e don't support windows process emulation */
275static struct CoroSLF slf_frame; /* the current slf frame */ 277static struct CoroSLF slf_frame; /* the current slf frame */
276 278
277/** Coro ********************************************************************/ 279/** Coro ********************************************************************/
278 280
279#define PRIO_MAX 3 281#define PRIO_MAX 3
381 SvREFCNT_dec (av); /* sv_magicext increased the refcount */ 383 SvREFCNT_dec (av); /* sv_magicext increased the refcount */
382 384
383 return 0; 385 return 0;
384} 386}
385 387
386#define CORO_MAGIC_type_cv PERL_MAGIC_ext 388#define CORO_MAGIC_type_cv 26
387#define CORO_MAGIC_type_state PERL_MAGIC_ext 389#define CORO_MAGIC_type_state PERL_MAGIC_ext
388 390
389static MGVTBL coro_cv_vtbl = { 391static MGVTBL coro_cv_vtbl = {
390 0, 0, 0, 0, 392 0, 0, 0, 0,
391 coro_cv_free 393 coro_cv_free
392}; 394};
393 395
396#define CORO_MAGIC_NN(sv, type) \
397 (expect_true (SvMAGIC (sv)->mg_type == type) \
398 ? SvMAGIC (sv) \
399 : mg_find (sv, type))
400
394#define CORO_MAGIC(sv, type) \ 401#define CORO_MAGIC(sv, type) \
395 SvMAGIC (sv) \ 402 (expect_true (SvMAGIC (sv)) \
396 ? SvMAGIC (sv)->mg_type == type \ 403 ? CORO_MAGIC_NN (sv, type) \
397 ? SvMAGIC (sv) \
398 : mg_find (sv, type) \
399 : 0 404 : 0)
400 405
401#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv) 406#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
402#define CORO_MAGIC_state(sv) CORO_MAGIC (((SV *)(sv)), CORO_MAGIC_type_state) 407#define CORO_MAGIC_state(sv) CORO_MAGIC_NN (((SV *)(sv)), CORO_MAGIC_type_state)
403 408
404INLINE struct coro * 409INLINE struct coro *
405SvSTATE_ (pTHX_ SV *coro) 410SvSTATE_ (pTHX_ SV *coro)
406{ 411{
407 HV *stash; 412 HV *stash;
424 mg = CORO_MAGIC_state (coro); 429 mg = CORO_MAGIC_state (coro);
425 return (struct coro *)mg->mg_ptr; 430 return (struct coro *)mg->mg_ptr;
426} 431}
427 432
428#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv)) 433#define SvSTATE(sv) SvSTATE_ (aTHX_ (sv))
434
435/* faster than SvSTATE, but expects a coroutine hv */
436#define SvSTATE_hv(hv) ((struct coro *)CORO_MAGIC_NN ((SV *)hv, CORO_MAGIC_type_state)->mg_ptr)
437#define SvSTATE_current SvSTATE_hv (SvRV (coro_current))
429 438
430/* the next two functions merely cache the padlists */ 439/* the next two functions merely cache the padlists */
431static void 440static void
432get_padlist (pTHX_ CV *cv) 441get_padlist (pTHX_ CV *cv)
433{ 442{
501 } 510 }
502 511
503 PUTBACK; 512 PUTBACK;
504 } 513 }
505 514
506 slf_frame = c->slf_frame; 515 slf_frame = c->slf_frame;
516 CORO_THROW = c->except;
507} 517}
508 518
509static void 519static void
510save_perl (pTHX_ Coro__State c) 520save_perl (pTHX_ Coro__State c)
511{ 521{
522 c->except = CORO_THROW;
512 c->slf_frame = slf_frame; 523 c->slf_frame = slf_frame;
513 524
514 { 525 {
515 dSP; 526 dSP;
516 I32 cxix = cxstack_ix; 527 I32 cxix = cxstack_ix;
809slf_check_nop (pTHX_ struct CoroSLF *frame) 820slf_check_nop (pTHX_ struct CoroSLF *frame)
810{ 821{
811 return 0; 822 return 0;
812} 823}
813 824
814static void 825static UNOP coro_setup_op;
826
827static void NOINLINE /* noinline to keep it out of the transfer fast path */
815coro_setup (pTHX_ struct coro *coro) 828coro_setup (pTHX_ struct coro *coro)
816{ 829{
817 /* 830 /*
818 * emulate part of the perl startup here. 831 * emulate part of the perl startup here.
819 */ 832 */
846 { 859 {
847 dSP; 860 dSP;
848 UNOP myop; 861 UNOP myop;
849 862
850 Zero (&myop, 1, UNOP); 863 Zero (&myop, 1, UNOP);
851 myop.op_next = Nullop; 864 myop.op_next = Nullop;
852 myop.op_flags = OPf_WANT_VOID; 865 myop.op_flags = OPf_WANT_VOID;
853 866
854 PUSHMARK (SP); 867 PUSHMARK (SP);
855 XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv)))); 868 XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv))));
856 PUTBACK; 869 PUTBACK;
862 /* this newly created coroutine might be run on an existing cctx which most 875 /* this newly created coroutine might be run on an existing cctx which most
863 * likely was suspended in pp_slf, so we have to emulate entering pp_slf here. 876 * likely was suspended in pp_slf, so we have to emulate entering pp_slf here.
864 */ 877 */
865 slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */ 878 slf_frame.prepare = prepare_nop; /* provide a nop function for an eventual pp_slf */
866 slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */ 879 slf_frame.check = slf_check_nop; /* signal pp_slf to not repeat */
880
881 /* and we have to provide the pp_slf op in any case, so pp_slf can skip it */
882 coro_setup_op.op_next = PL_op;
883 coro_setup_op.op_type = OP_CUSTOM;
884 coro_setup_op.op_ppaddr = pp_slf;
885 /* no flags required, as an init function won't be called */
886
887 PL_op = (OP *)&coro_setup_op;
888
889 /* copy throw, in case it was set before coro_setup */
890 CORO_THROW = coro->except;
867} 891}
868 892
869static void 893static void
870coro_destruct (pTHX_ struct coro *coro) 894coro_destruct (pTHX_ struct coro *coro)
871{ 895{
895 919
896 SvREFCNT_dec (PL_diehook); 920 SvREFCNT_dec (PL_diehook);
897 SvREFCNT_dec (PL_warnhook); 921 SvREFCNT_dec (PL_warnhook);
898 922
899 SvREFCNT_dec (coro->saved_deffh); 923 SvREFCNT_dec (coro->saved_deffh);
900 SvREFCNT_dec (coro->throw); 924 SvREFCNT_dec (CORO_THROW);
901 925
902 coro_destruct_stacks (aTHX); 926 coro_destruct_stacks (aTHX);
903} 927}
904 928
905INLINE void 929INLINE void
915static int 939static int
916runops_trace (pTHX) 940runops_trace (pTHX)
917{ 941{
918 COP *oldcop = 0; 942 COP *oldcop = 0;
919 int oldcxix = -2; 943 int oldcxix = -2;
920 struct coro *coro = SvSTATE (coro_current); /* trace cctx is tied to specific coro */ 944 struct coro *coro = SvSTATE_current; /* trace cctx is tied to specific coro */
921 coro_cctx *cctx = coro->cctx; 945 coro_cctx *cctx = coro->cctx;
922 946
923 while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX))) 947 while ((PL_op = CALL_FPTR (PL_op->op_ppaddr) (aTHX)))
924 { 948 {
925 PERL_ASYNC_CHECK (); 949 PERL_ASYNC_CHECK ();
1034 1058
1035 TAINT_NOT; 1059 TAINT_NOT;
1036 return 0; 1060 return 0;
1037} 1061}
1038 1062
1063static struct coro_cctx *cctx_ssl_cctx;
1064static struct CoroSLF cctx_ssl_frame;
1065
1039static void 1066static void
1040prepare_set_stacklevel (struct coro_transfer_args *ta, struct coro_cctx *cctx) 1067slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)
1041{ 1068{
1042 ta->prev = (struct coro *)cctx; 1069 ta->prev = (struct coro *)cctx_ssl_cctx;
1043 ta->next = 0; 1070 ta->next = 0;
1044} 1071}
1045 1072
1046/* inject a fake call to Coro::State::_cctx_init into the execution */ 1073static int
1047/* _cctx_init should be careful, as it could be called at almost any time */ 1074slf_check_set_stacklevel (pTHX_ struct CoroSLF *frame)
1048/* during execution of a perl program */ 1075{
1049/* also initialises PL_top_env */ 1076 *frame = cctx_ssl_frame;
1077
1078 return frame->check (aTHX_ frame); /* execute the restored frame - there must be one */
1079}
1080
1081/* initialises PL_top_env and injects a pseudo-slf-call to set the stacklevel */
1050static void NOINLINE 1082static void NOINLINE
1051cctx_prepare (pTHX_ coro_cctx *cctx) 1083cctx_prepare (pTHX_ coro_cctx *cctx)
1052{ 1084{
1053 dSP;
1054 UNOP myop;
1055
1056 PL_top_env = &PL_start_env; 1085 PL_top_env = &PL_start_env;
1057 1086
1058 if (cctx->flags & CC_TRACE) 1087 if (cctx->flags & CC_TRACE)
1059 PL_runops = runops_trace; 1088 PL_runops = runops_trace;
1060 1089
1061 Zero (&myop, 1, UNOP); 1090 /* we already must be executing an SLF op, there is no other valid way
1062 myop.op_next = PL_op; 1091 * that can lead to creation of a new cctx */
1063 myop.op_flags = OPf_WANT_VOID | OPf_STACKED; 1092 assert (("FATAL: can't prepare slf-less cctx in Coro module (please report)",
1093 slf_frame.prepare && PL_op->op_ppaddr == pp_slf));
1064 1094
1065 PUSHMARK (SP); 1095 /* we must emulate leaving pp_slf, which is done inside slf_check_set_stacklevel */
1066 EXTEND (SP, 2); 1096 cctx_ssl_cctx = cctx;
1067 PUSHs (sv_2mortal (newSViv ((IV)cctx))); 1097 cctx_ssl_frame = slf_frame;
1068 PUSHs ((SV *)get_cv ("Coro::State::_cctx_init", FALSE)); 1098
1069 PUTBACK; 1099 slf_frame.prepare = slf_prepare_set_stacklevel;
1070 PL_op = (OP *)&myop; 1100 slf_frame.check = slf_check_set_stacklevel;
1071 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
1072 SPAGAIN;
1073} 1101}
1074 1102
1075/* the tail of transfer: execute stuff we can only do after a transfer */ 1103/* the tail of transfer: execute stuff we can only do after a transfer */
1076INLINE void 1104INLINE void
1077transfer_tail (pTHX) 1105transfer_tail (pTHX)
1078{ 1106{
1079 struct coro *next = (struct coro *)transfer_next;
1080 assert (!(transfer_next = 0)); /* just used for the side effect when asserts are enabled */
1081 assert (("FATAL: next coroutine was zero in transfer_tail (please report)", next));
1082
1083 free_coro_mortal (aTHX); 1107 free_coro_mortal (aTHX);
1084
1085 if (expect_false (next->throw))
1086 {
1087 SV *exception = sv_2mortal (next->throw);
1088
1089 next->throw = 0;
1090 sv_setsv (ERRSV, exception);
1091 croak (0);
1092 }
1093} 1108}
1094 1109
1095/* 1110/*
1096 * this is a _very_ stripped down perl interpreter ;) 1111 * this is a _very_ stripped down perl interpreter ;)
1097 */ 1112 */
1112 1127
1113 /* inject a fake subroutine call to cctx_init */ 1128 /* inject a fake subroutine call to cctx_init */
1114 cctx_prepare (aTHX_ (coro_cctx *)arg); 1129 cctx_prepare (aTHX_ (coro_cctx *)arg);
1115 1130
1116 /* cctx_run is the alternative tail of transfer() */ 1131 /* cctx_run is the alternative tail of transfer() */
1117 /* TODO: throwing an exception here might be deadly, VERIFY */
1118 transfer_tail (aTHX); 1132 transfer_tail (aTHX);
1119 1133
1120 /* somebody or something will hit me for both perl_run and PL_restartop */ 1134 /* somebody or something will hit me for both perl_run and PL_restartop */
1121 PL_restartop = PL_op; 1135 PL_restartop = PL_op;
1122 perl_run (PL_curinterp); 1136 perl_run (PL_curinterp);
1278/** coroutine switching *****************************************************/ 1292/** coroutine switching *****************************************************/
1279 1293
1280static void 1294static void
1281transfer_check (pTHX_ struct coro *prev, struct coro *next) 1295transfer_check (pTHX_ struct coro *prev, struct coro *next)
1282{ 1296{
1297 /* TODO: throwing up here is considered harmful */
1298
1283 if (expect_true (prev != next)) 1299 if (expect_true (prev != next))
1284 { 1300 {
1285 if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW)))) 1301 if (expect_false (!(prev->flags & (CF_RUNNING | CF_NEW))))
1286 croak ("Coro::State::transfer called with non-running/new prev Coro::State, but can only transfer from running or new states,"); 1302 croak ("Coro::State::transfer called with non-running/new prev Coro::State, but can only transfer from running or new states,");
1287 1303
1297#endif 1313#endif
1298 } 1314 }
1299} 1315}
1300 1316
1301/* always use the TRANSFER macro */ 1317/* always use the TRANSFER macro */
1302static void NOINLINE 1318static void NOINLINE /* noinline so we have a fixed stackframe */
1303transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx) 1319transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1304{ 1320{
1305 dSTACKLEVEL; 1321 dSTACKLEVEL;
1306 1322
1307 /* sometimes transfer is only called to set idle_sp */ 1323 /* sometimes transfer is only called to set idle_sp */
1308 if (expect_false (!next)) 1324 if (expect_false (!next))
1309 { 1325 {
1310 ((coro_cctx *)prev)->idle_sp = (void *)stacklevel; 1326 ((coro_cctx *)prev)->idle_sp = STACKLEVEL;
1311 assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */ 1327 assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1312 } 1328 }
1313 else if (expect_true (prev != next)) 1329 else if (expect_true (prev != next))
1314 { 1330 {
1315 coro_cctx *prev__cctx; 1331 coro_cctx *prev__cctx;
1340 1356
1341 prev__cctx = prev->cctx; 1357 prev__cctx = prev->cctx;
1342 1358
1343 /* possibly untie and reuse the cctx */ 1359 /* possibly untie and reuse the cctx */
1344 if (expect_true ( 1360 if (expect_true (
1345 prev__cctx->idle_sp == (void *)stacklevel 1361 prev__cctx->idle_sp == STACKLEVEL
1346 && !(prev__cctx->flags & CC_TRACE) 1362 && !(prev__cctx->flags & CC_TRACE)
1347 && !force_cctx 1363 && !force_cctx
1348 )) 1364 ))
1349 { 1365 {
1350 /* I assume that stacklevel is a stronger indicator than PL_top_env changes */ 1366 /* I assume that stacklevel is a stronger indicator than PL_top_env changes */
1363 1379
1364 ++next->usecount; 1380 ++next->usecount;
1365 1381
1366 if (expect_true (!next->cctx)) 1382 if (expect_true (!next->cctx))
1367 next->cctx = cctx_get (aTHX); 1383 next->cctx = cctx_get (aTHX);
1368
1369 assert (("FATAL: transfer_next already nonzero in Coro (please report)", !transfer_next));
1370 transfer_next = next;
1371 1384
1372 if (expect_false (prev__cctx != next->cctx)) 1385 if (expect_false (prev__cctx != next->cctx))
1373 { 1386 {
1374 prev__cctx->top_env = PL_top_env; 1387 prev__cctx->top_env = PL_top_env;
1375 PL_top_env = next->cctx->top_env; 1388 PL_top_env = next->cctx->top_env;
1486 TRANSFER (ta, 1); 1499 TRANSFER (ta, 1);
1487} 1500}
1488 1501
1489/** Coro ********************************************************************/ 1502/** Coro ********************************************************************/
1490 1503
1491static void 1504INLINE void
1492coro_enq (pTHX_ SV *coro_sv) 1505coro_enq (pTHX_ struct coro *coro)
1493{ 1506{
1494 av_push (coro_ready [SvSTATE (coro_sv)->prio - PRIO_MIN], coro_sv); 1507 av_push (coro_ready [coro->prio - PRIO_MIN], SvREFCNT_inc_NN (coro->hv));
1495} 1508}
1496 1509
1497static SV * 1510INLINE SV *
1498coro_deq (pTHX) 1511coro_deq (pTHX)
1499{ 1512{
1500 int prio; 1513 int prio;
1501 1514
1502 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; ) 1515 for (prio = PRIO_MAX - PRIO_MIN + 1; --prio >= 0; )
1524 coro->flags |= CF_READY; 1537 coro->flags |= CF_READY;
1525 1538
1526 sv_hook = coro_nready ? 0 : coro_readyhook; 1539 sv_hook = coro_nready ? 0 : coro_readyhook;
1527 xs_hook = coro_nready ? 0 : coroapi.readyhook; 1540 xs_hook = coro_nready ? 0 : coroapi.readyhook;
1528 1541
1529 coro_enq (aTHX_ SvREFCNT_inc_NN (coro_sv)); 1542 coro_enq (aTHX_ coro);
1530 ++coro_nready; 1543 ++coro_nready;
1531 1544
1532 if (sv_hook) 1545 if (sv_hook)
1533 { 1546 {
1534 dSP; 1547 dSP;
1536 ENTER; 1549 ENTER;
1537 SAVETMPS; 1550 SAVETMPS;
1538 1551
1539 PUSHMARK (SP); 1552 PUSHMARK (SP);
1540 PUTBACK; 1553 PUTBACK;
1541 call_sv (sv_hook, G_DISCARD); 1554 call_sv (sv_hook, G_VOID | G_DISCARD);
1542 SPAGAIN;
1543 1555
1544 FREETMPS; 1556 FREETMPS;
1545 LEAVE; 1557 LEAVE;
1546 } 1558 }
1547 1559
1574 ENTER; 1586 ENTER;
1575 SAVETMPS; 1587 SAVETMPS;
1576 1588
1577 PUSHMARK (SP); 1589 PUSHMARK (SP);
1578 PUTBACK; 1590 PUTBACK;
1579 call_sv (get_sv ("Coro::idle", FALSE), G_DISCARD); 1591 call_sv (get_sv ("Coro::idle", FALSE), G_VOID | G_DISCARD);
1580 SPAGAIN;
1581 1592
1582 FREETMPS; 1593 FREETMPS;
1583 LEAVE; 1594 LEAVE;
1584 continue; 1595 continue;
1585 } 1596 }
1586 1597
1587 ta->next = SvSTATE (next_sv); 1598 ta->next = SvSTATE_hv (next_sv);
1588 1599
1589 /* cannot transfer to destroyed coros, skip and look for next */ 1600 /* cannot transfer to destroyed coros, skip and look for next */
1590 if (expect_false (ta->next->flags & CF_DESTROYED)) 1601 if (expect_false (ta->next->flags & CF_DESTROYED))
1591 { 1602 {
1592 SvREFCNT_dec (next_sv); 1603 SvREFCNT_dec (next_sv);
1598 break; 1609 break;
1599 } 1610 }
1600 1611
1601 /* free this only after the transfer */ 1612 /* free this only after the transfer */
1602 prev_sv = SvRV (coro_current); 1613 prev_sv = SvRV (coro_current);
1603 ta->prev = SvSTATE (prev_sv); 1614 ta->prev = SvSTATE_hv (prev_sv);
1604 TRANSFER_CHECK (*ta); 1615 TRANSFER_CHECK (*ta);
1605 assert (("FATAL: next coroutine isn't marked as ready in Coro (please report)", ta->next->flags & CF_READY)); 1616 assert (("FATAL: next coroutine isn't marked as ready in Coro (please report)", ta->next->flags & CF_READY));
1606 ta->next->flags &= ~CF_READY; 1617 ta->next->flags &= ~CF_READY;
1607 SvRV_set (coro_current, next_sv); 1618 SvRV_set (coro_current, next_sv);
1608 1619
1692 if (coro->flags & CF_RUNNING) 1703 if (coro->flags & CF_RUNNING)
1693 PL_runops = RUNOPS_DEFAULT; 1704 PL_runops = RUNOPS_DEFAULT;
1694 else 1705 else
1695 coro->slot->runops = RUNOPS_DEFAULT; 1706 coro->slot->runops = RUNOPS_DEFAULT;
1696 } 1707 }
1708}
1709
1710/*****************************************************************************/
1711/* schedule-like-function opcode (SLF) */
1712
1713static UNOP slf_restore; /* restore stack as entersub did, for first-re-run */
1714static const CV *slf_cv;
1715static SV **slf_argv;
1716static int slf_argc, slf_arga; /* count, allocated */
1717static I32 slf_ax; /* top of stack, for restore */
1718
1719/* this restores the stack in the case we patched the entersub, to */
1720/* recreate the stack frame as perl will on following calls */
1721/* since entersub cleared the stack */
1722static OP *
1723pp_restore (pTHX)
1724{
1725 int i;
1726 SV **SP = PL_stack_base + slf_ax;
1727
1728 PUSHMARK (SP);
1729
1730 EXTEND (SP, slf_argc + 1);
1731
1732 for (i = 0; i < slf_argc; ++i)
1733 PUSHs (sv_2mortal (slf_argv [i]));
1734
1735 PUSHs ((SV *)CvGV (slf_cv));
1736
1737 RETURNOP (slf_restore.op_first);
1738}
1739
1740static void
1741slf_prepare_transfer (pTHX_ struct coro_transfer_args *ta)
1742{
1743 SV **arg = (SV **)slf_frame.data;
1744
1745 prepare_transfer (aTHX_ ta, arg [0], arg [1]);
1746}
1747
1748static void
1749slf_init_transfer (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1750{
1751 if (items != 2)
1752 croak ("Coro::State::transfer (prev, next) expects two arguments, not %d,", items);
1753
1754 frame->prepare = slf_prepare_transfer;
1755 frame->check = slf_check_nop;
1756 frame->data = (void *)arg; /* let's hope it will stay valid */
1757}
1758
1759static void
1760slf_init_schedule (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1761{
1762 frame->prepare = prepare_schedule;
1763 frame->check = slf_check_nop;
1764}
1765
1766static void
1767slf_init_cede (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1768{
1769 frame->prepare = prepare_cede;
1770 frame->check = slf_check_nop;
1771}
1772
1773static void
1774slf_init_cede_notself (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1775{
1776 frame->prepare = prepare_cede_notself;
1777 frame->check = slf_check_nop;
1778}
1779
1780/*
1781 * these not obviously related functions are all rolled into one
1782 * function to increase chances that they all will call transfer with the same
1783 * stack offset
1784 * SLF stands for "schedule-like-function".
1785 */
1786static OP *
1787pp_slf (pTHX)
1788{
1789 I32 checkmark; /* mark SP to see how many elements check has pushed */
1790
1791 /* set up the slf frame, unless it has already been set-up */
1792 /* the latter happens when a new coro has been started */
1793 /* or when a new cctx was attached to an existing coroutine */
1794 if (expect_true (!slf_frame.prepare))
1795 {
1796 /* first iteration */
1797 dSP;
1798 SV **arg = PL_stack_base + TOPMARK + 1;
1799 int items = SP - arg; /* args without function object */
1800 SV *gv = *sp;
1801
1802 /* do a quick consistency check on the "function" object, and if it isn't */
1803 /* for us, divert to the real entersub */
1804 if (SvTYPE (gv) != SVt_PVGV
1805 || !GvCV (gv)
1806 || !(CvFLAGS (GvCV (gv)) & CVf_SLF))
1807 return PL_ppaddr[OP_ENTERSUB](aTHX);
1808
1809 if (!(PL_op->op_flags & OPf_STACKED))
1810 {
1811 /* ampersand-form of call, use @_ instead of stack */
1812 AV *av = GvAV (PL_defgv);
1813 arg = AvARRAY (av);
1814 items = AvFILLp (av) + 1;
1815 }
1816
1817 /* now call the init function, which needs to set up slf_frame */
1818 ((coro_slf_cb)CvXSUBANY (GvCV (gv)).any_ptr)
1819 (aTHX_ &slf_frame, GvCV (gv), arg, items);
1820
1821 /* pop args */
1822 SP = PL_stack_base + POPMARK;
1823
1824 PUTBACK;
1825 }
1826
1827 /* now that we have a slf_frame, interpret it! */
1828 /* we use a callback system not to make the code needlessly */
1829 /* complicated, but so we can run multiple perl coros from one cctx */
1830
1831 do
1832 {
1833 struct coro_transfer_args ta;
1834
1835 slf_frame.prepare (aTHX_ &ta);
1836 TRANSFER (ta, 0);
1837
1838 checkmark = PL_stack_sp - PL_stack_base;
1839 }
1840 while (slf_frame.check (aTHX_ &slf_frame));
1841
1842 slf_frame.prepare = 0; /* invalidate the frame, we are done processing it */
1843
1844 /* exception handling */
1845 if (expect_false (CORO_THROW))
1846 {
1847 SV *exception = sv_2mortal (CORO_THROW);
1848
1849 CORO_THROW = 0;
1850 sv_setsv (ERRSV, exception);
1851 croak (0);
1852 }
1853
1854 /* return value handling - mostly like entersub */
1855 /* make sure we put something on the stack in scalar context */
1856 if (GIMME_V == G_SCALAR)
1857 {
1858 dSP;
1859 SV **bot = PL_stack_base + checkmark;
1860
1861 if (sp == bot) /* too few, push undef */
1862 bot [1] = &PL_sv_undef;
1863 else if (sp != bot + 1) /* too many, take last one */
1864 bot [1] = *sp;
1865
1866 SP = bot + 1;
1867
1868 PUTBACK;
1869 }
1870
1871 return NORMAL;
1872}
1873
1874static void
1875api_execute_slf (pTHX_ CV *cv, coro_slf_cb init_cb, I32 ax)
1876{
1877 int i;
1878 SV **arg = PL_stack_base + ax;
1879 int items = PL_stack_sp - arg + 1;
1880
1881 assert (("FATAL: SLF call with illegal CV value", !CvANON (cv)));
1882
1883 if (PL_op->op_ppaddr != PL_ppaddr [OP_ENTERSUB]
1884 && PL_op->op_ppaddr != pp_slf)
1885 croak ("FATAL: Coro SLF calls can only be made normally, not via goto or any other means, caught");
1886
1887 CvFLAGS (cv) |= CVf_SLF;
1888 CvXSUBANY (cv).any_ptr = (void *)init_cb;
1889 slf_cv = cv;
1890
1891 /* we patch the op, and then re-run the whole call */
1892 /* we have to put the same argument on the stack for this to work */
1893 /* and this will be done by pp_restore */
1894 slf_restore.op_next = (OP *)&slf_restore;
1895 slf_restore.op_type = OP_CUSTOM;
1896 slf_restore.op_ppaddr = pp_restore;
1897 slf_restore.op_first = PL_op;
1898
1899 slf_ax = ax - 1; /* undo the ax++ inside dAXMARK */
1900
1901 if (PL_op->op_flags & OPf_STACKED)
1902 {
1903 if (items > slf_arga)
1904 {
1905 slf_arga = items;
1906 free (slf_argv);
1907 slf_argv = malloc (slf_arga * sizeof (SV *));
1908 }
1909
1910 slf_argc = items;
1911
1912 for (i = 0; i < items; ++i)
1913 slf_argv [i] = SvREFCNT_inc (arg [i]);
1914 }
1915 else
1916 slf_argc = 0;
1917
1918 PL_op->op_ppaddr = pp_slf;
1919 PL_op->op_type = OP_CUSTOM; /* maybe we should leave it at entersub? */
1920
1921 PL_op = (OP *)&slf_restore;
1697} 1922}
1698 1923
1699/*****************************************************************************/ 1924/*****************************************************************************/
1700/* PerlIO::cede */ 1925/* PerlIO::cede */
1701 1926
1770 PerlIOBuf_get_cnt, 1995 PerlIOBuf_get_cnt,
1771 PerlIOBuf_set_ptrcnt, 1996 PerlIOBuf_set_ptrcnt,
1772}; 1997};
1773 1998
1774/*****************************************************************************/ 1999/*****************************************************************************/
2000/* Coro::Semaphore & Coro::Signal */
1775 2001
1776static const CV *slf_cv; /* for quick consistency check */
1777
1778static UNOP slf_restore; /* restore stack as entersub did, for first-re-run */
1779static SV *slf_arg0;
1780static SV *slf_arg1;
1781static SV *slf_arg2;
1782
1783/* this restores the stack in the case we patched the entersub, to */
1784/* recreate the stack frame as perl will on following calls */
1785/* since entersub cleared the stack */
1786static OP * 2002static SV *
1787pp_restore (pTHX) 2003coro_waitarray_new (pTHX_ int count)
1788{ 2004{
1789 dSP; 2005 /* a semaphore contains a counter IV in $sem->[0] and any waiters after that */
2006 AV *av = newAV ();
2007 SV **ary;
1790 2008
1791 PUSHMARK (SP); 2009 /* unfortunately, building manually saves memory */
2010 Newx (ary, 2, SV *);
2011 AvALLOC (av) = ary;
2012 AvARRAY (av) = ary;
2013 AvMAX (av) = 1;
2014 AvFILLp (av) = 0;
2015 ary [0] = newSViv (count);
1792 2016
1793 EXTEND (SP, 3); 2017 return newRV_noinc ((SV *)av);
1794 if (slf_arg0) PUSHs (sv_2mortal (slf_arg0));
1795 if (slf_arg1) PUSHs (sv_2mortal (slf_arg1));
1796 if (slf_arg2) PUSHs (sv_2mortal (slf_arg2));
1797 PUSHs ((SV *)CvGV (slf_cv));
1798
1799 RETURNOP (slf_restore.op_first);
1800} 2018}
1801 2019
1802static void 2020/* semaphore */
1803slf_prepare_set_stacklevel (pTHX_ struct coro_transfer_args *ta)
1804{
1805 prepare_set_stacklevel (ta, (struct coro_cctx *)slf_frame.data);
1806}
1807 2021
1808static void 2022static void
1809slf_init_set_stacklevel (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1810{
1811 assert (("FATAL: set_stacklevel needs the coro cctx as sole argument", items == 1));
1812
1813 frame->prepare = slf_prepare_set_stacklevel;
1814 frame->check = slf_check_nop;
1815 frame->data = (void *)SvIV (arg [0]);
1816}
1817
1818static void
1819slf_prepare_transfer (pTHX_ struct coro_transfer_args *ta)
1820{
1821 SV **arg = (SV **)slf_frame.data;
1822
1823 prepare_transfer (aTHX_ ta, arg [0], arg [1]);
1824}
1825
1826static void
1827slf_init_transfer (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1828{
1829 if (items != 2)
1830 croak ("Coro::State::transfer (prev, next) expects two arguments, not %d,", items);
1831
1832 frame->prepare = slf_prepare_transfer;
1833 frame->check = slf_check_nop;
1834 frame->data = (void *)arg; /* let's hope it will stay valid */
1835}
1836
1837static void
1838slf_init_schedule (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1839{
1840 frame->prepare = prepare_schedule;
1841 frame->check = slf_check_nop;
1842}
1843
1844static void
1845slf_init_cede (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1846{
1847 frame->prepare = prepare_cede;
1848 frame->check = slf_check_nop;
1849}
1850
1851static void
1852slf_init_cede_notself (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
1853{
1854 frame->prepare = prepare_cede_notself;
1855 frame->check = slf_check_nop;
1856}
1857
1858/* we hijack an hopefully unused CV flag for our purposes */
1859#define CVf_SLF 0x4000
1860
1861/*
1862 * these not obviously related functions are all rolled into one
1863 * function to increase chances that they all will call transfer with the same
1864 * stack offset
1865 * SLF stands for "schedule-like-function".
1866 */
1867static OP *
1868pp_slf (pTHX)
1869{
1870 I32 checkmark; /* mark SP to see how many elements check has pushed */
1871
1872 /* set up the slf frame, unless it has already been set-up */
1873 /* the latter happens when a new coro has been started */
1874 /* or when a new cctx was attached to an existing coroutine */
1875 if (expect_true (!slf_frame.prepare))
1876 {
1877 /* first iteration */
1878 dSP;
1879 SV **arg = PL_stack_base + TOPMARK + 1;
1880 int items = SP - arg; /* args without function object */
1881 SV *gv = *sp;
1882
1883 /* do a quick consistency check on the "function" object, and if it isn't */
1884 /* for us, divert to the real entersub */
1885 if (SvTYPE (gv) != SVt_PVGV || !(CvFLAGS (GvCV (gv)) & CVf_SLF))
1886 return PL_ppaddr[OP_ENTERSUB](aTHX);
1887
1888 /* pop args */
1889 SP = PL_stack_base + POPMARK;
1890
1891 if (!(PL_op->op_flags & OPf_STACKED))
1892 {
1893 /* ampersand-form of call, use @_ instead of stack */
1894 AV *av = GvAV (PL_defgv);
1895 arg = AvARRAY (av);
1896 items = AvFILLp (av) + 1;
1897 }
1898
1899 PUTBACK;
1900
1901 /* now call the init function, which needs to set up slf_frame */
1902 ((coro_slf_cb)CvXSUBANY (GvCV (gv)).any_ptr)
1903 (aTHX_ &slf_frame, GvCV (gv), arg, items);
1904 }
1905
1906 /* now that we have a slf_frame, interpret it! */
1907 /* we use a callback system not to make the code needlessly */
1908 /* complicated, but so we can run multiple perl coros from one cctx */
1909
1910 do
1911 {
1912 struct coro_transfer_args ta;
1913
1914 slf_frame.prepare (aTHX_ &ta);
1915 TRANSFER (ta, 0);
1916
1917 checkmark = PL_stack_sp - PL_stack_base;
1918 }
1919 while (slf_frame.check (aTHX_ &slf_frame));
1920
1921 {
1922 dSP;
1923 SV **bot = PL_stack_base + checkmark;
1924 int gimme = GIMME_V;
1925
1926 slf_frame.prepare = 0; /* invalidate the frame, so it gets initialised again next time */
1927
1928 /* make sure we put something on the stack in scalar context */
1929 if (gimme == G_SCALAR)
1930 {
1931 if (sp == bot)
1932 XPUSHs (&PL_sv_undef);
1933
1934 SP = bot + 1;
1935 }
1936
1937 PUTBACK;
1938 }
1939
1940 return NORMAL;
1941}
1942
1943static void
1944api_execute_slf (pTHX_ CV *cv, coro_slf_cb init_cb, SV **arg, int items)
1945{
1946 assert (("FATAL: SLF call with illegal CV value", !CvANON (cv)));
1947
1948 if (PL_op->op_ppaddr != PL_ppaddr [OP_ENTERSUB]
1949 && PL_op->op_ppaddr != pp_slf)
1950 croak ("FATAL: Coro SLF calls can only be made normally, not via goto or any other means, caught");
1951
1952 if (items > 3)
1953 croak ("Coro only supports up to three arguments to SLF functions currently (not %d), caught", items);
1954
1955 CvFLAGS (cv) |= CVf_SLF;
1956 CvXSUBANY (cv).any_ptr = (void *)init_cb;
1957 slf_cv = cv;
1958
1959 /* we patch the op, and then re-run the whole call */
1960 /* we have to put the same argument on the stack for this to work */
1961 /* and this will be done by pp_restore */
1962 slf_restore.op_next = (OP *)&slf_restore;
1963 slf_restore.op_type = OP_CUSTOM;
1964 slf_restore.op_ppaddr = pp_restore;
1965 slf_restore.op_first = PL_op;
1966
1967 slf_arg0 = items > 0 ? SvREFCNT_inc (arg [0]) : 0;
1968 slf_arg1 = items > 1 ? SvREFCNT_inc (arg [1]) : 0;
1969 slf_arg2 = items > 2 ? SvREFCNT_inc (arg [2]) : 0;
1970
1971 PL_op->op_ppaddr = pp_slf;
1972
1973 PL_op = (OP *)&slf_restore;
1974}
1975
1976/*****************************************************************************/
1977
1978static void
1979coro_semaphore_adjust (AV *av, int adjust) 2023coro_semaphore_adjust (pTHX_ AV *av, IV adjust)
1980{ 2024{
1981 SV *count_sv = AvARRAY (av)[0]; 2025 SV *count_sv = AvARRAY (av)[0];
1982 IV count = SvIVX (count_sv); 2026 IV count = SvIVX (count_sv);
1983 2027
1984 count += adjust; 2028 count += adjust;
1985 SvIVX (count_sv) = count; 2029 SvIVX (count_sv) = count;
1986 2030
1987 /* now wake up as many waiters as possible */ 2031 /* now wake up as many waiters as are expected to lock */
1988 while (count > 0 && AvFILLp (av) >= count) 2032 while (count > 0 && AvFILLp (av) > 0)
1989 { 2033 {
1990 SV *cb; 2034 SV *cb;
1991 2035
1992 /* swap first two elements so we can shift a waiter */ 2036 /* swap first two elements so we can shift a waiter */
1993 AvARRAY (av)[0] = AvARRAY (av)[1]; 2037 AvARRAY (av)[0] = AvARRAY (av)[1];
2006} 2050}
2007 2051
2008static void 2052static void
2009coro_semaphore_on_destroy (pTHX_ struct coro *coro) 2053coro_semaphore_on_destroy (pTHX_ struct coro *coro)
2010{ 2054{
2011 /* call $sem->adjust (0) to possibly wake up some waiters */ 2055 /* call $sem->adjust (0) to possibly wake up some other waiters */
2012 coro_semaphore_adjust ((AV *)coro->slf_frame.data, 0); 2056 coro_semaphore_adjust (aTHX_ (AV *)coro->slf_frame.data, 0);
2013} 2057}
2014 2058
2015static int 2059static int
2016slf_check_semaphore_down (pTHX_ struct CoroSLF *frame) 2060slf_check_semaphore_down_or_wait (pTHX_ struct CoroSLF *frame, int acquire)
2017{ 2061{
2018 AV *av = (AV *)frame->data; 2062 AV *av = (AV *)frame->data;
2019 SV *count_sv = AvARRAY (av)[0]; 2063 SV *count_sv = AvARRAY (av)[0];
2020 2064
2065 /* if we are about to throw, don't actually acquire the lock, just throw */
2066 if (CORO_THROW)
2067 return 0;
2021 if (SvIVX (count_sv) > 0) 2068 else if (SvIVX (count_sv) > 0)
2022 { 2069 {
2023 SvSTATE (coro_current)->on_destroy = 0; 2070 SvSTATE_current->on_destroy = 0;
2071
2072 if (acquire)
2024 SvIVX (count_sv) = SvIVX (count_sv) - 1; 2073 SvIVX (count_sv) = SvIVX (count_sv) - 1;
2074 else
2075 coro_semaphore_adjust (aTHX_ av, 0);
2076
2025 return 0; 2077 return 0;
2026 } 2078 }
2027 else 2079 else
2028 { 2080 {
2029 int i; 2081 int i;
2038 av_push (av, SvREFCNT_inc (SvRV (coro_current))); 2090 av_push (av, SvREFCNT_inc (SvRV (coro_current)));
2039 return 1; 2091 return 1;
2040 } 2092 }
2041} 2093}
2042 2094
2043static void 2095static int
2096slf_check_semaphore_down (pTHX_ struct CoroSLF *frame)
2097{
2098 return slf_check_semaphore_down_or_wait (aTHX_ frame, 1);
2099}
2100
2101static int
2102slf_check_semaphore_wait (pTHX_ struct CoroSLF *frame)
2103{
2104 return slf_check_semaphore_down_or_wait (aTHX_ frame, 0);
2105}
2106
2107static void
2044slf_init_semaphore_down (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items) 2108slf_init_semaphore_down_or_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2045{ 2109{
2046 AV *av = (AV *)SvRV (arg [0]); 2110 AV *av = (AV *)SvRV (arg [0]);
2047 2111
2048 if (SvIVX (AvARRAY (av)[0]) > 0) 2112 if (SvIVX (AvARRAY (av)[0]) > 0)
2049 { 2113 {
2057 frame->data = (void *)sv_2mortal (SvREFCNT_inc ((SV *)av)); 2121 frame->data = (void *)sv_2mortal (SvREFCNT_inc ((SV *)av));
2058 frame->prepare = prepare_schedule; 2122 frame->prepare = prepare_schedule;
2059 2123
2060 /* to avoid race conditions when a woken-up coro gets terminated */ 2124 /* to avoid race conditions when a woken-up coro gets terminated */
2061 /* we arrange for a temporary on_destroy that calls adjust (0) */ 2125 /* we arrange for a temporary on_destroy that calls adjust (0) */
2062 SvSTATE (coro_current)->on_destroy = coro_semaphore_on_destroy; 2126 SvSTATE_current->on_destroy = coro_semaphore_on_destroy;
2063 } 2127 }
2128}
2064 2129
2130static void
2131slf_init_semaphore_down (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2132{
2133 slf_init_semaphore_down_or_wait (aTHX_ frame, cv, arg, items);
2065 frame->check = slf_check_semaphore_down; 2134 frame->check = slf_check_semaphore_down;
2135}
2066 2136
2137static void
2138slf_init_semaphore_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2139{
2140 slf_init_semaphore_down_or_wait (aTHX_ frame, cv, arg, items);
2141 frame->check = slf_check_semaphore_wait;
2142}
2143
2144/* signal */
2145
2146static void
2147coro_signal_wake (pTHX_ AV *av, int count)
2148{
2149 SvIVX (AvARRAY (av)[0]) = 0;
2150
2151 /* now signal count waiters */
2152 while (count > 0 && AvFILLp (av) > 0)
2153 {
2154 SV *cb;
2155
2156 /* swap first two elements so we can shift a waiter */
2157 cb = AvARRAY (av)[0];
2158 AvARRAY (av)[0] = AvARRAY (av)[1];
2159 AvARRAY (av)[1] = cb;
2160
2161 cb = av_shift (av);
2162
2163 api_ready (cb);
2164 sv_setiv (cb, 0); /* signal waiter */
2165 SvREFCNT_dec (cb);
2166
2167 --count;
2168 }
2169}
2170
2171static int
2172slf_check_signal_wait (pTHX_ struct CoroSLF *frame)
2173{
2174 /* if we are about to throw, also stop waiting */
2175 return SvROK ((SV *)frame->data) && !CORO_THROW;
2176}
2177
2178static void
2179slf_init_signal_wait (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2180{
2181 AV *av = (AV *)SvRV (arg [0]);
2182
2183 if (SvIVX (AvARRAY (av)[0]))
2184 {
2185 SvIVX (AvARRAY (av)[0]) = 0;
2186 frame->prepare = prepare_nop;
2187 frame->check = slf_check_nop;
2188 }
2189 else
2190 {
2191 SV *waiter = newRV_inc (SvRV (coro_current)); /* owned by signal av */
2192
2193 av_push (av, waiter);
2194
2195 frame->data = (void *)sv_2mortal (SvREFCNT_inc_NN (waiter)); /* owned by process */
2196 frame->prepare = prepare_schedule;
2197 frame->check = slf_check_signal_wait;
2198 }
2067} 2199}
2068 2200
2069/*****************************************************************************/ 2201/*****************************************************************************/
2202/* gensub: simple closure generation utility */
2070 2203
2071#define GENSUB_ARG CvXSUBANY (cv).any_ptr 2204#define GENSUB_ARG CvXSUBANY (cv).any_ptr
2072 2205
2073/* create a closure from XS, returns a code reference */ 2206/* create a closure from XS, returns a code reference */
2074/* the arg can be accessed via GENSUB_ARG from the callback */ 2207/* the arg can be accessed via GENSUB_ARG from the callback */
2075/* the callback must use dXSARGS/XSRETURN */ 2208/* the callback must use dXSARGS/XSRETURN */
2076static SV * 2209static SV *
2077gensub (pTHX_ void (*xsub)(pTHX_ CV *), void *arg) 2210gensub (pTHX_ void (*xsub)(pTHX_ CV *), void *arg)
2078{ 2211{
2079 CV *cv = (CV *)NEWSV (0, 0); 2212 CV *cv = (CV *)newSV (0);
2080 2213
2081 sv_upgrade ((SV *)cv, SVt_PVCV); 2214 sv_upgrade ((SV *)cv, SVt_PVCV);
2082 2215
2083 CvANON_on (cv); 2216 CvANON_on (cv);
2084 CvISXSUB_on (cv); 2217 CvISXSUB_on (cv);
2087 2220
2088 return newRV_noinc ((SV *)cv); 2221 return newRV_noinc ((SV *)cv);
2089} 2222}
2090 2223
2091/*****************************************************************************/ 2224/*****************************************************************************/
2225/* Coro::AIO */
2226
2227#define CORO_MAGIC_type_aio PERL_MAGIC_ext
2228
2229/* helper storage struct */
2230struct io_state
2231{
2232 int errorno;
2233 I32 laststype; /* U16 in 5.10.0 */
2234 int laststatval;
2235 Stat_t statcache;
2236};
2237
2238static void
2239coro_aio_callback (pTHX_ CV *cv)
2240{
2241 dXSARGS;
2242 AV *state = (AV *)GENSUB_ARG;
2243 SV *coro = av_pop (state);
2244 SV *data_sv = newSV (sizeof (struct io_state));
2245
2246 av_extend (state, items);
2247
2248 sv_upgrade (data_sv, SVt_PV);
2249 SvCUR_set (data_sv, sizeof (struct io_state));
2250 SvPOK_only (data_sv);
2251
2252 {
2253 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2254
2255 data->errorno = errno;
2256 data->laststype = PL_laststype;
2257 data->laststatval = PL_laststatval;
2258 data->statcache = PL_statcache;
2259 }
2260
2261 /* now build the result vector out of all the parameters and the data_sv */
2262 {
2263 int i;
2264
2265 for (i = 0; i < items; ++i)
2266 av_push (state, SvREFCNT_inc_NN (ST (i)));
2267 }
2268
2269 av_push (state, data_sv);
2270
2271 api_ready (aTHX_ coro);
2272 SvREFCNT_dec (coro);
2273 SvREFCNT_dec ((AV *)state);
2274}
2275
2276static int
2277slf_check_aio_req (pTHX_ struct CoroSLF *frame)
2278{
2279 AV *state = (AV *)frame->data;
2280
2281 /* if we are about to throw, return early */
2282 /* this does not cancel the aio request, but at least */
2283 /* it quickly returns */
2284 if (CORO_THROW)
2285 return 0;
2286
2287 /* one element that is an RV? repeat! */
2288 if (AvFILLp (state) == 0 && SvROK (AvARRAY (state)[0]))
2289 return 1;
2290
2291 /* restore status */
2292 {
2293 SV *data_sv = av_pop (state);
2294 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2295
2296 errno = data->errorno;
2297 PL_laststype = data->laststype;
2298 PL_laststatval = data->laststatval;
2299 PL_statcache = data->statcache;
2300
2301 SvREFCNT_dec (data_sv);
2302 }
2303
2304 /* push result values */
2305 {
2306 dSP;
2307 int i;
2308
2309 EXTEND (SP, AvFILLp (state) + 1);
2310 for (i = 0; i <= AvFILLp (state); ++i)
2311 PUSHs (sv_2mortal (SvREFCNT_inc_NN (AvARRAY (state)[i])));
2312
2313 PUTBACK;
2314 }
2315
2316 return 0;
2317}
2318
2319static void
2320slf_init_aio_req (pTHX_ struct CoroSLF *frame, CV *cv, SV **arg, int items)
2321{
2322 AV *state = (AV *)sv_2mortal ((SV *)newAV ());
2323 SV *coro_hv = SvRV (coro_current);
2324 struct coro *coro = SvSTATE_hv (coro_hv);
2325
2326 /* put our coroutine id on the state arg */
2327 av_push (state, SvREFCNT_inc_NN (coro_hv));
2328
2329 /* first see whether we have a non-zero priority and set it as AIO prio */
2330 if (coro->prio)
2331 {
2332 dSP;
2333
2334 static SV *prio_cv;
2335 static SV *prio_sv;
2336
2337 if (expect_false (!prio_cv))
2338 {
2339 prio_cv = (SV *)get_cv ("IO::AIO::aioreq_pri", 0);
2340 prio_sv = newSViv (0);
2341 }
2342
2343 PUSHMARK (SP);
2344 sv_setiv (prio_sv, coro->prio);
2345 XPUSHs (prio_sv);
2346
2347 PUTBACK;
2348 call_sv (prio_cv, G_VOID | G_DISCARD);
2349 }
2350
2351 /* now call the original request */
2352 {
2353 dSP;
2354 CV *req = (CV *)CORO_MAGIC_NN ((SV *)cv, CORO_MAGIC_type_aio)->mg_obj;
2355 int i;
2356
2357 PUSHMARK (SP);
2358
2359 /* first push all args to the stack */
2360 EXTEND (SP, items + 1);
2361
2362 for (i = 0; i < items; ++i)
2363 PUSHs (arg [i]);
2364
2365 /* now push the callback closure */
2366 PUSHs (sv_2mortal (gensub (aTHX_ coro_aio_callback, (void *)SvREFCNT_inc_NN ((SV *)state))));
2367
2368 /* now call the AIO function - we assume our request is uncancelable */
2369 PUTBACK;
2370 call_sv ((SV *)req, G_VOID | G_DISCARD);
2371 }
2372
2373 /* now that the requets is going, we loop toll we have a result */
2374 frame->data = (void *)state;
2375 frame->prepare = prepare_schedule;
2376 frame->check = slf_check_aio_req;
2377}
2378
2379static void
2380coro_aio_req_xs (pTHX_ CV *cv)
2381{
2382 dXSARGS;
2383
2384 CORO_EXECUTE_SLF_XS (slf_init_aio_req);
2385
2386 XSRETURN_EMPTY;
2387}
2388
2389/*****************************************************************************/
2092 2390
2093MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_ 2391MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
2094 2392
2095PROTOTYPES: DISABLE 2393PROTOTYPES: DISABLE
2096 2394
2097BOOT: 2395BOOT:
2098{ 2396{
2099#ifdef USE_ITHREADS 2397#ifdef USE_ITHREADS
2100 MUTEX_INIT (&coro_lock);
2101# if CORO_PTHREAD 2398# if CORO_PTHREAD
2102 coro_thx = PERL_GET_CONTEXT; 2399 coro_thx = PERL_GET_CONTEXT;
2103# endif 2400# endif
2104#endif 2401#endif
2105 BOOT_PAGESIZE; 2402 BOOT_PAGESIZE;
2192} 2489}
2193 OUTPUT: 2490 OUTPUT:
2194 RETVAL 2491 RETVAL
2195 2492
2196void 2493void
2197_set_stacklevel (...)
2198 CODE:
2199 api_execute_slf (aTHX_ cv, slf_init_set_stacklevel, &ST (0), items);
2200
2201void
2202transfer (...) 2494transfer (...)
2203 PROTOTYPE: $$ 2495 PROTOTYPE: $$
2204 CODE: 2496 CODE:
2205 api_execute_slf (aTHX_ cv, slf_init_transfer, &ST (0), items); 2497 CORO_EXECUTE_SLF_XS (slf_init_transfer);
2206 2498
2207bool 2499bool
2208_destroy (SV *coro_sv) 2500_destroy (SV *coro_sv)
2209 CODE: 2501 CODE:
2210 RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv)); 2502 RETVAL = coro_state_destroy (aTHX_ SvSTATE (coro_sv));
2328 2620
2329void 2621void
2330throw (Coro::State self, SV *throw = &PL_sv_undef) 2622throw (Coro::State self, SV *throw = &PL_sv_undef)
2331 PROTOTYPE: $;$ 2623 PROTOTYPE: $;$
2332 CODE: 2624 CODE:
2625{
2626 struct coro *current = SvSTATE_current;
2627 SV **throwp = self == current ? &CORO_THROW : &self->except;
2333 SvREFCNT_dec (self->throw); 2628 SvREFCNT_dec (*throwp);
2334 self->throw = SvOK (throw) ? newSVsv (throw) : 0; 2629 *throwp = SvOK (throw) ? newSVsv (throw) : 0;
2630}
2335 2631
2336void 2632void
2337api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB) 2633api_trace (SV *coro, int flags = CC_TRACE | CC_TRACE_SUB)
2338 PROTOTYPE: $;$ 2634 PROTOTYPE: $;$
2339 C_ARGS: aTHX_ coro, flags 2635 C_ARGS: aTHX_ coro, flags
2370 2666
2371void 2667void
2372force_cctx () 2668force_cctx ()
2373 PROTOTYPE: 2669 PROTOTYPE:
2374 CODE: 2670 CODE:
2375 struct coro *coro = SvSTATE (coro_current);
2376 coro->cctx->idle_sp = 0; 2671 SvSTATE_current->cctx->idle_sp = 0;
2377 2672
2378void 2673void
2379swap_defsv (Coro::State self) 2674swap_defsv (Coro::State self)
2380 PROTOTYPE: $ 2675 PROTOTYPE: $
2381 ALIAS: 2676 ALIAS:
2389 SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv; 2684 SV **dst = ix ? (SV **)&self->slot->defav : (SV **)&self->slot->defsv;
2390 2685
2391 SV *tmp = *src; *src = *dst; *dst = tmp; 2686 SV *tmp = *src; *src = *dst; *dst = tmp;
2392 } 2687 }
2393 2688
2689
2394MODULE = Coro::State PACKAGE = Coro 2690MODULE = Coro::State PACKAGE = Coro
2395 2691
2396BOOT: 2692BOOT:
2397{ 2693{
2398 int i; 2694 int i;
2425 coroapi.ready = api_ready; 2721 coroapi.ready = api_ready;
2426 coroapi.is_ready = api_is_ready; 2722 coroapi.is_ready = api_is_ready;
2427 coroapi.nready = coro_nready; 2723 coroapi.nready = coro_nready;
2428 coroapi.current = coro_current; 2724 coroapi.current = coro_current;
2429 2725
2430 GCoroAPI = &coroapi; 2726 /*GCoroAPI = &coroapi;*/
2431 sv_setiv (sv, (IV)&coroapi); 2727 sv_setiv (sv, (IV)&coroapi);
2432 SvREADONLY_on (sv); 2728 SvREADONLY_on (sv);
2433 } 2729 }
2434} 2730}
2435 2731
2436void 2732void
2437schedule (...) 2733schedule (...)
2438 CODE: 2734 CODE:
2439 api_execute_slf (aTHX_ cv, slf_init_schedule, &ST (0), 0); 2735 CORO_EXECUTE_SLF_XS (slf_init_schedule);
2440 2736
2441void 2737void
2442cede (...) 2738cede (...)
2443 CODE: 2739 CODE:
2444 api_execute_slf (aTHX_ cv, slf_init_cede, &ST (0), 0); 2740 CORO_EXECUTE_SLF_XS (slf_init_cede);
2445 2741
2446void 2742void
2447cede_notself (...) 2743cede_notself (...)
2448 CODE: 2744 CODE:
2449 api_execute_slf (aTHX_ cv, slf_init_cede_notself, &ST (0), 0); 2745 CORO_EXECUTE_SLF_XS (slf_init_cede_notself);
2450 2746
2451void 2747void
2452_set_current (SV *current) 2748_set_current (SV *current)
2453 PROTOTYPE: $ 2749 PROTOTYPE: $
2454 CODE: 2750 CODE:
2504# for async_pool speedup 2800# for async_pool speedup
2505void 2801void
2506_pool_1 (SV *cb) 2802_pool_1 (SV *cb)
2507 CODE: 2803 CODE:
2508{ 2804{
2509 struct coro *coro = SvSTATE (coro_current);
2510 HV *hv = (HV *)SvRV (coro_current); 2805 HV *hv = (HV *)SvRV (coro_current);
2806 struct coro *coro = SvSTATE_hv ((SV *)hv);
2511 AV *defav = GvAV (PL_defgv); 2807 AV *defav = GvAV (PL_defgv);
2512 SV *invoke = hv_delete (hv, "_invoke", sizeof ("_invoke") - 1, 0); 2808 SV *invoke = hv_delete (hv, "_invoke", sizeof ("_invoke") - 1, 0);
2513 AV *invoke_av; 2809 AV *invoke_av;
2514 int i, len; 2810 int i, len;
2515 2811
2542 2838
2543void 2839void
2544_pool_2 (SV *cb) 2840_pool_2 (SV *cb)
2545 CODE: 2841 CODE:
2546{ 2842{
2547 struct coro *coro = SvSTATE (coro_current); 2843 HV *hv = (HV *)SvRV (coro_current);
2844 struct coro *coro = SvSTATE_hv ((SV *)hv);
2548 2845
2549 sv_setsv (cb, &PL_sv_undef); 2846 sv_setsv (cb, &PL_sv_undef);
2550 2847
2551 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh; 2848 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
2552 coro->saved_deffh = 0; 2849 coro->saved_deffh = 0;
2559 SvREFCNT_dec (old); 2856 SvREFCNT_dec (old);
2560 croak ("\3async_pool terminate\2\n"); 2857 croak ("\3async_pool terminate\2\n");
2561 } 2858 }
2562 2859
2563 av_clear (GvAV (PL_defgv)); 2860 av_clear (GvAV (PL_defgv));
2564 hv_store ((HV *)SvRV (coro_current), "desc", sizeof ("desc") - 1, 2861 hv_store (hv, "desc", sizeof ("desc") - 1,
2565 newSVpvn ("[async_pool idle]", sizeof ("[async_pool idle]") - 1), 0); 2862 newSVpvn ("[async_pool idle]", sizeof ("[async_pool idle]") - 1), 0);
2566 2863
2567 coro->prio = 0; 2864 coro->prio = 0;
2568 2865
2569 if (coro->cctx && (coro->cctx->flags & CC_TRACE)) 2866 if (coro->cctx && (coro->cctx->flags & CC_TRACE))
2571 2868
2572 av_push (av_async_pool, newSVsv (coro_current)); 2869 av_push (av_async_pool, newSVsv (coro_current));
2573} 2870}
2574 2871
2575 2872
2576MODULE = Coro::State PACKAGE = Coro::AIO
2577
2578void
2579_get_state (SV *self)
2580 PROTOTYPE: $
2581 PPCODE:
2582{
2583 AV *defav = GvAV (PL_defgv);
2584 AV *av = newAV ();
2585 int i;
2586 SV *data_sv = newSV (sizeof (struct io_state));
2587 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2588 SvCUR_set (data_sv, sizeof (struct io_state));
2589 SvPOK_only (data_sv);
2590
2591 data->errorno = errno;
2592 data->laststype = PL_laststype;
2593 data->laststatval = PL_laststatval;
2594 data->statcache = PL_statcache;
2595
2596 av_extend (av, AvFILLp (defav) + 1 + 1);
2597
2598 for (i = 0; i <= AvFILLp (defav); ++i)
2599 av_push (av, SvREFCNT_inc_NN (AvARRAY (defav)[i]));
2600
2601 av_push (av, data_sv);
2602
2603 XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
2604
2605 api_ready (aTHX_ self);
2606}
2607
2608void
2609_set_state (SV *state)
2610 PROTOTYPE: $
2611 PPCODE:
2612{
2613 AV *av = (AV *)SvRV (state);
2614 struct io_state *data = (struct io_state *)SvPVX (AvARRAY (av)[AvFILLp (av)]);
2615 int i;
2616
2617 errno = data->errorno;
2618 PL_laststype = data->laststype;
2619 PL_laststatval = data->laststatval;
2620 PL_statcache = data->statcache;
2621
2622 EXTEND (SP, AvFILLp (av));
2623 for (i = 0; i < AvFILLp (av); ++i)
2624 PUSHs (sv_2mortal (SvREFCNT_inc_NN (AvARRAY (av)[i])));
2625}
2626
2627
2628MODULE = Coro::State PACKAGE = Coro::AnyEvent
2629
2630BOOT:
2631 sv_activity = coro_get_sv (aTHX_ "Coro::AnyEvent::ACTIVITY", TRUE);
2632
2633void
2634_schedule (...)
2635 CODE:
2636{
2637 static int incede;
2638
2639 api_cede_notself (aTHX);
2640
2641 ++incede;
2642 while (coro_nready >= incede && api_cede (aTHX))
2643 ;
2644
2645 sv_setsv (sv_activity, &PL_sv_undef);
2646 if (coro_nready >= incede)
2647 {
2648 PUSHMARK (SP);
2649 PUTBACK;
2650 call_pv ("Coro::AnyEvent::_activity", G_DISCARD | G_EVAL);
2651 SPAGAIN;
2652 }
2653
2654 --incede;
2655}
2656
2657
2658MODULE = Coro::State PACKAGE = PerlIO::cede 2873MODULE = Coro::State PACKAGE = PerlIO::cede
2659 2874
2660BOOT: 2875BOOT:
2661 PerlIO_define_layer (aTHX_ &PerlIO_cede); 2876 PerlIO_define_layer (aTHX_ &PerlIO_cede);
2662 2877
2878
2663MODULE = Coro::State PACKAGE = Coro::Semaphore 2879MODULE = Coro::State PACKAGE = Coro::Semaphore
2664 2880
2665SV * 2881SV *
2666new (SV *klass, SV *count_ = 0) 2882new (SV *klass, SV *count = 0)
2667 CODE: 2883 CODE:
2668{ 2884 RETVAL = sv_bless (
2669 /* a semaphore contains a counter IV in $sem->[0] and any waiters after that */ 2885 coro_waitarray_new (aTHX_ count && SvOK (count) ? SvIV (count) : 1),
2670 AV *av = newAV (); 2886 GvSTASH (CvGV (cv))
2671 av_push (av, newSViv (count_ && SvOK (count_) ? SvIV (count_) : 1)); 2887 );
2672 RETVAL = sv_bless (newRV_noinc ((SV *)av), GvSTASH (CvGV (cv))); 2888 OUTPUT:
2673} 2889 RETVAL
2890
2891# helper for Coro::Channel
2892SV *
2893_alloc (int count)
2894 CODE:
2895 RETVAL = coro_waitarray_new (aTHX_ count);
2674 OUTPUT: 2896 OUTPUT:
2675 RETVAL 2897 RETVAL
2676 2898
2677SV * 2899SV *
2678count (SV *self) 2900count (SV *self)
2684void 2906void
2685up (SV *self, int adjust = 1) 2907up (SV *self, int adjust = 1)
2686 ALIAS: 2908 ALIAS:
2687 adjust = 1 2909 adjust = 1
2688 CODE: 2910 CODE:
2689 coro_semaphore_adjust ((AV *)SvRV (self), ix ? adjust : 1); 2911 coro_semaphore_adjust (aTHX_ (AV *)SvRV (self), ix ? adjust : 1);
2690 2912
2691void 2913void
2692down (SV *self) 2914down (SV *self)
2693 CODE: 2915 CODE:
2694 api_execute_slf (aTHX_ cv, slf_init_semaphore_down, &ST (0), 1); 2916 CORO_EXECUTE_SLF_XS (slf_init_semaphore_down);
2917
2918void
2919wait (SV *self)
2920 CODE:
2921 CORO_EXECUTE_SLF_XS (slf_init_semaphore_wait);
2695 2922
2696void 2923void
2697try (SV *self) 2924try (SV *self)
2698 PPCODE: 2925 PPCODE:
2699{ 2926{
2711 XSRETURN_NO; 2938 XSRETURN_NO;
2712} 2939}
2713 2940
2714void 2941void
2715waiters (SV *self) 2942waiters (SV *self)
2716 CODE: 2943 PPCODE:
2717{ 2944{
2718 AV *av = (AV *)SvRV (self); 2945 AV *av = (AV *)SvRV (self);
2946 int wcount = AvFILLp (av) + 1 - 1;
2719 2947
2720 if (GIMME_V == G_SCALAR) 2948 if (GIMME_V == G_SCALAR)
2721 XPUSHs (sv_2mortal (newSVsv (AvARRAY (av)[0]))); 2949 XPUSHs (sv_2mortal (newSViv (wcount)));
2722 else 2950 else
2723 { 2951 {
2724 int i; 2952 int i;
2725 EXTEND (SP, AvFILLp (av) + 1 - 1); 2953 EXTEND (SP, wcount);
2726 for (i = 1; i <= AvFILLp (av); ++i) 2954 for (i = 1; i <= wcount; ++i)
2727 PUSHs (newSVsv (AvARRAY (av)[i])); 2955 PUSHs (sv_2mortal (newRV_inc (AvARRAY (av)[i])));
2728 } 2956 }
2729} 2957}
2730 2958
2959MODULE = Coro::State PACKAGE = Coro::Signal
2960
2961SV *
2962new (SV *klass)
2963 CODE:
2964 RETVAL = sv_bless (
2965 coro_waitarray_new (aTHX_ 0),
2966 GvSTASH (CvGV (cv))
2967 );
2968 OUTPUT:
2969 RETVAL
2970
2971void
2972wait (SV *self)
2973 CODE:
2974 CORO_EXECUTE_SLF_XS (slf_init_signal_wait);
2975
2976void
2977broadcast (SV *self)
2978 CODE:
2979{
2980 AV *av = (AV *)SvRV (self);
2981 coro_signal_wake (aTHX_ av, AvFILLp (av));
2982}
2983
2984void
2985send (SV *self)
2986 CODE:
2987{
2988 AV *av = (AV *)SvRV (self);
2989
2990 if (AvFILLp (av))
2991 coro_signal_wake (av, 1);
2992 else
2993 SvIVX (AvARRAY (av)[0]) = 1; /* remember the signal */
2994}
2995
2996IV
2997awaited (SV *self)
2998 CODE:
2999 RETVAL = AvFILLp ((AV *)SvRV (self)) + 1 - 1;
3000 OUTPUT:
3001 RETVAL
3002
3003
3004MODULE = Coro::State PACKAGE = Coro::AnyEvent
3005
3006BOOT:
3007 sv_activity = coro_get_sv (aTHX_ "Coro::AnyEvent::ACTIVITY", TRUE);
3008
3009void
3010_schedule (...)
3011 CODE:
3012{
3013 static int incede;
3014
3015 api_cede_notself (aTHX);
3016
3017 ++incede;
3018 while (coro_nready >= incede && api_cede (aTHX))
3019 ;
3020
3021 sv_setsv (sv_activity, &PL_sv_undef);
3022 if (coro_nready >= incede)
3023 {
3024 PUSHMARK (SP);
3025 PUTBACK;
3026 call_pv ("Coro::AnyEvent::_activity", G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
3027 }
3028
3029 --incede;
3030}
3031
3032
3033MODULE = Coro::State PACKAGE = Coro::AIO
3034
3035void
3036_register (char *target, char *proto, SV *req)
3037 CODE:
3038{
3039 HV *st;
3040 GV *gvp;
3041 CV *req_cv = sv_2cv (req, &st, &gvp, 0);
3042 /* newXSproto doesn't return the CV on 5.8 */
3043 CV *slf_cv = newXS (target, coro_aio_req_xs, __FILE__);
3044 sv_setpv ((SV *)slf_cv, proto);
3045 sv_magicext ((SV *)slf_cv, (SV *)req_cv, CORO_MAGIC_type_aio, 0, 0, 0);
3046}
3047

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines