[darcs-users] Darcs and Operational Transformations (Team ECOO)

Eric Kow kowey at darcs.net
Mon Sep 14 22:13:38 UTC 2009

On Mon, Sep 14, 2009 at 16:47:25 +0100, Eric Kow wrote:
>    * Within the Darcs community? Read up on OT literature (in
>      separate mail) on formal properities and proofs thereof
>      (Could be very interesting for Ian and all his Coq-writing
>      work)

I've added some references to http://wiki.darcs.net/Bibliography

Of particular interest appears to be Lushman and Cormack 2003, which
proves correctness for an algorithm that "maintains consistent state
when state is replicated across sites"... by "transform[ing]s updates as
they are transmitted among sites.".  It would be nice if this paper was
more widely available for download.

> 6. Team ECOO talked a bit about some new directions they are
>    exploring in conflict-free revision control.  It sounds rather
>    familiar to Jean-Phillipe Benardy's work on Focal.

Jean-Phillipe: there is a body of research on 'Commutative Replicated
DataTypes' (CRDTs) which may be of interest to you.  Try these:

- http://www.loria.fr/~molli/pmwiki/uploads/Main/weiss09.pdf
- http://www.loria.fr/~molli/pmwiki/pmwiki.php/Main/PublicationYear?action=upload&upname=Skaf09dexab.pdf
- http://www.loria.fr/~molli/pmwiki/pmwiki.php/Main/PublicationYear?action=upload&upname=RAHHAL2009INRIA-003663171.pdf

For the ECOO team, have a look at this masters thesis from
Jean-Phillipe's students:
- http://www.cse.chalmers.se/~bernardy/AConcflictFreeVersionControlSystem.pdf

Note also that this has been implemented in a toy system which
you can download here
- http://www.cse.chalmers.se/~bernardy/focal_Code_Anders_Petter.tar.gz

Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20090915/603c94c5/attachment.pgp>

More information about the darcs-users mailing list