質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.50%

  • Java

    15845questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

スレッドセーフについて

解決済

回答 3

投稿

  • 評価
  • クリップ 1
  • VIEW 566

msd

score 84

スレッドセーフについて教えてください。

言葉の意味自体は複数のスレッドから制御が走った場合に、データの整合性が取れないものという理解をしています。
以下の、コードにおいてはCouterクラスはスレッドセーフではないという使い方で間違いないでしょうか?
例えば、synchronizedをつけるとこのクラスはスレッドセーフということなのでしょうか?

そもそも、java.util.HashMapはスレッドセーフではないというイメージがよく理解できていません。
staticなクラスのメンバがHashMapであった場合にそのメンバの挙動が保証できないということでしょうか?

public class Counter {

    private int count;

    public Counter() {
        this.count = 0;
    }

     public void countUp() {
        this.count += 1;
    }

    public int get() {
        return this.count;
    }
}

public class CountUpTask implements Runnable {

    private Counter counter;

    public CountUpTask(Counter c) {
        this.counter = c;
    }

    @Override
    public void run() {

        for (int i = 0; i < 10000; i++) {
            this.counter.countUp();
        }
    }

}

public class CountUpTest1 {

    public static void main(String[] args) throws InterruptedException {

        Counter counter = new Counter();
        CountUpTask c1 = new CountUpTask(counter);

        Thread t1 = new Thread(c1);
        Thread t2 = new Thread(c1);

        t1.start();
        t2.start();

        t1.join();
        t2.join();

        System.out.println(counter.get());

    }

}
  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 3

+2

少し難解かもしれませんが、スレッドセーフ性に関する議論は記事「Javaの理論と実践: スレッド・セーフの特性について」をお薦めします。書籍Effective Javaでも「スレッド安全性を文書化する」として言及されている話題です。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2017/06/09 11:58

    記事に「…少し探してみれば、スレッド・セーフなコードの定義として典型的な、でも役には立たない、むしろ説明のようなものが見つかり…」とあり、それはまさに自分が挙げたような例ですね。
    本来、この解説にあるような内容を知っておくべきと思いました。

    キャンセル

checkベストアンサー

0

追記: yohhoyさんご指摘により最初の例の不具合(volatileが抜けている)ことがわかりましたので修正いたしました。失礼しました。

追記2: 恥かきついでに自分の考えの間違いの説明を試みます。

  1. synchronizedでメソッドは排他できる。
  2. countUpが実行の完了時にgetが他のスレッドから呼び出されてもcountUp完了まで待たされる
  3. countUpが実行を完了していればフィールドの値は0->2に書き換わる
  4. その後getが動けば1が読めることはなく、必ず2が読める(と考えた)

例えば、複数のプロセッサが並行して動作している場合に、プロセッサーごとに独立して動作するキャッシュがあったとすると、例え同一空間上のメモリーを参照したとしても、メモリー・フェンスなしではどのタイミングの値が読めるかの保証がないということだと思います。自分はコンパイラーの最適化によって最新の値を常に参照するかどうかという観点でvolatileを考えていたのですが、メモリー・フェンスの動作について把握できていませんでした。

(この解釈にも間違いがあるかも知れません。もしそうならご指摘いただければ非常にありがたいです。)


スレッドセーフかどうかは「そのクラス(あるいはそのクラスのインスタンス)」に複数のスレッドから機能にアクセスした際に「矛盾のない結果を保証する」ことを意味します。

ご質問のCounterクラスでいえばcountUpメソッドのみにsynchronizedを付ければスレッドセーフと呼べます。しかしながら・・・

class Counter1 {
  private volatile int count;

  public synchronized void countUp() {
    count++;
    count++;
  }

  public int get() {
    return count;
  }
}

上記の(あまりよい実装ではない)クラスで、countUp()の呼び出しをした場合、getの仕様が「結果が偶数であることを保証する」となっていたならスレッドセーフとはいえなくなります。getの起動タイミングによっては1が返される可能性があるからです。(もちろんcount += 2となっていればgetにsynchronizedは必要なくなります)

また違う例で、

class Value {
  public volatile int value;

  public void set(int value) {
    this.value = value;
  }
}

上記のようなクラスは「valueを参照したらそれ以前の最後のset結果が得られる」ことを保証できます。しかしもしvolatileが付いていなければ保証がなくなり、スレッドセーフとはいえなくなります。例えset呼出し後にvalueを参照したとしても、メモリー・フェンスによるアクセス保証がない場合、あるスレッドでvalueを更新後に別のスレッドで更新後の最新の値が読めるという保証がないからです。(コンパイラーの最適化によって過去のvalueのアクセス結果が使いまわされるということもあるかも知れません。)


このように、そのクラスが提供する機能の仕様が「何を保証するか」「状態を変更する機能がどのような実装を採っているか」によって「スレッドセーフの正確な意味や配慮」は微妙に変わると思います。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2017/06/09 08:56

    実例を挙げてのご回答ありがとうございました。
    よく分かりました。

    キャンセル

  • 2017/06/09 11:55

    Counter1クラス実装のcountメンバにはvolatile修飾が必須ですよ。理由は https://www.ibm.com/developerworks/jp/java/library/j-jtp06197.html で解説されています。

    このあたりは非常に難解なので、よほどの事情が無い限りは出来合いのクラスを使うか、素直に全部synchronizedメソッドにしたほうが無難ですね...

    キャンセル

  • 2017/06/09 12:15

    getにsynchronizedを付けてvolatileを付けなかったときに「最新の値を得られないかも知れないが、少なくとも奇数が返される不具合は発生しない」と判断したため、volatileを省いたのですが、yohhoyさんのご指摘により慌てております。提示いただいた解説をみて「自分の理解に足りていない」という点を見つけられずにいるので本件は自分が質問すべきという気がしてきています。

    キャンセル

  • 2017/06/09 12:26

    あ・・・単に、「メモリー・フェンスの動作がないのだからいつの時点の値が見えるかはわからない」ということですね。もしこれで認識があってるならかなり間抜けな話ですね・・・

    キャンセル

  • 2017/06/09 19:50

    肝心なことを忘れていました。「ご指摘大変ありがとうございました。」>yohhoyさん

    キャンセル

0

以下の、コードにおいてはCouterクラスはスレッドセーフではないという使い方で間違いないでしょうか?

それで問題ありません。

例えば、synchronizedをつけるとこのクラスはスレッドセーフということなのでしょうか?

Counterクラスにある2つのメソッドcountUp,get両方に付けばおそらくスレッドセーフです(正直自身がない)。

そもそも、java.util.HashMapはスレッドセーフではないというイメージがよく理解できていません。

HashMap<String, Integer>を使って、文字列中に登場する単語を単語ごとに数えるというプログラムを考えると、
複数スレッドを使って数え、そのカウント管理をひとつのHashMapインスタンスを使って行った場合、
上記のCounterクラスと全く同じ問題が生じます。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2017/06/09 08:56

    個別の疑問に回答頂きありがとうございます。
    ぼんやりとしか分かっていなかったので助かりました!

    キャンセル

同じタグがついた質問を見る

  • Java

    15845questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。