It increments the value of semaphore variable by 1, after increment if the value is negative, it tranfers a blocked process from semaphore's queue to ready queue.
It increments the value of semaphore variable by 1, it tranfers a blocked process from semaphore's queue to ready queue. This was after increment. The value is negative.