Javaのマルチスレッド環境での静的メソッドの動作

私を悩ませ、私の心の中でいくつかの議論をする単純な愚かな質問があります。以下の質問に対する疑問をすべて捨てたいと思います。

class Clstest{

    public static String testStaticMethod(String inFileStr) {

        // section 0

        // section 1

        // do something with inFileStr

        // section 2

        // section 3

        return inFileStr;

    }

}

5つのスレッドがそれぞれClstest.testStaticMethod("arg-n")同時に呼び出しを実行していると仮定します。

スレッド1が呼び出しますClstest.testStaticMethod("arg-1")。

スレッド1がセクション1にある場合、スレッド2はを呼び出しますClstest.testStaticMethod("arg-2")。

次に、スレッド1はどうなりますか？スリープ状態になりますか？

スレッド1がチャンスを得たとき、一時停止したセクション1から実行を再開しますか？

1がありますとき、どのようにそれが起こるClstest.testStaticMethodと同じことがClstest.testStaticMethod、すべての5つのスレッド間で共有されていますか？

inFileStr複数のスレッドによって送信されたものを交換する可能性はありますか？

ハンス・パッサントの答えはいいです。しかし、これに出会い、Javaに慣れていない人のために、もう少し簡単なレベルで説明してみようと思いました。行くよ

Javaのメモリは、ヒープとスタックの2種類に分けられます。ヒープはすべてのオブジェクトが存在する場所であり、スタックはスレッドが作業を行う場所です。各スレッドには独自のスタックがあり、他の各スタックにアクセスできません。各スレッドには、現在実行しているコードのビットを指すコードへのポインターもあります。

スレッドは、新しいメソッドの実行を開始すると、そのメソッドの引数とローカル変数を独自のスタックに保存します。これらの値の一部は、ヒープ上のオブジェクトへのポインターである可能性があります。2つのスレッドが同じメソッドを同時に実行している場合、両方のスレッドがそのメソッドを指すコードポインターを持ち、スタックに引数とローカル変数の独自のコピーを持っています。スタック上のものがヒープ上の同じオブジェクトを指している場合にのみ、それらは互いに干渉します。その場合、あらゆる種類のことが発生する可能性があります。しかし、ハンスが指摘するように、文字列は不変（変更できない）なので、これが「共有」される唯一のオブジェクトである場合は安全です。

非常に多くのスレッドで同じメソッドを実行できます。JVMがJavaスレッドをOSスレッドにマップし、ハードウェアスレッドにスケジュールされているため、それらは同時に実行されていない可能性があります。したがって、複雑な同期メカニズムを使用しないと、これらのスレッドがインターリーブする方法をほとんど制御できません。

スリープはスレッドが自分自身に行うことであることに注意してください。

スリープ状態になりますか？

いいえ、スレッドを実行しても、意図的に互いに同期しない限り、他のスレッドには影響しません。複数のプロセッサコアがある場合、最近のすべてのマシンにありますが、これらのスレッドは正確に同時に実行される可能性があります。マシンに十分なコアがない可能性があるため、5つのスレッドを開始すると、その可能性は少し低くなります。オペレーティングシステムはそれらのいずれかを選択するように強制され、実行するたびにそれらを与えます。スレッドスケジューラのジョブ。その場合、スレッドは「スリープ」状態にはならず、単に一時停止され、スレッドスケジューラが実行する機会を与えるのを待ちます。スケジューラーによって中断されたところから再開します。

複数のスレッドによって送信されたinFileStrを交換する可能性はありますか？

そのような可能性はなく、スレッドには独自のスタックがあるため、メソッド引数とローカル変数はスレッドごとに一意になります。さらに文字列を使用すると、文字列は不変であるため、これらのスレッドが互いに干渉できないことが保証されます。

引数が別の種類の可変オブジェクトへの参照である場合、そのような保証はありません。または、メソッド自体が静的な変数またはヒープ上のオブジェクトへの参照を使用する場合。スレッドがオブジェクトを変更し、別のスレッドがそれを読み取る場合、同期が必要です。C＃言語のlockキーワードは、このような必要な同期を実装するための定型的な方法です。メソッドが静的であるという事実は、そのような同期が必要になることは決してないということではありません。スレッドが同じオブジェクトにアクセスすることを心配する必要がないため、この可能性は低くなります（これを共有する）。