Static and dynamic deadlocks implemented