Some Properties of Deadlock Detection and Recovery in Readers and Writers Problems