Syllabus

Short Description

Concepts and mechanisms in design and verification of distributed systems; process synchronization, global state, deadlock; applications including resource management, mutual exclusion, snapshots, termination detection, garbage collection, consensus.

Course Objectives

The aim of this course is for students to:

• Be familiar with writing and designing distributed programs.
• Be familiar with the analysis and verification of distributed programs.
• Master the principles behind several specific classes of distributed algorithms for solving particular problems.
• Master reading and understanding distributed algorithms.

Prerequisites

CSE 760 (or permission of instructor).

Textbooks

• (required) Course notes available at UniPrint (first floor of Tuttle garage).

Grading Scheme

An 80 or higher is an A (or A-);
70-79 is a B (+/-);
60-69 is a C (+/-);
50-59 is a D (+/-);
and anything less than 50 is an E.

Please note the following:

• Problem sets and quizzes are done individually.
• Minute quizzes are randomly distributed through the quarter. Each is graded out of 2. The lowest minute quiz score is automatically dropped.
• A class participation penalty of 5 % will be assessed if I can not match your name and face by the end of the quarter.

Late Policy

Problem set solutions are turned in by the beginning of class on their due date. Assignments will be accepted up to 24 hours late with a 10% penalty, up to 48 hours late with a 25% penalty, and up to 72 hours late with a 50% penalty.

Disability Statement

Any student who feels he/she may need an accommodation based on the impact of a disability should contact the intructor privately to discuss their specific needs. The Office for Disability Services at 614-292-3307 in 150 Pomerene Hall will help in coordinating reasonable accommodations for students with documented disabilities.

Academic Misconduct

Making any use of any work (code, design, documentation), or any part of work done by others (current or in the past) is a violation of course rules. If you have any concerns about whether something you are considering doing is appropriate, ask first! All academic misconduct will be dealt with according to university procedures.