Unibo Logo

Sistemi Operativi
2016-2017

Renzo Davoli

 
 Home
 Informazioni generali
 Sistemi Operativi
 Attività di Laboratorio
 Materiale
 Studenti AA passati

Articoli da Leggere

Historical Perspective

"Protection and the Control of Information Sharing in Multics", by Jerome H. Saltzer, Communications of the ACM, 17(7), July 1974. Full paper

"The UNIX Timesharing System", by Dennis M. Ritchie and Ken Thompson, Communications of the ACM, 17(7), July 1974. Full paper

"HYDRA: The Kernel of a Multiprocessor Operating System", by W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack, Communications of the ACM, 17(6), June 1974. Full paper

Threads, Concurrency and Synchronization

"An introduction to programming with threads", by A. Birrell, No. 35, DEC SRC, January 1989. Full paper

"Monitors : An operating system structuring concept.", by C. A. R. Hoare, Communications of the ACM, No. 17, 1974, 549-557. Full paper

"Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism", by T. Anderson, B. Bershad, E. D.Lazowska, H. Levy, ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, 53--79. Full paper

"Why threads are a bad idea (for most purposes)", by J. Ousterhout, Invited Talk at 1995 Usenix Technical Conference, 1995. Full paper

"Capriccio: scalable threads for internet services", by R. Behren, J. Condit, F. Zhou, G. Necula, E. Brewer, Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, 2003, 268--281. Full paper

"Lazy Asynchronous I/O for Event-Driven Servers", by A. Chanda, A. Cox, K. Elmeleegy, W. Zwaenepoel, Proceedings of 2004 USENIX Annual Technical Conference, 2004. Full paper

Event-Based Systems

"SEDA: an architecture for well-conditioned, scalable internet services", by M. Welsh, D. Culler, E. Brewer, Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, 2001, 230--243. Full paper

"Why Events Are a Bad Idea for High-Concurrency Servers", by R. Behren, J. Condit, E. Brewer, Proceedings of HotOS III the Ninth Workshop on Hot Topics in Operating Systems, 2003, 19-24. Full paper

Remote Procedure Call

"Implementing remote procedure calls", by A. Birrell, B. Nelson, ACM Transactions on Computer Systems, Vol. 2, No. 1, 1984, 39--59. Full paper

Extensibility via Hardware-Based Protection

"Mach: A New Kernel Foundation for Unix Development", by M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, M. Young, Proceedings of the Summer USENIX Conference, 1986, pp. 93--113. Full paper

"Improving IPC by kernel design", by J. Liedtke, Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, 1993, 175--188. Full paper

"The Performance of Micro-Kernel Based Systems", by H. Haertig, M. Hohmuth, J. Liedtke, S. Schoenberg, Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997. Full paper

Extensibility via Software-Based Protection

"Efficient software-based fault isolation", by R. Wahbe, S. Lucco, T. Anderson, S. Graham, Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, 1993. Full paper

"Extensibility, Safety and Performance in the SPIN Operating System", by B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, S. Eggers, C. Chambers, Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, 1995. Full paper

Virtualization

"Disco: Running Commodity Operating Systems on Scalable Multiprocessors", by E. Bugnion, S. Devine, K. Govil, M. Rosenblum, ACM Transactions on Computer Systems, Vol. 15, No. 4, 1997, 412--447. Full paper

"Xen and the Art of Virtualization", by P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, A. Warfield, Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, October 2003, 164--177. Full paper

Applications of Virtualization

"ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay.", by G. Dunlap, S. King, S. Cinar, M. Basrai, P. Chen, Proceedings of Fifth USENIX Symposium on Operating Systems Design and Implementation, 2002. Full paper

"Debugging operating systems with time-traveling virtual machines", by S. King, G. Dunlap, P. Chen, Proceedings of 2005 USENIX Annual Technical Conference, 2005. Full paper

Real-Time

"Soft timers: efficient microsecond software timer support for network processing", by M. Aron, P. Druschel, ACM Transactions on Computer Systems, Vol. 18, No. 3, 2000, 197--228. Full paper

"Supporting time-sensitive applications on general-purpose operating systems", by A. Goel, L. Abeni, C. Krasic, J. Snow, J. Walpole, Proceedings of Fifth USENIX Symposium on Operating Systems Design and Implementation, Dec 2002. Full paper

P2P

