A majority vote, modelled by asynchronous readers and asynchronous writers

Antoon H. Boode; Jan F. Broenink

doi:10.3233/978-1-61499-949-2-361

A majority vote, modelled by asynchronous readers and asynchronous writers

Antoon H. Boode^*, Jan F. Broenink

^*Corresponding author for this work

Robotics and Mechatronics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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 aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous alphabetised parallel operator X ↕ Y, which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ↕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ↕ Y preserves the advantages of the X ↕ Y operator.

Original language	English
Title of host publication	Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40
Subtitle of host publication	Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)
Editors	Jan Baekgaard Pedersen, Kevin Chalmers, Jan F. Broenink, Brian Vinter, Kevin Vella, Peter H. Welch, Marc L. Smith, Kenneth Skovhede
Publisher	IOS Press
Pages	361-375
Number of pages	15
ISBN (Electronic)	978-1-61499-949-2
ISBN (Print)	978-1-61499-948-5
DOIs	https://doi.org/10.3233/978-1-61499-949-2-361
Publication status	Published - 1 Jan 2019
Event	Communicating Process Architectures 2018: 40th WoTUG conference on concurrent and parallel systems - Technische Universität Dresden, Dresden, Germany Duration: 19 Aug 2018 → 22 Aug 2018 Conference number: 40

Publication series

Name	Concurrent Systems Engineering Series
Publisher	IOS Press
Volume	70
ISSN (Print)	1383-7575

Conference

Conference	Communicating Process Architectures 2018
Abbreviated title	CPA 2018
Country	Germany
City	Dresden
Period	19/08/18 → 22/08/18

Keywords

(Extended) vertex removing synchronised product
Asynchronous and synchronous read actions
Asynchronous and synchronous write actions
CSP
Half-synchronous alphabetised parallel operator

Access to Document

10.3233/978-1-61499-949-2-361

Link to publication in Scopus

Cite this

Boode, A. H., & Broenink, J. F. (2019). A majority vote, modelled by 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: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40) (pp. 361-375). (Concurrent Systems Engineering Series; Vol. 70). IOS Press. https://doi.org/10.3233/978-1-61499-949-2-361

Boode, Antoon H. ; Broenink, Jan F. / A majority vote, modelled by asynchronous readers and asynchronous writers. Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). editor / Jan Baekgaard Pedersen ; Kevin Chalmers ; Jan F. Broenink ; Brian Vinter ; Kevin Vella ; Peter H. Welch ; Marc L. Smith ; Kenneth Skovhede. IOS Press, 2019. pp. 361-375 (Concurrent Systems Engineering Series).

@inproceedings{a152444a4a894900942f76595b154751,

title = "A majority vote, modelled by asynchronous readers and asynchronous writers",

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 aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous alphabetised parallel operator X ↕ Y, which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ↕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ↕ Y preserves the advantages of the X ↕ Y operator.",

keywords = "(Extended) vertex removing synchronised product, Asynchronous and synchronous read actions, Asynchronous and synchronous write actions, CSP, Half-synchronous alphabetised parallel operator",

author = "Boode, {Antoon H.} and Broenink, {Jan F.}",

year = "2019",

month = jan,

day = "1",

doi = "10.3233/978-1-61499-949-2-361",

language = "English",

isbn = "978-1-61499-948-5",

series = "Concurrent Systems Engineering Series",

publisher = "IOS Press",

pages = "361--375",

editor = "Pedersen, {Jan Baekgaard} and Kevin Chalmers and Broenink, {Jan F.} and Brian Vinter and Kevin Vella and Welch, {Peter H.} and Smith, {Marc L.} and Kenneth Skovhede",

booktitle = "Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40",

address = "Netherlands",

note = "Communicating Process Architectures 2018 : 40th WoTUG conference on concurrent and parallel systems, CPA 2018 ; Conference date: 19-08-2018 Through 22-08-2018",

}

Boode, AH & Broenink, JF 2019, A majority vote, modelled by asynchronous readers and asynchronous writers. in JB Pedersen, K Chalmers, JF Broenink, B Vinter, K Vella, PH Welch, ML Smith & K Skovhede (eds), Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Concurrent Systems Engineering Series, vol. 70, IOS Press, pp. 361-375, Communicating Process Architectures 2018, Dresden, Germany, 19/08/18. https://doi.org/10.3233/978-1-61499-949-2-361

A majority vote, modelled by asynchronous readers and asynchronous writers. / Boode, Antoon H.; Broenink, Jan F.

Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). ed. / Jan Baekgaard Pedersen; Kevin Chalmers; Jan F. Broenink; Brian Vinter; Kevin Vella; Peter H. Welch; Marc L. Smith; Kenneth Skovhede. IOS Press, 2019. p. 361-375 (Concurrent Systems Engineering Series; Vol. 70).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A majority vote, modelled by asynchronous readers and asynchronous writers

AU - Boode, Antoon H.

AU - Broenink, Jan F.

N1 - Conference code: 40

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous alphabetised parallel operator X ↕ Y, which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ↕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ↕ Y preserves the advantages of the X ↕ Y operator.

AB - Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous alphabetised parallel operator X ↕ Y, which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ↕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ↕ Y preserves the advantages of the X ↕ Y operator.

KW - (Extended) vertex removing synchronised product

KW - Asynchronous and synchronous read actions

KW - Asynchronous and synchronous write actions

KW - CSP

KW - Half-synchronous alphabetised parallel operator

UR - http://www.scopus.com/inward/record.url?scp=85082387378&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-949-2-361

DO - 10.3233/978-1-61499-949-2-361

M3 - Conference contribution

AN - SCOPUS:85082387378

SN - 978-1-61499-948-5

T3 - Concurrent Systems Engineering Series

SP - 361

EP - 375

BT - Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40

A2 - Pedersen, Jan Baekgaard

A2 - Chalmers, Kevin

A2 - Broenink, Jan F.

A2 - Vinter, Brian

A2 - Vella, Kevin

A2 - Welch, Peter H.

A2 - Smith, Marc L.

A2 - Skovhede, Kenneth

PB - IOS Press

T2 - Communicating Process Architectures 2018

Y2 - 19 August 2018 through 22 August 2018

ER -

Boode AH, Broenink JF. A majority vote, modelled by asynchronous readers and asynchronous writers. In Pedersen JB, Chalmers K, Broenink JF, Vinter B, Vella K, Welch PH, Smith ML, Skovhede K, editors, Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IOS Press. 2019. p. 361-375. (Concurrent Systems Engineering Series). https://doi.org/10.3233/978-1-61499-949-2-361