redis源码,idea开发的，代码比较全，切片，非切片，数据源，都有