进程同步与互斥汇总

合集下载

操作系统第6章 进程互斥与同步

操作系统第6章 进程互斥与同步

Co-begin void Producer_i( ) (i=1,2…k) { item next_p; while(1){ produce an item in next_p P(empty); P(s); add next_p to buffer V(s); V(full); } } void consumer_j( ) (j=1,2…m) { item next_c; while(1){ P(full); P(s); remove an item from buffer to next_c V(s); V(empty); consume the item in next_c}} Co-end
• 进入临界段之前要申请,获得批准方可进入; • 退出临界段之后要声明,以便其他进程进入。
用程序描述: While(1){ entry_section; critical_section; exit_section; remainder_section; }
解决临界段问题的软件算法必须遵循:
准则1:不能虚设硬件指令或假设处理机数目。 准则2:不能假设n个进程的相对速度。 准则3:当一个进程未处于其临界段时,不应阻止 其他进程进入临界段。 准则4:当若干进程欲进入临界段时,应在有限时 间内选出一个进程进入其临界段。 用准则3,4不难推出下面原则 协调各进程入临界段的调度原则: • 当无进程处于临界段时,允许一个进程立即进入临界段。
3.实现临界段的硬件方法
利用处理机提供的特殊指令实现临界区加锁。 常见硬件指令有: ⑴ “Test_and_Set”指令 该指令功能描述为: int *target ( 限定为0,1) int Test_and_Set (int *target) { int temp; temp = *target ; *target = 1; return temp; }

解释一下进程同步和互斥的概念,并提供一些实际应用的例子。

解释一下进程同步和互斥的概念,并提供一些实际应用的例子。

解释一下进程同步和互斥的概念,并提供一些实际应用的例子。

解释进程同步和互斥的概念,并提供实际应用例子进程同步和互斥是操作系统中重要的概念,用于确保并发执行的进程能够正确地共享资源和避免竞争条件的发生。

以下是对这两个概念的解释以及一些实际应用的例子:进程同步的概念进程同步是指多个进程在执行过程中按照一定的顺序和规则进行协调以达到预期的结果。

在并行执行的环境下,进程可能会相互依赖或者依赖于某些共享资源,因此需要通过某种机制来保证进程之间的协调与同步。

常见的进程同步机制有:1. 互斥锁(Mutex):一种二进制信号量,用于确保在某一时刻只有一个进程访问共享资源,其他进程需要等待。

2. 信号量(Semaphore):用于控制多个进程对共享资源的访问,可以通过增减信号量的值来实现协调。

3. 条件变量(Condition Variable):用于在某一进程等待某个条件满足时暂停执行,直到条件满足后继续执行。

进程互斥的概念进程互斥是指多个进程对于共享资源的访问被限制为互斥的,即同一时刻只能有一个进程访问共享资源。

这样可以防止并发时的竞争状况,确保每个进程得到正确的结果。

实际应用例子:1. 银行账户:多个用户同时进行转账或查询操作时,需要对账户进行同步操作,避免出现数据不一致的情况。

2. 打印机:多个进程同时请求打印机,需要通过互斥机制来控制打印机资源的访问顺序,避免打印内容交叉或重叠。

3. 多线程编程:在多线程编程中,多个线程共享同一数据结构时,需要使用锁或信号量等机制来保证线程之间的同步和互斥。

这些例子中,进程同步和互斥机制的应用确保了资源的正确使用和并发操作的有序性,提高了系统的稳定性和可靠性。

以上是关于进程同步和互斥的概念解释以及实际应用例子的内容。

进程同步和互斥在操作系统中扮演重要角色,对于确保并发操作的正确性至关重要。

进程的同步与互斥实验报告

进程的同步与互斥实验报告

进程的同步与互斥实验报告1.实验目的进程(线程)的同步与互斥是操作系统中非常重要的概念,本实验旨在通过实际操作,加深对这些概念的理解和掌握。

