explain the achivement for the RexsterInputFormat API
finished describing the deadlock algorithm (algorithm and implementation)