Efficient data race and deadlock prevention in concurrent object-oriented programs