Хранение сессий в Redis и их совместное использование в PHP и Tomcat

В примере с PHP можно было бы культурней переопределить механизм работы с сессии через «session_set_save_handler()». И работать с $_SESSION, session_start() вместо RedisSession::start();