Tutorial 8: Deadlocks, Resource Allocation Graphs