p v操作由原语组成不老师课程os2013.pptx

Chapter2

ProcessesandThreads

2.5SemaphoresP、V操作由P操作原语和V操作原语组成（原语是不可中断的过程），对信号量进行操作，具体定义如下：P（S）：①将信号量S的值减1，即S=S-1；

??????②如果S=0，则该进程继续执行；否则该进程置为等待状态，排入等待队列。

V（S）：①将信号量S的值加1，即S=S+1；

??????②如果S0，则该进程继续执行；否则释放队列中第一个等待信号量的进程。

2.5Semaphores信号量（semaphore）的值与相应资源的使用情况有关。当它的值大于0时，表示当前可用资源的数量；当它的值小于0时，其绝对值表示等待使用该资源的进程个数。注意，信号量的值仅能由P、V操作来改变。一般来说，信号量S=0时，S表示可用资源的数量。执行一次P操作意味着请求分配一个单位资源，因此S的值减1；当S0时，表示已经没有可用资源，请求者必须等待别的进程释放该类资源，它才能运行下去。而执行一个V操作意味着释放一个单位资源，因此S的值加1；若S=0，表示有某些进程正在等待该资源，因此要唤醒一个等待状态的进程，使之运行下去。

2.5Semaphores解决此类问题的一般方式：根据问题给出的条件，确定进程有几个或几类；确定进程间的制约关系——互斥？同步；各相关进程间通过什么信号量实现彼此的制约，表明信号量的含义和初值；用PV操作写出相应的代码段；验证代码的正确性：以不同的次序运行各进程，是否能保证问题的圆满解决，切忌按固定顺序执行各进程。

2.3.5Semaphores例3：桌上有一只盘子，每次只能放入一个水果。爸爸专向盘中放苹果，妈妈专向盘中放桔子。一个女儿专门等吃盘中的苹果，一个儿子专门等吃盘中的桔子。试用P、V操作写出他们能同步的程序。分析：生产者与消费者问题的变形：2个生产者（爸爸、妈妈）、2个消费者（女儿、儿子）共享一个只能存放一个数据的区域（盘子）。创建4个进程，分别对应爸爸、妈妈、女儿、儿子。信号量：互斥信号量：mutex=1同步信号量：SA=0（最大苹果数）、SO=0（最大桔子数）

2.3.5Semaphores例3：/*爸爸进程*/P(mutex);放入一个苹果;V(SA);…/*妈妈进程*/P(mutex);放入一个桔子;V(SO);…/*女儿进程*/P(SA);取出苹果;V(mutex);…/*儿子进程*/P(SO);取出桔子;V(mutex);…

#define N100 /*numberofslotsinthebuffer*/typedefintsemaphore;/*semaphoresareaspecialkindofint*/semaphoremutex=1; semaphoreempty=N; semaphorefull=0; 2.3.5SemaphoresProducer-consumerproblemusingsemaphorevoidproducer(void){intitem;while(TRUE){ /*TRUEistheconstant1*/item=produce_item();/*generatesomethingtoputinthebuffer*/P(empty); /*decrementemptycount*/P(mutex); /*entercriticalregion*/insert_item(); /*putnewiteminbuffer*/V(full); /*incrementcountoffullslots*/V(mutex); /*leavecriticalregion*/}}/*互斥信号量*//*实现进程同步的信号量，最大空槽数*//*实现进程同步的信号量，满槽数*/voidconsumer(void){intitem;while(TRUE){P(full); /*decrementfullcount*/P(mutex);/*entercriticalregion*/item