HOMELv063 分散システムにおける「線形化可能性（Linearizability）」とはどのような一貫性モデルか。 2026年1月24日 実時間順序に従い瞬時に行われたように見えるモデル。 「WAL（Write Ahead Log）」の原則において、データページをディスクに書き込む前に必ず完了していなければならないことはどれか。 「TCC（Try-Confirm/Cancel）」パターンにおける「Try」フェーズの役割はどれか。
