Which of the following statements about semaphores is true?

a) P and V operations should be indivisible operations.

b) If several threads attempt a P( S ) operation simultaneously,only one thread should be allowed to proceed.

c) A semaphore implementation should guarantee that threads donot suffer indefinite postponement.

d) all of the above

Explain why the correct answer is right and why the others arewrong.