Critical sections are useless in the file lock manager.