weixin_42153246的博客

Java™ 5.0 第一次让使用 Java 语言开发非阻塞算法成为可能，java.util.concurrent 包充分地利用了这个功能。非阻塞算法属于并发算法，它们可以安全地派生它们的线程，不通过锁定派生，而是通过低级的原子性的硬件原生形式 —— 例如比较和交换。非阻塞算法的设计与实现极为困难，但是它们能够提供更好的吞吐率，对生存问题（例如死锁和优先级反转）也能提供更好的防御。在这...

Linearizability 和 Serializability引言Linearizability的概念场景一场景二分布式系统中的LinearizabilityLinearizability与SerializabilityLinearizability的意义实现Linearizability的难点参考 引言 随着信息科技的在人类生活中的不断渗透, 我们数据规模和计算规模也是与日俱增, 某些问题已...

浅析分布式系统中的 Linearizability 在分布式系统里，出于可靠性（reliability）或者性能的考虑，数据通常会被复制为多个副本。因此，系统需要定义一组协议，来规定用户读写多副本时的行为。这组协议称之为 consistency model。 最终一致性（eventually consistency），linearizability（atomic consistency）是不同类型...