A majority vote: modelled by asynchronous readers and asynchronous writers

Research output: Contribution to conferencePaperAcademicpeer-review

17 Downloads (Pure)

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 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 languageEnglish
Pages71-85
Number of pages15
Publication statusPublished - 22 Aug 2018
EventCommunicating Process Architectures 2018: 40th WoTUG conference on concurrent and parallel systems - Technische Universität Dresden, Dresden, Germany
Duration: 19 Aug 201822 Aug 2018
Conference number: 40

Conference

ConferenceCommunicating Process Architectures 2018
Abbreviated titleCPA 2018
CountryGermany
CityDresden
Period19/08/1822/08/18

Fingerprint

Asynchronous
Writer
Reader
Operator
Indexing
Process of Reading
Symbol

Keywords

  • CSP algebra
  • Half-Synchronous Alphabetised Parallel Operator
  • Asynchronous and Synchronous Write Actions
  • Asynchronous and Synchronous Read Actions
  • (Extended) Vertex Removing Synchronised Product

Cite this

Boode, A. H., & Broenink, J. F. (2018). A majority vote: modelled by asynchronous readers and asynchronous writers. 71-85. Paper presented at Communicating Process Architectures 2018, Dresden, Germany.
Boode, Antoon Hendrik ; Broenink, Johannes F. / A majority vote : modelled by asynchronous readers and asynchronous writers. Paper presented at Communicating Process Architectures 2018, Dresden, Germany.15 p.
@conference{4153a380ffa044fb9283a8f021752e3d,
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 a one-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 = "CSP algebra, Half-Synchronous Alphabetised Parallel Operator, Asynchronous and Synchronous Write Actions, Asynchronous and Synchronous Read Actions, (Extended) Vertex Removing Synchronised Product",
author = "Boode, {Antoon Hendrik} and Broenink, {Johannes F.}",
year = "2018",
month = "8",
day = "22",
language = "English",
pages = "71--85",
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 2018, 'A majority vote: modelled by asynchronous readers and asynchronous writers' Paper presented at Communicating Process Architectures 2018, Dresden, Germany, 19/08/18 - 22/08/18, pp. 71-85.

A majority vote : modelled by asynchronous readers and asynchronous writers. / Boode, Antoon Hendrik; Broenink, Johannes F.

2018. 71-85 Paper presented at Communicating Process Architectures 2018, Dresden, Germany.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - A majority vote

T2 - modelled by asynchronous readers and asynchronous writers

AU - Boode, Antoon Hendrik

AU - Broenink, Johannes F.

PY - 2018/8/22

Y1 - 2018/8/22

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 a one-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 a one-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 - CSP algebra

KW - Half-Synchronous Alphabetised Parallel Operator

KW - Asynchronous and Synchronous Write Actions

KW - Asynchronous and Synchronous Read Actions

KW - (Extended) Vertex Removing Synchronised Product

UR - http://wotug.cs.unlv.edu

M3 - Paper

SP - 71

EP - 85

ER -

Boode AH, Broenink JF. A majority vote: modelled by asynchronous readers and asynchronous writers. 2018. Paper presented at Communicating Process Architectures 2018, Dresden, Germany.