Welcome to TiddlyWiki by Jeremy Ruston, Copyright © 2005 Osmosoft Limited
Message Area
Distributed Systems
[[Announcements]]\n[[Syllabus]]\n
M W F 1:00pm-1:50pm at 322 Clemens.\noffice hours: W 4:30pm-6pm\n[[download syllabus as pdf|CSE586/syllabus.pdf]]\n----\nThis course introduces concepts and mechanisms in the design and analysis of distributed programs, including programming logic for distributed programs, global time and global state, distributed algorithms for consensus and coordination, problems in fault-tolerant distribution, distributed data structures, and representative distributed computing environments. The course will also review several state-of-the-art real-world distributed systems.\n\n\nThe reference textbook for the course (Paolo Sivilotti, Introduction to Distributed Systems, 2005) is available as a pdf download at [[Course Material]].\nSeveral other reading materials (mostly research papers from the literature) will also be assigned.\n\n!!Topics\n# Introduction, Syntax and semantics for distributed programs, temporal logic\n# Safety and progress properties\n# Proof of program properties\n# Time: logical clocks, State: distributed snapshots\n# Mutual exclusion, Dining philosophers\n# Consensus, Paxos\n# Fault-tolerance, replication, rollback recovery\n# Byzantine agreement, Self-stabilization\n# Programming support for distributed systems\n# Distributed filesystems\n# Google infrastructure, map-reduce\n# Cloud computing\n# Peer-to-peer systems\n# Sensor/mobile ad-hoc networks\n\n!! Grading\n* %50 Assignments (No late homeworks!) + Unannounced quizzes\n* %20 Midterm (closed book)\n* %30 Final (closed book, final will be inclusive of the\n midterm content)\n\n!!TA\nRaghuram Sudhaakar\n
CSE 586
[[Syllabus]] [[Course Material]] [[Reading List]] [[Assignments]] [[Announcements]]
Tentative.\n\n# Gray, Distributed Computing Economics, Microsoft TR, 2003.\n# State : The Role of Distributed State John Ousterhout \n# O. Babaoglu and K. Marzullo Consistent Global States of Distributed Systems \n# K. M. Chandy and L. Lamport Distributed Snapshots: Determining Global States of Distributed Systems\n# T. Chandra and S. Toueg Unreliable Failure Detectors for Reliable Distributed Systems\n# A Survey of Rollback-Recovery Protocols in Message-Passing Systems.\n# L. Lamport: Paxos Made Simple\n# F.B. Schneider Implementing fault-tolerant services using the state machine approach:\n# Bernstein, Goodman and Hadzilakos Distributed Recovery \n# M. Castro and B. Liskov Practical Byzantine Fault Tolerance and Proactive Recovery \n# R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E.L. Wong Zyzzyva: Speculative Byzantine Fault Tolerance\n# CAP paper: you can't have all three\n# Distributed file systems bayou, coda,\n# Chord, Oceanstore\n# MapReduce: Simplified Data Processing on Large Clusters \n# Dynamo paper\n# Speculator : Speculative execution in a distributed file system \n# Black-Box : Performance Debugging for Distributed Systems of Black Boxes \n# Linda in context
[[Assignment1|CSE586/hw1.pdf]]
* The reading for week 3 is chapters 3 and 4\n* [[Assignment2|CSE586/hw2.pdf]] is due on Feb 12, Fri, in class. \n* [[Assignment1 solution|CSE586/hw1sol.pdf]]\n* [[Assignment1|CSE586/hw1.pdf]] is due on Jan 20, Wed, in class. (No late homework!)\n* The reading for week 2 is chapters 2 and 3\n* The reading for the first week is Chapters 1&2 in the book.\n* Welcome to 586. Please read the syllabus.
* Midterm is on Feb24 in class.\n* [[Assignment3|CSE586/hw3.pdf]] is due on Feb 12, Fri, in class.\n* The reading for week 4 is chapters 5 and 9\nHere are the OldAnnouncements.\n
The reference textbook for the course is available as a pdf download:\n[[Paolo Sivilotti, Introduction to Distributed Systems, 2005|CSE586/book.pdf]]\n----\n[[Introduction|CSE586/intro.pdf]]\nRead Chapter 1 from the book.\n[[additional reference for week 1|CSE586/logicHandout.pdf]]\n[[Cheatsheet for propositional logic|CSE586/cheatsheetPropositionalLogic.pdf]]\n----\nRead Chapter 2,3 from the book.\n[[Coffee bean problem|CSE586/can.pdf]]\n[[handout for program correctness|CSE586/correctness.pdf]] (courtesy of Anish Arora)\n----\nRead Chapter 9, 10 from the book.\n[[Notes on global snapshot from Anish Arora|CSE586/snapshot.pdf]]\n----\n[[Notes on leader election and fault-tolerance from Anish Arora|CSE586/ft.pdf]]\n----\n[[Paxos presentation|CSE586/consensus-murat.pdf]]\n----\n[[Notes on faults and fault-tolerance|CSE586/faults-spec.pdf]]\n----\n[[Stabilizing tree protocol|CSE586/stabtree.pdf]]\n---\n[[Reading list]]