- 线程同步目的: 保证多线程执行下结果的确定性
- 两个或多个线程争相执行同一段代码或访问通一资源的现象称为竞争;这个可能造成竞争的共享代码段或资源称为临界区
- 互斥: 只有一个人使用共享资源,其他人皆排除在外;互斥条件: ①:不能有两个进程同时在临界区里面,②:进程能够在任何数量和速度的CPU上正确执行,③:在互斥区外不能阻止另一个进程的运行,④:进程不能无限制地等待进入临界区
- 锁两个操作: 闭锁和开锁
- 生产者与消费者:
- 信号量: 约等于计数器,取值为当前积累的信号数量,down§就是获得锁,up(V)就是释放锁,down和up操作是原子操作
- 二元信号量可以说是锁和睡觉与叫醒两种原语操作的合成
- 锁解决了同步问题,但是带来了循环等待,为了消除循环等待,发明了睡觉与叫醒,但睡觉与叫醒带了死锁,因此又发明了信号量
- 管程: 监视进程或线程的同步操作,一组子程序,变量和数据结构的组合
- 消息传递:
- 栅栏: 到达栅栏的线程必须停下来,知道去除栅栏后才能前进,主要目的是用来对一组线程进行协调
思考题
- 线程可以在管程里面睡觉吗?管程: 一组子程序,变量和数据结构的组合