Crash-Recovery System Model Characteristics

This is a model that is useful to describe systems that have nodes that can crash and recover later on.

  1. The system is a set of processes \Pi = \{ p_1, \ldots p_n\}.
  2. processes communicate by sending messages using TCP connections.
  3. process has a persistent storage.
  4. processes have two states: up and down.
  5. process may crash and recover indefinitely many times.

Reference: ZooKeeper’s atomic broadcast protocol: Theory and practice, Andr´e Medeiros,


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s