E-CoRe Calcul réversible économe en énergie
Préparer la révolution du calcul réversible. Former la prochaine génération d'experts pour un informatique durable.
Calcul économe en énergie via la réversibilité
Pionnier de l'avenir du calcul durable
Énergie mondiale de l'IT
Le défi énergétique
L'énergie est une préoccupation majeure dans la société actuelle.
Les ressources naturelles limitées et les coûts de production élevés entraînent des pénuries d'énergie. La consommation d'énergie provoque des phénomènes complexes et indésirables tels que la pollution et le réchauffement climatique.
L'informatique représente une fraction étonnamment importante de la consommation énergétique mondiale — estimée à 10%. L'efficacité énergétique en informatique est donc un domaine de recherche critique et nécessaire, appelé informatique verte.
La révolution du calcul réversible
Les lois de la physique — le principe de Landauer en particulier — fixent une borne inférieure à la quantité d'énergie nécessaire pour effectuer un calcul irréversible, proportionnelle au nombre de bits d'information qu'il rejette.
L'informatique classique rejette de grandes quantités d'information (ex. x=0 sur 64 bits rejette 64 bits), tandis que le calcul réversible (RC) n'en rejette aucune, évitant la borne inférieure de Landauer.
Bien que la fraction d'énergie perdue due au principe de Landauer soit actuellement faible (~1‰), elle deviendra de plus en plus pertinente avec l'amélioration des technologies matérielles. Le RC deviendra un acteur majeur dans la quête d'une informatique économe en énergie.
Préparer la révolution RC
Le monde, la recherche européenne et l'industrie logicielle ne sont pas encore prêts pour la révolution du calcul réversible.
Le RC est un domaine jeune et relativement restreint, mais avec des applications révolutionnaires en robotique, débogage et simulation parallèle. Des langages de programmation réversibles existent, mais ils sont au stade de prototypes académiques, manquant d'éléments clés comme la gestion des erreurs et la modularité, les bibliothèques d'algorithmes pertinents et le support d'outils de haut niveau.
E-CoRe vise à préparer la révolution RC en formant une communauté d'experts avec une compréhension approfondie des subtilités du RC, qui amélioreront et populariseront les langages, algorithmes et architectures RC — en particulier dans les applications énergivores comme l'apprentissage automatique, les blockchains et les drones.
Au-delà de l'efficacité énergétique, le RC bénéficie aussi à d'autres aspects du logiciel : facilité de débogage, fiabilité et sécurité.
Structure scientifique
Le projet est structuré en 4 lots de travail
Architectures
Architectures de calcul réversible et conception matérielle.
Langages
Langages de programmation réversibles et support d'outils.
Algorithmes
Bibliothèques et algorithmes pour le calcul réversible.
Applications
Applications énergivores : ML, blockchains, drones.
Explorer les opportunités
Rejoignez le réseau E-CoRe et façonnez l'avenir du calcul économe en énergie.