Invention Grant
- Patent Title: Method and system for robust futexes
- Patent Title (中): 强大的futexes的方法和系统
-
Application No.: US13335325Application Date: 2011-12-22
-
Publication No.: US08682914B2Publication Date: 2014-03-25
- Inventor: Ingo Molnar , Thomas Gleixner , Ulrich Drepper
- Applicant: Ingo Molnar , Thomas Gleixner , Ulrich Drepper
- Applicant Address: US NC Raleigh
- Assignee: Red Hat, Inc.
- Current Assignee: Red Hat, Inc.
- Current Assignee Address: US NC Raleigh
- Agency: Lowenstein Sandler LLP
- Main IPC: G06F17/00
- IPC: G06F17/00 ; G06F17/30

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.
Public/Granted literature
- US20120096017A1 METHOD AND SYSTEM FOR ROBUST FUTEXES Public/Granted day:2012-04-19
Information query