Introduction to the course, some basic philosophy, UNIX system.

• The UNIX Time-Sharing System [NEW annotated version]
  

Introduction to Databases, System R

• End-To-End Arguments in System Design
• A History and Evaluation of System R [Annotated version]
  

File Systems

• A Fast File System for UNIX
  
• Analysis and Evolution of Journaling File Systems

File System Reliability: Bottom Up/Top Down

• The HP AutoRAID Hierarchical Storage System (2-up version)
  
• Finding a needle in Haystack: Facebook’s photo storage
  

Flash File Systems

• F2FS: A New File System for Flash Storage
  
• A Fast and Slippery Slope for File Systems
  

Transaction Locking and Concurrency #1

• Granularity of Locks and Degrees of Consistency in a Shared Database
• Principles of Transaction-Oriented Database Recovery

Transactional Recovery:

• ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-ahead Logging

Transactional Recovery: Extensions and Applications

• Segment-Based Recovery: Write-ahead Logging Revisited
  
• Lightweight Recoverable Virtual Memory

Transaction Locking and Concurrency #2

• CRDTs: Consistency Without Concurrency Control
• Coordination Avoidance in Database Systems

Transaction Locking and Concurrency #3

• Time, Clocks, and the Ordering of Events in a Distributed System
  
• Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks

Resource Allocation and Scheduling #1

• Lottery Scheduling: Flexible Proportional-Share Resource Management
• Integrating Multimedia Applications in Hard Real-Time Systems

Resource Allocation and Scheduling #2

• Composing Parallel Software Efficiently with Lithe
• Dominant Resource Fairness: Fair Allocation of Multiple Resource Types

Summaries for
Reading #12

Virtual Machines #1

• Disco: Running Commodity Operating Systems on Scalable Multiprocessors
  
• Xen and the Art of Virtualization
  

Virtual Machines #2

• Live Migration of Virtual Machines
• The Case for VM-Based Cloudlets in Mobile Computing
• Transient customization of mobile computing infrastructure

Edge Computing #1

• You Can Teach Elephants to Dance
• Global Data Plane: A Federated Vision for Secure Data in Edge Computing

Th
10/24

Peer To Peer Networks

• Chord: A Scalable Peer-to-peer Lookup Protocol for Internet Applications
• Tapestry: A Resilient Global-scale Overlay for Service Deployment

11

Distributed Storage #1

• Dynamo: Amazon's Highly Available Key-value Store
• Pond: the OceanStore Prototype

Distributed Consensus #1

• Paxos Made Live -- An Engineering Perspective
• In Search of an Understandable Consensus Algorithm

Distributed Consensus #2

• The Byzantine Generals Problem
• Practical Byzantine Fault Tolerance

Distributed Storage #2

• The Google File System
• Bigtable: A Distributeed Storage System for Structured Data

Parallel DB #1

• A Comparison of Approaches to Large-Scale Data Analysis
  
• Spark: Cluster Computing with Working Sets

Column Stores

• C-Store: A Column-oriented DBMS
  
• Database Cracking

Security #1

• Making Information Flow Explicit in HiStar
• Using Crash Hoare Logic for Certifying the FSCQ File System

Microkernels #1

• Exokernel: An Operating System Architecture for Application-Level Resource Management
• seL4: Formal Verification of an OS Kernel

Security #2

• CryptDB: Protecting Confidentiality with Encrypted Query Processing
• Opaque: An Oblivious and Encrypted Distributed Analytics Platform

Security #3

• Meltdown: Reading Kernel Memory from User Space
• Spectre Attacks: Exploiting Speculative Execution

[pptx,pdf]
Supplemental (252, S'12):
[pptx,pdf],[pptx,pdf]

F
12/13

Poster Session: 1-5pm in 5th-floor atrium

AOE
(i.e. by 5am tomorrow morning)