Sieve protocol: a modular approach to replicating non-deterministic applications in a Byzantine Fault-Tolerant system


Sieve protocol: a modular approach to replicating non-deterministic applications in a Byzantine Fault-Tolerant system

classic project

Author

Abstract

This project considers a modular approach for dealing with non-determinism in replicated services, where some processes are subject to faults and arbitrary behaviour (so-called Byzantine faults), with an implementation of the protocol Sieve by IBM (Cachin et al., 2016). This approach doesn’t require any changes to the potentially non-deterministic application (and neither access to its internal data) for filtering out non-deterministic operations. It ensures that all correct processes produce the same outputs and that their internal states do not diverge. The chosen programming language is Python and the system is runnable locally.

Outcome

Course

— a.y.

2020/2021

— credits

6

— cycle

2nd cycle

— language

wgb.gif

teachers

— professor

Andrea Omicini

— other professors

Roberta Calegari

— tutors

Giovanni Ciatto

context

— university

Alma Mater Studiorum-Università di Bologna

— campus

Cesena

— department / faculty / school

DISI

— 2nd cycle

8614 Ingegneria e scienze informatiche 

URLs

AMS page  |  course on Virtuale  |  virtual room  |  course timetable

IDs

— course ID

91410

related courses

— components

Autonomous Systems (Module 1) (2nd Cycle, 2020/2021) — Andrea Omicini  |  Autonomous Systems (Module 2) (2nd Cycle, 2020/2021) — Roberta Calegari

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY