123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361 |
- /*
- ** $Id: ldo.c,v 1.85 2000/08/10 19:50:47 roberto Exp roberto $
- ** Stack and Call structure of Lua
- ** See Copyright Notice in lua.h
- */
- #include <setjmp.h>
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include "lua.h"
- #include "lauxlib.h"
- #include "ldebug.h"
- #include "ldo.h"
- #include "lgc.h"
- #include "lmem.h"
- #include "lobject.h"
- #include "lparser.h"
- #include "lstate.h"
- #include "lstring.h"
- #include "ltable.h"
- #include "ltm.h"
- #include "lundump.h"
- #include "lvm.h"
- #include "lzio.h"
- #define EXTRA_STACK 32 /* space to handle stack overflow errors */
- /*
- ** typical numer of stack slots used by a (big) function
- ** (this constant is used only for choosing error messages)
- */
- #define SLOTS_PER_F 20
- void luaD_init (lua_State *L, int stacksize) {
- L->stack = luaM_newvector(L, stacksize+EXTRA_STACK, TObject);
- L->stack_last = L->stack+(stacksize-1);
- L->stacksize = stacksize;
- L->Cbase = L->top = L->stack;
- }
- void luaD_checkstack (lua_State *L, int n) {
- if (L->stack_last-L->top <= n) { /* stack overflow? */
- if (L->stack_last-L->stack > (L->stacksize-1)) {
- /* overflow while handling overflow: do what?? */
- L->top -= EXTRA_STACK;
- lua_error(L, "BAD STACK OVERFLOW! DATA CORRUPTED!");
- }
- else {
- lua_Debug dummy;
- L->stack_last += EXTRA_STACK; /* to be used by error message */
- if (lua_getstack(L, L->stacksize/SLOTS_PER_F, &dummy) == 0) {
- /* too few funcs on stack: doesn't look like a recursion loop */
- lua_error(L, "Lua2C - C2Lua overflow");
- }
- else
- lua_error(L, "stack overflow; possible recursion loop");
- }
- }
- }
- static void restore_stack_limit (lua_State *L) {
- if (L->top - L->stack < L->stacksize - 1)
- L->stack_last = L->stack + (L->stacksize-1);
- }
- /*
- ** Adjust stack. Set top to base+extra, pushing NILs if needed.
- ** (we cannot add base+extra unless we are sure it fits in the stack;
- ** otherwise the result of such operation on pointers is undefined)
- */
- void luaD_adjusttop (lua_State *L, StkId base, int extra) {
- int diff = extra-(L->top-base);
- if (diff <= 0)
- L->top = base+extra;
- else {
- luaD_checkstack(L, diff);
- while (diff--)
- ttype(L->top++) = TAG_NIL;
- }
- }
- /*
- ** Open a hole inside the stack at `pos'
- */
- void luaD_openstack (lua_State *L, StkId pos) {
- int i = L->top-pos;
- while (i--) pos[i+1] = pos[i];
- incr_top;
- }
- void luaD_lineHook (lua_State *L, StkId func, int line, lua_Hook linehook) {
- if (L->allowhooks) {
- lua_Debug ar;
- StkId old_Cbase = L->Cbase;
- StkId old_top = L->Cbase = L->top;
- ar._func = func;
- ar.event = "line";
- ar.currentline = line;
- L->allowhooks = 0; /* cannot call hooks inside a hook */
- (*linehook)(L, &ar);
- L->allowhooks = 1;
- L->top = old_top;
- L->Cbase = old_Cbase;
- }
- }
- static void luaD_callHook (lua_State *L, StkId func, lua_Hook callhook,
- const char *event) {
- if (L->allowhooks) {
- lua_Debug ar;
- StkId old_Cbase = L->Cbase;
- StkId old_top = L->Cbase = L->top;
- ar._func = func;
- ar.event = event;
- L->allowhooks = 0; /* cannot call hooks inside a hook */
- callhook(L, &ar);
- L->allowhooks = 1;
- L->top = old_top;
- L->Cbase = old_Cbase;
- }
- }
- static StkId callCclosure (lua_State *L, const struct Closure *cl, StkId base) {
- int nup = cl->nupvalues; /* number of upvalues */
- StkId old_Cbase = L->Cbase;
- int nres; /* number of results */
- if (nup > 0) {
- int n = L->top - base; /* number of arguments */
- luaD_checkstack(L, nup);
- /* open space for upvalues as extra arguments */
- while (n--) *(base+nup+n) = *(base+n);
- L->top += nup;
- /* copy upvalues into stack */
- while (nup--) *(base+nup) = cl->upvalue[nup];
- }
- L->Cbase = base; /* new base for C function */
- nres = (*cl->f.c)(L); /* do the actual call */
- L->Cbase = old_Cbase; /* restore old C base */
- return L->top - nres; /* return index of first result */
- }
- void luaD_callTM (lua_State *L, const TObject *f, int nParams, int nResults) {
- StkId base = L->top - nParams;
- luaD_openstack(L, base);
- *base = *f;
- luaD_call(L, base, nResults);
- }
- /*
- ** Call a function (C or Lua). The function to be called is at *func.
- ** The arguments are on the stack, right after the function.
- ** When returns, the results are on the stack, starting at the original
- ** function position.
- ** The number of results is nResults, unless nResults=MULT_RET.
- */
- void luaD_call (lua_State *L, StkId func, int nResults) {
- StkId firstResult;
- lua_Hook callhook = L->callhook;
- retry: /* for `function' tag method */
- switch (ttype(func)) {
- case TAG_LCLOSURE: {
- CallInfo ci;
- ci.func = clvalue(func);
- ci.line = 0;
- ttype(func) = TAG_LMARK;
- infovalue(func) = &ci;
- if (callhook)
- luaD_callHook(L, func, callhook, "call");
- firstResult = luaV_execute(L, ci.func, func+1);
- break;
- }
- case TAG_CCLOSURE: {
- ttype(func) = TAG_CMARK;
- if (callhook)
- luaD_callHook(L, func, callhook, "call");
- firstResult = callCclosure(L, clvalue(func), func+1);
- break;
- }
- default: { /* `func' is not a function; check the `function' tag method */
- const TObject *im = luaT_getimbyObj(L, func, IM_FUNCTION);
- if (ttype(im) == TAG_NIL)
- luaG_typeerror(L, func, "call");
- luaD_openstack(L, func);
- *func = *im; /* tag method is the new function to be called */
- goto retry; /* retry the call */
- }
- }
- if (callhook) /* same hook that was active at entry */
- luaD_callHook(L, func, callhook, "return");
- /* adjust the number of results */
- if (nResults == MULT_RET)
- nResults = L->top - firstResult;
- else
- luaD_adjusttop(L, firstResult, nResults);
- /* move results to `func' (to erase parameters and function) */
- while (nResults) {
- *func++ = *(L->top - nResults);
- nResults--;
- }
- L->top = func;
- }
- static void message (lua_State *L, const char *s) {
- const TObject *em = luaH_getglobal(L, LUA_ERRORMESSAGE);
- if (*luaO_typename(em) == 'f') {
- *L->top = *em;
- incr_top;
- lua_pushstring(L, s);
- luaD_call(L, L->top-2, 0);
- }
- }
- void luaD_breakrun (lua_State *L, int errcode) {
- if (L->errorJmp) {
- L->errorJmp->status = errcode;
- longjmp(L->errorJmp->b, 1);
- }
- else {
- if (errcode != LUA_ERRMEM)
- message(L, "unable to recover; exiting\n");
- exit(1);
- }
- }
- /*
- ** Reports an error, and jumps up to the available recovery label
- */
- void lua_error (lua_State *L, const char *s) {
- if (s) message(L, s);
- luaD_breakrun(L, LUA_ERRRUN);
- }
- static void chain_longjmp (lua_State *L, struct lua_longjmp *lj) {
- lj->status = 0;
- lj->base = L->Cbase;
- lj->previous = L->errorJmp;
- L->errorJmp = lj;
- }
- static int restore_longjmp (lua_State *L, struct lua_longjmp *lj) {
- L->Cbase = lj->base;
- L->errorJmp = lj->previous;
- return lj->status;
- }
- /*
- ** Execute a protected call.
- */
- int lua_call (lua_State *L, int nargs, int nresults) {
- StkId func = L->top - (nargs+1); /* function to be called */
- struct lua_longjmp myErrorJmp;
- chain_longjmp(L, &myErrorJmp);
- if (nresults == LUA_MULTRET) nresults = MULT_RET; /* internal code */
- if (setjmp(myErrorJmp.b) == 0) {
- luaD_call(L, func, nresults);
- }
- else { /* an error occurred: restore the state */
- L->top = func; /* remove garbage from the stack */
- restore_stack_limit(L);
- }
- return restore_longjmp(L, &myErrorJmp);
- }
- /*
- ** returns 0 = chunk loaded; >0 : error; -1 = no more chunks to load
- */
- static int protectedparser (lua_State *L, ZIO *z, int bin) {
- struct lua_longjmp myErrorJmp;
- chain_longjmp(L, &myErrorJmp);
- if (setjmp(myErrorJmp.b) == 0) {
- Proto *tf = bin ? luaU_undump1(L, z) : luaY_parser(L, z);
- if (tf == NULL)
- myErrorJmp.status = -1; /* `natural' end */
- luaV_Lclosure(L, tf, 0);
- }
- else { /* an error occurred: correct error code */
- if (myErrorJmp.status == LUA_ERRRUN)
- myErrorJmp.status = LUA_ERRSYNTAX;
- }
- return restore_longjmp(L, &myErrorJmp); /* error code */
- }
- static int do_main (lua_State *L, ZIO *z, int bin) {
- int status;
- do {
- unsigned long old_blocks;
- luaC_checkGC(L);
- old_blocks = L->nblocks;
- status = protectedparser(L, z, bin);
- if (status > 0) return status; /* error */
- else if (status < 0) return 0; /* `natural' end */
- else {
- unsigned long newelems2 = 2*(L->nblocks-old_blocks);
- L->GCthreshold += newelems2;
- status = lua_call(L, 0, LUA_MULTRET);
- L->GCthreshold -= newelems2;
- }
- } while (bin && status == 0);
- return status;
- }
- int lua_dofile (lua_State *L, const char *filename) {
- ZIO z;
- int status;
- int bin; /* flag for file mode */
- int c; /* look ahead char */
- char source[MAXFILENAME];
- FILE *f = (filename == NULL) ? stdin : fopen(filename, "r");
- if (f == NULL) return 2; /* unable to open file */
- luaL_filesource(source, filename, sizeof(source));
- c = fgetc(f);
- ungetc(c, f);
- bin = (c == ID_CHUNK);
- if (bin && f != stdin) {
- f = freopen(filename, "rb", f); /* set binary mode */
- if (f == NULL) return 2; /* unable to reopen file */
- }
- luaZ_Fopen(&z, f, source);
- status = do_main(L, &z, bin);
- if (f != stdin)
- fclose(f);
- return status;
- }
- int lua_dostring (lua_State *L, const char *str) {
- return lua_dobuffer(L, str, strlen(str), str);
- }
- int lua_dobuffer (lua_State *L, const char *buff, size_t size,
- const char *name) {
- ZIO z;
- if (!name) name = "?";
- luaZ_mopen(&z, buff, size, name);
- return do_main(L, &z, buff[0]==ID_CHUNK);
- }
|