semafor SEM_INIT

semafor SEM_HOWMANY

semafor SEM_LINES

semafor

SEM_INAIR

moduł zwalniania

moduł zajmowania

samolot

P

ALLOC

QUEUE

get

IF SEM_INAIR>K

PRIORITY

ELSE

NOPRIORITY

PRIORITY

NO PRIORITY

ANSWER QUEUE

FREE QUEUE

V

samoloty lądujące mają wyższy priorytet (identyfikator komunikatu niższy) niż startujące

P

V

moduł wyświetlania

get

get

get

P/V

P/V

---