钰儿的Blog

并发进程的正确性

执行过程是不确定性和不可重现的 程序错误可能是间歇性发生的

• 独立进程
  • 不和其他进程共享资源或状态
  • 确定性 输入状态决定结果
  • 可重现 能够重现起始条件
  • 调度顺序不重要
• 并发进程
  • 在多个进程间有资源共享(都要CPU 内存)
  • 不确定性
  • 不可重现

练习0：填写已有实验

请把你做的实验2/3/4/5的代码填入本实验中代码中有“LAB1”/“LAB2”/“LAB3”/“LAB4”“LAB5”的注释相应部分。并确保编译通过。注意：为了能够正确执行lab6的测试应用程序，可能需对已完成的实验1/2/3/4/5的代码进行进一步改进。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

复制以下文件 其中 proc.c 和 trap.c 需要进行修正
vmm.c trap.c default_pmm.c pmm.c proc.c swap_fifo.c
proc.c:
static struct proc_struct *alloc_proc(void) {
    // 添加如下几行 初始化进程所属就绪队列 初始化就绪队列指针 初始化时间片
    proc->rq = NULL;
    list_init(&(proc->run_link));
    proc->time_slice = 0;
}
trap.c:
static void trap_dispatch(struct trapframe *tf) {
    // 在时钟中断下 添加以下几行 并去掉之前设置 进程需要调度标记
    // 这个标记现在已经被 调度程序所使用了 不再需要自己控制
    ++ticks;
    sched_class_proc_tick(current);
    // current->need_resched = 1;
}

Retina Macbook Pro 2016 13-inch

懂的都懂 不多说

HHKB 白无刻BT

HHKB(Happy Hacking Keyboard) 属于一把静电容键盘

CPU资源的时分复用

进程切换 CPU资源的当前占用者的切换

• 保存当前进程在 PCB中的执行上下文(CPU状态)
• 恢复下一个进程的执行上下文

处理机调度

• 从就绪队列中挑选出下一个占用CPU运行的进程
• 从多个可用CPU中挑选就绪进程可使用的CPU资源

练习0：填写已有实验

请把你做的实验1/2/3/4的代码填入本实验中代码中有“LAB1”,“LAB2”,“LAB3”,”LAB4”的注释相应部分。注意：为了能够正确执行lab5的测试应用程序，可能需对已完成的实验1/2/3/4的代码进行进一步改进。

1
2

这几个文件补上 说真的最烦这个步骤 但是这次 不只是直接复制 还要补充
vmm.c trap.c default_pmm.c pmm.c proc.c

以下为补充的代码块

练习0：填写已有实验

本实验依赖实验1/2/3。请把你做的实验1/2/3的代码填入本实验中代码中有“LAB1”,“LAB2”,“LAB3”的注释相应部分。

1

vmm.c trap.c default_pmm.c pmm.c swap_fifo.c 这几个补上去就完事了

练习1：分配并初始化一个进程控制块

alloc_proc函数（位于kern/process/proc.c中）负责分配并返回一个新的struct proc_struct结构，用于存储新建立的内核线程的管理信息。ucore需要对这个结构进行最基本的初始化，你需要完成这个初始化过程。

【提示】在alloc_proc函数的实现中，需要初始化的proc_struct结构中的成员变量至少包括：state/pid/runs/kstack/need_resched/parent/mm/context/tf/cr3/flags/name。

进程切换 (上下文切换)

1. 暂停当前运行进程 从运行状态变成其他状态
2. 调度另一个进程从就绪状态变成运行状态

进程切换的要求

• 切换前 保存进程上下文(寄存器 CPU状态 内存地址空间(大部分不用保存 因为两个进程的内存地址空间不会被覆盖))
• 切换后 恢复进程上下文
• 快速切换

进程

指一个具有一定独立功能的程序在一个数据集合上的一次动态执行的过程

进程的组成

进程包含了正在运行的程序所有状态信息

• 代码
• 数据
• 状态寄存器
  • CPU 状态 CR0
  • 指令指针 EIP
• 通用寄存器
• 进程占用的系统资源
  • 打开文件
  • 已分配内存

使用 Github Webhook 前

在搭建 这个 Blog 的早期 还没有用到自动部署
因此 每次发布 一篇新的文章 亦或是 修改了 Blog 的一些设置或者内容时 至少要经历以下几件事情

1. 生成 Blog 静态页面
2. 将其 git push 到 git 仓库
3. ssh 登录 服务器
4. 服务器 git pull 更新 Blog 静态页面

每次都要经历以上四件事情 实在是太繁琐了 因此决定使用 Github Webhook 进行自动部署

Lab 3 练习补充

在练习开始之前 先讲讲 两个数据结构

1
2
3
4
5
6
7
8
9
10
11
12
13
14

struct mm_struct { // 描述一个进程的虚拟地址空间 每个进程的 pcb 中 会有一个指针指向本结构体
    list_entry_t mmap_list;        // 链接同一页目录表的虚拟内存空间 的 双向链表的 头节点 
    struct vma_struct *mmap_cache; // 当前正在使用的虚拟内存空间
    pde_t *pgdir;                  // mm_struct 所维护的页表地址(拿来找 PTE)
    int map_count;                 // 虚拟内存块的数目
    void *sm_priv;                 // 记录访问情况链表头地址(用于置换算法)
};
struct vma_struct { // 虚拟内存空间
    struct mm_struct *vm_mm; // 虚拟内存空间属于的进程
    uintptr_t vm_start; // 连续地址的虚拟内存空间的起始位置和结束位置
    uintptr_t vm_end;
    uint32_t vm_flags; // 虚拟内存空间的属性 (读/写/执行)
    list_entry_t list_link; // 双向链表 从小到大将虚拟内存空间链接起来
};