Parallel Monitors for Self-adaptive Sessions

Coppo, Mario; Dezani‐Ciancaglini, Mariangiola; Venneri, Betti

doi:10.4204/eptcs.211.3

Cited by 2 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work [9] proposes a formal model based on multiparty session types for data-driven reconfiguration for monitored processes, where adaptations are parameterised by a set of killed roles. After reconfiguration, new monitors are created by deleting all traces of killed roles.…”

Section: Session Types On Adaptations and Exception Handlingmentioning

confidence: 99%

Let it recover: multiparty protocol-induced recovery

Neykova

Yoshida

2017

Proceedings of the 26th International Conference on Compiler Construction

View full text Add to dashboard Cite

Fault-tolerant communication systems rely on recovery strategies which are often error-prone (e.g. a programmer manually specifies recovery strategies) or inefficient (e.g. the whole system is restarted from the beginning). This paper proposes a static analysis based on multiparty session types that can efficiently compute a safe global state from which a system of interacting processes should be recov- ered. We statically analyse the communication flow of a program, given as a multiparty protocol, to extract the causal dependencies between processes and to localise failures. We formalise our re- covery algorithm and prove its safety. A recovered communication system is free from deadlocks, orphan messages and reception er- rors. Our recovery algorithm incurs less communication cost (only affected processes are notified) and overall execution time (only required states are repeated). On top of our analysis, we design and implement a runtime framework in Erlang where failed pro- cesses and their dependencies are soundly restarted from a com- puted safe state. We evaluate our recovery framework on message- passing benchmarks and a use case for crawling webpages. The experimental results indicate our framework outperforms a built-in static recovery strategy in Erlang when a part of the protocol can be safely recovered

show abstract

Section: Session Types On Adaptations and Exception Handlingmentioning

confidence: 99%

Let it recover: multiparty protocol-induced recovery

Neykova

Yoshida

2017

Proceedings of the 26th International Conference on Compiler Construction

View full text Add to dashboard Cite

show abstract

“…The use of asynchronous communications, as in [4], would only add technical complications to deal with reconfiguration of channel queues during adaptation, without providing any significant insight to our issue. This paper is an improved and extended version of [5]; namely, the formal part is completely revised and simplified, more examples are presented and proofs of properties are added. Section 6 is completely new, but for the statements of the last two theorems.…”

Section: µX!sf(item Amount)?fs(date)x | µX?rs(item Amount)!sr(mentioning

confidence: 99%

Data-driven adaptation for smart sessions

Bono

Coppo

Dezani‐Ciancaglini

et al. 2017

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

This paper presents a formal framework of self-adaptation for multiparty sessions. The adaptation function contains the dynamic evolution policy, by prescribing how the session needs to reconfigure itself, based on critical changes in global data. A global type prescribes the overall communication choreography; its projections onto participants generate the monitors, which set-up the communication protocols. The key technical novelty of the calculus is the parallel operator for building global types and monitors, which allows the adaptation procedure to be rather flexible. The smart session is able to minimise its adaptation, by partially reconfiguring some of the communications and leaving all others unchanged, in case a part of the whole behaviour only needs to be modified. Furthermore, new participants can be added and/or some of the old participants can be removed. As a main result, we prove that this adaptation mechanism is safe, in order to guarantee that the communications will continue to evolve in a correct way after reconfiguration.

show abstract

Parallel Monitors for Self-adaptive Sessions

Cited by 2 publications

References 13 publications

Let it recover: multiparty protocol-induced recovery

Let it recover: multiparty protocol-induced recovery

Data-driven adaptation for smart sessions

Contact Info

Product

Resources

About