InkdownInkdown
Start writing

Arpit Bhayani Blogs

336 files·168 subfolders

Shared Workspace

Arpit Bhayani Blogs
001 Ai Topological Sort

024-redis-replication

Shared from "Arpit Bhayani Blogs" on Inkdown

Redis Replication Internals

Source: https://arpitbhayani.me/blogs/redis-replication Date: 2025-10-17

One of the most fundamental design decisions in Redis replication is that it's push-based rather than pull-based. This means the master (or primary) actively sends data to replicas, rather than replicas polling the master for updates.


One of the most fundamental design decisions in Redis replication is that it’s push-based rather than pull-based. This means the master (or primary) actively sends data to replicas, rather than replicas polling the master for updates.

But why did Redis make this choice? What are the trade-offs? And how does this affect your production systems? Let’s dive deep into the engineering reasoning behind this decision.

Push vs. Pull Replication

Before we explore Redis specifically, let’s establish what we mean by push and pull replication models.

001-ai-topological-sort.md
tldr.md
002 Temporal Primer
002-temporal-primer.md
tldr.md
003 Rag Production
003-rag-production.md
tldr.md
004 Structure Of Llm Chat
004-structure-of-llm-chat.md
tldr.md
005 How Llms Work
005-how-llms-work.md
tldr.md
006 Monolith Is Distributed System
006-monolith-is-distributed-system.md
tldr.md
007 Defensive Databases
007-defensive-databases.md
tldr.md
008 Bm25
008-bm25.md
tldr.md
009 Join Algorithms
009-join-algorithms.md
tldr.md
010 Venting At Work
010-venting-at-work.md
tldr.md
011 Half Life
011-half-life.md
tldr.md
012 Multi Paxos
012-multi-paxos.md
tldr.md
013 Mysql Replication Internals
013-mysql-replication-internals.md
tldr.md
014 Bloom Filters
014-bloom-filters.md
tldr.md
015 Clock Sync Nightmare
015-clock-sync-nightmare.md
tldr.md
016 Kafka Partitions
016-kafka-partitions.md
tldr.md
017 Product Quantization
017-product-quantization.md
tldr.md
018 Qkv Matrices
018-qkv-matrices.md
tldr.md
019 Deleted Production
019-deleted-production.md
tldr.md
020 How Llm Inference Works
020-how-llm-inference-works.md
tldr.md
021 Blocking Queues
021-blocking-queues.md
tldr.md
022 Heartbeats In Distributed Systems
022-heartbeats-in-distributed-systems.md
tldr.md
023 Cassandra Writes
023-cassandra-writes.md
tldr.md
024 Redis Replication
024-redis-replication.md
tldr.md
025 Arrogant People At Work
025-arrogant-people-at-work.md
tldr.md
026 Cdn Content Replication
026-cdn-content-replication.md
tldr.md
027 Cant Fix Everything Day One
027-cant-fix-everything-day-one.md
tldr.md
028 Emotions At Work
028-emotions-at-work.md
tldr.md
029 Grpc Http2
029-grpc-http2.md
tldr.md
030 Meetings With No Agenda Are A Waste Of Time
030-meetings-with-no-agenda-are-a-waste-of-time.md
tldr.md
031 Growth Is Not About Doing Everything
031-growth-is-not-about-doing-everything.md
tldr.md
032 Career Longevity Vs Job Hopping
032-career-longevity-vs-job-hopping.md
tldr.md
033 Stay Relevant At Higher Salary Levels
033-stay-relevant-at-higher-salary-levels.md
tldr.md
034 Why Consensus
034-why-consensus.md
tldr.md
035 Database Deadlocks
035-database-deadlocks.md
tldr.md
036 Cpu Cache Locality
036-cpu-cache-locality.md
tldr.md
037 Eventual Consistency
037-eventual-consistency.md
tldr.md
038 Dns Udp Tcp
038-dns-udp-tcp.md
tldr.md
039 Masters
039-masters.md
tldr.md
040 Empathy Makes Great Engineers Unstoppable
040-empathy-makes-great-engineers-unstoppable.md
tldr.md
041 Good Mentors Build People
041-good-mentors-build-people.md
tldr.md
042 Always Have Back Burner Projects
042-always-have-back-burner-projects.md
tldr.md
043 Before You Push Back Know What Youre Standing On
043-before-you-push-back-know-what-youre-standing-on.md
tldr.md
044 Be The One They Can Count On
044-be-the-one-they-can-count-on.md
tldr.md
045 How Much People Bet On You
045-how-much-people-bet-on-you.md
tldr.md
046 How To Get Leadership To Say Yes To Your Project
046-how-to-get-leadership-to-say-yes-to-your-project.md
tldr.md
047 Dont Let Your Best Ideas Die In Silence
047-dont-let-your-best-ideas-die-in-silence.md
tldr.md
048 Be Someone Others Want To Work With
048-be-someone-others-want-to-work-with.md
tldr.md
049 Dont Fall For Xy Problem Ask Right Questions
049-dont-fall-for-xy-problem-ask-right-questions.md
tldr.md
050 Biggest Lie Startups Tell Engineers
050-biggest-lie-startups-tell-engineers.md
tldr.md
051 Promotions Are Proactive Not Reactive
051-promotions-are-proactive-not-reactive.md
tldr.md
052 Not Enough To Be Right Learn To Be Heard
052-not-enough-to-be-right-learn-to-be-heard.md
tldr.md
053 No One Ships Alone
053-no-one-ships-alone.md
tldr.md
054 Not Every Mistake Needs A Correction
054-not-every-mistake-needs-a-correction.md
tldr.md
055 Build Influence At Work
055-build-influence-at-work.md
tldr.md
056 Your Soft Skills Arent Soft At All
056-your-soft-skills-arent-soft-at-all.md
tldr.md
057 Experience Before Forming Opinion
057-experience-before-forming-opinion.md
tldr.md
058 Curiosity And High Bias For Action
058-curiosity-and-high-bias-for-action.md
tldr.md
059 Worklog
059-worklog.md
tldr.md
060 Mistakes And Growth
060-mistakes-and-growth.md
tldr.md
061 Own It Instead Of Sweeping It Aside
061-own-it-instead-of-sweeping-it-aside.md
tldr.md
062 Dont Wait Step Up
062-dont-wait-step-up.md
tldr.md
063 Temporary Fix Is Permanent
063-temporary-fix-is-permanent.md
tldr.md
064 Interview Bias And What Sets You Apart
064-interview-bias-and-what-sets-you-apart.md
tldr.md
065 Saying This Isnt My Problem Is A Problem
065-saying-this-isnt-my-problem-is-a-problem.md
tldr.md
066 Okr
066-okr.md
tldr.md
067 Miscommunication
067-miscommunication.md
tldr.md
068 When In Doubt Code It Out
068-when-in-doubt-code-it-out.md
tldr.md
069 Follow Up Without Annoying People
069-follow-up-without-annoying-people.md
tldr.md
070 Lead Projects That Land
070-lead-projects-that-land.md
tldr.md
071 Abstract Thinking Skill Next Decade
071-abstract-thinking-skill-next-decade.md
tldr.md
072 We Engineers Suck At Task Estimation
072-we-engineers-suck-at-task-estimation.md
tldr.md
073 Shiny Object Syndrome In Tech
073-shiny-object-syndrome-in-tech.md
tldr.md
074 3p
074-3p.md
tldr.md
075 Leverage The Equilibrium
075-leverage-the-equilibrium.md
tldr.md
076 On Demand Container Loading In Aws Lambda
076-on-demand-container-loading-in-aws-lambda.md
tldr.md
077 Sql Has Problems We Can Fix Them Pipe Syntax In Sql
077-sql-has-problems-we-can-fix-them-pipe-syntax-in-sql.md
tldr.md
078 Nanolog A Nanosecond Scale Logging System
078-nanolog-a-nanosecond-scale-logging-system.md
tldr.md
079 Best Resource Is Mythical
079-best-resource-is-mythical.md
tldr.md
080 Wtf The Who To Follow Service At Twitter
080-wtf-the-who-to-follow-service-at-twitter.md
tldr.md
081 Know A Lot
081-know-a-lot.md
tldr.md
082 Out Of Syllabus
082-out-of-syllabus.md
tldr.md
083 Negotiate The Offer
083-negotiate-the-offer.md
tldr.md
084 Never Bad Mouth Your Ex Exployer
084-never-bad-mouth-your-ex-exployer.md
tldr.md
085 Culture Fit
085-culture-fit.md
tldr.md
086 Quantification In Resume
086-quantification-in-resume.md
tldr.md
087 Hiring Is Unfair
087-hiring-is-unfair.md
tldr.md
088 Questions For Interviewers
088-questions-for-interviewers.md
tldr.md
089 Collaboration Communication
089-collaboration-communication.md
tldr.md
090 Out Of Vicious Interview Cycle
090-out-of-vicious-interview-cycle.md
tldr.md
091 Pitch Projects Not Ideas
091-pitch-projects-not-ideas.md
tldr.md
092 Read Design Docs
092-read-design-docs.md
tldr.md
093 Read Rca Docs
093-read-rca-docs.md
tldr.md
094 Start Generalist
094-start-generalist.md
tldr.md
095 Do Not Rely On Summaries
095-do-not-rely-on-summaries.md
tldr.md
096 Structure Your Design Interviews
096-structure-your-design-interviews.md
tldr.md
097 Title Inflation
097-title-inflation.md
tldr.md
098 Find Your Own Project
098-find-your-own-project.md
tldr.md
099 Six Pointers To Crack Coding And Design Interviews
099-six-pointers-to-crack-coding-and-design-interviews.md
tldr.md
100 Keep Yourself Unblocked
100-keep-yourself-unblocked.md
tldr.md
101 Genetic Knapsack
101-genetic-knapsack.md
tldr.md
102 Pseudorandom Number Generation Lfsr
102-pseudorandom-number-generation-lfsr.md
tldr.md
103 How Indexes Work On Partitioned And Sharded Data
103-how-indexes-work-on-partitioned-and-sharded-data.md
tldr.md
104 Some Data Partitioning Strategies For Distributed Data Stores
104-some-data-partitioning-strategies-for-distributed-data-stores.md
tldr.md
105 Data Partitioning
105-data-partitioning.md
tldr.md
106 Leaderless Replication
106-leaderless-replication.md
tldr.md
107 Conflict Resolution
107-conflict-resolution.md
tldr.md
108 Conflict Detection
108-conflict-detection.md
tldr.md
109 Multi Master Replication
109-multi-master-replication.md
tldr.md
110 Monotonic Reads
110-monotonic-reads.md
tldr.md
111 Read Your Write Consistency
111-read-your-write-consistency.md
tldr.md
112 Handling Outages Master Replica
112-handling-outages-master-replica.md
tldr.md
113 Replication Formats
113-replication-formats.md
tldr.md
114 Replication Strategies
114-replication-strategies.md
tldr.md
115 Master Replica Replication
115-master-replica-replication.md
tldr.md
116 Durability
116-durability.md
tldr.md
117 Isolation
117-isolation.md
tldr.md
118 Atomicity
118-atomicity.md
tldr.md
119 Consistency
119-consistency.md
tldr.md
120 Architectures In Distributed Systems
120-architectures-in-distributed-systems.md
tldr.md
121 Mistaken Beliefs Of Distributed Systems
121-mistaken-beliefs-of-distributed-systems.md
tldr.md
122 Fork Bomb
122-fork-bomb.md
tldr.md
123 Chained Operators Python
123-chained-operators-python.md
tldr.md
124 Taxonomy On Sql
124-taxonomy-on-sql.md
tldr.md
125 The Weird Walrus
125-the-weird-walrus.md
tldr.md
126 Fully Persistent Arrays
126-fully-persistent-arrays.md
tldr.md
127 Persistent Data Structures Introduction
127-persistent-data-structures-introduction.md
tldr.md
128 Constant Folding Python
128-constant-folding-python.md
tldr.md
129 String Interning Python
129-string-interning-python.md
tldr.md
130 Recursion Visualizer Python
130-recursion-visualizer-python.md
tldr.md
131 Flajolet Martin
131-flajolet-martin.md
tldr.md
132 2q Cache
132-2q-cache.md
tldr.md
133 Israeli Queues
133-israeli-queues.md
tldr.md
134 1d Terrain
134-1d-terrain.md
tldr.md
135 Jaccard Minhash
135-jaccard-minhash.md
tldr.md
136 Ts Smoothing
136-ts-smoothing.md
tldr.md
137 Lfu
137-lfu.md
tldr.md
138 Morris Counter
138-morris-counter.md
tldr.md
139 Slowsort
139-slowsort.md
tldr.md
140 Bitcask
140-bitcask.md
tldr.md
141 Phi Accrual
141-phi-accrual.md
tldr.md
142 10x Engineer
142-10x-engineer.md
tldr.md
143 Decipher Repeated Key Xor
143-decipher-repeated-key-xor.md
tldr.md
144 Decipher Single Xor
144-decipher-single-xor.md
tldr.md
145 Python Iterable Integers
145-python-iterable-integers.md
tldr.md
146 Inheritance C
146-inheritance-c.md
tldr.md
147 Rum
147-rum.md
tldr.md
148 Consistent Hashing
148-consistent-hashing.md
tldr.md
149 Python Caches Integers
149-python-caches-integers.md
tldr.md
150 Fractional Cascading
150-fractional-cascading.md
tldr.md
151 Copy On Write
151-copy-on-write.md
tldr.md
152 Midpoint Insertion Caching Strategy
152-midpoint-insertion-caching-strategy.md
tldr.md
153 Fsm Python
153-fsm-python.md
tldr.md
154 Bayesian Average
154-bayesian-average.md
tldr.md
155 Sliding Window Ratelimiter
155-sliding-window-ratelimiter.md
tldr.md
156 Idf
156-idf.md
tldr.md
157 Better Programmer
157-better-programmer.md
tldr.md
158 Python Prompts
158-python-prompts.md
tldr.md
159 Rule 30 Cellular Automata
159-rule-30-cellular-automata.md
tldr.md
160 Function Overloading
160-function-overloading.md
tldr.md
161 Isolation Forest
161-isolation-forest.md
tldr.md
162 Image Steganography
162-image-steganography.md
tldr.md
163 Long Integers Python
163-long-integers-python.md
tldr.md
164 I Changed My Python
164-i-changed-my-python.md
tldr.md
165 Benchmark And Compare Pagination Approach In Mongodb
165-benchmark-and-compare-pagination-approach-in-mongodb.md
tldr.md
166 Mongodb Cursor Skip Is Slow
166-mongodb-cursor-skip-is-slow.md
tldr.md
167 Fast And Efficient Pagination In Mongodb
167-fast-and-efficient-pagination-in-mongodb.md
tldr.md
168 Making Http Requests Using Netcat
168-making-http-requests-using-netcat.md
tldr.md

