A simple distributed lock manager