http://dsg.cs.ubc.ca/pmwiki.php?n=Main.Cs508w2008term2readings

CS 508: Reading List

Return to CS 508 Main Page

The following is the schedule of readings for the term. Changes to the schedule may be made as necessary. I may decide to change some of the papers in the later part of the schedule as the term progresses.

Class Schedule

Week # - Dates

Monday

Wednesday

1 - Jan. 5, 7

Organizational meeting: course overview and initial paper assignments

Students will be asked to submit rankings (top 3 preferences) from the following list. The instructor will use these to deterimine the moderator/presenter schedule.

Handy background reading (not presented in class)

An evaluation of the ninth SOSP submissions or how (and how not) to write a good systems paper.
Roy Levin and David D. Redell (1988)
SIGGRAPH Comput. Graph., 22(5):264-266.
((URL)) (BibTeX)

How to read a paper.
S. Keshav (2007)
SIGCOMM Comput. Commun. Rev., 37(3):83-84.
(PDF) (BibTeX)

Threads, Concurrency and Synchronization

Paper #1:

An introduction to programming with threads.
Andrew D. Birrell (1989)
Technical report, Research Report 35, Digital Equipment Corporation Systems Research.
((URL)) (BibTeX)

Paper #2:

Monitors: an operating system structuring concept.
C. A. R. Hoare (1974)
Commun. ACM, 17(10):549-557.
((URL)) (BibTeX)

2 - Jan. 12, 14

Paper #4:

Presenter: Shantanu Gramsci ([email protected])

Why Threads are a Bad Idea (for most purposes).
John Ousterhout (1996)
In USENIX Winter Technical Conference. jan.
((URL)) (BibTeX)

Paper #3:

Scheduler activations: effective kernel support for the user-level management of parallelism.
Thomas E. Anderson , Brian N. Bershad , Edward D. Lazowska and Henry M. Levy (1991)
In SOSP '91: Proceedings of the thirteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 95-109.
((URL)) (BibTeX)

Presenter: Dibesh Shakya ([email protected])

Event Based Systems

Paper #5:

Presenter: Arseniy Akuney ([email protected])

SEDA: an architecture for well-conditioned, scalable internet services.
Matt Welsh , David Culler and Eric Brewer (2001)
SIGOPS Oper. Syst. Rev., 35(5):230-243.
((URL)) (BibTeX)

3 - Jan. 19, 21

Paper #6:

Presenter: Anseok Joo ([email protected])

Cooperative Task Management Without Manual Stack Management.
Atul Adya , Jon Howell , Marvin Theimer , William J. Bolosky and John R. Douceur (2002)
In ATEC '02: Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference. Berkeley, CA, USA. USENIX Association, pages 289-302.
((URL)) (BibTeX)

Duality of Threads and Events

Paper #7:

Presenter: Shafiq Joty ([email protected])

On the duality of operating system structures.
Hugh C. Lauer and Roger M. Needham (1979)
SIGOPS Oper. Syst. Rev., 13(2):3-19.
(BibTeX)

Paper #8:

Presenter: Mahdi Tayarani Najaran ([email protected])

Capriccio: scalable threads for internet services.
Rob von Behren , Jeremy Condit , Feng Zhou , George C. Necula and Eric Brewer (2003)
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 268-281.
((URL)) (BibTeX)

Paper #9:

Presenter: Yongik Chung ([email protected])

Lazy asynchronous I/O for event-driven servers.
Khaled Elmeleegy , Anupam Ch, a , Alan L. Cox and Willy Zwaenepoel (2004)
In ATEC '04: Proceedings of the annual conference on USENIX Annual Technical Conference. Berkeley, CA, USA. USENIX Association, pages 21-21.
((URL)) (BibTeX)

4 - Jan. 26, 28

NO CLASS (Buck out of Town)

Remote Procedure Call

Paper #10:

Presenter: Maliha Sultana ([email protected])

Implementing remote procedure calls.
Andrew D. Birrell and Bruce Jay Nelson (1984)
ACM Trans. Comput. Syst., 2(1):39-59.
((URL)) (BibTeX)

System Structuring using Layers

Paper #11:

Presenter: Jonathan MacDougall ([email protected])

The structure of the ``THE-multiprogramming system.
Edsger W. Dijkstra'' (1968)
Commun. ACM, 11(5):341-346.
((URL)) (BibTeX)

