Failure Resilience of Strongly Synchronized Processes
摘要
Strictly synchronized sequential processes are characterized by a high degree of interdependence. The failure of a single such process can result in the deadlock of a large proportion of the entire system. We model a failure by removing the control token of a sequential process. A system design that limits such failures to the affected process can be very complicated. A method is presented whereby the crash of a sequential process does not affect the other processes.