Operacje atomowe

pytanie zadane 30 stycznia 2018 w C i C++ przez Treners Początkujący (310 p.)

W prostych słowach, czy ktoś może mi wyjaśnić różnicę pomiędzy operacjami atomowymi compare_exchange_strong() i compare_exchange_weak() ?

1 odpowiedź

odpowiedź 30 stycznia 2018 przez mokrowski Mędrzec (155,460 p.)
wybrane 31 stycznia 2018

Najlepsza

Na niektórych platformach sprzętowych, trudno uzyskać dostęp do zasobu na wyłączność (czego wymaga wersja _strong()). Wtedy można rozważyć użycie wersji _weak() która zapewni porównanie do oczekiwanej wartości i jej nadpisanie ale nie da gwarancji wymiany danych z nową wartością. Do takich sytuacji może dochodzić w przypadku próby dostępu do danych np. na innym CPU lub w cache niedostępnym dla danej jednostki wykonawczej.

Nie wiem czy takie wyjaśnienie Ci wystarczy ale typy atomowe i lock_free programming to dość złożone zagadnienie :-)

komentarz 31 stycznia 2018 przez Treners Początkujący (310 p.)

Czyli o ile mam gwarancję pracy na danych w ramach swojego wątku i nie interesuje mnie konieczność publikacji zmienionej wartości dla innych wątków, wersja weak() wystarczy? Czy lepiej użyć strong() i ew. barier pamięciowych?

komentarz 1 lutego 2018 przez mokrowski Mędrzec (155,460 p.)

Raczej nie w ramach _strong() czy _weak() powinieneś wybierać... Zapoznaj się z barierami pamięciowymi. W większości przypadków wystarczy typ atomowy, operacje store/load/fetch oraz dodanie barier w tych operacjach. Operacje exchange_, będą celowe gdy będziesz chciał tworzyć spinlock lub szybciej działające struktury powiadomień działające w kontekście zbliżonym do zmiennych decyzyjnych.

Trochę trudno cokolwiek radzić jeśli nie przybliżysz problemu. Na tak dużym poziomie ogólności, trochę teoretyzuję czego nie lubię. Pokaż kod swojego problemu to będę mógł się do tego jakość odnieść... :-)