Article

Free access

Seminar: safe concurrent programming in Java with CSP

Author:

Christopher H. NevisonAuthors Info & Claims

SIGCSE '99: The proceedings of the thirtieth SIGCSE technical symposium on Computer science education

Page 367

https://doi.org/10.1145/299649.299817

Published: 01 March 1999 Publication History

PDF eReader

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]

Austin, Paul, JCSP web page. Online, intemet. Accessed 19 August, 1998. Available at http://www.cs.ukc.ac.uk/projects/ofa/jcsp/

Google Scholar

[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 Scholar

[3]

Hoare, C.A. Communicating Sequential Processes. Commun. ACM 21, 8 (March, 1978), 666-677.

Digital Library

Google Scholar

[4]

Lewis, Ted. The Binary Critic. IEEE Computer 17, 3 (March, 1997), 134.

Google Scholar

[5]

Roscoe, A.W. The Theory and Practice of Concurrency. London:PrenticeHall, 1998.

Digital Library

Google Scholar

[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, 1997

Google Scholar

Cited By

View all

Adams JNevison CSchaller N(2000)Parallel computing to start the millenniumACM SIGCSE Bulletin10.1145/331795.33181532:1(65-69)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/331795.331815
Adams JNevison CSchaller NCassel BDale NWalker H(2000)Parallel computing to start the millenniumProceedings of the thirty-first SIGCSE technical symposium on Computer science education10.1145/330908.331815(65-69)Online publication date: 1-May-2000
https://dl.acm.org/doi/10.1145/330908.331815
Burdette SCamp TBynum B(2000)Distributed BACI: a toolkit for distributed applicationsConcurrency: Practice and Experience10.1002/(SICI)1096-9128(200001)12:1<35::AID-CPE458>3.0.CO;2-812:1(35-52)Online publication date: 2000
https://doi.org/10.1002/(SICI)1096-9128(200001)12:1<35::AID-CPE458>3.0.CO;2-8

Index Terms

Seminar: safe concurrent programming in Java with CSP
1. General and reference
  1. Document types

Recommendations

Seminar: safe concurrent programming in Java with CSP

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 ...
WFR-TM

Transactional Memory (TM) is a promising concurrent programming paradigm which employs transactions to achieve synchronization in accessing common data known as transactional variables. A transaction may either commit, making its updates to ...
A CSP Model for Java Multithreading
PDSE '00: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems

Java threads are synchronized through primitives based upon monitor concepts developed in the early 1970s. The semantics of Java's primitives have only been presented in natural language -- this paper remedies this with a simple and formal CSP model. In ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

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
Univ. of Virginia, Charlottesville
,
Bob Noonan
College of William & Mary, Williamsburg, VA

ACM SIGCSE Bulletin Volume 31, Issue 1
March 1999
370 pages
ISSN:0097-8418
DOI:10.1145/384266
Editor:
John Impagliazzo
Hofstra Univ., Hempstead, NY
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 March 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGCSE99

Sponsor:

SIGCSE

SIGCSE99: The 30th ACM SIGCSE Technical Symposium

March 24 - 28, 1999

Louisiana, New Orleans, USA

Acceptance Rates

SIGCSE '99 Paper Acceptance Rate 70 of 190 submissions, 37%;

Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

Upcoming Conference

SIGCSE TS 2025

Sponsor:
sigcse

The 56th ACM Technical Symposium on Computer Science Education

February 26 - March 1, 2025

Pittsburgh , PA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
325
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)10

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Adams JNevison CSchaller N(2000)Parallel computing to start the millenniumACM SIGCSE Bulletin10.1145/331795.33181532:1(65-69)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/331795.331815
Adams JNevison CSchaller NCassel BDale NWalker H(2000)Parallel computing to start the millenniumProceedings of the thirty-first SIGCSE technical symposium on Computer science education10.1145/330908.331815(65-69)Online publication date: 1-May-2000
https://dl.acm.org/doi/10.1145/330908.331815
Burdette SCamp TBynum B(2000)Distributed BACI: a toolkit for distributed applicationsConcurrency: Practice and Experience10.1002/(SICI)1096-9128(200001)12:1<35::AID-CPE458>3.0.CO;2-812:1(35-52)Online publication date: 2000
https://doi.org/10.1002/(SICI)1096-9128(200001)12:1<35::AID-CPE458>3.0.CO;2-8

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Seminar: safe concurrent programming in Java with CSP

WFR-TM

A CSP Model for Java Multithreading