1*088332b5SXin Li /*
2*088332b5SXin Li ** $Id: lcorolib.c $
3*088332b5SXin Li ** Coroutine Library
4*088332b5SXin Li ** See Copyright Notice in lua.h
5*088332b5SXin Li */
6*088332b5SXin Li
7*088332b5SXin Li #define lcorolib_c
8*088332b5SXin Li #define LUA_LIB
9*088332b5SXin Li
10*088332b5SXin Li #include "lprefix.h"
11*088332b5SXin Li
12*088332b5SXin Li
13*088332b5SXin Li #include <stdlib.h>
14*088332b5SXin Li
15*088332b5SXin Li #include "lua.h"
16*088332b5SXin Li
17*088332b5SXin Li #include "lauxlib.h"
18*088332b5SXin Li #include "lualib.h"
19*088332b5SXin Li
20*088332b5SXin Li
getco(lua_State * L)21*088332b5SXin Li static lua_State *getco (lua_State *L) {
22*088332b5SXin Li lua_State *co = lua_tothread(L, 1);
23*088332b5SXin Li luaL_argexpected(L, co, 1, "thread");
24*088332b5SXin Li return co;
25*088332b5SXin Li }
26*088332b5SXin Li
27*088332b5SXin Li
28*088332b5SXin Li /*
29*088332b5SXin Li ** Resumes a coroutine. Returns the number of results for non-error
30*088332b5SXin Li ** cases or -1 for errors.
31*088332b5SXin Li */
auxresume(lua_State * L,lua_State * co,int narg)32*088332b5SXin Li static int auxresume (lua_State *L, lua_State *co, int narg) {
33*088332b5SXin Li int status, nres;
34*088332b5SXin Li if (!lua_checkstack(co, narg)) {
35*088332b5SXin Li lua_pushliteral(L, "too many arguments to resume");
36*088332b5SXin Li return -1; /* error flag */
37*088332b5SXin Li }
38*088332b5SXin Li lua_xmove(L, co, narg);
39*088332b5SXin Li status = lua_resume(co, L, narg, &nres);
40*088332b5SXin Li if (status == LUA_OK || status == LUA_YIELD) {
41*088332b5SXin Li if (!lua_checkstack(L, nres + 1)) {
42*088332b5SXin Li lua_pop(co, nres); /* remove results anyway */
43*088332b5SXin Li lua_pushliteral(L, "too many results to resume");
44*088332b5SXin Li return -1; /* error flag */
45*088332b5SXin Li }
46*088332b5SXin Li lua_xmove(co, L, nres); /* move yielded values */
47*088332b5SXin Li return nres;
48*088332b5SXin Li }
49*088332b5SXin Li else {
50*088332b5SXin Li lua_xmove(co, L, 1); /* move error message */
51*088332b5SXin Li return -1; /* error flag */
52*088332b5SXin Li }
53*088332b5SXin Li }
54*088332b5SXin Li
55*088332b5SXin Li
luaB_coresume(lua_State * L)56*088332b5SXin Li static int luaB_coresume (lua_State *L) {
57*088332b5SXin Li lua_State *co = getco(L);
58*088332b5SXin Li int r;
59*088332b5SXin Li r = auxresume(L, co, lua_gettop(L) - 1);
60*088332b5SXin Li if (r < 0) {
61*088332b5SXin Li lua_pushboolean(L, 0);
62*088332b5SXin Li lua_insert(L, -2);
63*088332b5SXin Li return 2; /* return false + error message */
64*088332b5SXin Li }
65*088332b5SXin Li else {
66*088332b5SXin Li lua_pushboolean(L, 1);
67*088332b5SXin Li lua_insert(L, -(r + 1));
68*088332b5SXin Li return r + 1; /* return true + 'resume' returns */
69*088332b5SXin Li }
70*088332b5SXin Li }
71*088332b5SXin Li
72*088332b5SXin Li
luaB_auxwrap(lua_State * L)73*088332b5SXin Li static int luaB_auxwrap (lua_State *L) {
74*088332b5SXin Li lua_State *co = lua_tothread(L, lua_upvalueindex(1));
75*088332b5SXin Li int r = auxresume(L, co, lua_gettop(L));
76*088332b5SXin Li if (r < 0) { /* error? */
77*088332b5SXin Li int stat = lua_status(co);
78*088332b5SXin Li if (stat != LUA_OK && stat != LUA_YIELD) /* error in the coroutine? */
79*088332b5SXin Li lua_resetthread(co); /* close its tbc variables */
80*088332b5SXin Li if (stat != LUA_ERRMEM && /* not a memory error and ... */
81*088332b5SXin Li lua_type(L, -1) == LUA_TSTRING) { /* ... error object is a string? */
82*088332b5SXin Li luaL_where(L, 1); /* add extra info, if available */
83*088332b5SXin Li lua_insert(L, -2);
84*088332b5SXin Li lua_concat(L, 2);
85*088332b5SXin Li }
86*088332b5SXin Li return lua_error(L); /* propagate error */
87*088332b5SXin Li }
88*088332b5SXin Li return r;
89*088332b5SXin Li }
90*088332b5SXin Li
91*088332b5SXin Li
luaB_cocreate(lua_State * L)92*088332b5SXin Li static int luaB_cocreate (lua_State *L) {
93*088332b5SXin Li lua_State *NL;
94*088332b5SXin Li luaL_checktype(L, 1, LUA_TFUNCTION);
95*088332b5SXin Li NL = lua_newthread(L);
96*088332b5SXin Li lua_pushvalue(L, 1); /* move function to top */
97*088332b5SXin Li lua_xmove(L, NL, 1); /* move function from L to NL */
98*088332b5SXin Li return 1;
99*088332b5SXin Li }
100*088332b5SXin Li
101*088332b5SXin Li
luaB_cowrap(lua_State * L)102*088332b5SXin Li static int luaB_cowrap (lua_State *L) {
103*088332b5SXin Li luaB_cocreate(L);
104*088332b5SXin Li lua_pushcclosure(L, luaB_auxwrap, 1);
105*088332b5SXin Li return 1;
106*088332b5SXin Li }
107*088332b5SXin Li
108*088332b5SXin Li
luaB_yield(lua_State * L)109*088332b5SXin Li static int luaB_yield (lua_State *L) {
110*088332b5SXin Li return lua_yield(L, lua_gettop(L));
111*088332b5SXin Li }
112*088332b5SXin Li
113*088332b5SXin Li
114*088332b5SXin Li #define COS_RUN 0
115*088332b5SXin Li #define COS_DEAD 1
116*088332b5SXin Li #define COS_YIELD 2
117*088332b5SXin Li #define COS_NORM 3
118*088332b5SXin Li
119*088332b5SXin Li
120*088332b5SXin Li static const char *const statname[] =
121*088332b5SXin Li {"running", "dead", "suspended", "normal"};
122*088332b5SXin Li
123*088332b5SXin Li
auxstatus(lua_State * L,lua_State * co)124*088332b5SXin Li static int auxstatus (lua_State *L, lua_State *co) {
125*088332b5SXin Li if (L == co) return COS_RUN;
126*088332b5SXin Li else {
127*088332b5SXin Li switch (lua_status(co)) {
128*088332b5SXin Li case LUA_YIELD:
129*088332b5SXin Li return COS_YIELD;
130*088332b5SXin Li case LUA_OK: {
131*088332b5SXin Li lua_Debug ar;
132*088332b5SXin Li if (lua_getstack(co, 0, &ar)) /* does it have frames? */
133*088332b5SXin Li return COS_NORM; /* it is running */
134*088332b5SXin Li else if (lua_gettop(co) == 0)
135*088332b5SXin Li return COS_DEAD;
136*088332b5SXin Li else
137*088332b5SXin Li return COS_YIELD; /* initial state */
138*088332b5SXin Li }
139*088332b5SXin Li default: /* some error occurred */
140*088332b5SXin Li return COS_DEAD;
141*088332b5SXin Li }
142*088332b5SXin Li }
143*088332b5SXin Li }
144*088332b5SXin Li
145*088332b5SXin Li
luaB_costatus(lua_State * L)146*088332b5SXin Li static int luaB_costatus (lua_State *L) {
147*088332b5SXin Li lua_State *co = getco(L);
148*088332b5SXin Li lua_pushstring(L, statname[auxstatus(L, co)]);
149*088332b5SXin Li return 1;
150*088332b5SXin Li }
151*088332b5SXin Li
152*088332b5SXin Li
luaB_yieldable(lua_State * L)153*088332b5SXin Li static int luaB_yieldable (lua_State *L) {
154*088332b5SXin Li lua_State *co = lua_isnone(L, 1) ? L : getco(L);
155*088332b5SXin Li lua_pushboolean(L, lua_isyieldable(co));
156*088332b5SXin Li return 1;
157*088332b5SXin Li }
158*088332b5SXin Li
159*088332b5SXin Li
luaB_corunning(lua_State * L)160*088332b5SXin Li static int luaB_corunning (lua_State *L) {
161*088332b5SXin Li int ismain = lua_pushthread(L);
162*088332b5SXin Li lua_pushboolean(L, ismain);
163*088332b5SXin Li return 2;
164*088332b5SXin Li }
165*088332b5SXin Li
166*088332b5SXin Li
luaB_close(lua_State * L)167*088332b5SXin Li static int luaB_close (lua_State *L) {
168*088332b5SXin Li lua_State *co = getco(L);
169*088332b5SXin Li int status = auxstatus(L, co);
170*088332b5SXin Li switch (status) {
171*088332b5SXin Li case COS_DEAD: case COS_YIELD: {
172*088332b5SXin Li status = lua_resetthread(co);
173*088332b5SXin Li if (status == LUA_OK) {
174*088332b5SXin Li lua_pushboolean(L, 1);
175*088332b5SXin Li return 1;
176*088332b5SXin Li }
177*088332b5SXin Li else {
178*088332b5SXin Li lua_pushboolean(L, 0);
179*088332b5SXin Li lua_xmove(co, L, 1); /* copy error message */
180*088332b5SXin Li return 2;
181*088332b5SXin Li }
182*088332b5SXin Li }
183*088332b5SXin Li default: /* normal or running coroutine */
184*088332b5SXin Li return luaL_error(L, "cannot close a %s coroutine", statname[status]);
185*088332b5SXin Li }
186*088332b5SXin Li }
187*088332b5SXin Li
188*088332b5SXin Li
189*088332b5SXin Li static const luaL_Reg co_funcs[] = {
190*088332b5SXin Li {"create", luaB_cocreate},
191*088332b5SXin Li {"resume", luaB_coresume},
192*088332b5SXin Li {"running", luaB_corunning},
193*088332b5SXin Li {"status", luaB_costatus},
194*088332b5SXin Li {"wrap", luaB_cowrap},
195*088332b5SXin Li {"yield", luaB_yield},
196*088332b5SXin Li {"isyieldable", luaB_yieldable},
197*088332b5SXin Li {"close", luaB_close},
198*088332b5SXin Li {NULL, NULL}
199*088332b5SXin Li };
200*088332b5SXin Li
201*088332b5SXin Li
202*088332b5SXin Li
luaopen_coroutine(lua_State * L)203*088332b5SXin Li LUAMOD_API int luaopen_coroutine (lua_State *L) {
204*088332b5SXin Li luaL_newlib(L, co_funcs);
205*088332b5SXin Li return 1;
206*088332b5SXin Li }
207*088332b5SXin Li
208