Excavating
Patent
1989-07-11
1991-07-02
Atkinson, Charles E.
Excavating
364200, 3642646, 3642815, 3642816, G06F 1100
Patent
active
050291696
ABSTRACT:
A data processing system is disclosed in which each software process monitors every other software process for failures. The detection of a failure can then be used to initiate any desired failure recovery strategy. Software failure detection takes place by having each software process assigned an imaginary resource by a resource locking mechanism. All other software processes request an assignment to the same imaginary resource. Whenever a software process fails, the assigned imaginary resource is released by the failed process and hence is available for assignment to the other software process. This availability of another process' resource is interpreted as a failure of that process, and initiates failure recovery. No actual resources are used, and a standard resource allocation mechanism, such as is used to assign shared read and exclusive write access to a file, is used to perform the locking functions.
REFERENCES:
patent: 3906454 (1975-09-01), Martin
patent: 4354227 (1982-10-01), Hays, Jr. et al.
patent: 4574350 (1986-03-01), Starr
patent: 4709326 (1987-11-01), Robinson
patent: 4791554 (1988-12-01), Hirota et al.
patent: 4809168 (1989-02-01), Hennessy et al.
patent: 4819159 (1989-04-01), Shipley et al.
"Hierachiacal Ordering of Sequential Processes", E. W. Dijkstra, Acta Informatica, vol. 1, No. 2, 1971, pp. 115-138.
"Specification and Proof Techniques for Serializer", R. Atkinson and C. Hewitt, Report of the MIT.
Artifical Intelligence Laboratory, Cambridge, Masschusetts, Aug. 1977.
"Monitors: An Operating System Structuring Concept", C. A. R. Hoare, Communications of the ACM, vol. 17, No. 10, Oct. 1974, pp. 549-557.
"Process Structuring Synchronization and Recovery Using Atomic Actions", D. B. Lomet, Proceedings of the ACM Conference on Language Design for Reliable Software, Signplan Notices, vol. 12, No. 3, Mar. 1977, pp. 128-137.
"Time, Clocks and the Ordering of Events in a Distributed System", Communications of the ACM, vol. 24, No. 7, Jul. 1978, pp. 558-565.
"An Optimal Algorithm for Mutual Exclusion in Computer Networks", Communication of the ACM, vol. 24, No. 1, Jan. 1981, pp. 9-17.
Atkinson Charles E.
Bell Communications Research Inc.
Falk James W.
Suchyta Leonard Charles
LandOfFree
Methods and apparatus for fault detection does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Methods and apparatus for fault detection, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and apparatus for fault detection will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1253474