Automerge-repo-rs

Project goal: add an integration layer between Automerge and client code, compatible with any Rust async runtime.

Examples

Multipe TCP clients, one server with hardcoded IP, in memory storage.

1. Start the server:
   • cargo run --example tcp-example --features="tokio" -- --tcp-run-ip 127.0.0.1:2345 --http-run-ip 0.0.0.0:3001
2. Start any number of clients:
   • cargo run --example tcp-example --features="tokio" -- --other-ip 127.0.0.1:2345 --http-run-ip 0.0.0.0:3002
3. Create a new document at the server:
   • curl 0.0.0.0:3001/new_doc
   • The document id is returned as json.
4. Request the document:
   • curl --json '{document-id}' 0.0.0.0:3002/request_doc(document id argument should look like'"f9b1a2c6-ca05-4fc7-a02f-7e3d83f1bb49"')
5. Presss ctr-c at every terminal tab.
6. A successful run will print out the expected synced documents.

Distributed Bakery Algorithm

An implementation of the distributed bakery algorithm, based on this TLA+ specification.

1. Start the bootstap peer:
   • cargo run --release --example distributed-bakery --features="tokio" -- --bootstrap --customer-id "1"
2. Start two other peers:
   • cargo run --release --example distributed-bakery --features="tokio" -- --customer-id "2"
   • cargo run --release --example distributed-bakery --features="tokio" -- --customer-id "3"
3. Watch the peers request new increments from each other, and enter/exit their critical sections(printed out).