skip to main content
demonstration

Systems demonstration: writing NetBSD sound drivers in Haskell

Published:03 September 2014Publication History
Skip Abstract Section

Abstract

Most strongly typed, functional programming languages are not equipped with a reentrant garbage collector. Therefore such languages are not used for operating systems programming, where the virtues of types are most desired. We propose the use of Context-Local Heaps (CLHs) to achieve reentrancy, which also increasing the speed of garbage collection. We have implemented CLHs in Ajhc, a Haskell compiler derived from jhc, rewritten some NetBSD sound drivers using Ajhc, and benchmarked them. The reentrant, faster garbage collection that CLHs provide opens the path to type-assisted operating systems programming.

References

  1. G. Hoare. The rust programming language. URL http://www.rust-lang.org/.Google ScholarGoogle Scholar
  2. M. Iselin. Rustic operating system. URL https://github.com/pcmattman/rustic.Google ScholarGoogle Scholar
  3. A. S. Tanenbaum and A. S. Woodhull. Operating Systems Design and Implementation. Pearson, 3 edition, 2008. ISBN 978-0-13-505376-8. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. H. Xi. Applied Type System (extended abstract). In post-workshop Proceedings of TYPES 2003, pages 394--408. Springer-Verlag LNCS 3085, 2004.Google ScholarGoogle Scholar

Index Terms

  1. Systems demonstration: writing NetBSD sound drivers in Haskell

Recommendations

Comments

Login options

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

Sign in

Full Access

  • Published in

    cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 49, Issue 12
    Haskell '14
    December 2014
    141 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/2775050
    • Editor:
    • Andy Gill
    Issue’s Table of Contents
    • cover image ACM Conferences
      Haskell '14: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell
      September 2014
      154 pages
      ISBN:9781450330411
      DOI:10.1145/2633357

    Copyright © 2014 Owner/Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 3 September 2014

    Check for updates

    Qualifiers

    • demonstration

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!