This is how P and V operations will be made by procedures. Initially all semaphores are zero. Don't confuse that T5 will be called twice. It will be called only once by any of T1 or T3 , whosoever runs V(b) first. Also this solution forces T6 to complete before T4 , it will never be the case that T4 has completed and you need to block T6 forever.
