1-共识中的生命

本文引入了原子写与读下一个（$\text{WRN}_{k}$）确定性共享内存对象，对于任意 $k\ge3$，它强于读写寄存器，但无法实现 $2$ 处理器共识。特别地，它反驳了这样一个猜想：即所有共识数为 $1$ 的确定性对象在计算上都等价于读写寄存器。