Readers–writer lock