dc.contributor.advisor | Georgiou, Chryssis | en |
dc.contributor.author | Charalampous, Andreas | en |
dc.coverage.spatial | Cyprus | en |
dc.date.accessioned | 2023-02-09T06:37:00Z | |
dc.date.available | 2023-02-09T06:37:00Z | |
dc.date.issued | 2022-07 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/65450 | en |
dc.description.abstract | Distributed computing has been in the foreground for decades, with distributed systems having numerous applications. Due to their architecture, one fundamental
problem that these systems often need to solve is the consensus problem. To accomplish that, the nodes of such a system must cooperate to decide on a value.
A significant percentage of the system nodes should agree on the same value. An impediment to this is that it should expect some of these nodes to act arbitrarily,
deviating from their expected behavior, leading to the whole system deciding on an invalid value during consensus. These nodes are called Byzantine or faulty, and their
malicious act may happen because of some internal software or hardware malfunction or a malware attack. A fundamental property of distributed systems is that their non-faulty nodes can achieve consensus in the presence of Byzantine nodes.
Another property of a Distributed System is Self Stabilization and how the system behaves to handle errors. Such self-stabilizing systems can automatically recover from
arbitrary transient faults, violating the system operation assumptions. Examples of such faults might be simple bit-flips in state variables or messages, but with the code
left induct.
In this thesis, a self-stabilizing Multivalued consensus algorithm is implemented, validated, and experimentally evaluated in the presence of up to t Byzantine processes, where t < n/3, with n being the total number of processes. Consensus is performed on an asynchronous message-passing network using the Go programming
language and the ZeroMQ message library. Experiments are performed on a local workstation and the Emulab testbed platform. | en |
dc.language.iso | eng | en |
dc.publisher | Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences | |
dc.rights | CC0 1.0 Universal | * |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.rights | Open Access | en |
dc.rights.uri | http://creativecommons.org/publicdomain/zero/1.0/ | * |
dc.title | Implementation, validation, and experimental evaluation of a self-stabilizing Byzantine-tolerant multivalued consensus algorithm | en |
dc.type | info:eu-repo/semantics/masterThesis | en |
dc.contributor.committeemember | Marcoullis, Ioannis | en |
dc.contributor.committeemember | Pallis, George | en |
dc.contributor.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.subject.uncontrolledterm | DISTRIBUTED SYSTEMS | en |
dc.subject.uncontrolledterm | CONSENSUS | en |
dc.subject.uncontrolledterm | MULTIVALUED CONSENSUS | en |
dc.subject.uncontrolledterm | BYZANTINE FAULT TOLERANCE | en |
dc.subject.uncontrolledterm | TRANSIENT ERRORS | en |
dc.subject.uncontrolledterm | SELF STABILIZATION | en |
dc.subject.uncontrolledterm | ZEROMQ | en |
dc.subject.uncontrolledterm | EMULAB | en |
dc.subject.uncontrolledterm | CLOUDLAB | en |
dc.author.faculty | Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Master Thesis | en |
dc.contributor.orcid | Georgiou, Chryssis [0000-0003-4360-0260] | |