摘要 |
PROBLEM TO BE SOLVED: To obtain a robust and recoverable lock which never causes other processes to hang up even if a process to hold the lock fails. SOLUTION: This lock includes a process wherein one process tries to obtain a lock for the purpose of mutual exclusion, a process wherein if the trial of obtaining the lock is returned together with an error indicating that a precedent process holding the lock has lost the right of the lock, it is tried to make consistent the program state protected by the lock, a process when the trial of making the program state consistent is successful, the lock is initialized again and released, and a process wherein if the trial of making the program state consistent is not successful, the lock is given an unrecoverable mark and then a following process trying to obtain the lock receives an error indicating that the lock is unrecoverable.
|