Patent · US Active

Method and system for robust futexes

US8682914B2 · kind B2 · utility

0Cited by

4References

20Claims

0Family size

Assignee

Red Hat, Inc. · US

Inventors

Ingo Molnar · Gyöngyös, HU
Thomas Gleixner · Überlingen, DE
Ulrich Drepper · Los Gatos, US

Key dates

Filing date	Dec 22, 2011
Grant date	Mar 25, 2014
Priority date	—
Expiry date	Dec 22, 2031

Classification

Technology area (CPC G)Physics
CPC primaryG06F16/2343
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Systems and methods of managing primitives are disclosed. A data structure that is stored in user space is registered, wherein the data structure tracks a user controllable mutual exclusion primitive that is acquired by a process running in the user space, and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system. A termination of the process is detected, wherein the process maintains the lock on the resource after termination and the data structure is searched to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated. The user controllable mutual exclusion primitive is released if the user controllable mutual exclusion primitive is identified as being acquired by the process.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.