Safety and Liveness in Distributed system
May 30, 2024 · 2 min read · Safety: Something that must never happen in a correct system. Liveness: Something that must eventually happen in a correct system.. We will use a banking system as an example in this article. Safety: We can't let users withdraw or transfer more money...
Join discussion