With the omnipresence of multicore processors, developers combine various concurrency abstractions such as actors, communicating sequential processes, or fork/join programming to utilize the available parallelism. Unfortunately, when we debug such systems today, we need to reason about low-level memory accesses, locks, and thread pools, because debuggers rarely know about actors, messages, channels, or fork/join tasks.
With Kómpos, we present a concurrent debugger that is designed to enable us to reason about our programs on the level of these abstractions. We will demonstrate some of the features of Kómpos and discuss the research challenges for building a concurrent debugger for a wide range of concurrency abstractions.
%0 Generic
%1 Marr:2017:KomposDemo
%A Marr, Stefan
%A Torres Lopez, Carmen
%A Aumayr, Dominik
%A Gonzalez Boix, Elisa
%A Mössenböck, Hanspeter
%B Companion to the First International Conference on the Art, Science and Engineering of Programming
%D 2017
%I ACM
%K Actors CSP Concurrency Debugger Kompos MeMyPublication STM SharedMemory myown
%P 2:1--2:2
%R 10.1145/3079368.3079378
%T Kómpos: A Platform for Debugging Complex Concurrent Applications
%X With the omnipresence of multicore processors, developers combine various concurrency abstractions such as actors, communicating sequential processes, or fork/join programming to utilize the available parallelism. Unfortunately, when we debug such systems today, we need to reason about low-level memory accesses, locks, and thread pools, because debuggers rarely know about actors, messages, channels, or fork/join tasks.
With Kómpos, we present a concurrent debugger that is designed to enable us to reason about our programs on the level of these abstractions. We will demonstrate some of the features of Kómpos and discuss the research challenges for building a concurrent debugger for a wide range of concurrency abstractions.
%@ 978-1-4503-4836-2
@presentation{Marr:2017:KomposDemo,
abstract = {With the omnipresence of multicore processors, developers combine various concurrency abstractions such as actors, communicating sequential processes, or fork/join programming to utilize the available parallelism. Unfortunately, when we debug such systems today, we need to reason about low-level memory accesses, locks, and thread pools, because debuggers rarely know about actors, messages, channels, or fork/join tasks.
With Kómpos, we present a concurrent debugger that is designed to enable us to reason about our programs on the level of these abstractions. We will demonstrate some of the features of Kómpos and discuss the research challenges for building a concurrent debugger for a wide range of concurrency abstractions.},
added-at = {2017-05-24T17:17:01.000+0200},
author = {Marr, Stefan and Torres Lopez, Carmen and Aumayr, Dominik and Gonzalez Boix, Elisa and Mössenböck, Hanspeter},
biburl = {https://www.bibsonomy.org/bibtex/2d6f3704a8e6a97b812d688dd85e2f74c/gron},
booktitle = {Companion to the First International Conference on the Art, Science and Engineering of Programming},
day = 2,
doi = {10.1145/3079368.3079378},
interhash = {9abcfadddac4f838ffbbf883d41bbde9},
intrahash = {d6f3704a8e6a97b812d688dd85e2f74c},
isbn = {978-1-4503-4836-2},
keywords = {Actors CSP Concurrency Debugger Kompos MeMyPublication STM SharedMemory myown},
month = {April},
pages = {2:1--2:2},
pdf = {https://stefan-marr.de/downloads/progdemo-marr-et-al-kompos-a-platform-for-debugging-complex-concurrent-applications.pdf},
publisher = {ACM},
series = {Programming Demo'17},
timestamp = {2022-08-29T20:33:49.000+0200},
title = {{Kómpos: A Platform for Debugging Complex Concurrent Applications}},
type = {Demo},
year = 2017
}