The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware

Marcus VölpMarcus Völp, Sascha KlüppelholzSascha Klüppelholz, Jeronimo CastrillonJeronimo Castrillon, Hermann HärtigHermann Härtig, Nils AsmussenNils Asmussen, Uwe AßmannUwe Aßmann, Franz BaaderFranz Baader, Christel BaierChristel Baier, Gerhard FettweisGerhard Fettweis, Jochen FröhlichJochen Fröhlich, Andrés GoensAndrés Goens, Sebastian HaasSebastian Haas, Dirk HabichDirk Habich, Mattis HaslerMattis Hasler, Immo HuismannImmo Huismann, Tomas KarnagelTomas Karnagel, Sven KarolSven Karol, Wolfgang LehnerWolfgang Lehner, Linda LeuschnerLinda Leuschner, Matthias LieberMatthias Lieber, Siqi LingSiqi Ling, Steffen MärckerSteffen Märcker, Johannes MeyJohannes Mey, Wolfgang NagelWolfgang Nagel, Benedikt NöthenBenedikt Nöthen, Rafael PenalozaRafael Penaloza, Michael RaitzaMichael Raitza, Jörg StillerJörg Stiller, Annett UngethümAnnett Ungethüm, Axel VoigtAxel Voigt

Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Penaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Proc. of the 1st Workshop on Post-Moore's Era Supercomputing (PMES), 2016

Details
Bibtex

KurzfassungAbstract
Future systems based on post-CMOS technologies will be wildly heterogeneous, with properties largely unknown today. This paper presents our design of a new hardware/software stack to address the challenge of preparing software development for such systems. It combines well-understood technologies from different areas, eg, network-on-chips, capability operating systems, flexible programming models and model checking. We describe our approach and provide details on key technologies.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{VKCHAABBFFGHHHHKKLLLLMMNNPRSUV2016,
  author    = {Marcus V{\"{o}}lp and Sascha Kl{\"{u}}ppelholz and Jeronimo
               Castrillon and Hermann H{\"{a}}rtig and Nils Asmussen and Uwe
               A{\ss}mann and Franz Baader and Christel Baier and Gerhard
               Fettweis and Jochen Fr{\"{o}}hlich and Andr{\'{e}}s Goens and
               Sebastian Haas and Dirk Habich and Mattis Hasler and Immo
               Huismann and Tomas Karnagel and Sven Karol and Wolfgang Lehner
               and Linda Leuschner and Matthias Lieber and Siqi Ling and Steffen
               M{\"{a}}rcker and Johannes Mey and Wolfgang Nagel and Benedikt
               N{\"{o}}then and Rafael Penaloza and Michael Raitza and
               J{\"{o}}rg Stiller and Annett Ungeth{\"{u}}m and Axel Voigt},
  title     = {The Orchestration Stack: The Impossible Task of Designing
               Software for Unknown Future Post-CMOS Hardware},
  booktitle = {Proc. of the 1st Workshop on Post-Moore's Era Supercomputing
               (PMES)},
  year      = {2016}
}