Why transactions ensure atomicity in Redis - See It in Action

Understanding Atomicity with Redis Transactions

📖 Scenario: You are managing a simple Redis database for a small online store. You want to update the stock count and sales count together to keep your data accurate.

🎯 Goal: Build a Redis transaction that updates two keys atomically, so either both updates happen or none do.

📋 What You'll Learn

Create two keys stock and sales with initial integer values.

Set up a Redis transaction block using MULTI and EXEC commands.

Within the transaction, decrement stock by 1 and increment sales by 1.

Ensure the transaction commands are grouped so they execute atomically.

💡 Why This Matters

🌍 Real World

In real online stores, updating stock and sales counts together prevents errors like selling items that are out of stock.

💼 Career

Understanding Redis transactions is important for backend developers and database administrators to maintain data consistency in fast, concurrent environments.

1

DATA SETUP: Create initial keys

Create two Redis keys called stock and sales with initial values 100 and 0 respectively using the SET command.

Redis

# Your code here

Hint

Use SET key value to create keys with values.

2

CONFIGURATION: Start a transaction

Start a Redis transaction by writing the MULTI command to begin grouping commands.

Redis

SET stock 100
SET sales 0
# Start the transaction with MULTI

Hint

Use MULTI to start a transaction block.

3

CORE LOGIC: Add atomic update commands

Within the transaction, add commands to decrement stock by 1 using DECR and increment sales by 1 using INCR.

Redis

SET stock 100
SET sales 0
MULTI
# Add DECR stock and INCR sales commands

Hint

Use DECR key to decrease and INCR key to increase values inside the transaction.

4

COMPLETION: Execute the transaction

Complete the Redis transaction by adding the EXEC command to execute all queued commands atomically.

Redis

SET stock 100
SET sales 0
MULTI
DECR stock
INCR sales
# Execute the transaction with EXEC

Hint

Use EXEC to run all commands in the transaction atomically.

Practice

1. What does atomicity mean in the context of Redis transactions?

easy

A. All commands in a transaction run completely or not at all

B. Commands run one by one without grouping

C. Commands run only if the server is idle

D. Commands run in parallel to speed up processing

Solution

1. Step 1: Understand atomicity in transactions

   Atomicity means a group of commands execute as a single unit without interruption.

2. Step 2: Apply to Redis transactions

   Redis transactions ensure all commands inside MULTI/EXEC run fully or none run at all.

3. Final Answer:

   All commands in a transaction run completely or not at all -> Option A

4. Quick Check:

   Atomicity = All or nothing [OK]

Hint: Atomicity means all commands succeed or none do [OK]

Common Mistakes:

• Thinking commands run separately
• Believing commands run only if server is idle
• Confusing atomicity with parallel execution

2. Which Redis command starts a transaction to ensure atomicity?

easy

A. WATCH

B. EXEC

C. MULTI

D. DISCARD

Solution

1. Step 1: Identify the command that begins a transaction

   MULTI is the Redis command that marks the start of a transaction block.

2. Step 2: Differentiate from other commands

   EXEC runs the queued commands, WATCH monitors keys, DISCARD cancels the transaction.

3. Final Answer:

   MULTI -> Option C

4. Quick Check:

   Start transaction = MULTI [OK]

Hint: MULTI starts the transaction block in Redis [OK]

Common Mistakes:

• Confusing EXEC as the start command
• Using WATCH to start transactions
• Mistaking DISCARD for starting transactions

3. Consider this Redis transaction:

MULTI
SET key1 value1
SET key2 value2
EXEC

What will happen if the server crashes after SET key1 value1 but before EXEC?

medium

A. Only key1 is set, key2 is not

B. Neither key1 nor key2 is set

C. Both key1 and key2 are set

D. Partial data may be set randomly

Solution

1. Step 1: Understand Redis transaction queuing

   Commands inside MULTI are queued but not executed until EXEC runs.

2. Step 2: Analyze crash timing

   If the server crashes before EXEC, none of the queued commands run, so no keys are set.

3. Final Answer:

   Neither key1 nor key2 is set -> Option B

4. Quick Check:

   Commands run only after EXEC [OK]

Hint: Commands run only after EXEC, not when queued [OK]

Common Mistakes:

• Assuming queued commands run immediately
• Thinking partial commands execute before EXEC
• Believing crash allows partial data writes

4. You wrote this Redis transaction:

MULTI
SET key1 value1
SET key2 value2
DISCARD
EXEC

What is the problem with this code?

medium

A. DISCARD cancels the transaction, so EXEC has nothing to run

B. EXEC will run commands even after DISCARD

C. MULTI cannot be used with DISCARD

D. SET commands are invalid inside transactions

Solution

1. Step 1: Understand DISCARD effect

   DISCARD cancels all queued commands in the current transaction.

2. Step 2: Analyze EXEC after DISCARD

   After DISCARD, EXEC has no commands to execute, so it does nothing.

3. Final Answer:

   DISCARD cancels the transaction, so EXEC has nothing to run -> Option A

4. Quick Check:

   DISCARD clears queue before EXEC [OK]

Hint: DISCARD cancels queued commands before EXEC runs [OK]

Common Mistakes:

• Thinking EXEC runs commands after DISCARD
• Believing MULTI and DISCARD cannot be combined
• Assuming SET commands are invalid in transactions

5. You want to ensure two keys update atomically only if neither key changes during the transaction. Which Redis commands should you use together?

hard

A. MULTI and EXEC only

B. DISCARD and EXEC

C. SETNX and GET

D. WATCH, MULTI, and EXEC

Solution

1. Step 1: Understand WATCH role

   WATCH monitors keys for changes and aborts the transaction if keys change before EXEC.

2. Step 2: Combine WATCH with MULTI/EXEC

   Use WATCH to monitor keys, then MULTI to start transaction, and EXEC to run atomically if keys unchanged.

3. Final Answer:

   WATCH, MULTI, and EXEC -> Option D

4. Quick Check:

   WATCH + MULTI/EXEC ensures atomic conditional update [OK]

Hint: Use WATCH before MULTI to ensure keys unchanged [OK]

Common Mistakes:

• Using MULTI/EXEC without WATCH for conditional updates
• Confusing DISCARD with conditional execution
• Using SETNX and GET without transaction control