Improving live debugging of concurrent threads through thread histories

@article{Leske2018ImprovingLD,
  title={Improving live debugging of concurrent threads through thread histories},
  author={Max Leske and Andrei Chis and Oscar Nierstrasz},
  journal={Sci. Comput. Program.},
  year={2018},
  volume={161},
  pages={122-148}
}
View via Publisher
sciencedirect.com
3 Citations
Background Citations
2

3 Citations

Citation Type

Citation Type

Improving live debugging of concurrent threads
TLDR
With live debuggers displaying at least the equivalent information for both single threaded, sequential programs and concurrent threads, developers can focus on the hard parts of concurrency issues.
Thread Evolution Kit for Optimizing Thread Operations on CE/IoT Devices
TLDR
A state-of-the-art Thread Evolution Kit (TEK) that consists of three primary components: a CPU Mediator, Stack Tuner, and Enhanced Thread Identifier that significantly improves user responsiveness under high CPU contention compared to the traditional thread model is proposed.
A multi-paradigm modelling approach for engineering model debugging environments
TLDR
Model-Driven Engineering (MDE) is a method for developing systems that regards models as first-class citizens in the development process, and Multi-Paradigm Modelling (MPM) advocates to model every (relevant) aspect of a system explicitly, at the most appropriate level of abstraction, using the mostappropriate modelling language(s) explicitly.

References

SHOWING 1-10 OF 39 REFERENCES
Improving live debugging of concurrent threads
TLDR
With live debuggers displaying at least the equivalent information for both single threaded, sequential programs and concurrent threads, developers can focus on the hard parts of concurrency issues.
A thread-aware debugger with an open interface
TLDR
An open interface for debugging as an extension to thread implementations is proposed and its adequacy for user-level threads, kernel threads and mixed thread implementations while providing extended debugging functionality at improved efficiency and portability at the same time is shown.
Debugging concurrent programs
TLDR
A survey of current techniques used in debugging concurrent programs and systems using three general techniques are described: traditional or breakpoint style debuggers, event monitoring systems, and static analysis systems.
A promising approach for debugging remote promises
TLDR
A debugger interface is proposed that presents a unified view of both the original and the remote process, by merging the call chains of the two processes at the point where the promise was created, to improve debugging of exceptions in remote promises.
Practical domain-specific debuggers using the Moldable Debugger framework
Supporting exception handling for futures in Java
TLDR
This work proposes an as-if-serial exception handling mechanism for DBL-Futures in which the system delivers exceptions at the same point as they would be delivered if the program was executed sequentially, and introduces negligible overhead for applications without exceptions.
Advances in Parallel Debuggers: New Approaches to Visualization
TLDR
This essay reviews recent research in parallel debuggers and addresses the difficulties involved in developing effective schemes for portraying program behavior, and identifies three basic approaches corresponding to functional, structural, and behavioral perspectives.
Replay debugging for distributed applications
We have developed a new replay debugging tool, liblog, for distributed C/C++ applications. It logs the execution of deployed application processes and replays them deterministically, faithfully…
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines
TLDR
An ownership-based meta-object protocol is defined as candidate for VM support and its expressiveness is demonstrated by implementing actor semantics, software transactional memory, agents, CSP, and active objects.
Jockey: a user-space library for record-replay debugging
TLDR
Some of the practical issues needed to overcome in such environments, including low-overhead system-call interception, techniques for segregating resource usage between Jockey and the target process, and an interface for fine-grain control of Jockey's behavior are discussed.
...
...