JLS3は、次のイントラスレッドセマンティクス(intra-thread semantics)の定義を使用しています。 シングルスレッドプログラムのセマンティクスは、スレッド内でreadアクションによって確認された値に基づいてスレッドの動作の完全な予測を可能にします。各スレッドのアクションは単独で、そのスレッドのセマンティクスによって制御されるものとして動作する必要があります。 私たちは、次に示した、この定義のより弱い形式を使用します。 プログラミング言語実装は、コンパイル時/ランタイムの最適化がシングルスレッド実行においてメソッドレベルまで(インラインメソッドは含みません)、最適化されていないコードのセマンティクスを保持する場合、最小のイントラスレッドセマンティクス(最小のITS)を提供します。 最小のITSがメソッドレベルで壊れている場合、プログラムレベルでも壊れている可能性があること