システムモデル
分散システムのモデル
非同期分散システム
各プロセスが非同期に動く
同期分散システム
すべてのプロセスが同期して1ステップずつ実行される
synchronizer によって非同期分散システムでもエミュレーションできる
(条件とかあった気がするけど忘れた)
あんまり現実的ではない
故障 => 故障モデル
通信路