Record-replay debugging for the SCOOP concurrency model

TL;DR

This paper introduces a record-replay debugging tool for SCOOP, an object-oriented concurrency model, enabling developers to reproduce nondeterministic executions for debugging and testing purposes.

Contribution

It presents the first record-replay technique tailored for SCOOP, facilitating debugging of concurrent programs with novel execution semantics.

Findings

Enables reproducible debugging of SCOOP programs.

Supports testing of nondeterministic concurrent executions.

Improves reliability of concurrent software development.

Abstract

To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abstractions requires new analysis tools because the execution semantics often differs considerably from established models. We present a record-replay technique for programs written in SCOOP, an object-oriented programming model for concurrency. The resulting tool enables developers to reproduce the nondeterministic execution of a concurrent program, a necessary prerequisite for debugging and testing.