B. N. Bershad
S. Savage
E. G. Sirer
S. Eggers
- Abrossimov et al 89.Abrossimov, V., Rozier, M., and Shapiro, M. Generic Virtual Memory Management for Operating System Kernels. In Proceedin.qs of the Thirteenth A CM Symposium on Operating Systems Principles, pages 123- 136, Litchfield Park, AZ, December 1989.]] Google Scholar
Digital Library
- Anderson et al 91.Anderson, T. E., Levy, H. IVl., Bershad, B. N., and Lazowska, E. D. The Interaction of Architecture and Operating System Design. In Proceedings of the Fourih lnternatzonaI Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS- IV), pages 108-120, Santa Clara, CA, April 1991.]] Google ScholarDigital Library
- Anderson et al 92.Anderson, T. E., Bershad, B. N., Lazowska, E. D., and Levy, H. M. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. A C3I Transactions on Computer Systems, 10(1):53-79, February 1992.]] Google ScholarDigital Library
- Appel & Li 91.Appel, W. and Li, K. Virtual Memory Primitives for User Programs. In Proceedings of the Fourth InternaIionat Co~.ferenc6 on Archztecturat Support for Programming Lan#ua#es and Operatzng Systems (ASPLOS- IV), pages 96-107, Santa Clara, CA, April 1991.]] Google ScholarDigital Library
- Bala et al 94.Bala, K., Kaashoek, M. F., and Weiht, W. E. Software Prefetching and Caching for Translation Looksside Buffers. In Proceedings of the F~rst USENIX Symposmm on Operating Systems Deswn and Implementation (OSDI), pages 243-253, Monterey, CA, November 1994.]] Google ScholarDigital Library
- Balakrishnan et al 95.Balakrishnan, H., Seshan, S., Amir, E., and Katz., R. H. Improving TCP/IP Performance over Wireless Networks. In Proceedings o} the Fzrst A GMr Conference on Ajrobzle Computing and Networkzng, November 1995.]] Google ScholarDigital Library
- Barrera 91.Barrera, J. S. A Fast Mach Network IPC Implementation. In Proceedings of the Second USENLY Mach Symposium, pages 1-11, Monterey, CA, November 199t.]]Google Scholar
- Bartlett 88.Bartlett, J. F. Compacting Garbage Collection with Ambiguous Roots. Technical Report WRL-TR-88-2, Digital Equipment Corporation Western Research Labs, February 1988.]]Google ScholarDigital Library
- Berners-Lee et al 94.Berners-Lee, T., Cailliau, R., Luotonen, A., Nielsen, H. F., and Secretr, A. The World-Wide Web. Communicatzons o.f the A CM, 37(8):76-82, August 1994.]] Google ScholarDigital Library
- Bershad 93.Bershad, B. N. Practical Considerations for Non- Blocking Concurrent Objects. In Proceedzngs of the Thirteenth {nternalionaI Conference on D~stributed Comp~ttznq Systems, pages 264-274, Pittsburgh, PA. May 1993.]]Google Scholar
- Bershad et al 90.Bershad, B. N., Anderson, T. E., Lazowska, E. D., and Levy, H. M. Lightweight Remote Procedure Call. ACAI Transactions ca Computer Systems, 8(1):37- 55, February 1990.]] Google ScholarDigital Library
- Bershad et al 92a.Bershad, B. N., Draves, R. P., and Forth, A. Using Microbenchmarks to Evaluate System Performance. In Proceedings of the Third Workshop on Workstatzon Operating Systems, pages 148-153, Key Biscayne, FL, April 1992.]]Google ScholarCross Ref
- Bershad et al 92b.Bershad, B. N., Redell, D. D., and Ellis, J. R. Fast Mutual Exclusion for Uniprocessors. In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pages 223-233, Boston, MA, October 1992.]] Google ScholarDigital Library
- Black et al 92.Black, D. L. et al. Microkernel Operating System Architecture and Mach. In Proceedings of ~he USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 11-30, Seattle, WA, April 1992.]] Google ScholarDigital Library
- Bricker et al 91.Bricker, A., Gien, M., Guillemont, M., Lipkis, J., Orr, D., and Rozier, M. A New Look at Microkernel-based UNIX Operating Systems: Lessons in Performance and Compatibility. In Proceedings of the E urOpen Sprang'91 Conferer~ce, Tromsoe, Norway, May 1991.]]Google Scholar
- Brockschmidt 94.Brockschmidt, K. Inszde OLE 2. Microsoft Press, 1994.]]Google Scholar
- Brustoloni & Bershad 93.Brustoloni, J. C. and Bershad, B. N. Simple Protocol Processing for High-Bandwidth Low- Latency Networking. Technical Report CMU-CS-93-132, Carnegie Mellon University, March 1993.]]Google Scholar
- Cao et al 94.Cao, P., Felten, E. W., and Li, K. Implementation and Performance of Application-Controlled File Caching. In Proceedings of the First USEN{X Symposium on Operating Systems Deszgn and Implementatzon (OSDt), pages 165-177, Monterey, CA, November 1994.]] Google ScholarDigital Library
- Carter et al 91.Carter, J. B., Bennett, J. K., and Zwaenepoel, W. Implementation and Performance of Munin. In Proceedzngs of the Thirteenth A CM Symposium on Operating Systems Princzples, pages 152-64, Pacific Grove, CA, October 1991.]] Google ScholarDigital Library
- Carter et al 94.Carter, N. P., Keckler, S. W., and Daily, ~V. J. Hardware Support for Fast Capability-Based Addressing. In Proceedzngs of the Sizth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VI), pages 319-327, San Jose, CA, October 1994.]] Google ScholarDigital Library
- Chankhunthod et al 95.Chankhunthod, A., Danzig, P., Neerdaels, C., Schwartz, M., and Worrell, K. A Hierarchical Internet Object Cache. Technical Report CU-CS-766-95, DCS University of Colorado, July 1995.]]Google ScholarCross Ref
- Chen & Bershad 93.Chen, J. B. and Bershad, B. N. The Impact of Operating System Structure on Memory System Performance. In Proceedings of the Fourteenth A CM Symposium on Operating Systems Pr~nc~ples, pages 120-133, Asheville, NC, December 1993.]] Google ScholarDigital Library
- Cheriton & Duda 94.Cheriton, D. R. and Duds, K.J. A Caching Model of Operating System Kernel Functionality. In Proceedzng3 of the F~rst USENL~ Sympos~tm on Operatzng Systems Deswn and Implementation (OSDI), pages 179-194, Monterey, CA, November 1994.]] Google ScholarDigital Library
- Cheriton & Zwaenepoel 83.Cheriton, D. R. and Zwaenepoel. W. The Distributed V Kernel and its Performance for Diskless Workstations. In Proceedings of the Ninth A CM Sym~ possum on Operatzng Systems Pr,nc,ptts, pages 129-140, Bretton Woods, NH, October 1983.]] Google ScholarDigital Library
- Colwell 85.Cotwell, R. The Performance Effects of Functional Migration and Architectural Complexity in Object- Oriented Systems. Technical Report ClXlU-CS-85-159, Carnegie Mellon University, August 1985.]] Google ScholarDigital Library
- Cooper & Draves 88.Cooper, E. C. and Draves, R.P. C Threads. Technical Report CMU-CS-88-154, Carnegie Melton University, June 1988.]]Google Scholar
- Cooper et al 91.Cooper, E., Harper, R., and Lee, P. The Fox Project: Advanced Development of Systems Software. Technical Report CMU-CS-91-178, Carnegie Mellon University, August 1991.]]Google Scholar
- Davis et al 93.Davis, P.-B., McNamee, D., Vaswani, R., and Lazowska, E. Adding Scheduler Activations to Mach 3.0. In Proceedings of the Third USENIX Much Symposium, pages 119-136, Santa Fe, NM, April 1993.]] Google ScholarDigital Library
- Dig 93.Digital Equipment Corporation. DEC 0S~/1 Writing Device Drivers: Advanced Topics, 1993.]]Google Scholar
- Draves 93.Draves, R. The Case for Run-Time Replaceable Kernel Modules. In Proceedings of the Fourth Workshop on Workstation Operatzng Systems, pages 160-164, Naps, CA, October 1993.]]Google Scholar
- Draves 94.Draves, R. P. Control Transfer in Operating System Kernels. Technical Report CMU-CS-94-142, Carnegie Mellon University, May 1994.]]Google Scholar
- Draves et al 91.Draves, R. P., Bershad, B. N., Rashid, R. F., and Dean, R. W. Using Continuations to Implement Thread Management and Communication in Operating Systems. In Proceedings of the Thirteenth A CM Symposzum on Operat2ng Systems Princzples, pages 122-136, Pacific Grove, CA, October 1991.]] Google ScholarDigital Library
- Engler & Kaashoek 95.Engler, D. and Kaashoek, M. F. Exterminate All Operating System Abstractions. In Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, pages 78-83. Orcas Island, ;VA, May 1995.]] Google ScholarDigital Library
- Engler & Proebsting 94.Engler, D. R. and Proebsting, T. A. DCG: An Ef~cient, Retargettable Dynamic Code Generation System. In Proceedings of the S~.xth International Con- .ference on Architectural Support for Programming Languages and Operatzng Systems (ASPLOS-VI), pages 263- 272, San Jose, CA, October 1994.]] Google ScholarDigital Library
- Engler et al 94.Engler, D., Kaashoek, M. F., and O'Toole, J. The Operating System Kernel as a Secure Programmable Machine. In Proceedings of the 199j A CM European SIGOPS Wo rksh op, September 1994.]] Google ScholarDigital Library
- Engler et al 95.Engler, D. R., Kaashoek, M. F., and Jr, J. O. Exokernel: An Operating System Architecture for Application-Level Resource Management. In Proceedings of ?he Fifteenth A C11I Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995.]] Google ScholarDigital Library
- Fall & Pasquale 94.Fall, K. and Pasquale, J. Improving Continuous-Media Playback Performance with In-Kernel Data Paths. In Proceedings of the F~rst IEEE International Conference on Al~Itimedia Compu, ting and Systems, pages 100-109, Boston, MA, May 1994.]]Google ScholarCross Ref
- Felten 92.Felten, E. W. The Case for Application-Specific Communication Protocols. In Intel Supercomp~ter Systems Technology Focus Conference, pages 171-181, April 1992.]]Google Scholar
- Fiuczynski & Bershad 96.Fiuczynski, M. and Bershad, B. An Extensible Protocol Architecture for Application-Specific Networking. In Proceed~ags of the 1996 Winter USENL~ Conference, San Diego, CA, January 1996.]] Google ScholarDigital Library
- Forin et al 91.Forth, A., Golub, D., and Bershad, B. N. An I/O System for Much 3.0. In Proceedings of the Second USENL~ Mach Symposi~Lm, pages 163-176, Monterey, CA, November 1991.]]Google Scholar
- Geschke et al 77.Geschke, C., Morris, J., and Satterthwaite, E. Early Experiences with Mesa. Communzcat~ons of the A CM, 20(8):540-553. August 1977.]] Google ScholarDigital Library
- Golub et al 90.Golub, D., Dean, R., Forin, A., and Rashid, R. Unix as an Application Program. In Proceedzngs of the 1990 S~tm, mer USENL~ Conference, pages 87-95, June 1990.]]Google Scholar
- Hamilton & Kougiouris 93.Hamilton, G. and Kougiouris, P. The Spring Nucleus: A Microkernel for Objects. In Proceedings of the 1993 S~mmer USENIX Conference, pages 147-159, Cincinnati, OH. June 1993.]]Google Scholar
- Harty & Cheriton 91.Harty, K. and Cheriton, D. R. Application-Controlled Physical Memory using External Page-Cache Management. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IV), pages 187-197, Santa Clara, CA, April 1991.]] Google ScholarDigital Library
- Heidemann & Popek 94.Heidemann, J. and Popek, G. File- System Development with Stackable Layers. Communications of the A CM, 12(1):58-89, February 1994.]] Google ScholarDigital Library
- Hildebrand 92.Hildebrand, D. An Architectural Overview of QNX. In Proceedings of the USENIX Workshop on M~cro- Kernels and Other Kernel Architectures, pages 113-126, Seattle, WA, April 1992.]] Google ScholarDigital Library
- Hutchinson et al 89.Hutchinson, N. C., Peterson, L., Abbott, M. B., and O'MalIey, S. RPC in x-kernel: Evaluating New Design Techniques. In Proceedings of the Thirteenth A CM Symposium on Operating Systems Pr, nciples, pages 91- 101, Litchfield Park, AZ, December 1989.]] Google ScholarDigital Library
- Int 81.Intel Corporation. lntroductzon to the iAPX 432 Archztecture, 1981.]]Google Scholar
- Int 90.Intel Corporation. ij86 Microprocessor Programmer's Reference Aianual, 1990.]] Google ScholarDigital Library
- Khalidi & Nelson 93.Khalidi, Y. A. and Nelson, M. An Implementation of UNIX on an Object-Oriented Operating System. In Proceedings of the 1993 Winter USENL~ Conference, pages 469-480, San Diego, CA, January 1993.]]Google Scholar
- Lazowska et al 81.Lazowska, E. D., Levy, H. M., Alines, G. T., Fischer, M., Fowler, R., and Vestal, S. The Architecture of the Eden System. In Proceedings of the Ezghth A CM Symposium on Operating Systems Principles, pages 148-- 159, December 1981.]] Google ScholarDigital Library
- Lee et al 94.Lee, C. H., Chen, M. C., and Chang, R. C. HiPEC: High Performance External Virtual Memory Caching. In Proceedings of the Fzrst USENL~ Symposium on Operating Systems Design and implementation (OSDI), pages 153- 164, Monterey, CA, November 1994.]] Google ScholarDigital Library
- Liedtke 92.Liedtke, J. Fast Thread Management and Communication Without Continuations. In Proceedings of the USENLY Workshop on Micro-Kernels and Other Kernel Architectures, pages 213-221, Seattle, WA, April 1992,]] Google ScholarDigital Library
- Liedtke 93.Liedtke, J. Improving IPC by Kernel Design. In Proceedings of the Fourteenth A CM Symposium on Operating Systems Principles, pages 175-188, Asheville, NC, D ecemb er 1993.]] Google ScholarDigital Library
- Lucco 94.Lucco, S. High-Performance Microkernel Systems. In Proceedings of the First USENIX Symposium on Operatzng Systems Design and Implementation (OSDI), page 199, 5Ionterey, CA, November 1994.]]Google Scholar
- Maeda & Bershad 93.Maeda, C. and Bershad, B. N. Protocol Service Decomposition for High-Performance Networking. In Proceedings o.f the Fourteenth A CM Symposium on Operating Systems Principles, pages 244-255, Asheville, NC, December 1993.]] Google ScholarDigital Library
- Marsh et al 91.Marsh, B., Scott, M., LeBlanc, T., and Markatos, E. First-Class User-Level Threads. In Proceedings of the Thzrteenth A CM Symposzum on Operating Systems Principles, pages 110-121, Pacific Grove, CA, October 1991.]] Google ScholarDigital Library
- McNamee & Armstrong 90.McNamee, D. and Armstrong, K. Extending the Much External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the USENiX Much Sympos2~m, pages 17-29, Burlington, VT, October 1990.]]Google Scholar
- Mogul et al 87.Mosul, J., Rashict, R., and Accetta, ILl. The Packet Filter: An Efficient Mechanism for User-level Network Code. In Proceedzngs o.f the EleT,enth ACM Symposzum on Operating Systems Princzptes, pages 39-51, Austin, TX, November 1987.]] Google ScholarDigital Library
- Mossenbock 94.Mossenbock, H. Extensibility in the Oberon System. Nordic Journal of Computing, 1(1):77-93, February 1994.]] Google ScholarDigital Library
- Mullender et al 90.Mullender, S. J., Rossum, G. V., Tanenbaum, A. S., Renesse, R. V., and van Staveren, H. Amoeba - A Distributed Operating System for the 1990's. IEEE Computer, pages 44-54, May 1990.]] Google ScholarDigital Library
- Nelson 91.Nelson, G., editor. System Programming ,n Modala- 3, Prentice HM1, 1991.]] Google ScholarDigital Library
- Organick 73.Organick, E., editor. Computer System Organzzatrion: The B5700/B6700 Series. Academic Press, 1973.]] Google ScholarDigital Library
- Pardyak & Bershad 94.Pardyak, P. and Bershad, B. A Group Structuring Mechanism for a Distributed Object Oriented Language Objects. In Proceedings of the Fourteenth International Conference on D~str~buted Comp~ting Systems, pages 312-219, Poznan, Poland, June 1994.]]Google ScholarCross Ref
- Rashid et al 87.Rashid, R., Tevanian, Jr., A., Young, M., Golub, D., Baron, R., Black, D., Bolosky, W., and Chew, J. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. In Proceedings of the Second International Conference on Architectural Support for Programmzng Languages and Operating Systems (ASPLOS-II), pages 31-39, Pedo Alto, CA, April 1987.]] Google ScholarCross Ref
- Redell 88.Redell, D. Experience with Topaz Teledebugging. In Proceed,ngs of the A CM SIGPLAN and SIGOPS Workshop on Parallel and Dzstributed Debugging, October 1988.]] Google ScholarDigital Library
- Redell et al 80.Redell, D. D., Datal, Y. K., Horsley, T. R., Lauer, H. C., Lynch, W. C., Me Jones, P. R., Murray, H. G., and Purcell, S. C. Pilot: An Operating System for a Personal Computer. Communzcations of the A CJIi, 23(2):81- 92, February 1980.]] Google ScholarDigital Library
- Romer et al 94.Romer, T. H., Lee, D., and Bershad, B. N. Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware. In Proceedings of the Fzrst USENIX Symposzum on Operatzng Systems Design and Imptementatzo~ (OSDI), pages 255-266, Monterey, CA, November 1994.]]Google Scholar
- Romer et al 95.Romer, T., Ohlrich, W., Karlin, A., and Betshad, B. Reducing TLB and Memory Overhead Using Online Superpage Promotion. In Proceedings of the Twenty- Thzrd International Symposium on Computer Architecture, pages 176-187, 1995.]] Google ScholarDigital Library
- Rozier et al 88.Rozier, M., Abrossimov, V., Armand, F., Boule, I., Giend, M., Guillemont, 'M., Herrmann, F., Leonard, P., Langtois, S., and Neuhauser, W. The Chorus Distributed Operating System. Comp ~ting Systems, 1(4):305- 370, 1988.]]Google Scholar
- Schroeder & Burrows 90.Schroeder, M. D. and Burrows, M. Performance of Firefly RPC. A CAI Transactions on Computer Systems, 8(1):1-17, February 1990.]] Google ScholarDigital Library
- Schulman et al 92.Schulman, A., Maxey, D., and Pietrek, M. Undocumented tVindows. Addison-Wesley, 1992.]]Google Scholar
- Small & Seltzer 94.Small. C, and Seltzer, M. VINO: An Integrated Platform for Operating System and Database Research. Technical Report TR-30-94, Harvard University, 1994.]]Google Scholar
- Stevenson & Julin 95.Stcvcnaon, J, M. and Julin, D. P. Much- US: Unix On Generic OS Object Servers. In Proceedings of the 1995 W~ter USENLY Conference, New Orleans, LA, January 1995.]] Google ScholarDigital Library
- Stodolsky et al 93.Stodolsky, D., Bershad, B. N., and Chen, B. Fast Interrupt Priority Management for Operating System Kernels. In Proceedzngs of the Second USENIX Workshop on Af~crokernets and Other Kernel Architect~tres, pages 105-110, San Diego, CA, September 1993.]] Google ScholarDigital Library
- Stonebraker 81.Stonebraker, M. Operating System Support for Database Management. Communications of the A CM, 24(7):412-418. July 1981.]] Google ScholarDigital Library
- Thacker et al 88.Thacker, C. P., Stewart, L. C., and Satterthwaite, Jr., E. H. Firefly: a Multiprocessor Wrorkstation. IEEE Transactions on Computers, 37(8):909-920, August 1988.]] Google ScholarDigital Library
- Thekkath & Levy 93.Thekkath, C. A. and Levy, H. M. Limits to Low-Latency RPC. A CM Transactions on Computer Systems, 11(2):179-203, May 1993.]] Google ScholarDigital Library
- Thekkath & Levy 94.Thekkath, C. A. and Levy, H. M. Hardware and Software Support for Efficient Exception Handling. In Proceedings of the Sixth International Conference on Arch,tectural Support for Programming Languages and Operating Systems (ASPLOS- VI), pages 145-156, San Jose, CA, October 1994.]] Google ScholarDigital Library
- von Eicken et al 92.von Eicken, T., Culler, D. E., Goldstein, S. C., and Schauser, I(. E. Active Messages: A Mechanism for Integrated Communication and Computation. In Proceedings of the Nineteenth International Symposium on Computer Architecture, pages 256-266, Gold Coast. Australia, May 1992.]] Google ScholarDigital Library
- Wahbe et al 93.Wahbe, R., Lucco, S., Anderson, T. E., and Graham, S. L. Efficient Software-Based Fault Isolation. In Proceedings of the Fourteenth A CM Symposium on Operating Systems Principles, pages 203-216, Asheville, NC, December 1993.]] Google ScholarDigital Library
- Weddspurger & Weihl 94.Waldspurger, C,. A. and Weihl, W. E. Lottery Scheduling: Flexible Proportioned-Share Resource Management. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSD{), pages 1-11, Monterey, CA, November 1994.]] Google ScholarDigital Library
- Wheeler & Bershad 92.Wheeler, B. and Bershad, B. N. Consistency Management for Virtually Indexed Caches. In Proceedings of the Fifth Internatzonal Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V), pages 124-136, Boston, MA, October 1992.]] Google ScholarDigital Library
- Wulf et al 81.Wulf, W. A., Levin, R., and Harbison, S. P. Hydra/C. mmp: An Eyperimenlal Computer System. McGraw-Hill, 1981.]]Google Scholar
- Young et al 87.Young, M., Tevanian, A., Rashid, R., Golub, D., Eppinger, J., Chew, J., Bolosky, W., Black, D., and Baron, R. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. In Proceedings of the Eleventh A CM Symposium on Operating Systems Princ,ptes, pages 63-76, Austin, TX, November 1987.]] Google ScholarDigital Library
- Yuhara et al 94.Yuhara, M., Bershad, B. N., Maeda, C., and Moss, J. E. B, Efficient Packet Demultiplexing for Multiple Endpoints and Large Messages. In Proceedings of the i99.4 Wgnter USENirX Conference, pages 153-165, San Francisco, CA, January 1994.]] Google ScholarDigital Library
Index Terms
- Extensibility safety and performance in the SPIN operating system
Recommendations
The Linux Operating System
The enormous consumer market for IBM PCs and compatibles has made them affordable. Now, with a free operating system called Linux, these inexpensive machines can be converted into powerful workstations for teaching, research, and software development. ...
The PreCertification Kit for Operating Systems in Safety Domains
WOSOCER '11: Proceedings of the 2011 First International Workshop on Software CertificationIn present-day, software is taking over functionalities traditionally implemented in hardware, therefore the software architecture has been more complex and large. In such software architecture is common to be present an Operating System (OS). However, ...
Comments