dlclose() nie wywołać destruktor globalnych obiektów

Question

plugin1.cpp:

#include <iostream> 

static class TestStatic { 
public: 
    TestStatic() { 
    std::cout << "TestStatic create" << std::endl; 
    } 
    ~TestStatic() { 
    std::cout << "TestStatic destroy" << std::endl; 
    } 
} test_static; 

host.cpp

#include <dlfcn.h> 
#include <iostream> 
int main(int argc,char *argv[]) { 
    void* handle = dlopen("./plugin1.so",RTLD_NOW | RTLD_LOCAL); 
    dlclose(handle); 
    return 0; 
} 

zbudować i uruchomić:

>g++ -c plugin1.cpp -o plugin1.o -fPIC 
>g++ -shared plugin.o -o plugin1.so 
>g++ host.cpp -o host -ldl 
>./host 
>TestStatic create 
>Segmentation fault 

dlaczego TestStatic :: ~ TestStatic wywołał w "exit()", ale nie w "dlclose()"?

Answer 1

Standard C++ wymaga, aby destruktory były wywoływane dla obiektów globalnych, gdy program wychodzi w przeciwnej kolejności konstrukcji. Większość implementacji radzi sobie z tym poprzez wywoływanie procedury atexit biblioteki C w celu zarejestrowania destruktorów. Jest to problematyczne, ponieważ norma z 1999 r. Wymaga tylko, aby wsparcie implementacji było rejestrowane 32, chociaż większość implementacji obsługuje znacznie więcej. Co ważniejsze, w większości implementacji nie ma możliwości usunięcia obiektów DSO z działającego obrazu programu przez wywołanie dlclose przed zakończeniem programu.

Ten problem rozwiązano w późniejszych wersjach GCC, w tym w standardowej bibliotece C/C++ i łączu. Zasadniczo destruktory C++ powinny być rejestrowane przy użyciu funkcji __cxa_atexit zamiast atexit (3).

Aby uzyskać pełne informacje techniczne na temat __cxa_atexit, patrz: Itanium C++ ABI specification.

---

Z twojego pytania nie wynika, która wersja gcc, linker i standardowej biblioteki C używasz. Ponadto podany kod nie spełnia standardu POSIX, ponieważ nie zdefiniowano makr RTDL_NOW lub RTDL_LOCAL. Są to: RTLD_NOW i RTLD_LOCAL (patrz dlopen).

Jeśli standard C biblioteki nie obsługuje __cxa_atexit, może trzeba go wyłączyć poprzez określenie -fno-use-cxa-atexit gcc flag

-fuse-CXA-atexit

Rejestracja destruktorów dla obiektów z pamięci statycznej czas trwania z funkcją __cxa_ atexit , a nie funkcją atexit . Ta opcja jest wymagana do obsługi statycznych destruktorów zgodnych ze standardami , ale działa tylko , jeśli biblioteka C obsługuje __cxa_atexit.

Ale może to spowodować problem, w którym destruktory są wywoływane w różnej kolejności lub w ogóle nie są wywoływane. Najlepszym rozwiązaniem w przypadku zepsutej pomocy __cxa_atexit lub braku wsparcia w ogóle nie jest używanie statycznych obiektów z destruktorami w twoich wspólnych bibliotekach.