School of Computing

Process Oriented Design for Java: Concurrency for All

P.H. Welch

In H.R.Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), volume 1, pages 182-196. CSREA, CSREA Press, June 2000.

Abstract

Concurrency is thought to be an advanced topic - much harder than serial computing which, therefore, needs to be mastered first. This paper contends that this tradition is wrong, which has radical implications for the way we educate people in Computer Science - and on how we apply what we have learnt. A process-oriented design pattern for concurrency is presented with a specific binding for Java. It is based on the algebra of Communicating Sequential Processes (CSP) as captured by the JCSP library of Java classes. No mathematical sophistication is needed to master it. The user gets the benefit of the sophistication underlying CSP simply by using it. Those benefits include the simplification wins we always thought concurrency should generate. Although the Java binding is new, fifteen years of working with students at Kent have shown that the ideas within process-oriented design can be quickly absorbed and applied. Getting the ideas across as soon as possible pays dividends - the later it's left, the more difficult it becomes to wean people off serial ways of thought that fit the world so badly. Concurrency for all (and for everyday use) in the design and implementation of most kinds of computer system is both achievable and necessary.



Bibtex Record

@inproceedings{1163,
author = {P.H. Welch},
title = {Process {O}riented {D}esign for {J}ava: {C}oncurrency for {A}ll},
month = {June},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1163},
    publication_type = {inproceedings},
    submission_id = {9698_981576172},
    ISBN = {1-892512-22-x},
    booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000)},
    editor = {H.R.Arabnia},
    volume = {1},
    organization = {CSREA},
    publisher = {CSREA Press},
    refereed = {Yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014