进程同步一

首先我们要知道进程同步分哪两种


两种进程同步

同步:进程A向B提供数据,当输入缓冲空时,B不能得到数据而阻塞;反之,当缓冲满时,A无法写入而阻塞。

互斥:A、B共享打印机,若A申请打印时,打印机已分配给B,则A只能阻塞,等B释放后再改为就绪。

进程同步有四个原则,为了理解这四个原则,我们首先要了解临界资源的概念

临界资源:一次仅允许一个进程使用的资源,系统中许多硬件如打印机等,诸多进程之间只能用互斥的方式进行访问。

图解

同步机制四原则

1.空闲让进:临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区。

2.忙则等待:当已有进程进入临界区时,其他试图进入临界区的进程必须等待。

3.有限等待:对请求访问的进程,应保证能在有限时间内进入临界区。

4.让权等待:当进程不能进入临界区时,应立即释放处理器,防止进程忙等待。

举一个例子来形容这四个原则:当我们去餐厅吃饭时,餐厅里的座位就相当于临界区,我们每一个人相当于访问临界区的代码,当餐厅有空桌时,我们可以进入,也就是空闲让进。当餐厅没有空桌时,我们必须等待,也就是忙则等待。当没有空桌的时候服务员会给我们一个号码,让我们在一边等着,而不是时刻去问服务员有没有空桌,这就是让权等待。每次发号码的时候服务员都会估计一下排队时间,确保每一个排队的人都能在有限的时间内吃到饭(假设24小时营业),这个也就是有限等待

接下来我们就要了解计算机是如何实现临界区的互斥方法了,分软件实现和硬件实现

软件实现方法

算法一、单标志法

设置一个公用变量turn(相当于钥匙),最开始的时候P1有钥匙,进入的时候拿钥匙开门,访问临界资源,访问结束后把钥匙给P0。P0再拿钥匙进去,就实现了交替进入。

但是问题在于,当P0把钥匙给P1后,如果P1不进去,这时候如果P0想再进去,手里就没有钥匙,无法进入,违背空闲让进原则。

代码实现

P0进程:                 P1进程:

while(turn!=0);         while(turn!=1)      //进入区

访问临界区;             访问临界区;         //临界区

turn=1;                     turn=0;                 //退出区

算法二、双标志先检查

设置一个数据flag[i],表示第i个元素是否正在访问临界区。

在每一个进程访问临界资源之前,先查看一下临界资源是否正在被访问,若正在被访问,则等待;否则,进程进入临界区,之后修改flag[i],表明其正在访问临界区。

但是问题在于,当Pi和Pj同时访问临界区时,因为我们只有在进入临界区后才会修改flag,所以同一时刻,可能会同时进入临界区,违背忙则等待原则。

完整代码

Pi进程:                Pj进程:

while(flag[j])           while(flag[i])

;                             ;                          //判断是否有进程在临界区

flag[i]=TRUE;        flag[j]=TRUE;     //修改flag

访问临界区;          访问临界区;         //临界区

flag[i]=FALSE;       flag[j]=FALSE;     //退出区

算法三、双标志法后检查

与算法二不同,算法三先修改flag[i](表示想进去的意图),表明其想要进去(并没有进去),然后检测对方是否想要进去,如果对方没有想要进去,则进入,反之,则等待。

这个问题就很显而易见了,当两个进程都想进入,同时都修改了各自的flag[i],这样两个人都会陷入等待,导致了饥饿状态。

完整代码

Pi进程:                  Pj进程:

flag[i]=TRUE;         flag[j]=TRUE;        //修改flag

while(flag[j])            while(flag[i])

;                               ;                          //判断是否有进程在临界区

访问临界区;             访问临界区;         //临界区

flag[i]=FALSE;         flag[j]=FALSE;      //退出区

这里涉及到了饥饿问题,就先讲一下饥饿和死锁的概念了

饥饿:一个就绪进程所申请的资源总是被优先于自己的其他进程所占有,而始终不能被调度执行的状态,称为”饥饿”

死锁:有可能出现某些进程相互之间都在等在对方的资源且都无法运行的局面,即在进程集合中的这些进程处于永远的阻塞状态,称为”死锁”

