Atomic operations with Lua in Redis - Mini Project: Build & Apply

Atomic Operations with Lua in Redis

📖 Scenario: You are managing a Redis database for a simple online store. You want to safely update the stock count of a product without interference from other operations.

🎯 Goal: Build a Lua script that atomically checks the stock of a product and decreases it by a specified amount only if enough stock is available.

📋 What You'll Learn

Create a Redis key with the initial stock count for a product.

Define a variable for the amount to decrease the stock.

Write a Lua script that atomically checks if the stock is sufficient and decreases it.

Add the final command to execute the Lua script using Redis EVAL.

💡 Why This Matters

🌍 Real World

Managing stock counts in an online store requires atomic updates to prevent overselling.

💼 Career

Understanding Lua scripting in Redis is valuable for backend developers working with caching and real-time data stores.

1

DATA SETUP: Create a Redis key for product stock

Create a Redis key called product_stock and set its value to 100 to represent the initial stock count.

Redis

# Your code here to set product_stock to 100

Hint

Use the Redis SET command to create the key and assign the value.

2

CONFIGURATION: Define the amount to decrease stock

Define a Lua variable called decrease_amount and set it to 5 to represent how many items to remove from stock.

Redis

SET product_stock 100
-- Define decrease_amount variable in Lua
-- Your code here

Hint

Use local decrease_amount = 5 to define the variable inside the Lua script.

3

CORE LOGIC: Write Lua script for atomic stock decrease

Write a Lua script that uses redis.call('GET', 'product_stock') to get the current stock, converts it to a number, checks if it is greater or equal to decrease_amount, and if yes, decreases the stock by decrease_amount using redis.call('SET', 'product_stock', new_stock). Use variables current_stock and new_stock.

Redis

SET product_stock 100
local decrease_amount = 5
-- Your Lua script here to atomically decrease stock

Hint

Use tonumber to convert the stock string to a number. Use if to check stock and redis.call('SET', ...) to update.

4

COMPLETION: Execute the Lua script atomically with Redis EVAL

Write the Redis EVAL command to run the Lua script atomically. Use the full Lua script as a string, pass 0 for the number of keys, and no additional arguments.

Redis

SET product_stock 100
local decrease_amount = 5
local current_stock = tonumber(redis.call('GET', 'product_stock'))
if current_stock >= decrease_amount then
    local new_stock = current_stock - decrease_amount
    redis.call('SET', 'product_stock', new_stock)
end
-- Your EVAL command here

Hint

Use EVAL with the Lua script as a string and 0 keys to run the script atomically.

Practice

1. What is the main benefit of using Lua scripts with Redis EVAL command?

easy

A. It ensures multiple commands run atomically without interference.

B. It speeds up Redis server startup time.

C. It allows Redis to store Lua scripts permanently.

D. It automatically backs up Redis data to disk.

Solution

1. Step 1: Understand atomicity in Redis

   Atomicity means commands run fully or not at all, preventing partial updates.

2. Step 2: Role of Lua scripts with EVAL

   Lua scripts run all commands inside them as a single atomic operation in Redis.

3. Final Answer:

   It ensures multiple commands run atomically without interference. -> Option A

4. Quick Check:

   Atomic operations = safe multi-command execution [OK]

Hint: Lua scripts run all commands atomically in Redis [OK]

Common Mistakes:

• Thinking Lua scripts speed up server startup
• Confusing script storage with atomicity
• Assuming Lua scripts backup data automatically

2. Which of the following is the correct syntax to run a Lua script that increments a Redis key counter by 1 using EVAL?

easy

A. EVAL "return redis.call('INCR', 'counter')" 0

B. EVAL "return redis.call('INCR', ARGV[1])" 1 counter

C. EVAL "return redis.call('INCR', KEYS[1])" 0 counter

D. EVAL "return redis.call('INCR', KEYS[1])" 1 counter

Solution

1. Step 1: Understand EVAL syntax

   EVAL script numkeys key1 key2 ... args ...; KEYS[] holds keys, ARGV[] holds arguments.

2. Step 2: Identify correct usage for increment

   Since 'counter' is a key, it should be passed as KEYS[1] with numkeys=1.

3. Final Answer:

   EVAL "return redis.call('INCR', KEYS[1])" 1 counter -> Option D

