Pend Operation

Decrements counter and executed waiting task

Or else moves ready task into waiting state

——————————————————

Post Operation

Increments counter to signal occurrence of an event

Or else moves waiting task into ready state