Actor garbage collection using vertex-preserving actor-to-object graph transformations

  • Authors:
  • Wei-Jen Wang;Carlos Varela;Fu-Hau Hsu;Cheng-Hsien Tang

  • Affiliations:
  • Department of Computer Science and Information Engineering, National Central University, Taiwan;Department of Computer Science, Rensselaer Polytechnic Institute;Department of Computer Science and Information Engineering, National Central University, Taiwan;Department of Computer Science and Information Engineering, National Central University, Taiwan

  • Venue:
  • GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development The actor model supports the development of independent software components with its asynchronous message-passing communication and state encapsulation properties Automatic actor garbage collection is necessary for high-level actor-oriented programming, but identifying live actors is not as intuitive and easy as identifying live passive objects in a reference graph However, a transformation method can turn an actor reference graph into a passive object reference graph, which enables the use of passive object garbage collection algorithms and simplifies the problem of actor garbage collection In this paper, we formally define potential communication by introducing two binary relations - the may-talk-to and the may-transitively-talk-to relations, which are then used to define the set of live actors We also devise two vertex-preserving transformation methods to transform an actor reference graph into a passive object reference graph We provide correctness proofs for the proposed algorithms The experimental results also show that the proposed algorithms are efficient.