Course Ideas

Books

• Mullender

Topics

• Asynchrony and Liveness

  • Heartbeats, timeouts
  • RPC vs. Asynchronous messaging
    • Exercise: Simulating RPC and exceptions over async msging in Bloom/Erlang?

• Concurrency

  • Traditional ACID Serializability
    • Coding: 2PL in Ruby
  • Distributed Commit protocols
    • Coding: 2PC in Bloom or Erlang
    • Coding: OCC in Ruby?
  • Distributed Consensus protocols
    • Coding: Paxos, Multipaxos in Bloom or Erlang

• Availability

  • Membership and Leader Election
    • Coding: choice of leader election in Bloom or Erlang?
  • Range Partitioning and DHTs
    • Coding: Dynamo infrastructure in Bloom?

• Scale Out

  • Parallel MapReduce
    • Coding: Simple MR in Bloom or Erlang?
  • Parallel Join
    • Coding: in Bloom or Erlang?