WindowsへRedisをインストールする

https://github.com/msopenTech/redis/ から最新版を取得して、
/bin/releaseにあるzipを解凍する。

出てきたRedisService.docxに従ってサービス登録すれば完了。

PHP用クライアントは
http://char101.github.io/phpredis/
ここからバージョンにあったDLLをもってきて、php.iniに登録

バージョンが違うと静かに動かないので注意