The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

CHECKING Mechanism for Shared Resource Allocator in a Distributed Environment

IP.com Disclosure Number: IPCOM000042295D
Original Publication Date: 1984-May-01
Included in the Prior Art Database: 2005-Feb-03

Publishing Venue


Related People

Giroir, D Lacoste, G [+details]


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.