Concurrent Flexible Reversibility
نویسندگان
چکیده
Concurrent reversibility has been studied in different areas, such as biological or dependable distributed systems. However, only “rigid” reversibility has been considered, allowing to go back to a past state and restart the exact same computation, possibly leading to divergence. In this paper, we present croll-π, a concurrent calculus featuring flexible reversibility, allowing the specification of alternatives to a computation to be used upon rollback. Alternatives in croll-π are attached to messages. We show the robustness of this mechanism by encoding more complex idioms for specifying flexible reversibility, and we illustrate the benefits of our approach by encoding a calculus of communicating transactions.
منابع مشابه
A Modular Formalization of Reversibility for Concurrent Models and Languages
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of...
متن کاملThe Concurrency Column Causal-consistent Reversibility *
Reversible computing allows one to execute programs both in the standard, forward direction, and backward, going back to past states. In a concurrent scenario, the correct notion of reversibility is causal-consistent reversibility: any action can be undone, provided that all its consequences (if any) are undone beforehand. In this paper we present an overview of the main approaches, results, an...
متن کاملModular Reversibility Analysis in Self-loops Connections of Petri Net Systems
It is well known that the use of a modular approach for modeling has many advantages: it allows the modeler to consider different parts of the model independently of one another. A modular approach to analysis is also attractive: it often dramatically decreases the complexity of the analysis task. To create Petri net models of large systems, four bottom-up techniques, consisting of sharing oper...
متن کاملControlling Reversibility in Higher-Order Pi
We present in this paper a fine-grained rollback primitive for the higher-order π-calculus (HOπ), that builds on the reversibility apparatus of reversible HOπ [9]. The definition of a proper semantics for such a primitive is a surprisingly delicate matter because of the potential interferences between concurrent rollbacks. We define in this paper a high-level operational semantics which we prov...
متن کاملSequential enantiodivergent organocatalysis: reversibility in enantioswitching controlled by a conformationally flexible guanidine/bisthiourea organocatalyst.
Here we describe our studies on solvent-dependent enantiodivergent Mannich-type reactions utilizing conformationally flexible guanidine/bisthiourea organocatalyst (S,S)-1. Our mechanistic investigations revealed that the stereo-determining steps in both the (R)- and (S)-selective Mannich-type reactions are governed by the cooperative effect of guanidine and thiourea in the inherently monomeric ...
متن کامل