通过编写多个进程(线程),并在其间进行同步与互斥操作,验证同步与互斥的实际效果。

2.实验环境本实验在Linux系统下进行,使用C/C++语言编程。

3.实验内容3.1同步在实验中,我们编写了两个进程A和B,这两个进程需要按照特定的顺序执行。

为了实现同步,我们使用信号量机制来确保进程A和B按照正确的顺序执行。

3.2互斥在实验中,我们编写了多个进程C和D,这些进程需要同时对一个共享资源进行访问。

为了实现互斥,我们使用互斥锁机制来确保同一时刻只有一个进程访问共享资源。

4.实验过程4.1同步实验编写进程A和进程B的代码,使用信号量机制实现同步。

进程A先运行,然后通过信号量唤醒进程B,进程B再开始执行。

通过观察进程的运行顺序,验证同步机制是否起作用。

4.2互斥实验编写进程C和进程D的代码,使用互斥锁机制实现互斥。

进程C和进程D同时对一个共享资源进行访问,通过互斥锁来确保同一时刻只有一个进程访问共享资源。

观察进程的输出结果,验证互斥机制是否起作用。

5.实验结果5.1同步实验结果进程A开始执行进程A执行完毕进程B开始执行进程B执行完毕5.2互斥实验结果进程C开始执行进程C访问共享资源进程C执行完毕进程D开始执行进程D访问共享资源进程D执行完毕6.实验分析通过上述结果可以看出,同步实验中进程A和进程B按照正确的顺序执行,证明了同步机制的有效性。

互斥实验中进程C和进程D能够正确地交替访问共享资源,证明了互斥机制的有效性。

7.实验总结通过本次实验,我深刻理解了进程(线程)的同步与互斥,并通过实际操作加深了对这些概念的理解。

同步和互斥是操作系统中非常重要的概念,对于应对资源竞争和提高程序性能具有重要意义。

在实际开发中,我们应该合理使用同步和互斥机制,以确保程序的正确性和并发执行的效率。

操作系统同步和互斥

操作系统同步和互斥

操作系统同步和互斥操作系统中的进程之间的关系只有两种:同步与互斥。

下面由店铺为大家整理了操作系统的同步和互斥的相关知识,希望对大家有帮助!操作系统同步和互斥1.进程同步进程同步也是进程之间直接的制约关系,是为完成某种任务而建立的两个或多个线程,这个线程需要在某些位置上协调他们的工作次序而等待、传递信息所产生的制约关系。

进程间的直接制约关系来源于他们之间的合作。

比如说进程A需要从缓冲区读取进程B产生的信息,当缓冲区为空时,进程B因为读取不到信息而被阻塞。

而当进程A产生信息放入缓冲区时,进程B才会被唤醒。

2.进程互斥进程互斥是进程之间的间接制约关系。

当一个进程进入临界区使用临界资源时,另一个进程必须等待。

只有当使用临界资源的进程退出临界区后,这个进程才会解除阻塞状态。

比如进程B需要访问打印机,但此时进程A占有了打印机,进程B会被阻塞,直到进程A释放了打印机资源,进程B才可以继续执行。

扩展:临界资源在操作系统中,进程是占有资源的最小单位(线程可以访问其所在进程内的所有资源,但线程本身并不占有资源或仅仅占有一点必须资源)。

但对于某些资源来说,其在同一时间只能被一个进程所占用。

这些一次只能被一个进程所占用的资源就是所谓的临界资源。

典型的临界资源比如物理上的打印机,或是存在硬盘或内存中被多个进程所共享的一些变量和数据等(如果这类资源不被看成临界资源加以保护,那么很有可能造成丢数据的问题)。

对于临界资源的访问,必须是互诉进行。

也就是当临界资源被占用时,另一个申请临界资源的进程会被阻塞,直到其所申请的临界资源被释放。

而进程内访问临界资源的代码被成为临界区。

