予早随笔

这个PEP提出一个新的模块和一系列新的CPython C API以支持上下文变量。这个概念与线程本地存储（TLS）类似，但是，不像TLS，其还可以正确追踪异步任务的值，例如。这个提案是PEP 550的简化版本。最大的不同是本PEP不关注生成器而仅关注异步任务场景。本文没有提议对任何内置类型或解释器进行修改。本提议与Python上下文管理器并没有严格的关联，虽然确实提供了一种可以被上下文管理器用于存储状态的机制。本PEP提出一种新的管理上下文变量的机制。该机制中相关核心类为和。

巴科斯范式，Backus Normal Form，BNF，是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。对 BNF 图形化，语法图，syntax diagram，或称，铁路图，railroad diagram。末端只有一个竖条的铁路图，表示允许在任意一对符号中插入空白。形式语言，Formal language，是用精确的数学或机器可处理的公式定义的语言。沿途，你在圆框中遇到的是字面量，在方块中遇到的是规则或描述。任何沿着轨道能走通的序列都是合法的。[ ] 括号内的部分为可选。

lambda 表达式使用 -> 而不是 :，挖坑。

C 语言本身内存管理要调用操作系统相关 API，故 C 语言本身内存管理机制是建立在操作系统功能之上的，存储管理是操作系统功能之一，内存管理是存储管理的一部分。CPython 在 C 语言内存管理之上实现 Python 内存管理机制。Python 是动态类型语言，核心类型（例如，int、list、dict）的大小是不固定的，Python 本身非常依赖动态内存管理，故 Python 内存管理机制主要围绕动态内存管理展开。内存池被划分为若干内存块，内存块有不同大小，但一个内存池中包含的内存块大小相同。

最初时栈中有一个顶层 frame，加载顶层 code，加载新的 code 时，会生成一个新的 frame 入栈，code 本身是树形嵌套结构，底层code引用上层code中的内容，引用关系决定对应的两个 frame 也具有上下引用关系，当一个 code 执行完毕后，对应的 frame 对象被弹出栈，直至执行完所有 code 对象，则 python 代码解释执行完毕，随后 cpython 本身收尾，最后 cpython 进程结束。frame 对象保存的当前字节码执行状态，code 对象保存字节码相关信息。

PyPreConfig，预初始化配置，操作系统或用户环境相关。CPython 解释器编译选项配置。PyConfig，运行时配置。