Redis Mutex

This guide shows you how to implement a distributed mutex using Redis, Docker Compose, and Python. This lab demonstrates how to coordinate concurrent access to shared resources across multiple threads.

Prerequisites

• Docker installed and running.
• Dev Containers extension installed (optional).

How to execute

1. Setup Environment:

   Dev Container (recommended)

   Open VS Code in the project folder and execute this command in the Command Palette:

   > Dev Containers: Reopen in Container

   Manually

   pip install uv && uv sync

2. Start Infrastructure: Launch the Redis container:

   docker compose up -d

3. Run the Example:

   Lock/Unlock

   python main.py

   Context Manager

   python main_acquire.py

Validate results

Verify that each thread wrote its line in order by checking shared_file.txt:

cat shared_file.txt

Clean Up

docker compose down -v
rm shared_file.txt

Next steps

• Dive into the Redis Lab.