java map redis set list spring queue executor cache scheduler redis-cluster lock session tomcat distributed redis-client hibernate mapreduce distributed-locks