A Priority Ceiling Protocol (PCP) mutex, based on Linux PI futex. Allows efficient and deadlock free execution.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool