1/16 (Th) Classes begin.
Introduction
1/21 (T)
Paxos
(only the basic Paxos protocol), Paxos
made simple (for reference, not required to read)
1/23 (Th)
Mencius:
Building Efficient Replicated State Machine for WANs OSDI 2008
1/28
M.
Rosenblum
and
J.K.
Ousterhout,
"The
Design
and Implementation of a Log-Structured File System," 13th ACM
SOSP, 1992.
1/30
A.
W.
Appel
and
Kai
Li,
"Virtual Memory Primitives for User Programs"
2/4
C.A.
Waldspurger,
"Memory
Resource
Management
in
VMware ESX Server," OSDI 2002.
2/6
S.
Savage,
M.
Burrows,
G.
Nelson,
P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race
Detector for Multithreaded Programs," SOSP 1997
2/11 Du Shen
L.
Lamport, "Time, Clock, and the Ordering of Events in a Distributed
System," CACM, July 1978
Leases:
An Efficient Fault-Tolerant Mechnism for Distributed File Cache
Consistency, SOSP 1989
2/13 Jianhua Sun
Eliminating
Receive
Livelock
in
an
Interrupt-driven
Kernel, USENIX 1996
2/18 Kevin Moran
R.
v.
Behren,
J.
Condit,
F.
Zhou, G. C. Necula, and E. Brewer, "Capriccio: Scalable Threads
for Internet Services," SOSP 2003
2/20 Shasha Wen
Exokernel:
An
Operating
System
Architecture
for
Application Level Resource Management
Midterm Exam
2/25 Jayce Gaines
J.H.
Howard,
M.L.
Kazar,
S.G.
Menees,
D.A.
Nichols,
M. Satyanarayanan, N. Sidebotham, and M.J. West, "Scale and
Performance in a Distributed File System," ACM Transactions on
Computer Systems, February 1988.
2/27 Cheng Li
Speedy
Transactions in Multicore In-Memory Databases, SOSP 2013
3/4 3/2-3/9 Spring break
3/6 3/2-3/9 Spring break
3/11 Yupeng Gu
MapReduce:
Simplified Data Processing on Large Clusters
3/13 Probir Roy
Boris
Dragovic, Keir Fraser, Steve Hand, Tim Harris, Alex Ho, Ian Pratt,
Andrew Warfield, Paul Barham, and Rolf Neugebauer, "Xen and the
Art of Virtualization" SOSP 2003.
3/18 Tao Wang
A
comparison of software and hardware techniques for x86
virtualization, ASPLOS
Reference: Intel
Virtualization Technology
3/20 Wenting Tan
Sparrow:
Distributed, Low Latency Scheduling, SOSP 2013
3/25 Zhaoliang Duan
Arvind
Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny
hypervisor to provide lifetime kernel code integrity for commodity
OSes" SOSP 2007
3/27 Liu Yin
TAO:
Facebook's Distributed Data Store for the Social Graph, ATC
2013
4/1 Yue Li
Replication,
History, and Grafting in the Ori File System, SOSP 2013
4/3 Eunyoung Cho
S.
Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System,"
SOSP 2003.
4/8 Yue Zhao
Spanner:
Google’s Globally-Distributed Database, OSDI 2012
4/10 Tuan Tran
William
Enck,
Peter
Gilbert,
Byung-gon
Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, Anmol N.
Sheth. "TaintDroid: An Information-Flow Tracking System for
Realtime Privacy Monitoring on Smartphones" OSDI 2010
4/15 no class
no class
4/17 Xulong Tang
Overshadow:
a virtualization-based approach to retrofitting protection in
commodity operating systems, ASPLOS 2008
4/22 Zijiang Hao
Making
information flow explicit in HiStar OSDI 06
Making
information flow explicit in HiStar, CACM 2011,
4/24
4/25 (F) Last day of class
Exam 5/1 (Th) 2-5 Spring
exam schedule
5/10 Commencement
-------------------------------------
An
Analysis of Linux Scalability to Many Cores OSDI 2010
Spanner:
Google’s Globally-Distributed Database, OSDI 2012
Making
information flow explicit in HiStar, CACM 2011, OSDI
06 version
An
Analysis of Facebook Photo Caching, SOPS 2013
Timecard:
controlling user-perceived delays in server-based mobile
applications, SOSP 2013
Doug
Beaver,
Sanjeev
Kumar,
Harry
C. Li, Jason Sobel, and Peter Vajgel. "Finding a Needle in
Haystack: Facebook's Photo Storage" OSDI 2010
Sparrow: Distributed, Low Latency Scheduling, SOSP 2013