临界区和信号量.docVIP

基本原则 n 当进程A 在临界区中,另一个进程B 被迫在临界区外等待(wait ,直至进程A 离开临界区,发出一个特殊的信号(signal 通知进程B ,进程B 才能进入临界区。 ZUCC 操作系统原理 信号量(Semaphore n 信号量是一个特殊的变量,其上允许三个操作: n 初始化:信号量初始化为一个非负整数;n wait :P 操作n signal :V 操作 ZUCC 操作系统原理 信号量Semaphore 互斥: 信号量 用信号量实现进程互斥1 用信号量实现进程互斥2 用信号量实现进程互斥3 8 用信号量实现进程互斥4 用信号量实现进程互斥5 用信号量实现进程互斥6 用信号量实现进程互斥7 用信号量实现进程互斥8 用信号量实现进程互斥9 用信号量实现进程互斥10 用信号量实现进程互斥 n 如何用信号量保护临界区 n 创建公共信号量s n s 初始化为1n 使每个进程中的临界区位 于P (s 和V (s 之间。ZUCC 信号量的含义 n 任何时候 n n ZUCC 操作系统原理 n s = 1 : 没有进程在 CS中 s = 0 : 一个进程在 CS中，没有进程阻塞 在这个信号量上。 s 0 :一个进程在 CS中， |s| 个进程阻塞 在此信号量的等待队列上。 chap 5 PDF 文件使用 pdfFactory Pro 试用版本创建 16 Critical Section in Java 5.0 ZUCC 操作系统原理 import java.util.concurrent.locks.*; class X { private final ReentrantLock lock = new ReentrantLock(; // ... public void m( { lock.lock(; // block until condition holds try { // ... method body } finally { lock.unlock(; } } } // example taken from Java SE 5.0 reference chap 5 PDF 文件使用 pdfFactory Pro 试用版本创建 17 Semaphore in Java 5.0 ZUCC 操作系统原理 import java.util.concurrent.*; … // create a semaphore private final Semaphore available = new Semaphore(MAX_AVAILABLE, true; … // semaphore wait( available.acquire(; … // semaphore signal( available.release(; chap 5 PDF 文件使用 pdfFactory Pro 试用版本创建 18