Cómo instalar la extensión PHP redis para Windows
1. Primero vaya al sitio web correspondiente para descargar Redis:
Una vez completada la descarga, extráigalo a cualquier disco, como: D:/redis
<. p>Como se muestra en la figura.redis-server.exe: programa de servicio
redis-check-dump.exe: verificación de la base de datos local
redis-check-aof.exe: registro de actualización Compruebe
redis-benchmark.exe: una prueba de rendimiento que simula que N clientes envían M consultas SET/GET al mismo tiempo (similar a la herramienta ab de Apache).
Por supuesto, también necesita uno: redis.conf (el contenido específico se puede encontrar buscando en línea)
2. Inicie redis:
Utilice el. Comando cmd para ingresar a redis El directorio raíz,
Ingrese el comando: redis-server.exe redis.conf
Después del inicio, como se muestra en la figura:
La ventana cmd de inicio siempre debe estar abierta. Después del cierre, el servicio Redis se cierra.
3. En este momento, el servicio está abierto y otra ventana es para configurar el cliente:
Ingrese el comando: redis-cli.exe -h 192.168.2.168 -p 6379 (seleccione ip en sí, 6379 es el puerto predeterminado de redis)
Como se muestra en la figura después de la entrada:
Después:?
4. extensión redis
Primero, verifique la versión compilada de php V6/V9 en phpinfo()
5. Vaya al sitio web correspondiente para descargar la extensión redis:
Descargue la versión correspondiente de la extensión redis, como se muestra en la figura Como se muestra
6. Descargue php_redis.dll al directorio de extensiones de php:
?dll y modifique la configuración. archivo php.ini
Agregar extensión debe ser
extension=php_igbinary.dll
extension=php_redis.dll
La secuencia es la siguiente como se muestra en la figura:
7. Reinicie el servicio. Verifique phpinfo(), si aparece como se muestra en la figura, significa éxito;
8. p>
$redis = nuevo Redis(); ?
$redis -gt;connect("192.168.138.2", "6379"); gt;connect("192.168.138.2", "6379"); ?
// ¿Guardar un valor?
$redis-gt; set("say", "Hola mundo" "); ?
echo $redis-gt; get("say"); // ¿Debería generarse Hola Mundo?
// ¿Almacenar múltiples valores?
$array = array('first_key'=gt;'first_val', ?
?' second_key'=gt;'segundo_val', ?
?'third_key'=gt ;'tercer_val'); ?
$array_get = array('primera_clave', 'segunda_clave', 'tercera_clave');
$redis-gt; ?
var_dump($redis-gt; mget($array_get));