hai nguyenhainguyen.hashnode.dev·May 30, 2024Safety and Liveness in Distributed systemSafety: 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...28 readsdistributed systemAdd a thoughtful commentNo comments yetBe the first to start the conversation.