Not really working yet but this might be a useful place to go back to.
Implemented (naive) multiple donations.
Added lock to make thread_set_priority() thread safe.