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.242 by root, Thu Aug 14 12:48:20 2008 UTC vs.
Revision 1.255 by root, Sat Nov 8 04:52:01 2008 UTC

4#define PERL_EXT 4#define PERL_EXT
5 5
6#include "EXTERN.h" 6#include "EXTERN.h"
7#include "perl.h" 7#include "perl.h"
8#include "XSUB.h" 8#include "XSUB.h"
9#include "perliol.h"
9 10
10#include "patchlevel.h" 11#include "patchlevel.h"
11 12
12#include <stdio.h> 13#include <stdio.h>
13#include <errno.h> 14#include <errno.h>
51#else 52#else
52# define REGISTER_STACK(cctx,start,end) 53# define REGISTER_STACK(cctx,start,end)
53#endif 54#endif
54 55
55/* the maximum number of idle cctx that will be pooled */ 56/* the maximum number of idle cctx that will be pooled */
56#define MAX_IDLE_CCTX 8 57static int cctx_max_idle = 4;
57 58
58#define PERL_VERSION_ATLEAST(a,b,c) \ 59#define PERL_VERSION_ATLEAST(a,b,c) \
59 (PERL_REVISION > (a) \ 60 (PERL_REVISION > (a) \
60 || (PERL_REVISION == (a) \ 61 || (PERL_REVISION == (a) \
61 && (PERL_VERSION > (b) \ 62 && (PERL_VERSION > (b) \
80# ifndef IS_PADCONST 81# ifndef IS_PADCONST
81# define IS_PADCONST(v) 0 82# define IS_PADCONST(v) 0
82# endif 83# endif
83#endif 84#endif
84 85
86/* 5.11 */
87#ifndef CxHASARGS
88# define CxHASARGS(cx) (cx)->blk_sub.hasargs
89#endif
90
91/* 5.10.0 */
92#ifndef SvREFCNT_inc_NN
93# define SvREFCNT_inc_NN(sv) SvREFCNT_inc (sv)
94#endif
95
85/* 5.8.8 */ 96/* 5.8.8 */
86#ifndef GV_NOTQUAL 97#ifndef GV_NOTQUAL
87# define GV_NOTQUAL 0 98# define GV_NOTQUAL 0
88#endif 99#endif
89#ifndef newSV 100#ifndef newSV
90# define newSV(l) NEWSV(0,l) 101# define newSV(l) NEWSV(0,l)
91#endif
92
93/* 5.11 */
94#ifndef CxHASARGS
95# define CxHASARGS(cx) (cx)->blk_sub.hasargs
96#endif 102#endif
97 103
98/* 5.8.7 */ 104/* 5.8.7 */
99#ifndef SvRV_set 105#ifndef SvRV_set
100# define SvRV_set(s,v) SvRV(s) = (v) 106# define SvRV_set(s,v) SvRV(s) = (v)
136#define NOINLINE attribute ((noinline)) 142#define NOINLINE attribute ((noinline))
137 143
138#include "CoroAPI.h" 144#include "CoroAPI.h"
139 145
140#ifdef USE_ITHREADS 146#ifdef USE_ITHREADS
141static perl_mutex coro_mutex; 147static perl_mutex coro_lock;
142# define LOCK do { MUTEX_LOCK (&coro_mutex); } while (0) 148# define LOCK do { MUTEX_LOCK (&coro_lock); } while (0)
143# define UNLOCK do { MUTEX_UNLOCK (&coro_mutex); } while (0) 149# define UNLOCK do { MUTEX_UNLOCK (&coro_lock); } while (0)
144#else 150#else
145# define LOCK (void)0 151# define LOCK (void)0
146# define UNLOCK (void)0 152# define UNLOCK (void)0
147#endif 153#endif
148 154
149/* helper storage struct for Coro::AIO */ 155/* helper storage struct for Coro::AIO */
150struct io_state 156struct io_state
151{ 157{
158 AV *res;
152 int errorno; 159 int errorno;
153 I32 laststype; 160 I32 laststype; /* U16 in 5.10.0 */
154 int laststatval; 161 int laststatval;
155 Stat_t statcache; 162 Stat_t statcache;
156}; 163};
157 164
165static double (*nvtime)(); /* so why doesn't it take void? */
166
167static U32 cctx_gen;
158static size_t coro_stacksize = CORO_STACKSIZE; 168static size_t cctx_stacksize = CORO_STACKSIZE;
159static struct CoroAPI coroapi; 169static struct CoroAPI coroapi;
160static AV *main_mainstack; /* used to differentiate between $main and others */ 170static AV *main_mainstack; /* used to differentiate between $main and others */
161static JMPENV *main_top_env; 171static JMPENV *main_top_env;
162static HV *coro_state_stash, *coro_stash; 172static HV *coro_state_stash, *coro_stash;
163static volatile SV *coro_mortal; /* will be freed after next transfer */ 173static volatile SV *coro_mortal; /* will be freed/thrown after next transfer */
164 174
165static GV *irsgv; /* $/ */ 175static GV *irsgv; /* $/ */
166static GV *stdoutgv; /* *STDOUT */ 176static GV *stdoutgv; /* *STDOUT */
167static SV *rv_diehook; 177static SV *rv_diehook;
168static SV *rv_warnhook; 178static SV *rv_warnhook;
200 void *idle_sp; /* sp of top-level transfer/schedule/cede call */ 210 void *idle_sp; /* sp of top-level transfer/schedule/cede call */
201 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */ 211 JMPENV *idle_te; /* same as idle_sp, but for top_env, TODO: remove once stable */
202 JMPENV *top_env; 212 JMPENV *top_env;
203 coro_context cctx; 213 coro_context cctx;
204 214
215 U32 gen;
205#if CORO_USE_VALGRIND 216#if CORO_USE_VALGRIND
206 int valgrind_id; 217 int valgrind_id;
207#endif 218#endif
208 unsigned char flags; 219 unsigned char flags;
209} coro_cctx; 220} coro_cctx;
321 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1); 332 Perl_pad_push (aTHX_ padlist, AvFILLp (padlist) + 1, 1);
322#endif 333#endif
323 newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)]; 334 newpad = (AV *)AvARRAY (padlist)[AvFILLp (padlist)];
324 --AvFILLp (padlist); 335 --AvFILLp (padlist);
325 336
326 av_store (newpadlist, 0, SvREFCNT_inc (*av_fetch (padlist, 0, FALSE))); 337 av_store (newpadlist, 0, SvREFCNT_inc_NN (*av_fetch (padlist, 0, FALSE)));
327 av_store (newpadlist, 1, (SV *)newpad); 338 av_store (newpadlist, 1, (SV *)newpad);
328 339
329 return newpadlist; 340 return newpadlist;
330} 341}
331 342
361 372
362 /* casting is fun. */ 373 /* casting is fun. */
363 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av))) 374 while (&PL_sv_undef != (SV *)(padlist = (AV *)av_pop (av)))
364 free_padlist (aTHX_ padlist); 375 free_padlist (aTHX_ padlist);
365 376
377 SvREFCNT_dec (av); /* sv_magicext increased the refcount */
378
366 return 0; 379 return 0;
367} 380}
368 381
369#define CORO_MAGIC_type_cv PERL_MAGIC_ext 382#define CORO_MAGIC_type_cv PERL_MAGIC_ext
370#define CORO_MAGIC_type_state PERL_MAGIC_ext 383#define CORO_MAGIC_type_state PERL_MAGIC_ext
372static MGVTBL coro_cv_vtbl = { 385static MGVTBL coro_cv_vtbl = {
373 0, 0, 0, 0, 386 0, 0, 0, 0,
374 coro_cv_free 387 coro_cv_free
375}; 388};
376 389
377#define CORO_MAGIC(sv,type) \ 390#define CORO_MAGIC(sv, type) \
378 SvMAGIC (sv) \ 391 SvMAGIC (sv) \
379 ? SvMAGIC (sv)->mg_type == type \ 392 ? SvMAGIC (sv)->mg_type == type \
380 ? SvMAGIC (sv) \ 393 ? SvMAGIC (sv) \
381 : mg_find (sv, type) \ 394 : mg_find (sv, type) \
382 : 0 395 : 0
383 396
384#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv) 397#define CORO_MAGIC_cv(cv) CORO_MAGIC (((SV *)(cv)), CORO_MAGIC_type_cv)
385#define CORO_MAGIC_state(sv) CORO_MAGIC (((SV *)(sv)), CORO_MAGIC_type_state) 398#define CORO_MAGIC_state(sv) CORO_MAGIC (((SV *)(sv)), CORO_MAGIC_type_state)
386 399
387static struct coro * 400static struct coro *
420 if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0)) 433 if (expect_true (mg && AvFILLp ((av = (AV *)mg->mg_obj)) >= 0))
421 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--]; 434 CvPADLIST (cv) = (AV *)AvARRAY (av)[AvFILLp (av)--];
422 else 435 else
423 { 436 {
424#if CORO_PREFER_PERL_FUNCTIONS 437#if CORO_PREFER_PERL_FUNCTIONS
425 /* this is probably cleaner, but also slower? */ 438 /* this is probably cleaner? but also slower! */
439 /* in practise, it seems to be less stable */
426 CV *cp = Perl_cv_clone (cv); 440 CV *cp = Perl_cv_clone (cv);
427 CvPADLIST (cv) = CvPADLIST (cp); 441 CvPADLIST (cv) = CvPADLIST (cp);
428 CvPADLIST (cp) = 0; 442 CvPADLIST (cp) = 0;
429 SvREFCNT_dec (cp); 443 SvREFCNT_dec (cp);
430#else 444#else
616 630
617/* 631/*
618 * destroy the stacks, the callchain etc... 632 * destroy the stacks, the callchain etc...
619 */ 633 */
620static void 634static void
621coro_destroy_stacks (pTHX) 635coro_destruct_stacks (pTHX)
622{ 636{
623 while (PL_curstackinfo->si_next) 637 while (PL_curstackinfo->si_next)
624 PL_curstackinfo = PL_curstackinfo->si_next; 638 PL_curstackinfo = PL_curstackinfo->si_next;
625 639
626 while (PL_curstackinfo) 640 while (PL_curstackinfo)
663 #undef VAR 677 #undef VAR
664 } 678 }
665 else 679 else
666 slot = coro->slot; 680 slot = coro->slot;
667 681
682 if (slot)
683 {
668 rss += sizeof (slot->curstackinfo); 684 rss += sizeof (slot->curstackinfo);
669 rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT); 685 rss += (slot->curstackinfo->si_cxmax + 1) * sizeof (PERL_CONTEXT);
670 rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *); 686 rss += sizeof (SV) + sizeof (struct xpvav) + (1 + AvMAX (slot->curstack)) * sizeof (SV *);
671 rss += slot->tmps_max * sizeof (SV *); 687 rss += slot->tmps_max * sizeof (SV *);
672 rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32); 688 rss += (slot->markstack_max - slot->markstack_ptr) * sizeof (I32);
673 rss += slot->scopestack_max * sizeof (I32); 689 rss += slot->scopestack_max * sizeof (I32);
674 rss += slot->savestack_max * sizeof (ANY); 690 rss += slot->savestack_max * sizeof (ANY);
675 691
676#if !PERL_VERSION_ATLEAST (5,10,0) 692#if !PERL_VERSION_ATLEAST (5,10,0)
677 rss += slot->retstack_max * sizeof (OP *); 693 rss += slot->retstack_max * sizeof (OP *);
678#endif 694#endif
695 }
679 } 696 }
680 697
681 return rss; 698 return rss;
682} 699}
683 700
801 GvSV (PL_defgv) = newSV (0); 818 GvSV (PL_defgv) = newSV (0);
802 GvAV (PL_defgv) = coro->args; coro->args = 0; 819 GvAV (PL_defgv) = coro->args; coro->args = 0;
803 GvSV (PL_errgv) = newSV (0); 820 GvSV (PL_errgv) = newSV (0);
804 GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0); 821 GvSV (irsgv) = newSVpvn ("\n", 1); sv_magic (GvSV (irsgv), (SV *)irsgv, PERL_MAGIC_sv, "/", 0);
805 PL_rs = newSVsv (GvSV (irsgv)); 822 PL_rs = newSVsv (GvSV (irsgv));
806 PL_defoutgv = (GV *)SvREFCNT_inc (stdoutgv); 823 PL_defoutgv = (GV *)SvREFCNT_inc_NN (stdoutgv);
807 824
808 { 825 {
809 dSP; 826 dSP;
810 LOGOP myop; 827 LOGOP myop;
811 828
828 */ 845 */
829 ENTER; 846 ENTER;
830} 847}
831 848
832static void 849static void
833coro_destroy (pTHX_ struct coro *coro) 850coro_destruct (pTHX_ struct coro *coro)
834{ 851{
835 if (!IN_DESTRUCT) 852 if (!IN_DESTRUCT)
836 { 853 {
837 /* restore all saved variables and stuff */ 854 /* restore all saved variables and stuff */
838 LEAVE_SCOPE (0); 855 LEAVE_SCOPE (0);
860 SvREFCNT_dec (PL_warnhook); 877 SvREFCNT_dec (PL_warnhook);
861 878
862 SvREFCNT_dec (coro->saved_deffh); 879 SvREFCNT_dec (coro->saved_deffh);
863 SvREFCNT_dec (coro->throw); 880 SvREFCNT_dec (coro->throw);
864 881
865 coro_destroy_stacks (aTHX); 882 coro_destruct_stacks (aTHX);
866} 883}
867 884
868static void 885static void
869free_coro_mortal (pTHX) 886free_coro_mortal (pTHX)
870{ 887{
907 : cx->blk_gimme == G_SCALAR ? bot + 1 924 : cx->blk_gimme == G_SCALAR ? bot + 1
908 : bot; 925 : bot;
909 926
910 av_extend (av, top - bot); 927 av_extend (av, top - bot);
911 while (bot < top) 928 while (bot < top)
912 av_push (av, SvREFCNT_inc (*bot++)); 929 av_push (av, SvREFCNT_inc_NN (*bot++));
913 930
914 PL_runops = RUNOPS_DEFAULT; 931 PL_runops = RUNOPS_DEFAULT;
915 ENTER; 932 ENTER;
916 SAVETMPS; 933 SAVETMPS;
917 EXTEND (SP, 3); 934 EXTEND (SP, 3);
1065 coro_cctx *cctx; 1082 coro_cctx *cctx;
1066 void *stack_start; 1083 void *stack_start;
1067 size_t stack_size; 1084 size_t stack_size;
1068 1085
1069 ++cctx_count; 1086 ++cctx_count;
1070
1071 Newz (0, cctx, 1, coro_cctx); 1087 Newz (0, cctx, 1, coro_cctx);
1072 1088
1089 cctx->gen = cctx_gen;
1090
1073#if HAVE_MMAP 1091#if HAVE_MMAP
1074 cctx->ssize = ((coro_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE; 1092 cctx->ssize = ((cctx_stacksize * sizeof (long) + PAGESIZE - 1) / PAGESIZE + CORO_STACKGUARD) * PAGESIZE;
1075 /* mmap supposedly does allocate-on-write for us */ 1093 /* mmap supposedly does allocate-on-write for us */
1076 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0); 1094 cctx->sptr = mmap (0, cctx->ssize, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 0, 0);
1077 1095
1078 if (cctx->sptr != (void *)-1) 1096 if (cctx->sptr != (void *)-1)
1079 { 1097 {
1085 cctx->flags |= CC_MAPPED; 1103 cctx->flags |= CC_MAPPED;
1086 } 1104 }
1087 else 1105 else
1088#endif 1106#endif
1089 { 1107 {
1090 cctx->ssize = coro_stacksize * (long)sizeof (long); 1108 cctx->ssize = cctx_stacksize * (long)sizeof (long);
1091 New (0, cctx->sptr, coro_stacksize, long); 1109 New (0, cctx->sptr, cctx_stacksize, long);
1092 1110
1093 if (!cctx->sptr) 1111 if (!cctx->sptr)
1094 { 1112 {
1095 perror ("FATAL: unable to allocate stack for coroutine"); 1113 perror ("FATAL: unable to allocate stack for coroutine");
1096 _exit (EXIT_FAILURE); 1114 _exit (EXIT_FAILURE);
1111{ 1129{
1112 if (!cctx) 1130 if (!cctx)
1113 return; 1131 return;
1114 1132
1115 --cctx_count; 1133 --cctx_count;
1134 coro_destroy (&cctx->cctx);
1116 1135
1136 /* coro_transfer creates new, empty cctx's */
1137 if (cctx->sptr)
1138 {
1117#if CORO_USE_VALGRIND 1139#if CORO_USE_VALGRIND
1118 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id); 1140 VALGRIND_STACK_DEREGISTER (cctx->valgrind_id);
1119#endif 1141#endif
1120 1142
1121#if HAVE_MMAP 1143#if HAVE_MMAP
1122 if (cctx->flags & CC_MAPPED) 1144 if (cctx->flags & CC_MAPPED)
1123 munmap (cctx->sptr, cctx->ssize); 1145 munmap (cctx->sptr, cctx->ssize);
1124 else 1146 else
1125#endif 1147#endif
1126 Safefree (cctx->sptr); 1148 Safefree (cctx->sptr);
1149 }
1127 1150
1128 Safefree (cctx); 1151 Safefree (cctx);
1129} 1152}
1130 1153
1131/* wether this cctx should be destructed */ 1154/* wether this cctx should be destructed */
1132#define CCTX_EXPIRED(cctx) ((cctx)->ssize < coro_stacksize || ((cctx)->flags & CC_NOREUSE)) 1155#define CCTX_EXPIRED(cctx) ((cctx)->gen != cctx_gen || ((cctx)->flags & CC_NOREUSE))
1133 1156
1134static coro_cctx * 1157static coro_cctx *
1135cctx_get (pTHX) 1158cctx_get (pTHX)
1136{ 1159{
1137 while (expect_true (cctx_first)) 1160 while (expect_true (cctx_first))
1150} 1173}
1151 1174
1152static void 1175static void
1153cctx_put (coro_cctx *cctx) 1176cctx_put (coro_cctx *cctx)
1154{ 1177{
1178 assert (("cctx_put called on non-initialised cctx", cctx->sptr));
1179
1155 /* free another cctx if overlimit */ 1180 /* free another cctx if overlimit */
1156 if (expect_false (cctx_idle >= MAX_IDLE_CCTX)) 1181 if (expect_false (cctx_idle >= cctx_max_idle))
1157 { 1182 {
1158 coro_cctx *first = cctx_first; 1183 coro_cctx *first = cctx_first;
1159 cctx_first = first->next; 1184 cctx_first = first->next;
1160 --cctx_idle; 1185 --cctx_idle;
1161 1186
1193/* always use the TRANSFER macro */ 1218/* always use the TRANSFER macro */
1194static void NOINLINE 1219static void NOINLINE
1195transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx) 1220transfer (pTHX_ struct coro *prev, struct coro *next, int force_cctx)
1196{ 1221{
1197 dSTACKLEVEL; 1222 dSTACKLEVEL;
1198 static volatile int has_throw;
1199 1223
1200 /* sometimes transfer is only called to set idle_sp */ 1224 /* sometimes transfer is only called to set idle_sp */
1201 if (expect_false (!next)) 1225 if (expect_false (!next))
1202 { 1226 {
1203 ((coro_cctx *)prev)->idle_sp = STACKLEVEL; 1227 ((coro_cctx *)prev)->idle_sp = STACKLEVEL;
1204 assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */ 1228 assert (((coro_cctx *)prev)->idle_te = PL_top_env); /* just for the side-effect when asserts are enabled */
1205 } 1229 }
1206 else if (expect_true (prev != next)) 1230 else if (expect_true (prev != next))
1207 { 1231 {
1232 static volatile int has_throw;
1208 coro_cctx *prev__cctx; 1233 coro_cctx *prev__cctx;
1209 1234
1210 if (expect_false (prev->flags & CF_NEW)) 1235 if (expect_false (prev->flags & CF_NEW))
1211 { 1236 {
1212 /* create a new empty context */ 1237 /* create a new empty/source context */
1238 ++cctx_count;
1213 Newz (0, prev->cctx, 1, coro_cctx); 1239 New (0, prev->cctx, 1, coro_cctx);
1240 prev->cctx->sptr = 0;
1241 coro_create (&prev->cctx->cctx, 0, 0, 0, 0);
1242
1214 prev->flags &= ~CF_NEW; 1243 prev->flags &= ~CF_NEW;
1215 prev->flags |= CF_RUNNING; 1244 prev->flags |= CF_RUNNING;
1216 } 1245 }
1217 1246
1218 prev->flags &= ~CF_RUNNING; 1247 prev->flags &= ~CF_RUNNING;
1325 croak ("FATAL: tried to destroy currently running coroutine"); 1354 croak ("FATAL: tried to destroy currently running coroutine");
1326 1355
1327 save_perl (aTHX_ &temp); 1356 save_perl (aTHX_ &temp);
1328 load_perl (aTHX_ coro); 1357 load_perl (aTHX_ coro);
1329 1358
1330 coro_destroy (aTHX_ coro); 1359 coro_destruct (aTHX_ coro);
1331 1360
1332 load_perl (aTHX_ &temp); 1361 load_perl (aTHX_ &temp);
1333 1362
1334 coro->slot = 0; 1363 coro->slot = 0;
1335 } 1364 }
1441 LOCK; 1470 LOCK;
1442 1471
1443 sv_hook = coro_nready ? 0 : coro_readyhook; 1472 sv_hook = coro_nready ? 0 : coro_readyhook;
1444 xs_hook = coro_nready ? 0 : coroapi.readyhook; 1473 xs_hook = coro_nready ? 0 : coroapi.readyhook;
1445 1474
1446 coro_enq (aTHX_ SvREFCNT_inc (coro_sv)); 1475 coro_enq (aTHX_ SvREFCNT_inc_NN (coro_sv));
1447 ++coro_nready; 1476 ++coro_nready;
1448 1477
1449 UNLOCK; 1478 UNLOCK;
1450 1479
1451 if (sv_hook) 1480 if (sv_hook)
1623 else 1652 else
1624 coro->slot->runops = RUNOPS_DEFAULT; 1653 coro->slot->runops = RUNOPS_DEFAULT;
1625 } 1654 }
1626} 1655}
1627 1656
1657#if 0
1658static int
1659coro_gensub_free (pTHX_ SV *sv, MAGIC *mg)
1660{
1661 AV *padlist;
1662 AV *av = (AV *)mg->mg_obj;
1663
1664 abort ();
1665
1666 return 0;
1667}
1668
1669static MGVTBL coro_gensub_vtbl = {
1670 0, 0, 0, 0,
1671 coro_gensub_free
1672};
1673#endif
1674
1675/*****************************************************************************/
1676/* PerlIO::cede */
1677
1678typedef struct
1679{
1680 PerlIOBuf base;
1681 NV next, every;
1682} PerlIOCede;
1683
1684static IV
1685PerlIOCede_pushed (pTHX_ PerlIO *f, const char *mode, SV *arg, PerlIO_funcs *tab)
1686{
1687 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
1688
1689 self->every = SvCUR (arg) ? SvNV (arg) : 0.01;
1690 self->next = nvtime () + self->every;
1691
1692 return PerlIOBuf_pushed (aTHX_ f, mode, Nullsv, tab);
1693}
1694
1695static SV *
1696PerlIOCede_getarg (pTHX_ PerlIO *f, CLONE_PARAMS *param, int flags)
1697{
1698 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
1699
1700 return newSVnv (self->every);
1701}
1702
1703static IV
1704PerlIOCede_flush (pTHX_ PerlIO *f)
1705{
1706 PerlIOCede *self = PerlIOSelf (f, PerlIOCede);
1707 double now = nvtime ();
1708
1709 if (now >= self->next)
1710 {
1711 api_cede ();
1712 self->next = now + self->every;
1713 }
1714
1715 return PerlIOBuf_flush (aTHX_ f);
1716}
1717
1718static PerlIO_funcs PerlIO_cede =
1719{
1720 sizeof(PerlIO_funcs),
1721 "cede",
1722 sizeof(PerlIOCede),
1723 PERLIO_K_DESTRUCT | PERLIO_K_RAW,
1724 PerlIOCede_pushed,
1725 PerlIOBuf_popped,
1726 PerlIOBuf_open,
1727 PerlIOBase_binmode,
1728 PerlIOCede_getarg,
1729 PerlIOBase_fileno,
1730 PerlIOBuf_dup,
1731 PerlIOBuf_read,
1732 PerlIOBuf_unread,
1733 PerlIOBuf_write,
1734 PerlIOBuf_seek,
1735 PerlIOBuf_tell,
1736 PerlIOBuf_close,
1737 PerlIOCede_flush,
1738 PerlIOBuf_fill,
1739 PerlIOBase_eof,
1740 PerlIOBase_error,
1741 PerlIOBase_clearerr,
1742 PerlIOBase_setlinebuf,
1743 PerlIOBuf_get_base,
1744 PerlIOBuf_bufsiz,
1745 PerlIOBuf_get_ptr,
1746 PerlIOBuf_get_cnt,
1747 PerlIOBuf_set_ptrcnt,
1748};
1749
1750
1628MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_ 1751MODULE = Coro::State PACKAGE = Coro::State PREFIX = api_
1629 1752
1630PROTOTYPES: DISABLE 1753PROTOTYPES: DISABLE
1631 1754
1632BOOT: 1755BOOT:
1633{ 1756{
1634#ifdef USE_ITHREADS 1757#ifdef USE_ITHREADS
1635 MUTEX_INIT (&coro_mutex); 1758 MUTEX_INIT (&coro_lock);
1636#endif 1759#endif
1637 BOOT_PAGESIZE; 1760 BOOT_PAGESIZE;
1638 1761
1639 irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV); 1762 irsgv = gv_fetchpv ("/" , GV_ADD|GV_NOTQUAL, SVt_PV);
1640 stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO); 1763 stdoutgv = gv_fetchpv ("STDOUT", GV_ADD|GV_NOTQUAL, SVt_PVIO);
1661 main_top_env = main_top_env->je_prev; 1784 main_top_env = main_top_env->je_prev;
1662 1785
1663 coroapi.ver = CORO_API_VERSION; 1786 coroapi.ver = CORO_API_VERSION;
1664 coroapi.rev = CORO_API_REVISION; 1787 coroapi.rev = CORO_API_REVISION;
1665 coroapi.transfer = api_transfer; 1788 coroapi.transfer = api_transfer;
1789
1790 {
1791 SV **svp = hv_fetch (PL_modglobal, "Time::NVtime", 12, 0);
1792
1793 if (!svp) croak ("Time::HiRes is required");
1794 if (!SvIOK (*svp)) croak ("Time::NVtime isn't a function pointer");
1795
1796 nvtime = INT2PTR (double (*)(), SvIV (*svp));
1797 }
1666 1798
1667 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL)); 1799 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
1668} 1800}
1669 1801
1670SV * 1802SV *
1718 ta.next = 0; 1850 ta.next = 0;
1719 break; 1851 break;
1720 1852
1721 case 1: 1853 case 1:
1722 if (items != 2) 1854 if (items != 2)
1723 croak ("Coro::State::transfer (prev,next) expects two arguments, not %d", items); 1855 croak ("Coro::State::transfer (prev, next) expects two arguments, not %d", items);
1724 1856
1725 prepare_transfer (aTHX_ &ta, ST (0), ST (1)); 1857 prepare_transfer (aTHX_ &ta, ST (0), ST (1));
1726 break; 1858 break;
1727 1859
1728 case 2: 1860 case 2:
1762 _exit (code); 1894 _exit (code);
1763 1895
1764int 1896int
1765cctx_stacksize (int new_stacksize = 0) 1897cctx_stacksize (int new_stacksize = 0)
1766 CODE: 1898 CODE:
1767 RETVAL = coro_stacksize; 1899 RETVAL = cctx_stacksize;
1768 if (new_stacksize) 1900 if (new_stacksize)
1901 {
1769 coro_stacksize = new_stacksize; 1902 cctx_stacksize = new_stacksize;
1903 ++cctx_gen;
1904 }
1905 OUTPUT:
1906 RETVAL
1907
1908int
1909cctx_max_idle (int max_idle = 0)
1910 CODE:
1911 RETVAL = cctx_max_idle;
1912 if (max_idle > 1)
1913 cctx_max_idle = max_idle;
1770 OUTPUT: 1914 OUTPUT:
1771 RETVAL 1915 RETVAL
1772 1916
1773int 1917int
1774cctx_count () 1918cctx_count ()
1798call (Coro::State coro, SV *coderef) 1942call (Coro::State coro, SV *coderef)
1799 ALIAS: 1943 ALIAS:
1800 eval = 1 1944 eval = 1
1801 CODE: 1945 CODE:
1802{ 1946{
1803 if (coro->mainstack) 1947 if (coro->mainstack && ((coro->flags & CF_RUNNING) || coro->slot))
1804 { 1948 {
1805 struct coro temp; 1949 struct coro temp;
1806 1950
1807 if (!(coro->flags & CF_RUNNING)) 1951 if (!(coro->flags & CF_RUNNING))
1808 { 1952 {
1870 CODE: 2014 CODE:
1871 RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL; 2015 RETVAL = (coro->cctx ? coro->cctx->flags : 0) & CC_TRACE_ALL;
1872 OUTPUT: 2016 OUTPUT:
1873 RETVAL 2017 RETVAL
1874 2018
1875IV 2019UV
1876rss (Coro::State coro) 2020rss (Coro::State coro)
1877 PROTOTYPE: $ 2021 PROTOTYPE: $
1878 ALIAS: 2022 ALIAS:
1879 usecount = 1 2023 usecount = 1
1880 CODE: 2024 CODE:
1891 CODE: 2035 CODE:
1892 struct coro *coro = SvSTATE (coro_current); 2036 struct coro *coro = SvSTATE (coro_current);
1893 coro->cctx->idle_sp = 0; 2037 coro->cctx->idle_sp = 0;
1894 2038
1895void 2039void
1896throw (Coro::State self, SV *throw = &PL_sv_undef)
1897 PROTOTYPE: $;$
1898 CODE:
1899 SvREFCNT_dec (self->throw);
1900 self->throw = SvOK (throw) ? newSVsv (throw) : 0;
1901
1902void
1903swap_defsv (Coro::State self) 2040swap_defsv (Coro::State self)
1904 PROTOTYPE: $ 2041 PROTOTYPE: $
1905 ALIAS: 2042 ALIAS:
1906 swap_defav = 1 2043 swap_defav = 1
1907 CODE: 2044 CODE:
1961void 2098void
1962_set_current (SV *current) 2099_set_current (SV *current)
1963 PROTOTYPE: $ 2100 PROTOTYPE: $
1964 CODE: 2101 CODE:
1965 SvREFCNT_dec (SvRV (coro_current)); 2102 SvREFCNT_dec (SvRV (coro_current));
1966 SvRV_set (coro_current, SvREFCNT_inc (SvRV (current))); 2103 SvRV_set (coro_current, SvREFCNT_inc_NN (SvRV (current)));
1967 2104
1968void 2105void
1969_set_readyhook (SV *hook) 2106_set_readyhook (SV *hook)
1970 PROTOTYPE: $ 2107 PROTOTYPE: $
1971 CODE: 2108 CODE:
2010 CODE: 2147 CODE:
2011 RETVAL = coro_nready; 2148 RETVAL = coro_nready;
2012 OUTPUT: 2149 OUTPUT:
2013 RETVAL 2150 RETVAL
2014 2151
2152void
2153throw (Coro::State self, SV *throw = &PL_sv_undef)
2154 PROTOTYPE: $;$
2155 CODE:
2156 SvREFCNT_dec (self->throw);
2157 self->throw = SvOK (throw) ? newSVsv (throw) : 0;
2158
2015# for async_pool speedup 2159# for async_pool speedup
2016void 2160void
2017_pool_1 (SV *cb) 2161_pool_1 (SV *cb)
2018 CODE: 2162 CODE:
2019{ 2163{
2031 SvREFCNT_dec (old); 2175 SvREFCNT_dec (old);
2032 croak ("\3async_pool terminate\2\n"); 2176 croak ("\3async_pool terminate\2\n");
2033 } 2177 }
2034 2178
2035 SvREFCNT_dec (coro->saved_deffh); 2179 SvREFCNT_dec (coro->saved_deffh);
2036 coro->saved_deffh = SvREFCNT_inc ((SV *)PL_defoutgv); 2180 coro->saved_deffh = SvREFCNT_inc_NN ((SV *)PL_defoutgv);
2037 2181
2038 hv_store (hv, "desc", sizeof ("desc") - 1, 2182 hv_store (hv, "desc", sizeof ("desc") - 1,
2039 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0); 2183 newSVpvn ("[async_pool]", sizeof ("[async_pool]") - 1), 0);
2040 2184
2041 invoke_av = (AV *)SvRV (invoke); 2185 invoke_av = (AV *)SvRV (invoke);
2045 2189
2046 if (len > 0) 2190 if (len > 0)
2047 { 2191 {
2048 av_fill (defav, len - 1); 2192 av_fill (defav, len - 1);
2049 for (i = 0; i < len; ++i) 2193 for (i = 0; i < len; ++i)
2050 av_store (defav, i, SvREFCNT_inc (AvARRAY (invoke_av)[i + 1])); 2194 av_store (defav, i, SvREFCNT_inc_NN (AvARRAY (invoke_av)[i + 1]));
2051 } 2195 }
2052 2196
2053 SvREFCNT_dec (invoke); 2197 SvREFCNT_dec (invoke);
2054} 2198}
2055 2199
2062 sv_setsv (cb, &PL_sv_undef); 2206 sv_setsv (cb, &PL_sv_undef);
2063 2207
2064 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh; 2208 SvREFCNT_dec ((SV *)PL_defoutgv); PL_defoutgv = (GV *)coro->saved_deffh;
2065 coro->saved_deffh = 0; 2209 coro->saved_deffh = 0;
2066 2210
2067 if (coro_rss (aTHX_ coro) > SvIV (sv_pool_rss) 2211 if (coro_rss (aTHX_ coro) > SvUV (sv_pool_rss)
2068 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size)) 2212 || av_len (av_async_pool) + 1 >= SvIV (sv_pool_size))
2069 { 2213 {
2070 SV *old = PL_diehook; 2214 SV *old = PL_diehook;
2071 PL_diehook = 0; 2215 PL_diehook = 0;
2072 SvREFCNT_dec (old); 2216 SvREFCNT_dec (old);
2083 api_trace (coro_current, 0); 2227 api_trace (coro_current, 0);
2084 2228
2085 av_push (av_async_pool, newSVsv (coro_current)); 2229 av_push (av_async_pool, newSVsv (coro_current));
2086} 2230}
2087 2231
2232#if 0
2233
2234void
2235_generator_call (...)
2236 PROTOTYPE: @
2237 PPCODE:
2238 fprintf (stderr, "call %p\n", CvXSUBANY(cv).any_ptr);
2239 xxxx
2240 abort ();
2241
2242SV *
2243gensub (SV *sub, ...)
2244 PROTOTYPE: &;@
2245 CODE:
2246{
2247 struct coro *coro;
2248 MAGIC *mg;
2249 CV *xcv;
2250 CV *ncv = (CV *)newSV_type (SVt_PVCV);
2251 int i;
2252
2253 CvGV (ncv) = CvGV (cv);
2254 CvFILE (ncv) = CvFILE (cv);
2255
2256 Newz (0, coro, 1, struct coro);
2257 coro->args = newAV ();
2258 coro->flags = CF_NEW;
2259
2260 av_extend (coro->args, items - 1);
2261 for (i = 1; i < items; i++)
2262 av_push (coro->args, newSVsv (ST (i)));
2263
2264 CvISXSUB_on (ncv);
2265 CvXSUBANY (ncv).any_ptr = (void *)coro;
2266
2267 xcv = GvCV (gv_fetchpv ("Coro::_generator_call", 0, SVt_PVCV));
2268
2269 CvXSUB (ncv) = CvXSUB (xcv);
2270 CvANON_on (ncv);
2271
2272 mg = sv_magicext ((SV *)ncv, 0, CORO_MAGIC_type_state, &coro_gensub_vtbl, (char *)coro, 0);
2273 RETVAL = newRV_noinc ((SV *)ncv);
2274}
2275 OUTPUT:
2276 RETVAL
2277
2278#endif
2279
2088 2280
2089MODULE = Coro::State PACKAGE = Coro::AIO 2281MODULE = Coro::State PACKAGE = Coro::AIO
2090 2282
2091SV * 2283void
2092_get_state () 2284_get_state (SV *self)
2093 CODE: 2285 PPCODE:
2094{ 2286{
2095 struct io_state *data; 2287 AV *defav = GvAV (PL_defgv);
2096 2288 AV *av = newAV ();
2289 int i;
2097 RETVAL = newSV (sizeof (struct io_state)); 2290 SV *data_sv = newSV (sizeof (struct io_state));
2098 data = (struct io_state *)SvPVX (RETVAL); 2291 struct io_state *data = (struct io_state *)SvPVX (data_sv);
2099 SvCUR_set (RETVAL, sizeof (struct io_state)); 2292 SvCUR_set (data_sv, sizeof (struct io_state));
2100 SvPOK_only (RETVAL); 2293 SvPOK_only (data_sv);
2101 2294
2102 data->errorno = errno; 2295 data->errorno = errno;
2103 data->laststype = PL_laststype; 2296 data->laststype = PL_laststype;
2104 data->laststatval = PL_laststatval; 2297 data->laststatval = PL_laststatval;
2105 data->statcache = PL_statcache; 2298 data->statcache = PL_statcache;
2299
2300 av_extend (av, AvFILLp (defav) + 1 + 1);
2301
2302 for (i = 0; i <= AvFILLp (defav); ++i)
2303 av_push (av, SvREFCNT_inc_NN (AvARRAY (defav)[i]));
2304
2305 av_push (av, data_sv);
2306
2307 XPUSHs (sv_2mortal (newRV_noinc ((SV *)av)));
2308
2309 api_ready (self);
2106} 2310}
2107 OUTPUT:
2108 RETVAL
2109 2311
2110void 2312void
2111_set_state (char *data_) 2313_set_state (SV *state)
2112 PROTOTYPE: $ 2314 PROTOTYPE: $
2113 CODE: 2315 PPCODE:
2114{ 2316{
2115 struct io_state *data = (void *)data_; 2317 AV *av = (AV *)SvRV (state);
2318 struct io_state *data = (struct io_state *)SvPVX (AvARRAY (av)[AvFILLp (av)]);
2319 int i;
2116 2320
2117 errno = data->errorno; 2321 errno = data->errorno;
2118 PL_laststype = data->laststype; 2322 PL_laststype = data->laststype;
2119 PL_laststatval = data->laststatval; 2323 PL_laststatval = data->laststatval;
2120 PL_statcache = data->statcache; 2324 PL_statcache = data->statcache;
2325
2326 EXTEND (SP, AvFILLp (av));
2327 for (i = 0; i < AvFILLp (av); ++i)
2328 PUSHs (sv_2mortal (SvREFCNT_inc_NN (AvARRAY (av)[i])));
2121} 2329}
2122 2330
2123 2331
2124MODULE = Coro::State PACKAGE = Coro::AnyEvent 2332MODULE = Coro::State PACKAGE = Coro::AnyEvent
2125 2333
2149 } 2357 }
2150 2358
2151 --incede; 2359 --incede;
2152} 2360}
2153 2361
2362
2363MODULE = Coro::State PACKAGE = PerlIO::cede
2364
2365BOOT:
2366 PerlIO_define_layer (aTHX_ &PerlIO_cede);

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines