Dotaz: C++ nepochopitelny SIGSEGV jen z volani ze staticke metody

[Mr.S1lent.cz]

Zdravim, mam tridu Http a v ni private variable, se kterou pracuji v nestaticke metode dane tridy. Kdyz volam z main nasledujici konstrukci, vsechno je ok:

Http *http;
http = new Http();
// v teto metode pristupuju k dane private variable ( std::vector std::string response_header )
http->requestGet( "url" );

kdyz ale tuto konstrukci zavolam ze staticke metody jine tridy ( je to callback metoda pthreadu, takze staticka byt "musi" ), tak mi to vyhodi SIGSEGV a to v metode requestGet(), v miste, kde pristupuje prave k te private variable, konkretne "if( ! response_header.empty() ) {". Podle tohoto chovani jsem usoudil, ze problem bude s tim volanim ze staticke metody, nebo tusite nekdo, kde by mohla byt chyba, nebo co by ji mohlo zpusobovat? Jak jiz rikam, mimo tuto statickou metodu volani funguje, jak ma....

Musel jsem to napsat takhle strucne a hodne teoreticky, ponevadz projekt je velmi rozsahly byt v jenom v inkriminovanych mistech na jeden prispevek, dekuju predem za vase reakce

---

---

Odpovědi

[pht]

Ve statické metodě (což je mimochodem i main) Vám nikdo nebrání vytvářet objekty a manipulovat s nimi jak chcete, takže ať tyto tři řádky máte v main() nebo v foo() tak je to dost jedno.

Takže hledejte problém jinde.

Musel jsem to napsat takhle strucne a hodne teoreticky, ponevadz projekt je velmi rozsahly byt v jenom v inkriminovanych mistech na jeden prispevek, dekuju predem za vase reakce

Musel jsem to napsat takhle stručně a hodně teoreticky poněvadž bez konkrétního (spustitelného) příkladu je to asi tak všechno co se s tím dá udělat. Ale možná má někdo křišťálovou kouli...

[vencas]

Pusť to v gdb, bez backtrace ti nikdo nic neřekne.

[Mr.S1lent.cz]

no, ja nevim, jestli vam tohle neco rekne

[Thread debugging using libthread_db enabled] [New Thread 0xb77a46d0 (LWP 14396)] [New Thread 0xb778eb90 (LWP 14399)] http://www-pokec.azet.sk/_s/chat/nacitajPrispevky.php?i93746e0c14192&lok=29&lastMsg=0&pub=0&prv=0&r=

Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 0xb77a46d0 (LWP 14396)] 0xb7e944e7 in std::basic_string(char, std::char_traits(char), std::allocator(char) )::~basic_string () from /usr/lib/libstdc++.so.6

*btw u char jsem musel nahradit "zobacky" klasickou zavorkou

[Fuky]

Uvedený výpis nás neposune dál, ještě zadej příkaz backtrace, aby jsme se konečně dozvěděli odkud jsme se vlastně k tomu pádu dostali.

BTW: "Zobáčky" nahrazuj pomocí znakových entit < a >.

[vencas]

Jednak to prosím zkompilujs s -ggdb2, to bude víc informací. Pak napiš backtrace, nebo raději thread apply backtrace full. Výsledek sem vlož v <pre>...</pre>

[Fuky]

Píšeš, že Ti to padá na:

response_header.empty()

Co konkrétně je response_header za objekt? Pokud Ti to padá na zmiňovaném řádku (a ne v kódu metody empty()) tak máš response_header == NULL.

[Mr.S1lent.cz]

private: std::vector (std::string) response_header; // pokud je definovany a neni declarovany, pak metoda empty vraci 0 ne snad?

[Fuky]

Je dobré si ujasnit pojmy:

int i; // deklarace
i = 1; // definice

Ano, pokud je response_header vektor, tak není problém, protože se deklarace i definice (na prázdný vektor) vykoná při volání:

std::vector<std::string> response_header;

[Mr.S1lent.cz]

Ted me napadlo, jestli se treba nemuze stat, ze se dana vlakna snazi pristupovat ke stejne pameti, jestli to by nemohlo delat problem....

[Sten]

Tohle bývá typicky ve chvíli, kdy this je NULL (NULL dereference), resp. kdy je this zdeletovaný (double delete)

Druhou možnost, co mě napadá, je, že (protože jsou tam pthready) někde někdo zapomněl zamknout mutex

Metoda empty() nikdy nevolá destruktor vnořených objektů (protože je konstantní), to spíš vypadá na špatně „odhadnuté“ místo pádu. Doporučuji spustit pod gdb a vypsat backtrace

[Let_Me_Be]

Pust si to po valgrindem ten ti rekne primo radek na kterem mas chybu. A jak uz bylo receno prekladej s -ggdb3.

[Mr.S1lent.cz]

gdb mi vyplyvl nasledujici:

(gdb) run Starting program: /home/s1lent/Dokumenty/ircgw1.0/_preklad/test [Thread debugging using libthread_db enabled] [New Thread 0xb779b6d0 (LWP 18622)] [New Thread 0xb7785b90 (LWP 18625)] lock

Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 0xb779b6d0 (LWP 18622)] 0xb7e714e7 in std::basic_string<char, std::char_traits<char>, std::allocator<char> >::~basic_string () from /usr/lib/libstdc++.so.6

Ale to chovani je zvlastni - podle vypisu to vytvori dva thready, ovsem zde:

    for( i = 0; i < channels.size(); i++ ) {
        void *pv = static_cast<void*>( const_cast<char*>( channels[i].c_str() ) );
        rc = pthread_create( &thread[i], NULL, AzetChatDevice::threadResponse, pv );
        if ( rc != 0 ) {
            //Log::catchEvent( "Thread of channel " + channels[i] + " has failed" );
        }
    }

a to jsem zkousel, je channes.size() = 1

[Mr.S1lent.cz]

Pro lepsi pochopeni vam sem pastnu podstatne casti programu:

class AzetChatDevice: ( zakomentoval jsem v metode "threadResponse" misto vyhozeni chyby )

//pouzite variables:
private:
static Http *http;
static std::string i9;
std::vector <std::string> channels;

//http pak v construktoru definuju: http = new Http();

vector <string> AzetChatDevice::getResponse() {
    int i, rc;
    // test: vlozim 1 kanal
    channels.push_back( "29" );
    pthread_t thread[channels.size()];
    for( i = 0; i < channels.size(); i++ ) {
        void *pv = static_cast<void*>( const_cast<char*>( channels[i].c_str() ) );
        rc = pthread_create( &thread[i], NULL, AzetChatDevice::threadResponse, pv );
        if ( rc != 0 ) {
            //Log::catchEvent( "Thread of channel " + channels[i] + " has failed" );
        }
    }
    channels.clear();
}

void * AzetChatDevice::threadResponse( void *channel ) {
    vector <string> content;
    string room = static_cast<char *>(channel);
    string test = AzetChatDevice::urlGenerator( room );
    // zde to vyhodi SIGSEGV    
    http->requestGet( test );
    content = AzetChatDevice::contentHandler( http->getContent() );
    // test output
    for( int i = 0; i < content.size(); i++ ) {
        cout << content[i] << "\n";
    }
}

A tady metodu tridy Http "getResponse()"

//pouzite variables:
private:
std::vector <std::string> response_content;
std::vector <std::string> response_header;
std::vector <std::string> request_header;
static struct curl_slist *headers_define;

int Http::requestGet( string url ) {
    CURL *curl;
    CURLcode result;
    char errorBuffer[CURL_ERROR_SIZE];
    string buffer;
    if ( curl = curl_easy_init() ) {
        curl_easy_setopt( curl, CURLOPT_ERRORBUFFER, errorBuffer );
        curl_easy_setopt( curl, CURLOPT_URL, url.c_str() );
        cout << "test1\n";
        if ( ! request_header.empty() ) {
            cout << "test2\n";
            for( int i = 0; i < request_header.size(); i++ ) {
                Http::headers_define = curl_slist_append( Http::headers_define, request_header[i].c_str() );
            }
            request_header.clear();
            curl_easy_setopt( curl, CURLOPT_HTTPHEADER, Http::headers_define );
        }
        curl_easy_setopt( curl, CURLOPT_FOLLOWLOCATION, 1 );
        curl_easy_setopt( curl, CURLOPT_WRITEFUNCTION, &Http::contentWriter );
        curl_easy_setopt( curl, CURLOPT_WRITEDATA, &buffer );
        cout << "test3\n";
        result = curl_easy_perform( curl );
        cout << "test4\n";
        if ( ! request_header.empty() ) {
            curl_slist_free_all( Http::headers_define );
        }
        curl_easy_cleanup( curl );
    }
    if ( result == CURLE_OK ) {
        contentFormatted( buffer );
    } else {
        //Log::catchEvent( string("Curl Error: [") + string(result) + string("] - ") string(errorBuffer) );
        return -1;
    }
    return 0;
}

A ted pozor - vypise se pouze test1 a test3 ( test2 se ani vypsat nema, protoze nedefinuju zadne hlavicky ), ale zajimave je misto, kde to "chcipne"...

[Jirka P]

    channels.push_back( "29" );
    pthread_t thread[channels.size()];
    for( i = 0; i < channels.size(); i++ ) {
        void *pv = static_cast<void*>( const_cast<char*>( channels[i].c_str() ) );
        rc = pthread_create( &thread[i], NULL, AzetChatDevice::threadResponse, pv );
        if ( rc != 0 ) {
            //Log::catchEvent( "Thread of channel " + channels[i] + " has failed" );
        }
    }
    channels.clear();

