Free Lock Manager: a tool to serialize and synchronize commands and shells