"Chord: A scalable peer-to-peer lookup service for internet applications", by I. Stoica, R. Morris, D. Karger, M. Kaashoek, H. Balakrishnan, Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, 2001, 149--160. Full paper

"Pastry: Scalable, decentralized object location and routing for large-scale peer-to-peer systems", by Antony Rowstron and Peter Druschel, Proceedings of the 18th IFIP/ACM International Conference on Distributed Systems Platforms (Middleware 2001), 2001, 329--350. Full paper

Distribution

"The LOCUS distributed operating system", by B. Walker, G. Popek, R. English, C. Kline, G. Thiel, Proceedings of the Ninth ACM Symposium on Operating Systems Principles, 1983. Full paper

"Experience with Grapevine: the growth of a distributed system", by M. Schroeder, A. Birrell, R. Needham, ACM Transactions on Computer Systems, Vol. 2, No. 1, 1984, 3--23. Full paper

"Fine-Grained Mobility in the Emerald System", by E. Jul, H. Levy, N. Hutchinson, A. Black, ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, 109--133. Full paper

File Systems

"A Fast File System for UNIX", by M. McKusick, W. Joy, S. Leffler, R. Fabry, Computer Systems, Vol. 2, No. 3, 1984, 181-197. Full paper

"The Design and Implementation of a Log-Structured File System", by M. Rosenblum, J. Ousterhout, ACM Transactions on Computer Systems, Vol. 10, No. 1, 1992, 26--52. Full paper

"Scale and Performance in a Distributed File System", by John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Satyanarayanan, Robert N. Sidebotham, and Michael J. West, ACM Transactions on Computer Systems, 6(1), 1988, 51--81. Full paper

"Disconnected Operation in the Coda File System", by James J. Kistler and M. Satyanarayanan, ACM Transactions on Computer Systems, 10(1), 1992, 3--25. Full paper

"Deciding when to forget in the Elephant file system", by D. Santry, M. Feeley, N. Hutchinson, A. Veitch, R. Carton, J. Ofir, Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles, 1999. Full paper

"Frangipani: A Scalable Distributed File System", by C. Thekkath, T. Mann, E. Lee, Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997. Full paper

"A Low-Bandwidth Network File System", by A. Muthitacharoen, B. Chen, D. Mazieres, Proceedings of the eighteenth ACM symposium on Operating systems principles, 2001, 174-187. Full paper

"The Google File System", by Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung, Proceedings of the ninteenth ACM Symposium on Operating systems principles, 2003, 29-43. Full paper

Security

"A Logic of Authentication", by Michael Burrows and Martin Abadi, ACM Transactions on Computer Systems, 8(1), 1990, 18--36. Full paper

"Beyond Stack Smashing: Recent Advances in Buffer Overruns", by Jonathan Pincus and Brandon Baker, IEEE Security and Privacty, 2004. Full paper

"On the Effectiveness of Address-Space Randomization", by Shacham, Page, Pfaff, Goh, Modadugu and Boneh, Conference on Computer and Communications Security, 2004. Full paper

"Scalability, Fidelity, and Containment in the Potemkin Virtual Honeyfarm", by Vrable, Ma, Chen, Moore, Vandekieft, Snoeren, Voelker, and Savage, Symposium on Operating Systems Principles, 2005. Full paper

Concurrency and Scheduling

" Threads and Input/Output in the Synthesis Kernel ", by H. Massalin, and C. Pu Proceedings of the 12th ACM Symposium on Operating Systems Principles, December 1989, pp. 191-200 full paper

" Metascheduling for Continuous Media ", by D.P. Anderson ACM Transactions on Computer Systems Vol. 11, No. 3 (August 1993), pp. 226-253 full paper

" Lottery Scheduling: Flexible Proportional Share Resource Management ", by C. Waldspurger, and W. Weihl Proceedings of the First Symposium on Operating Systems Design and Implementation November 1994, pp. 1-12 full paper

Communications:Local and Remote

" RPC in the x-Kernel: Evaluating New Design Techniques ", by L. Peterson, N. Hutchinson, S. O'Malley, and M. Abbott Proceedings of the 12th ACM Symposium on Operating Systems Principles December 1989, pp. 91-101 full paper

" Lightweight Remote Procedure Call ", by B.N. Bershad, T.E. Anderson, E.D. Lazowska, and H.M. Levy ACM Transactions on Computer Systems Vol. 8, No. 1 (Feb 1990), pp. 37-55 full paper

