CPython 实现原理
  • README
  • 一、简介
    • 1.1 如何使用此书
    • 1.2 额外材料和学习资料
  • 二、获取 CPython 源码
    • 2.1 源代码里有什么?
  • 三、准备你的开发环境
    • 3.1 选IDE还是编辑器?
    • 3.2 安装Visual Studio
    • 3.3 安装Visual Studio Code
    • 3.4 安装JetBrains Clion
    • 3.5 安装Vim
    • 3.6 总结
  • 四、编译 CPython
    • 4.1 在 macOS 上编译 CPython
    • 4.2 在 Linux 上编译 CPython
    • 4.3 安装自定义版本
    • 4.4 make 快速入门
    • 4.5 CPython 的 make 目标
    • 4.6 在 Windows 上编译 CPython
    • 4.7 PGO 优化
    • 4.8 总结
  • 五、Python 语言和语法
    • 5.1 为什么 CPython 是用 C 语言而不是用 Python 语言来实现
    • 5.2 Python 语言规范
    • 5.3 分析器生成器
    • 5.4 重新生成语法
    • 5.5 总结
  • 六、配置和输入
    • 6.1 配置状态
    • 6.2 构建配置
    • 6.3 从输入构建模块
    • 6.4 总结
  • 七、基于语法树的词法分析和解析
    • 7.1 具象语法树生成器
    • 7.2 CPython 解析器-分词器
    • 7.3 抽象语法树
    • 7.4 要记住的术语
    • 7.5 一个示例:添加一个约等于比较运算法
    • 7.6 总结
  • 八、编译器
    • 8.1 相关源文件
    • 8.2 重要的专业术语
    • 8.3 实例化一个编译器
    • 8.4 未来标志和编译器标志
    • 8.5 符号表
    • 8.6 核心编译过程
    • 8.7 汇编
    • 8.8 创建一个 Code Object
    • 8.9 使用 Instaviz 展示 Code Object
    • 8.10 一个示例:实现约等于操作符
    • 8.11 总结
  • 九、求值循环
    • 9.1 构建线程状态
    • 9.2 构建帧对象
    • 9.3 帧的执行
    • 9.4 值栈
    • 9.5 例子:在列表中添加元素
    • 9.6 总结
  • 十、内存管理
    • 10.1 C 中的内存分配
    • 10.2 Python 内存管理系统设计
    • 10.3 CPython 内存分配器
  • 十一、并行和并发
    • 11.1 并行和并发模型
    • 11.2 进程的结构
    • 11.3 多进程并行
    • 11.4 多线程
    • 11.5 异步编程
    • 11.6 生成器
    • 11.7 协程
    • 11.8 异步生成器
    • 11.9 子解释器
    • 11.10 总结
  • 十二、对象和类型
    • 12.1 本章的例子
    • 12.2 内置类型
    • 12.3 对象和可变长度对象类型
    • 12.4 类型类
    • 12.5 布尔和整数类型
    • 12.6 Unicode 字符串类型
    • 12.7 字典类型
    • 12.8 总结
  • 十三、标准库
    • 13.1 Python 模块
    • 13.2 Python 和 C 模块
  • 十四、测试套件
    • 14.1 在 Windows 上运行测试套件
    • 14.2 在 Linux 或 MacOS 上运行测试套件
    • 14.3 测试标志
    • 14.4 运行特定测试
    • 14.5 测试模块
    • 14.6 测试工具
    • 14.7 总结
  • 十五、调试
  • 十六、基准测试、性能分析和追踪
  • 十七、下一步计划
    • 17.1 为 CPython 编写 C 扩展
    • 17.2 改进你的 Python 应用程序
    • 17.3 为 CPython 项目做贡献
    • 17.4 继续学习
  • 十八、附录
    • 18.1 C 预处理器
    • 18.2 基础 C 语法
    • 18.3 总结
  • 致谢
Powered by GitBook
On this page
Edit on GitHub

十一、并行和并发

第一批计算机被设计成一次做一件事。它们的很多工作都是在计算数学领域。随着时间的推移,计算机需要处理各种来源的输入,有些甚至远至遥远的星系。

其结果是,计算机应用程序现在花费大量时间等待响应,这些时间消耗或者来自总线、输入、存储单元、计算、API,或者来自远程资源。

计算领域的另一个进步是从单用户终端转向多任务操作系统。应用程序需要在后台运行,以便在网络上监听和响应,并处理鼠标光标等输入。

早在现代多核 CPU 出现之前就需要处理多任务,因此操作系统长久以来都能在多个进程之间共享系统资源。

任何操作系统的核心都是运行进程的注册表。每个进程都有一个所有者,并且进程可以请求内存或 CPU 等资源。内存分配的内容你已经在上一章中探索了。

对于 CPU,进程将以待执行的操作的形式请求 CPU 时间。操作系统控制着哪个进程使用 CPU。其实现方式是根据优先级来分配 CPU 时间和调度进程:

图片内容: Concurrent Model: 并发模型, Task A: 任务 A, Executing: 执行中, Waiting: 等待中, Time: 时间

一个进程可能需要同时处理多件事情。例如,如果你使用文字处理器,它需要在你打字时检查你的拼写。现代应用程序通过并发运行多个线程并处理它们自己的资源来实现这一点。

并发是处理多任务的绝佳解决方案,但 CPU 有其局限性。一些高性能计算机部署多个 CPU 或多个核来分散任务。操作系统提供了一种跨多个 CPU 调度进程的方法:

图片内容: Parallel Model: 并行模型, Task A: 任务 A, Executing: 执行中, Waiting: 等待中, Time: 时间

综上所述,计算机使用并行和并发来处理多任务处理问题:

  • 要具有并行性,你需要多个计算单元。计算单元可以是 CPU 或核。

  • 要获得并发性,你需要一种任务调度策略,使得空闲的任务不锁定资源。

CPython 设计的许多部分通过抽象操作系统的复杂性,为开发者提供一种简单的 API。CPython 处理并行和并发的方法也不例外。

Previous10.3 CPython 内存分配器Next11.1 并行和并发模型

Last updated 2 years ago