Nettsider med emneord «distributed systems»

Publisert 11. juli 2022 16:05
Publisert 11. juli 2022 16:01
Publisert 29. mars 2022 12:49
Publisert 24. jan. 2022 12:11
Publisert 24. jan. 2022 12:10
Publisert 10. des. 2021 12:42
Publisert 8. des. 2021 14:31
Publisert 3. feb. 2021 16:28
Publisert 3. feb. 2021 16:24
Publisert 9. okt. 2020 11:20
Publisert 9. okt. 2020 11:17
Publisert 27. nov. 2019 11:50
Publisert 27. nov. 2019 11:50
Publisert 22. aug. 2018 17:10
Publisert 8. nov. 2017 15:30
Publisert 23. sep. 2016 13:45

by Lars Tveito

Real-time collaboration allows multiple users to view and edit a document simultaneously over a network. In this thesis, we develop a new protocol, called Shared Buffer, which enables real-time collaboration in existing editors. Shared Buffer leverages a client-server architecture and minimizes the implementation effort of the client-side algorithm. It achieves this without degrading the responsiveness of the editor.

The greatest challenge of a real-time collaborative system is ensuring consistency between the distributed copies of the document. We chose eventual consistency as the consistency model, which essentially states that if all users stop typing, then eventually they will look at the same document.

We apply a formal verification technique called model checking, using it as a tool to validate the protocol. The behavior of the system is formally specified in Maude, a language based on equational and rewriting logic. Linear Temporal Logic (LTL) is used to formalize the consistency model. Using the Maude LTL model checker, we have verified that the system exhibits eventual consistency for a limited number of clients and operations.

A Shared Buffer server has been implemented in Clojure, a modern functional language with strong support for concurrency. Client implementations have been developed as an extension for Emacs, a widely used text editor, and as a library for the Python programming language.

Publisert 22. sep. 2016 12:04

This research topic provides three different topics for Master Theses

Publisert 3. des. 2015 14:39
Publisert 3. des. 2015 14:38
Publisert 16. aug. 2015 21:30

"Modelling Tools and Programming languages for Internet of Things"

Publisert 9. nov. 2010 10:47