[OS] structure of semaphore

Each semaphore contains an integer value and a pointer to a list of PCBs.

if a semaphore value is negative, its magnitude is the numbger of processes waiting on that semaphore.