OS31g - Solved Example 7 | Semaphore | GATE

#semaphore #wait #signal #producer #consumer #countingSemaphore #mutex #lock #synchronization #CriticalSection #RaceCondition #MutualExclusion #Progress #BoundedWait #InterProcessCommunication #OperatingSystem #kernel #interface #SystemCall #resources #sharing #efficient #ComputerSystem #application #process #memory #CPU #RAM #InputOutput #disk #trap #interrupt #privileged

[@LadderVictims]

Logic: Aim is to minimize X, so proccess dec() thread first and context switch to all other inc() threads and finish them [this will maximize the value of X],
then context switch back to the first dec()'s critical stage which have read the first X value and proccess rest dec() threads🎉