semaphore

The operators P and V

• P (request)

– P (sem)

– Sem - -

– If Sem •

• V (mutex) • V (mutex)

• V (full) • V (empty)