Safety && liveness 分布式系统标准

最新推荐文章于 2024-01-06 18:49:00 发布

weixin_30412013

最新推荐文章于 2024-01-06 18:49:00 发布

阅读量536

点赞数

CC 4.0 BY-SA版权

文章标签：区块链

原文链接：http://www.cnblogs.com/qixingyi/p/10286748.html

本文探讨了分布式系统中安全性和活性的概念，引用了LESLIE LAMPORT在1977年的论文，阐述了在分布式系统中如何确保something“bad”永远不会发生，同时保证something“good”一定会发生，尽管我们不知道何时会发生。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

分布式系统是由一组通过网络进行通信、为了完成共同的任务而协调工作的计算机节点组成的系统。

分布式系统的发展，体现的也是人类在对更高性能、更低成本的不断追求，

LESLIE LAMPORT在其1977年的论文《Proving the Correctness of Multiprocess Programs》中第一次描述了安全性和活性，后来成为构建分布式系统的标准。

Safety
Only a value that has been proposed may be chosen.
Only a single value is chosen.
A node never learns that a value has been chosen unless it actually has been.
Liveness
Some proposed value is eventually chosen.
If a value has been chosen, a node can eventually learn the value.

简单解释就是：

safety ：something “bad” will never happen
liveness ：something “good” will must happen (but we don’t know when)

转载于:https://www.cnblogs.com/qixingyi/p/10286748.html