《Swerve 详细设计解析》
1. 基础类型与操作
在相关设计中，存在一些基础的类型定义与操作。例如ExecReader.Opened = ExecReader.Impl.Opened = Unix.proc * string，在 CGI 节点处理程序的代码里，可通过如下代码提取Unix.proc值来操作进程：
val (proc, _) = ExecReader.get holder同时，存在透明与不透明签名约束的概念。不透明签名约束用:>而非:置于签名名称前表示。使用不透明约束时，Opened类型的实现会被隐藏，因为在OPEN_MGR_IMPL签名中仅声明了其名称。
2. 终结处理（Finalisation）
终结处理通过维护每个打开文件的弱引用集合来完成。为使此机制生效，需有一个在终结管理器和客户端之间共享的值。管理器持有该值的弱引用，客户端则有一个或多个正常（强）引用。当所有强引用消失，该值会被回收，随后弱引用会报告该值已不存在，这将触发管理器关闭文件。
需注意，共享值并非打开的文件。即便共享值被回收，管理器仍需持有文件的引用。客户端要谨慎，不能在没有共享值引用的情况下持有打开文件的引用。为保证安全，客户端只能通过共享值获取打开的文件。
终结管理器的签名如下：
