Lukas' Notes

Definition

Local State ( Distributed System)

The local state of a process is its current configuration of stored data and execution status. It can be represented as

where is its stored data and is its control status, including its execution position.

Received messages retained by the process belong to its local state; messages still in transit do not yet belong to the recipient’s local state. A local state is one component of the system’s global state, not a complete view of it.