article

Free access

Extensibility safety and performance in the SPIN operating system

Authors:

S. EggersAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 29, Issue 5

Pages 267 - 283

https://doi.org/10.1145/224057.224077

Published: 03 December 1995 Publication History

PDF eReader

References

[1]

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.]]

Digital Library

Google Scholar

[2]

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.]]

Digital Library

Google Scholar

[3]

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.]]

Digital Library

Google Scholar

[4]

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.]]

Digital Library

Google Scholar

[5]

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.]]

Digital Library

Google Scholar

[6]

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.]]

Digital Library

Google Scholar

[7]

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

[8]

Bartlett, J. F. Compacting Garbage Collection with Ambiguous Roots. Technical Report WRL-TR-88-2, Digital Equipment Corporation Western Research Labs, February 1988.]]

Digital Library

Google Scholar

[9]

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.]]

Digital Library

Google Scholar

[10]

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

[11]

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.]]

Digital Library

Google Scholar

[12]

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.]]

Crossref

Google Scholar

[13]

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.]]

Digital Library

Google Scholar

[14]

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.]]

Digital Library

Google Scholar

[15]

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

[16]

Brockschmidt, K. Inszde OLE 2. Microsoft Press, 1994.]]

Google Scholar

[17]

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

[18]

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.]]

Digital Library

Google Scholar

[19]

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.]]

Digital Library

Google Scholar

[20]

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.]]

Digital Library

Google Scholar

[21]

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.]]

Crossref

Google Scholar

[22]

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.]]

Digital Library

Google Scholar

[23]

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.]]

Digital Library

Google Scholar

[24]

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.]]

Digital Library

Google Scholar

[25]

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.]]

Digital Library

Google Scholar

[26]

Cooper, E. C. and Draves, R.P. C Threads. Technical Report CMU-CS-88-154, Carnegie Melton University, June 1988.]]

Google Scholar

[27]

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

[28]

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.]]

Digital Library

Google Scholar

[29]

Digital Equipment Corporation. DEC 0S~/1 Writing Device Drivers: Advanced Topics, 1993.]]

Google Scholar

[30]

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

[31]

Draves, R. P. Control Transfer in Operating System Kernels. Technical Report CMU-CS-94-142, Carnegie Mellon University, May 1994.]]

Google Scholar

[32]

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.]]

Digital Library

Google Scholar

[33]

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.]]

Digital Library

Google Scholar

[34]

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.]]

Digital Library

Google Scholar

[35]

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.]]

Digital Library

Google Scholar

[36]

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.]]

Digital Library

Google Scholar

[37]

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.]]

Crossref

Google Scholar

[38]

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

[39]

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.]]

Digital Library

Google Scholar

[40]

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

[41]

Geschke, C., Morris, J., and Satterthwaite, E. Early Experiences with Mesa. Communzcat~ons of the A CM, 20(8):540-553. August 1977.]]

Digital Library

Google Scholar

[42]

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

[43]

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

[44]

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.]]

Digital Library

Google Scholar

[45]

Heidemann, J. and Popek, G. File- System Development with Stackable Layers. Communications of the A CM, 12(1):58-89, February 1994.]]

Digital Library

Google Scholar

[46]

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.]]

Digital Library

Google Scholar

[47]

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.]]

Digital Library

Google Scholar

[48]

Intel Corporation. lntroductzon to the iAPX 432 Archztecture, 1981.]]

Google Scholar

[49]

Intel Corporation. ij86 Microprocessor Programmer's Reference Aianual, 1990.]]

Digital Library

Google Scholar

[50]

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

[51]

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.]]

Digital Library

Google Scholar

[52]

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.]]

Digital Library

Google Scholar

[53]

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,]]

Digital Library

Google Scholar

[54]

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.]]

Digital Library

Google Scholar

[55]

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

[56]

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.]]

Digital Library

Google Scholar

[57]

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.]]

Digital Library

Google Scholar

[58]

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

[59]

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.]]

Digital Library

Google Scholar

[60]

Mossenbock, H. Extensibility in the Oberon System. Nordic Journal of Computing, 1(1):77-93, February 1994.]]

Digital Library

Google Scholar

[61]

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.]]

Digital Library

Google Scholar

[62]

Nelson, G., editor. System Programming,n Modala- 3, Prentice HM1, 1991.]]

Digital Library

Google Scholar

[63]

Organick, E., editor. Computer System Organzzatrion: The B5700/B6700 Series. Academic Press, 1973.]]

Digital Library

Google Scholar

[64]

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.]]

Crossref

Google Scholar

[65]

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.]]

Crossref

Google Scholar

[66]

Redell, D. Experience with Topaz Teledebugging. In Proceed,ngs of the A CM SIGPLAN and SIGOPS Workshop on Parallel and Dzstributed Debugging, October 1988.]]

Digital Library

Google Scholar

[67]

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.]]

Digital Library

Google Scholar

[68]

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

[69]

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.]]

Digital Library

Google Scholar

[70]

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

[71]

Schroeder, M. D. and Burrows, M. Performance of Firefly RPC. A CAI Transactions on Computer Systems, 8(1):1-17, February 1990.]]

Digital Library

Google Scholar

[72]

Schulman, A., Maxey, D., and Pietrek, M. Undocumented tVindows. Addison-Wesley, 1992.]]

Google Scholar

[73]

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

[74]

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.]]

Digital Library

Google Scholar

[75]

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.]]

Digital Library

Google Scholar

[76]

Stonebraker, M. Operating System Support for Database Management. Communications of the A CM, 24(7):412-418. July 1981.]]

Digital Library

Google Scholar

[77]

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.]]

