メソッドをスレッドセーフにするもの ルールは何ですか？

メソッドをスレッドセーフにするための全体的なルール/ガイドラインはありますか？おそらく100万回の単発的な状況があることを理解していますが、一般的にはどうですか？これは簡単ですか？

1. メソッドがローカル変数にのみアクセスする場合、それはスレッドセーフです。

それですか？それは静的メソッドにも適用されますか？

@Cybisによって提供された1つの回答は次のとおりです。

各スレッドは独自のスタックを取得するため、ローカル変数はスレッド間で共有できません。

静的メソッドの場合もそうですか？

メソッドに参照オブジェクトが渡された場合、それはスレッドの安全性を損ないますか？私はいくつかの調査を行いましたが、特定のケースについてはたくさんありますが、いくつかのルールを使用するだけで、メソッドがスレッドセーフであることを確認するために従うガイドラインを定義できることを望んでいました。

したがって、私の究極の質問は、「スレッドセーフなメソッドを定義するルールの短いリストはありますか？ある場合、それは何ですか？」

編集
多くの良い点がここで作られました。この質問に対する本当の答えは、「スレッドの安全性を確保するための単純なルールはない」と思います。涼しい。いいよ。しかし、一般的に私は、受け入れられた答えが良い、短い要約を提供すると思います。常に例外があります。だからそれである。私はそれと共存できます。

メソッド（インスタンスまたは静的）がそのメソッド内でスコープされた変数のみを参照する場合、各スレッドには独自のスタックがあるため、スレッドセーフです。

この場合、複数のスレッドがThreadSafeMethod問題なく同時に呼び出すことができます。

public class Thing
{
    public int ThreadSafeMethod(string parameter1)
    {
        int number; // each thread will have its own variable for number.
        number = parameter1.Length;
        return number;
    }
}

これは、メソッドがローカルスコープの変数のみを参照する他のクラスメソッドを呼び出す場合にも当てはまります。

public class Thing
{
    public int ThreadSafeMethod(string parameter1)
    {
        int number;
        number = this.GetLength(parameter1);
        return number;
    }

    private int GetLength(string value)
    {
        int length = value.Length;
        return length;
    }
}

メソッドが（オブジェクト状態）プロパティまたはフィールド（インスタンスまたは静的）にアクセスする場合は、ロックを使用して、別のスレッドによって値が変更されないようにする必要があります。

public class Thing
{
    private string someValue; // all threads will read and write to this same field value

    public int NonThreadSafeMethod(string parameter1)
    {
        this.someValue = parameter1;

        int number;

        // Since access to someValue is not synchronised by the class, a separate thread
        // could have changed its value between this thread setting its value at the start 
        // of the method and this line reading its value.
        number = this.someValue.Length;
        return number;
    }
}

メソッドに渡された、構造体でも不変でもないパラメーターは、メソッドのスコープ外の別のスレッドによって変更される可能性があることに注意してください。

適切な並行性を確保するには、ロックを使用する必要があります。

詳細については、lockステートメントのC＃リファレンスとReadWriterLockSlimを参照してください。

ロックは、一度に1つずつ機能を提供する場合に役立ち、
ReadWriterLockSlim複数のリーダーと単一のライターが必要な場合に役立ちます。

メソッドがローカル変数にのみアクセスする場合、それはスレッドセーフです。それですか？

絶対にありません。スレッドセーフではないにもかかわらず、単一のスレッドからアクセスされる単一のローカル変数のみでプログラムを作成できます。

https://stackoverflow.com/a/8883117/88656

それは静的メソッドにも適用されますか？

絶対違う。

@Cybisによって提供された1つの答えは、「各スレッドが独自のスタックを取得するため、ローカル変数はスレッド間で共有できない」でした。

絶対違う。ローカル変数の特徴は、一時的なプールに割り当てられているのではなく、ローカルスコープ内からのみ表示されることです。2つの異なるスレッドから同じローカル変数にアクセスすることは完全に合法であり可能です。匿名メソッド、ラムダ、イテレータブロック、または非同期メソッドを使用して、これを行うことができます。

静的メソッドの場合もそうですか？

絶対違う。

メソッドに参照オブジェクトが渡された場合、それはスレッドの安全性を損ないますか？

多分。

私はいくつかの調査を行いましたが、特定のケースについてはたくさんありますが、いくつかのルールを使用するだけで、メソッドがスレッドセーフであることを確認するために従うガイドラインを定義できることを望んでいました。

あなたは失望とともに生きることを学ばなければならないでしょう。これは非常に難しいテーマです。

したがって、私の究極の質問は次のとおりだと思います。「スレッドセーフなメソッドを定義するルールの短いリストはありますか？

いいえ。前の例で見たように、空のメソッドはスレッドセーフではない可能性があります。「メソッドが正しいことを保証するルールの短いリストはありますか？」いいえ、ありません。スレッドセーフティは、非常に複雑な種類の正当性にすぎません。

さらに、あなたが質問をしているという事実は、スレッドの安全性に関する根本的な誤解を示しています。スレッドセーフティはグローバルであり、プログラムのローカルプロパティではありません。正しく理解するのが非常に難しいのは、プログラムの安全性を確保するために、プログラム全体のスレッド動作について完全な知識が必要だからです。

もう一度、私の例を見てください。すべてのメソッドは簡単です。これは、メソッドが「グローバル」レベルで相互に対話する方法であり、プログラムがデッドロックになります。あなたはすべての方法を見て「安全」としてチェックオフし、プログラム全体が安全であることを期待することはできません。あなたの家は100％非中空のレンガでできているので、家もそうです。非中空。家の空洞は全体のグローバルプロパティであり、パーツのプロパティの集合ではありません。

厳格な規則はありません。

.NETでコードスレッドを安全にするいくつかのルールと、これらが適切なルールではない理由を次に示します。

1. 関数とそれが呼び出すすべての関数は、純粋で（副作用なし）、ローカル変数を使用する必要があります。これによりコードがスレッドセーフになりますが、.NETでこの制限を使用して実行できる興味深いことはほとんどありません。
2. 共通のオブジェクトを操作するすべての関数lockは、共通のものである必要があります。すべてのロックは同じ順序で行う必要があります。これにより、コードスレッドは安全になりますが、非常に遅くなり、複数のスレッドを使用しないこともできます。
3. ...

コードスレッドを安全にするルールはありません。実行できる唯一のことは、コードがアクティブに実行されている回数に関係なくコードが機能することを確認することです。各スレッドは、いつでも中断され、独自の状態/場所、およびこれは、共通オブジェクトにアクセスしている（静的またはその他の）関数ごとに。

オブジェクトロック、ステートレス、または不変を使用して、同期する必要があります。

リンク：http : //docs.oracle.com/javase/tutorial/essential/concurrency/immutable.html