skip to main content
abstract

Efficient and reasonable object-oriented concurrency

Published:24 January 2015Publication History
Skip Abstract Section

Abstract

Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model and implementation for SCOOP, a concurrency approach that provides not only data-race freedom but also pre/postcondition reasoning guarantees between threads. The extensions we propose influence the underlying semantics to increase the amount of concurrent execution that is possible, exclude certain classes of deadlocks, and enable greater performance.

References

  1. B. Morandi, M. Schill, S. Nanz, and B. Meyer. Prototyping a concurrency model. In Proc. ACSD’13, pages 170–179. IEEE, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. Nanz, S. West, K. Soares da Silveira, and B. Meyer. Benchmarking usability and performance of multicore languages. In Proc. ESEM’13, pages 183–192. IEEE, 2013.Google ScholarGoogle Scholar
  3. P. Nienaltowski. Practical framework for contract-based concurrent object-oriented programming. PhD thesis, ETH Zurich, 2007.Google ScholarGoogle Scholar
  4. Quicksilver, an implementation of the SCOOP/Qs model. https: //github.com/scottgw/quicksilver, Sept. 2014.Google ScholarGoogle Scholar
  5. S. West, S. Nanz, and B. Meyer. Efficient and reasonable object-oriented concurrency. http://arxiv.org/abs/1405.7153, 2014.Google ScholarGoogle Scholar
  6. G. V. Wilson and R. B. Irvin. Assessing and comparing the usability of parallel programming systems. Technical Report CSRI-321, University of Toronto, 1995.Google ScholarGoogle Scholar
  7. Introduction Execution Model Implementation Language ComparisonGoogle ScholarGoogle Scholar

Index Terms

  1. Efficient and reasonable object-oriented concurrency

      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 50, Issue 8
        PPoPP '15
        August 2015
        290 pages
        ISSN:0362-1340
        EISSN:1558-1160
        DOI:10.1145/2858788
        • Editor:
        • Andy Gill
        Issue’s Table of Contents
        • cover image ACM Conferences
          PPoPP 2015: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
          January 2015
          290 pages
          ISBN:9781450332057
          DOI:10.1145/2688500

        Copyright © 2015 Owner/Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 24 January 2015

        Check for updates

        Qualifiers

        • abstract

      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!