Building a model reservation system with atomic locks