CPython

CPython — Python 解释器内核

Python 的”操作系统内核”——字节码解释器 + 引用计数 GC + GIL。

概念

CPython 是 Python 语言的参考实现，用 C 编写。它的”内核”是一个栈式字节码解释器。与传统操作系统相似，CPython 管理内存 (GC)、调度线程 (GIL)、提供 I/O 抽象。理解 CPython 内核等于理解”动态语言如何用静态语言实现”。

核心组件

组件	职责	关键源文件
PyObject	所有对象的基类型: ob_refcnt + ob_type	object.h
引用计数 GC	即时回收 + 分代循环检测	gcmodule.c
GIL	同一时刻只有一个线程执行 Python 字节码	ceval_gil.c
字节码解释器	巨大的 switch-case 循环执行 200+ 条字节码	ceval.c
import 机制	sys.path → finder → loader → module	import.c
类型系统	PyTypeObject 定义 tp_new, tp_call, tp_hash 等	typeobject.c
内存分配器	pymalloc (256 KB 以下对象) + C malloc	obmalloc.c

PyObject 对象模型

// 所有 Python 对象的"基类"——纯 C 结构体
typedef struct _object {
 Py_ssize_t ob_refcnt; // 引用计数
 PyTypeObject *ob_type; // 指向类型对象的指针 (类似 vtable)
} PyObject;
 
// Python int (任意精度)
typedef struct {
 PyObject_HEAD
 int32_t *digits; // 指向 lims 数组的指针
 size_t length; // 数组长度 (以 digit 为单位)
 int sign; // 符号位
} PyLongObject;
 
// Python list
typedef struct {
 PyObject_HEAD
 Py_ssize_t ob_size;
 PyObject **ob_item; // 指向 C 指针数组的指针
 Py_ssize_t allocated; // 分配的容量
} PyListObject;

引用计数 GC

# 简化版 CPython GC 逻辑 (Python 视角)
def increment_refcount(obj):
 obj.ob_refcnt += 1
 
def decrement_refcount(obj):
 obj.ob_refcnt -= 1
 if obj.ob_refcnt == 0:
 # 立即释放内存
 obj.tp_dealloc(obj)
 # 递归减少该对象引用其他对象的计数
 for child in obj.tp_traverse():
 decrement_refcount(child)
 
# 分代 GC: 检测引用计数无法回收的循环引用
def collect_generation(gen):
 # STW (Stop The World): 暂停所有线程
 # 标记: 遍历 gen 中的容器对象
 # 清除: 回收不可达的循环引用
 # 分代: gen0 最频繁, gen1 次之, gen2 最慢
 pass

GIL (Global Interpreter Lock)

// GIL 的核心——一个互斥锁 + 条件变量
// 线程 A 持有 GIL 执行 15ms 后强制释放
// 线程 B 争抢 GIL 继续执行
 
// Python 伪代码表示字节码执行循环
while (1) {
 opcode = *next_instr++;
 
 switch (opcode) {
 case LOAD_FAST: // 加载局部变量
 PUSH(GETLOCAL(oparg));
 break;
 case BINARY_ADD: // 加法
 x = POP(); y = TOP();
 SET_TOP(PyNumber_Add(y, x));
 break;
 case CALL_FUNCTION: // 函数调用
 // 构建新栈帧, 递归调用解释器
 break;
 // ... 200+ 条字节码
 }
 
 // 每执行 100 条指令检查是否需要释放 GIL
 if (--eval_breaker == 0) {
 // 释放 GIL, 让其他线程有机会运行
 release_gil();
 acquire_gil();
 }
}

import 机制

import numpy as np
 |
 v
sys.modules["numpy"]? --Y--> 返回已缓存的 module
 |N
 v
遍历 sys.path 中的每个路径:
 对于每个 sys.meta_path 中的 finder:
 spec = finder.find_spec("numpy")
 如果找到加载器 (loader):
 module = loader.create_module(spec)
 loader.exec_module(module) # 执行字节码初始化
 sys.modules["numpy"] = module
 返回 module

---