Pull-based replication: Replicas periodically ask the master, “What’s new?” The replica is responsible for fetching updates. Think of it like checking your mailbox; you decide when to check, and you pull out whatever’s there.

Redis uses the push model. When a write command is executed on the master, Redis propagates that command to all connected replicas immediately (or as immediately as the network allows).

Redis Replication

To understand why push makes sense, we need to understand how Redis replication actually works.

The Replication Protocol

When a replica connects to a master, here’s what happens:

  1. The replica sends a PSYNC

    command to the master

  2. If this is the first sync or the replica is too far behind, the master performs a full resync:

  • Master creates an RDB snapshot in the background
  • Master buffers all new writes during snapshot creation
  • Master sends the RDB file to the replica
  • Master sends the buffered writes
  1. After the initial sync, the master enters push mode:
  • Every write command executed on the master is immediately sent to all replicas
  • This happens via the replication backlog buffer
  • Replicas execute these commands in the same order

This is where the push nature becomes evident. The master doesn’t wait for replicas to ask for updates; it actively streams commands as they happen.

Replication Backlog

The replication backlog is a circular buffer that the master maintains. It stores a recent history of write commands (default 1MB, but tunable). This buffer serves two critical purposes:

  1. If a replica disconnects briefly, it can resume from where it left off
  2. Provides a cushion when replicas temporarily fall behind

