MetaConc
A tracing approach and meta-level interface that capture the interactions between concurrency models, as a foundation for debuggers and profilers of complex concurrent systems.
Website: ssw.jku.at/Research/Projects/MetaConc Funding: FWO–FWF Lead Agency project (Belgium–Austria) Timeline: 2016–2021 PI: Elisa Gonzalez Boix Partners: Hanspeter Mössenböck (JKU Linz), Stefan Marr (University of Kent)
Complex software systems increasingly mix concurrency models, such as threads and locks, software transactional memory, actors, and communicating sequential processes, which makes them hard to understand and debug. MetaConc (Meta-Level Engineering and Tooling for Complex Concurrent Systems) developed a novel tracing approach and a meta-level interface that capture the interactions among different concurrency models, delivering the concepts needed by tools such as debuggers and profilers.