" Active Messages: A Mechanism for Integrated Communication and Computation ", by T. von Eicken, D.E. Culler, S.C. Goldstein, and K.E. Schauser Proceedings of the Nineteenth Annual International Symposium on Computer Architecture May 1992, pp. 256-266 full paper

File Systems

" Design and Implementation of the Sun Network Filesystem ", by R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon USENIX Summer Conference Proceedings June 1985, pp. 119-130 full paper

" Caching in the Sprite Network File System ", by M.N. Nelson, B.B. Welch, and J.K. Ousterhout ACM Transactions on Computer Systems Vol. 6, No. 1 (Feb 1988), pp. 134-154 full paper

" Measurements of a Distributed File System ", by M.G. Baker, J.H. Hartman, M.D. Kupfer, K.W. Shirriff, and J.K. Ousterhout Proceedings of the 13th ACM Symposium on Operating Systems Principles October 1991, pp. 198-212 full paper

" The Zebra Striped Network File System ", by John H. Hartman, and John K. Ousterhout Proceedings of the 14th ACM Symposium on Operating Systems Principles December 1993, pp. 29-43 full paper

" Serverless Network File Systems ", by Thomas E. Anderson, Michael D. Dahlin, Jeanna M. Neefe, David A. Patterson, Drew S. Roselli, and Randolph Y. Wang ACM Symposium on Operating Systems Principles (1995) full paper

Virtual Memory

" Virtual Memory, Processes, and Sharing in MULTICS ", by Robert C. Daley, and Jack B. Dennis Communications of the ACM Vol. 11, No. 5 (May 1968), pp. 306-312 full paper

" The MULTICS Virtual Memory: Concepts and Design ", by A. Bensoussan, C. Clingen, and R. Daley Communications of the ACM Vol. 15, No. 5 (May 1972), pp. 308-318 full paper

Multiprocessors

" Simple But Effective Techniques for NUMA Memory Management ", by W. Bolosky, R. Fitzgerald, and M. Scott Proceedings of the 12th ACM Symposium on Operating Systems Principles December 1989, pp. 19-31 full paper

Protection and Security

" A Hardware Architecture for Implementing Protection Rings ", by M.D. Schroeder, and J.H. Saltzer Communications of the ACM Vol. 15, No. 3 (March 1972), pp. 157-170 full paper

" The Protection of Information in Computer Systems ", by Jerome H. Saltzer and Michael D. Schroeder Proceedings of the IEEE Vol. 63, No. 9 (September 1975), pp. 1278-1308 full paper

" Kerberos: An Authentication Service for Open Network Systems ", by J.G. Steiner, C. Neuman, and J.I. Schiller USENIX Winter Conference Proceedings Feb 1988, pp. 191-202 full paper

OS Structure

" The Structuring of Systems Using Upcalls ", by D.D. Clark Proceedings of the 10th ACM Symposium on Operating Systems Principles December 1985, pp. 171-180 full paper

" Why Aren't Operating Systems Getting Faster as Fast as Hardware? ", by J.K. Ousterhout USENIX Summer Conference Proceedings June 1990, pp. 247-256 full paper

Specific OS's

" Survey of Virtual Machine Research ", by Goldberg, R.P. IEEE Computer Vol. 7, No. 6 (June 1974), pp. 34-45 full paper

" Amoeba: A Distributed Operating System for the 1990s ", by S.J. Mullender, G. van Rossum, A.S. Tanenbaum, R. van Renesse, and H. van Staveren IEEE Computer Vol. 23, No. 5 (May 1990), pp. 44-53 full paper

" Overview of the Chorus Distributed Operating System ", by M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. L´┐Żonard, W. Neuhauser Proceedings of the USENIX Workshop on Micro-kernels and Other Kernel Architectures April 1992, pp. 39-70 full paper

" Plan 9 from Bell Labs ", by Rob Pike, Dave Presotto, Ken Thompson, and Howard Trickey Proceedings of the UKUUG Summer 1990 Conference 1990 full paper

Thanks to prof.Norman C. Hutchinson University of British Colombia for the selection of papers (in green) and Thanks to Prof. Ben Y. Zhao, Computer Science Dept @ UCSB for the selection of papers (in blue)