BAI YUXI

Priority and cost based deadlock victim selection via static wait-for graph