Self-stabilizing Communication Abstractions for Replicated Systems

dc.contributor.authorMuangsiri, Muangsiri
dc.contributor.authorJedvert, Oskar
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data och informationstekniksv
dc.contributor.examinerOlovsson, Tomas
dc.contributor.supervisorSchiller, Elad Michael
dc.date.accessioned2020-12-08T10:39:09Z
dc.date.available2020-12-08T10:39:09Z
dc.date.issued2020sv
dc.date.submitted2020
dc.description.abstractA self-stabilizing application can in the presence of transient faults resume its regular execution in a finite amount of time. The benefits of self-stabilizing replicated applications are becoming increasingly important as the traffic on the internet grows and the need for globally accessibly storage increases as we become more connected. There are two studied protocols, uniform reliable broadcast and set-constrained delivery broadcast. These can be used in combination to implement more powerful applications, one such example is the atomic snapshot application which is implemented and verified together with the studied protocols. By combining multiple protocols together, the implementation become more general and provide more reusability for the applications. This report validates the correctness and evaluates the performance of two selfstabilizing communication protocols as well as the applications. The main focus of the report is the correctness and performance of the studied protocols under different system settings and environments. In order to achieve this, two different environment is used for experimental evaluation and the system settings are varied across the experiments. The authors believe that the current implementation is correct, since the system is able to recover after the last occurrence of a transient fault. The recovery period is fairly short and has negligible impact on performance.sv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/302110
dc.language.isoengsv
dc.setspec.uppsokTechnology
dc.subjectsciencesv
dc.subjectcomputer sciencesv
dc.subjectengineeringsv
dc.subjectthesissv
dc.subjectself-stabilizationsv
dc.subjectfaulttolerancesv
dc.subjectreplicated systemssv
dc.subjectdistributed systemssv
dc.subjectcomputer networksv
dc.titleSelf-stabilizing Communication Abstractions for Replicated Systemssv
dc.type.degreeExamensarbete för masterexamensv
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
CSE 20-117 Jedvart Muangsiri.pdf
Storlek:
3.61 MB
Format:
Adobe Portable Document Format
Beskrivning:
License bundle
Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.14 KB
Format:
Item-specific license agreed upon to submission
Beskrivning: