[stiv95]

Hej, mam pytanie o problem producenta i konsumenta w wielowątkowości, znalazłem taki przykład
https://pastebin.com/9apeiazL

Thread Sanitizer wyrzuca mi tutaj: WARNING: ThreadSanitizer: double lock of a mutex

Ktoś wie jak można to naprawić aby nie wyrzucało tego warninga? Teoretycznie unique_lock powinien chyba zwalniać ten mutex po wyjściu ze scope?

#cpp #programowanie #naukaprogramowania #cplusplus #programista15k

[Feargan]

@stiv95: jaki kompilator?

[Feargan]

@stiv95: ten warning jest spowodowany bugiem związanym ze zmienną warunkową. Bug występował w clangu i w gcc.
https://gcc.gnu.org/bugzilla//show_bug.cgi?id=101978
Sprawdziłem na gcc 10 i rzeczywiście sanitizer spłakał się, że niby robi się podwójny lock. Potem skompilowałem to na gcc 12 i warning zniknął.
Na tym zabawa się nie kończy, bo niżej wypluwa warning o wyścigu danych, a dzieje się tak, bo dostęp do production_stopped jest zrealizowany nieprawidłowo. Zapis i odczyt trzeba albo

[2ubRYlGqXdXxRAzXwRaQQ]

niby

@stiv95: @Feargan: nauczcie sie programowac pajace

[stiv95]

@Feargan: ja mam gcc 11.3.0

[Feargan]

@stiv95: no to albo upgrade, albo przepisz te zmienne warunkowe na dwa semafory ¯\_(ツ)_/¯

[stiv95]

@Feargan: Ok dzięki wielkie za pomoc :⁠-⁠)

[Feargan]

@stiv95: w tym kodzie może być jeszcze więcej problemów, bo np. teraz zauważyłem, że dostęp do kolejki jest realizowany poza sekcją krytyczną (zobacz !q.empty())

[stiv95]

@Feargan: a ok faktycznie, chodzi o ten warunek w condition variable w funkcji consumer?

[Feargan]

@stiv95: nie, to już jest zsynchronizowane. Chodziło mi o warunek while w linii 42.

[stiv95]

@Feargan: aa ok :⁠-⁠) czyli tego unique locka wyciągnąć przed while?

[Feargan]

@stiv95: pewnie zadziała, ale nie wygląda to na najszczęśliwsze rozwiązanie. Gdy konsument dobierze się do sekcji krytycznej, to zablokuje innych producentów i konsumentów, aż do całkowitego opróżnienia kolejki. Kiepsko.

[SpinOff]

@stiv95 Tak w ogóle to możesz wyrzucić tego checka na rozmiar kolejki z while'a. Powiedziałbym że to nawet nie najlepsze rozwiązanie, bo gdy konsumenci opróżnią kolejkę zanim producenci ją wypełnią, stracisz wątki konsumentów.

[stiv95]

@Feargan @SpinOff dzięki Panowie za pomoc :⁠-⁠)