Geschützte Bereiche

• Beispiel globaler Zähler:

        pthread_mutex_t  mutex = PTHREAD_MUTEX_INITIALIZER;
        int counter = 0;

        void *thread_func(void *args)
        {
           pthread_mutex_lock(&mutex);
           counter++;                   /* geschützter Bereich */
           pthread_mutex_unlock(&mutex);
        }

• pthread_mutex_lock prüft anhand der Variable mutex ("MUTual EXclusion"), ob der Zugriff frei ist:

• ja:	setze mutex auf "besetzt" und fahre fort
  nein:	warte, bis mutex auf "frei" steht

• Mutex ermöglicht:
• kein anderer kann schreiben verhindert Race-Condition
• kein anderer kann lesen verbirgt "unerlaubte" Zwischenzustände
• Geschützter Bereich muß möglichst kurz sein, sonst warten die Threads statt zu rechnen!


• Alternative zum Warten:

             ..
          while (pthread_mutex_trylock(&mutex) == EBUSY) {
             do_something_useful()
          }
          counter++;
          pthread_mutex_unlock(&mutex);
  

gefährlich:

• do_something_useful darf counter nicht anfassen
• Thread stellt sich immer wieder hinten an könnte "verhungern"
• besser: unabhängigen Thread für do_something_useful()
• Funktionen:

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

• initialisiert Mutex statisch

int pthread_mutex_init(pthread_mutex_t *mp,
const pthread_mutexattr_t * attr);

• initialisiert Mutex dynamisch

int pthread_mutex_destroy(pthread_mutex_t *mp);

• zerstört Mutex, wird uninitialisiert

int pthread_mutex_lock(pthread_mutex_t *mp);

• prüft, ob Mutex frei, lockt dann bzw. wartet sonst

int pthread_mutex_trylock(pthread_mutex_t *mp);

• wie lock, wartet aber nie, sondern gibt stattdessen EBUSY zurück

int pthread_mutex_unlock(pthread_mutex_t *mp);

• gibt Mutex wieder frei