DRD сообщает об ошибке «конфликтует загрузка» на std :: mutex :: lock

Рассмотрим следующий код:

#include <mutex>
#include <thread>
#include <vector>
#include <thread>

struct counter {
    counter()
    {
    }

    size_t
    get()
    {
        std::unique_lock<std::mutex> lock(mutex);

        return 0;
    }

    std::mutex mutex;
};

static counter &
get_counter()
{
    static counter manager;
    return manager;
};

static void do_work()
{
    get_counter().get();
}

int main()
{
    std::vector<std::thread> v;
    for (int i = 0; i < 16; i++)
        v.emplace_back([]{ do_work(); });

    for (auto &t : v)
        t.join();
}

При компиляции: g++ -std=c++11 source.cpp -lpthread и запускается под valgrind valgrind --tool=drd ./a.out Я получаю следующую ошибку:

==4297== drd, a thread error detector
==4297== Copyright (C) 2006-2017, and GNU GPL'd, by Bart Van Assche.
==4297== Using Valgrind-3.15.0 and LibVEX; rerun with -h for copyright info
==4297== Command: ./a.out
==4297== 
==4297== Thread 3:
==4297== Conflicting load by thread 3 at 0x0010f050 size 4
==4297==    at 0x4844083: vgDrd_mutex_type (drd_pthread_intercepts.c:380)
==4297==    by 0x4844083: pthread_mutex_lock_intercept (drd_pthread_intercepts.c:885)
==4297==    by 0x4844083: pthread_mutex_lock (drd_pthread_intercepts.c:898)
==4297==    by 0x109E72: __gthread_mutex_lock(pthread_mutex_t*) (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x109EC7: std::mutex::lock() (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x10A4A8: std::unique_lock<std::mutex>::lock() (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x10A206: std::unique_lock<std::mutex>::unique_lock(std::mutex&) (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x10A0C4: counter::get() (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x10940B: do_work() (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x109420: main::{lambda()#1}::operator()() const (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x109E06: void std::__invoke_impl<void, main::{lambda()#1}>(std::__invoke_other, main::{lambda()#1}&&) (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x109DA7: std::__invoke_result<main::{lambda()#1}>::type std::__invoke<main::{lambda()#1}>(std::__invoke_result&&, (main::{lambda()#1}&&)...) (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x109D45: void std::thread::_Invoker<std::tuple<main::{lambda()#1}> >::_M_invoke<0ul>(std::_Index_tuple<0ul>) (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297==    by 0x109D06: std::thread::_Invoker<std::tuple<main::{lambda()#1}> >::operator()() (in /home/igchor/Projects/libpmemobj-cpp/build/a.out)
==4297== Allocation context: BSS section of /home/igchor/Projects/libpmemobj-cpp/build/a.out
==4297== Other segment start (thread 2)
==4297==    (thread finished, call stack no longer available)
==4297== Other segment end (thread 2)
==4297==    (thread finished, call stack no longer available)
==4297== 
==4297== 
==4297== For lists of detected and suppressed errors, rerun with: -s
==4297== ERROR SUMMARY: 15 errors from 1 contexts (suppressed: 20 from 12)

Это какая-то проблема с инициализацией статических структур? Я предполагаю, что это ложноположительный результат, так как инициализация статических объектов должна быть поточно-ориентированной. Есть ли способ заставить эту ошибку замолчать?

Примечание: теперь, когда я удаляю конструктор структуры counter это выглядит так:

struct counter {
    size_t
    get()
    {
        std::unique_lock<std::mutex> lock(mutex);

        return 0;
    }

    std::mutex mutex;
};

drd не сообщает об ошибках.

Я тестировал все это на Ubuntu 19.10 с:

  • g ++ - 9.2.1 (и clang ++ 9.0.0)
  • валгринд 3.15

Всего 1 ответ


Было подтверждено, что это ошибка drd, и ее уже следует исправить на мастере drd: https://bugs.kde.org/show_bug.cgi?id=416286.


Есть идеи?

10000