Blar i Department of Electrical and Computer Engineering (TN-IDE) på emneord "distributed systems"

Viser treff 1-8 av 8

    • A Practical Analysis of the Gorums Framework: A Case Study on Replicated Services with Raft 

      Pedersen, Sebastian Mæland (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 

      Jothen, Stephen Michael (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 

      Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (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 

      Nygaard, Racin (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 

      Severinsen, Fredrik Wæhre (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 

      Lea, Tormod Erevik (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 

      Bakkevig, Eivind (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 

      Frausing, Tor Christian (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 ...