Отлов ошибки

[__Heaven__]

ThreadSanitizer не пробовали?

Нет. Не знал о таком. Спасибо, попробую.

[RedDog]

Как только добавляю больше логов, чтобы локализовать проблему на проблемной машине, как она сразу пропадает.
Быть может кто-нибудь подкинет идей что можно ещё попробовать сделать для решения проблемы...

При подобном поведении делал свой логер, который работал в отдельном треде и не мешал (не синхронизировал) основную логику.
Не все и сразу писал, т.к к нему много кто обращался, но не мешал никому.

[__Heaven__]

Да, в логгере имеется мьютекс, видать, он влиял на результат
Я забыл упомянуть, у меня ещё парсинг (открытие файла) происходит в std::async, но к моменту расчёта парсинг окончен.
ThreadSanitizer показал много мест... Ругнулся также на ui->setup(this). Также ругнулся и на интересующее место.
У меня проблема интерпретации вывода, прошу помочь

Код

C++ (Qt)
    FaceSet result; // using FaceSet = QSet<Face>;
 
    const VolumeNumberList &volumeNumbers = mesh()->volumeNumbers(); // byval QVector
 
    PARALLEL_FOR
    for (int i = 0; i < volumeNumbers.count(); ++i){
        //taking volume byref
        const MeshVolume &volume = mesh()->volume(volumeNumbers.at(i)); // Read of size 2 at 0x7b080008b95c by thread T13:
 
        const auto &volumeRange = volume.range(); // can modify mutable range_
        if (!isVolumeHasToBeChecked(volume, filter) ||
                !hasIntersection(line, volumeRange)){
            continue;
        }
        const auto &shell = volume.shell(); //by value
        const auto &shellFaces = shell.shellFaces(); //by value QVector
        const FaceSet &volumeResult = intersectedFacesWithLine(line, shellFaces); // byval QSet
 
        SCALAR{
            result += volumeResult;
        }
    }
 
    return result;
 

Код

C++ (Qt)
#ifdef _OPENMP
#define PARALLEL_FOR _Pragma("omp parallel for")
#define SCALAR _Pragma("omp critical")
#else
#define PARALLEL_FOR
#define SCALAR
#endif
 

[Igors]

Сначала отключить оmp (там ли собака порылась). Потом изучать intersectedFacesWithLine где, как я понял, и происходит расчет. Лог: не сразу печатать, в параллельном цикле слить в контейнеры (для каждой нитки свой), а по окончании уже в консоль/файл

"Race condition" - возможно переменная одновременно читается/пишется, что может быть не атомарно и повести к ошибке. Ну это всего лишь догадки

[__Heaven__]

Вроде, удалось подавить вывод data race санитайзера таким путём:
Указал уровень оптимизаций 0. Таким образом получил более конкретное место. Там производилось 3 обращения подряд к std::map::at заменил их на константные варианты.
Не понимаю, как константность методов влияет.
Псевдокод проблемного места

Код

C++ (Qt)
PARALLEL_FOR
for (i in range) {
    const Triangle triangle(vertices_, i);
    .....
}
 
Triangle::Triangle(vertex_map *vertices, int i)
    : a(vertices.at(i)), b(vertices.at(i+1)), c(vertices.at(i+2))
{}
 

[RedDog]

vertices.at(...) потокобезопасны?

[Igors]

Псевдокод проблемного места

Код

C++ (Qt)
PARALLEL_FOR
for (i in range) {
    const Triangle triangle(vertices_, i);
    .....
}
 
Triangle::Triangle(vertex_map *vertices, int i)
    : a(vertices.at(i)), b(vertices.at(i+1)), c(vertices.at(i+2))
{}
 

Неудачный псевдокод, здесь важно является ли for первым циклом (будет ли omp сама заниматься переменной "i"), тогда напр пройти с шагом 3 нельзя. И не видно что заменено на константные методы (vertex_map не const, значит будет вызываться неконстантный at). К слову: если at выбросит исключение - оно поймается в одной из ниток omp (необязательно главной).

А вообще конечно вряд ли "то место". Если бы что не так с at  - там было бы "костей не собрать", не то что редкий вылет.

[__Heaven__]

vertices.at(...) потокобезопасны?

Не знаю. Потокобезопасен ли неконстантный std::map::at?

[__Heaven__]

Исключения в at бросаться не должны - все запрашиваемые элементы существуют

[Igors]

Не знаю. Потокобезопасен ли неконстантный std::map::at?

Ну если "все эл-ты существуют" - то скорее всего да (а по-хорошему в доке указывается "thread-safe").  Но чего Вы уперлись в это место? Какой-то санитар на него указал? Так верить ему необязательно. Ищите запись, ошибка обязательно связана с ней