由于开发环境是基于laragon的，自带了正宫娘娘Redis。Redis 是一个开源的、高性能的 内存键值数据库（也支持持久化），支持多种数据结构（如字符串、哈希、列表、集合等），主要由 Redis Ltd.（原 Redis Labs）维护。
在php中，如果要使用redis，就需要有个客户端连接上去，就好比需要mysql的客户端，连接mysql进行运营管理一样。
目前，流行的php redis客户端有两个：
1. PHPRedis： PHPRedis基于c写的，性能好。需要说明一点，phpredis又叫redis php扩展，是由一家叫PECL开发的。
2. PRedis： PRedis是完全用PHP写的，性能比PRedis要差些，但是可以直接在PHP中进行debug。
处于性能考虑，也不想让本地有那么多的软件包，我选择了PHPRedis。
使用PHPRedis，需要按照对应的扩展dll。下载地址：[https://pecl.php.net/package/redis](PECL PHPRedis扩展)。注意，需要根据php版本+php版本的nts/ts+x64/x86来选择对应的PHPRedis的版本号。
下载完对应的dll之后，可以直接将phpredis.dll copy到php目录下的ext子目录中，然后修改php.ini，添加：
extension=php_redis.dll
最后，重启web server，这时候，在phpinfo中，看到redis部分，就表示安装成功了。