Operacje atomowe

pytanie zadane 16 sierpnia 2022 w C i C++ przez RufinB Obywatel (1,830 p.)
edycja 16 sierpnia 2022 przez RufinB

W podręczniku do c++ przeczytałem że powodem dla którego zmienna atomic nie może mieć konstruktora kopiującego jest fakt że "operacja na dwóch różnych zmiennych nie może być atomowa" więc jak może istnieć compare_exchange_weak jako operacja atomowa skoro działa niemal identycznie jak hipoteczny konstruktor kopiujący

komentarz 16 sierpnia 2022 przez adrian17 Ekspert (344,860 p.)

zmienna atomic nie może mieć konstruktora kopiującego

Klasa przechowywana w atomic<> nie może mieć nietrywialnego konstruktora kopiującego.

więc jak może istnieć compare_exchange_weak jako operacja atomowa skoro działa niemal identycznie jak hipoteczny konstruktor kopiujący

TBH nie wiem co przez to masz na myśli.

1 odpowiedź

odpowiedź 16 sierpnia 2022 przez j23 Mędrzec (194,920 p.)
edycja 16 sierpnia 2022 przez j23

Najlepsza

Generalnie chodzi o to, że operacje atomowe realizowane są na bardzo niskim poziomie (instrukcji procesora), a tam nie ma czegoś takiego jak klasy, nie ten poziom abstrakcji. Tam są bajty, słowa, podwójne słowa itd. Dlatego std::atomic wymaga, by typ T był Trivially Copyable, czyli przy kopiowaniu był traktowany jak ciąg bajtów, a nie zbiór pól, które trzeba jakoś specjalnie kopiować wykorzystując zdefiniowane przez nie operatory kopiowania.

komentarz 16 sierpnia 2022 przez RufinB Obywatel (1,830 p.)

A czy jest możliwe aby operacje atomowe wykonywane na dwóch różnych zmiennych atowowych w dwóch różnych wątkach (każdy wątek pracuje na własnej zmiennej atomowej) były wykonywane równocześnie