1extern crate crdts;
7
8use crdt_tree::{OpMove, Tree, TreeId, TreeMeta, TreeReplica};
9use crdts::Actor;
10use rand::Rng;
11use std::collections::HashMap;
12use std::env;
13
14type TypeId = u64;
16type TypeMeta<'a> = &'static str;
17type TypeActor = u64;
18
19fn main() {
21 let args: Vec<String> = env::args().collect();
22
23 let demo = if args.len() > 1 { &args[1] } else { "" };
24
25 match demo {
26 "demo_concurrent_moves" => demo_concurrent_moves(),
27 "demo_concurrent_moves_cycle" => demo_concurrent_moves_cycle(),
28 "demo_truncate_log" => demo_truncate_log(),
29 "demo_walk_deep_tree" => demo_walk_deep_tree(),
30 "demo_move_to_trash" => demo_move_to_trash(),
31
32 _ => print_help(),
33 }
34}
35
36fn demo_concurrent_moves() {
43 let mut r1: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
44 let mut r2: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
45
46 let ids: HashMap<&str, TypeId> = [
47 ("root", new_id()),
48 ("a", new_id()),
49 ("b", new_id()),
50 ("c", new_id()),
51 ]
52 .iter()
53 .cloned()
54 .collect();
55
56 let ops = r1.opmoves(vec![
58 (0, "root", ids["root"]),
59 (ids["root"], "a", ids["a"]),
60 (ids["root"], "b", ids["b"]),
61 (ids["root"], "c", ids["c"]),
62 ]);
63
64 r1.apply_ops_byref(&ops);
65 r2.apply_ops_byref(&ops);
66
67 println!("Initial tree state on both replicas");
68 print_tree(r1.tree(), &ids["root"]);
69
70 let repl1_ops = vec![r1.opmove(ids["b"], "a", ids["a"])];
72
73 let repl2_ops = vec![r2.opmove(ids["c"], "a", ids["a"])];
75
76 r1.apply_ops_byref(&repl1_ops);
78 println!("\nreplica_1 tree after move");
79 print_tree(r1.tree(), &ids["root"]);
80 r1.apply_ops_byref(&repl2_ops);
81
82 r2.apply_ops_byref(&repl2_ops);
84 println!("\nreplica_2 tree after move");
85 print_tree(r2.tree(), &ids["root"]);
86 r2.apply_ops_byref(&repl1_ops);
87
88 if r1.state() == r2.state() {
93 println!("\nreplica_1 state matches replica_2 state after each merges other's change. conflict resolved!");
94 print_replica_trees(&r1, &r2, &ids["root"]);
95 } else {
96 println!("\nwarning: replica_1 state does not match replica_2 state after merge");
97 print_replica_trees(&r1, &r2, &ids["root"]);
98 println!("-- replica_1 state --");
99 println!("{:#?}", r1.state());
100 println!("\n-- replica_2 state --");
101 println!("{:#?}", r2.state());
102 }
103}
104
105fn demo_concurrent_moves_cycle() {
113 let mut r1: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
114 let mut r2: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
115
116 let ids: HashMap<&str, TypeId> = [
117 ("root", new_id()),
118 ("a", new_id()),
119 ("b", new_id()),
120 ("c", new_id()),
121 ]
122 .iter()
123 .cloned()
124 .collect();
125
126 let ops = r1.opmoves(vec![
128 (0, "root", ids["root"]),
129 (ids["root"], "a", ids["a"]),
130 (ids["root"], "b", ids["b"]),
131 (ids["a"], "c", ids["c"]),
132 ]);
133
134 r1.apply_ops_byref(&ops);
135 r2.apply_ops_byref(&ops);
136
137 println!("Initial tree state on both replicas");
138 print_tree(r1.tree(), &ids["root"]);
139
140 let repl1_ops = r1.opmoves(vec![(ids["a"], "b", ids["b"])]);
142
143 let repl2_ops = r2.opmoves(vec![(ids["b"], "a", ids["a"])]);
145
146 r1.apply_ops_byref(&repl1_ops);
148 println!("\nreplica_1 tree after move");
149 print_tree(r1.tree(), &ids["root"]);
150 r1.apply_ops_byref(&repl2_ops);
151
152 r2.apply_ops_byref(&repl2_ops);
154 println!("\nreplica_2 tree after move");
155 print_tree(r2.tree(), &ids["root"]);
156 r2.apply_ops_byref(&repl1_ops);
157
158 if r1.state() == r2.state() {
162 println!("\nreplica_1 state matches replica_2 state after each merges other's change. conflict resolved!");
163 print_replica_trees(&r1, &r2, &ids["root"]);
164 } else {
165 println!("\nwarning: replica_1 state does not match replica_2 state after merge");
166 print_replica_trees(&r1, &r2, &ids["root"]);
167 println!("-- replica_1 state --");
168 println!("{:#?}", r1.state());
169 println!("\n-- replica_2 state --");
170 println!("{:#?}", r2.state());
171 }
172}
173
174fn demo_walk_deep_tree() {
181 let mut r1: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
182
183 let ids: HashMap<&str, TypeId> = [("root", new_id())].iter().cloned().collect();
184
185 println!("generating ops...");
187 let mut ops = vec![(0, "root", ids["root"])];
188 mktree_ops(&mut ops, &mut r1, ids["root"], 2, 6); println!("applying ops...");
191 let ops_len = ops.len();
192 r1.apply_ops_byref(&r1.opmoves(ops));
193
194 println!("walking tree...");
195 r1.tree().walk(&ids["root"], |tree, node_id, depth| {
196 if true {
197 let meta = match tree.find(node_id) {
198 Some(tn) => format!("{:?}", tn.metadata()),
199 None => format!("{:?}", node_id),
200 };
201 println!("{:indent$}{}", "", meta, indent = depth);
202 }
203 });
204
205 println!("\nnodes in tree: {}", ops_len);
206}
207
208fn demo_truncate_log() {
212 let mut replicas: Vec<TreeReplica<TypeId, TypeMeta, TypeActor>> = Vec::new();
213 let num_replicas = 5;
214
215 for _i in 0..num_replicas {
217 let r: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
219 replicas.push(r);
220 }
221
222 let root_id = new_id();
223
224 let mut opmoves = vec![replicas[0].opmove(0, "root", root_id)];
226
227 println!("generating move operations...");
228
229 for r in replicas.iter_mut() {
231 let finaldepth = rand::thread_rng().gen_range(3, 6);
232 let mut ops = vec![];
233 mktree_ops(&mut ops, r, root_id, 2, finaldepth);
234 opmoves.extend(r.opmoves(ops));
235 }
236
237 println!(
239 "applying {} operations to all {} replicas...\n",
240 opmoves.len(),
241 replicas.len()
242 );
243 apply_ops_to_replicas(&mut replicas, &opmoves);
244
245 #[derive(Debug)]
246 #[allow(dead_code)]
247 struct Stat {
248 pub replica: TypeActor,
249 pub ops_before_truncate: usize,
250 pub ops_after_truncate: usize,
251 }
252
253 let mut stats: Vec<Stat> = Vec::new();
254 for r in replicas.iter_mut() {
255 println!("truncating log of replica {}...", r.id());
256 println!(
257 "causally stable threshold: {:?}\n",
258 r.causally_stable_threshold()
259 );
260 let ops_b4 = r.state().log().len();
261 r.truncate_log();
262 let ops_after = r.state().log().len();
263 stats.push(Stat {
264 replica: *r.id(),
265 ops_before_truncate: ops_b4,
266 ops_after_truncate: ops_after,
267 });
268 }
269
270 println!("-- Stats -- ");
271 println!("\n{:#?}", stats);
272}
273
274fn demo_move_to_trash() {
279 let mut r1: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
281 let mut r2: TreeReplica<TypeId, TypeMeta, TypeActor> = TreeReplica::new(new_id());
282
283 let ids: HashMap<&str, TypeId> = [
284 ("forest", new_id()),
285 ("trash", new_id()),
286 ("root", new_id()),
287 ("home", new_id()),
288 ("bob", new_id()),
289 ("project", new_id()),
290 ]
291 .iter()
292 .cloned()
293 .collect();
294
295 let mut ops = vec![
304 (ids["forest"], "root", ids["root"]),
305 (ids["forest"], "trash", ids["trash"]),
306 (ids["root"], "home", ids["home"]),
307 (ids["home"], "bob", ids["bob"]),
308 (ids["bob"], "project", ids["project"]),
309 ];
310
311 mktree_ops(&mut ops, &mut r1, ids["project"], 2, 3);
313 let opmoves = r1.opmoves(ops);
314 r1.apply_ops_byref(&opmoves);
315 r2.apply_ops_byref(&opmoves);
316
317 println!("Initial tree");
318 print_tree(r1.tree(), &ids["forest"]);
319
320 let ops = vec![r1.opmove(ids["trash"], "project", ids["project"])];
322 r1.apply_ops_byref(&ops);
323 r2.apply_ops_byref(&ops);
324
325 println!("\nAfter project moved to trash (deleted) on both replicas");
326 print_tree(r1.tree(), &ids["forest"]);
327
328 let result = r2.causally_stable_threshold();
340 match result {
341 Some(cst) if cst < ops[0].timestamp() => {
342 println!(
343 "\ncausally stable threshold:\n{:#?}\n\ntrash operation:\n{:#?}",
344 cst,
345 ops[0].timestamp()
346 );
347 panic!("!error: causally stable threshold is less than trash operation timestamp");
348 }
349 None => panic!("!error: causally stable threshold not found"),
350 _ => {}
351 }
352
353 r1.tree_mut().rm_subtree(&ids["trash"], false);
355 println!("\nDelete op is now causally stable, so we can empty trash:");
356 print_tree(r1.tree(), &ids["forest"]);
357}
358
359fn print_help() {
360 let buf = "
361Usage: tree <demo>
362
363<demo> can be any of:
364 demo_concurrent_moves
365 demo_concurrent_moves_cycle
366 demo_truncate_log
367 demo_walk_deep_tree
368 demo_move_to_trash
369
370";
371 println!("{}", buf);
372}
373
374fn mktree_ops(
377 ops: &mut Vec<(TypeId, TypeMeta, TypeActor)>,
378 r: &mut TreeReplica<TypeId, TypeMeta, TypeActor>,
379 parent_id: u64,
380 depth: usize,
381 max_depth: usize,
382) {
383 if depth > max_depth {
384 return;
385 }
386
387 for i in 0..2 {
388 let name = if i == 0 { "a" } else { "b" };
389 let child_id = new_id();
390 ops.push((parent_id, name, child_id));
391 mktree_ops(ops, r, child_id, depth + 1, max_depth);
392 }
393}
394
395fn apply_ops_to_replicas<ID, TM, A>(
397 replicas: &mut [TreeReplica<ID, TM, A>],
398 ops: &[OpMove<ID, TM, A>],
399) where
400 ID: TreeId,
401 A: Actor + std::fmt::Debug,
402 TM: TreeMeta,
403{
404 for r in replicas.iter_mut() {
405 r.apply_ops_byref(ops);
406 }
407}
408
409fn new_id() -> TypeId {
411 rand::random::<TypeId>()
412}
413
414fn print_treenode<ID, TM>(tree: &Tree<ID, TM>, node_id: &ID, depth: usize, with_id: bool)
416where
417 ID: TreeId + std::fmt::Debug,
418 TM: TreeMeta + std::fmt::Debug,
419{
420 let result = tree.find(node_id);
421 let meta = match result {
422 Some(tn) => format!("{:?}", tn.metadata()),
423 None if depth == 0 => "forest".to_string(),
424 None => {
425 panic!("tree node {:?} not found", node_id);
426 }
427 };
428 println!("{:indent$}{}", "", meta, indent = depth * 2);
429
430 for c in tree.children(node_id) {
431 print_treenode(tree, &c, depth + 1, with_id);
432 }
433}
434
435fn print_tree<ID, TM>(tree: &Tree<ID, TM>, root: &ID)
437where
438 ID: TreeId + std::fmt::Debug,
439 TM: TreeMeta + std::fmt::Debug,
440{
441 print_treenode(tree, root, 0, false);
442}
443
444fn print_replica_trees<ID, TM, A>(
446 repl1: &TreeReplica<ID, TM, A>,
447 repl2: &TreeReplica<ID, TM, A>,
448 root: &ID,
449) where
450 ID: TreeId + std::fmt::Debug,
451 A: Actor + std::fmt::Debug,
452 TM: TreeMeta + std::fmt::Debug,
453{
454 println!("\n--replica_1 --");
455 print_tree(repl1.tree(), root);
456 println!("\n--replica_2 --");
457 print_tree(repl2.tree(), root);
458 println!();
459}