Add high level documentation to priority inheritance algorithms.