Red de conocimiento informático - Conocimiento del nombre de dominio - Cómo instalar la extensión PHP redis para Windows

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));