1. A method comprising: translating a source instruction construct to form a transactional objective instruction construct; executing the transactional objective instruction construct; intercepting an aborted transaction associated with the executed transactional objective instruction construct; maintaining a graph of nodes and edges associated with the executed transactional objective instruction construct to predict a deadlock situation; and resolving the predicted deadlock situation associated with the transactional objective instruction construct based on the graph.