bezpieczne niszczyciele statyczne, gdy wiele wątków wywołuje exit()

Question

Jak bezpiecznie usuwać statyczne obiekty C++ w przypadku, gdy wiele wątków (Posix) wywołuje jednocześnie exit()?

Wydaje się w moim otoczeniu CentOS6 że exit() wykonuje atexit (lub on_exit) czyszczenia ładowarki wywołując coś podobnego fct[--cnt]() gdzie cnt jest liczba zarejestrowanych koparki. Gdy wiele wątków wywołuje w tym samym czasie exit(), mamy warunki wyścigu w niezabezpieczonej operacji --cnt, a niektóre programy obsługi mogą być pomijane lub wywoływane wiele razy (co prowadzi do sporadycznych awarii). Jak mogę się upewnić, że tylko jeden z wątków wywołujących exit() powoduje czyszczenie i wszystkie inne kończą się? Należy pamiętać, że wstawienie pthread_mutex_lock() do obsługi czyszczenia nie pomoże, bo to handler może zostać pominięty ...

Niestety nie można uniknąć, że wiele wątków zadzwonić exit() bo to kod moi użytkownicy będą pisać (mam zapewniając biblioteka dla nich).

Szukasz bezpiecznych pomysłów, dzięki!

Answer 1

Jeśli używasz gcc, możesz skorzystać z poniższego kodu, aby określić procedurę oczyszczania:

void __attribute__ ((destructor)) my_fini(void); 

Jeśli to nie rozwiąże problemu, jak o definiowaniu pojedynczy obiekt z czasem trwania statycznego, którego destructor czy zadbasz o swoje porządki?

Answer 2

Nie ma przenośnego sposobu obsługi wielu wywołań do wyjścia() - ponieważ nie jest zdefiniowane (zachowanie), co dzieje się w takim przypadku.

Jednak w przypadku niektórych platform można znaleźć sposób na zrobienie tego. Nieco ogólnym rozwiązaniem "wywoływanego wiele razy" jest posiadanie flagi w statycznych obiektach, takich jak "jestem już zniszczony". Jak zwykle, można ukryć, że w szablonie:

template <typename T> class StaticExitHandled { 
public: 
    std::unique_ptr<T> t_; 
    ~StaticExitHandled() { t_.release(); } 
}; 

Teraz tylko pamiętać, aby zadeklarować wszystkie statycznych obiektów z tego szablonu. To jest właśnie jego rdzeń, dodaj dzwonki i gwizdki według własnego gustu. Ponadto, zamiast std :: unique_ptr <> możesz użyć boost :: optional <> lub czegoś takiego.

Nie sądzę, że istnieje ogólne rozwiązanie dla "w ogóle nie wywołanego".

Właściwie odradzam posiadanie nietrywialnych obiektów statycznych w środowisku wielowątkowym. Tak więc, tylko statyczne POD i obiekty z silnie ograniczonymi destruktorami (w zależności od tego, co jest bezpieczne w tym momencie w twoim środowisku - tj. Zamykanie uchwytów plików jest w porządku w większości środowisk).