線形化可能性
線形化可能性の威力と必要性を示すために、異なるプロセスがインクリメントできる単純なカウンタを考える。
複数のプロセスがアクセスできるカウンタオブジェクトを実装する。多くの一般的なシステムでは、あるイベントの発生回数を記録するためにカウンターを使用している。
カウンターオブジェクトは、複数のプロセスからアクセスでき、2つの操作が可能である。
インクリメント:カウンターに格納されている値に1を加え、確認応答を返す。
読み込み:カウンターに格納されている現在の値を変更せずに返す。
このカウンターオブジェクトを、共有レジスタを使って実装する。
最初の試みは、線形化できないことがわかっているので、プロセス間で1つの共有レジスタを使用して、次のような実装を行う。