Digital Library

Google Scholar

[78]

Thekkath, C. A. and Levy, H. M. Limits to Low-Latency RPC. A CM Transactions on Computer Systems, 11(2):179-203, May 1993.]]

Digital Library

Google Scholar

[79]

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.]]

Digital Library

Google Scholar

[80]

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.]]

Digital Library

Google Scholar

[81]

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.]]

Digital Library

Google Scholar

[82]

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.]]

Digital Library

Google Scholar

[83]

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.]]

Digital Library

Google Scholar

[84]

Wulf, W. A., Levin, R., and Harbison, S. P. Hydra/C. mmp: An Eyperimenlal Computer System. McGraw-Hill, 1981.]]

Google Scholar

[85]

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.]]

Digital Library

Google Scholar

[86]

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.]]

Digital Library

Google Scholar

Cited By

View all

Yedidia ZTsafrir DMusuvathi MGupta RAbu-Ghazaleh N(2024)Lightweight Fault Isolation: Practical, Efficient, and Secure Software SandboxingProceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 210.1145/3620665.3640408(649-665)Online publication date: 27-Apr-2024
https://dl.acm.org/doi/10.1145/3620665.3640408
Hong JShim SPark SKim TKim JLee JRyu SKang J(2024)Taming Shared Mutable States of Operating Systems in RustScience of Computer Programming10.1016/j.scico.2024.103152(103152)Online publication date: May-2024
https://doi.org/10.1016/j.scico.2024.103152
Mi ZZhuang HZang BChen H(2022)General and Fast Inter-Process Communication via Bypassing Privileged SoftwareIEEE Transactions on Computers10.1109/TC.2021.313075171:10(2435-2448)Online publication date: 1-Oct-2022
https://doi.org/10.1109/TC.2021.3130751
Show More Cited By

Index Terms

Extensibility safety and performance in the SPIN operating system
1. Software and its engineering

Recommendations

Beyond safety: customized SAT-based model checking
DAC '05: Proceedings of the 42nd annual Design Automation Conference

Model checking of safety properties has taken a significant lead over non-safety properties in recent years. To bridge the gap, we propose dedicated SAT-based model checking algorithms for properties beyond safety. Previous bounded model checking (BMC) ...
Bringing extensibility to verified compilers
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation

Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proof assistant. This technique provides a strong, end-to-end correctness guarantee ...
Flight Guidance System Validation using SPIN

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 December 1995

Published in SIGOPS Volume 29, Issue 5

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

651
Total Citations
View Citations
5,913
Total Downloads

Downloads (Last 12 months)602
Downloads (Last 6 weeks)147

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yedidia ZTsafrir DMusuvathi MGupta RAbu-Ghazaleh N(2024)Lightweight Fault Isolation: Practical, Efficient, and Secure Software SandboxingProceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 210.1145/3620665.3640408(649-665)Online publication date: 27-Apr-2024
https://dl.acm.org/doi/10.1145/3620665.3640408
Hong JShim SPark SKim TKim JLee JRyu SKang J(2024)Taming Shared Mutable States of Operating Systems in RustScience of Computer Programming10.1016/j.scico.2024.103152(103152)Online publication date: May-2024
https://doi.org/10.1016/j.scico.2024.103152
Mi ZZhuang HZang BChen H(2022)General and Fast Inter-Process Communication via Bypassing Privileged SoftwareIEEE Transactions on Computers10.1109/TC.2021.313075171:10(2435-2448)Online publication date: 1-Oct-2022
https://doi.org/10.1109/TC.2021.3130751
Qiu YLiu HAnderson TLin YChen AAngel SKasikci BKohler E(2021)Toward reconfigurable kernel datapaths with learned optimizationsProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3458336.3465288(175-182)Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1145/3458336.3465288
Li JMiller SZhuo DChen AHowell JAnderson TAngel SKasikci BKohler E(2021)An incremental path towards a safer OS kernelProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3458336.3465277(183-190)Online publication date: 1-Jun-2021
https://dl.acm.org/doi/10.1145/3458336.3465277
Bittman DAlvaro PMehra PLong DMiller E(2021)Twizzler: A Data-centric OS for Non-volatile MemoryACM Transactions on Storage10.1145/345412917:2(1-31)Online publication date: 8-Jun-2021
https://dl.acm.org/doi/10.1145/3454129
Vasudevan AManiatis PMartins R(2020)überSparkACM SIGOPS Operating Systems Review10.1145/3421473.342147654:1(8-22)Online publication date: 31-Aug-2020
https://dl.acm.org/doi/10.1145/3421473.3421476
Wen EWeber G(2020)Wasmachine: Bring the Edge up to Speed with A WebAssembly OS2020 IEEE 13th International Conference on Cloud Computing (CLOUD)10.1109/CLOUD49709.2020.00056(353-360)Online publication date: Oct-2020
https://doi.org/10.1109/CLOUD49709.2020.00056
Litton JGarg DDruschel PBhattacharjee B(2019)Composing Abstractions using the null-KernelProceedings of the Workshop on Hot Topics in Operating Systems10.1145/3317550.3321450(1-6)Online publication date: 13-May-2019
https://dl.acm.org/doi/10.1145/3317550.3321450
Mi ZLi DYang ZWang XChen H(2019)SkyBridgeProceedings of the Fourteenth EuroSys Conference 201910.1145/3302424.3303946(1-15)Online publication date: 25-Mar-2019
https://dl.acm.org/doi/10.1145/3302424.3303946
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Beyond safety: customized SAT-based model checking

Bringing extensibility to verified compilers

Flight Guidance System Validation using SPIN

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations