Distributed Systems — Fall 2021

Instructor Aurojit Panda (E-mail)
Help? Campuswire
When? Thursday 5:10pm to 7pm
Where? Silver Center 408
Hours Monday 3pm to 4pm
Hours 405 60 Fifth Ave
Consensus visualized poorly

This course is a graduate introductory course on distributed systems.

Workload

This class requires (contributions to the final grade are in parenthesis):

  • Reading between 2 and 3 research papers each week, analyzing their content and participating in discussions during lectures. (5% of final grade)
  • Work on four programming assignments or labs. Details below. (40% of final grade)
  • Work on a more open ended final project, details of which are below. (15% of final grade)
  • A midterm on October 21, 2021 covering all the material taught until that date. (15% of final grade)
  • A final exam (date TBD) covering all of the material in the class. (25% of final grade)

The late policy and collaboration policy are below. Make sure you have read and understood both.

Schedule

This is tentative and subject to change

Date Topic & Readings Other
09/02 Introduction, no reading Notes
Whiteboard PDF
09/09 Clocks and times in distributed systems
Lamport '78
Fidge '88
Alpern and Schneider' 85
[Optional] Mattern '88
Lab 1 Out (Due Sep 26)
Pre-class notes
Class notes
Whiteboard PDF
09/16 Simple distributed systems
Stoica '01
Whiteboard PDF
09/23 Linearizability and CAP
Herlihy and Wing '90
Gilbert and Lynch '02
Lab 1 due (on Sep 26)
Lab 2 out
Pre-class notes
Notes
09/30 Replicated State Machines
Schneider '90
Lamport '78
10/07 Consensus and FLP
Fischer, Lynch and Paterson '85
Dwork, Lynch and Stockmeyer '88
Lab 2 due
10/14 Raft
Ongaro and Ousterhout '14
Lab 3 and 4 out
Final project proposals due.
10/21 MIDTERM
10/28 Paxos
Renesse and Altinbuken '15
Optional: Lamport '05
Lab 3 due
11/04 Byzantine Fault Tolerance
Lamport, Shostak and Pease '82
Castro and Liskov '99
11/11 Failure Detectors
Chandra, Hadzilacos and Toueg '95
Leners, Gupta, Aguilera and Walfish '13
Lab 4 due
11/18 Message Passing
Attiya, Bar-Noy and Dolev '90
Delporte-Gallet, Fauconnier and Guerraoui '04
11/25 Thanksgiving: NO CLASS
12/02 TBD
12/09 Poster Session

Labs and Final Project

All but the final lab are to be done in Elixir a functional language that implements the actor model and must use our emulation layer. Lab 1 and a couple of additional sections will introduce you to the programming environment.

  • Lab 1 is an introduction to the classes programming environment, and is meant to bring you up to speed with the use of recursion and teach you enough Elixir to work on the rest of the projects.
  • Lab 2 will have you implement a simple DHT in Elixir.
  • Lab 3 and Lab 4 both aim to implement a consensus protocol.

The class diverges for the final project:

  • If you are a PhD student or are interested in independent research you can use a research project you are already working on, or propose a new one for your final project. You will then make a poster (details forthcoming) that we can make available to other students in the class, and submit a short report.
  • For everyone else we will provide a list of open ended labs, and you can work on one of them.

In both cases you need to submit a proposal (by Oct 14), make a poster (details forthcoming) and submit a write up. In both cases the proposal should explain what you are planning on doing, and how you plan to test your work. For the research project you should also provide motivation and preliminary related work.

Final projects should ideally be done in groups of 2, but we can accommodate cases where you want to work alone. Please get in touch with Panda as early as possible.

Late Policy

You have 5 late days that you can use across all labs. Late days incur no penalty, but you are responsible for recording any late days you use in a README file handed in with the lab. Any additional late days will incur a 10% deduction. Any lab submitted more than 5 days late will receive a 0.

Collaboration Policy

You are allowed (and in fact encouraged) to discuss readings, and the reading questions with others (including people who might not be in this class). However, all answers you submit must be written by you and should not be copied from anyone else. Additionally, you must understand your answer, we reserve the right to interview you and quiz you about your answers. Additionally, you must cite all sources (people, websites, papers, etc.) that you consult as a part of your work.

You are allowed to discuss labs with others in the class. You may not however share code with anyone else in class. This means you may not show your code to anyone else, and you may not copy code from anyone else. Additionally, similar to above: (a) you must understand the functioning of all code you submit; and (b) you must cite any sources you consulted while working on the lab. We reserve the right to both talk to you about details of your code and to use automatic tools to detect cases where code is copied.

We will investigate any suspected academic misconduct, and will report it to the department as required by GSAS policies.

A word about citing: as you can see we require you to cite any external sources you use for the class. External sources here include but are not limited to previously published articles, blog posts, Stackoverflow or similar sites, conversations with other people, etc. This policy is not meant to discourage the use of external sources, instead it just codifies a standard academic practice. You should be generous with your citations.

Finally, by taking this class you agree to never post any solutions for the labs publicly.