Hide menu

Distributed Algorithms for Fault Tolerance

DF15500, 2012VT

Status Cancelled
School National Graduate School in Computer Science (CUGS)
Division RTSLAB
Owner Simin Nadjm-Tehrani

  Log in  




Course plan

Lectures

8h-10h lectures, combined with some discussion seminars (tutorials) based on student questions.

Recommended for

CUGS students

The course was last given

2003

Goals

To get an insight into the history of development and importance of fault tolerance algorithms for distributed systems. To understand what are the major classifications, concepts and terms which define classes of distributed systems, fault tolerance problems therein and solutions to some of these problems: Elements of robust algorithms, in particular concensus and broadcast algorithms, group mechanisms and stablising algorithms. To understand the underlying failure models for which strong results are available. To understand major limitations of achieving fault tolerance with the help of robust algorithms in an asynchronous setting. To study a well-known problem that is solvable within a synchronous setting: Byzantine agreement. To get an overview of stablising algorithms and to study examples of such algorithms.

Prerequisites

Students who have satisfied the learning goals of core CUGS courses.

Contents

Introduction to the course, basic notions in fault tolerance (FT) and a short review of the area in the intersection of FT and formal analysis of systems. Introduction to basic notions in distributed systems, including local/global state, cut and mechanisms for broadcast, overview on replication models. Consensus, and the related problems, the main impossibility results. Unreliable failure detectors. Group communication, view synchronous broadcast. Partitions and group management. Self-stablising algorithms.

Organization

Lectures and tutorial sessions

Literature

Introduction to distributed algorithms, Gerard Tel, Cambridge press. and research papers.

Lecturers

Simin Nadjm-Tehrani, Mikael Asplund or Ulf Nilsson (tentative).

Examiner

Simin Nadjm-Tehrani

Examination

Home individual exercises.

Credit

6 points

Organized by

Simin Nadjm-Tehrani

Comments

(will be only given if at least 6 students are interested)


Page responsible: Webmaster
Last updated: 2012-05-03