Improving live debugging of concurrent threads through thread histories

Leske, Max; Chis, Andrei; Nierstrasz, Oscar Marius (2018). Improving live debugging of concurrent threads through thread histories. Science of computer programming, 161, pp. 122-148. Elsevier 10.1016/j.scico.2017.10.005

[img] Text
1-s2.0-S0167642317302174-main.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (3MB) | Request a copy
[img] Text
Lesk17a.pdf - Accepted Version
Restricted to registered users only until 2 November 2019.
Available under License Publisher holds Copyright.

Download (5MB) | Request a copy

Concurrency issues are inherently harder to identify and fix than issues in sequential programs, due to aspects like indeterminate order of access to shared resources and thread synchronisation. Live debuggers are often used by developers to gain insights into the behaviour of concurrent programs by exploring the call stacks of threads. Nevertheless, contemporary live debuggers for concurrent programs are usually sequential debuggers augmented with the ability to display different threads in isolation. To these debuggers every thread call stack begins with a designated start routine and the calls that led to the creation of the thread are not visible, as they are part of a different thread. This requires developers to manually link stack traces belonging to related but distinct threads, adding another burden to the already difficult act of debugging concurrent programs. To improve debugging of concurrent programs we address the problem of incomplete call stacks in debuggers through a thread and debugger model that enables live debugging of child threads within the context of their parent threads. The proposed debugger operates on a virtual thread that merges together multiple relevant threads. To better understand the features of debuggers for concurrent programs we present an in-depth discussion of the concurrency related features in current live debuggers. We test the applicability of the proposed model by instantiating it for simple threads, local and remote promises, and a remote object-oriented database. Starting from these use cases we further discuss implementation details ensuring a practical approach.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)

UniBE Contributor:

Nierstrasz, Oscar Marius

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0167-6423

Publisher:

Elsevier

Language:

English

Submitter:

Oscar Marius Nierstrasz-Margiotta

Date Deposited:

11 Apr 2018 12:05

Last Modified:

25 May 2018 01:31

Publisher DOI:

10.1016/j.scico.2017.10.005

BORIS DOI:

10.7892/boris.113130

URI:

https://boris.unibe.ch/id/eprint/113130

Actions (login required)

Edit item Edit item
Provide Feedback