著名的生产消费者互斥问.pptVIP

Producer/Consumer Problem A producer is generating data and placing them into a buffer A consumer is taking items out of the buffer one at time The producer and the consumer work simultaneously Only one producer or consumer may access the buffer at any moment A generic model for many practical problems A Solution toInfinite P/C Problem P/C Problem with A Finite Buffer Typical Solution Comments on Semaphores Interpretation: S≥0, there are still |S| processes that can execute without suspension S0, |S| processes are blocked on S The value of a semaphore can not be checked, but can only be used by Wait and Signal operations, and queuing mechanism Example - 1 Problem Given eight processes p1, p2, … , p8 with left execution constrains, design a synchronized scheduling algorithm Key If process B follows A in execution, then use wait(s) in B while signal(s) in A, where semaphore s is initialized with 0 Solution Example - 2 Problem A lair with infinite space, can be used to shield cows and bulls. Design a lairage process meets following constrains: ? Put one cow or bull into the lair once ? - N Number of Cow –Number of Bull M Key ? Set up a semaphore mutex for the purpose of ME ? Split the inequality into two pieces ? Formulate the problem as a producer/consumer problem with special initial values Solution Quiz (in 15 min’s) An enterprise uses the following working procedure All paper documents can only be issued by the CEO office A paper document becomes valid only signed by two key officers, say CIO, and CTO The order of signing does make no sense The CEO office can issue a new document once all previous document have been signed Try to simulate the procedure by using semaphore Key to the Quiz Try to formulate the problem into a classical one, e.g. the P/C problem Try to sketch the relationship among office, CIO and CTO The phrase paper document implies that the document should be read in the manner of ME Programming, straight forwa