对操作系统中信号量问题的一点认识.pdfVIP

¨陟—弋而磊蕊i圈蠢豳圈 一 碉镧诵 文章编号：1672—5913(2009)14—0076-03 对操作系统中信号量问题的一点认识 李俭，张明辉，任立权 50030) (哈尔滨金融高等专科学校计算机系，黑龙江哈尔滨1 摘要：本文针对目前操作系统中ff,l用信号量解决进程间的同步和互斥的问题，系统地总结了解决问题的一 般性规律。首先介绍了信号量的定义及在信号量上可以执行的两个操作，并分别详细说明了如何利用信号量 实现进程间的同步和互斥，最后结合实例说明了这两种方法在实际问题中的具体运用。 关键词：信号量；同步；互斥 中图分类号：G642 文献标识码：B 在多道程序环境下，操作系统如何实现进程之间的同 当执行P(S)操作时，信号量S的值减1，如果S≥0， 表示可以继续执行；如果S0，表示该进程只能进入S信 步和互斥显得极为重要。荷兰学者Dijkstra给出了一种解 决并发进程间互斥与同步关系的通用方法，即信号量机 号量的阻塞队列中等待，由调度程序重新调度其他进程执 制。他定义了一种名为“信号量”的变量，并且规定在这 行。需要注意的是，使该信号量s的值增加的进程会将该 种变量上只能做所谓的P操作和v操作。现在，信号量机 阻塞进程唤醒，该进程一旦获得处理机，就可以直接进入 制已经被广泛地应用于单处理机和多处理机系统以及计 l临界区，无需再执行P(S)操作。 算机网络中，这也是学习操作系统的重点和难点之一。本 V(S)操作可描述为： 文就利用信号量实现进程间的同步和互斥问题进行了分析。 V(S) procedure vat 1引言 S：semaphore： begin 信号量是一个具有非负初值的整型变量，并且有一个 S．value：=S．value+1： 队列与它关联。因此，定义一个信号量时，要给出它的初 ifS．value≤0 then 值，并给出与它相关的队列指针。信号量除初始化外，仅 wakeup(S，L)； 能通过P、V两个操作来访问，这两个操作都由原语组成， end 即在执行过程中不可被中断，也就是说，当一个进程在修 当执行v(S)操作时，信号量S的值加1，如果S≤0， 改某个信号量时，没有其他进程可同时对该信号量进行修改。 则唤醒S信号量阻塞队列队首的阻塞进程，将其状态从阻 信号量的定义如下： 塞状态转变为就绪状态，执行V操作的进程继续执行；如 typesemaphore=record 果SO，则说明没有进程在该信号量的阻塞队列当中，因 ／*定义信号量*／ 此，无需唤醒其他进程，该进程继续执行。 begin 需要说明的是，信号量的初值一定是一个非负的整 ／+整型变量+／ value：integer； 数，但是在运行过程中，