() For the problem of personal deadlock detection with multiple initiators consider the strategy to integrate into...

Question:

() For the problem of personal deadlock detection with multiple initiators consider the strategy to integrate into the solution an election process among the initiators. Design a protocol for the p-OF-q request model to implement efficiently this strategy; its total cost should be o(km) messages in the worst case, where k is the number of initiators and m is the number of links in the wait-for graph. Prove the correctness and analyze the cost of your design. Implement and throughly test your protocol. Compare the experimental results with the theoretical bounds.

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: