Safety Guarantees in Distributed Systems

Since distributed systems involve a lot of complexity, some safety guarantees ensure that the system will behave in specific, predictable ways. This makes it easier for people to reason about a system and any potential anomalies that can occur. This will allow them to build proper safeguards to prevent these anomalies from occurring.

Safety guarantors

The main safety guarantees that systems provide are around the three properties shown in the illustration.