> For the complete documentation index, see [llms.txt](https://isubasinghe.gitbook.io/isithas-wiki/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://isubasinghe.gitbook.io/isithas-wiki/computer_science/distributed_systems/distributed_models.md).

# distributed\_models

## Basic idea

Abstract models used to reason about distributed systems: physical (hardware), architectural (components and their interactions), fundamental (timing, failures, security).

## Key facts

* Synchronous vs asynchronous: known vs unknown bounds on execution, message delay, clock drift.
* Failure taxonomy: omission, arbitrary (Byzantine), timing.
* Communication: shared memory, message passing (sync / async), indirect (pub/sub).