Abstract As used in practice, traditional consensus algorithms require three message delays before any process can learn the chosen value. Fast Paxos is an extension of the classic Paxos algorithm that allows the value to be learned in two message d
state 状态
A state is an assignment of values to variables.
一个状态就是一组为变量赋值的操作。
state function 状态函数
A state function is an ordinary [removed]one with no ′’′ or □\square□) that can contain variables and constants.
一个状态函数就是一个普通的表达式，包含变量和常量，但不包含 ′’′ 和 □\sq
