Redlock (Redis Lock) — the silver bullet