4. Quick Check:

   Use KEYS for keys, ARGV for arguments [OK]

Hint: Keys go in KEYS[], count keys correctly [OK]

Common Mistakes:

• Passing keys in ARGV instead of KEYS
• Setting numkeys to 0 when keys are used
• Using string literal instead of KEYS[1]

3. Given the Lua script run with EVAL below, what will be the output if the key visits does not exist initially?

EVAL "local v = redis.call('GET', KEYS[1]) if not v then v = 0 end v = v + 1 redis.call('SET', KEYS[1], v) return v" 1 visits

medium

A. nil

B. 1

C. 0

D. Error: attempt to perform arithmetic on a nil value

Solution

1. Step 1: Analyze GET result when key missing

   redis.call('GET', KEYS[1]) returns nil if key doesn't exist.

2. Step 2: Check the if condition

   if not v then v = 0 end executes since v is nil, setting v to 0.

3. Step 3: Perform arithmetic and SET

   v = 0 + 1 = 1; redis.call('SET', KEYS[1], 1); return 1.

4. Final Answer:

   1 -> Option B

5. Quick Check:

   Nil handled by if not v, outputs 1 [OK]

Hint: Script checks nil before math, outputs 1 [OK]

Common Mistakes:

• Overlooking the 'if not v then v = 0 end' check
• Assuming nil causes arithmetic error despite handling
• Thinking GET nil leads to error without reading full script

4. Identify the error in this Lua script used with Redis EVAL:

EVAL "local count = redis.call('GET', KEYS[1]) count = tonumber(count) + 1 redis.call('SET', KEYS[1], count) return count" 1 visits

medium

A. Missing check if count is nil before tonumber conversion.

B. Incorrect number of keys specified in EVAL command.

C. Using redis.call instead of redis.pcall causes failure.

D. The return statement should be outside the script string.

Solution

1. Step 1: Understand tonumber behavior

   tonumber(nil) returns nil, so nil + 1 causes error.

2. Step 2: Check script for nil handling

   Script does not check if count is nil before adding 1, causing runtime error if key missing.

3. Final Answer:

   Missing check if count is nil before tonumber conversion. -> Option A

4. Quick Check:

   Always check nil before tonumber and math [OK]

Hint: Check nil before tonumber and math operations [OK]

Common Mistakes:

• Assuming tonumber(nil) returns 0
• Ignoring nil checks before arithmetic
• Confusing redis.call and redis.pcall usage

5. You want to atomically increment a Redis key page_views only if its current value is less than 100. Which Lua script snippet correctly implements this logic using EVAL?

hard

A. local v = redis.call('GET', KEYS[1]) if v < 100 then redis.call('INCR', KEYS[1]) return v + 1 else return v end

B. local v = tonumber(redis.call('GET', KEYS[1])) if v <= 100 then redis.call('INCR', KEYS[1]) return v + 1 else return v end

C. local v = tonumber(redis.call('GET', KEYS[1]) or '0') if v < 100 then redis.call('INCR', KEYS[1]) return v + 1 else return v end

D. local v = tonumber(redis.call('GET', KEYS[1]) or '0') if v <= 100 then redis.call('INCR', KEYS[1]) return v + 1 else return v end

Solution

1. Step 1: Handle missing key safely

   Using 'or "0"' ensures tonumber gets '0' if key missing, avoiding nil errors.

2. Step 2: Check condition and increment

   Condition 'v < 100' matches requirement to increment only if less than 100.

3. Step 3: Return updated or current value

   Returns v+1 if incremented, else returns current v.

4. Final Answer:

   local v = tonumber(redis.call('GET', KEYS[1]) or '0') if v < 100 then redis.call('INCR', KEYS[1]) return v + 1 else return v end -> Option C

5. Quick Check:

   Safe nil handling + correct condition = local v = tonumber(redis.call('GET', KEYS[1]) or '0') if v < 100 then redis.call('INCR', KEYS[1]) return v + 1 else return v end [OK]

Hint: Use 'or "0"' to avoid nil, check '< 100' strictly [OK]

Common Mistakes:

• Not handling nil key values
• Using <= 100 instead of < 100
• Forgetting to convert GET result to number