jzhao.xyz

Search

Search IconIcon to open search

Safety

Last updated Jul 3, 2022 Edit Source

A promise in distributed systems that claims that “something bad” will never happen

This is obviously broad, but can have multiple flavours including never returning null fields, dead-locks should never happen, etc.

Interestingly, all properties can be expressed as the intersection of safety and liveness properties


Interactive Graph