python fcfs deadlock-detection dining-philosophers-problem sjf priority-scheduling mutex-lock deadlock-avoidance first-come-first-serve banker-algorithm bankers-algorithm shortest-job-first round-robin-scheduling producer-consumer-problem peterson-algorithm dining-philosophers-problem-semaphore-solution semaphore-dining-philosopher semaphore-producer-consumer semaphore-producer-consumer-semaphore-solution