进程同步笔记一
来源:互联网 发布:按键精灵数组输出 编辑:程序博客网 时间:2024/04/29 03:42
进程同步笔记一
1、问题引入
概念:多个进程并发访问和操作同一数据且执行结果与访问发生的特定顺序有关,称为竞争条件(race condition)。(因为指令执行顺序的不同导致的数据出错)
2、临界区问题
3、临界区问题的解决
Peterson算法:
Peterson算法的可行性证明:
a) 互斥成立
b) 前进要求满足
c) 有限等待要求满足
证明:
do{
1 flag[i]=true; //表示Pi想进入临界区
2 turn=j;
3 while( flag[j] && turn==j ) {}; /*现在Pj还在临界区里面没出来,等下吧!*/
4 临界区;
5 flag[i]=false; //Pi做完了,从临界区出来
6 剩余区;
}while(true)
进程Pi
do{
1 flag[j]=true;
2 turn=i;
3 while( flag[i] &&turn==i ) {};
4 临界区;
5 flag[j]=false;
6 剩余区;
}while(true)
进程Pj
(1)互斥:注意到只有当flag[j]==false或者 turn==i 时,进程Pi才能进入临界区。而且,假设Pi和Pj同时在其临界区内执行,那么flag[i] 和 flag[j] 均为true,并且turn==i 同时 turn==j,这显然是矛盾的。由反证法可知,互斥成立。
设想,Pi执行到2,此时flag[j]假设为false,那么Pi进入临界区;在这个瞬间,Pj也想进入临界区,于是Pj执行到3,发现flag[i]==true&&turn==j,表示现在Pi还在临界区,那么Pj将进入while忙等待,直到Pi置flag[i]=false,Pi离开临界区了,Pj才结束忙等待,得以进入临界区。通过这一机制,便实现的临界区的互斥访问。
(2)(3)前进要求满足和有限等待要求满足。
3、硬件层面临界区问题的解决。
4、信号量
实现:忙等待浪费了CPU时间,使用忙等待的信号量也称自旋锁(spinlock),这是因为进程在其等待锁时还在运行(自旋锁有其优点,进程在等待锁是不进行上下文切换,因此,如果锁的占用时间少,自旋锁就有优势了)。
- 进程同步笔记一
- 操作系统概念学习笔记 11 进程同步(一)
- 操作系统学习笔记:进程同步
- 进程管理之进程同步笔记
- 【JavaSE笔记】多线程(一)进程&线程&Thread&同步代码块
- os笔记一 进程
- 进程同步中的信号量机制(一)
- 操作系统学习笔记六:进程同步
- 进程同步与互斥笔记
- 进程同步之信号量机制(笔记三)
- 计算机操作系统笔记(4)--进程管理之进程同步
- linux进程学习笔记一--进程控制
- 进程控制学习笔记一
- Linux进程学习笔记一
- Linux内核笔记(一) 进程
- Linux进程学习笔记一
- 进程学习笔记(一)
- 进程同步
- Ted演讲——八个成功秘诀
- ORACLE通过JOB定时执行存储过程
- group_concat()函数总结
- AOP应用范围
- IOS 开源项目(各种有用的第三方库)
- 进程同步笔记一
- Actor模型
- 复杂表单应用解耦,淘宝机票订单实践
- 计算机操作系统-第六章
- 云海数量推出到会网:专注会议的大数据服务平台
- 学生选修课程系统
- AOP具体实现
- 操作系统小结
- onvif 笔记一(gsoap)