< Terug naar vorige pagina
Project
Software programmeer technieken voor sterk eventueel consistente gerepliceerde data types (FWOSB90)
Tegenwoordig gebruiken gedistribueerde systemen steeds vaker gedecentraliseerde architecturen. In deze architecturen wordt data gerepliceerd (gekopieerd) over verschillende delen van het systeem. Dit zorgt voor schaalbaarheid en een betere beschikbaarheid van het systeem. Helaas zorgt replicatie ook voor een toename in
complexiteit doordat gelijktijdige aanpassingen tot conflicten kunnen leiden.
Sterk eventuele consistentie (SEC) is een consistentie model waarbij conflicten vermeden worden, beschikbaarheid gegarandeerd wordt en consistentie eventueel gewaarborgd is. Alhoewel gerepliceerde datastructuren die SEC gebruiken interessant zijn omwille van hun hoge beschikbaarheid en lage latentie, gaat het overgrote deel van hun onderzoek over formele specificaties. Programmeerondersteuning voor SEC is miniem, wat leidt tot een hoge barrière dat overwonnen moet worden vooraleer men SEC kan gebruiken in applicaties. Dit is voornamelijk omdat bestaande programmeer bibliotheken geen ondersteuning bieden voor communicatie beheer, geheugen beheer en beveiliging.
Wij stellen voor om een middleware te ontwikkelen waarmee SEC data types gebouwd kunnen worden. Deze zal ondersteuning bieden voor taal mechanismes zoals replicatie, geheugenbeheer en beveiliging. Door de implementatie van SEC data types te verbeteren zullen applicatieontwikkelaars kunnen focussen op hun applicatielogica, in plaats van low-level replicatie problemen.
complexiteit doordat gelijktijdige aanpassingen tot conflicten kunnen leiden.
Sterk eventuele consistentie (SEC) is een consistentie model waarbij conflicten vermeden worden, beschikbaarheid gegarandeerd wordt en consistentie eventueel gewaarborgd is. Alhoewel gerepliceerde datastructuren die SEC gebruiken interessant zijn omwille van hun hoge beschikbaarheid en lage latentie, gaat het overgrote deel van hun onderzoek over formele specificaties. Programmeerondersteuning voor SEC is miniem, wat leidt tot een hoge barrière dat overwonnen moet worden vooraleer men SEC kan gebruiken in applicaties. Dit is voornamelijk omdat bestaande programmeer bibliotheken geen ondersteuning bieden voor communicatie beheer, geheugen beheer en beveiliging.
Wij stellen voor om een middleware te ontwikkelen waarmee SEC data types gebouwd kunnen worden. Deze zal ondersteuning bieden voor taal mechanismes zoals replicatie, geheugenbeheer en beveiliging. Door de implementatie van SEC data types te verbeteren zullen applicatieontwikkelaars kunnen focussen op hun applicatielogica, in plaats van low-level replicatie problemen.
Datum:1 nov 2019 → 31 jan 2024
Trefwoorden:Distributed systems, replication and consistency, security
Disciplines:Cryptografie, privacy en beveiliging, Systeemsoftware en middleware, Gedistribueerde systemen, Datamodellen, Taalontwerp, -constructies en -eigenschappen