The backlog itself is a push-oriented data structure. The master continuously appends to it and pushes offsets to replicas, rather than replicas pulling from specific offsets.

Why Push?

Now let’s get to the heart of the matter: why did Redis choose push-based replication?

Minimizing Replication Lag

The primary driver is latency. Redis is designed for microsecond-level operations. In a pull-based model, you’d have unavoidable replication lag due to:

  • Polling interval: Replicas would need to wait for the next poll cycle
  • Batching overhead: Multiple writes between polls would bunch up
  • Request-response latency: Each pull requires a round-trip

With push-based replication, commands propagate to replicas immediately after execution on the master. The only delay is network transmission time. For most use cases, this means replication lag measured in single-digit milliseconds rather than seconds.

Imagine you’re using Redis for session storage in a web application with read replicas. A user logs in (writes to the master), then immediately makes another request that hits a replica. With pull-based replication on a 1-second polling interval, there’s a 50% chance (on average) that the replica doesn’t have the session yet. With push-based replication, the session is likely already there.

Simplified Mental Model and Consistency

Push-based replication creates a clearer consistency model for developers. When you write to Redis, you know:

  • The write is persisted on the master
  • The write is immediately propagated to all connected replicas
  • Replicas apply writes in the exact order they occurred on the master

This is easier to reason about than: “The write is on the master, and replicas will eventually discover it whenever they next poll.”

