容错计算的概念与实例 | Synapse