スッドレせーふ
Bloch は、スレッド・セーフを5つのカテゴリ(不変、スレッド・セーフ、条件付きスレッド・セーフ、スレッド互換、反スレッド)に分類して概説しています。スレッド・セーフ特性を明確にドキュメント化できるのであれば、この体系を使用するかどうかは重要ではありません。この体系には制限 (各カテゴリの境界が100%明確ではなく、どのカテゴリにも含まれないケースがあります)もありますが、手始めとしては良くできたものと言えるでしょう。この分類体系の中心となっているのは、呼び出し側が外部同期でオペレーション(あるいはオペレーションのシーケンス)を囲むことができるか、囲まなければならないかどうか、という点です。スレッド・セーフに関するこれらの5つのカテゴリを以下のセクションで説明します。
メモ。
