skip to main content
article
Free Access

Seminar: safe concurrent programming in Java with CSP

Published:01 March 1999Publication History
Skip Abstract Section

Abstract

We present methods for safe and correct programming for concurrent threads in Java. The methods are based on the principles of Concurrent Sequential Processes (CSP). We demonstrate the use of tools which provide the structure of CSP within Java to avoid some of the pitfalls of multithreaded programming using monitors, the primitive synchronization tool in Java. Several examples illustrate the use of these tools.

References

  1. 1 Austin, Paul, JCSP web page. Online, intemet. Accessed 19 August, 1998. Available at http://www.cs.ukc.ac.uk/projects/ofa/jcsp/Google ScholarGoogle Scholar
  2. 2 Hilderink, Gerald, JavaPP web page at Twente. Online, Intemet. Accessed 26 July, 1998. Available at http ://www.rt.el.utwente.nl/j avapp/Google ScholarGoogle Scholar
  3. 3 Hoare, C.A. Communicating Sequential Processes. Commun. ACM 21, 8 (March, 1978), 666-677. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Lewis, Ted. The Binary Critic. IEEE Computer 17, 3 (March, 1997), 134.Google ScholarGoogle Scholar
  5. 5 Roscoe, A.W. The Theory and Practice of Concurrency. London:PrenticeHall, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Welch, Peter. Java Threads in the Light of Occam/CSP. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, Amsterdam:IOS Press, 1997Google ScholarGoogle Scholar

Index Terms

  1. Seminar: safe concurrent programming in Java with CSP

    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 SIGCSE Bulletin
      ACM SIGCSE Bulletin  Volume 31, Issue 1
      March 1999
      370 pages
      ISSN:0097-8418
      DOI:10.1145/384266
      Issue’s Table of Contents
      • cover image ACM Conferences
        SIGCSE '99: The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
        March 1999
        383 pages
        ISBN:1581130856
        DOI:10.1145/299649
        • Chairmen:
        • Jane Prey,
        • Bob Noonan

      Copyright © 1999 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 March 1999

      Check for updates

      Qualifiers

      • article

    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!