Python虚拟机框架_上

1

python -m py_compile <source_code.py>

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21

[Include/code.h]
/* Bytecode object */
typedef struct {
    PyObject_HEAD
    int co_argcount;		/* 一般参数的个数,不包括扩展参数 */
    int co_nlocals;		/* 局部变量的个数 */
    int co_stacksize;		/* 运行所需要的栈大小 */
    int co_flags;		/* 一些标志位: 比如是否是生成器,是否有扩展参数之类的 */
    PyObject *co_code;		/* Python指令 */
    PyObject *co_consts;	/* 常量对象 */
    PyObject *co_names;		/* 名字字符串 */
    PyObject *co_varnames;	/* 参数变量名元组 */
    PyObject *co_freevars;	/* 闭包相关: 引用外部变量名 */
    PyObject *co_cellvars;      /* 闭包相关: 被内部嵌套函数引用的变量名 */
    /* The rest doesn't count for hash/cmp */
    PyObject *co_filename;	/* 文件名 */
    PyObject *co_name;		/* string (name, for reference) */
    int co_firstlineno;		/* 指令首行位置 */
    PyObject *co_lnotab;	/* string (encoding addr<->lineno mapping) */
    void *co_zombieframe;     /* for optimization only (see frameobject.c) */
} PyCodeObject;

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

[Include/frameobject.h]
typedef struct _frame {
    PyObject_VAR_HEAD
    struct _frame *f_back;	/* previous frame, or NULL */
    PyCodeObject *f_code;	/* code segment */
    PyObject *f_builtins;	/* builtin symbol table (PyDictObject) */
    PyObject *f_globals;	/* global symbol table (PyDictObject) */
    PyObject *f_locals;		/* local symbol table (any mapping) */
    PyObject **f_valuestack;	/* points after the last local */
    /* Next free slot in f_valuestack.  Frame creation sets to f_valuestack.
       Frame evaluation usually NULLs it, but a frame that yields sets it
       to the current stack top. */
    PyObject **f_stacktop;
    PyObject *f_trace;		/* Trace function */

    /* If an exception is raised in this frame, the next three are used to
     * record the exception info (if any) originally in the thread state.  See
     * comments before set_exc_info() -- it's not obvious.
     * Invariant:  if _type is NULL, then so are _value and _traceback.
     * Desired invariant:  all three are NULL, or all three are non-NULL.  That
     * one isn't currently true, but "should be".
     */
    PyObject *f_exc_type, *f_exc_value, *f_exc_traceback;

    PyThreadState *f_tstate;
    int f_lasti;		/* Last instruction if called */
    /* As of 2.3 f_lineno is only valid when tracing is active (i.e. when
       f_trace is set) -- at other times use PyCode_Addr2Line instead. */
    int f_lineno;		/* Current line number */
    int f_iblock;		/* index in f_blockstack */
    PyTryBlock f_blockstack[CO_MAXBLOCKS]; /* for try and loop blocks */
    PyObject *f_localsplus[1];	/* locals+stack, dynamically sized */
} PyFrameObject;