ロック動作に注釈を付ける

マルチスレッド プログラムの同時実行のバグを回避するには、適切なロックの作業分野に常に従い、SAL 注釈を使用します。 同時実行のバグは非確定的であるため、再生や診断やデバッグが修復が困難です。スレッドについて、インタリーブの推論はいくつかのスレッドがより多くのコード本体をデザインしているときに、状態困難だけでなくなります。したがって、マルチスレッド プログラムのロックの作業分野に従うことをお勧めします。たとえば、ヘルプがデッドロックを避ける、適切な対策をロック アクセスの共有リソースの前になる競合状態を回避する複数のロックを取得するときに、ロック命令を実行します。 ただし、見かけ上は単純なロックの規則が実際に従って意外にも困難です。今日のプログラミング言語およびコンパイラの基本的な制限は、直接同時実行の必要条件の指定と分析をサポートしていません。プログラマは、簡略的なコード コメントで表