Seminar - Predictability Issues in Operating Systems: Time, Space, Energy
School of Engineering and Computer Science Seminar
Speaker: Dr. Wolfgang Schroder-Preikschat and Timo Honig
Time: Monday 23rd September 2019 at 11:00 AM - 12:00 PM
Location: Cotton Club, Cotton 350
Predictability is always subject to the underlying assumptions being made. For real-time systems, time response of processes in relation to the strictness of deadlines is of particular importance. With an additional focus on embedded systems, space and energy requirements become relevant as well and need to be considered in combination. As far as software is concerned, structure and organisation of the programs to be executed determines whether or not predictable processes will take place in a given computing system. Design for predictability is an overarching aspect that crosscuts the whole computing system and particularly addresses operating systems.
This talk is about structuring principles of non-sequential programs - in the shape of but not limited to operating systems - to abet predetermination of quality attributes of non-sequential (real-time) processes, it is not about analytical methods to effectively predetermine these attributes. Issues in operating systems as to timing, space, and energy requirement are touched. Emphasis thereby is on coordination of cooperation and competition between processes, namely synchronisation. It is shown how measures of process synchronisation against the background of many-core processors cater to these issues.
Dr. Wolfgang Schroder-Preikschat studied computer science at the Technical University of Berlin, Germany, where he also took his doctor's degree and venia legendi. After a long-term period of extramural research at the GMDâGerman National Research Centre for Information Technology (later transferred into the Fraunhofer-Gesellschaft), Berlin, Germany, and the International Computer Science Institute (ICSI), Berkeley, USA, he became full professor for computer science at University of Potsdam, Otto von Guericke University Magdeburg, and Friedrich-Alexander-Universitat Erlangen-Nurnberg (FAU), Germany, likewise. He (co-)authored over 200 publications in the areas of operating systems, parallel systems, distributed systems, embedded systems, real-time systems, computer architecture, and software engineering. He has been working as reviewer for many international scientific conferences and journals (incl. Concurrency, TAOSD, TOCS, TPDS). In addition, he served as general chair as well as programme committee co-chair and member in numerous national and international conferences such as ATC (USENIX), EMSOFT (ACM), EuroSys (ACM), Middleware (ACM), OSDI (USENIX), and RTSS (IEEE). Dr. Schroder-Preikschat acted as officially appointed expert for the Federal Court of Justice (BGH) and has been a member of the Senate Panel and Grants Committee on Research Training Groups of the German Research Foundation (DFG). He is an elected member of the DFG Review Board on the subject area on Operating, Communication, Database, and Distributed Systems. He has a seat in the steering committee of the Embedded Systems Institute (ESI) at FAU and functions as deputy spokesman. Dr. Schroder-Preikschat is member of ACM, EuroSys, FFiF, GI, IEEE, and USENIX. His main research interest is on resource-aware (parallel) operating systems, notably process coordination, especially as to time/energy-dependable application and problem domains.
Dr. Timo Honig is Assistant Professor at Friedrich-Alexander University Erlangen-Nurnberg (FAU) in Germany where he received his Ph.D. in 2017. In the System Software Group at FAU, his research focuses on energy-aware systems. He explores techniques for energy-aware programming, the design of energy-efficient system software, and the energy demand of high-performance computing systems.
As senior software engineer and research fellow at SUSE Linux GmbH in Nurnberg (Germany) and in the Embedded Hardware Development Group at IBM Research Boblingen (Germany) he gained ten years of industry experience. At the Augsburg University of Applied Sciences (Germany) he received his Computer Science degree. As an active advocate for free and open-source software, Timo contributes articles to the Linux Magazine, and he is a member of ACM and GI.