条件临界区域（conditional critical region.PDFVIP

条件临界区域（conditional critical region ） 条件临界区域（CCR, Brinch Hansen ）几乎与管程同时提出，特征： • 一种有特定语法结构的临界区，封装一个受保护变量 • 线程只能在针对特定受保护变量的region 语句里访问该变量 • 访问同一受保护变量的region 语句属于同一CCR，其执行互斥 • 每个CCR 有一个布尔条件，任何到达相应region 语句的线程都必须等 到该条件为真且当时无其他线程在针对同一保护变量的region 语句里 • CCR 可以嵌套，这时也要关心死锁问题（与管程的情况类似） CCR 的概念 • 出现在并发语言Edison 里 • 对Ada 95 和Java/C# 等语言的同步机制设计有很大影响 这几种语言的并行机制实际上是管程和CCR 的组合，不同语言采用的 方式有一些不同 2012年5月 52 条件临界区域 基于条件临界区域（CCR ）的有界缓 冲区实现。region 语句可以有布尔条 件，因此可以避免显式的条件变量 CCR 避免了signal 的语义问题：这里 用布尔条