research-article

Free access

The Singularity system

Authors:

James Larus,

Galen HuntAuthors Info & Claims

Communications of the ACM, Volume 53, Issue 8

Pages 72 - 79

https://doi.org/10.1145/1787234.1787253

Published: 01 August 2010 Publication History

All formats PDF

Abstract

Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system.

References

[1]

Aiken, M., Fähndrich, M., Hawblitzel, C., Hunt, G., and Larus, J.R. Deconstructing process isolation. In Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (San Jose, CA, Oct.). ACM Press, New York, 2006, 1--10.

Digital Library

Google Scholar

[2]

Ball, T. and Rajamani, S.K. The SLAM toolkit. In Proceedings of the 13th Conference on Computer-Aided Verification (Paris, July). Springer, 2001, 260--264.

Digital Library

Google Scholar

[3]

Barnett, M., Change, B.-y.E., Deline, R., Jacobs, B., and Leino, K.R. Boogie: A modular reusable verifier for object-oriented programs. In Proceedings of the Fourth International Symposium on Formal Methods for Components and Objects (Amsterdam, The Netherlands, Nov.). Springer, 2005, 364--387.

Digital Library

Google Scholar

[4]

Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M., Becker, D., Eggers, S., and Chambers, C. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain Resort, CO, Dec.). ACM Press, New York, 1995, 267--284.

Digital Library

Google Scholar

[5]

Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler D. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (Chateau Lake Louise, Banff, Canada, Oct.). ACM Press, New York, 2001, 73--88.

Digital Library

Google Scholar

[6]

Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., and Levi, S. Language support for fast and reliable message-based communication in Singularity OS. In Proceedings of the First ACM SIGOPS/EuroSys European Conference on Computer Systems (Leuven, Belgium, Apr.). ACM Press, New York, 2006, 177--190.

Digital Library

Google Scholar

[7]

Flatt, M. and Findler, R.B. Kill-safe synchronization abstractions. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (Washington, D.C., June). ACM Press, New York, 2004, 47--58.

Digital Library

Google Scholar

[8]

Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J.P., and Margaria, T. Software engineering and formal methods. Commun. ACM 51, 9 (Sept. 2008), 54--59.

Digital Library

Google Scholar

[9]

Hunt, G. and Larus, J. Singularity: Rethinking the software stack. ACM SIGOPS Operating Systems Review 41, 2 (Apr. 2007), 37--49.

Digital Library

Google Scholar

[10]

Hunt, G., Aiken, M., Fähndrich, M., Hawblitzel, C., Hodson, O., Larus, J., Levi, S., Steensgaard, B., Tarditi, D., and Wobber, T. Sealing OS processes to improve dependability and safety. In Proceedings of the Second ACM SIGOPS/EuroSys European Conference on Computer Systems (Lisbon, Portugal, Mar.). ACM Press, New York, 2007, 341--354.

Digital Library

Google Scholar

[11]

Orgovan, V. and Tricker, M. An Introduction to Driver Quality. Microsoft WinHEC 2004 presentation DDT301, New Orleans, LA, 2003.

Google Scholar

[12]

Spear, M.F., Roeder, T., Levi, S., and Hunt, G. Solving the starting problem: Device drivers as self-describing artifacts. In Proceedings of the EuroSys 2006 Conference (Leuven, Belgium, Apr.). ACM Press, New York, 2006, 45--58.

Digital Library

Google Scholar

Cited By

View all

Patrignani MBlackshear S(2023)Robust Safety for Move2023 IEEE 36th Computer Security Foundations Symposium (CSF)10.1109/CSF57540.2023.00045(308-323)Online publication date: Jul-2023
https://doi.org/10.1109/CSF57540.2023.00045
Wang CShan YZuo PCui H(2023)Reinvent Cloud Software Stacks for Resource DisaggregationJournal of Computer Science and Technology10.1007/s11390-023-3272-038:5(949-969)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1007/s11390-023-3272-0
Fernandez-Reyes KGariano INoble JGreenwood-Thessman EHomer MWrigstad TDe Meuter WBaniassad E(2021)Dala: a simple capability-based dynamic language design for data race-freedomProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3486607.3486747(1-17)Online publication date: 20-Oct-2021
https://dl.acm.org/doi/10.1145/3486607.3486747
Show More Cited By

