Discovering Concurrency Errors

On the Runtime Enforcement of Timed Properties

“…1.6) such as memory safety [10,105] where some form of memory access errors should be avoided (e.g., use after free, null pointer dereference, overflow) and the integrity of the execution (of the data, data flow, or control flow). They also include absence of concurrency errors [69] such as deadlocks, data races, and atomicity violations. Depending on the target system and specification being enforced, the considered notion of trace can contain several sorts of information ( Fig.…”

Can We Monitor All Multithreaded Programs?

“…Tools used that can verify specific properties related to concurrency errors include RVPredict [42] and Java PathExplorer (JPaX) [39]. Further discussion on concurrency errors and additional tools are discussed in [48].…”

“…A collection of traces model the program behavior as it allows to reason about possible executions or states. As such, multiple traces serve to check for concurrency properties [48] such as absence of data races [42,57] and deadlock freedom [39].…”

Introduction to Runtime Verification

“…Increasingly however, new synthesis strategies are being explored. For instance, the work in [33,115,92,8,120] synthesise concurrently executing monitors to better exploit the underlying parallel hardware consisting of multiple processing units whereas the work in [78,32,9,67,68] synthesise component-based monitors to better localise analysis due to multiple event sources and heterogenous hardware. Distribution is another important aspect affecting the monitor synthesis.…”