Reading Group

  • Reading Group. Sundial: Fault-tolerant Clock Synchronization for Datacenters

    ·

    Placeholder Icon

    In our 48th reading group meeting, we talked about time synchronization in distributed systems. More specifically, we discussed the poor state of time sync, the reasons for it, and most importantly, the solutions, as outline in the “Sundial: Fault-tolerant Clock Synchronization for Datacenters” OSDI’20 paper. We had a comprehensive presentation by Murat Demirbas. Murat’s talk…

    Read More

  • Reading Group Special Session: Building Distributed Systems With Stateright

    ·

    Placeholder Icon

    This talk is part of the Distributed Systems Reading Group. Stateright is a software framework for analyzing and systematically verifying distributed systems. Its name refers to its goal of verifying that a system’s collective state always satisfies a correctness specification, such as “operations invoked against the system are always linearizable.” Cloud service providers like AWS…

    Read More

  • Reading Group. Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads

    ·

    Placeholder Icon

    On Wednesday we were discussing scheduling in large distributed ML/AI systems. Our main paper was the “Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads.” one from OSDI’20. However, it was a bit outside of our group’s comfort zone (outside of my comfort zone for sure). Luckily we had an extensive presentation with a complete background…

    Read More

  • Reading Group. FlightTracker: Consistency across Read-Optimized Online Stores at Facebook

    ·

    Placeholder Icon

    Last DistSys Reading Group we have discussed “FlightTracker: Consistency across Read-Optimized Online Stores at Facebook.” This paper is about consistency in Facebook’s TAO caching stack. TAO is a large social graph storage system composed of many caches, indexes, and persistent storage backends. The sheer size of Facebook and TAO makes it difficult to enforce meaningful…

    Read More

  • Reading Group Paper List. Papers ##51-60.

    ·

    Placeholder Icon

    With just four more papers to go in the DistSys Reading Group’s current batch, it is time to get the next set going. This round, we will have 10 papers that should last till the end of the spring semester. Our last batch was all about OSDI’20 papers, and this time around we will mix…

    Read More

  • Reading Group. Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories

    ·

    Placeholder Icon

    Hard to imagine, but the reading group just completed the 45th session. We discussed “Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories,” again from OSDI’20. Pegasus is one of these systems that are very obvious in the hindsight. However, this “obviousness” is deceptive — Dan Ports, one of the authors behind the…

    Read More

  • Reading Group. Performance-Optimal Read-Only Transactions

    ·

    Placeholder Icon

    Last meeting we looked at “Performance-Optimal Read-Only Transactions” from OSDI’20. This paper covers important topics of transactional reads in database/data-management systems. In particular, the paper discusses “one-shot” read-only transactions that complete in 1 network round-trip-time (RTT) without blocking and bloated and expensive messages. If this sounds too good to be true, it is. Before presenting…

    Read More

  • Reading Group. Microsecond Consensus for Microsecond Applications

    ·

    Placeholder Icon

    Our 43rd reading group paper was about an extremely low-latency consensus using RDMA: “Microsecond Consensus for Microsecond Applications.” The motivation is pretty compelling — if you have a fast application, then you need fast replication to make your app reliable without holding it back. How fast are we talking here? Authors go for ~1 microsecond…

    Read More

  • Reading Group. Cobra: Making Transactional Key-Value Stores Verifiably Serializable.

    ·

    Placeholder Icon

    This Wednesday, we were talking about serializability checking of production databases. In particular, we looked at the recent OSDI’20 paper: “Cobra: Making Transactional Key-Value Stores Verifiably Serializable.” The paper explores the problem of verifying serializability in a black-box production system from a client point of view. This makes sense as serializability is an operational, client-observable…

    Read More

  • Reading Group. A large scale analysis of hundreds of in-memory cache clusters at Twitter.

    ·

    Placeholder Icon

    In the 41st distributed systems reading group meeting, we have looked at in-memory caches through the lens of yet another OSDI20 paper: “A large scale analysis of hundreds of in-memory cache clusters at Twitter.” This paper explores various cache usages at Twitter and distills the findings into a digestible set of figures. I found the…

    Read More