术语表¶
- 注释器
- 是 RPython 工具链 的一个组件，它对流程图执行某种形式的 类型推断。请参阅文档中的 注释阶段。
- 后端
- 代码生成器，它使用 RPython 工具链 将 RPython 语言 程序转换为 目标语言。
- 编译时
- 在 JIT 的上下文中，编译时是指 JIT 正在“及时”生成机器码的时候。
- 外部函数
- 由于各种原因（例如，它们需要进行操作系统调用），我们不想用 Python 实现这些函数，并且它们的实现将由后端提供。
- 垃圾回收框架
- 使能够用 Python 本身编写 RPython 的垃圾收集器 的代码。
- 保护
- 一个小的测试，检查 JIT 在跟踪期间做出的假设是否仍然正确。
- JIT
- 即时编译器.
- ll解释器
- 能够解释流程图的代码片段。这对于测试目的非常有用，尤其是在您处理 RPython 类型器时。
- ll类型系统
- 包含结构体和指针的 类似 C 的类型模型。使用此类型系统的 后端 也称为低级后端。C 后端使用此类型系统。
- 低级助手
- RTyper 可以将其用作调用的一部分，以根据目标 类型系统 实现某些操作。
- ootype系统
- 面向对象的类型模型 <oo-type>，包含类和实例。使用此类型系统的 后端 也称为高级后端。JVM 和 CLI 后端（现已移除）使用此类型系统。
- 预构建常量
- 在 RPython 中，模块全局变量被视为常量。此外，全局（即预构建）列表和字典应该是不变的（“预构建常量”有时缩写为“pbc”）。
- 提升
- JIT 术语。提升是一种在 编译时“使用” 运行时 值的方法，本质上是将编译延迟到运行时值已知为止。请参阅 jit 文档 是否有帮助。
- RPython
- RPython 语言，是 Python 语言的一个有限子集。这些限制使得 类型推断成为可能。它也是 PyPy 解释器本身用其编写的语言。
- RPython 工具链
- 注释阶段、RPython 类型器 和各种 后端。
- rtyper
- 基于类型注释，RPython 类型器 将流程图转换为适合目标平台/后端 模型的流程图，使用 lltypesystem 或 ootypesystem。
- 运行时
- 在 JIT 的上下文中，运行时是指 JIT 生成的代码正在执行的时候。
- 专门化
- 控制 注释器 如何处理特定函数的一种方法。一种专门化是将对具有不同参数类型的函数的调用视为对具有相同源代码的不同函数的调用。
- 转换
- 修改流程图以编织翻译方面的代码。
- 翻译时
- 在 JIT 的上下文中，翻译时是指正在分析 PyPy 源代码并创建 JIT 本身的时候。
- 翻译器
- 基于 PyPy 解释器的 工具，可以将足够静态的 Python 程序转换为低级代码。
- 类型系统
- RTyper 可以针对 lltypesystem 或 ootypesystem。
- 类型推断
- 根据维基百科上的 这篇类型推断文章 所述，推断表达式部分或全部类型。RPython 工具链 的类型推断方式在 注释阶段 部分进行了描述。