Checking linearizability in Go

from blog Notes on software development, | ↗ original
You want to check for strict consistency (linearizability) for your project but you don't want to have to deal with the JVM. Porcupine, used by a number of real-world systems like etcd and TiDB, has you covered! Importantly, neither Jepsen projects nor Porcupine can prove linearizability. They can only help you build confidence that you aren't...