Asynchronous readers and asynchronous writers

Antoon H. Boode*, Jan F. Broenink

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

31 Downloads (Pure)


Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2016, we introduced the half-synchronous alphabetised parallel operator X ↓ Y, which disconnects the writing to and reading from a channel in time. We introduce in this paper an extension of X ↓ Y, where the definition of X ↓ Y is relaxed; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the asynchronous writes and reads. Furthermore, we allow multiple writers to the same channel and we study the impact on a Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ↓ Y gives more flexibility by indexing the reading actions and allowing multiple write actions to the same channel. Furthermore, the extension of X ↓ Y reduces the end-to-end processing time of the processor or coprocessor in a distributed computing system. We show the effects of these advantages in a case study describing a Controlled Emergency Stop for a processor-coprocessor combination.

Original languageEnglish
Title of host publicationCommunicating Process Architectures 2017 and 2018
Subtitle of host publicationProceedings of CPA 2017 (WoTUG-39) and CPA 2018 (WoTUG-40)
EditorsJan Baekgaard Pedersen, Kevin Chalmers, Jan F. Broenink, Brian Vinter, Kevin Vella, Peter H. Welch, Marc L. Smith, Kenneth Skovhede
PublisherIOS Press
Number of pages18
ISBN (Electronic)978-1-61499-949-2
ISBN (Print)978-1-61499-948-5
Publication statusPublished - 1 Jan 2019
EventCommunicating Process Architectures, CPA 2017: 39th WoTUG Conference on Concurrent and Parallel Programming - University of Malta, Sliema, Malta
Duration: 20 Aug 201723 Aug 2017
Conference number: 39

Publication series

NameConcurrent Systems Engineering Series
PublisherIOS Press
ISSN (Print)1383-7575


ConferenceCommunicating Process Architectures, CPA 2017
Abbreviated titleCPA
Internet address


  • Asynchronous read actions
  • Asynchronous write actions
  • Asynchronous write-read actions
  • CSP
  • Half-synchronous alphabetised parallel operator
  • Vertex removing synchronised product

Fingerprint Dive into the research topics of 'Asynchronous readers and asynchronous writers'. Together they form a unique fingerprint.

  • Cite this

    Boode, A. H., & Broenink, J. F. (2019). Asynchronous readers and asynchronous writers. In J. B. Pedersen, K. Chalmers, J. F. Broenink, B. Vinter, K. Vella, P. H. Welch, M. L. Smith, ... K. Skovhede (Eds.), Communicating Process Architectures 2017 and 2018: Proceedings of CPA 2017 (WoTUG-39) and CPA 2018 (WoTUG-40) (pp. 81-98). (Concurrent Systems Engineering Series; Vol. 70). IOS Press.