The push model naturally implements sequential consistency at the replica level. Each replica sees writes in the same order they were executed on the master, which is crucial for maintaining data integrity.

Network Efficiency

Counterintuitively, push can be more network-efficient than pull in many scenarios.

In pull-based systems:

  • Replicas must regularly poll even when there are no updates (wasted bandwidth)
  • Each poll is a request-response cycle (protocol overhead)
  • Batching updates requires additional complexity to handle variable batch sizes

In push-based systems:

  • Network traffic only occurs when there are actual writes
  • The master controls the flow, eliminating redundant polls
  • The protocol is simpler, just stream commands as they arrive

Consider a Redis instance with 1000 writes per second and 10 replicas. In a push model, you send 1000 commands to each replica (10,000 messages). In a pull model with 1-second polling, you’d have 10 polls per second (minimum) plus the 10,000 data messages, and that’s just to match the push latency.

The Single-Threaded Nature of Redis

Redis’s core design is single-threaded (for command execution). This actually makes push-based replication more natural to implement.

Here’s why: When Redis executes a write command on the master, it’s already holding the execution context. At that exact moment, it can:

  1. Execute the command
  2. Immediately propagate it to the replication backlog
  3. Push it to all connected replicas’ output buffers

This happens atomically within the same event loop iteration. There’s no need for background threads, complex synchronization, or state management.

