Method to Allocate and De-Allocate a Device Buffer
Original Publication Date: 1985-Oct-01
Included in the Prior Art Database: 2005-Feb-19
A method is described to mediate between a process which wants to get, use, and relinquish a resource, and a second process which controls allocation and de-allocation of the resource, given that the two processes do not wait on each other. In the following, for ease of description: -the process that wants to use the resource is called P1, -the process controlling allocation of the resource is called P2, -a request to use the resource is called a Get request, and -a request to relinquish the resource is called a Relinquish request.