简单存储过程实现redis的incr功能