What is Multi-Leader Data Replication Strategy?

Table of Contents

- Introduction
- What is Multi-Leader Replication Strategy?
- When to Use Multi-Leader Replication Strategy?
- What’s the Complexity in Using Multi-Leader Setup?
- Conclusion
- What’s Next

Introduction

Data replication is a process of making multiple copies of data (replicating) and storing them at different locations (machines) to improve the availability, reliability, and fault tolerance of a software system. The multi-leader replication strategy is one of the popular algorithms for replicating changes between machines (a.k.a nodes).

What is Multi-Leader Replication Strategy?

There are multiple ways to replicate data between machines. The most common approach is to use the single-leader setup which promotes a single machine (which is often called a leader) to serve write requests. The leader node would propagate the updates to other machines (a.k.a replica or followers). Here is the illustration of the single-leader replication setup:

Single Leader Replication Strategy
Figure 1. Single Leader Replication Strategy

The natural extension of the single-leader formation is to increase the number of nodes handling write requests for various benefits (e.g., write performance, network partition). We call this the multi-leader replication. In this setup, multiple machines are promoted to serve write requests and send updates to other machines asynchronously. The setup would look something like this:

Multi Leader Replication Strategy
Figure 2. Multi Leader Replication Strategy

When to Use Multi-Leader Replication Strategy?

You might be wondering, “why the single-leader setup is the most popular replication algorithm?” It’s because of its simplicity. It rarely makes sense to use the multi-leader setup due to its complexity, which will be discussed in the next section in detail. However, there are several scenarios where the benefits outweigh the complexity:

  • Multi-datacenter operation
  • Offline-mode Support
  • Collaborative Editing

Multi-Datacenter Operation

Imagine a system that handles requests coming from multiple regions (e.g., North America, Asia) to support international users. You would need machines in multiple regions to provide the best latency across the globe. With the single-leader setup, you would have to redirect all the write requests to the leader machine, which could be located across the globe:

Multi Datacenter Single Leader Replication
Figure 3. Multi Datacenter Single Leader Replication

With the multi-leader setup, you can have one leader in the US and another leader located in Asia to handle local writes without needing cross-datacenter redirects:

Multi Datacenter Multi Leader Replication
Figure 4. Multi Datacenter Multi Leader Replication

Furthermore, since the cross-datacenter requests are expensive, we can have a synchronizer that syncs data across data centers periodically (e.g., every hour), instead of sending updates for every write requests:

Multi Datacenter Multi Leader Replication with Synchronizer
Figure 5. Multi Datacenter Multi Leader Replication with Synchronizer

Aside from the performance improvement, the multi-leader setup would allow tolerating datacenter outages or network failures. However, the benefits come with a big downside of allowing the same data concurrently being modified in different datacenters. If strong consistency is an important requirement for your system, the multi-leader setup might not be the best setup for replication.

Offline-mode Support

Another use case is to support offline mode. The offline mode is prevalent nowadays in a lot of services (e.g., Google Maps, Evernote). It allows users to continue using services without a network connection.

To make this happen, your local machine/device would be acting as another write replica and become responsible for handling write requests and syncing the data to other machines when the network connection comes back online. Such setup could look like this:

Offline Mode Support with Multi Leader Replication
Figure 6. Offline Mode Support with Multi Leader Replication

Collaborative Editing

When you are using a collaborative editing tool, you would have noticed that your edits are instantly applied. This is possible because once again, your machine is acting as a write replica to handle edit requests and send updates asynchronously to other machines.

You might have seen an error message like “Something went wrong, please refresh.” Such error can happen when multiple users attempt to make updates to the same data and the system cannot automatically resolve the write conflicts.

Collaborative Editing Feature Error Message
Figure 7. Collaborative Editing Feature Error Message

What’s the Complexity in Using Multi-Leader Setup?

We briefly mentioned above that the multi-leader setup can be unfavorable due to its complexity. Let’s look at what causes the complexity in this setup. We will look at the two main complexities in using the multi-leader algorithm:

  • Handling write-conflicts
  • Inconsistent read

Handling Write Conflicts

What is a conflict? Imagine a situation where two users are trying to change the title of a document simultaneously and the edit requests are handled by two different leader nodes. How do you know in what order to apply the edit request or how to merge two requests?

Write Conflict
Figure 8. Write Conflict

In principle, we can make the conflict detection synchronous by sending the updates to replicas synchronously. Then, we decide to either wait or abort the concurrent write requests. However, it would vanish all the benefits of the multi-leader setup.

There are multiple approaches to handling write conflicts. For instance, you can configure to avoid write conflicts by making sure the same data is handled by the same leader node. Or you can decide to implement some algorithm to automatically resolve conflicts in a consistent manner (e.g., using a unique ID composed of timestamp and randomly generated number), which would potentially incur data loss.

To make things a bit more complicated, imagine if the replication updates are lost (e.g., due to network issues). Or the replication updates arrive in other nodes with a significant delay or out-of order.

For now, we will leave it here by just understanding the complication involved in handling write conflicts and sometimes even detecting the occurrences of concurrent writes. We will use another blog to dive deeper into this concept.

Inconsistent Read

Another problem with the multi-leader setup is handling inconsistent read. The replication updates are done asynchronously so we can potentially end up with a situation where two nodes have different views of the data. If a user somehow ends up sending read requests to both machines, they might end up with reading inconsistent data:

Inconsistent Read
Figure 9. Inconsistent Read

The inconsistent read problem also exists in the single-leader setup because read requests can be handled by any replicas (even if a replica is not fully synced with the leader node). However, since the multi-leader setup allows more nodes to handle write requests, it requires more synchronization between nodes and potential cases of inconsistency between machines.

Conclusion

With that, I hope you have a better understanding of the multi-leader replication strategy. Even with the advantages it provides (e.g., performance, network partition tolerance), it comes with additional complexity and inconsistent read problems. Also, it might be much harder to operate or maintain due to the complexity.

Like with any other system design concept, you can only make the optimal decision by thoroughly assessing the requirements, understanding the pros and cons of different approaches, and making the right trade-offs.

What’s Next?

Here are some list of topics you might be interested to read further to better understand about replication:

  • How to handle different node outages?
  • When to use single-leader replication strategy?
  • When to use leaderless replication strategy?
  • What are some problems with replication lags?
  • How to detect and handle write conflicts in distributed system?

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store