Многопоточность в C ++ 11: предупреждение о неинициализированных значениях Valgrind - PullRequest
Новая
       19

Многопоточность в C ++ 11: предупреждение о неинициализированных значениях Valgrind

0 голосов
/ 10 ноября 2018

Я скомпилировал следующую пустышку под Linux, используя gcc 8.2.1: 

#include <iostream>
#include <mutex>
#include <thread>

struct Foo
{
  void start() {
    thread = std::thread(&Foo::run, this);
  }

  void stop() {
    mutex.lock();
    done = true;
    mutex.unlock();

    thread.join();
  }

  void run() {
    bool tmp;

    for (;;) {
      mutex.lock();
      tmp = done;
      mutex.unlock();

      if (tmp)
        break;
    }
  }

  std::thread thread;
  std::mutex mutex;
  bool done;
};

int main()
{
  Foo foo;

  std::cout << "starting...\n";
  foo.start();

  std::cout << "stopping...\n";
  foo.stop();

  std::cout << "done\n";
}

Если я впоследствии запускаю его под valgrind 3.14.0, я получаю следующее предупреждение: 

==30060== Thread 2:
==30060== Conditional jump or move depends on uninitialised value(s)
==30060==    at 0x1095F3: Foo::run() (in /.../a.out)
==30060==    by 0x109AAE: void std::__invoke_impl<void, void (Foo::*)(), Foo*>(std::__invoke_memfun_deref, void (Foo::*&&)(), Foo*&&) (in /.../a.out)
==30060==    by 0x109771: std::__invoke_result<void (Foo::*)(), Foo*>::type std::__invoke<void (Foo::*)(), Foo*>(void (Foo::*&&)(), Foo*&&) (in /.../a.out)
==30060==    by 0x10A012: decltype (__invoke((_S_declval<0ul>)(), (_S_declval<1ul>)())) std::thread::_Invoker<std::tuple<void (Foo::*)(), Foo*> >::_M_invoke<0ul, 1ul>(std::_Index_tuple<0ul, 1ul>) (in /.../a.out)
==30060==    by 0x109FB8: std::thread::_Invoker<std::tuple<void (Foo::*)(), Foo*> >::operator()() (in /.../a.out)
==30060==    by 0x109F8D: std::thread::_State_impl<std::thread::_Invoker<std::tuple<void (Foo::*)(), Foo*> > >::_M_run() (in /.../a.out)
==30060==    by 0x496A062: execute_native_thread_routine (thread.cc:80)
==30060==    by 0x4894A9C: start_thread (in /usr/lib/libpthread-2.28.so)
==30060==    by 0x4CD7A42: clone (in /usr/lib/libc-2.28.so)

Я не совсем уверен, что является причиной этого, я написал этот фрагмент в надежде диагностировать ошибку в более сложном классе (который я не могу опубликовать здесь), над которым я сейчас работаю и который генерирует исключения при вызове эквивалента Foo::stop(). Означает ли предупреждение valgrind серьезное недопонимание интерфейса потоков C ++ с моей стороны? И если предположить, что Foo::run действительно сделает что-то полезное, как я могу исправить эту программу, сохранив интерфейс Foo таким, какой он есть?

1 Ответ

0 голосов
/ 10 ноября 2018

Каково начальное значение bool done;? Он не определен (некоторое значение мусора), поэтому ваш поток (run) может быть остановлен без вызова stop метода.

done необходимо инициализировать: 

  //...
  std::mutex mutex;
  bool done = false; // <--
...