在以数据为中心的一致性模型中，顺序一致性是指“任何执行结果都是（）的，所有进程对数据存储的（）操作是按某种序列顺序执行的，并且每个进程的操作按照（）所制定的顺序出现在（）中”。

填空题在逻辑时钟算法中，Lamport定义了一个称作“（）”的关系，表达式a→b表示（）之前发生。先发生关系是一个传递关系。

填空题在名称解析的实现中，通常采用两种方法，一是（）名称解析；二是（）名称解析。

填空题在名称空间的实现中，为了有效实现名称空间，通常把它划分为逻辑上的三层，其三层指的是（）（）（）。

填空题在分布式系统中，挂载外部名称空间至少需要的信息是：（）的名称、（）的名称和（）中挂载点的名称。

填空题在引进线程的操作系统中，调度和分派的基本*单位是（），拥有资源的单位是（）。