并发程序
第七章并发程序设计语言
tion Critical Region简称 CCR)将共享变量显式地置于叫做资源的区域内 每个进程在自己的进程体内指明要访问的条件临界区，而同一临界区可出现在不同进程之中 (谁进谁用 ) 首先在资源中声明共享变量 : resource r(共享变量声明 )，例： resource sema( s:int :=n ) 使用共享变量： region r when B do S end region