糖果派对

Computere udveksler hele tiden informationer med andre computere, og samfundet er dybt afh忙ngigt af s氓danne forbundne systemer, som giver adgang til applikationer og delte programmer. Det er takket v忙re dem, at vi kan overf酶re penge, chatte med familien, se en film, kontrollere industrielle processer og meget andet.

Tilsyneladende fungerer det gnidningsfrit, n氓r computere skal udveksle oplysninger med hinanden. Men det er kun tilsyneladende, for i kulissen knokler programm酶rer mere og mere febrilsk med at udvikle software programmer, der kan f氓 alle vores forskellige computere og systemer til at udveksle de n酶dvendige beskeder ved at f酶lge nogle n酶je designede koordineringsplaner.

Professor Fabrizio Montesi fra Institut for Matematik og Datalogi kaldes disse planer for koreografier, fordi opgaven minder om en koreografs, der skal s酶rge for, at alle dansere i en trup tager deres specifikke trin p氓 det rette tidspunkt, s氓 ingen st酶der ind i hinanden 鈥� s氓 dansen g氓r gnidningsfrit og uproblematisk.

- Problemet er, at vi i dag ikke har nogen effektive programmeringssprog til at skrive computer koreografier. I stedet programmerer vi manuelt de skridt, som hver enkelt computer skal udf酶re, og s氓 h氓ber vi ellers, n氓r alle computerne er blevet forbundne, at alle de manuelt indtastede skridt vil integreres og danne den koreografi, vi havde t忙nkt. Det er en utroligt kompleks opgave, selv for eksperter, siger Fabrizio Montesi.

Med den approach kan tingene let g氓 galt, mener Montesi:

- Hvis det g氓r galt, kan prisen v忙re alt fra irritation hos brugeren til tab af penge og private oplysninger, hvis f酶lsomme data havner et forkert sted eller i v忙rste tilf忙lde; tab af liv, hvis der opst氓r fejl i apps, der fx skal s酶rge for overv氓gning af indlagte patienter.

De rigtige instruktioner til computerne

Udfordringen er at komme alle disse usikkerheder til livs. Og for Fabrizio Montesi ligger løsningen i at udvikle et præcist programmeringssprog, som kan skrive koreografier, der kan følges af alle forbundne computere.

Med ERC-bevillingen kan Montesi nu arbejde videre med en lovende metode, som han er fadder til og har forsket i i mere end ti år: choreographic programming.

Med den metode kan programmører fokusere på at skrive de koreografier, som de vil have computerne til at følge, og så ellers overlade til et automatisk værktøj, en såkaldt compiler, at generere de rigtige instruktioner til de enkelte computere.

Mere sikkerhed i systemerne

M氓let er at sikre, at computersystemerne arbejder korrekt sammen ved at lade dem koordinere med hinanden gennem netv忙rk uden fejl. Lykkes det, vil programm酶rer blive meget mere effektive til at udvikle forbundne systemer, og det vil ogs氓 酶ge systemernes sikkerhed.

- Med denne bevilling vil vi nu forts忙tte vores forskning i den n酶dvendige teori og praksis, s氓 vi kan g酶re koreografisk programmering anvendelige for real-world forbundne systemer, og det med en h酶j grad af sikkerhed. Koreografisk programmering st氓r p氓 skuldrene af mange brilliante ideer, som er fostret i forskningsmilj酶er for programmeringssprog, concurrency theory, forbundne systemer og software udvikling. Det er virkelig sp忙ndende for mig at arbejde videre med at g酶re alle disse ideer til virkelighed, siger Fabrizio Montesi.

European Research Council (ERC) blev dannet af EU i 2007 og har til form氓l at st酶tte excellent forskning i Europa. ERC uddeler fire forskellige bevillinger: Starting Grants, Consolidator Grants, Advanced Grants and Synergy Grants. I 2023 har 308 forskere modtaget et Consolidator Grant.