redis backend so you can have multiple servers cooperating