Computer-Code aktuell halten, automatisch und ohne Magie?
Speakers:
Dr. Michele Martone (Research Software Engineer (Wiss. Mitarbeiter), Leibniz Supercomputing Centre (Leibniz Rechenzentrum)) / Homepage
Scheduled time: Sunday, 12:00 - Room V3 - Duration 60 Min.
Das Leibniz Rechenzentrum (Leibniz Supercomputing Centre) betreibt Hochleistungsrechner für die Wissenschaft.
Programme für solche Rechner brauchen konstante Pflege, um an neue Prozessoren wie etwa Graphics Processing Units (GPU), angepasst zu werden.
Das braucht Zeit, kann teuer werden, und leider können sich beim Umschreiben auch noch Fehler einschleichen.
Zusammen mit dem Forschungsinstitut INRIA in Paris wurden am LRZ erste Lösungen erarbeitet:
INRIA hat formalisierte Verfahren zum Umschreiben von Code entwickelt und hält damit unter anderem seit Jahren das Betriebssystem "Linux" aufrecht.
Mit Hilfe des "Coccinelle" System wurden diese Methoden nun verfeinert und auf neue Programmierfelder, etwa Wissenschaftscodes, ausgeweitet.
Dieser Vortrag richtet sich primär an Einsteiger und ist auch für totale Laien geeignet:
Vorkenntnisse in Programmieren sind nicht erforderlich.
Der Vortrag wird die Konzepte von langsamem und schnellem Code einführen.
Wir werden uns die "diff" und "patch" Utilities kurz ansehen.
Dann werden wir per Hilfe von Analogien, Schritt für Schritt sehen, was sind "semantic patches" (unser Forschungsgebiet) und warum sie sehr mächtig sein können.
Der Vortrag konnte auch für Programmierer interessant sein, die das Konzept von Coccinelle noch nicht kennen, aber vielleicht lernen möchten, um danach damit kräftige "Refactorings" zu betreiben.
p.s.: Da ich kein Muttersprachler Deutsch bin, bitte um etwas extra sprachlicher Geduld :-)
Desired previous knowledge: Keine Vorkenntnisse.
Dies soll absichtlich ein didaktischer Vortrag für Laien sein.
Supplemental material: Slides (1286 KiB)
