add data strucutres for Deadlock algorithm
framework for Bracha-Toueg algorithm si ready.