Browsing Department of Electrical and Computer Engineering (TN-IDE) by Subject "distributed systems"
Now showing items 1-8 of 8
-
A Practical Analysis of the Gorums Framework: A Case Study on Replicated Services with Raft
(Masteroppgave/UIS-TN-IDE/2017;, Master thesis, 2017-06-15)Gorums is a novel RPC framework developed to make it easier to build fault tolerant distributed systems. We want to assess whether Gorums can simplify the implementation of a practical fault tolerant service that supports ... -
Acropolis: aggregated client request ordering by Paxos
(Masteroppgave/UIS-TN-IDE/2013;, Master thesis, 2013)The consensus problem is one of the most central problems in distributed system. Paxos, an algorithm that solves this problem, can be used to im- plement replicated state machines (RSMs). By running Paxos for each of the ... -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
(Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
Distributed Storage with Strong Data Integrity based on Blockchain Mechanisms
(Masteroppgave/UIS-TN-IDE/2018;, Master thesis, 2018-06-15)A blockchain is a datastructure that is an append-only chain of blocks. Each block contains a set of transaction and has a cryptographic link back to its predecessor. The cryptographic link serves to protect the integrity ... -
Goxos Reliable Datagram Protocol
(Masteroppgave/UIS-TN-IDE/2016;, Master thesis, 2016-06)Multiple computers working together as a single distributed system is becoming increasingly common. State machine replication is an approach used to ensure fault tolerance in such distributed systems. Goxos is a framework, ... -
Implementation and experimental evaluation of live replacement and reconfiguration
(Masteroppgave/UIS-TN-IDE/2013;, Master thesis, 2013)State machine replication is a common applied technique for building fault-tolerant services. The technique uses a collection of replicas to mask failures. All replicas are provided the same sequence of operations (requests), ... -
Implementing a Distributed Key-Value Store Using Corums
(Masteroppgave/UIS-TN-IDE/2020;, Master thesis, 2020-06)Corums is a novel framework made for simplifying the process of building fault-tolerant systems. In this thesis, we investigate whether Corums is suitable for implementing a practical fault-tolerant service by using it to ... -
Reconfiguration Abstractions for Gorums
(Masteroppgave/UIS-TN-IDE/2018;, Master thesis, 2018-06-15)To provide the high availability expected of a modern data service, the service needs to be capable of adapting to a multitude of scenarios, e.g., increased demand and unexpected failures. A common technique for mitigating ...