Dotaz: FreeBSD, pthreads a mutexy

[chsajarsa]

Zdravim, mam nasledujici kod kompilovany v FreeBSD 8.0-RELEASE-p4 pomoci g++ -pthread neco.cpp:

#include <cstdlib>
#include <iostream>
#include <pthread.h>



using namespace std;

int main(int argc, char** argv) {
 pthread_mutex_t mymutex = PTHREAD_MUTEX_INITIALIZER;
 do {
     pthread_mutex_lock(&mymutex);
     std::cout << "Hello!!" << std::endl;
 } while (1);
 
 return 0;
}

Pod linuxem vse bezi jak ma (zasekne se na mutexu a zustane deadlock), ale na freebsd se cykluje vypisuje text porad dokola. U multithreadovych programu jede jen jednim threadem. Nevite prosim nekdo co delam spatne ? Diky

Odpovědi

[Radim Kolář]

1. Ve freebsd je to dobre. Kdyz thread vlastni lock tak pri vicenasobnem zamykani nemusi uz cekat. Tuhle vlastnost melo freebsd odjakziva.

2. Ze vas testovaci program kdyz je spusten vicevlaknove jede jen jednim vlaknem? Vzdyt to je to co se od nej ocekava, prave proto je tam ten mutex aby ty ostatni vlakne nejeli.

[Vojtěch Horký]

1. Ve freebsd je to dobre. Kdyz thread vlastni lock tak pri vicenasobnem zamykani nemusi uz cekat. Tuhle vlastnost melo freebsd odjakziva.

A určitě to má platit i pro pthread? Protože podle Single Unix Specification by se to mělo zablokovat, protože jde o normální mutex (nikoliv rekurzivní).

[chochi]

Tady bych s tim nesouhlasil. Podle me dostupnych informaci je defaultni typ PTHREAD_MUTEX_DEFAULT, ktery podle odkazovaneho materialu:

If the mutex type is PTHREAD_MUTEX_DEFAULT,
attempting to recursively lock the mutex results in undefined behaviour.
Attempting to unlock the mutex if it was not locked by the calling thread results in undefined behaviour.
Attempting to unlock the mutex if it is not locked results in undefined behaviour.

To ze v Linuxu je PTHREAD_MUTEX_DEFAULT = PTHREAD_MUTEX_NORMAL neni mozno ocekavat vsude (a ve FreeBSD to take neplati).

[Vojtěch Horký]

Tady bych s tim nesouhlasil.

A zcela správně . Moje chyba: nějak jsem to nedočetl a předpokládal jsem, že NORMAL je výchozí hodnota vždy.

Ze zvědavosti (protože jsem to nedokázal najít): ve FreeBSD platí PTHREAD_MUTEX_DEFAULT == PTHREAD_MUTEX_RECURSIVE nebo ten výchozí typ je nějaký speciální?

[chochi]

Tak to presne rict nedokazu, jedine co jsem nasel je kousek ze souboru /usr/include/pthread.h:

/*
 * Mutex types (Single UNIX Specification, Version 2, 1997).
 *
 * Note that a mutex attribute with one of the following types:
 *
 *  PTHREAD_MUTEX_NORMAL
 *  PTHREAD_MUTEX_RECURSIVE
 *
 * will deviate from POSIX specified semantics.
 */
enum pthread_mutextype {
    PTHREAD_MUTEX_ERRORCHECK    = 1,    /* Default POSIX mutex */
    PTHREAD_MUTEX_RECURSIVE     = 2,    /* Recursive mutex */
    PTHREAD_MUTEX_NORMAL        = 3,    /* No error checking */
    PTHREAD_MUTEX_ADAPTIVE_NP   = 4,    /* Adaptive mutex, spins briefly before blocking on lock */
    PTHREAD_MUTEX_TYPE_MAX
};

#define PTHREAD_MUTEX_DEFAULT       PTHREAD_MUTEX_ERRORCHECK

[Vojtěch Horký]

Tak podle tohohle (protože PTHREAD_MUTEX_INITIALIZER by měl použít PTHREAD_MUTEX_DEFAULT) by výchozí mutex neměl být rekurzivní, ale pouze error checking a tudíž by ten původní kód měl zamknout mutex (při prvním cyklu) a následné volání by mělo vracet EDEADLK. Je to tak nebo je tam ještě nějaký háček? Dík

[Michal Kubeček]

Mělo by to tak být. Mělo by to jít snadno poznat tak, že přidáte kontrolu návratové hodnoty.

[Vojtěch Horký]

Mělo by to jít snadno poznat tak, že přidáte kontrolu návratové hodnoty.

To je mi jasný , jen nemám kde si to vyzkoušet a tak se ptám.

[chsajarsa]

1. Pokud je to tak jak rikate, tak cim muzu zajistit, aby se muj ukazkovy program choval podle ocekavani(tedy stejne jako na linuxu)? Mam ideu,ze budu mit vytvorena vlakna, ktera budou zastavena pomoci toho mutexu. Ja do nich v pripade potreby narvu data (zmenim data v objektu,ktery ma ta fce vlakna predany jako parametr) a vlaknu pustim odemcenim mutexu a po dokonceni operace se vlakno v cyclu zase vrati k tomu zamcenemu mutexu. Chci tak ridit thread pool pro obsluhu site. Tedy:

Pracovni vlakno:

for(;;){
 pthread_mutex_lock(&mymutex);
 do_work();
 pthread_mutex_lock(&mymutex);
}

 

A odemikani pak v jinem vlakne pomoci:

pthread_mutex_unlock(&mymutex);

[Vojtěch Horký]

A odemikani pak v jinem vlakne pomoci: pthread_mutex_unlock(&mymutex);

Nesmíte odemykat mutex v jiném vlákně, než které ho zamklo (resp. ono to možná někde bude fungovat, ale ...).

Na to, co popisujete, jsou tu podmínkové proměnné, v pthread funkce pthread_cond_wait & spol.