 |
 |
 |
 |
 |
|||||||
Reading Technical Papers
You will need to write a 1 page summary for each (required) paper that you read. The summary must answer the below five questions (briefly).
- What is the problem that the authors are trying to solve?
- Why is the problem important?
- What is their approach and how is it original and innovative? (original - compare it against contemporary approaches).
- How is the approach evaluated?
- What are the simplifying assumptions?
- What are the strength and weaknesses of their solution?
- What are the results/impact of paper
- Why is this paper important?
- Did they solve the problem?
- Does it have an impact - is it still relevant? Why is it worth reading.
- What constructive criticism can you give to the presenter (e.g., would should have been included/excluded, make sure to address 'concepts' convered in the paper and relate how they were covered by the presenter).
Please don't comment much on the presenters style of speaking, focus on commenting on the 'content' or how well concepts were covered and possibly the organization of the talk?
Expectations: Some papers have links to their pdfs or ps versions of the paper as a courtesy, however you are expected on your own to find these papers either at the library or on the web. Please check access well before your presentation date (or writing your summary). As an incentive - you may post links to pdf/ps versions of the papers on the mailing list. The first person who posts a link to a 'missing' link paper below may get bonus added to their summary.
| Advice |
*** Butler Lampson. Hints for Computer System Design. In Proceedings of the Ninth Symposium on Operating Systems Principles, Bretton Woods NH, 33-48, October 1983.
J. Saltzer, D. Reed, and D. Clark. End-to-end Arguments in System Design. ACM Transactions on Computer Systems, 2(4):195-206, 1984.
Spencer Rugaber. How to Read a Research Paper.
| Michael J. Hanson and Dylan McNamee, Efficient Reading of Papers in Science and Technology. |
| Simon L Peyton Jones, John Hughes, and John Launchbury, How to give a good research talk. |
| John Ousterhout, How to give a bad talk. |
| Historical Perspective |
| E. W. Dijkstra. The Structure of the "THE" Multiprogramming System. Communications of the ACM, 11(5):341-346, May 1968. |
| Robert Goldberg. Survey of virtual machine research . IEEE Computer, 34-45, June 1974. |
| D. M. Ritchie and K. Thompson. The UNIX Time-Sharing System. Communications of the ACM, 17(7):365-375, July 1974. |
| OS Structures & Design |
Butler Lampson. Hints for Computer System Design. In Proceedings of the Ninth Symposium on Operating Systems Principles, Bretton Woods NH, 33-48, October 1983.
Richard P. Gabrie., Worse is Better. http://dreamsongs.com/WorseIsBetter.html
Brian Bershad et al. Extensibility, Safety and Performance in the SPIN Operating System. In Proceedings of the 15th ACM Symposium on Operating System Principles, December 1995.
Dawson R. Engler, Frans Kaashoek and James O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. In Proceedings of the 15th ACM Symposium on Operating System Principles, December 1995.
| J. Liedtke. On µ-kernel Construction. In Proceedings of the 15th ACM Symposium on Operating System Principles, December 1995. |
| Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield. Xen and the Art of Virtualization. SOSP, 2003 |
W. A. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The Kernel of a Multiprocessor Operating System. Communications of the ACM, 17(6):337-345, June 1974. |
| Processes and Communication |
| Andrew D. Birrell and Bruce Jay Nelson. Implementing Remote Procedure Calls. ACM Trans. on Computer Systems, 2(1):39-59, February 1984. |
| Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy. Lightweight Remote Procedure Call. ACM Trans. on Computer Systems, 8(1):37, February 1990. |
T. von Eicken, D. E. Culler, S. C. Goldstein, K. E. Schauser. Active Messages: A Mechanism for Integrated Communication and Computation. Proc. 19th ISCA, May 1992, pp. 256-266.k
D. Mosberger and L. Peterson, "Making Paths Explicit in the Scout Operating System," In Proceedings of the 1996 Symposium on Operating System Design and Implementation, October 1996, pp. 153-168.
Wallach, D.A., Hsieh, W.C., Johnson, K.K., Kaashoek, M.F., and Weihl, W.E., Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation, Proc. of ACM SIGPLAN Symposium on Principles qPractice of Parallel Programming (PPOPP), pp. 217-225, Jul. 1995
B. N. Bershad, T. E. Anderson, E. D. Lazowska and H. M. Levy, "User-level Interprocess Communication for Shared Memory Multiprocessors," ACM Transactions on Computer Systems, Vol. 9, No. 2, May 1991, pp. 175-198.
| Threads |
| Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric Brewer Capriccio: Scalable Threads for Internet Services. To appear, SOSP, 2003. |
John Ousterhout. Why threads are a bad idea (for most purposes). Invited talk at the 1996 USENIX Technical Conference, January 25, 1996.
| Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, Evangelos P. Markatos. First-class user-level threads . In Proceedings of the 13th ACM Symposium on Operating Systems Principles, Pacific Grove, CA, 110-121, 1991. |
Avadis Tevanian, Jr., Richard F. Rashid, David B. Golub, David L. Black, Eric Cooper, Michael W. Young, Mach Threads and the Unix Kernel: The Battle for Control CMU-CS-87-149, 1987
| Scheduling |
| Thomas Anderson, Brian Bershad, Edward Lazowska, and Henry Levy. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. ACM Trans. on Computer Systems, 10(1):53-79, Feburary 1992. |
| C A Waldspurger and W E Weihl, Lottery Scheduling: Flexible Proportional-Share Resource Management OSDI 94, 1994, pp 1 |
Banga, G., Druschel, P,. Mogul, J. Resource Containers: A New Facility for Resource Management in Server Systems, Proceedings of the Third Symposium on Operating System Design and Implementation (OSDI-III), New Orleans, LA, February, 1999, pages 45-58.
Andrea C. Arpaci-Dusseau, David E. Culler, Alan Mainwaring. Scheduling with Implicit Information in Distributed Systems Sigmetrics'98 Conference on the Measurement and Modeling of Computer Systems.
Mor Harchol-Balter and Allen B. Downey. Exploiting Process Lifetime Distributions for Dynamic Load Balancing, ACM Transactions on Computer Systems, 15(3):253-285, Aug. 1997.
D. Milojicic, F. Douglis, Y. Paindaveine, R. Wheeler, and S. Zhou. Process Migration, ACM Computing Surveys, 32(3),
M.L. Powell and B.P. Miller, Process Migration in DEMOS/MP, 9th Symposium on Operating Systems Principles, Bretton Woods, NH, October 1983, pages 110-119. Sept. 2000.
F Douglis and J K Ousterhout, Transparent Process Migration: Design Alternatives and the Sprite Implementation Software Practice and Experience, Vol 21, No 8, August 1991, pp 757-785.
S W Sherman, F Baskett, and J C Browne, Trace-Driven Modeling and Analysis of CPU Scheduling in a Multiprogramming System Communications of the ACM, Vol 15, No 12, December 1972
R. M. Fujimoto. Parallel Discrete Event Simulation. Communications of the ACM, 33(10), Oct. 1990.
| Synchronization |
C A R Hoare, Monitors: An Operating System Structuring Concept Communications of the ACM, Vol 17, No 10,, October 1974, pp 549-557.
| T. Anderson. The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors. IEEE Transactions on Parallel and Distributed Systems 1, 1 (January 1990), pp. 6-16. An earlier version appeared in Proc. 1989 International Conference on Parallel Processing (August 1989), and as University of Washington Technical Report 89-04-03 (April 1989). |
| Stefan Savage and Michael Burrows and Greg Nelson and Patrick Sobalvarro and Thomas Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997. |
H Massalin and C Pu, Threads and Input/Output in the Synthesis Kernel Proc 12th SOSP, December 1989, pp 191-200.
W. Lampson and D. D. Redell, Experiences with Process and Monitors in Mesa, Communications of the ACM, February 1980, pages 105-117.
Michael Greenwald and David R. Cheriton, The Synergy Between Non-blocking Synchronization and Operating System Structure. Proceedings of Operating Systems Design and Implementation. 1996, pages 123-136
B N Bershad, Practical Considerations for Non-Blocking Concurrent Objects Proc 13th Intl Conf on Distributed Computing Systems, May 1993
E G Coffman Jr, M J Elphick, and A Shoshani, System Deadlocks Computing Surveys, Vol 3, No 2, June 1971, pp 67-78.
| Memory Management |
| R. C. Daley and J. B. Dennis. Virtual Memory, Processes, and Sharing in MULTICS. Communications of the ACM, 11(5):306-31, May 1968. |
Levy, H.M., and Lipman, P.H. Virtual Memory Management in the VAX/VMS Operating System. Computer, 15(3):35-41, March 1982. (Science 3rd floor, TK7885 .A1 I58)
Young, M.. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. In Proceedings of the 11th Symposium on Operating Systems Principles 63-76, November 1987
Vivek Pai, Peter Druschel and Willy Zwaenepoel. IO-Lite: A Unified I/O Buffering and Caching System. ACM Transactions on Computer Systems, 18(1):37-66, 2000.
K Harty and D Cheriton, Application-Controlled Physical Memory using External Page-Cache Management Proc 5th ASPLOS, October 1992, pp 187-199.
Jeffrey S. Chase and Henry M. Levy and Michael J. Feeley and Edward D. Lazowska. Sharing and Protection in a Single-Address-Space Operating System. ACM Transactions on Computer Systems, 12(4), November 1994, pp. 271-307.
| Patterson, R. H., Gibson, G. A., Ginting, E., Stodolsky, D., and Zelenka, J. Informed Prefetching and Caching Proceedings of the 15th Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995, pp. 79-95. |
| File Systems |
| Rosenblum, M., and Ousterhout, J.K. The Design and Implementation of a Log-Structured File System. ACM Transactions on Computer Systems, 8(1):26-52, February 1992. |
Michael Dahlin, Thomas Anderson, David Patterson, and Randolph Wang Cooperative Caching: Using Remote Client Memory to Improve File System Performance, Operating Systems Design and Implementation, 267-280, 1994
| John H. Hartman and John K. Ousterhout. The Zebra Striped Network File System, ACM Transactions on Computer Systems 13, 3, August 1995, 279-310. |
Marshall K. McKusick, William N. Joy, Samuel J. Leffler, and Robert S. Fabry. A Fast File System for UNIX. ACM Trans. on Computer Systems, 2(3):181-197, August 1984.
R Hagmann, Reimplementing the Cedar File System Using Logging and Group Commit Proc of 11th SOSP, Operating System Review, Vol 21, No 5, November 1987, pp 115-162.
Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung. The Google File System, To appear, SOSP 2003.
| I/O Systems |
| D. Patterson, G. Gibson, and R. Katz. A Case for Redundant Arrays of Inexpensive Disks (RAID). In Proceedings of the 1988 ACM SIGMOD Conference on Management of Data, Chicago, IL, 109-116, June 1988. |
| C Ruemmler and J Wilkes, An Introduction to Disk Drive Modeling IEEE Computer, Vol 27 No 3, 1994, pp 17-29. |
J Wilkes, R Golding, C Staelin and T Sullivan, The HP AutoRAID Hierarchical Storage System Proc 15th SOSP, 1995, pp 96-108.
P M Chen, E K Lee, G A Gibson, R H Katz and D A Patterson, RAID: High-Performance, Reliable Secondary Storage ACM Computing Surveys, Vol 26, No 2, June 1994, pp 145-185.
| Distributed Systems |
| M. N. Nelson, B. B. Welch, and J. K. Ousterhout. Caching in the Sprite Network File System. ACM Transactions on Computer Systems, 6(1):134-154, February 1988. |
Thomas E. Anderson, Michael D. Dahlin, Jeanna M. Neefe, David A. Patterson, Drew S. Roselli, and Randolph Y. Wang. Serverless network file systems. In Proceedings of the 15th Symposium on Operating Systems Principles, pages 109-126, Copper Mountain Resort, Colorado, December 1995. ACM
Distributed Shared Memory
-
Michael J. Feeley, William E. Morgan, Frederic H. Pighin, Anna R. Karlin, Henry M. Levy
Implementing Global Memory Management in a Workstation Cluster
Symposium on Operating Systems Principles 1995
| Pete Keleher, Alan L. Cox, Sandhya Dwarkadas, Willy Zwaenepoel, TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems Proc. of the Winter 1994 USENIX Conference |
K Li and P Hudak, Memory Coherence in Shared Virtual Memory Systems ACM Trans. Computer Systems Vol 7, No 4, Nov 1989, pp 321-359.
J Carter, J Bennett and W Zwaenepoel, Implementation and Performance of Munin Proceedings of the 13th SOSP, Oct 1991, pp 152-164.
Event Ordering, Clock, Time
-
Leslie Lamport. Time, Clocks, and
the Ordering of Events in a Distributed System.
Communications of the ACM, 21(7):558-565, Jul. 1978.
D L Mills, Internet Time Synchronization: the Network Time Protocol IEEE Transactions on Communications, vol. 39, no. 10, Oct. 1991, .
K. M. Chandy and L. Lamport, Distributed Snapshots: Determining Global States of Distributed Systems, ACM Transactions on Computer Systems, February 1985, pages 63-75.
| Wide Area Systems -- Storage/Web OS |
Yasushi Saito, Christos Karamanolis, Magnus Karlsson, and Mallik Mahalingam. Taming Aggressive Replication in the Pangaea Wide-Area File System. OSDI, 2002.
Amin Vahdat, Thomas Anderson, Michael Dahlin, David Culler, Eshwar Belani, Paul Eastham, and Chad Yoshikawa. WebOS: Operating System Services For Wide Area Applications,'' July 1998. The Seventh IEEE Symposium on High Performance Distributed Computing--Postscript. (system model)
| John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishan Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Zhao, OceanStore: An architecture for global-scale persistent storage, Proceedings of the Ninth international Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000), November 2000. |
Ian Foster and Carl Kesselman, Globus: A Metacomputing Infrastructure Toolkit. International Journal of Supercomputer Applications11(2):115-128, 1997 (system model) J. Carter, A. Ranganathan, and S. Susarla. Khazana: An Infrastructure for Building Distributed Services, In the Proceedings of the 18th Annual International Conference on Distributed Computing Systems, pp. 562--571, May 1998.
| S.D. Gribble and E.A. Brewer. System Design Issues for Internet Middleware Services: Deductions from a Large Client Trace. In Proceedings of the 1997 Usenix Symposium on Internet Technologies and Systems (USITS 97), Dec 1997. (workloads) |
S.D. Gribble, M. Welsh, E.A. Brewer, and D. Culler. The MultiSpace: an Evolutionary Platform for Infrastructural Services, In the Proceedings of the 1999 Usenix Annual Technical Conference, June 1999.
A. Grimshaw, A. Ferrari, F. Knabe, and M. Humphrey. Legion: An Operating System for Wide-Area Computing, University of Virginia Technical Report No. CS-99-12. (system model)
D. Wetherall, Active Network Vision and Reality: Lessions Form a Capsule-Based System, In the Proceedings of the 17th Symposium on Operating Systems Principles (SOSP '99), pp. 64-79, Dec 1999.
| Power and Energy |
| Jason Flinn and M. Satyanarayanan, Energy-aware Adaptation for Mobile Applications . Proceedings of the 17th ACM Symposium on Operating Systems Principles, December, 1999. |
| Robin Kravets and P. Krishnan, Power Management Techniques for Mobile Communication. MOBICOM 1998: 157-168 |
A. Vahdat, A. R. Lebeck, C. S. Ellis, Every Joule is Precious: The Case for Revisiting Operating System Design for Energy Efficiency . 9th ACM SIGOPS European Workshop, September 2000.
Maria Papadopouli and Henning Schulzrinne. "Effects of power conservation, wireless coverage and cooperation on data dissemination among mobile devices", ACM SIGMOBILE Symposium on Mobile Ad Hoc Networking & Computing (MobiHoc) 2001, October 4-5, 2001, Long Beach, California. (Extension of the Sarnoff paper.)
Heng Zeng, Carla S. Ellis, Alvin R. Lebeck, Amin Vahdat ECOSystem: Managing Energy as a First Class Operating System Resource ASPLOS-X, 200
| Protection and Security |
| Steiner, J.G., Neuman, C., and Schiller, J.I., Kerberos: An Authentication Service for Open Network Systems. USENIX Winter Conference Proceedings, February 1988, pp. 191-202. (Practice) |
| R. L. Rivest, A. Shamir and L. Adleman. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems Communications of the ACM, 21(2), Feburary, 1978, pp. 120-126k (Theory) |
Needham, R.M. and Schroeder, M.D., Using Encryption for Authentication in Large Networks of Computers Communications of the ACM, Vol. 21, No. 12 (December 1978), pp. 993-999.
Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham Efficient Software-Based Fault Isolation ACM SIGOPS Operating Systems Review 1993
Lampson, B., Abadi, M., Burrows, M., and Wobber, E., Authentication in Distributed Systems: Theory and Practice. Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, Operating Systems Review, Vol. 25, No. 5, Pacific Grove, California, October 1991, pp. 165-182.
Jerome H. Saltzer and Michael D. Schroeder The Protection of Information in Computer Systems, Proceedings of the IEEE, Vol. 63, No. 9 (September 1975), pp. 1278-1308.
Anderson, R.J.,
Why Cryptosystems Fail,
Communications of the ACM, Vol. 37, No. 11, November 1994.