Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems

Marr, Stefan and Gonzalez Boix, Elisa and Mössenböck, Hanspeter (2016) Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems. In: Proceedings of the 9th Arbeitstagung Programmiersprachen. (Full text available)

PDF - Author's Accepted Manuscript
Download (178kB) Preview
[img]
Preview
Official URL
http://stefan-marr.de/papers/atps-marr-et-al-towar...

Abstract

With the widespread use of multicore processors, software becomes more and more diverse in its use of parallel computing resources. To address all application requirements, each with the appropriate abstraction, developers mix and match various concurrency abstractions made available to them via libraries and frameworks. Unfortunately, today's tools such as debuggers and profilers do not support the diversity of these abstractions. Instead of enabling developers to reason about the high-level programming concepts, they used to express their programs, the tools work only on the library's implementation level. While this is a common problem also for other libraries and frameworks, the complexity of concurrency exacerbates the issue further, and reasoning on the higher levels of the concurrency abstractions is essential to manage the associated complexity. In this position paper, we identify open research issues and propose to build tools based on a common meta-level interface to enable developers to reasons about their programs based on the high-level concepts they used to implement them.

Item Type: Conference or workshop item (Paper)
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Stefan Marr
Date Deposited: 26 Dec 2017 17:58 UTC
Last Modified: 03 Jan 2018 11:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/63820 (The current URI for this page, for reference purposes)
Marr, Stefan: https://orcid.org/0000-0001-9059-5180
  • Depositors only (login required):

Downloads

Downloads per month over past year