Distributed lock manager algorithm description page.