CHECKING Mechanism for Shared Resource Allocator in a Distributed Environment
Original Publication Date: 1984-May-01
Included in the Prior Art Database: 2005-Feb-03
The checking mechanism is to be used in a system where a plurality of users share a common resource the allocation of which is performed by means of a distributed arbitration mechanism. The checking mechanism insures that only one user will be granted access to the shared resource. As shown in Fig. 1, the shared resource can be a tri-state bus the access of which by a plurality of N units is controlled through a distributed arbitration mechanism. The arbiter checker, like the arbiter itself, is distributed over units connected to the tri-state bus. Distributed portions of the checker are called checker members, and distributed portions of the arbiter are called arbiter members. Checker members communicate with their counterparts, the arbiter members, and exchange information between themselves for verification purposes.