Kompos: A Platform for Debugging Complex Concurrent Applications

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 [ 4 ]. This 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.