对于临界区的访问过程分为四个部分:1.进入区:查看临界区是否可访问,如果可以访问,则转到步骤二,否则进程会被阻塞2.临界区:在临界区做操作3.退出区:清除临界区被占用的标志4.剩余区:进程与临界区不相关部分的代码临界资源使用规则:忙则等待、优先等待、空闲让进、让权等待(在临界区的进程,不能在临界区内长时间处于事件等待,必须在一定时间退出临界区)。

第4章 进程的同步与互斥

第4章 进程的同步与互斥

mxh
同步
生产者活动:
Repeat 加工一件物品
消费者活动:
Repeat wait(full)
wait(empty)
物品放入箱中 signal(full)
箱中取一物品
signal(empty) 消耗这件物品
Until false
Until false
mxh
互斥
生产者活动:
Repeat
认为缓冲区同一时刻只有一个人可
mxh
4.1 进程的同步和互斥

信号量定义(记录型信号量)

semaphore是一个结构体: typedef struct {
int value;
//资源的个数
//进程链表
struct process *L;
} semaphore;
mxh
4.1 进程的同步和互斥 申请一个
• 信号量操作wait现在可按如 下来定义: void wait (semaphore S) { S.value - -; if (S.value <0) { add this process to S.L; block(); } }
mxh
4.1 进程的同步和互斥
• 信号量的应用
–合作进程的执行次序 –共享缓冲区的进程的同步
mxh
4.1 进程的同步和互斥
• 合作进程的执行次序:
–保证一组合作进程按照逻辑需要所确定 的次序进行。
mxh
4.1 进程的同步和互斥
• 合作进程的执行次序
–可以用一个图来表示进程集合的执行次 序。图的连接描述了进程开始和结束的 次序约束,此图称为进程流图. –例如P78,图4-2。 –使用信号量机制实现图4-2的同步。(练 习)

进程同步与互斥总结

进程同步与互斥总结

进程同步与互斥总结进程同步与互斥,这可是操作系统里超级有趣又很重要的部分呢!咱们先来说说进程同步吧。

想象一下,进程就像是一群小伙伴,大家都在做自己的事情,但是有时候呢,这些小伙伴之间需要互相配合。

比如说,一个小伙伴负责生产东西,另一个小伙伴负责把生产出来的东西拿走。

那生产的小伙伴如果生产得太快,拿走的小伙伴还没来得及拿,就会出问题啦。

这时候就需要进程同步来协调他们。

进程同步就像是一个小指挥家,告诉每个进程什么时候该做什么事情,这样大家就能有条不紊地工作了。

那进程互斥又是什么呢?这就像是小伙伴们抢一个玩具一样。

比如说,有一个资源,就像那个玩具,很多进程都想要用。

但是这个资源一次只能被一个进程使用啊。

如果两个进程同时去用这个资源,那就乱套了,就像两个小伙伴同时抢一个玩具,可能会把玩具弄坏一样。

所以进程互斥就是要保证在某个时刻,只有一个进程能够访问这个特定的资源。

在实现进程同步和互斥的时候呢,有很多方法。

比如说信号量。

信号量就像是一个小信号灯。

如果信号灯是绿的,那就表示这个资源可以被使用,进程就可以进去做自己的事情。

如果信号灯是红的,那就表示这个资源已经被占用了,其他进程就得等着。

这就像我们过马路的时候,绿灯行,红灯停一样。

还有管程。

管程就像是一个小房子,里面有一些资源和一些管理这些资源的规则。

进程要使用这些资源,就得按照管程里的规则来。

这就好比是去一个特定的地方玩,那个地方有它自己的玩法,你得遵守才能玩得开心。

进程同步和互斥在很多地方都有应用呢。

就拿打印机来说吧。

很多人都可能想要用打印机打印东西,如果没有进程同步和互斥的管理,那就可能会出现混乱的情况。

可能一个文档打印到一半,另一个文档又开始打印了,那最后打印出来的东西就完全乱了。

