1 Introduction Dans ce deuxième TP nous allons aborder les outils fournis avec la librarie pthread pour assurer les accès aux ressources partagées. Ces outils sont les sémaphores et les mutex (mutal exclusions). Pour illustrer leurs utilisations, nous allons nous servir de l’algorithme du producteur/consommateur.
2 Un buffer circulaire Un unique producteur (aussi appelé écrivain) et un unique consommateur (aussi appelé client ou lecteur) partage un buffer circulaire stockant des valeurs entières.
Mise en œuvre des sémaphores :
– sema t désigne le type sémaphore – sema init( &sem, count, NULL, NULL ) initialise le sémaphore sem à la valeur count – sema wait( &sem ) ≡ down sur le sémaphore sem – sema post( &sem ) ≡ up sur le sémaphore sem
#include <stdio.h> #include <pthread.h>
#define BUFFER_SIZE 16
// buffer circulaire d’entiers
struct prodcons { int buffer[BUFFER_SIZE]; // la zone de stockage int readpos, writepos; // les positions des lecteurs et des écrivains sema_t sem_read; // nombre d’éléments accessible à la lecture sema_t sem_write; // nombre de place libre pour l’écriture };
// Initialise le buffer void init(struct prodcons * b) { // sémaphore équivalent au empty sema_init(&b->sem_write, BUFFER_SIZE - 1, NULL, NULL );
// sémaphore équivalent au full
sema_init(&b->sem_read, 0, NULL, NULL );
b->readpos = 0; b->writepos = 0; }
1 // écriture d’un entier dans le buffer void put(struct prodcons * b, int data) { // attendre que le buffer ne soit plus plein sema_wait( &b->sem_write ); // down(&empty)
// ecrire la donnee et avancer le pointeur d’ecriture
Plusieurs producteurs et plusieurs consommateurs partagent une mémoire : un enregistrement contenant l’information et le numéro du client concerné.
Mise en œuvre des mutex :
– pthread mutex t désigne le type mutex – pthread mutex init( &mutex, NULL ) initliase l’exclusion mutuelle mutex – pthread mutex lock( &mutex ) ≡ down sur le sémaphore binaire mutex – pthread mutex unlock( &mutex ) ≡ up sur le sémaphore binaire mutex
// la strucuture partagée typedef struct prodcons { int word ; // la mémoire partagée int consid ; // numero du client (>= 0) pthread_mutex_t exclu; // la variable de mutex } str_prodcons;
// la variable partagée static str_prodcons buffer;
4 Exercices 1. Plusieurs producteurs et plusieurs consommateurs partagent un buffer circulaire 2. Écrire la solution des lapins et des renards. Les threads concernent uniquement les fonctions lapin(i) et renard(i). Les algorithmes Parent Renard(r), Parent Lapins(l) et Grand Parent(r,l) restent sous forme de processus.
