为了提高系统的并发性引入了进程和线程,线程的引入导致了资源的共享使用和竞争,利用同步来解决这中问题,同步机制有锁
同步概念 任何时刻只能有一个线程执行临界区代码
对共享资源的访问出现的问题
互斥,死锁,饥饿(由处理机调度算法解决)
临界区(为了解决同步问题,买面包问题)
是进程中访问共享资源的一段需要互斥执行的代码
管程与临界区区别,正在管程中的线程可以临时放弃管程的互斥访问,等待事件出现时恢复
确保数据一致性,一种机制,以保证合作进程们有序的执行。
操作系统通过利用硬件原语构建锁,实现临界区的访问
原子操作指令有:
test-and-set指令
exchange指令
信号量
p()原子操作
v()原子操作
信号量的难点(例如生产者消费者问题)
如果改变顺序则有影响。出现死锁
管程允许在临界区中如果访问不成功,临时释放资源,让别的线程先执行,更像是一个线程内部的充当操作系统的机制。
管程简化了处理同步问题的实现方法
上图锁的右边加条件变量,
同步机制
进入区
临界区
退出区
三种同步方法
1禁用硬件中断 (很占用资源)
2基于软件的同步方法(线程通过共享一些共有变量来同步他们的行为)