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

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

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