Paxos unpacked

I am looking for PhD students to work with me on my project "Paxos Unpacked". I am attaching a short abstract below. The work done here is very useful for distributed databases and cloud computing systems.

So if you are interested in a distributed systems PhD, or you know someone interested in a distributed systems PhD, please let me know by emailing me with a short CV and qualifications. 

I will have research assistantship funding available for qualifying applicants after they get accepted to the PhD program at University at Buffalo, SUNY.


Paxos Unpacked

Due to their excellent fault-tolerance properties, Paxos protocols have been employed by many cloud computing systems for consistent coordination of clusters of computers. This project aims to show that when properly customized, Paxos family of protocols can also deliver top-notch performance and scalability, which they currently lack. To this end, the project will design high-performance, scalable, practical, and usable Paxos variants customized for different deployments and use cases. Instead of developing disjoint point-solutions, the project will provide a systematic and principled exploration of the solution space.

Scaling Paxos and making it practical and customizable involves many challenges and requires an assortment of distributed algorithmic tools and techniques. For scaling Paxos horizontally, the project will investigate novel in-protocol sharding and reconfiguration strategies enabled by the flexible quorums result. For scaling Paxos vertically, the project will alleviate the bottleneck at the leaders by decoupling control from communication flow and by employing in-protocol aggregation optimizations. To provide consensus as a lightweight serverless primitive, the project will develop efficient single-instance fine-granularity consensus as a systems primitive and showcase its use in applications.

The techniques developed in this project will have broader applicability to coordination protocols in general. In order to accelerate technology transfer to academia and industry, the project will showcase these techniques in the context of a globally distributed database prototype. The project will also enable broader impact through enhancing scientific/technological understanding, distributing tools and software to the community, engaging undergraduate and underrepresented students, and reaching out to K-12 students. New tools, software, and material will be created to teach students the principles of distributed systems and reasoning about distributed protocols.

Comments

Popular posts from this blog

I have seen things

SOSP19 File Systems Unfit as Distributed Storage Backends: Lessons from 10 Years of Ceph Evolution

PigPaxos: Devouring the communication bottlenecks in distributed consensus

Frugal computing

Fine-Grained Replicated State Machines for a Cluster Storage System

Learning about distributed systems: where to start?

My Distributed Systems Seminar's reading list for Spring 2020

Cross-chain Deals and Adversarial Commerce

Book review. Tiny Habits (2020)

Zoom Distributed Systems Reading Group