Rektor Linda Nielsen Københavns Universitet Nørregade 10 1017 ...

A. Beskrivelse af kernefeltet:
A.1 Institutionens navn: Københavns Universitet, Datalogisk Institut
A.2 Kontaktperson: Stig Skelboe
A.3 Tlf 35 32 14 49
A.4 E-mail: stig@diku.dk
A.5 Kernefeltets navn: Distribuerede Software
Nuværende kernefelt
A.6 Fagligt fokus:
Moderne praktiske anvendelser af datalogi præges i stigende grad af opgaver, hvor
data skal indsamles og beregninger foretages på mange separate computere, der må
kommunikere indbyrdes, såkaldt distributed computing. Eksempler, der kendes af
offentligheden i bred forstand, inkluderer Internet, fildelingsnetværk, sensornetværk,
og kommunikation og koordination mellem husholdningsapparater ("det intelligente
hus").
Endvidere spiller distribution en stadig større rolle i sammenhænge hvor en
beregningsmæssig opgave ikke i sig selv er af distribueret karakter, men kræver så
megen regnekraft (f.eks. analyse af satellitdata eller acceleratoreksperimenter), at
den i praksis bedst løses ved at distribuere regnearbejdet over flere, ofte geografisk
adskilte, computere ("grid computing"). Denne model er også interessant for mindre
virksomheder, der ikke har et konstant højt forbrug af regnekraft, men lejlighedsvis
har behov for at trække på store beregningsressourcer (f.eks. ifm. biokemiske
simulationer). Omvendt kan en virksomhed i perioder sælge evt. overskudskapacitet
på det åbne marked, på linie med f.eks. elektricitetsproduktion.
Sådanne opgavetyper fordrer metoder, der i høj grad adskiller sig fra traditionel
datalogi baseret på arbejde i en maskine med kun én processor. Mange års erfaring
har afdækket, at kommunikation og koordination af mange processer og brugere er
vanskelig at gøre korrekt (uden fejl i output eller opførsel), og konsekvent effektivt
(da der uhyre let introduceres unødig ventetid). Imidlertid har de sidste 20 års
forskning inden for programmeringssprog og distribution også frembragt såvel
matematiske modeller som praktiske erfaringer, der faciliterer, eller endda
garanterer korrekt og effektiv software. Tillige har forskning inden for grafisk
simulation (til f.eks. videnskabelig visualisering eller computerspil) i stigende grad
benyttet sig af metoder, der er specialiseret til afvikling på distribuerede strukturer.
Kernefeltets forskning sigter derfor dels mod at understøtte infrastrukturen i
distribuerede anvendelser, med særligt fokus på formaliseret sikkerhed,
tilgængelighed og korrekthed, og dels mod parallelisering af konventionelle
beregningsprocesser, så de med stadig større fordel kan fordeles ud over flere
processorer. Kernefeltet omfatter i sagens natur også metodologier for distribueret
konstruktion af software, herunder integration af uafhængigt udviklede
komponenter, og understøttelse af kollaborativ udvikling efter f.eks. open-source
modellen.
Flere forskningsgrupper ved DIKU undersøger aspekter af distribution med
anvendelse af egne resultater og forskningsmetoder. Den traditionelle ekspertise
Dok-id. 354956