Asynchronous readers and asynchronous writers
| Autor: | Boode, Antoon H., Broenink, Jan F., Pedersen, Jan Baekgaard, Chalmers, Kevin, Vinter, Brian, Vella, Kevin, Welch, Peter H., Smith, Marc L., Skovhede, Kenneth |
|---|---|
| Přispěvatelé: | Robotics and Mechatronics |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40), 81-98 STARTPAGE=81;ENDPAGE=98;TITLE=Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40 Communicating Process Architectures 2017 and 2018: Proceedings of CPA 2017 (WoTUG-39) and CPA 2018 (WoTUG-40), 81-98 STARTPAGE=81;ENDPAGE=98;TITLE=Communicating Process Architectures 2017 and 2018 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|