5 - Feb. 2, 4

Extensibility via Hardware-Based Protection

Paper #12a:

Presenter: Elan Dubrofsky ([email protected])

Mach: A New Kernel Foundation for Unix Development.
M. Accetta , R. Baron , W. Bolosky , D. Golub , R. Rashid , A. Tevanian and M. Young (1986)
In Proceedings of the Summer USENIX Conference., pages 93-113.
((URL)) (BibTeX)

Paper #12b:

The Mach System.
A. Silberschatz , P. Galvin and G. Gagne (2002)
In Operating Systems Concepts., Addison-Wesley.
((URL)) (BibTeX)

Presenter: Peter Selby ([email protected])

Paper #13:

Presenter: Sapna Bedi ([email protected])

Improving IPC by kernel design.
Jochen Liedtke (1993)
In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 175-188.
((URL)) (BibTeX)

Paper #14:

Presenter: Sriram Murali ([email protected])

The performance of micro-kernel-based systems.
Hermann Hartig , Michael Hohmuth , Jochen Liedtke , Jean Wolter and Sebastian Schonberg (1997)
SIGOPS Oper. Syst. Rev., 31(5):66-77.
((URL)) (BibTeX)

6 - Feb. 9, 11

Extensibility via Software-Based Protection

Paper #15:

Presenter: Seyed Mirtaheri ([email protected])

Efficient software-based fault isolation.
Robert Wahbe , Steven Lucco , Thomas E. Anderson and Susan L. Graham (1993)
In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 203-216.
((URL)) (BibTeX)

Paper #16

Presenter: Buck

Extensibility safety and performance in the SPIN operating system.
B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers and S. Eggers (1995)
In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 267-283.
((URL)) (BibTeX)

Term Project Proposal Due

Virtualization

Paper #17

Presenter: Buck

Disco: running commodity operating systems on scalable multiprocessors.
Edouard Bugnion , Scott Devine , Kinshuk Govil and Mendel Rosenblum (1997)
ACM Trans. Comput. Syst., 15(4):412-447.
((URL)) (BibTeX)

7 - Feb. 16, 18

No class - midterm break

No class - midterm break

8 - Feb. 23, 25

Applications of Virtualization

Paper #18:

Presenter: Seyed Mirtaheri ([email protected])

Xen and the art of virtualization.
Paul Barham , Boris Dragovic , Keir Fraser , Steven H, , Tim Harris , Alex Ho , Rolf Neugebauer , Ian Pratt and Andrew Warfield (2003)
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 164-177.
(BibTeX)

Guest lecture

