操作系统之哲学原理8----线程同步

为什么要同步

保证线程间正确合作。

出现问题的原因：

• 共享全局资源
• 线程间的执行顺序是不确定的

第一个原因无法消除，所有资源都不共享了，就没必要发明线程了。

所以只能通过消除第二个原因来解决问题，也就是线程的同步。

同步的目的

让线程按照一定规则执行，不管线程的执行如何被调度，其运行结果都是正确的。

同步的实现

两个或多个线程执行同一段代码或访问同一资源的现象称为竞争。

造成竞争的共享代码或资源称为临界区。

任何时刻，只能有一个线程再临界区内，称为互斥。

要实现同步，必须要硬件对原子操作的支持。

即不能被打断的操作。

锁的实现

同步原语必须是原子操作。

锁的两个操作：开锁、闭锁。

闭锁的两个操作：等待锁变成打开状态；获得锁并锁上。

闭锁的两个操作应该是原子操作。

硬件提供的原子操作：

• 中断禁止、启用；内存读、写；测试、设置指令。
• 在这些硬件原子操作之上，我们便可以构建软件原子操作：锁、信号量、睡觉与唤醒。

中断启用与禁止实现锁：

• 线程调度两种可能：主动出让；被迫抢占。
• 原语执行过程中不会执行主动出让CPU的指令。
• 抢占一个线程的CPU需要使用中断，禁止中断，可以阻止发生被迫抢占。使一组操作变成原子操作。
• 只能用于单CPU。

以测试与设置指令来实现锁：

• 功能：将1写入内存单元。返回内存单元中原来的值。
• 也就是设置为忙，在检测原来是忙还是闲。
• 可应用于多CPU。

使用内存读、写实现锁与测试、设置指令类似。

死锁

定义：如果有一组线程，每个线程都在等待一个事件发生，而这个事件只能由该组线程里面的另一线程发出，称这组线程发生了死锁。

发生死锁的4个必要条件：

• 资源有限
• 持有等待
• 不能抢占
• 循环等待

死锁的应对：

• 发生后，想办法解决。
• 仔细检测，避免发生。
• 消除发生的条件。

———————————————————————————————————————————

欢迎关注我的微博：大雄_RE。专注软件逆向，分享最新的好文章、好工具，追踪行业大佬的研究成果。