填空题
在逻辑时钟算法中，Lamport定义了一个称作“（）”的关系，表达式a→b表示（）之前发生。先发生关系是一个传递关系。
先发生；a在b
填空题 在名称解析的实现中，通常采用两种方法，一是（）名称解析；二是（）名称解析。
填空题 在名称空间的实现中，为了有效实现名称空间，通常把它划分为逻辑上的三层，其三层指的是（）（）（）。
填空题 在分布式系统中，挂载外部名称空间至少需要的信息是：（）的名称、（）的名称和（）中挂载点的名称。
