Kompos: A Platform for Debugging Complex Concurrent Applications
Sprache des Titels:
Programming`17 Companion to the first International Converence on the Art, Science and Engineering of Programming
With the omnipresence of multicore processors, developers are
building more concurrent software. Much research has focused on
providing programming models and abstractions to ease the con-
struction of concurrent systems such as actors, communicating se-
quential processes (CSP), or software transactional memory (STM).
To address specific application requirements, developers start to
cherry-pick the abstractions that fit the problems at hand [
means, applications are built from a combination of concurrency
abstractions such as threads, actors, CSP, or even STM.
However, when it comes to debugging and tooling support, the
same revolution has not happened. To date, there is no software
platform or ecosystem that provides tooling that addresses the chal-
lenges of combining concurrency models. Typically, applications
are debugged on the level of the basic abstractions of a language.