Reading Group

  • Reading Group. XFT: Practical Fault Tolerance beyond Crashes

    ·

    Placeholder Icon

    In the 57th reading group meeting, we continued looking at byzantine fault tolerance. In particular, we looked at “XFT: Practical Fault Tolerance beyond Crashes” OSDI’16 paper. Today’s summary & discussion will be short, as I am doing it way past my regular time. The paper talks about a fault tolerance model that is stronger than…

    Read More

  • Reading Group. chainifyDB: How to get rid of your Blockchain and use your DBMS instead

    ·

    Placeholder Icon

    Our recent meeting focused on Blockchains, as we discussed “chainifyDB: How to get rid of your Blockchain and use your DBMS instead” CIDR’21 paper. The presentation by Karolis Petrauskas is available here: The paper argues for using existing and proven technology to implement a permissioned blockchain-like system. The core idea is to leverage relational SQL-99…

    Read More

  • Reading Group. Protocol-Aware Recovery for Consensus-Based Storage

    ·

    Placeholder Icon

    Our last reading group meeting was about storage faults in state machine replications. We looked at the “Protocol-Aware Recovery for Consensus-Based Storage” paper from FAST’18.  The paper explores an interesting omission in most of the state machine replication (SMR) protocols. These protocols, such as (multi)-Paxos and Raft, are specified with the assumption of having a…

    Read More

  • Reading Group Special Session: Distributed Transactions in YugabyteDB

    ·

    Placeholder Icon

    When: May 11th at 12:00 pm EST Who: Karthik Ranganathan. Karthik Ranganathan is a founder and CTO of YugabyteDB, a globally distributed, strongly consistent database. Prior to Yugabyte, Karthik was at Facebook, where he built the Cassandra database. In this talk, Karthik will discuss Yugabyte’s use of time synchronization and Raft protocol along with some…

    Read More

  • Reading Group. Paxos vs Raft: Have we reached consensus on distributed consensus?

    ·

    Placeholder Icon

    In our 54th reading group meeting, we were looking for an answer to an important question in the distributed systems community: “What about Raft?” We looked at the “Paxos vs Raft: Have we reached consensus on distributed consensus?” paper to try to find the answer. As always, we had an excellent presentation, this time by…

    Read More

  • Reading Group. New Directions in Cloud Programming

    ·

    Placeholder Icon

    Recently we have discussed a CIDR’21 paper: “New Directions in Cloud Programming.” Murat Demirbas did the presentation: Quite honestly, I don’t like to write summaries for this kind of paper. Here, the authors propose a vision for the future of cloud applications, and I feel that summarizing a vision often results in the misinterpretation of…

    Read More

  • Reading Group. Facebook’s Tectonic Filesystem: Efficiency from Exascale

    ·

    Placeholder Icon

    This time around our reading group discussed a distributed filesystem paper. We looked at FAST’21 paper from Facebook: “Facebook’s Tectonic Filesystem: Efficiency from Exascale.” We had a nice presentation by Akash Mishra: The paper talks about a unified filesystem across many services and use cases at Facebook. Historically, Facebook had multiple specialized storage infrastructures: one…

    Read More

  • Reading Group. Distributed Snapshots: Determining Global States of Distributed Systems

    ·

    Placeholder Icon

    On Wednesday we kicked off a new set of papers in the reading group. We have started with one of the classical foundational papers in distributed systems and looked at the Chandy-Lamport token-based distributed snapshot algorithm. The basic idea here is to capture the state of distributed processes and channels by “flushing” the messages out…

    Read More

  • Reading Group. Aragog: Scalable Runtime Verification of Shardable Networked Systems

    ·

    Placeholder Icon

    We have covered 50 papers in the reading group so far! This week we looked at the “Aragog: Scalable Runtime Verification of Shardable Networked Systems” from OSDI’20. This paper discusses the problem of verifying the network functions (NFs), such as NAT Gateways or firewalls at the runtime. The problem is quite challenging due to its…

    Read More

  • Reading Group. Protean: VM Allocation Service at Scale

    ·

    Placeholder Icon

    The last paper in our reading group was “Protean: VM Allocation Service at Scale.” This paper from Microsoft is full of technical insights into how they operate their datacenters/regions at scale. In particular, the paper discusses one of the fundamental components of any cloud provider — the VM service. The system, called Protean, is an…

    Read More