Operating Systems Techniques

COP 6614 - Operating Systems Techniques

Fall 2005
T R 4:30 - 5:45 p.m.
ENG2 105

Instructor: Euripides Montagne

Fundamentals of Distributed Systems
Hoare, C.A.R., J.Communicating Sequential Processes, Communications of the ACM, August 1978, pp. 666-677.
(Charles Ahern - September 13th) Presentation


Lauer, H.C., and Needham, R. M.,,On the Duality of Operating System Structures, Proc. Second Int'l Symposium on Operating Systems, IRIA, October 1978, reprinted in Operating Systems Review, Vol. 13, No. 2, April 1979, pp. 3-19
(Tracy Wagner - September 13th) Presentation


Birrell, A.D. and Nelson, B. J.,Implementing Remote Procedure Calls, ACM Transactions on Computer Systems, February 1984, pages 39-59.
(Xingbo Gao - September 15th) Presentation

Lamport, L.,, Time, Clocks, and the Ordering of Events in a Distributed System, Communications of the ACM, July 1978, pages 558-565
(Mark Colbert - September 15th) Presentation

Ricart, G. and Agrawala, A. K.,, An Optimal Algorithm for Mutual Exclusion in Computer Networks, Communications of the ACM, January 1981, pages 9-17
(Rosa Enciso - September 20th) Presentation

Lamport, L., Shostak, R., and Pease, M., The Byzantine Generals Problem, ACM Transaction on Programming Languages and Systems, July 1982, pp. 382-401.
(Aasavari Bhave - September 20th) Presentation

Bartlett, J. F., A Nonstop Kernel, In Proceedings of the 8th ACM Symposium on Operating Systems Principles, Dec. 1981, pp. 22-29.
(Luke Lavesque - September 22nd) Presentation

Douglis, F., Kaashoek, M.F., Ousterhout, J. K., and Tanebaum, A. S. A Comparison of Two Distributed Systems: Amoeba and Sprite , Computing Systems, December 1991, pp. 353-384.
(Sbramaniam Subramaniam - September 22nd) Presentation
Protection

Schroeder, M. D. and Saltzer, J. H. , A Hardware Architecture for Implementing Protection Rings, Communications of the ACM 15(3), March 1972, pp. 157-170.
(Gaelen Hadlett - September 27th) Presentation

INTEL , Pentium Protection Rings, Architecture and Programming Manual Vol. 3, Chapter 12, 1995, pp. 12-1 to 12-27.
(Poonam Hajgude - September 27th) Presentation

Dennis, J. B. and Van Horn, E. C., Programming Semantics for Multiprogrammed Computations, Communications of the ACM 9(3), March 1974, pp. 143-155.
(Scott Roffman - October 4th)

Fabry, R. S., Capability-Based Addressing, Communications of the ACM 17(7), July 1974, pp. 403-412.
(Luiz Vazquez - October 4th) Presentation

England, D.M., The Capability Concept Mechanism and Structure in System 250, IRIA International Workshop on Protection in Operating Systems, Rocquencourt, (1974), pp. 63-82.
(Hua Zhang - October 6th) Presentation


Cohen, E. and Jefferson, D., Protection in The Hydra Operating System, Proceedings of the fifth ACM symposium on Operating systems principles, June 1975, pp. 141-160.
(Shafaq Bashir Chaudhry - October 6th) Presentation

EXAM REVIEW - OCT 11TH

MIDTERM EXAM - OCT 13TH

Performance Evaluation

Case Study I: A database Service, Performance by Design by D.A. Menasce, V. F. Almeida, and L.W. Dowdy , Prentice Hall, 2004.
(Manjula Babaladi - October 18th)

Case Study II: A Web Server,Performance by Design by D.A. Menasce, V. F. Almeida, and L.W. Dowdy , Prentice Hall, 2004.
(Sloban Stipic - October 18th)

Case study III: A Data Center, Performance by Design by D.A. Menasce, V. F. Almeida, and L.W. Dowdy , Prentice Hall, 2004.
(Rupesh Jain - October 20th)

Case study IV: An E-Business Service, Performance by Design by D.A. Menasce, V. F. Almeida, and L.W. Dowdy , Prentice Hall, 2004.
(Mohammed Haroon Shariff - October 20th)

Griffin, J.L., Schlosser, S.W., Ganger, G.R. and Nagle Operating System Management of MEMS-based Storage Devices, D.F. Proceedings 4th Symposium on Operating Systems Design & Implementation (OSDI 2000), San Diego, CA, October 23-25, 2000.
(Suchandra Goswami - October 25th)

David Lie, Chandramohan Thekkath and Mark Horowitz. Implementing an Untrusted Operating System on Trusted Hardware. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP 2003). October, 2003.
(Jingfei Kong - October 25th )

Ghemawat, S., Gobioff, H., and Leung, S. The Google file system, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 2003, pp. 29-43.
(Stuart Hosler - October 27th)

Hibernator: Helping Disk Arrays Sleep Through the Winter. Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou (University of Illinois at Urbana-Champaign), Kimberly Keeton, John Wilkes (Hewlett-Packard Laboratory,Proceedings of the 20th ACM symposium on Operating systems principles, October 2005.
(Anirban Bag - October 27th)

Connections: Using Context to Enhance File Search. Craig Soules, Greg Ganger, Proceedings of the 20th ACM symposium on Operating systems principles, October 2005.
(Sahaib ur Rehman - Nov 1st)