Contents Menu Expand Light mode Dark mode Auto light/dark mode
rCore-Tutorial-Book-v3 3.6.0-alpha.1 文档
rCore-Tutorial-Book-v3 3.6.0-alpha.1 文档

Part1 - Just do it!

  • 第零章:操作系统概述
    • 引言
    • 什么是操作系统
    • 操作系统的系统调用接口
    • 操作系统抽象
    • 操作系统的特征
    • 实验环境配置
    • 练习
    • 练习参考答案
  • 第一章:应用程序与基本执行环境
    • 引言
    • 应用程序执行环境与平台支持
    • 移除标准库依赖
    • 内核第一条指令(基础篇)
    • 内核第一条指令(实践篇)
    • 为内核支持函数调用
    • 基于 SBI 服务完成输出和关机
    • 练习
    • 练习参考答案
  • 第二章:批处理系统
    • 引言
    • 特权级机制
    • 实现应用程序
    • 实现批处理操作系统
    • 实现特权级的切换
    • 练习
    • 练习参考答案
  • 第三章:多道程序与分时多任务
    • 引言
    • 多道程序放置与加载
    • 任务切换
    • 多道程序与协作式调度
    • 分时多任务系统与抢占式调度
    • 练习
    • 练习参考答案
  • 第四章:地址空间
    • 引言
    • Rust 中的动态内存分配
    • 地址空间
    • SV39 多级页表的硬件机制
    • 管理 SV39 多级页表
    • 内核与应用的地址空间
    • 基于地址空间的分时多任务
    • 超越物理内存的地址空间
    • 练习
    • 练习参考答案
  • 第五章:进程
    • 引言
    • 进程概念及重要系统调用
    • 进程管理的核心数据结构
    • 进程管理机制的设计实现
    • 进程调度
    • 练习
    • 练习参考答案
  • 第六章:文件系统
    • 引言
    • 文件系统接口
    • 简易文件系统 easy-fs
    • 在内核中接入 easy-fs
    • 练习
    • 练习参考答案
  • 第七章:进程间通信与 I/O 重定向
    • 引言
    • 基于文件的标准输入/输出
    • 管道
    • 命令行参数与标准 I/O 重定向
    • 信号
    • 练习
    • 练习参考答案
  • 第八章:并发
    • 引言
    • 用户态的线程管理
    • 内核态的线程管理
    • 锁机制
    • 信号量机制
    • 条件变量机制
    • 并发中的问题
    • 练习
    • 练习参考答案
  • 第九章:I/O设备管理
    • 引言
    • I/O设备
    • 外设平台与串口驱动程序
    • virtio设备驱动程序
    • 练习
    • 练习参考答案

附录

  • 综合练习
  • 附录 A:Rust 系统编程入门
  • 附录 B:常见工具的使用方法
  • 附录 C:深入机器模式:RustSBI
  • 附录 D:RISC-V相关信息
    • RISCV 汇编相关
    • RISCV 硬件相关
  • 附录 E:操作系统进一步介绍
  • 术语中英文对照表

开发注记

  • 修改和构建本项目
  • reStructuredText 基本语法
  • 更新日志
Back to top

第八章:并发#

  • 引言
    • 本章导读
      • 线程定义
      • 同步互斥
    • 实践体验
    • 本章代码树
    • 本章代码导读
  • 用户态的线程管理
    • 本节导读
    • 用户态多线程应用
    • 多线程的基本执行环境
      • 线程的结构与执行状态
      • 线程管理运行时初始化
      • 线程创建
      • 线程切换
      • 开始执行
  • 内核态的线程管理
    • 本节导读
    • 线程概念
    • 通用操作系统多线程应用程序示例
    • 线程模型与重要系统调用
      • 线程的创建
      • 简单线程管理
      • 线程退出及资源回收
      • 进程相关的系统调用
    • 应用程序示例
      • 系统调用封装
      • 多线程应用程序
    • 线程管理的核心数据结构
      • 通用资源分配器及线程相关的软硬件资源
      • 进程和线程控制块
      • 任务管理器与处理器管理结构
    • 线程管理机制的设计与实现
      • 线程生命周期管理
        • 线程创建
        • 线程退出
        • 等待线程结束
      • 线程执行中的特权级切换和调度切换
  • 锁机制
    • 本节导读
    • 为什么需要锁
    • 锁的基本思路
    • 用户态软件级方法实现锁
    • 机器指令硬件级方法实现锁
      • 实现锁:原子指令
        • CAS原子指令和TAS原子指令
        • RISC-V的AMO指令与LR/SC指令
    • 内核态操作系统级方法实现锁
      • 实现锁:yield系统调用
      • 实现锁:mutex系统调用
        • 使用mutex系统调用
        • mutex系统调用的实现
  • 信号量机制
    • 本节导读
    • 信号量的起源和基本思路
    • 实现信号量
      • 使用semaphore系统调用
      • 实现semaphore系统调用
  • 条件变量机制
    • 本节导读
    • 条件变量的基本思路
    • 实现条件变量
      • 使用condvar系统调用
      • 实现condvar系统调用
  • 并发中的问题
    • 本节导读
    • 互斥缺陷
    • 同步缺陷
    • 死锁缺陷
      • 死锁预防
      • 死锁避免
        • 银行家算法的数据结构
        • 银行家算法的步骤
        • 安全性检查算法
  • 练习
    • 课后练习
      • 编程题
      • 问答题
    • 实验练习
      • 编程作业
        • 银行家算法——分数更新
        • 实现 eventfd
        • 实验要求
      • 问答作业
      • 实验练习的提交报告要求
  • 练习参考答案
    • 课后练习
      • 编程题
      • 问答题
Next
引言
Previous
练习参考答案
Copyright © 2020-2022, Yu Chen, Yifan Wu
Made with Sphinx and @pradyunsg's Furo