E-CoRe Energibevidst reversibel beregning
Forbereder den reversibele beregningsrevolution. Uddanner den næste generation af eksperter til at gøre computing bæredygtig.
Energieffektiv beregning via reversibilitet
Pionerer for fremtidens bæredygtige computing
Global energi fra IT
Energiudfordringen
Energi er en afgørende bekymring i det nuværende samfund.
Begrænsede naturressourcer og høje produktionsomkostninger fører til energimangel. Energiforbrug forårsager komplekse og uønskede fænomener som forurening og global opvarmning.
IT står for en overraskende stor del af det globale energiforbrug — estimeret til 10%. Derfor er energieffektivitet i computing et kritisk og nødvendigt forskningsområde, kaldet grøn computing.
Den reversibele beregningsrevolution
Fysikkens love — Landauers princip i særdeleshed — fastlægger en nedre grænse for den mængde energi, der kræves for at udføre en irreversibel beregning, proportional med antallet af bits information, den kasserer.
Klassisk computing kasserer store mængder information (f.eks. x=0 på 64 bits kasserer 64 bits), mens reversibel computing (RC) ikke kasserer noget og undgår Landauers nedre grænse.
Selvom den fraktion af energi tabt på grund af Landauers princip i øjeblikket er lille (~1‰), vil den blive mere relevant, når hardware-teknologien forbedres. RC vil blive en hovedaktør i søgen efter energieffektiv computing.
Forberedelse til RC-revolutionen
Verden, EU-forskning og softwareindustrien er endnu ikke klar til den reversibele beregningsrevolution.
RC er et ungt og relativt lille område, men med potentielle gennembrudsapplikationer inden for robotik, fejlfinding og parallel simulering. Reversible programmeringssprog findes, men de er på stadiet af akademiske prototyper og mangler centrale elementer som fejlhåndtering og modularitet, biblioteker af relevante algoritmer og højniveau værktøjsunderstøttelse.
E-CoRe sigter mod at forberede RC-revolutionen ved at danne et fællesskab af eksperter med dyb forståelse af RC-finesser, som vil forbedre og popularisere RC-sprog, algoritmer og arkitekturer — særligt i energikrævende applikationer som maskinlæring, blockchains og droner.
Ud over energieffektivitet gavner RC også andre aspekter af software: nemmere fejlfinding, pålidelighed og sikkerhed.
Videnskabelig struktur
Projektet er struktureret i 4 arbejdspakker
Arkitekturer
Reversible computing-arkitekturer og hardware-design.
Sprog
Reversible programmeringssprog og værktøjsunderstøttelse.
Algoritmer
Biblioteker og algoritmer til reversibel beregning.
Applikationer
Energikrævende applikationer: ML, blockchains, droner.
Udforsk muligheder
Tilmeld dig E-CoRe-netværket og form fremtiden for energieffektiv computing.