子関数の排他について

Question

std::mutex mtx;

sample(void);
{
 
 std::lock_guard<std::mutex> lock(mtx);

 int a;
 int b;
 example(a, b);
}

example(int a, int b)
{
 int c;
 example_2(c);
}

example_3(int c)
{
　省略
}

上記のようなソースがあるとします。
std::lock_guardstd::mutexはスコープ単位で排他をかけてくれる認識ですが
この場合example3にアクセスしている場合も他のスレッドから操作ができないようにロックはかかっているのでしょうか？

Comments

[fana]

何と言うか，もうちょっと質問を整理した方が良いのでは．
どういう呼び出し方に関する話を想定しているのか，とか．
あと，ソースも間違いと思わしき点が見られるし．

Answer 1

以下のようなコードで試してみたら、example_2のところでデッドロックしたっぽいので、子関数でもロックはかかっていると思います。

#include <iostream>
#include <mutex>

std::mutex mtx;

void example_2(int c)
{
    std::lock_guard<std::mutex> lock(mtx);
    std::cout << "lock2" << std::endl;
}

void example(int a, int b)
{
 int c = 3;
 example_2(c);
}

void sample(void)
{
 std::lock_guard<std::mutex> lock(mtx);
 std::cout << "lock1" << std::endl;

 int a = 1;
 int b = 2;
 example(a, b);
}

int main()
{
    sample();
}

Comments

[tyapapa]

ソース展開ありがとうございます！
私の方でもデバッグしてみたところデッドロックが起こりました。
排他がかかっているようですね。ありがとうございます。

Answer 2

明示的に排他しないかぎりno-guardです。

[追記] 説明足りんかったかな。

void f() {
  なんかする
}

void g() {
  ここでガード
  f();
}

g()が呼ばれたらf()内の"なんかする"の間はガードされています。
が、f()が直接呼ばれたらガードされてません。
なので、利用者は絶対にf()を直接呼ばないならこれでいいけど、
利用者にf()を公開するならf()でもガードせにゃなりません。
ところがf()でガードするとg()から呼ばれたときに多重ロックが発生します。
それを回避するには recursive_mutex を使うことになろうかと。

Comments

[tyapapa]

example_3の関数内でstd::lock_guard<std::mutex> lock(mtx);を宣言して
明示的に排他しないとダメと言うことですか？

[episteme]

もちろんそのexample_3からsample呼んだりすると多重ロックとなります。
多重ロックを回避するには shared_lock を使うことになるかな。

[episteme]

ごめん、shared_lockじゃないや。
回答に[追記]しました。