线程
- 线程:切换函数时,只执行指令的切换,不进行内存的切换
以下一张图描绘了进程和线程的关系:
- 线程是并行的最小单位,多核的CPU可以同时负责多个线程(操作系统会为每个线程分配 CPU 时间片,使得每个线程都有机会在 CPU 上运行。这种机制被称为线程调度或任务调度)
- 保留并发的优点,避免了进程的切换代价
用户级线程
用户级线程切换指令,内核级线程切换资源(分治思想)
- 一个线程的实用案例:
- 多线程的基本代码框架
Yield函数
两个指令序列一个栈
我们可以看到,在ret弹出栈的时候,左边指令序列中的ret指令返回了右边指令序列中所要jmp的地址,这是不被允许的,所以我们新增一个栈
从一个栈到两个栈
- TCB (Thread Control Block) 是操作系统用来存储线程信息的数据结构。每个线程都有一个与之对应的 TCB,它包含了线程的运行状态、调度信息、堆栈指针、寄存器状态和其他一些关于线程的信息。在用户级线程中,我们使用TCP来储存栈指针,使Yield函数能够在两个栈之间进行切换
- 新的问题:
标红Yield()函数的最后一行,jmp指令跳到204,但当完成Yield()后,ret弹栈,第一个弹出的又是204,这是不可行的。 - 解决方案:删去jmp 204,以确保不会重复跳到204
Create函数
- 为TCB数据结构申请内存
- 为栈申请内存
- 将起始地址放入栈中
- 将栈与TCB关联
Exception Control Flow ( CSAPP )
- 异常控制流在low level and high level中都存在
- Exception is transfer of control to the OS kernel in response to some event.
Exception table
Different kinds of Exception
Asynchronous Exceptions(异步)
SYnchronous Exceptions (同步)
- 注意区别(Intentional,recoverable)
Page faults (recoverable)
Process(进程)
Context swtiching
System call error handing
Error - reporting functions
Error-handing wrappers
进程的三种状态
Terminating process
Creating process
- 子进程和父进程几乎相同,除了PID(process ID)不同
- eg
We can’t predict the execution order of parent and chlid - Fork example
Reaping chlid process
- zombie状态的子进程会占用内存空间
- example (linux)
- ps(process show)
- 注意:比较上面两张图的区别
wait函数
具体的有待补充,这里直接演示例子