管程

形式陈述 ​

管程（monitor）是带并发访问纪律的抽象数据类型公理库抽象数据类型Abstract data type · ADT由值集合与操作语义定义、独立于具体表示的数据接口。。它把共享表示状态 $s\in S$、一组只通过该状态实现的公开过程 $p_1,\dots ,p_k$，以及若干条件队列封装在同一模块中。客户端只能调用公开过程，不能绕过接口直接读写 $s$；任意时刻至多一个线程在管程过程内主动执行，因此每个过程都可在隐式互斥锁公理库互斥锁Mutex · Mutex lock · 互斥量以所有权和阻塞语义封装临界区互斥的同步对象。保护下维护表示不变量 $I(s)$。

线程进入公开过程时自动取得管程所有权，正常返回时释放。若在条件变量 $c$ 上执行 wait(c)，调用者原子地加入 $c$ 的等待队列并释放管程，使其他线程可以进入并改变共享状态；它获准恢复时必须重新拥有管程，才能继续访问表示。条件队列本身不保存业务事实，等待目标仍是受管程保护的谓词 $P_c(s)$。

signal(c) 的控制转移有两种经典语义，不能混用。

• Hoare 语义（signal-and-urgent-wait）：若 $c$ 上有等待者，signal 立即把管程交给其中一个等待线程；signal 线程进入 urgent queue，待被唤醒线程离开管程或再次等待后才恢复。因此 signal 时刚建立的谓词可以直接交给等待者，但实现必须管理这次即时所有权移交。
• Mesa 语义（signal-and-continue）：signal 线程继续在管程内执行，被通知线程只是进入可运行状态；它要等 signal 线程退出并重新竞争管程，才会从 wait 返回。其间共享状态可能再次变化，运行库还可能允许虚假唤醒，所以等待者必须在循环中重新检查谓词。

现代语言与线程库通常采用 Mesa 风格，标准形态是 while not P(s): wait(c)。通知只表示“某次状态变化可能使谓词成立”，不承诺被唤醒线程立即运行，也不承诺它取得管程时谓词仍为真。entry queue、condition queue 和 Hoare 语义中的 urgent queue 如何选择线程，属于调度策略；基本管程定义不自动提供 FIFO、无饥饿或优先级保证。

管程的互斥保证还依赖封装边界。若过程返回指向内部可变数组的引用，或另一个模块仍持有状态别名，外部代码便可绕开入口锁修改表示，$I(s)$ 不再由管程协议保护。调用语言是否允许递归进入、异常退出时怎样释放所有权，也必须由具体接口另外规定。

直觉 ​

mutex 给程序一把需要手工获取和释放的钥匙，条件变量提供“条件尚未满足时交出钥匙并等待”的动作；管程把钥匙、等待室和被保护的数据一起藏进模块。调用者只看见 put、get 之类操作，不需要在每个调用点重复同一套加锁顺序。

封装使同步规则靠近表示不变量。队列长度、头尾索引和元素数组由同一入口互斥保护，条件谓词也直接写成这些字段上的判断。这样可以局部证明“每个过程从满足 $I$ 的状态开始，返回时再次建立 $I$”，而不是要求所有客户端共同记住内部锁协议。

例子与边界 ​

容量为 $C$ 的有界缓冲区管程维护队列 $Q$，表示不变量是

它有两个条件队列 not_empty 与 not_full，公开过程可写成：

put(x):
    while |Q| = C:
        wait(not_full)
    enqueue(Q, x)
    signal(not_empty)

get():
    while |Q| = 0:
        wait(not_empty)
    x := dequeue(Q)
    signal(not_full)
    return x

入口互斥使容量检查与队列修改相对于其他管程过程不可交错；wait 则在缓冲区满或空时释放管程，让能够改变条件的消费者或生产者进入。Mesa 语义下必须使用 while：消费者被通知后，另一个消费者可能先取得管程并拿走唯一元素；重新检查把共享状态恢复为操作前提。

若某个管程过程在持有入口所有权时调用慢速网络服务、等待一个必须由另一管程过程完成的 future，或者执行任意不释放管程的外部阻塞，其他调用者都会被挡在入口。条件变量的 wait 会按协议释放管程，普通阻塞调用不会；“过程内部可以等待”不能被理解为所有等待都安全。

嵌套管程也可能死锁。线程 A 在管程 $M_1$ 内调用 $M_2$，线程 B 同时在 $M_2$ 内回调 $M_1$，两个隐式入口锁便形成循环等待。固定跨管程调用顺序、在外调前复制必要状态并退出管程，或重新设计接口可以破坏闭环；单个管程的入口互斥不自动解决组合后的死锁公理库死锁Deadlock · 资源死锁一组参与者因等待依赖闭合而彼此无法再完成所需动作的全局进展失败。。

推论与应用 ​

管程、mutex、条件变量和信号量公理库信号量Semaphore · Counting semaphore · 信号灯以非负计数保存可用许可，并用原子等待与释放操作协调容量或事件的同步原语。位于不同抽象层。mutex 是具有所有权的同步对象；条件变量让线程等待受锁谓词；管程把二者与共享表示封装成模块。信号量则保存可用许可数量，signal 会增加可消费状态，即使当时没有等待者；管程条件通知通常不持久，事实来源始终是表示谓词。

管程尤其适合把对象不变量和同步策略一起审查，但它不保证所有调用都快速或最终完成。外泄引用会绕开保护，嵌套调用会引入锁序，Mesa 通知可能造成争抢，不公平调度还可让某个入口或条件等待者长期得不到服务。完整规格仍需单独声明异常安全、可重入性、调度公平和外部调用规则。

它之所以是可选节点，是因为核心语义可以由 mutex、条件变量和抽象数据类型组合表达；独立页面的价值在于给这组组合增加明确的模块封装边界，以及 Hoare/Mesa 控制转移的统一定位，而不是引入另一套底层同步能力。