In a pull model, Redis would need to:

  1. Queue incoming replica requests
  2. Maintain per-replica state about what they’ve seen
  3. Respond to each pull request individually
  4. Handle concurrent pulls from multiple replicas

This would introduce significantly more complexity in a single-threaded architecture.

Backpressure and Flow Control

Push-based replication gives the master better control over flow management. The master can:

  • Monitor each replica’s output buffer

  • Detect when a replica is falling too far behind

  • Disconnect slow replicas to protect itself (configurable with repl-timeout

    and client-output-buffer-limit

    )

This protects the master from resource exhaustion. If a replica is slow or has network issues, the master can make intelligent decisions about whether to wait or disconnect.

In a pull model, the burden would be on replicas to manage their own rate of consumption, but they wouldn’t have visibility into the master’s state or other replicas’ performance.

Simpler Failure Handling

When things go wrong (and they will), push-based replication offers cleaner failure modes:

Replica disconnection: The master immediately knows via the TCP connection. It can stop trying to push to that replica, freeing resources.

Master failure: Replicas are already in sync up to the last received command. Promotion to master is straightforward, just elect the most up-to-date replica.

Network partition: The master can use min-replicas-to-write and min-replicas-max-lag to refuse writes if too many replicas are unreachable, preventing split-brain scenarios.

