Faults in Linux: Locking but not unlocking and double locking