Python Python 虚拟机工作原理

一分耕耘，一分收获！既然打开了这篇文章《Python Python 虚拟机工作原理》，就坚持看下去吧！文中内容包含等等知识点...希望你能在阅读本文后，能真真实实学到知识或者帮你解决心中的疑惑，也欢迎大佬或者新人朋友们多留言评论，多给建议！谢谢！

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，对每个字节码做针对性处理，并更新栈、寄存器和帧状态。

• 每轮循环：取一条字节码 → 解析操作数 → 执行对应逻辑 → 更新指令指针
• 涉及 GIL（全局解释器锁）：同一时刻仅一个线程执行字节码，保证内存安全但限制 CPU 密集型并发
• 部分优化（如自适应字节码、快速路径）在较新版本中逐步加入，但整体仍是解释执行，非 JIT 编译

与真实机器的映射关系很轻量

PVM 不模拟 CPU 寄存器或内存管理单元，它完全构建在 C 运行时之上。所有对象（int、list、dict…）都是 PyObject* 指针，内存由 CPython 的私有内存分配器（pymalloc）管理；所有“指令”最终都转为 C 函数调用或内存操作。

• 没有独立地址空间，直接复用宿主进程的堆和栈
• 无指令缓存、无分支预测，性能瓶颈常在对象动态分发（如属性查找）和 GIL 竞争
• 这也是为什么 Cython、Numba 或 PyPy（自带 JIT）能显著加速——它们绕开了标准 PVM 的解释开销

理解 PVM 不是为了手写字节码，而是看清 Python 动态性、作用域、GIL 和性能瓶颈的根源。它本质是 C 实现的一套精巧的、面向高级语义的指令调度器。

以上就是《Python Python 虚拟机工作原理》的详细内容，更多关于的资料请关注golang学习网公众号！