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

33 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


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

Cite this