siiky
2023/02/21
2023/05/16
2023/05/16
course,distributed,programming
This page is about one of the classes I have this semester.
We're using Maelstrom to experiment with dummy implementations of distributed algorithms.
https://github.com/jepsen-io/maelstrom
Learned about time (physical and logical), causal consistency, different properties of message delivery (FIFO, causal delivery, total order), CRDTs (operation and state based), and DHTs.
Roughly in the order of appearance.
wp.leslie_lamport.time_clocks_events.gmi
wp.friedemann_mattern.virtual_time_global_states.gmi
wp.psa.interval_tree_clocks.gmi
wp.petar_maymounkov.kademlia.gmi
Pamela Zave, "How to Make Chord Correct"
Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS
Cure: Strong Semantics Meets High Availability and Low Latency