%0 Conference Paper %1 schaller_00_using %A Schaller, Nan C. %A Hilderink, Gerald H. %A Welch, Peter H. %B Communicating Process Architectures 2000 %D 2000 %E Welch, Peter H. %E Bakkers, Andr`e W. P. %K _hardcopy bibtex-import _no_doi csp jcsp 2000 %P 205--226 %T Using Java for Parallel Computing: JCSP versus CTJ, a Comparison %X Java provides support for concurrent and parallel programming throughthreads, monitors and its socket and Remote Method Invocation (RMI) classes.However, there have been many concerns expressed about the way in which thissupport is provided, e.g., 12, citing problems such as improper implementation ofmonitors and difficulty of programming with threads. Hoare^A’s CommunicatingSequential Processes (CSP) 345 model fully specifies thread synchronizationand is based on processes, compositions, and channel communication. It provides amathematical notation for describing patterns of communication using algebraicexpressions and contains formal proofs for analyzing, verifying and eliminatingundesirable conditions, such as race hazards, deadlocks, livelock, and starvation.Two independent research efforts provide a CSP based process-oriented designpattern for concurrency implemented in Java: Communicating Sequential Processesfor Java (JCSP) 6 and Communication Threads in Java (CTJ) 7. In this paper, wecompare these two packages, looking at the philosophy behind their development,their similarities, their differences, their performance, and their use.

@inproceedings{schaller_00_using, abstract = {Java provides support for concurrent and parallel programming throughthreads, monitors and its socket and Remote Method Invocation (RMI) classes.However, there have been many concerns expressed about the way in which thissupport is provided, e.g., [1][2], citing problems such as improper implementation ofmonitors and difficulty of programming with threads. Hoare^{A}’s CommunicatingSequential Processes (CSP) [3][4][5] model fully specifies thread synchronizationand is based on processes, compositions, and channel communication. It provides amathematical notation for describing patterns of communication using algebraicexpressions and contains formal proofs for analyzing, verifying and eliminatingundesirable conditions, such as race hazards, deadlocks, livelock, and starvation.Two independent research efforts provide a CSP based process-oriented designpattern for concurrency implemented in Java: Communicating Sequential Processesfor Java (JCSP) [6] and Communication Threads in Java (CTJ) [7]. In this paper, wecompare these two packages, looking at the philosophy behind their development,their similarities, their differences, their performance, and their use.}, added-at = {2009-02-12T11:44:09.000+0100}, author = {Schaller, Nan C. and Hilderink, Gerald H. and Welch, Peter H.}, biburl = {https://www.bibsonomy.org/bibtex/2b21026aac520acf417adcfeafb1fd20a/leonardo}, booktitle = {Communicating Process Architectures 2000}, citeulike-article-id = {493557}, editor = {Welch, Peter H. and Bakkers, Andr`{e} W. P.}, interhash = {b0ea92ef9868d9b9abe331e7e23f6ce2}, intrahash = {b21026aac520acf417adcfeafb1fd20a}, keywords = {_hardcopy bibtex-import _no_doi csp jcsp 2000}, pages = {205--226}, posted-at = {2006-02-03 17:10:50}, priority = {2}, timestamp = {2009-02-12T11:44:09.000+0100}, title = {Using Java for Parallel Computing: JCSP versus CTJ, a Comparison}, year = 2000 }