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.206 by root, Tue Oct 9 15:45:26 2007 UTC vs.
Revision 1.210 by root, Wed Oct 10 03:24:40 2007 UTC

… …
10#include "patchlevel.h" 10#include "patchlevel.h"
11 11
12#include <stdio.h> 12#include <stdio.h>
13#include <errno.h> 13#include <errno.h>
14#include <assert.h> 14#include <assert.h>
15#include <inttypes.h> /* portable stdint.h */
15 16
16#ifdef HAVE_MMAP 17#ifdef HAVE_MMAP
17# include <unistd.h> 18# include <unistd.h>
18# include <sys/mman.h> 19# include <sys/mman.h>
19# ifndef MAP_ANONYMOUS 20# ifndef MAP_ANONYMOUS
… …
160/* async_pool helper stuff */ 161/* async_pool helper stuff */
161static SV *sv_pool_rss; 162static SV *sv_pool_rss;
162static SV *sv_pool_size; 163static SV *sv_pool_size;
163static AV *av_async_pool; 164static AV *av_async_pool;
164 165
165static struct coro_cctx *cctx_first; 166static struct coro_cctx *cctx_first[3]; /* index by GIMME_V type, void, scalar, array */
166static int cctx_count, cctx_idle; 167static int cctx_count, cctx_idle[3];
167 168
168enum { 169enum {
169 CC_MAPPED = 0x01, 170 CC_MAPPED = 0x01,
170 CC_NOREUSE = 0x02, /* throw this away after tracing */ 171 CC_NOREUSE = 0x02, /* throw this away after tracing */
171 CC_TRACE = 0x04, 172 CC_TRACE = 0x04,
… …
216 217
217/* this is a structure representing a perl-level coroutine */ 218/* this is a structure representing a perl-level coroutine */
218struct coro { 219struct coro {
219 /* the c coroutine allocated to this perl coroutine, if any */ 220 /* the c coroutine allocated to this perl coroutine, if any */
220 coro_cctx *cctx; 221 coro_cctx *cctx;
222 int gimme;
221 223
222 /* process data */ 224 /* process data */
223 AV *mainstack; 225 AV *mainstack;
224 perl_slots *slot; /* basically the saved sp */ 226 perl_slots *slot; /* basically the saved sp */
225 227
… …
710 XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv)))); 712 XPUSHs (sv_2mortal (av_shift (GvAV (PL_defgv))));
711 PUTBACK; 713 PUTBACK;
712 PL_op = (OP *)&myop; 714 PL_op = (OP *)&myop;
713 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX); 715 PL_op = PL_ppaddr[OP_ENTERSUB](aTHX);
714 SPAGAIN; 716 SPAGAIN;
717
718 /*
719 * now its very tricky. the "tail" of the next transfer might end up
720 * either in a new cctx, or an existing one.
721 * in case of an existing one we have to take care of whatever
722 * entersub and transfer do to the perl stack.
723 */
724 ENTER;
725 EXTEND (SP, 4);
726 PUSHs ((SV *)0); /* items */
727 PUSHs ((SV *)0); /* ix, set_stacklevel */
728 PUSHs ((SV *)(sp - PL_stack_base + 1)); /* ax */
729 PUSHs ((SV *)0); /* again */
730 PUTBACK;
715 } 731 }
716 732
717 ENTER; /* necessary e.g. for dounwind and to balance the xsub-entersub */ 733 /* this newly created coroutine might be run on an existing cctx which most
734 * likely was suspended in set_stacklevel, called from entersub.
735 * set_stacklevl doesn't do anything on return, but entersub does LEAVE,
736 * so we ENTER here for symmetry
737 */
738 ENTER;
718} 739}
719 740
720static void 741static void
721coro_destroy (pTHX_ struct coro *coro) 742coro_destroy (pTHX_ struct coro *coro)
722{ 743{
… …
1018 1039
1019/* wether this cctx should be destructed */ 1040/* wether this cctx should be destructed */
1020#define CCTX_EXPIRED(cctx) ((cctx)->ssize < coro_stacksize || ((cctx)->flags & CC_NOREUSE)) 1041#define CCTX_EXPIRED(cctx) ((cctx)->ssize < coro_stacksize || ((cctx)->flags & CC_NOREUSE))
1021 1042
1022static coro_cctx * 1043static coro_cctx *
1023cctx_get (pTHX) 1044cctx_get (pTHX_ int gimme)
1024{ 1045{
1025 while (expect_true (cctx_first)) 1046 while (expect_true (cctx_first[gimme]))
1026 { 1047 {
1027 coro_cctx *cctx = cctx_first; 1048 coro_cctx *cctx = cctx_first[gimme];
1028 cctx_first = cctx->next; 1049 cctx_first[gimme] = cctx->next;
1029 --cctx_idle; 1050 --cctx_idle[gimme];
1030 1051
1031 if (expect_true (!CCTX_EXPIRED (cctx))) 1052 if (expect_true (!CCTX_EXPIRED (cctx)))
1032 return cctx; 1053 return cctx;
1033 1054
1034 cctx_destroy (cctx); 1055 cctx_destroy (cctx);
1035 } 1056 }
1036 1057
1058 assert (!gimme);
1037 return cctx_new (); 1059 return cctx_new ();
1038} 1060}
1039 1061
1040static void 1062static void
1041cctx_put (coro_cctx *cctx) 1063cctx_put (coro_cctx *cctx, int gimme)
1042{ 1064{
1043 /* free another cctx if overlimit */ 1065 /* free another cctx if overlimit */
1044 if (expect_false (cctx_idle >= MAX_IDLE_CCTX)) 1066 if (expect_false (cctx_idle[gimme] >= MAX_IDLE_CCTX))
1045 { 1067 {
1046 coro_cctx *first = cctx_first; 1068 coro_cctx *first = cctx_first[gimme];
1047 cctx_first = first->next; 1069 cctx_first[gimme] = first->next;
1048 --cctx_idle; 1070 --cctx_idle[gimme];
1049 1071
1050 cctx_destroy (first); 1072 cctx_destroy (first);
1051 } 1073 }
1052 1074
1053 ++cctx_idle; 1075 ++cctx_idle[gimme];
1054 cctx->next = cctx_first; 1076 cctx->next = cctx_first[gimme];
1055 cctx_first = cctx; 1077 cctx_first[gimme] = cctx;
1056} 1078}
1057 1079
1058/** coroutine switching *****************************************************/ 1080/** coroutine switching *****************************************************/
1059 1081
1060static void 1082static void
… …
1139 1161
1140 /* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */ 1162 /* if the cctx is about to be destroyed we need to make sure we won't see it in cctx_get */
1141 /* without this the next cctx_get might destroy the prev__cctx while still in use */ 1163 /* without this the next cctx_get might destroy the prev__cctx while still in use */
1142 if (expect_false (CCTX_EXPIRED (prev__cctx))) 1164 if (expect_false (CCTX_EXPIRED (prev__cctx)))
1143 if (!next->cctx) 1165 if (!next->cctx)
1144 next->cctx = cctx_get (aTHX); 1166 next->cctx = cctx_get (aTHX_ next->gimme);
1145 1167
1146 cctx_put (prev__cctx); 1168 cctx_put (prev__cctx, prev->gimme);
1147 } 1169 }
1148 1170
1149 ++next->usecount; 1171 ++next->usecount;
1150 1172
1151 if (expect_true (!next->cctx)) 1173 if (expect_true (!next->cctx))
1152 next->cctx = cctx_get (aTHX); 1174 next->cctx = cctx_get (aTHX_ next->gimme);
1153 1175
1154 if (expect_false (prev__cctx != next->cctx)) 1176 if (expect_false (prev__cctx != next->cctx))
1155 { 1177 {
1156 prev__cctx->top_env = PL_top_env; 1178 prev__cctx->top_env = PL_top_env;
1157 PL_top_env = next->cctx->top_env; 1179 PL_top_env = next->cctx->top_env;
… …
1523 1545
1524 while (main_top_env->je_prev) 1546 while (main_top_env->je_prev)
1525 main_top_env = main_top_env->je_prev; 1547 main_top_env = main_top_env->je_prev;
1526 1548
1527 coroapi.ver = CORO_API_VERSION; 1549 coroapi.ver = CORO_API_VERSION;
1550 coroapi.rev = CORO_API_REVISION;
1528 coroapi.transfer = api_transfer; 1551 coroapi.transfer = api_transfer;
1529 1552
1530 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL)); 1553 assert (("PRIO_NORMAL must be 0", !PRIO_NORMAL));
1531} 1554}
1532 1555
… …
1599 1622
1600 break; 1623 break;
1601 } 1624 }
1602 1625
1603 BARRIER; 1626 BARRIER;
1627 PUTBACK;
1604 TRANSFER (ta); 1628 TRANSFER (ta);
1605 1629 SPAGAIN; /* might be the sp of a different coroutine now */
1606 if (expect_false (GIMME_V != G_VOID && ta.next != ta.prev)) 1630 /* be extra careful not to ever do anything after TRANSFER */
1607 XSRETURN_YES;
1608} 1631}
1609 1632
1610bool 1633bool
1611_destroy (SV *coro_sv) 1634_destroy (SV *coro_sv)
1612 CODE: 1635 CODE:
… …
1638 RETVAL 1661 RETVAL
1639 1662
1640int 1663int
1641cctx_idle () 1664cctx_idle ()
1642 CODE: 1665 CODE:
1643 RETVAL = cctx_idle; 1666 RETVAL = cctx_idle[0] + cctx_idle[1] + cctx_idle[2];
1644 OUTPUT: 1667 OUTPUT:
1645 RETVAL 1668 RETVAL
1646 1669
1647void 1670void
1648list () 1671list ()
… …
1672 1695
1673 { 1696 {
1674 dSP; 1697 dSP;
1675 ENTER; 1698 ENTER;
1676 SAVETMPS; 1699 SAVETMPS;
1700 PUTBACK;
1701 PUSHSTACK;
1677 PUSHMARK (SP); 1702 PUSHMARK (SP);
1678 PUTBACK;
1679 1703
1680 if (ix) 1704 if (ix)
1681 eval_sv (coderef, 0); 1705 eval_sv (coderef, 0);
1682 else 1706 else
1683 call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD); 1707 call_sv (coderef, G_KEEPERR | G_EVAL | G_VOID | G_DISCARD);
1684 1708
1685 SPAGAIN; 1709 POPSTACK;
1686 FREETMPS; 1710 FREETMPS;
1687 LEAVE; 1711 LEAVE;
1688 PUTBACK; 1712 PUTBACK;
1689 } 1713 }
1690 1714

Diff Legend

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