version 3: working and clean version of the Priority Inheritance mutex based on a funcky 3rd-party scheduler/manager implementation.