Aleksey Charapko

  • Reading Group Paper List. Papers ##71-80

    ·

    Placeholder Icon

    We will start the fall semester with a new set of reading group papers. As before, we have ten papers in total. Nine of them are new papers from top venues, and one is a foundational paper on Viestamped Replication. Instead of the original VR paper, we will look at its more modern counterpart/rewrite/update —…

    Read More

  • Reading Group. When Cloud Storage Meets RDMA

    ·

    Placeholder Icon

    I am very behind on the reading group summaries, so this summary will be short and less detailed. In the 67th reading group meeting, we discussed the “When Cloud Storage Meets RDMA” paper from Alibaba. This paper is largely an experience report on using RDMA in practical storage systems.  Large-scale RDMA deployments are rather difficult…

    Read More

  • Reading Group. Cores that don’t count

    ·

    Placeholder Icon

    Our 66th paper was a recent HotOS piece about faulty CPUs: “Cores that don’t count.” This paper from Google describes a decently common (at Google datacenter scale) issue with CPUs that may miscompute or silently fail under some conditions. This is a big deal, as we expect CPUs to be deterministic and always provide correct…

    Read More

  • Reading Group. FoundationDB: A Distributed Unbundled Transactional Key Value Store

    ·

    Placeholder Icon

    Last week we discussed the “FoundationDB: A Distributed Unbundled Transactional Key Value Store” SIGMOD’21 paper. We had a rather detailed presentation by Moustafa Maher. FoundationDB is a transactional distributed key-value store meant to serve as the “foundation” or lower layer for more comprehensive solutions. FoundationDB supports point and ranged access to keys. This is a…

    Read More

  • Reading Group. Evolution of Development Priorities in Key-value Stores Serving Large-scale Applications: The RocksDB Experience

    ·

    Placeholder Icon

    On Wednesday, we had our 26th reading group meeting, discussing RocksDB with a help of a recent experience paper: “Evolution of Development Priorities in Key-value Stores Serving Large-scale Applications: The RocksDB Experience.” Single-server key-value storage systems are crucial for so many distributed systems and databases. For distributed folks like myself, these often remain black-boxes that…

    Read More

  • Reading Group. Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp

    ·

    Placeholder Icon

    Unlike many of my recent summarier, I will mskr this one short, I promise. “Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp” NSDI’21 paper proposes a mechanism to order transactions in multi-version distributed data-stores. One of the problems with distributed transactions is the ordering required to achieve consistency. In particular, we often…

    Read More

  • Scalable but Wasteful or Why Fast Replication Protocols are Actually Slow

    ·

    In the last decade or so, quite a few new state machine replication protocols emerged in the literature and the internet. I am “guilty” of this myself, with the PigPaxos appearing in this year’s SIGMOD and the PQR paper at HotStorage’19. There are better-known examples as well — EPaxos inspired a lot of development in…

    Read More

  • Reading Group. Strong and Efficient Consistency with Consistency-Aware Durability

    ·

    Placeholder Icon

    In the 62nd reading group session, we covered the “Strong and Efficient Consistency with Consistency-Aware Durability” paper from FAST’20. Jesse did an excellent presentation for the group that explains the core of the paper rather well: This paper describes a problem with many leader-based replication protocols. It specifically focuses on ZooKeper and Zab, but similar…

    Read More

  • Reading Group. Conflict-free Replicated Data Types

    ·

    Placeholder Icon

    We kicked off a new set of papers in the reading group with some fundamental reading – “Conflict-free Replicated Data Types.” Although not very old (and not the first one to suggest something similar to CRDTs), the paper we discussed presents a proper definition of Conflict-free Replicated Data Types (CRDTs) and the consistency framework around…

    Read More

  • Reading Group. Exploiting Symbolic Execution to Accelerate Deterministic Databases

    ·

    Placeholder Icon

    We have covered 60 papers in our reading group so far! The 60th paper we explored was “Exploiting Symbolic Execution to Accelerate Deterministic Databases” from ICDCS’20. I enjoyed the paper quite a lot, even though there are some claims I do not necessarily agree with. The paper solves the problem of executing transactions in deterministic…

    Read More