The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 09, 2001
Filed:
Nov. 15, 1995
Albert Stephen Hilditch, Wokingham, GB;
Steve Robert Pettifer, Burnage, GB;
Colin Michael Thomson, Congleton, GB;
Nasser Siddiqi, Rusholme, GB;
International Computers Limited, London, GB;
Abstract
A distributed data processing system has a deadlock detection mechanism for detecting a potential deadlock involving a cyclic chain of dependencies between transactions. The system also has a deadlock doublechecking mechanism for confirming that all the dependencies in the potential deadlock chain are co-existent. If deadlock is confirmed, action is taken to break the deadlock. The deadlock doublechecking mechanism operates by marking the dependencies in the cyclic chain with a unique existence number, and subsequently checking that the existence number of each dependency in the cyclic chain is unchanged. Marking the dependencies may be performed by propagating a probe message, containing a unique probe existence number, and associating this probe existence number with each dependency visited by said marker probe.