3

マルチスレッドとは、簡単に言えばプログラムを処理するものを増やすことです。しかし、そのマルチスレッドが危険と聞いたことがあります。

マルチスレッドが何故危険なのでしょうか。

2
  • やっぱりこの質問、クローズ対象ですよね。。。
    – ra1ned
    Commented 2016年12月2日 22:29
  • 2
    面白そうな(?)質問ですがクローズ済みのためコメントで:端的に言えば「人間にとって正しく扱うのが難しすぎるから」の一言に尽きると思います。読み物ですが qiita.com/yohhoy/items/603f636e39188a9c3439 も参考に。
    – yohjp
    Commented 2016年12月5日 8:48

3 件の回答 3

3

危険というのは、正しく理解して使わないと、計算結果が間違ったり予期しないエラーが発生する事があるという事を注意喚起だと思います。

ここに数字を+1 する 関数 add() と 数字を -1 する sub() 関数があるとします。

順番に add() を 100回 実行し sub() を 100回 実行すると 元の数字に戻りますが

マルチスレッドで add() 100回 と sub() 100回を マルチスレッドで並列して動作させると
違う値になる可能性があります。

int i = 5;

void add() {
 i = i + 1;
}
void sub() {
 i = i - 1;
}

こんな なんでもない処理でも、マルチスレッドでは動作させることができないのです。

危険だと思いませんか?

だからある程度プログラムがちゃんとできるようになるまでは、マルチスレッドは
避けておいた方が良いですよ・・と親切心から「危険」と言っているのだと思います。

4
  • なるほど… 変数が壊れると解説に書いてあったのですがそういうことでしたか。
    – ra1ned
    Commented 2016年12月2日 22:26
  • i = i + 1という処理は、(1)iの値をCPU上の作業場に置く、(2)(1)に1を加える、(3)(2)をiに戻す、というステップです。例えばi=5の時にもしaddsubが同時に実行された場合、(1)の時点でどちらも5という値を持ちますよね。その後どうなるか、それぞれが(2)と(3)のステップを終えた状態を想像してみてください。
    – mok2pok
    Commented 2016年12月3日 2:48
  • @mok2pok なるほど。。。実際の動作のイメージが良くわかりました。
    – ra1ned
    Commented 2016年12月3日 4:05
  • 2
    アトミック操作とか、クリティカルセクション、アウトオブオーダー実行、メモリバリアについて調べると理解が深まると思います。 Commented 2016年12月3日 4:50
2

MultiThread is evil みたいな英語文章を見たことがあります。端的に言うと、正しいプログラミングが恐ろしく難しくって(あるメモリ上の値が複数スレッドから読み書きされた場合の挙動とか、とても難解で何度読んでも忘れます)、かつ、原因不明のバグの温床に、とても簡単になってしまうし、デバッグも極めて困難だ、みたいな文章だったような気がしてます。

まず、マルチスレッドではなくて、マルチプロセスで対応できるなら基本的にそっちで行なう方が大体正しい設計だと思います。どうしてもマルチスレッドしたいのでしたら、ライブラリを注意深く使いましょう。自前で mutex とかそれより下のレイヤーを触り出したら、それは多分マルチスレッドライブラリを書くのと同じぐらいの注意を割くことに、結果的になると考えていて、それが本当にやりたいことでないかぎり、やるべきではないのではないかと思っています。

1

マルチコアCPUが当たり前になって居ることも有り、今時マルチスレッドにする事は珍しくありません。危険とまで表現するのはオーバーと思います。もちろんマルチスレッドにする上で気をつけるべき事はあります。

アトミックではない操作は、途中で別スレッドが実行される可能性が常にあります。
k systemさんも書かれているので割愛しますね。

ループアンローリングによって他スレッドで変更した値が反映されなくなる事があります。

int a = 0;
void thread1()
{
    a = 1;
}
void thread2()
{
    while(a==0)
    {
        …
    }
}

このような記述をした場合、コンパイラの最適化によりa==0の判定結果はループ内で変化しないと見なしてループの外側で処理されるようになります。

アウトオブオーダー実行は同一コア上で結果に違いが発生しないように命令を置き換えますが、別コアとの相互作用までは考慮しません。

int a = 0;
int b = 0;
int c = 0;
void thread1()
{
    a = 3;
    b = 2;
    c = 1;
}
void thread2()
{
    while(c==0){};
    int d = a + b;
}

aとbに値を設定した後でcのフラグを1にしているつもりでもCPUがその順番通りに処理する保証はありません。c = 1が先に実行された結果、dには0、2、3の何れかが格納される可能性があります。

ライブラリの中にはスレッド毎に初期化処理が必要なものもあります。適切な方法でスレッドを起動するなり、スレッドの起動後に初期化処理を行うなり、適切な手順を守らなくてはなりません。環境に強く依存する話なので、例示は出来ませんが。

これらを考慮に入れた上で、スピンロックなり、クリティカルセクションなり、ミューテックスなりの同期命令を使って排他制御を行うことになります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。