CWI verbetert coördinatietechnologie om grote internetdiensten te combineren

Publicatiedatum
19 mei 2011



José Proença, promovendus van het Centrum Wiskunde & Informatica (CWI) in Amsterdam, ontwikkelde nieuwe coördinatietechnieken om efficiënt grote internetdiensten te combineren. Dit is belangrijk voor bijvoorbeeld cloud computing, waarin webdiensten een sleutelrol spelen. Ook efficiënt gebruik van multi-core-architecturen hangt af van efficiënte coördinatie. Proença verdedigde zijn proefschrift ‘Synchronous Coordination of Distributed Components’ op 11 mei aan de Universiteit Leiden. Zijn prototype open-source framework ‘Dreams’ kan door softwareontwikkelaars gebruikt worden om gedistribueerde diensten en componenten gestructureerd en onderhoudsvriendelijk te combineren.

Een gedistribueerd systeem is verdeeld in verschillende subsystemen, die elk specifieke berekeningen uitvoeren. De middelen en resultaten van deze softwarecomponenten moeten worden gecoördineerd door een coördinatielaag om een werkend systeem te vormen. Deze laag is geschreven in een coördinatietaal, zoals Reo – een krachtige coördinatietaal die is geïntroduceerd door de onderzoeksgroep Foundations of Software Engineering van het CWI. De kracht van deze taal ligt in zijn expressiviteit en modulariteit: grote systemen worden gebouwd door het samenstellen van kleine systemen. Tot nu toe was het echter moeilijk om er grote gedistribueerde systemen op te laten draaien. Proença toonde aan dat de complexe operaties die Reo beschrijft kunnen worden geïmplementeerd in grote gedistribueerde systemen. Dit illustreert de bruikbaarheid van Reo-modellen.

Resultaten
Door het werk van Proença verbetert de executie van gecombineerde diensten in gedistribueerde systemen, zowel in grootte als in snelheid. De promovendus leverde drie belangrijke bijdragen. Hij realiseerde een werkende implementatie van Reo in grote gedistribueerde systemen, waarmee het uitgebreide theoretische werk werd aangevuld met de praktijk. Daarnaast ondersteunt zijn werk ontkoppeling en eenvoudige herconfiguratie van software, wat betekent dat een systeem kan worden gesplitst in kleine, onafhankelijk van elkaar opererende subsystemen. Hierdoor zijn aanpassingen aan een werkend systeem relatief goedkoop. Ten derde presteert zijn werk beter dan eerdere pogingen, zowel in snelheid als in kosten.

CWI
Het Centrum Wiskunde & Informatica (CWI) is sinds 1946 het nationale onderzoeksinstituut voor wiskunde en informatica. Het is gevestigd op het Science Park Amsterdam en is deel van de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO). Het instituut heeft een sterke internationale positie. Ruim 150 wetenschappers doen er grensverleggend onderzoek en dragen de verkregen kennis over aan de maatschappij. Meer dan 30 van de onderzoekers zijn hoogleraar aan een universiteit. Het instituut heeft 21 spin-off bedrijven voortgebracht.

 

Meer informatie
- Promotor: prof. dr. F. Arbab (CWI en Universiteit Leiden). Co-promotoren: dr. D. Clarke (Katholieke Universiteit Leuven, Belgium) en dr. E.P. de Vink (Techische Universiteit Eindhoven en CWI). Het promotieonderzoek is gefinancierd door de Portugese Fundação para a Ciência e Tecnologia (FCT).

- Websites: http://reo.project.cwi.nl/ (Reo project), http://people.cs.kuleuven.be/~jose.proenca/ (huidige homepage van José Proença) en http://www.cwi.nl/sen3 (onderzoeksgroep Foundations of Software Engineering van het CWI).