Redis在电影票系统的设计与实现（Redis键值对设计）