bhe potrebbe essere un ottimo suggerimento in effett!

leggendo qui, ho visto che c'è anche un esempio su come fare quello che vorrei: https://github.com/phpredis/phpredis
inoltre su debian ho visto che ci stanno già i pacchetti:
codice:
p   php-redis                                                                            - estensione PHP per interfacciarsi con Redis                                                    
v   php7.0-redis
potrebbe essere un buon test da fare!