Patent ID: 9158597
Filing Date: 2015-10-13
Classification: G06F

Abstract:
1. A memory device having program instructions stored thereon that, upon execution by processor of a computer system, cause the computer system to: assign a current-owner value to a shared resource, the current-owner value identifying a ticket value that is eligible to be granted current access to the shared resource; issue a first ticket value to a first process by a ticket provider, the ticket provider configured to issue ticket values that are used to determine access to the shared resource; allow the first process to access the shared resource when a difference between the first ticket value and the current-owner value is equal to or smaller than a selected number of allowed concurrent processes, wherein the selected number of allowed concurrent processes is greater than one; increment the current-owner value when the first process has finished accessing the shared resource; obtain, by a second process, a last-issued-ticket value from the ticket provider without requesting a new ticket from the ticket provider, the last-issued-ticket value representing a value of a last ticket actually issued by the ticket provider to one of the plurality of processes; compare the current-owner value and the last-issued-ticket value; based upon the comparison, request a ticket for the second process from the ticket provider when a difference between the last-issued-ticket value and the current-owner value is equal to or smaller than the selected number of allowed concurrent processes; and based upon the comparison, do not request a ticket for the second process from the ticket provider when the difference between the last-issued-ticket value and the current-owner value is greater than the selected number of allowed concurrent processes.