* Home
* Schedule
* Labs
* Project
|
|
Note that papers are subject to change
#
|
Who (click for slides)
|
Date
|
Topic
|
Required Reading
|
Suggested Reading
|
|
0 |
Hakim
(PDF PPTX) |
8/29 |
Course overview |
|
1 |
Hakim
(PDF
PPTX) |
9/3 |
Building Large, Principled Systems |
End-to-end arguments
in system design, J.H. Saltzer, D.P. Reed, D.D. Clark. ACM
Transactions on Computer Systems Volume 2, Issue 4 (November 1984),
pages 277--288.
Hints for computer
system design, B. Lampson. Proceedings of the Ninth ACM Symposium on
Operating Systems Principles (Bretton Woods, New Hampshire, United
States) 1983, pages 33--48. |
The Impact of
Architectural Trends on Operating System Performance Rosenblum et al.
15th SOSP, 1995.
Interposition Agents: Transparently Interposing User Code at the System
Interface, Michael Jones. 14th SOSP, 1993, pages 80--93.
|
|
2 |
Hakim
(PDF
PPTX) |
9/5 |
Classic Systems |
The UNIX
time-sharing system, Dennis M. Ritchie and Ken Thompson.
Communications of the ACM Volume 17, Issue 7 (July 1974), pages
365--375.
The structure of the "THE"-multiprogramming system, E.W. Dijkstra. Communications of the ACM Volume 11, Issue 5 (May 1968), pages 341--346. |
Using continuations
to implement thread management and communication in operating systems,
Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean.
Proceedings of the Thirteenth ACM Symposium on Operating Systems
Principles (Pacific Grove, California, 1991), pages 122--136.
The nucleus of a
multiprogramming system, P, Brinch Hansen. Communications of the ACM
Volume 13, Issue 4 (April 1970), pages 238--241. |
|
3 |
Hakim
(PDF
PPTX ) |
9/10 |
Concurrency, Threads, and Events |
SEDA: An Architecture for Well Conditioned, Scalable Internet Services, Matt Welsch, David Culler, and Eric Brewer. Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (Banff, Alberta, Canada, 2001), pages 230--243.
On the duality of operating system structures, H. C. Lauer and R. M. Needham. ACM SIGOPS Operating Systems Review Volume 12, Issue 2 (April 1979), pages 3--19.
|
Goal-oriented programming, or composition using events,or threads considered harmful, Eobbert Van Renesse. Proceeding of the 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications
(Sintra, Portugal, 1998), pages 82--87.
Using Threads in Interactive Systems. Hauser et al. 14th SOSP, Dec 1993.
An introduction to programming with threads, A. Birrell. Technical Report, Microsoft Research, May 2005.
Capriccio: Scalable threads for internet services, Rob von Behren et al. Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles (Bolton Landing, NY, 2003), pages 268--281.
Events can make sense, Maxwell Krohn, Eddie Kohler, and M. Frans Kaashoek.
Proceedings of the 2007 USENIX Annual Technical Conference
(Santa Clara, CA, June 2007), pages 87--107.
Using continuations to implement thread management and communication in operating systems, Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean.
Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles
(Pacific Grove, California, 1991), pages 122--136.
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs Savage et al. 16th SOSP, 1997.
|
|
4 |
Hakim
(PDF
PPTX ) |
9/12 |
File Systems |
A Fast File System for UNIX. Marshall K. McKusick, William N. Joy, Samuel J. Leffler, Robert S. Fabry. ACM TOCS 2(3), Aug 1984, pages 181--197.
The Design and Implementation of a Log-Structured File System, Mendel Rosenblum and Ousterhout. Proceedings of the thirteenth ACM symposium on Operating systems principles, October 1991, pages 1--15.
|
Soft Updates: A Solution to the Metadata Update problem in File Systems. Gregory R. Ganger, Marshall Kirk McKusick, Craig A. N. Soules, Yale N. Patt. ACM TOCS 18(2). May 2000, pages 127--153.
The Zebra striped network file system, John H. Hartman and John K. Ousterhout. Proceedings of the fourteenth ACM symposium on Operating systems principles, 1993, pages 29--43.
When to forget in the Elephant file system, Douglas S. Santry, Michael J. Feeley, Norman C. Hutchinson, Alistair C. Veitch, Ross W. Carton, and Jacob Ofir. Proceedings of the seventeenth ACM symposium on Operating systems principles, December 1999, pages 110--123.
|
|
5 |
Hakim
(PDF
PPTX ) |
9/17 |
Network File Systems |
Design and Implementation of the Sun Network File System. Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, and Bob Lyon. Appears in Proceedings of the 7th USENIX Annual Technical Conference, 1985
Coda: A highly available file system for a distributed workstation environmentMahadev Satyanarayanan, James J. Kistler, Puneet Kumar, Maria E. Okasaki, Ellen H. Siegel, and David C. Steere. IEEE Transactions on Computers 39(4), 1990, 447-459.
|
|
|
6 |
Hakim |
9/19 |
µ-Kernels
|
Mach: A new kernel foundation for UNIX development, Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, and Michael Young. Proceedings of the USENIX Summer Conference, Atlanta, GA, 1986, pages 93--112.
The Performance of µ-Kernel-based Systems. Härtig et al. 16th SOSP, Oct 1997.
|
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System, M. Young, A Tavanian, R. Rashid, D. Golub, and J. Eppinger. Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (Austin, Texas, United States), ACM, 1987, pages 63--76.
EMERALDS: A Small-Memory Real-Time Microkernel, Zuberi et al. 17th SOSP, 1999.
The Flux OSKit: A Substrate for OS and Language Research. Ford et al. 16th SOSP, Oct 1997.
|
|
7 |
Matthew
(PDF) |
9/24 |
Extensible Kernels |
Exokernel: an operating system architecture for application-level resource management, Dawson R. Engler, M. Frans Kaashoek, and James O'Toole, Jr. 15th ACM symposium on Operating systems principles (SOSP), December 1995, pages 251--266
Extensibility, Safety and Performance in the SPIN Operating System, Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers. 15th ACM symposium on Operating systems principles (SOSP), December 1995, pages 267--283.
|
Application performance and flexibility on Exokernel systems, Kaashoek et al. 16th SOSP, 1997.
Microkernels meet Recursive Virtual Machines, Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson. 2nd USENIX symposium on Operating systems design and implementation (OSDI), October 1996, pages 137-151.
|
|
8 |
Yue
(PDF) |
9/26 |
Multicore / Multiprocessors
( |
The Multikernel: A
new OS architecture for scalable multicore systems. Andrew
Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harrisy, Rebecca Isaacs,
Simon Peter , Tim Roscoe, Adrian Schüpbach, and Akhilesh Singhania .
Proceedings of the Twenty-Second ACM Symposium on Operating Systems
Principles (Austin, Texas, United States), ACM, 2009.
Disco: Running Commodity Operating Systems on Scalable Multiprocessors, Edouard Bugnion, Scott Devine, and Mendel Rosenblum. 16th ACM symposium on Operating systems principles (SOSP), October 1997, pages 143--156.
|
Thousand core chips: a technology perspective. S. Borkar. In
Proceedings of the 44th Annual Design Automation Conference, pages.
746–749, 2007.
Corey: An
operating system for many cores. S. Boyd-Wickizer, H. Chen, R. Chen, Y.
Mao, F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang,
and Z. Zhang. In Proceedings of the 8th
USENIX Symposium on Operating
Systems Design and Implementation,
pages 43–57, Dec. 2008.
Tornado: maximizing locality and concurrency in a shared memory
multiprocessor operating system, Ben Gamsa, Orran Krieger, Jonathan
Appavoo, and Michael Stumm. 3rd USENIX symposium on Operating systems
design and implementation (OSDI), February 1999, pages 87-100. |
|
9 |
Zhiming
(PDF
PPTX) |
10/1 |
Modern Systems: Virtualization |
The Origin of the VM/370 Time-Sharing System, R. J. Creasy, In IBM Journal of Research and Development, 25(5):483-490, September 1981.
Xen and the Art
of Virtualization, Paul Barham, Boris Dragovic, Keir Fraser, Steven
Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield.
19th ACM symposium on Operating systems principles (SOSP), October 2003,
pages 164--177. |
Are Virtual Machine Monitors Microkernels Done Right?, Steven Hand,
Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimer.
Proceedings of the Tenth Workshop on Hot Topics in Operating Systems (HotOS),
Sante Fe, NM, June 2005.
Are
Virtual Machine Monitors Microkernels Done Right?, Gernot Heiser,
Volkmar Uhlig, Joshua LeVasseur. ACM SIGOPS Operating Systems Review
(OSR), Volume 40, Issue 1, January 2006, pages 95--99.
Memory resource management in VMware ESX server, C. A. Waldspurger. OSDI
2002.
Virtual Machine Monitors: Current Technology and Future Trends, Mendel
Rosenblum, Tal Garfinkel. Computer, vol. 38, no. 5, pp. 39-47, May 2005.
Operating
System Support for Virtual Machines, S. T. King, G. W. Dunlap, and P. M.
Chen. 2003 USENIX Technical Conference.
|
|
10 |
Fabian
(PDF
PPTX) |
10/3 |
Modern Systems: Verifiability |
seL4: formal verification of an OS kernel, Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. In ACM 22nd Symposium on Operating Systems Principles (SOSP), Big Sky, MT, October 2009, pp. 207--220.
Singularity: rethinking the software stack, Galen C. Hung and James R. Larus. In ACM Operating Systems Review, Volumne 41, Issue 2, April 2007, pp. 37-49. |
Scalability, Fidelity, and Containment in the Potemkin Virtual Honeyfarm.
Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft,
Alex
C. Snoeren, Geoffrey M. Voelker, and Stefan Savage. Proceedings of
the Twentyth ACM Symposium on Operating Systems Principles (SOSP),
Brighton, UK. 2005.
Vigilante:
End-to-End Containment of Internet Worm Epidemics. Manuel Costa, Jon
Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang,
and Paul Barham, in ACM Transactions on Computer Systems,
December 2008.
Labels and
Event Processes in the Asbestos Operating System, Petros Efstathopoulos,
Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler,
David Mazi¡ères, Frans Kaashoek, and Robbert Morris. 12th ACM symposium on
Operating systems principles (SOSP), October 2005, pages 17--30.
Intrusion Recovery Using Selective Re-execution.
Taesoo Kim, Xi Wang,
Nickolai Zeldovich, and M. Frans Kaashoek. OSDI 2010.
Symantic Elderwood
project (analysis of current malware attacks) |
|
11 |
Kris
(PDF) |
10/8 |
Modern Systems: Security |
Fabric: A Platform for Secure Distributed Computation and Storage.
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, and Andrew C.
Myers. In ACM Symposium on Operating Systems, 2009. Pages
321-334.
Logical Attestation: An Authorization Architecture For Trustworthy
Computing. Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan
Shieh, Kevin Walsh, Dan Williams, and Fred B. Schneider. In Proceedings
of the Symposium on Operating Systems Principles, Cascais, Portugal,
October 2011.
|
Wiki: Trusted
Platform Module
Wiki: Public
Key Certificates
Wiki: X509 Standard |
|
12 |
Xiaodong
(PDF) |
10/10 |
An O/S perspective on networks |
Congestion
Avoidance and Control, Van Jacobson. Appears in Proceedings of ACM
SIGCOMM, Vo1ume 18, Number 4, (August 1988).
TCP Congestion Control
with a Misbehaving Receiver, Stefan Savage, Neal Cardwell, David Wetherall
and Tom Anderson, Appears in ACM SIGCOMM Computer Communication Review,
Volume 29 , Issue 5 (October 1999), pages 71--78. |
RouteBricks:
Exploiting Parallelism To Scale Software Routers
Mihai Dobrescu and
Norbert Egi, Katerina Argyraki, Byung-Gon Chun, Kevin Fall,
Gianluca
Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy
22nd ACM
Symposium on Operating Systems Principles (SOSP), October 2009
Routers for the Cloud. Can the Internet Achieve 5-Nines Availability?
Andrei Agapi, Ken Birman, Robert Broberg, Chase Cotton, Thilo Kielmann,
Martin Millnert, Rick Payne, Robert Surton, and Robbert VanRenesse. IEEE
Internet Computing. Volume 15. Issue 5. pp.72 - 77. September, October 2011. |
|
|
|
10/15 |
No Class: Fall Break |
|
13 |
Theo
(PDF) |
10/17 |
An O/S perspective on networks |
U-Net: A User-Level
Network Interface for Parallel and Distributed Computing, Von Eicken,
Basu, Buch and Werner Vogels. 15th SOSP, December 1995.
Active
Messages: A Mechanism for Integrated Communication and Control, Thorsten
von Eicken, David E. Culler, Seth Copen Goldstein, and Klaus Erik Schauser.
In Proceedings of the 19th Annual International Symposium on Computer
Architecture, 1992. |
Evaluation of the Virtual Interface Architecture (VIA).
Towards
an active network architecture, David L. Tennenhouse and David J.
Wetherall. Appears in ACM SIGCOMM Computer Communication Review (CCR),
Volume 37, Issue 5 (October 2007), pages 81--94.
A
Survey of Active Network Research, David L. Tennenhouse, Jonathan M.
Smith, W. David Sincoskie, David J. Wetherall, and Gary J. Minden. Appears
in IEEE Communications Magazine, Volume 35, Issue 5 (October 1997),
pages 80--86.
|
|
14 |
Mohamed
(PDF
PPTX) |
10/22 |
An O/S perspective on networks |
OpenFlow:
Enabling innovation in campus networks. Nick McKeown et al. (2008-04).
ACM Communications Review.
Frenetic: A High-Level Langauge for OpenFlow Networks. Nate Foster, Rob
Harrison, Matthew L. Meola, Michael J. Freedman, Jennifer Rexford, and David
Walker. In ACM Workshop on Programmable Routers for Extensible
Services of Tomorrow (PRESTO), Philadelphia, PA, November 2010. |
Abstractions
for Network Update. Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole
Schlesinger, and David Walker. In ACM SIGCOMM Conference, Helsinki,
Finland, August 2012. |
|
15 |
Emma
(PDF) |
10/24 |
Peer to peer |
Chord: A scalable peer-to-peer lookup service for internet applications, Ion Stoica, Robert Moris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan. Proceedings of the ACM SIGCOMM, August 2001, 149--160. San Diego, California, United States.
The Impact of DHT Routing Geometry on Resilience and Proximity, Krishna Gummadi , Ramakrishna Gummadi , Steve Gribble , Sylvia Ratnasamy , Scott Shenker, Ion Stoica. Appears in Proceedings of ACM SIGCOMM, August 2003, pages 381--394.
|
SplitStream: high-bandwidth multicast in cooperative environments.
Castro, et. al. SOSP 2003.
Overcast:
Reliable Multicasting with an Overlay Network, Jannotti et al. 4th OSDI,
Dec 2000.
Kelips:
Building an Efficient and Stable P2P DHT Through Increased Memory and
Background Overhead, Indranil Gupta, Ken Birman, Prakash Linga, Al
Demers and Robbert van Renesse. 2nd International Workshop on Peer-to-Peer
Systems (IPTPS '03); February 20-21, 2003. Claremont Hotel, Berkeley, CA,
USA. |
|
16 |
Greg
(PDF) |
10/29 |
Peer to peer Storage |
Dynamo: Amazon's Highly Available Key-Value Store, Giuseppe DeCandia,
Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman,
Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, and Werner
Vogels. In Proceedings of twenty-first ACM SIGOPS symposium on
Operating systems principles (SOSP). October 2007, pp. 205--220.
Pond: the OceanStore Prototype, Sean Rhea, Patrick Eaton, Dennis Geels, Hakim Weatherspoon, Ben Zhao, and John Kubiatowicz. In Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST), March 2003, pages 1--14.
|
Storage management and caching in PAST, a large scale, persistent peer-to-peer storage utility, Rowstron and Druschel. 18th SOSP, Oct 2001.
A Distributed Decentralized Information Storage and Retrieval System, Ian Clark. University of Edinburgh, 1999 (Original unpublished technical report on Freenet).
Why Gnutella can't scale, no really?, Ritter, Feb 2001.
|
|
17 |
Sean
(PDF
PPT
ODP) |
10/31 |
Cloud-Scale Storage |
The Google file
system, Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung.
19th ACM symposium on Operating systems principles (SOSP), October 2003,
29--43.
Windows Azure Storage: A Highly Available Cloud Storage Service with Strong ConsistencyBrad Calder, Ju Wang, Aaron Ogus, Niranjan Nilakantan, Arild Skjolsvold, Sam McKelvie, Yikang Xu, Shashwat Srivastav, Jiesheng Wu, Huseyin Simitci, Jaidev Haridas, Chakravarthy Uddaraju, Hemal Khatri, Andrew Edwards, Vaman Bedekar, Shane Mainali, Rafay Abbasi, Arpit Agarwal, Mian Fahim ul Haq, Muhammad Ikram ul Haq, Deepali Bhardwaj, Sowmya Dayanand, Anitha Adusumilli, Marvin McNett, Sriram Sankaran, Kavitha Manivannan, Leonidas Rigas. In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP), pp. 143--157, October 2011. |
RACS: A Case for Cloud Storage Diversity, Hussam Abu-Libdeh, Lonnie Princehouse, Hakim Weatherspoon, In Proceedings of the First ACM Symposium on Cloud Computing (SOCC), June 2010.
Finding a Needle in Haystack: Facebook's Photo Storage.
Doug Beaver,
Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel. OSDI 2010.
Rethink the Sync,
Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn.
Proceedings of the 7th USENIXE Symposium on Operating Systems Design and
Implementation (OSDI), November 2006.
Speculative
Execution in a Distributed File System, Edmund B. Nightingale, Peter M
Chen, Jason Flinn. Proceedings of the 20th ACM Symposium on Operating
Systems Principles (SOSP), October 2005, pages 191--205. |
|
18 |
Edward
(PDF
PPTX) |
11/7 |
Ordering and Consistent Cuts |
Time, Clocks, and the Ordering of Events in a Distributed System,
Lamport. CACM 21(7). July 1978.
Distributed snapshots: Determining global states of distributed systems.,&nsp;
Chandy, Lamport. ACM TOCS 3(1), 1985, 63-75. |
How Processes Learn. K. Mani Chandy and Jay Misra. In Proceedings of
the fourth annual ACM symposium on Principles of distributed computing
(PODC '85). ACM, 204-214 |
|
19 |
Favian
(PDF
PPT) |
11/12 |
Fault Tolerance via State Machine Replication |
Implementing
fault-tolerant services using the state machine approach: A tutorial,
Fred Schneider. ACM Computing Surveys Volume 22, Issue 4 (December
1990), 299--319.
Chain Replicationfor supporting high throughput and availability, Robbert van Renesse and Fred Schneider. Appears in Proceedings of the 6th conference on Symposium on Opearting Systems Design and Implementation (OSDI), December 2004.
|
Sinfonia: A new paradigm for building scalable distributed systems.
Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, Christos
Karamanolis. November 2009 Transactions on Computer Systems (TOCS), Volume
27 Issue 3.
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems,
Lamport. ACM TOPLAS 6:2, 1974.
Dangers of Replication and a Solution, Gray et al. ACM SIGMOD, Jun 1996. |
|
20 |
Pu |
10/14 |
Paxos |
Paxos
Made Moderately Complex. Robbert van Renesse. Cornell
University. March 25, 2011
Wiki:
Paxos_Protocol
Paxos Made Simple, Lamport. ACM SIGACT NEWS 32(4). Dec. 2001. |
Virtually Synchronous Methodology for Dynamic Service Replication. Ken
Birman, Dahlia Malkhi, Robbert van Renesse. Submitted for publication.
November 18, 2010. Also available as Microsoft Research TechReport
MSR-2010-151.
Wiki:
Gbcast_Protocol |
|
21 |
|
11/19 |
Byzantine Agreement |
The Byzantine Generals Problem, Lamport et al. ACM TOPLAS 4, 1982.
Practical Byzantine Fault Tolerance, Castro and Liskov. 3rd OSDI, Feb
1999.
|
Randomized Byzantine Generals, Rabin. FOCS, 1983.
Byzantine Quorum Systems, Malkhi and Reiter.
Fault-Scalable Byzantine Fault-Tolerant Services, Michael Abd-El-Malek
et.al. SOSP 2005.
Zyzzyva:
Speculative Byzantine Fault Tolerance. Ramakrishna Kotla, Lorenzo
Alvisi, Mike Dahlin, Allen Clement, and Edmund Wong. 2007. In
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems
principles (SOSP '07). ACM, New York, NY, USA, 45-58.
The Next 700 BFT Protocols. Rachid Guerraoui, Nikola Knezevic, Vivien
Quéma and Marko Vukolić. In Proceedings of EuroSys, Paris, France,
pp. 363-376, April 2010
|
|
22 |
Bryan |
11/21 |
FLP |
Impossibility of Distributed Consensus with One Faulty Process, Fisher
et al. JACM 32(2), Apr 1985.
The weakest failure detector for solving consensus, Chandra et al. J.
ACM 43, 4, Jul. 1996. |
Easy Impossibility Proofs for Distributed Consensus Problems.
Michael J. Fischer , Nancy A. Lynch , Michael Merritt. ACM PODC 1986.
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, Seth Gilbert and Nancy Lynch. In ACM SIGACT News, Volumne 33, Issue 2, June 2002, pp. 51--59.
CAP Twelve Years Later. Eric Brewer. IEEE Computer Magazine (special
issue on “The Growing Impact of the CAP Theorem”). Volume 12. pp. 23-30.
February 2012.
The Building Blocks of Consensus. Yee Jiun Song, Robbert van Renesse,
Fred B. Schneider, Danny Dolev. The 9th International Conference on
Distributed Computing and Networking (ICDCN 08), January, 2008. LNCS, Vol.
4904, pp. 54-72. |
|
23 |
Song |
11/26 |
Virtual Synchrony and Group Communication |
The Process Group Approach to Reliable Distributed Computing, Birman.
CACM, Dec 1993, 36(12):37-53.
Bimodal Multicast, Birman et al. ACM TOCS 17(2), May 1999.
|
isis2.codeplex.com:
Isis2, A modern, open-source, group communication library for
cloud computing applications. Ken Birman, 2011. |
|
|
|
11/28 |
No Class: Happy Thanksgiving! |
|
24 |
Hakim |
12/3 |
Epidemic Techniques |
Epidemic algorithms for replicated database maintenance, Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker, Howard Sturgis, Dan Swinehart, Doug Terry. Appears in 6th ACM Symposium on Principles of distributed computing (PODC), August 1987, pages 1--12.
Managing update conflicts in Bayou, a weakly connected replicated storage system, Doug B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, Mike J. Spreitzer, and Carl H. Hauser. In Proceedings of the 5th ACM Symposium on Operating Systems Principles (SOSP), December 1995, pages 172--182. |
Astrolabe: A Robust and Scalable Technology for Distributed System Monitoring, Management, and Data Mining, Robbert Van Renesse, Kenneth P. Birman, Werner Vogels. Appears in ACM Transactions on Computer Systems (TOCS), Volume 21, Issue 2, May 2003, pages 164--206.
Kelips: Building an Efficient and Stable P2P DHT Through Increased Memory and Background Overhead, Indranil Gupta, Ken Birman, Prakash Linga, Al Demers and Robbert van Renesse. 2nd International Workshop on
Peer-to-Peer Systems (IPTPS '03); February 20-21, 2003. Claremont
Hotel, Berkeley, CA, USA.
|
|
|
|
12/5 |
Demo Day! |
Questions or comments? email hweather@cs.cornell.edu
Policy on academic integrity
Hakim Weatherspoon
Last modified: Wed Nov 13 14:08:21 EST 2013
|
