[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] externals/crdt bfce95c 17/80: formatting
From: |
ELPA Syncer |
Subject: |
[elpa] externals/crdt bfce95c 17/80: formatting |
Date: |
Sat, 28 Aug 2021 10:57:33 -0400 (EDT) |
branch: externals/crdt
commit bfce95cb3e37d853f167ceab4f3e0359f14ff9d4
Author: Qiantan Hong <qhong@mit.edu>
Commit: Qiantan Hong <qhong@mit.edu>
formatting
---
HACKING.org | 28 ++++++++++++++--------------
1 file changed, 14 insertions(+), 14 deletions(-)
diff --git a/HACKING.org b/HACKING.org
index d731c31..e20327e 100644
--- a/HACKING.org
+++ b/HACKING.org
@@ -30,36 +30,36 @@ be invoked with no argument in any CRDT shared buffer to
access or modify that s
(it should be easy to migrate to a binary version. Using text for better
debugging for now)
Every message takes the form (type . body)
type can be: insert delete cursor hello challenge sync desync
overlay-(add,move,put,remove)
- - insert
+ - insert ::
body takes the form =(buffer-name crdt-id position-hint content)=
- =position-hint= is the buffer position where the operation happens at
the site
which generates the operation. Then we can play the trick that start
search
near this position at other sites to speedup CRDT ID search
- =content= is the string to be inserted
- - delete
+ - delete ::
body takes the form =(buffer-name position-hint (crdt-id . length)*)=
- - cursor
+ - cursor ::
body takes the form
=(site-id point-position-hint point-crdt-id mark-position-hint
mark-crdt-id)=
=*-crdt-id= can be either a CRDT ID, or
- =nil=, which means clear the point/mark
- =""=, which means =(point-max)=
- - contact
+ - contact ::
body takes the form
=(site-id name address port)=
when name is =nil=, clear the contact for this =site-id=
- - focus
+ - focus ::
body takes the form =(site-id buffer-name)=
- - hello
+ - hello ::
This message is sent from client to server, when a client connect to the
server.
body takes the form =(client-name &optional response)=
- - challenge
+ - challenge ::
body takes the form =(salt)=
- - login
+ - login ::
It's always sent after server receives a hello message.
Assigns an ID to the client
body takes the form =(site-id session-name)=.
- - sync
+ - sync ::
This message is sent from server to client to get it sync to the state on
the server.
Might be used for error recovery or other optimization in the future.
One optimization I have in mind is let server try to merge all CRDT item
into a single
@@ -68,10 +68,10 @@ be invoked with no argument in any CRDT shared buffer to
access or modify that s
- =major-mode= is the major mode used at the server site
- =content= is the string in the buffer
- =crdt-id-list= is generated from =CRDT--DUMP-IDS=
- - desync
+ - desync ::
Indicates that the server has stopped sharing a buffer.
body takes the form =(buffer-name)=
- - overlay-add
+ - overlay-add ::
body takes the form
#+BEGIN_SRC
(buffer-name site-id logical-clock species
@@ -79,15 +79,15 @@ be invoked with no argument in any CRDT shared buffer to
access or modify that s
start-position-hint start-crdt-id
end-position-hint end-crdt-id)
#+END_SRC
- - overlay-move
+ - overlay-move ::
body takes the form
#+BEGIN_SRC
(buffer-name site-id logical-clock
start-position-hint start-crdt-id
end-position-hint end-crdt-id)
#+END_SRC
- - overlay-put
+ - overlay-put ::
body takes the form =(buffer-name site-id logical-clock prop value)=
- - overlay-remove
+ - overlay-remove ::
body takes the form =(buffer-name site-id logical-clock)=
- [elpa] branch externals/crdt created (now 8cbd0fd), ELPA Syncer, 2021/08/28
- [elpa] externals/crdt f224e8a 06/80: add doc. add error handler in network filter, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 22910f2 01/80: initial commit, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 7ebbd5e 05/80: cleanup debug code, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 21f62ad 14/80: various fixes, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 958394a 08/80: doc, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 6b320c7 11/80: bug fix, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt bfce95c 17/80: formatting,
ELPA Syncer <=
- [elpa] externals/crdt 692d2cc 24/80: initial work for lazily pulling buffer, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt b8cd461 22/80: Minor improvements, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 8307092 29/80: better read function, tab width wider, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 4c7e12d 37/80: documentation, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 53e5676 33/80: fix bug with org table, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt fcc6a47 38/80: fix upper/lowercase convention, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt e1b0fe9 02/80: Fixed silly typo!, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 88cd9a1 03/80: refactorz, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 432b5f8 04/80: two bug fixes for CRDT algorithm, ELPA Syncer, 2021/08/28
- [elpa] externals/crdt 82a7565 10/80: fix authentication bug, ELPA Syncer, 2021/08/28