在多线程编程的时候,进程同步和互斥也特别重要。

如果多个线程同时对一个共享变量进行操作,那结果可能就不是我们想要的了。

比如说,一个线程在给一个变量加1,另一个线程在给这个变量减1,如果没有协调好,那这个变量的值可能就变得乱七八糟的。

详解进程同步与互斥机制

详解进程同步与互斥机制

详解进程同步与互斥机制⽬录⼀、什么是进程同步⼆、什么是进程互斥三、常见的进程同步与互斥机制⼀、什么是进程同步在多道批处理系统中,多个进程是可以并发执⾏的,但由于系统的资源有限,进程的执⾏不是⼀贯到底的,⽽是⾛⾛停停,以不可预知的速度向前推进,这就是进程的异步性。

那么,进程的异步性会带来什么问题呢?举个例⼦,如果有 A、B 两个进程分别负责读和写数据的操作,这两个线程是相互合作、相互依赖的。

那么写数据应该发⽣在读数据之前。

⽽实际上,由于异步性的存在,可能会发⽣先读后写的情况,⽽此时由于缓冲区还没有被写⼊数据,读进程 A 没有数据可读,因此读进程 A 被阻塞。

进程同步(synchronization)就是⽤来解决这个问题的。

从上⾯的例⼦我们能看出,⼀个进程的执⾏可能影响到另⼀个进程的执⾏,所谓进程同步就是指协调这些完成某个共同任务的并发线程,在某些位置上指定线程的先后执⾏次序、传递信号或消息。

再举个⽣活中的进程同步的例⼦,你想要喝热⽔,于是你打了⼀壶⽔开始烧,在这壶⽔烧开之前,你只能⼀直等着,⽔烧开之后⽔壶⾃然会发⽣响声提醒你来喝⽔,于是你就可以喝⽔了。

就是说⽔烧开这个事情必须发⽣在你喝⽔之前。

注意不要把进程同步和进程调度搞混了:进程调度是为了最⼤程度的利⽤ CPU 资源,选⽤合适的算法调度就绪队列中的进程。

进程同步是为了协调⼀些进程以完成某个任务,⽐如读和写,你肯定先写后读,不能先读后写吧,这就是进程同步做的事情了,指定这些进程的先后执⾏次序使得某个任务能够顺利完成。

⼆、什么是进程互斥同样的,也是因为进程的并发性,并发执⾏的线程不可避免地需要共享⼀些系统资源,⽐如内存、打印机、摄像头等。

举个例⼦:我们去学校打印店打印论⽂,你按下了 WPS 的 “打印” 选项,于是打印机开始⼯作。

你的论⽂打印到⼀半时,另⼀位同学按下了 Word 的 “打印” 按钮,开始打印他⾃⼰的论⽂。

想象⼀下如果两个进程可以随意的、并发的共享打印机资源,会发⽣什么情况?显然,两个进程并发运⾏,导致打印机设备交替的收到 WPS 和 Word 两个进程发来的打印请求,结果两篇论⽂的内容混杂在⼀起了。

进程同步与互斥 总结

进程同步与互斥 总结

进程同步与互斥总结
进程同步和互斥是操作系统中非常重要的概念,它们都是为了保证多个进程能够在正确的时间顺序和正确的方式下运行。

进程同步是指多个进程之间协调执行的过程,而互斥是指多个进程之间竞争有限资源的过程。

以下是关于进程同步与互斥的一些总结:
1. 进程同步方式:
- 信号量:通过对共享资源的访问进行限制,实现多个进程之间的同步。

- 互斥锁:通过对共享资源的访问进行互斥,实现多个进程之间的同步。

- 条件变量:通过对进程状态的检查,实现多个进程之间的同步。

2. 进程互斥方式:
- 临界区:多个进程同时访问共享资源时,只允许一个进程访问。

- 互斥量:多个进程同时访问共享资源时,通过加锁和解锁来实现互斥。

- 读写锁:多个进程同时访问共享资源时,允许多个进程同时读取,但只允许一个进程写入。

3. 进程同步与互斥的优缺点:
- 信号量:优点是可以同时处理多个进程,缺点是容易出现死锁。

- 互斥锁:优点是简单易用,缺点是只能处理两个进程之间的同步。

- 条件变量:优点是可以检查进程状态,缺点是只能处理两个进
程之间的同步。

- 临界区:优点是简单易用,缺点是只能处理两个进程之间的同步。

- 互斥量:优点是可以同时处理多个进程,缺点是容易出现死锁。

- 读写锁:优点是可以允许多个进程同时读取,缺点是会出现写入延迟的问题。

综上所述,进程同步与互斥是操作系统中非常重要的概念,需要根据具体的场景选择适合的同步方式或互斥方式来保证多个进程之
间的协调执行和有限资源的竞争。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

进程同步与互斥进程的PV操作在操作系统中,P、V操作是进程管理中的难点。

这是1968年荷兰人Dijkstra 给出的一种解决并发进程间互斥和同步关系的通用方法。

1. P、V操作的意义定义了信号量及其上的P操作和V操作,来实现并发进程间的同步和互斥,甚至可以用来管理资源的分配。

P、V操作因交换的信息量少,属于进程的低级通信。

2. 什么是信号量?信号量(semaphore)是由一个值和一个指针构成的数据结构。

值为整型变量,表示信息量的值;指针指向进程控制块(PCB)队列的队头,表示等待该信号量的下一个进程。

如下图所示。

信号量的一般结构及PCB队列信号量的值与相应资源的使用情况有关。

当它的值大于0时,表示当前可用资源的数量;当它的值小于0时,其绝对值表示等待使用该资源的进程个数。

注意,信号量的初值不能为负,且其值只能由P、V操作来改变。

3. P、V操作的含义P、V操作由P操作原语和V操作原语组成(原语是不可中断的过程),对信号量S进行操作,具体定义如下:P(S):①将信号量S的值减1,即S=S-1;②如果S≥0,则该进程继续执行;否则该进程状态置为阻塞状态,进程PCB 排入信号量PCB队列末尾,放弃CPU,等待V操作的执行。

V(S):①将信号量S的值加1,即S=S+1;②如果S≤0,释放信号量队列中第一个PCB所对应的进程,将进程状态由阻塞态改为就绪态。

执行V操作的进程继续执行。

一般来说,信号量S≥0时,S表示可用资源的数量。

执行一次P操作意味着请求分配一个单位资源,因此S的值减1;当S<0时,表示已经没有可用资源,请求者必须等待别的进程释放该类资源,它才能运行下去。

而执行一个V操作意味着释放一个单位资源,因此S的值加1;若S≤0,表示有某些进程正在等待该资源,因此要唤醒一个阻塞状态的进程,使之成为就绪状态。

4. 利用信号量和P、V操作实现进程互斥一般地,n个进程利用信号量和P、V操作实现进程互斥的一般模型如下:进程P1进程P2……进程Pn…… …… ……P(S); P(S); P(S);临界区;临界区;临界区;V(S); V(S); V(S);…… …… …… ……其中S是互斥信号量,初值为1。

使用P、V操作实现进程互斥时应该注意的问题是:(1)每个程序中,用户实现互斥的P、V操作必须成对出现,先做P操作,进临界区,后做V操作,出临界区。

若有多个分支,要认真检查P、V操作的成对性。

(2)P、V操作应分别紧靠临界区的头尾部,临界区的代码应尽可能短,不能有死循环。

(3)互斥信号量的初值一般为1。

由于用于互斥的信号量sem与所有的并发进程有关,所以称之为公有信号量。

公有信号量的值反映了公有资源的数量。

只要把临界区置于P(sem)和V(sem)之间,即可实现进程间的互斥。

