Automatic garbage collection (GC) prevents certain kinds of bugs and reducesprogramming overhead . GC techniques for sequential programs are based onreachability analysis . However, testing reachability from a root set is inadequate for determining whether an actor is garbage . We present a low-overhead reference listing technique (called DRL) fortermination detection in actor systems . DRL is based on asynchronous localsnapshots and message-passing between actors . This enables a decentralized implementation and transient network partition tolerance . The paper provides a formal description of DRL, shows that all actors identified as garbage have terminated (safety) and that all terminated actors–under certainreasonable assumptions–will eventually be identified (liveness) The paper also shows that DRL will eventually beidentified (Liveness) It also provides an example of the DRL to be used in a distributed system with no need for error-free access to I/O or external storage. This enables the use of external storage or external I/Os to avoid error-prone

Author(s) : Dan Plyukhin, Gul Agha

Links : PDF - Abstract

Code :

Keywords : drl - garbage - actors - external - actor -

Leave a Reply

Your email address will not be published. Required fields are marked *