xref: /aosp_15_r20/external/lua/src/lcorolib.c (revision 088332b5b69e7ab13924864b272aabfc2509d2d5)
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