The Voting Farm: A Distributed Class for Software Voting
Vincenzo De Florio

TL;DR
The paper introduces a distributed software voting class for multi-threaded environments, enabling reliable voting mechanisms in systems like NMR, with a focus on ease of setup and message exchange transparency.
Contribution
It presents a novel C class implementing a distributed voting farm that simplifies setup and management of voting systems in multi-threaded environments.
Findings
Provides a software module for distributed voting in multi-threaded systems
Enables transparent message exchange and setup of voting farms
Supports reliable system configurations like NMR systems
Abstract
This document describes a class of C functions implementing a distributed software voting mechanism for EPX or similar message passing multi-threaded environments. Such a tool may be used for example, to set up a restoring organ, i.e., an NMR (i.e., N-module redundant) system with N voters. In order to describe the tool we start defining its basic building block, the voter. A voter is defined as a software module connected to one user module and to a farm of fellow voters arranged into a clique. By means of the functions in the class the user module is able: to create a static "picture" of the voting farm, needed for the set up of the clique; to instantiate the local voter; to send input or control messages to that voter. No interlocutor is needed other than the local voter. The other user modules are supposed to create coherent pictures and instances of voters on other nodes of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Security and Verification in Computing
