Hogyan valósította meg a Redis írásának atomosságát? Milyen algoritmust használt (Lua-szkript)?