Index Terms

The Singularity system
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
    2. Software system structures
      1. Software architectures
2. Theory of computation

Recommendations

On the singularity of multivariate Hermite interpolation

In this paper, we study the singularity of multivariate Hermite interpolation of type total degree. We present two methods to judge the singularity of the interpolation schemes considered and by methods to be developed, we show that all Hermite ...
On the singularity of a class of parametric curves

We consider parametric curves that are represented by combination of control points and basis functions. We let a control point vary while the rest is held fixed. We show that the locus of the moving control point that yields a zero curvature point on ...
A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System

The transportable programming language (TPL) method is a high-level-language approach that uses a bifunctional compiler to efficiently convert code among various dialects of a particular high-level language (HLL) via the hypothetical parent of the high-...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 53, Issue 8

August 2010

136 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1787234

Issue’s Table of Contents

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: 01 August 2010

Published in CACM Volume 53, Issue 8

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
22,612
Total Downloads

Downloads (Last 12 months)272
Downloads (Last 6 weeks)89

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Patrignani MBlackshear S(2023)Robust Safety for Move2023 IEEE 36th Computer Security Foundations Symposium (CSF)10.1109/CSF57540.2023.00045(308-323)Online publication date: Jul-2023
https://doi.org/10.1109/CSF57540.2023.00045
Wang CShan YZuo PCui H(2023)Reinvent Cloud Software Stacks for Resource DisaggregationJournal of Computer Science and Technology10.1007/s11390-023-3272-038:5(949-969)Online publication date: 1-Sep-2023
https://dl.acm.org/doi/10.1007/s11390-023-3272-0
Fernandez-Reyes KGariano INoble JGreenwood-Thessman EHomer MWrigstad TDe Meuter WBaniassad E(2021)Dala: a simple capability-based dynamic language design for data race-freedomProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3486607.3486747(1-17)Online publication date: 20-Oct-2021
https://dl.acm.org/doi/10.1145/3486607.3486747
Kjellqvist CHedayati MScott M(2020)Safe, Fast Sharing of memcached as a Protected LibraryProceedings of the 49th International Conference on Parallel Processing10.1145/3404397.3404443(1-8)Online publication date: 17-Aug-2020
https://dl.acm.org/doi/10.1145/3404397.3404443
Mustard CRuffy FGakhokidze ABeschastnikh IFedorova ADelimitrou CPorts D(2019)JumpgateProceedings of the 11th USENIX Conference on Hot Topics in Cloud Computing10.5555/3357034.3357042(6-6)Online publication date: 8-Jul-2019
https://dl.acm.org/doi/10.5555/3357034.3357042
Besson FBlazy SDang AJensen TWilke P(2019)Compiling Sandboxes: Formally Verified Software Fault IsolationProgramming Languages and Systems10.1007/978-3-030-17184-1_18(499-524)Online publication date: 6-Apr-2019
https://doi.org/10.1007/978-3-030-17184-1_18
Rodchenko AKotselidis CNisbet APop ALujan M(2018)Type Information Elimination from Objects on Architectures with Tagged Pointers SupportIEEE Transactions on Computers10.1109/TC.2017.270973967:1(130-143)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1109/TC.2017.2709739
Amin NRompf T(2017)LMS-Verify: abstraction without regret for verified systems programmingACM SIGPLAN Notices10.1145/3093333.300986752:1(859-873)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009867
Amin NRompf TCastagna GGordon A(2017)LMS-Verify: abstraction without regret for verified systems programmingProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009867(859-873)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009867
Rodchenko AKotselidis CNisbet APop ALujan M(2017)MaxSim: A simulation platform for managed applications2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)10.1109/ISPASS.2017.7975286(141-152)Online publication date: Apr-2017
https://doi.org/10.1109/ISPASS.2017.7975286
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations

On the singularity of multivariate Hermite interpolation

On the singularity of a class of parametric curves

A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations