Operacje atomowe

Question

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

Comments

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.

Answer 1

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.

Comments

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

---

Tak (pod warunkiem, że każdy wątek śmiga na oddzielnym rdzeniu).

---

Dzięki