CS 5204 - Fall 2010 - Blacksburg

CS 5204
Fall, 2010

The "Readings" (sometimes including video materials) and Preparation shown for each topic are required.
The "References" are optional resources for further study.

1. Concurrency
August 24	Today's Class Course overview (PDF, PPT)
August 26	Today's Class Introduction to Concurrency Issues (PDF, PPT) Readings: Video: Edward Lee: Making Concurrency Mainstream (1:15) (must view with IE) The Problem with Threads Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics References Why Threads Are A Bad Idea (for most purposes) - a presentation by John Ousterhout
August 31 - September 2	Today's Class Presentation: MapReduce (PDF, PPT) Readings: Video: Presentation on MapReduce (52:06) MapReduce: Simplified Data Processing on Large Clusters Video: MapReduce for Multicore Architectures (44:48) Evaluating MapReduce for Multi-core and Multiprocessor Systems Mars: A MapReduce Framework on Graphics Processors References MapReduce - a contrarian view and rebuttal MapReduce online tutorial Map-Reduce Sigmetrics tutorial Map-Reduce using Hadoop Hadoop web site MapReduce on the Cell Processor
September 7 - 9	Today's Class Presentation: Concurrent Collections (PDF, PPT) Readings Ease of Use with Concurrent Collections (CnC) Video: Overview of CnC - Part 1 (8:29) Video: Overview of CnC- Part 2 (8:05) Video: Knobe seminar at CERN (61:42) Multi-core Implementations of the Concurrent Collections Programming Model Declarative Aspects of Memory Management in the Concurrent Collections Parallel Programming Model References
September 14	Today's Class Communicating Sequential Processes (PDF, PPT) Readings Communicating Sequential Processes References Video: Recorded Lecture on CSP (46:24) and Slides (PDF, PPT)
September 16	Today's Class Presentation: Thread-per-process models (PDF, PPT) Readings Grace: Safe Mutlthreaded Programming for C/C++ Avoiding Deadlock Avoidance (updated version) References
September 21	Today's Class Presentation: Transactional Memory (PDF, PPT) Readings Transactional Memory - Review Article Transactional Memory: Architectural Support for Lock-Free Data Structures Video: Presentation by Adam Welc - Transactional Memory: from Semantics to Silicon (1:00) References Video: Recorded Lecture on Transactional Memory: Part 1 (1:20) and Slides (PDF, PPT) Transactional Memory Online Using Cache memory to Reduce Processor-Memory Traffic - Goodman's original "snoopy cache" paper.
September 23	Today's Class Presentation: Transactional Memory (PDF, PPT) Readings Language Support for Lightweight Transactions References Video: Recorded Lecture on Transactional Memory, Part 2 (1:16) and Slides (PDF, PPT) A Qualitative Survey of Modern Software Transactional Memory Systems Software Transactional Memory for Dynamic-Sized Data Structures Transactional Memory
September 28	Today's Class Presentation: Pi-Calculus (PDF, PPT) Readings The Polyadic Pi-Calculus: A Tutorial References Robin Milner: In Memoriam Robin Milner Turing Award Lecture Video: Recorded Lecture on the Pi-Calculus, Part 1 (1:20) and Slides (PDF, PPT)
September 30	Today's Class Presentation: Pi-Calculus (PDF, PPT) Readings An Introduction to the Pi-Calculus References Video: Recorded Lecture on the Pi-Calculus, Part 2 (1:16) and Slides (PDF, PPT)
October 5	Take Home Midterm Exam No Class Held This Week
2. Security
October 12	Today's Class Presentation: Protection Models (PDF, PPT) Readings Protection Access Control in Collaborative Systems References Video:Recorded Lecture on Protection and Security (1:05) and Slides (PDF, PPT)
October 14	Today's Class Presentation: Cryptographic-based Security (PDF, PPT) Readings A Method of Obtaining Digital Signatures and Public-Key Cryptosystems References Video: Recorded Lecture on Cryptographic Security (1:01) and Slides (PDF, PPT) Handbook of Applied Cryptography An Introduction to Public-Key Cryptography RFC 2459: Internet X.509 Public-Key Infrastructure
October 19 - 21	Today's class Presentation: Trusted Platform Module (PDF, PPT) Readings Design and Implementation of a TCG-based Integrity Measurement Architecture Attestation-based Policy Enforcement for Remote Access LSM-based Secure System Monitoring Using Kernel Protection Schemes References Introduction to the TPM Introduction to the TPM 1.2 TCG Specification Architecture Overview
October 26	Today's Class Student Presentation: SecPAL (PDF, PPT) Readings Design and Semantics of a Decentralized Authorization Language References Video: Recorded Lecture on Authorization - Security Policy Assertion Language (1:28) and Slides (PDF, PPT) A Unified Approach to Trust, Delegation, and Authorization in Large-Scale Grids SecPAL: Design and Semantics of a Decentralized Authorization Language SecPAL Home site
October 28	Today's Class Presentation: Automatic Trust Negotiation (PDF, PPT) Readings Trust-X: A Peer-to-Peer Framework for Trust Establishment References
3. File Systems
November 2 - 4	Today's Class Presentation: File Systems (PDF, PPT) Readings The Design and Implementation of a Log-Structured File System Journaling versus Soft Updates: Asynchronous Meta-data Protection in File Systems References Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem Soft Updates: A Solution to the Metadata Update Problem in File Systems Journaling the Linux ext2fs Filesystem
November 9	Today's Class Presentation: GFS (PDF, PPT) Readings The Google File System Video: Recorded Presentation on GFS (approximately 30 minutes) (Note: use the slider control to skip to the start of the GFS presentation at 14:45) References Video: Recorded Lecture on Google File System (44:36) and Slides (PDF, PPT)
November 11	Today's Class Presentation: BigTable (PDF, PPT) Readings Bigtable: A Distributed Storage System for Structured Data Video: Recorded Presentation on Bigtable by Jeff Dean (one of the Bigtable developers) (approximately 1 hour) Audio presentation (MP3 format) on BigTable by Fay Chang at OSDI'06 References Audio presentation (MP3 format) on BigTable by Fay Chang at OSDI'06
4. Fault Tolerance
November 16	Today's Class Presentation: Time, Ordering, and Atomic Multicast (PDF, PPT) Readings Time, Clocks, and the Ordering of Events in a Distributed System Lightweight Causal and Atomic Group Multicast References Video: Recorded Lecture on Event Ordering (1:22) and Slides (PDF, PPT)
November 18	Today's Class Presentation: Checkpoint-Recovery (PDF, PPT) Readings A Survey of Rollback-Recovery Protocols in Message-Passing Systems References Video: Recorded Lecture on Checkpointing-Recovery (1:39) and Slides (PDF, PPT)
November 23	Thanksgiving Week Break No class meeting this week
November 30	Today's Class Presentation: Uncoordinated Checkpointing (PDF, PPT) Readings Distributed Snapshots: Determining Global State of a Distributed System References Video: Recorded Lecture on Uncoordinated Checkpointing (48:40) and Slides (PDF, PPT)
November 30	Today's Class Presentation: Commit Protocols (PDF, PPT) Presentation: Paxos (PDF, PPT) Readings Concurrency Control and Recovery in Database Systems, Chapter 7 Paxos Made Simple References Video: Recorded Lecture on Commit Protocols (43:44) and Slides (PDF, PPT) Video: Recorded Lecture on Paxos and Slides (PDF, PPT) Paxos Made Live - An Engineering Perspective
December 7	Today's Class Presentation: Chubby lock service (PDF, PPT) Course Evaluation Readings The Chubby Lock Service for Loosely-coupled Distributed Systems References Audio presentation (MP3 format) on Chubby by Mike Burrows at OSDI'06
December 8-10	Project Demonstrations and Presentations
December 13 (7:45AM-9:45AM)	Final Exam (McBryde 212)