Neměl bys s tímhle clear() počkat, než si to vytvořené vlákno přebere data, co mu dáváš?

[Mr.S1lent.cz]

Uznavam, ten clear tam je navic, ten by nasel uplatneni az v budoucnu, kazdopadne to nicemu nevadi - vector clearnu az po threade create Ale tak pro dobry pocit jsem jej smazal, avsak to neresi dany problem...

[Michal Kubeček]

To není jen dobrý pocit. To, že ho zavoláte až po pthread_create(), sice zajistí, že druhý thread v tu chvíli už bude existovat, ale nezaručí absolutně nic ohledně toho, kolik toho v něm stihne proběhnout.

[Michal Kubeček]

1. Pro začátek zopakuji to nejpodstatnější: jak už vám několik lidí napsalo, pokud vám gdb hlásí SEGFAULT na řádku http->requestGet(test) a ne uvnitř té metody, znamená to, že k chybě dochází už při pokusu o její zavolání a ne až uvnitř metody. Takže tělo té metody je pro nás bezpředmětné. Kdybych si měl tipnout, problém je téměř jistě v hodnotě http, nejspíš to bude NULL nebo nějaký náhodný pointer ukazující do neznáma. Takže by bylo žádoucí podívat se, čemu se rovná http v okamžiku, kdy vám to spadne.

2. Jsem trochu zmaten. Jestli to dobře chápu, je http statický prvek třídy AzetChatDevice, ale vy ho podle vlastních slov inicializujete v konstruktoru této třídy. To by znamenalo, že s každou novou instancí dostane http novou hodnotu a dokud nebude existovat žádná instance, bude hodnota nedefinovaná. Navíc všechny instance AzetChatDevice budou používat stejnou instanci Http (vždy tu poslední) a pokud čirou náhodou v jednom threadu provedete http->responseGet() a v druhém současně konstruktor provede http = new Http, pak se mohou dít dost podivuhodné věci.

[Mr.S1lent.cz]

K tomu bodu 2 - jeste v noci jsem to upravil tak, ze zavadim novou instanci pro kazde vlakno ( uvnitr tridy threadReponse tak ted mam navic: Http *hhtp; http = new Http(); ) Cili ted by melo mit kazde vlakno svoji instanci, anebo se pletu a je potreba to zamknout mutexem? Pak je ale nemile, ze bude muset jedno vlakno cekat na druhe, az tu instanci unlockne mutex a to je nezadouci, ponevadz lag 1 z http pripojeni muze zabrzdit celou frontu a to uz pak jdem pomalu ale jiste do serioveho behu nez do paralelniho nebo se pletu?

[Michal Kubeček]

Obecně potřebujete mutex v případě, že hrozí, že by ke stejným datům mohly přistupovat dva thready současně a aspoň jeden z nich by zapisoval. Pokud bude mít každé vlákno svou instanci, pak k zamykání není důvod. Jen musíte dávat pozor na to, že fragmentu, který jste tady ukázal, to vypadá, jako by všechny thready používaly jednu společnou instanci AzetChatDevice (a tedy i stejnou hodnotu http a stejnou instanci Http).

[Mr.S1lent.cz]

Ted mi jeden znamy, ktery na UPD delal semestralku rekl, ze by mohla delat problemy jakakoliv staticka metoda v tom objektu Http, resp. mi to "zdecha" po curl_easy_perform(); kde v curl_easy_setopt( curl, CURLOPT_WRITEFUNCTION, &Http::contentWriter ); je contentWriter staticka metoda ( jinak callback funkce v OOP resit nejdou, nez statickymi metodami - pokud ovsem vite nekdo o nejakem reseni, milerad to pozmenim a priucim se ) ale jinak ho, ani me nic nenapada...

[Fuky]

Dej do přílohy minimální zkompilovatelnou verzi, která Ti padá, pak se můžeme rovnou podívat v čem je problém.

[Michal Kubeček]

To by bylo vůbec nejlepší. Bohužel se tomu ale tazatel urputně brání, asi programuje něco nezákonného nebo se bojí, abychom nevykradli jeho převratné myšlenky. :-)

[Michal Kubeček]

Statická metoda sama o sobě problém není, jen prostě musíte dávat pozor na to, že statická metoda není vázána na konkrétní instanci a chová se tudíž jako obyčejná funkce. Stejně tak statický prvek třídy se chová jako obyčejná (globální) proměnná. Tak jako tak jde ale pořád jen o ten princip, který jsem popsal v první větě minulého příspěvku. U pointerů musíte ale samozřejmě dávat pozor nejen na přístup k pointeru samotnému, ale i k čemukoli, na co ukazuje.

