5.2.1 FLP不可能原理的定义