A distributed optimistic lock manager