Jon Kerridge
Communicating parallel processes
Kerridge, Jon; Simpson, Dan
Authors
Dan Simpson
Abstract
By considering the problem of an event timer it is shown that the commonly available synchronizing facilities (monitors, CSP, distributed processes) are not able to always satisfactorily model the requirements of several processes which must run in parallel and which have to communicate with each other. The problem is discussed in general terms which show that what is required are new concepts for communicating processes. The synchronization facilities proposed are augmented to incorporate the concept of process scheduling directly from a process. This ensures that proper scheduling of process components can take place. The new mechanism is then applied to a number of the standard problems. It is also shown that the use of nondeterminacy in current facilities is probably not required and is, in fact, for many applications, a positive disadvantage.
Citation
Kerridge, J., & Simpson, D. (1986). Communicating parallel processes. Software: Practice and Experience, 16(1), 63-86. https://doi.org/10.1002/spe.4380160106
Journal Article Type | Article |
---|---|
Acceptance Date | Jan 1, 1986 |
Publication Date | 1986-01 |
Deposit Date | Apr 16, 2019 |
Journal | Software: Practice and Experience |
Print ISSN | 0038-0644 |
Electronic ISSN | 1097-024X |
Publisher | Wiley |
Peer Reviewed | Peer Reviewed |
Volume | 16 |
Issue | 1 |
Pages | 63-86 |
DOI | https://doi.org/10.1002/spe.4380160106 |
Keywords | Distributed systems, real parallelism, communicating processes. |
Public URL | http://researchrepository.napier.ac.uk/Output/1732720 |
You might also like
An aspect-oriented component-based approach to seamless web service composition
(2007)
Journal Article
Process discovery in highly parallel distributed systems.
(2014)
Presentation / Conference Contribution
Verifying the CPA Networking Stack using SPIN/Promela.
(2013)
Presentation / Conference Contribution
RDF recipes for context-aware interoperability in pervasive systems.
(2012)
Presentation / Conference Contribution
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search