V podstatě máte ohromné štěstí, že vám to padá pokaždé a pokaždé na stejném místě, takže se to dá snadno ladit. Problémy s konkurenčním přístupem v multithreadových aplikacích bývají mnohem zákeřnější - objevují se jen jednou za čas (často jen při extrémní zátěži) a navíc se nezřídka neprojevují pokaždé stejně.

[Mr.S1lent.cz]

Příloha:

• _test.tar (20480 bytů)

No, neprogramuji nic nezakoneho, ale je pravda, ze v c++ teprve zacinam, tak se trosku za svoji praci v teto fazi stydim ) no inu mate to mit - vytvoril jsem testu usera - tak, jak to je nyni by login mel byt uspesny Jinak v kazdem hlavickovem souboru mate example using

[Mr.S1lent.cz]

Jeste bych doplnil syntaxi pro kompilator:

g++ -D_REENTRANT -lcurl -lpthread main.cpp AzetLogin.cpp AzetChatDevice.cpp Http.cpp -ggdb3 -o test

[Jirka P]

Chybí ti return něco na konci getResponse(). A nečekáš na to vytvořené vlákno.

[Michal Kubeček]

A nečekáš na to vytvořené vlákno.

Na což by se ostatně přišlo v okamžiku, kdy by se z něj pokusil tu návratovou hodnotu nějak vydolovat. :-)

[chochi]

U tohohle prikladu je problem v celku jasny - AzetChatDevice::getResponse ma vrati vector, ale on nic nevraci, coz v podstate vadi. Jinak doporucuji prekladat programy s volbou "-Wall", ktera vypise vsechny varovani. Po odstraneni vsech problemu by to mohlo chodit.

$ g++ -D_REENTRANT -lcurl -lpthread -Wall main.cpp AzetLogin.cpp AzetChatDevice.cpp Http.cpp -ggdb3 -o test
AzetLogin.cpp: In member function 'int AzetLogin::auth(std::string, std::string, int)':
AzetLogin.cpp:45: warning: comparison between signed and unsigned integer expressions
AzetLogin.cpp:46: warning: comparison with string literal results in unspecified behaviour
AzetChatDevice.cpp: In member function 'std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<
std::basic_string<char, std::char_traits<char>, std::allocator<char> > > > AzetChatDevice::getResponse()':
AzetChatDevice.cpp:32: warning: comparison between signed and unsigned integer expressions
AzetChatDevice.cpp: In static member function 'static void* AzetChatDevice::threadResponse(void*)':
AzetChatDevice.cpp:52: warning: comparison between signed and unsigned integer expressions
AzetChatDevice.cpp:56: warning: control reaches end of non-void function
AzetChatDevice.cpp: In member function 'std::vector<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<
std::basic_string<char, std::char_traits<char>, std::allocator<char> > > > AzetChatDevice::getResponse()':
AzetChatDevice.cpp:39: warning: control reaches end of non-void function
Http.cpp: In member function 'int Http::requestGet(std::string)':
Http.cpp:33: warning: suggest parentheses around assignment used as truth value
Http.cpp:39: warning: comparison between signed and unsigned integer expressions
Http.cpp: In member function 'int Http::requestPost(std::string, std::string, int)':
Http.cpp:70: warning: suggest parentheses around assignment used as truth value
Http.cpp:79: warning: comparison between signed and unsigned integer expressions

[Let_Me_Be]

Ale houby prekladat s "-Wall". VESKERY C++ kod prekladat s "-ansi -pedantic -Wall -Wextra -Weffc++ -Werror".

[Sten]

„-Weffc++“ bych vyjmul z „-Werror“ („-Wno-error=effc+“), protože i některé STL a Boost věci to nedodržují a třeba zákaz přetěžovat operator , je někdy zbytečně omezující

[Let_Me_Be]

Jo, to je vlastne pravda. Taky napriklad nevirtualni base destruktor je obcas v poradku.

[Let_Me_Be]

Pust si to pod tim valgrindem:

valgrind ./binarka (kontrola prace s pameti)

a

valgrind --tool=hellgrind ./binarka (kontrola prace s vlakny)

a

valgrind --tool=drd ./binarka (kontrola prace s vlakny)

Vsechny moduly maji vsemozne prepinace ktere pridavaji vic informaci za cenu zpomaleni behu.

[Michal Kubeček]

Tak problém nastal nikoli před voláním té metody, ale naopak až po něm. Vy jste totiž zapomněl na return v metodě, která má vracet std::vector<std::string>, takže když se pak program pokusil tu (byť nepoužitou) návratovou hodnotu uklidit, zavolal destruktor na nedefinovaná data.

Z toho plyne ponaučení: překládat s -Wall a pokud možno tak, aby kompilátor nevypisoval žádná varování.

[Mr.S1lent.cz]

Jo moc dekuji, pridal jsem tam ten return a pthread_join a uz to jede - moc jste mi pomohli