home *** CD-ROM | disk | FTP | other *** search
/ AmigActive 4 / AACD04.ISO / AACD / Programming / Python / Source / Objects / frameobject.c < prev    next >
Encoding:
C/C++ Source or Header  |  1999-04-25  |  9.9 KB  |  382 lines
  1. /***********************************************************
  2. Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam,
  3. The Netherlands.
  4.  
  5.                         All Rights Reserved
  6.  
  7. Permission to use, copy, modify, and distribute this software and its
  8. documentation for any purpose and without fee is hereby granted,
  9. provided that the above copyright notice appear in all copies and that
  10. both that copyright notice and this permission notice appear in
  11. supporting documentation, and that the names of Stichting Mathematisch
  12. Centrum or CWI or Corporation for National Research Initiatives or
  13. CNRI not be used in advertising or publicity pertaining to
  14. distribution of the software without specific, written prior
  15. permission.
  16.  
  17. While CWI is the initial source for this software, a modified version
  18. is made available by the Corporation for National Research Initiatives
  19. (CNRI) at the Internet address ftp://ftp.python.org.
  20.  
  21. STICHTING MATHEMATISCH CENTRUM AND CNRI DISCLAIM ALL WARRANTIES WITH
  22. REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF
  23. MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH
  24. CENTRUM OR CNRI BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL
  25. DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR
  26. PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
  27. TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
  28. PERFORMANCE OF THIS SOFTWARE.
  29.  
  30. ******************************************************************/
  31.  
  32. /* Frame object implementation */
  33.  
  34. #include "Python.h"
  35.  
  36. #include "compile.h"
  37. #include "frameobject.h"
  38. #include "opcode.h"
  39. #include "structmember.h"
  40.  
  41. #include "protos/frameobject.h"
  42.  
  43. #define OFF(x) offsetof(PyFrameObject, x)
  44.  
  45. static struct memberlist frame_memberlist[] = {
  46.     {"f_back",    T_OBJECT,    OFF(f_back),    RO},
  47.     {"f_code",    T_OBJECT,    OFF(f_code),    RO},
  48.     {"f_builtins",    T_OBJECT,    OFF(f_builtins),RO},
  49.     {"f_globals",    T_OBJECT,    OFF(f_globals),    RO},
  50.     {"f_locals",    T_OBJECT,    OFF(f_locals),    RO},
  51.     {"f_lasti",    T_INT,        OFF(f_lasti),    RO},
  52.     {"f_lineno",    T_INT,        OFF(f_lineno),    RO},
  53.     {"f_restricted",T_INT,        OFF(f_restricted),RO},
  54.     {"f_trace",    T_OBJECT,    OFF(f_trace)},
  55.     {"f_exc_type",    T_OBJECT,    OFF(f_exc_type)},
  56.     {"f_exc_value",    T_OBJECT,    OFF(f_exc_value)},
  57.     {"f_exc_traceback", T_OBJECT,    OFF(f_exc_traceback)},
  58.     {NULL}    /* Sentinel */
  59. };
  60.  
  61. static PyObject *
  62. frame_getattr(f, name)
  63.     PyFrameObject *f;
  64.     char *name;
  65. {
  66.     if (strcmp(name, "f_locals") == 0)
  67.         PyFrame_FastToLocals(f);
  68.     return PyMember_Get((char *)f, frame_memberlist, name);
  69. }
  70.  
  71. static int
  72. frame_setattr(f, name, value)
  73.     PyFrameObject *f;
  74.     char *name;
  75.     PyObject *value;
  76. {
  77.     return PyMember_Set((char *)f, frame_memberlist, name, value);
  78. }
  79.  
  80. /* Stack frames are allocated and deallocated at a considerable rate.
  81.    In an attempt to improve the speed of function calls, we maintain a
  82.    separate free list of stack frames (just like integers are
  83.    allocated in a special way -- see intobject.c).  When a stack frame
  84.    is on the free list, only the following members have a meaning:
  85.     ob_type        == &Frametype
  86.     f_back        next item on free list, or NULL
  87.     f_nlocals    number of locals
  88.     f_stacksize    size of value stack
  89.    Note that the value and block stacks are preserved -- this can save
  90.    another malloc() call or two (and two free() calls as well!).
  91.    Also note that, unlike for integers, each frame object is a
  92.    malloc'ed object in its own right -- it is only the actual calls to
  93.    malloc() that we are trying to save here, not the administration.
  94.    After all, while a typical program may make millions of calls, a
  95.    call depth of more than 20 or 30 is probably already exceptional
  96.    unless the program contains run-away recursion.  I hope.
  97. */
  98.  
  99. static PyFrameObject *free_list = NULL;
  100.  
  101. static void
  102. frame_dealloc(f)
  103.     PyFrameObject *f;
  104. {
  105.     int i;
  106.     PyObject **fastlocals;
  107.  
  108.     /* Kill all local variables */
  109.     fastlocals = f->f_localsplus;
  110.     for (i = f->f_nlocals; --i >= 0; ++fastlocals) {
  111.         Py_XDECREF(*fastlocals);
  112.     }
  113.  
  114.     Py_XDECREF(f->f_back);
  115.     Py_XDECREF(f->f_code);
  116.     Py_XDECREF(f->f_builtins);
  117.     Py_XDECREF(f->f_globals);
  118.     Py_XDECREF(f->f_locals);
  119.     Py_XDECREF(f->f_trace);
  120.     Py_XDECREF(f->f_exc_type);
  121.     Py_XDECREF(f->f_exc_value);
  122.     Py_XDECREF(f->f_exc_traceback);
  123.     f->f_back = free_list;
  124.     free_list = f;
  125. }
  126.  
  127. PyTypeObject PyFrame_Type = {
  128.     PyObject_HEAD_INIT(&PyType_Type)
  129.     0,
  130.     "frame",
  131.     sizeof(PyFrameObject),
  132.     0,
  133.     (destructor)frame_dealloc, /*tp_dealloc*/
  134.     0,        /*tp_print*/
  135.     (getattrfunc)frame_getattr, /*tp_getattr*/
  136.     (setattrfunc)frame_setattr, /*tp_setattr*/
  137.     0,        /*tp_compare*/
  138.     0,        /*tp_repr*/
  139.     0,        /*tp_as_number*/
  140.     0,        /*tp_as_sequence*/
  141.     0,        /*tp_as_mapping*/
  142. };
  143.  
  144. PyFrameObject *
  145. PyFrame_New(tstate, code, globals, locals)
  146.     PyThreadState *tstate;
  147.     PyCodeObject *code;
  148.     PyObject *globals;
  149.     PyObject *locals;
  150. {
  151.     PyFrameObject *back = tstate->frame;
  152.     static PyObject *builtin_object;
  153.     PyFrameObject *f;
  154.     PyObject *builtins;
  155.     int extras;
  156.  
  157.     if (builtin_object == NULL) {
  158.         builtin_object = PyString_InternFromString("__builtins__");
  159.         if (builtin_object == NULL)
  160.             return NULL;
  161.     }
  162.     if ((back != NULL && !PyFrame_Check(back)) ||
  163.         code == NULL || !PyCode_Check(code) ||
  164.         globals == NULL || !PyDict_Check(globals) ||
  165.         (locals != NULL && !PyDict_Check(locals))) {
  166.         PyErr_BadInternalCall();
  167.         return NULL;
  168.     }
  169.     extras = code->co_stacksize + code->co_nlocals;
  170.     if (back == NULL || back->f_globals != globals) {
  171.         builtins = PyDict_GetItem(globals, builtin_object);
  172.         if (builtins != NULL && PyModule_Check(builtins))
  173.             builtins = PyModule_GetDict(builtins);
  174.     }
  175.     else {
  176.         /* If we share the globals, we share the builtins.
  177.            Save a lookup and a call. */
  178.         builtins = back->f_builtins;
  179.     }
  180.     if (builtins != NULL && !PyDict_Check(builtins))
  181.         builtins = NULL;
  182.     if (free_list == NULL) {
  183.         f = (PyFrameObject *)
  184.             malloc(sizeof(PyFrameObject) +
  185.                    extras*sizeof(PyObject *));
  186.         if (f == NULL)
  187.             return (PyFrameObject *)PyErr_NoMemory();
  188.         f->ob_type = &PyFrame_Type;
  189.         _Py_NewReference(f);
  190.     }
  191.     else {
  192.         f = free_list;
  193.         free_list = free_list->f_back;
  194.         if (f->f_nlocals + f->f_stacksize < extras) {
  195.             f = (PyFrameObject *)
  196.                 realloc(f, sizeof(PyFrameObject) +
  197.                     extras*sizeof(PyObject *));
  198.             if (f == NULL)
  199.                 return (PyFrameObject *)PyErr_NoMemory();
  200.         }
  201.         else
  202.             extras = f->f_nlocals + f->f_stacksize;
  203.         f->ob_type = &PyFrame_Type;
  204.         _Py_NewReference(f);
  205.     }
  206.     if (builtins == NULL) {
  207.         /* No builtins!  Make up a minimal one. */
  208.         builtins = PyDict_New();
  209.         if (builtins == NULL || /* Give them 'None', at least. */
  210.             PyDict_SetItemString(builtins, "None", Py_None) < 0) {
  211.             Py_DECREF(f);
  212.             return NULL;
  213.         }
  214.     }
  215.     else
  216.         Py_XINCREF(builtins);
  217.     f->f_builtins = builtins;
  218.     Py_XINCREF(back);
  219.     f->f_back = back;
  220.     Py_INCREF(code);
  221.     f->f_code = code;
  222.     Py_INCREF(globals);
  223.     f->f_globals = globals;
  224.     if (code->co_flags & CO_NEWLOCALS) {
  225.         if (code->co_flags & CO_OPTIMIZED)
  226.             locals = NULL; /* Let fast_2_locals handle it */
  227.         else {
  228.             locals = PyDict_New();
  229.             if (locals == NULL) {
  230.                 Py_DECREF(f);
  231.                 return NULL;
  232.             }
  233.         }
  234.     }
  235.     else {
  236.         if (locals == NULL)
  237.             locals = globals;
  238.         Py_INCREF(locals);
  239.     }
  240.     f->f_locals = locals;
  241.     f->f_trace = NULL;
  242.     f->f_exc_type = f->f_exc_value = f->f_exc_traceback = NULL;
  243.     f->f_tstate = tstate;
  244.  
  245.     f->f_lasti = 0;
  246.     f->f_lineno = code->co_firstlineno;
  247.     f->f_restricted = (builtins != tstate->interp->builtins);
  248.     f->f_iblock = 0;
  249.     f->f_nlocals = code->co_nlocals;
  250.     f->f_stacksize = extras - code->co_nlocals;
  251.  
  252.     while (--extras >= 0)
  253.         f->f_localsplus[extras] = NULL;
  254.  
  255.     f->f_valuestack = f->f_localsplus + f->f_nlocals;
  256.  
  257.     return f;
  258. }
  259.  
  260. /* Block management */
  261.  
  262. void
  263. PyFrame_BlockSetup(f, type, handler, level)
  264.     PyFrameObject *f;
  265.     int type;
  266.     int handler;
  267.     int level;
  268. {
  269.     PyTryBlock *b;
  270.     if (f->f_iblock >= CO_MAXBLOCKS)
  271.         Py_FatalError("XXX block stack overflow");
  272.     b = &f->f_blockstack[f->f_iblock++];
  273.     b->b_type = type;
  274.     b->b_level = level;
  275.     b->b_handler = handler;
  276. }
  277.  
  278. PyTryBlock *
  279. PyFrame_BlockPop(f)
  280.     PyFrameObject *f;
  281. {
  282.     PyTryBlock *b;
  283.     if (f->f_iblock <= 0)
  284.         Py_FatalError("XXX block stack underflow");
  285.     b = &f->f_blockstack[--f->f_iblock];
  286.     return b;
  287. }
  288.  
  289. /* Convert between "fast" version of locals and dictionary version */
  290.  
  291. void
  292. PyFrame_FastToLocals(f)
  293.     PyFrameObject *f;
  294. {
  295.     /* Merge fast locals into f->f_locals */
  296.     PyObject *locals, *map;
  297.     PyObject **fast;
  298.     PyObject *error_type, *error_value, *error_traceback;
  299.     int j;
  300.     if (f == NULL)
  301.         return;
  302.     locals = f->f_locals;
  303.     if (locals == NULL) {
  304.         locals = f->f_locals = PyDict_New();
  305.         if (locals == NULL) {
  306.             PyErr_Clear(); /* Can't report it :-( */
  307.             return;
  308.         }
  309.     }
  310.     if (f->f_nlocals == 0)
  311.         return;
  312.     map = f->f_code->co_varnames;
  313.     if (!PyDict_Check(locals) || !PyTuple_Check(map))
  314.         return;
  315.     PyErr_Fetch(&error_type, &error_value, &error_traceback);
  316.     fast = f->f_localsplus;
  317.     j = PyTuple_Size(map);
  318.     if (j > f->f_nlocals)
  319.         j = f->f_nlocals;
  320.     for (; --j >= 0; ) {
  321.         PyObject *key = PyTuple_GetItem(map, j);
  322.         PyObject *value = fast[j];
  323.         if (value == NULL) {
  324.             PyErr_Clear();
  325.             if (PyDict_DelItem(locals, key) != 0)
  326.                 PyErr_Clear();
  327.         }
  328.         else {
  329.             if (PyDict_SetItem(locals, key, value) != 0)
  330.                 PyErr_Clear();
  331.         }
  332.     }
  333.     PyErr_Restore(error_type, error_value, error_traceback);
  334. }
  335.  
  336. void
  337. PyFrame_LocalsToFast(f, clear)
  338.     PyFrameObject *f;
  339.     int clear;
  340. {
  341.     /* Merge f->f_locals into fast locals */
  342.     PyObject *locals, *map;
  343.     PyObject **fast;
  344.     PyObject *error_type, *error_value, *error_traceback;
  345.     int j;
  346.     if (f == NULL)
  347.         return;
  348.     locals = f->f_locals;
  349.     map = f->f_code->co_varnames;
  350.     if (locals == NULL || f->f_code->co_nlocals == 0)
  351.         return;
  352.     if (!PyDict_Check(locals) || !PyTuple_Check(map))
  353.         return;
  354.     PyErr_Fetch(&error_type, &error_value, &error_traceback);
  355.     fast = f->f_localsplus;
  356.     j = PyTuple_Size(map);
  357.     if (j > f->f_nlocals)
  358.         j = f->f_nlocals;
  359.     for (; --j >= 0; ) {
  360.         PyObject *key = PyTuple_GetItem(map, j);
  361.         PyObject *value = PyDict_GetItem(locals, key);
  362.         Py_XINCREF(value);
  363.         if (value != NULL || clear) {
  364.             Py_XDECREF(fast[j]);
  365.             fast[j] = value;
  366.         }
  367.     }
  368.     PyErr_Restore(error_type, error_value, error_traceback);
  369. }
  370.  
  371. /* Clear out the free list */
  372.  
  373. void
  374. PyFrame_Fini()
  375. {
  376.     while (free_list != NULL) {
  377.         PyFrameObject *f = free_list;
  378.         free_list = free_list->f_back;
  379.         PyMem_DEL(f);
  380.     }
  381. }
  382.