A Scalable Algorithm for Decentralized Actor Termination Detection

A Scalable Algorithm for Decentralized Actor Termination Detection

Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However, testing reachability from a root set is inadequate for determining whether an actor is garbage: Observe that an unreac...

Full description

Bibliographic Details
Main Authors:	Dan Plyukhin, Gul Agha
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2022-03-01
Series:	Logical Methods in Computer Science
Subjects:	computer science - logic in computer science
Online Access:	https://lmcs.episciences.org/7353/pdf

Similar Items

Decidability Problems for Actor Systems
by: Frank De Boer, et al.
Published: (2014-12-01)

Termination in Convex Sets of Distributions
by: Ana Sokolova, et al.
Published: (2018-11-01)

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
by: Filippo Bonchi, et al.
Published: (2022-06-01)

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
by: Makoto Hamana
Published: (2022-06-01)

The Size-Change Termination Principle for Constructor Based Languages
by: Hyvernat Pierre
Published: (2014-02-01)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
by: Naoki Kobayashi, et al.
Published: (2020-10-01)

Deciding Conditional Termination
by: Radu Iosif, et al.
Published: (2014-08-01)

Complete Call-by-Value Calculi of Control Operators II: Strong Termination
by: Ryu Hasegawa
Published: (2021-03-01)

Normalization for planar string diagrams and a quadratic equivalence algorithm
by: Antonin Delpeuch, et al.
Published: (2022-01-01)

Correct and Efficient Antichain Algorithms for Refinement Checking
by: Maurice Laveaux, et al.
Published: (2021-02-01)

Uniform Interpolants in EUF: Algorithms using DAG-representations
by: Silvio Ghilardi, et al.
Published: (2022-04-01)

On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
by: Andrew M Marshall, et al.
Published: (2015-06-01)

Termination of Cycle Rewriting by Transformation and Matrix Interpretation
by: David Sabel, et al.
Published: (2017-03-01)

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
by: Deepak Kapur
Published: (2023-03-01)

Detecting Unrealizability of Distributed Fault-tolerant Systems
by: Bernd Finkbeiner, et al.
Published: (2015-09-01)

A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
by: Michal Koucký, et al.
Published: (2021-12-01)

Conformance Relations and Hyperproperties for Doping Detection in Time and Space
by: Sebastian Biewer, et al.
Published: (2022-01-01)

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
by: Luis Barguno, et al.
Published: (2010-08-01)

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
by: Marco Bozzano, et al.
Published: (2015-11-01)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
by: Bjørn Kjos-Hanssen, et al.
Published: (2014-12-01)

Certifying Confluence Proofs via Relative Termination and Rule Labeling
by: Julian Nagele, et al.
Published: (2017-05-01)

Algorithmic Randomness and Capacity of Closed Sets
by: Douglas Cenzer, et al.
Published: (2011-09-01)

Verified Approximation Algorithms
by: Robin Eßmann, et al.
Published: (2022-03-01)

Well-definedness of Streams by Transformation and Termination
by: Hans H Zantema
Published: (2010-09-01)

Decentralization channel management in scalable multihop spread-spectrum packet radio networks
by: Shepard, Timothy Jason
Published: (2005)

Scalable reasoning for description logics
by: Shearer, R
Published: (2011)

A Proof of Kamp's theorem
by: Alexander Rabinovich
Published: (2014-02-01)

A Cubical Language for Bishop Sets
by: Jonathan Sterling, et al.
Published: (2022-03-01)

A modular construction of type theories
by: Frédéric Blanqui, et al.
Published: (2023-02-01)

A Coalgebraic Approach to Dualities for Neighborhood Frames
by: Guram Bezhanishvili, et al.
Published: (2022-07-01)

Theories of real addition with and without a predicate for integers
by: Alexis Bès, et al.
Published: (2021-05-01)

A Galois connection between Turing jumps and limits
by: Vasco Brattka
Published: (2018-08-01)

Applicable Mathematics in a Minimal Computational Theory of Sets
by: Arnon Avron, et al.
Published: (2018-10-01)

Overlap Algebras: a Constructive Look at Complete Boolean Algebras
by: Francesco Ciraulo, et al.
Published: (2020-02-01)

A duality theoretic view on limits of finite structures: Extended version
by: Mai Gehrke, et al.
Published: (2022-01-01)

Products of effective topological spaces and a uniformly computable Tychonoff Theorem
by: Robert Rettinger, et al.
Published: (2013-11-01)

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
by: Karim Nour, et al.
Published: (2017-08-01)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Thomas Powell
Published: (2024-01-01)

The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$
by: Dag Normann
Published: (2018-03-01)

A Dichotomy for First-Order Reducts of Unary Structures
by: Manuel Bodirsky, et al.
Published: (2018-05-01)