Paper Details

Communicating Process Architectures (CPA)
 Title: Asynchronous Readers and Asynchronous Writers
 Conference: Communicating Process Architectures 2017
 Authors: Antoon H. Boode, Jan F. Broenink
Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: 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 CPA 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. Advantages 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. 
Files:


BibTeX Entry


Full paper


Presentation