Location: ICCS 238 (ICCS boardroom

Title: Data: How to keep it when you want it, and lose it when you want it gone

Speaker: Radia Perlman (Sun Microsystems Laboratories)

In order not to lose data, copies should be kept in lots of locations. That makes it difficult to really delete the data, since the backup copies can be stolen or copied. The obvious solution is to encrypt the data, and then discard the keys of data that is to be destroyed. However, reliably keeping, then reliably destroying all copies of deleted keys has the same problem.

This talk describes a system that supports three types of assured delete: expiration time known at file creation, on-demand deletion of individual files, and custom keys for classes of data. It is easy and inexpensive to manage and involves only trivial performance overhead over a traditional encrypted file system.

Bio: Radia Perlman is a Fellow at Sun Microsystems. She is known for inventing the spanning tree algorithm used by bridges/switches in today’s networks, as well as the fundamental algorithms that make link state protocols robust and scalable. Her current research interests include assured delete, making large networks robust against Byzantine failures, and replacing bridges/switches with technology that is upwardly compatible, but more robust, flexible, and scalable. She is author of Interconnections: Bridges, Routers, Switches, and Internetworking Protocols, and coauthor of Network Security: Private Communication in a Public World, which are widely used both as textbooks in universities and by engineers learning the field. She holds over 90 patents, a PhD in computer science from MIT, and an honorary doctorate from KTH, the Royal Institute of Technology, Sweden. She was recently given a lifetime achievement award by Usenix, and named SVIPLA (Silicon Valley Intellectual Property Law Association) Inventor of the year.

9 - Mar. 2, 4

Paper #19:

Presenter: Maliha Sultana ([email protected])

ReVirt: enabling intrusion analysis through virtual-machine logging and replay.
George W. Dunlap , Samuel T. King , Sukru Cinar , Murtaza A. Basrai and Peter M. Chen (2002)
In OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation. New York, NY, USA. ACM, pages 211-224.
((URL)) (BibTeX)

Paper #20:

Presenter: Presenter: Shantanu Gramsci ([email protected])

Debugging operating systems with time-traveling virtual machines.
Samuel T. King , George W. Dunlap and Peter M. Chen (2005)
In In USENIX Annual Technical Conference., pages 1-15.
((URL)) (BibTeX)

CPU Scheduling and Real-Time

Paper #21:

Presenter: Mahdi Tayarani Najaran ([email protected])

Soft timers: efficient microsecond software timer support for network processing.
Aron,, Mohit and Druschel,, Peter (1999)
SIGOPS Oper. Syst. Rev., 33(5):232-246.
((URL)) (BibTeX)

Paper #22:

Presenter: Sriram Murali ([email protected])

Supporting time-sensitive applications on a commodity OS.
Goel,, Ashvin , Abeni,, Luca , Krasic,, Charles , Snow,, Jim and Walpole,, Jonathan (2002)
SIGOPS Oper. Syst. Rev., 36(SI):165-180.
((URL)) (BibTeX)

10 - Mar. 9, 11

Distribution

Paper #23:

Presenter: Peter Selby ([email protected])

The LOCUS distributed operating system.
Walker,, Bruce , Popek,, Gerald , English,, Robert , Kline,, Charles and Thiel,, Greg (1983)
In SOSP '83: Proceedings of the ninth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 49-70.
((URL)) (BibTeX)

Paper #24:

Presenter: Arseniy Akuney ([email protected])

Experience with Grapevine: the growth of a distributed system.
Schroeder,, Michael D. , Birrell,, Andrew D. and Needham,, Roger M. (1984)
ACM Trans. Comput. Syst., 2(1):3-23.
(BibTeX)

Paper #25:

Presenter: Anseok Joo ([email protected])

Fine-grained mobility in the Emerald system.
Jul,, Eric , Levy,, Henry , Hutchinson,, Norman and Black,, Andrew (1988)
ACM Trans. Comput. Syst., 6(1):109-133.
((URL)) (BibTeX)

File Systems

Paper #26:

Presenter: Sapna Bedi ([email protected])

A fast file system for UNIX.
McKusick,, Marshall K. , Joy,, William N. , Leffler,, Samuel J. and Fabry,, Robert S. (1984)
ACM Trans. Comput. Syst., 2(3):181-197.
((URL)) (BibTeX)

11 - Mar. 16, 18

Paper #27:

Presenter: Shafiq Joty ([email protected])

The design and implementation of a log-structured file system.
Rosenblum,, Mendel and Ousterhout,, John K. (1992)
ACM Trans. Comput. Syst., 10(1):26-52.
((URL)) (BibTeX)

Paper #28:

Presenter: Jonathan MacDougall ([email protected])

Deciding when to forget in the Elephant file system.
Santry,, Douglas S. , Feeley,, Michael J. , Hutchinson,, Norman C. , Veitch,, Alistair C. , Carton,, Ross W. and Ofir,, Jacob (1999)
SIGOPS Oper. Syst. Rev., 33(5):110-123.
((URL)) (BibTeX)

Distributed File Systems

Paper #29:

Presenter: Dibesh Shakya (mailto: [email protected])

Frangipani: a scalable distributed file system.
Thekkath,, Ch, ramohan A. , Mann,, Timothy and Lee,, Edward K. (1997)
SIGOPS Oper. Syst. Rev., 31(5):224-237.
((URL)) (BibTeX)

Paper #30:

Presenter: Yongik Chung ([email protected])

A low-bandwidth network file system.
Muthitacharoen,, Athicha , Chen,, Benjie and Mazi\`{e}res,, David (2001)
In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles. New York, NY, USA. ACM, pages 174-187.
((URL)) (BibTeX)

12 - Mar. 23, 25

Transactions

TBD

TBD

13 - Mar. 30, Apr. 1

TBD

NO CLASS (Buck at EuroSys '2009)

14 - Apr. 6, Apr. 8

TBD

TBD


Reply via email to