Sprungmarken

Service navigation

Fakultät für Informatik SSG Logo

Hauptnavigation


Sie sind hier:

Bereichsnavigation

Hauptinhalt

Konzepte von Betriebssystem-Komponenten - Abstraktionen in Betriebssystemen

Inhalt des Seminars

Das Seminar beschäftigt sich mit aktueller Forschung zu verschiedensten Abstraktionen in Betriebssystemen. Um Abschirmung von bzw. Vermittlung zwischen Hardware und Anwendungsprogrammen zu ermöglichen, verwalten Betriebssysteme verschiedenartigste Betriebsmittel. Diese Verwaltung erfolgt durch abstrakte Repräsentation tatsächlicher Hardware- oder Umweltressourcen.

Das Seminar bietet einen Einblick in aktuelle Forschung bezügliche solcher abstrakten Repräsentationen unterschiedlichster Ressourcen, wie beispielsweise Zeit, Energie und verschiedene Speicherarten. Zu jedem Ressourcen-Schwerpunkt werden mehrere Themen behandelt, die jeweils mehrere Forschungsarbeiten aus dem Systems-Bereich diskutieren.
Die Anmeldung zum Seminar erfolgt hier.

Die am Seminar teilnehmenden Studierenden wählen, ob sie den Vortrag und die Ausarbeitung auf Deutsch oder Englisch erstellen.

Note: The students participating in the seminar are free to choose German or English as language for their presentation and paper.

Die nachfolgende Liste enthält Vorschläge für mögliche Themen, die im Rahmen des Seminars bearbeitet werden können. Bei Interesse an einem bestimmten Thema kann dieses verbindlich per E-Mail an mich reserviert werden. Die Vergabe der Themen erfolgt nach dem Windhundverfahren (First-Come-First-Serve-Prinzip). Gerne können eigene Themen vorgeschlagen werden.

Hinweis: Die hier verlinkten Papiere sind unter Umständen hinter Bezahlschranken und nur aus den Netzen der Universität aufrufbar. Bei Zugriffsproblemen bitte per E-Mail an mich wenden.

Resource Abstractions

Abstractions in General

(reserviert) Enberg, Pekka, Ashwin Rao, and Sasu Tarkoma. I/O Is Faster Than the CPU: Let’s Partition Resources and Eliminate (Most) OS Abstractions. In Proceedings of the 17th Workshop on Hot Topics in Operating Systems (HotOS '19), pages 81–87, 2019.


Concurrency Modelling

(reserviert) Nemitz, Catherine E., Tanya Amert, Manish Goyal, and James H. Anderson. Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting. In Proceedings of the 27th International Conference on Real-Time Networks and Systems (RTNS '19), pages 187–97, 2019.


Deterministic Resource Access

(reserviert) Zuepke, Alexander, and Robert Kaiser. Deterministic Futexes: Addressing WCET and Bounded Interference Concerns. In Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '19), pages 65–76, 2019.

Memory Abstractions

Scratchpad Awareness

(reserviert) Tabish, Rohan, Renato Mancuso, Saud Wasly, Ahmed Alhammad, Sujit S. Phatak, Rodolfo Pellizzoni, and Marco Caccamo. A Real-Time Scratchpad-Centric OS for Multi-Core Embedded Systems In Proceedings of the 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '16), pages 1–11, 2016.

(reserviert) Gracioli, Giovani, Rohan Tabish, Renato Mancuso, Reza Mirosanlou, Rodolfo Pellizzoni, and Marco Caccamo. Designing Mixed Criticality Applications on Modern Heterogeneous MPSoC Platforms. In Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS '19), pages 27:1–27:25, 2019.


Memory-Centric Scheduling

(reserviert) Pellizzoni, Rodolfo, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, and Russell Kegley. A Predictable Execution Model for COTS-Based Embedded Systems. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '11), pages 69–79, 2011.

(reserviert) Rivas, Juan M, Joël Goossens, Xavier Poczekajlo, and Antonio Paolillo. Implementation of Memory Centric Scheduling for COTS Multi-Core Real-Time Systems. In Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS '19), pages 7:1–7:23, 2019.

Gero Schwäricke, Tomasz Kloda, Giovani Gracioli, Marko Bertogna, and Marco Caccamo. Fixed-Priority Memory-Centric Scheduler for COTS-Based Multiprocessors. In Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS '20), pages 1:1--1:24, 2020.


Data Awareness

(reserviert) Barbalace, Antonio, Javier Picorel, and Pramod Bhatotia. ExtOS: Data-Centric Extensible OS In Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys ’19), pages 31–39, 2019.


Cache Awareness

(reserviert) Borghorst, Hendrik, and Olaf Spinczyk. Increasing the Predictability of Modern COTS Hardware through Cache-Aware OS-Design. In Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15), pages 41-44, 2015.

(reserviert) Borghorst, Hendrik, and Olaf Spinczyk. CyPhOS – A Component-Based Cache-Aware Multi-Core Operating System In Proceedings of the 32nd International Conference on Architecture of Computing Systems (ARCS '19), pages 171–182, 2019.

Time Abstractions

Schedule as a Resource

(reserviert) Lyons, Anna, Kent McLeod, Hesham Almatary, and Gernot Heiser. Scheduling-Context Capabilities: A Principled, Light-Weight Operating-System Mechanism for Managing Time. In Proceedings of the 13th European Conference on Computer Systems (EuroSys '18), pages 1–16, 2018.


Representing Timers

(reserviert) Patel, Pratyush, Manohar Vanga, and Bjorn B. Brandenburg. TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference. In Proceedings of the 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '17), pages 3–12, 2017.


Scheduling Security

(reserviert) Chen, Chien-Ying, Sibin Mohan, Rodolfo Pellizzoni, Rakesh B. Bobba, and Negar Kiyavash. A Novel Side-Channel in Real-Time Schedulers. In Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '19), pages 90–102, 2019.

(reserviert) Yoon, Man-Ki, Sibin Mohan, Chien-Ying Chen, and Lui Sha. TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. In Proceedings of the 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '16), pages 1–12, 2016.

Energy Abstractions

Intermittent Execution

(reserviert) Lucia, Brandon, and Benjamin Ransford. A Simpler, Safer Programming and Execution Model for Intermittent Systems. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '15), pages 575–585, 2015.

(reserviert) Maioli, Andrea, Luca Mottola, Muhammad Hamad Alizai, and Junaid Haroon Siddiqui. On Intermittence Bugs in the Battery-Less Internet of Things. In Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '19), pages 203–207, 2019.

Reliability Abstractions

Process-Level Redundancy

(reserviert) Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Joseph Blomstedt, and Daniel A. Connors Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance. In 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), pages 297-306, 2007.


Robust Operating Systems

(reserviert) Martin Hoffmann, Florian Lukas, Christian Dietrich, and Daniel Lohmann. dOSEK: the design and implementation of a dependability-oriented static embedded kernel. In Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '15), pages 259-270, 2015.

Quantum Abstractions

Quantum Operating Systems

(reserviert) Henry Corrigan-Gibbs, David J. Wu, and Dan Boneh Quantum Operating Systems. In Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS '17), pages 76-81, 2017.