图 12-1 会话程序创建的散列数据结构

代码清单 12-4 展示了修改之后的会话程序。因为 Redis 的自动过期特性只能对整个键使用，所以这个程序使用了字符串而不是散列来储存会话令牌，但总的来说，这个程序的逻辑跟之前的会话程序的逻辑基本相同。不过由于新程序无需手动检查会话是否过期，所以它的逻辑简洁了不少。

以下代码展示了这个会话程序的基本使用方法：