Concurrent-Programming

•Preemptive scheduling: Understand the fundamentals of preemptive schedul-ing. •Race condition: Explain how preemptive scheduling may cause race conditionsto occur. •Mutual Exclusion: List the necessary conditions for a satisfactory solution tomutual exclusion. •Mutual exclusion mechanisms: Explain how to achieve mutual exclusion usingspecialized machine instructions, locks, and semaphores. •Semaphore: Define a semaphore and explain and its advantages and disad-vantages. •Monitor: Define a monitor and explain and its advantages and disadvantages. •Message passing: Understand synchronous and asynchronous models of mes-sage passing. •Safety and liveness: Specify correctness for concurrent programs throughsafety and liveness. •Java Implementation: Implement solutions to standard synchronization prob-lems using Java’s util.concurrent package. •Erlang Implementation: Implement solutions to standard synchronization prob-lems Erlang. •Model-checking: Model-check simple concurrent programs