Redis Mutex

Esta guía te muestra cómo implementar un mutex distribuido usando Redis, Docker Compose y Python. Este lab demuestra cómo coordinar el acceso concurrente a recursos compartidos entre múltiples hilos.

Prerrequisitos

• Docker instalado y en ejecución.
• Dev Containers extension instalada (opcional).

Cómo ejecutar

1. Configurar el entorno:

   Dev Container (recomendado)

   Abre VS Code en la carpeta del proyecto y ejecuta este comando en la Paleta de Comandos:

   > Dev Containers: Reopen in Container

   Manual

   pip install uv && uv sync

2. Iniciar la infraestructura: Lanza el contenedor de Redis:

   docker compose up -d

3. Ejecutar el ejemplo:

   Lock/Unlock

   python main.py

   Context Manager

   python main_acquire.py

Validar resultados

Verifica que cada hilo escribió su línea en orden comprobando shared_file.txt:

cat shared_file.txt

Limpieza

docker compose down -v
rm shared_file.txt

Siguientes pasos

• Profundiza en el Lab Redis.