死忙证明有什么用?