These mechanisms are natural in a push model because the master has real-time awareness of the replica state.

Trade-offs

No design is perfect. Push-based replication has limitations:

Master Resource Usage

The master must maintain:

  • TCP connections to all replicas
  • Output buffers for each replica
  • The replication backlog

For a master with many replicas (say, 100+), this can consume significant memory. The client-output-buffer-limit helps here, but it’s a resource consideration nonetheless.

Replica Autonomy

Replicas can’t control their replication rate. They receive data as fast as the master sends it. This is usually fine, but in extreme cases:

  • A slow replica might build up a backlog in its socket buffer
  • The replica has no way to tell the master “slow down.”

Redis handles this by disconnecting lagging replicas, which is pragmatic but can be disruptive.

Coordination Overhead for the Master

Every write on the master triggers replication logic:

  • Append to replication backlog
  • Push to each replica’s output buffer
  • Update replication offsets

In a pull model, this cost would be amortized across poll intervals.

Key Tunables

Configuration Tuning

repl-backlog-size: The default 1MB might be too small for high-throughput systems. If replicas frequently disconnect and require full resyncs, increase this.

A good heuristic

Plain text

min-replicas-to-write and min-replicas-max-lag are used to ensure consistency. For example:

Plain text

This means the master refuses writes if it doesn’t have at least 1 replica with less than 10 seconds of lag. This prevents data loss if the master fails right after a write.

Monitoring Replication Lag

We use INFO replication on both master and replicas. Key metrics:

  • master_repl_offset

    (on master): How many bytes have been sent

  • slave_repl_offset

    (on replica): How many bytes have been processed

  • Difference = replication lag in bytes

Combine with repl_backlog_first_byte_offset to ensure replicas are within the backlog window.

Read Scaling Patterns
  • Replicas are usually within milliseconds of the master

  • Clients can read from nearby replicas for latency-sensitive operations

  • We can use WAIT

    command when you need stronger consistency: WAIT 1 1000

    blocks until at least 1 replica acknowledges a write (with 1-second timeout)

Remember, even with push-based replication, Redis replication is asynchronous. There’s no distributed consensus. Reads from replicas may return stale data. For critical reads, go to the master or use WAIT.

Diskless Replication

Redis (2.8.18+) introduced diskless replication, which is an optimization enabled by push-based architecture.

Normally, during a full resync:

  1. Master forks and writes RDB to disk
  2. Master reads RDB from disk and sends it to the replica

With diskless replication (repl-diskless-sync yes):

  1. Master forks and writes RDB directly to the replica socket
  2. No disk I/O on the master

Footnotes

Redis replication is push-based because it aligns perfectly with Redis’s design philosophy and constraints.

  • Minimizes replication lag for the low-latency use cases
  • Fits naturally into Redis’s single-threaded architecture
  • Reduces network overhead and unnecessary polling
  • Gives the master visibility and control over replica state

The push model places more burden on the master and reduces replica autonomy, but for Redis’s primary use cases (caching, session stores, real-time analytics), these trade-offs are absolutely worth it.

Relevant source code
  • propagateNow func in src/server.c
  • replicationFeedSlaves func in src/replication.c
  • propagatePendingCommands func in src/server.c