python虚拟机(pvm)是cpython解释器内置的运行时引擎,负责逐条解释执行字节码,基于栈式结构与帧对象模型,通过ceval循环调度c函数实现语义,受gil约束且不模拟硬件。

Python 虚拟机(Python Virtual Machine,PVM)不是传统意义上的硬件虚拟机,而是 CPython 解释器内部的一个运行时引擎,负责执行 Python 编译后的字节码。它的核心作用是将 .pyc 文件中的字节码逐条解释、调度并调用底层 C 函数完成实际操作。
字节码是 PVM 的“唯一语言”
Python 源代码(.py)在首次导入或运行时,会被编译成平台无关的字节码(opcode),保存为 __pycache__/xxx.cpython-3x.pyc。PVM 不读 Python 文本,只处理这些紧凑的指令序列,比如 LOAD_NAME、BINARY_ADD、CALL_FUNCTION 等。
- 每个字节码指令通常对应一个 C 函数(定义在 Python/ceval.c 中)
- 字节码按顺序存放在 code object 的 co_code 字段中,PVM 用一个指针(next_instr)逐条取指、解码、执行
- 你可以用 dis.dis(func) 查看任意函数的字节码,直观理解 PVM 的执行路径
栈式结构 + 基于帧的执行模型
PVM 是典型的栈式虚拟机:它维护一个求值栈(evaluation stack),用于暂存操作数和中间结果;同时为每次函数调用创建一个 PyFrameObject(帧对象),封装局部变量、代码对象、上层帧引用等上下文信息。
- 函数调用时,新帧被压入帧栈(frame stack),PVM 切换到该帧执行
- 局部变量通过索引访问(快于字典查找),而全局/内置变量仍走字典(f_globals、f_builtins)
- 异常传播、生成器挂起/恢复、闭包环境都依赖帧对象的状态保存与恢复
循环取指—执行(CEVAL 循环)是核心心跳
CPython 的主执行循环位于 ceval.c 中的 PyEval_EvalFrameEx()(3.11 后重构为 _PyEval_EvalFrameDefault)。它是一个巨大的 switch-case,对每个字节码做针对性处理,并更新栈、寄存器和帧状态。
OdnShop(原企站帮微商城系统,更名为OdnShop),基于ASP.NET 4.0+Access开发的轻量级微信商城系统,前台简洁美观,后台容易操作。系统容易部署,空间成本低,大部分的几百块一年的虚拟主机均可支持(具体请咨询空间商),适合要求不高,预算不多的小商店,小企业初次尝试微信线上销售产品,目前基本的核心功能,包括微信登陆/支付,产品管理,购物车与订单管理,分享获取积分,积分礼品兑换功能
立即学习“Python免费学习笔记(深入)”;
- 每轮循环:取一条字节码 → 解析操作数 → 执行对应逻辑 → 更新指令指针
- 涉及 GIL(全局解释器锁):同一时刻仅一个线程执行字节码,保证内存安全但限制 CPU 密集型并发
- 部分优化(如自适应字节码、快速路径)在较新版本中逐步加入,但整体仍是解释执行,非 JIT 编译
与真实机器的映射关系很轻量
PVM 不模拟 CPU 寄存器或内存管理单元,它完全构建在 C 运行时之上。所有对象(int、list、dict…)都是 PyObject* 指针,内存由 CPython 的私有内存分配器(pymalloc)管理;所有“指令”最终都转为 C 函数调用或内存操作。
- 没有独立地址空间,直接复用宿主进程的堆和栈
- 无指令缓存、无分支预测,性能瓶颈常在对象动态分发(如属性查找)和 GIL 竞争
- 这也是为什么 Cython、Numba 或 PyPy(自带 JIT)能显著加速——它们绕开了标准 PVM 的解释开销
理解 PVM 不是为了手写字节码,而是看清 Python 动态性、作用域、GIL 和性能瓶颈的根源。它本质是 C 实现的一套精巧的、面向高级语义的指令调度器。









