Message format fixlet.

[TD_SE.git] / philosophe / philosophe.c

// programme philosophe.c
#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>

#define N 5
// nombre de philosophes
#define G (i + 1) % N
// fourchette gauche du philosophe i
#define D i
// fourchette droite du philosophe i
#define libre 1
#define occupe 0
static int fourch[N] = { libre, libre, libre, libre, libre };

sem_t mutex;

void *philosophe(void *num)
{
	int i = *(int *)num, nb = 2;
	while (nb) {
		sleep(1);	// penser
		sem_wait(&mutex);	// essayer de prendre les fourchettes pour manger
		if (fourch[G] == libre && fourch[D] == libre) {
			fourch[G] = occupe;
			fourch[D] = occupe;
			sem_post(&mutex);
			nb--;
			printf("philosophe[%d] mange\n", i);
			sleep(1);	// manger
			printf("philosophe[%d] a fini de manger\n", i);
			sem_wait(&mutex);	// libérer les fourchettes
			fourch[G] = libre;
			fourch[D] = libre;
			sem_post(&mutex);
		} else
			sem_post(&mutex);
	}
	return NULL;
}

int main()
{
	int i, NumPhi[N] = { 0, 1, 2, 3, 4 };
	pthread_t th[N];
	sem_init(&mutex, 0, 1);
	// création des N philosophes
	for (i = 0; i < N; i++)
		pthread_create(&th[i], NULL, philosophe, &NumPhi[i]);
	// attendre la fin des threads
	for (i = 0; i < N; i++)
		pthread_join(th[i], NULL);
	printf("fin des threads\n");
	return 0;
}