Distributed Lock Manager over HTTP built on Tornado and backed by Redis