- Titel
- High Performance and Dependable Asynchronous Communication on Multi-Core Systems
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-947064
- Datum der Einreichung
- 22.07.2024
- Datum der Verteidigung
- 22.11.2024
- Abstract (EN)
- Asynchronous communication plays a crucial role in multi-threaded applications such as operating systems, databases, networks, and language runtimes, enabling data transfer, task distribution, and component decoupling. However, with the waning of Moore's Law and the rise of heterogeneous multi-core architectures, existing methods face challenges, including performance issues when dealing with cache and memory hierarchies and leveraging modern hardware instructions, as well as correctness issues due to the increasing complexity when coevolving with modern architectures (e.g., weak memory models). This thesis investigates the problem of how to design and implement high-performance and dependable asynchronous communication components for multi-core systems and presents novel methods and algorithms to address these challenges. We have invented several queues, including block-based queue (BBQ), concurrent nested queue (CNQ), and block-based work-stealing queue (BWoS), which are verified and optimized using a model-checking-based framework. These queues have been successfully integrated into real-world applications, including DPDK, Linux IO_uring, Java GC, and Go and Rust runtimes. Our experiments demonstrate significant end-to-end performance improvement for industrial software over state-of-the-art approaches.
- Verweis
- Link: https://www.usenix.org/conference/osdi23/presentation/wang-jiawei
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing - BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling
Link: https://www.usenix.org/conference/atc22/presentation/wang-jiawei - Freie Schlagwörter (EN)
- asynchronous communication, block-based, multi-core, concurrency, verification
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 151
- ST 185
- GutachterIn
- Prof. Dr. Hermann Härtig
- Dr. Tim Harris
- BetreuerIn Hochschule / Universität
- Prof. Dr. Hermann Härtig
- BetreuerIn - externe Einrichtung
- Dr. Ming Fu
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-947064
- Veröffentlichungsdatum Qucosa
- 14.01.2025
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0