就象火车中的每节车厢只有一个卫生间,该车厢的所有旅客共享这个公有资源:卫生间,所以旅客间必须互斥进入卫生间,只要把卫生间放在P(sem)和V(sem)之间,就可以到达互斥的效果。

以下例子说明进程的互斥实现。

例1生产围棋的工人不小心把相等数量的黑子和白子混装载一个箱子里,现要用自动分拣系统把黑子和白子分开,该系统由两个并发执行的进程组成,功能如下:(1)进程A专门拣黑子,进程B专门拣白子;(2)每个进程每次只拣一个子,当一个进程在拣子时不允许另一个进程去拣子;分析:第一步:确定进程间的关系。

由功能(2)可知进程之间是互斥的关系。

第二步:确定信号量及其值。

由于进程A和进程B要互斥进入箱子去拣棋子,箱子是两个进程的公有资源,所以设置一个信号量s,其值取决于公有资源的数目,由于箱子只有一个,s的初值就设为1。

实现:begins:semaphore;s:=1;cobeginprocess AbeginL1: P(s);拣黑子;V(s);goto L1;end;process BbeginL2:P(s);拣白子;V(s);goto L2;end;coend;end;判断进程间是否互斥,关键是看进程间是否共享某一公有资源,一个公有资源与一个信号量相对应。

确定信号量的值是一个关键点,它代表了可用资源实体数。

如下实例:例2某车站售票厅,任何时刻最多可容纳20名购票者进入,当售票厅中少于20名购票者时,厅外的购票者可立即进入,否则需要在外面等待。

每个购票者可看成一个进程。

分析:第一步:确定进程间的关系。

售票厅是各进程共享的公有资源,当售票厅中多于20名购票者时,厅外的购票者需要在外面等待。

所以进程间是互斥的关系。

第二步:确定信号量及其值。

只有一个公有资源:售票厅,所以设置一个信号量s。

售票厅最多容纳20个进程,即可用资源实体数为20,s的初值就设为20。

实现:begins:semaphore;s:=20;cobeginprocess PI(I=1,2,……)begin P(s);进入售票厅;购票;退出;V(s);end;coend当购票者进入售票厅前要执行P(s)操作,执行后若s大于或等于零,说明售票厅的人数还未满可进入。

执行后若s小于零,则说明售票厅的人数已满不能进入。

这个实现中同时最多允许20个进程进入售票厅购票,其余进程只能等待。

5. 利用信号量和P、V操作实现进程同步P、V操作是典型的进程同步机制之一。

用一个信号量与一个消息联系起来,当信号量的值为0时,表示期望的消息尚未产生;当信号量的值为非0时,表示期望的消息已经存在。

用P、V操作实现进程同步时,调用P操作测试消息是否到达,调用V操作来发送消息。

使用P、V操作实现进程同步时应该注意的问题是:(1)分析进程间的制约关系,确定信号量种类。

在保持进程间有正确的同步关系情况下,哪个进程应先执行,哪些进程后执行,彼此间通过什么信号量进行协调,从而明确要设置哪些信号量。

(2)信号量的初值与相应资源的数量有关,也与P、V操作在程序代码中出现的位置有关。

(3)同一信号量的P、V操作要成对出现,但它们分别在不同的进程代码中。

与进程互斥不同,进程同步时的信号量只与制约进程及被制约进程有关而不是与整组并发进程有关,所以称该信号量为私有信号量。

利用PV原语实现进程同步的方法是:首先判断进程间的关系为同步的,且为各并发进程设置私有信号量,然后为私有信号量赋初值,最后利用PV原语和私有信号量规定各进程的执行顺序。

下面我们将例1增添一个条件,使其成为进程间是同步的。

例3在例1的基础之上再添加一个功能:(3)当一个进程拣了一个棋子(黑子或白子)以后,必让另一个进程拣一个棋子(黑子或白子)。

分析:第一步:确定进程间的关系。

由功能(1)(2)(3)可知,进程间的关系为同步关系。

