crdt_lf 1.0.0
crdt_lf: ^1.0.0 copied to clipboard
Conflict-free replicated data type (CRDT) - Local-first implementation provided in dart
CRDT LF #
- CRDT LF
A Conflict-free Replicated Data Type (CRDT) implementation in Dart. This library provides solutions for:
- Text Editing.
- List Editing.
- Text Editing with Fugue Algorithm (The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing" di Matthew Weidner e Martin Kleppmann).
Features #
- ⏱️ Hybrid Logical Clock: Uses HLC for causal ordering of operations
- 🔄 Automatic Conflict Resolution: Automatically resolves conflicts in a CRDT
- 📦 Local Availability: Operations are available locally as soon as they are applied
Getting Started #
Add this to your package's pubspec.yaml
file:
dependencies:
crdt_lf: ^1.0.0
Usage #
Basic Usage #
import 'package:crdt_lf/crdt_lf.dart';
void main() {
// Create a new document
final doc = CRDTDocument(
peerId: PeerId.parse('45ee6b65-b393-40b7-9755-8b66dc7d0518'),
);
// Create a text handler
final text = CRDTFugueTextHandler(doc, 'text1');
// Insert text
text.insert(0, 'Hello');
// Delete text
text.delete(0, 2); // Deletes "He"
// Get current value
print(text.value); // Prints "llo"
}
Dart Distributed Collaboration Example #
Flutter Distributed Collaboration Example #
Sync #
A sync library is available in the crdt_socket_sync package. And it's used to synchronize the CRDT state between peers. More info in the README of the sync package.
A flutter example is available in the flutter_example and provide a synced version of the "Flutter Distributed Collaboration" Example.

Persistence #
Persistence is not directly handled in this library but there are some out of the box solutions:
- crdt_lf_hive: adapters and utils for persist data using Hive.
Benchmarks #
This package includes a suite of benchmarks to ensure performance and stability. You can find the latest results here.
To run the benchmarks yourself, execute the following script from the packages/crdt_lf
directory:
./benchmark/run.sh
or run:
melos run benchmark
Architecture #
The library is built:
- above the hlc_dart package.
- around several key components:
CRDTDocument #
The main document class that manages the CRDT state and handles synchronization between peers.
Identity
documentId
: identifies the document/resource (used for routing, persistence, and ACLs). It does not participate in operation identifiers.peerId
: identifies the peer/author generating operations. It is embedded intoOperationId
together with the Hybrid Logical Clock.
If not provided, both are generated: peerId
and documentId
.
Handlers #
Handlers are the core components of the library. They manage the state of a specific type of data and provide operations to modify it.
CRDTFugueTextHandler
: Handles text editing with the Fugue algorithm.CRDTListHandler
: Handles list editing.CRDTTextHandler
: Handles text editing.CRDTMapHandler
: Handles map editing.
final doc = CRDTDocument(
documentId: 'todo-list-123',
peerId: PeerId.parse('45ee6b65-b393-40b7-9755-8b66dc7d0518'),
);
final list = CRDTListHandler(doc, 'todo-list');
list.insert(0, 'Buy apples');
list.insert(1, 'Buy milk');
list.delete(0);
print(list.value); // Prints "[Buy milk]"
Every handler can be found in the handlers folder.
Working with Complex Types
When using CRDTListHandler<T>
or CRDTMapHandler<T>
with complex object types (e.g., your own custom classes) for T
, it's crucial to understand how data is managed.
The value
of your complex object is directly embedded within the Change
's payload. This has two important implications:
-
Serialization: If you plan to persist these
Change
s (e.g., usingcrdt_lf_hive
) or send them over a network, you must have a strategy to serialize and deserialize your custom objects. The raw object cannot be stored or transmitted as-is. A common approach is to convert your object to aMap<String, dynamic>
(e.g., by implementingtoJson()
and afromJson()
factory). -
Immutability and Value Semantics: When a
Change
is created, it captures the state of thevalue
at that specific moment. If you later mutate the original object, theChange
will still hold the old state. This can lead to unexpected behavior. It is highly recommended to treat your complex objects as immutable. When you need to modify an object, create a new instance with the updated values instead of mutating the existing one. This ensures that eachChange
is a predictable and self-contained snapshot of the operation.
Example with a custom class:
class MyData {
final String name;
final int count;
MyData(this.name, this.count);
// You need a way to serialize
Map<String, dynamic> toJson() => {'name': name, 'count': count};
// And a way to deserialize
factory MyData.fromJson(Map<String, dynamic> json) {
return MyData(json['name'], json['count']);
}
}
// When using with a handler
final list = CRDTListHandler<MyData>(doc, 'my-data-list');
// GOOD: Create a new instance for the change
final data = MyData('item1', 1);
list.insert(0, data);
// BAD: Mutating the object after insertion
// This will NOT be reflected in the CRDT history
// data.count = 2; // Avoid this
// Instead, for updates, create a new instance
final updatedData = MyData('item1', 2);
list.update(0, updatedData);
Alternative Approach: Store Raw Data
A more robust pattern is to always store raw, serializable data (like Map<String, dynamic>
) inside the handler. This forces serialization at the system's boundary and avoids accidental mutation issues.
// 1. Declare the handler with a raw type
final rawList = CRDTListHandler<Map<String, dynamic>>(doc, 'my-raw-list');
// 2. Serialize before inserting/updating
final data = MyData('item2', 1);
rawList.insert(0, data.toJson());
// 3. Deserialize when reading the value
final myDataList = rawList.value.map((map) => MyData.fromJson(map)).toList();
print(myDataList.first.name); // Prints "item2"
DAG #
A Directed Acyclic Graph that maintains the causal ordering of operations.
Change #
Represents a modification to the CRDT state, including operation ID, dependencies, and timestamp.
Frontiers #
A structure that manages the frontiers (latest operations) of the CRDT.
Snapshot #
A snapshot of the CRDT state, including the version vector and the data.
Project Status #
This library is currently in progress and under active development. While all existing functionality is thoroughly tested, we are continuously working on improvements and new features.
Roadmap #
A roadmap is available in the project page. The roadmap provides a high-level overview of the project's goals and the current status of the project.
Contributing #
We welcome contributions! Whether you want to:
- Fix bugs
- Add new features
- Improve documentation
- Optimize performance
- Or something else
Feel free to:
- Check out our GitHub repository
- Look at the open issues
- Submit a Pull Request
Acknowledgments #
Packages #
Other bricks of the crdt "system" are: