发明名称 METHOD AND SYSTEM FOR ROBUST FUTEXES
摘要 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.
申请公布号 US2012096017(A1) 申请公布日期 2012.04.19
申请号 US201113335325 申请日期 2011.12.22
申请人 MOLNAR INGO;GLEIXNER THOMAS;DREPPER ULRICH 发明人 MOLNAR INGO;GLEIXNER THOMAS;DREPPER ULRICH
分类号 G06F17/30 主分类号 G06F17/30
代理机构 代理人
主权项
地址