第二步:确定信号量及其值。

进程A和B共享箱子这个公有资源,但规定两个进程必须轮流去取不同色的棋子,因而相互间要互通消息。

对于进程A 可设置一个私有信号量s1,该私有信号量用于判断进程A是否能去拣黑子,初值为1。

对于进程B同样设置一个私有信号量s2,该私有信号量用于判断进程B 是否能去拣白子,初值为0。

当然你也可以设置s1初值为0,s2初值为1。

实现:begins1,s2:semaphore;s1:=1;s2:=0;cobeginprocess AbeginL1: P(s1);拣黑子;V(s2);goto L1;end;process BbeginL2:P(s2);拣白子;V(s1);goto L2;end;coend;end;另外一个问题就是P原语是不是一定在V原语的前面?回答是否定的。

下面看一个例子。

例4设在公共汽车上,司机和售票员的活动分别是:司机:启动车辆,正常行车,到站停车。

售票员:上乘客,关车门,售票,开车门,下乘客。

用PV操作对其控制。

分析:第一步:确定进程间的关系。

司机到站停车后,售票员方可工作。

同样,售票员关车门后,司机才能工作。

所以司机与售票员之间是一种同步关系。

第二步:确定信号量及其值。

由于司机与售票员之间要互通消息,司机进程设置一个私有信号量run,用于判断司机能否进行工作,初值为0。

售票员进程设置一个私有信号量stop,用于判断是否停车,售票员是否能够开车门,初值为0。

实现:begin stop ,run:semaphorestop:=0;run:=0;cobegindriver: begin消费者进程 while(True){ P(full); 从Buffer 取出一个产品; V(empty); 消费该产品; } L1: P(run);启动车辆;正常行车;到站停车;V(stop);goto L1;end;conductor:beginL2:上乘客;关车门;V(run);售票;P(stop);开车门;下乘客;goto L2;end;coend;end;用PV 操作还可以实现进程同步与互斥的混合问题,典型的如:多个生产者和多个消费者共享容量为n 的缓存区。

这个例子在很多书中都有介绍,在这里就不说了。

6. P 、V 操作举例【例1】生产者-消费者问题在多道程序环境下,进程同步是一个十分重要又令人感兴趣的问题,而生产者-消费者问题是其中一个有代表性的进程同步问题。

下面我们给出了各种情况下的生产者-消费者问题,深入地分析和透彻地理解这个例子,对于全面解决操作系统内的同步、互斥问题将有很大帮助。

(1)一个生产者,一个消费者,公用一个缓冲区(Buffer )。

定义两个同步信号量:empty ——表示缓冲区是否为空,初值为1。

full ——表示缓冲区中是否为满,初值为0。

生产者进程while(TRUE){生产一个产品;P(empty);产品送往Buffer;V(full);}(2)一个生产者,一个消费者,公用n 个环形缓冲区。

缓冲区 消费者 生产者消费者进程 while(TRUE){ P(full); 从buffer (out )中取出产品; out=(out+1) mod n ; V(empty); 消费该产品; } 消费者进程 while(TRUE){ P(full); P(mutex2); 从buffer (out )中取出产品; out=(out+1) mod n ; V (mutex2); V(empty); 消费该产品; }定义两个同步信号量:empty ——表示缓冲区是否为空,初值为n 。

full ——表示缓冲区中是否为满,初值为0。

设缓冲区的编号为1~n -1,定义两个指针in 和out ,分别是生产者进程和消费者进程使用的指针,指向下一个可用的缓冲区。

生产者进程 while(TRUE){ 生产一个产品;P(empty);产品送往buffer (in ); in=(in+1) mod n ;V(full); } (3)一组生产者,一组消费者,公用n个环形缓冲区 在这个问题中,不仅生产者与消费者之间要同步,而且各个生产者之间、各个消费者之间还必须互斥地访问缓冲区。

相关文档
最新文档