Dlaczego nie jest w pełni zaimplementowane atomowe podwójne?

Question

Moje pytanie jest dość proste. Dlaczego nie jest std::atomic<double>implemented completely? Wiem, że ma do czynienia z zablokowanym dostępem zmiennym. Ale tak naprawdę nie widzę, dlaczego to nie powinno być możliwe na podwójnym.

Podano, że można użyć dowolnego typu trivially copyable. I oczywiście podwójne jest wśród nich. Więc podstawowe operacje powinny być w porządku (ustawienie, czytanie itp.). Jednak w liczbach całkowitych możliwy jest dodatkowy zestaw operacji (fetch_add, ++, + =, etc).

Podwojenie niewiele różnią się od tych typów. Jest natywna, banalnie kopiowana itd. Dlaczego standard nie zawierał podwójnego z tymi typami?

Answer 1

std::atomic<double> jest obsługiwany w tym sensie, że można go utworzyć w swoim programie i będzie działał zgodnie z regułami C++ 11. Możesz wykonywać z nim ładunki i magazyny oraz porównywać je i tym podobne.

standard określa, że ​​operacje arytmetyczne (+, * + =, &, itd.) Są umieszczone tylko na atomistyki o „integralne” typów, więc std::atomic<double> nie mają żadnego z tych działań określonych.

Rozumiem, że ze względu na niewielkie poparcie dla operacji pobierania lub innych operacji arytmetycznych dla typów zmiennoprzecinkowych w obecnie używanym sprzęcie, standard C++ nie zapewnia operatorom ich, ponieważ musieliby być wdrażane nieefektywnie.

(edycja). Na marginesie, std::atomic<double> w VS2015RC jest bez blokady.

Answer 2

Standardowa biblioteka wymusza std::atomic<T>, gdzie T jest dowolnym typem TriviallyCopyable. Od double jest TriviallyCopyable, std::atomic<double> powinien się skompilować i działa doskonale.

Jeśli nie, masz wadliwą bibliotekę.

przykład: http://goo.gl/QhaphY

Edit: skoro komentarz wyjaśnienia pytanie:

katalogu C++ norma określa konkretne specjalizacje podstawowych integralnych typów. (tj. typy zawierające liczby całkowite, które muszą być obecne w danym języku). Te specjalizacje mają dodatkowe wymagania w przypadku ogólnym atomowej, w które muszą wspierać:

• fetch_add
• fetch_sub
• fetch_and
• fetch_or
• fetch_xor
• operator ++
• operatora -
• Operatory porównawcze i przypisania

OR, XOR, I oczywiście nie dotyczą typów zmiennoprzecinkowych, a nawet porównania stają się trudne (ze względu na konieczność obsługi epsilonu). Tak więc wydaje się nierozsądne, aby opiekunowie bibliotek udostępniali określone specjalizacje, gdy nie ma żadnego przypadku, aby poprzeć żądanie.

Nic nie stoi na przeszkodzie, by uniemożliwić udzielenie tej specjalizacji przez bibliotekę w mało prawdopodobnym przypadku, gdy dana architektura obsługuje atomową wyłączność - lub dwa podwójne (nigdy nie będzie!).