#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <semaphore.h>

#define V(XX) sem_post(&(XX))
#define P(XX) sem_wait(&(XX))

#define N 2
#define M 3

sem_t mutexHangar;
sem_t mutexSol;
sem_t mutexAir;
sem_t mutexCiel;
sem_t mutexPiste;

int iair = 0;
int isol = 0;
int avionsAtterrir = 20;
int avionsDecollage = 10;
int avions = avionsAtterrir + avionsDecollage;

void* sortirAvion(void* arg) {
	P(mutexHangar);
	isol++;

	printf("On sort un avion du hangar");

	V(mutexSol);
	if(isol < N) // Si la file au sol n'est pas pleine
		V(mutexHangar);
}

void* decollage(void* arg) {
    P(mutexSol);
    P(mutexPiste);
    isol--;

    printf("On fait décoller l'avion");

    V(mutexPiste);
    if(isol < M) // Si la file au sol n'est pas pleine
		V(mutexHangar);
}

void* amenerAvion(void* arg) {
    P(mutexCiel);
    iair++;

    printf("Un avion arrive");

    V(mutexAir);
    if(iair < M) // Si la file en l'air n'est pas pleine
		V(mutexCiel);
}

void* atterrissage(void* arg){
    P(mutexAir);
    P(mutexPiste);
    iair--;

    printf("Un avion atterit");

    V(mutexPiste);
    if(iair < N)  // Si la file en l'air n'est pas pleine
		V(mutexCiel);
}

int main()
{
    pthread_t sortirAvion, decollage, amenerAvion, atterrissage;

    V(mutexPiste);
    V(mutexHangar);
    V(mutexCiel);

    //  On pourrait utiliser plus de hasard
    for(int i = 0; i < avions; i++) {
        if (i < avionsAtterrir) {
            pthread_create(&amenerAvion, NULL, amenerAvion, NULL);
            pthread_create(&atterrissage, NULL, atterrissage, NULL);
        }
        if (i < avionsDecollage) {
            pthread_create(&sortirAvion, NULL, sortirAvion, NULL);
            pthread_create(&decollage, NULL, decollage, NULL);
        }
    }

    getchar();
    return 0;
}