From 98054ad937017bafe07944cf5fd3937f94a30bc9 Mon Sep 17 00:00:00 2001 From: Kevin Park Date: Sat, 26 Aug 2023 18:33:27 +0900 Subject: [PATCH] Update design document (#630) --- design/README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/design/README.md b/design/README.md index b6a960df8..9c0515a2f 100644 --- a/design/README.md +++ b/design/README.md @@ -2,16 +2,17 @@ ## Contents -- [Document Editing](document-editing.md): Local and remote document editing mechanism -- [Presence](presence.md): For sharing the presence of peers - [Data Structure](data-structure.md): CRDT data structures in `crdt` package +- [Document Editing](document-editing.md): Local and remote document editing mechanism +- [Document Removal](document-removal.md): Soft deletion of document +- [Tree](tree.md): Tree CRDT data structure - [Range Deletion in Splay Tree](range-deletion-in-splay-tree.md): Rotation-free range deletion algorithm for splay tree +- [Presence](presence.md): For sharing the presence of peers - [PubSub](pub-sub.md): Client-side event sharing with gRPC server-side stream and PubSub pattern - [Garbage Collection](garbage-collection.md): Deleting unused nodes in CRDT system - [Garbage Collection for Text Type](gc-for-text-type.md): Garbage collection for text nodes - [Housekeeping](housekeeping.md): Deactivating outdated clients for efficient garbage collection - [Retention](retention.md): Clearing unnecessary changes with `--backend-snapshot-with-purging-changes` flag -- [Document Removal](document-removal.md): Soft deletion of document - [Sharded Cluster Mode](sharded-cluster-mode.md): Shard-based server cluster mode with consistent hashing ## Maintaining the Document