算法四、Petersons Algorithm

我们综合前面三种方法,设置变量turn(钥匙),flag[i](表示想进去的意图),当一个进程到来时,将钥匙放到另外一个人的口袋里,同时修改flag[i],表面自身想要进入,如果同时满足,钥匙在对方口袋里,并且对方也想要进去,那么就在外面等待。如果有一项不满足(钥匙在我口袋里或者对方不想进去或者两者都具备)那么我就可以进去。

也就是用flag解决互斥问题,用turn解决饥饿问题。

思考一下:假如两个进程同时到达,两个人都有进去的意图,但是无论如何,钥匙最终都会落在一个人手里,最后想进去并且拥有钥匙的人就进去了,不会导致饥饿。进去的人出来后,修改flag[i],表面其自身并不想进去,则另一个进行跳出循环,进入临界区(虽然钥匙不在身上:D)

具体代码

Pi进程:                               Pj进程:

flag[i]=TURE;                       turn=j;flag[j]=ture;turn=i;        //修改flag,改变turn

while(flag[j]&&turn==j)          while(flag[i]&&turn=i)

;                                            ;                                            //满足两个条件则循环

访问临界区;                           访问临界区;                         //临界区

flag[i]-FALSE;                        flag[i]=FLASE;                    //退出区

接下来是硬件实现方法

方法一、中断屏蔽法(效率很低,不好)

进程在进入临界区之前先执行”关中断”质量来屏蔽掉所有中断。进程完成临界区的任务后,在执行”开中断”执行将中断打开。

方法二、硬件指令方法(TestAndSet指令)

为每个临界资源设置一个s,看成一把锁。

若s值为0(开锁状态),则表示每页进程访问该锁对应的临界资源;

若s的值为1(关锁状态),则表示该锁对应的临界资源已被某个进程占用。

具体代码

while TS (&lock)         //只要处在关锁状态就不断循环等待,违反让权等待

;

访问临界区;                 //临界区

lock=FALSE;                //退出区

方法三、swap指令

设置一个全局变量lock,lock=0时,空闲,反之,有进程。

每个进程设置一个局部变量key,只有当lock==0并且key==1时,进程才能进入临界区。

进入临界区后,执行swap指令,lock=1,key=0。

退出临界区时,将lock的执行置为0。

具体代码

key = true; //初始化key

do{

swqp(&lock,&key);

}while(&key);                   //执行完了swap之后才能进入

进入临界区;

lock = FALSE;                  //退出的时候将lock置为0

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 229,517评论 6 539
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 99,087评论 3 423
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 177,521评论 0 382
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 63,493评论 1 316
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 72,207评论 6 410
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 55,603评论 1 325
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 43,624评论 3 444
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 42,813评论 0 289
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 49,364评论 1 335
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 41,110评论 3 356
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 43,305评论 1 371
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 38,874评论 5 362
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 44,532评论 3 348
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 34,953评论 0 28
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 36,209评论 1 291
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 52,033评论 3 396
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 48,268评论 2 375

推荐阅读更多精彩内容

  • 一、进程同步的概念 在多道程序环境下,进程是并发执行的,不同进程之间存在着不同的相互制约的关系。为了协调进程之间的...
    saviochen阅读 716评论 1 6
  • 第六章 背景:为什么并发执行要互斥:共享数据的并发访问可能会产生数据的不一致 互斥使用临界资源(物理设备、软件、变...
    ZoeyeoZ阅读 716评论 0 1
  • 一、进程并发执行 1.1问题的提出 并发是所有问题产生的基础,也是操作系统设计的基础。 1.2从进程的特征看待并发...
    yjaal阅读 1,641评论 4 3
  • 想变成无人问津的一块橘子皮 在深夜冰冷的地板上喘息 不想睡觉 不想思考 不想看书 也不想你 手机里是单曲循环的第四...
    噼里啪啦小神婆阅读 147评论 0 0
  • "目录号: HY-14622A Apoptosis- Necrostatin 2是高活性的坏死性凋亡抑制剂,EC5...
    莫小枫阅读 246评论 0 0