Engineering a Theory of Concurrent Programming

2018 ◽  
pp. 3-18
Author(s):  
Ian J. Hayes
Keyword(s):  
Concurrent Programming

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

2021 ◽  
Vol 178 (3) ◽  
pp. 229-266
Author(s):  
Ivan Lanese ◽  
Adrián Palacios ◽  
Germán Vidal
Keyword(s):  
Programming Language ◽  
Message Passing ◽  
Concurrent Programming ◽  
Concurrent Systems ◽  
Concurrent Programs ◽  
Unified Framework ◽  
Innovative Technique ◽  
Dual Notion

Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When such an action is selected, the debugger undoes it, including all and only its consequences. This operation is called a causal-consistent rollback. In this way, the user can avoid being distracted by the actions of other, unrelated processes. In this work, we introduce its dual notion: causal-consistent replay. We allow the user to record an execution of a running program and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including all and only its causes. Furthermore, we present a unified framework that combines both causal-consistent replay and causal-consistent rollback. Although most of the ideas that we present are rather general, we focus on a popular functional and concurrent programming language based on message passing: Erlang.

On developing and verifying design abstractions for reliable concurrent programming in Ada

2001 ◽  
Author(s):  
A. Burns ◽  
A. J. Wellings ◽  
A. M. Koelmans ◽  
M. Koutny ◽  
A. Romanovsky ◽  
...  
Keyword(s):  
Concurrent Programming

Object-oriented concurrent programming in ABCL/1

1986 ◽  
Vol 21 (11) ◽  
pp. 258-268 ◽  
Author(s):  
Akinori Yonezawa ◽  
Jean-Pierre Briot ◽  
Etsuya Shibayama
Keyword(s):  
Object Oriented ◽  
Concurrent Programming

RJ: a Java package providing JR-like concurrent programming

2015 ◽  
Vol 46 (5) ◽  
pp. 685-708 ◽  
Author(s):  
Ronald A. Olsson ◽  
Todd Williamson
Keyword(s):  
Concurrent Programming
Sign in / Sign up

Export Citation Format

Share Document