110 likes | 250 Views
This work by Abhay Vardhan from the University of Illinois delves into the innovative area of distributed garbage collection for active objects, particularly in the context of Java programming. It explores the actor model, a mathematical framework for concurrent computation, and outlines the implementation strategies involving Actor Foundry, Erlang, and other technologies. The paper discusses various garbage collection techniques, including reference counting and mark-sweep, addressing challenges in managing memory in multi-actor systems. The study presents unique algorithms and transformation methods to improve garbage collection efficiency.
E N D
DISTRIBUTED GARBAGE COLLECTION OF ACTIVE OBJECTS A TRANSFORMATION AND ITS APPLICATIONS TO JAVA PRORAMMING BY ABHAY VARDHANUniversity of Illinois at Urbana-Champaign,1998Speaker: Hua-Rong ChuAdvisor: Chung Yung
Actor model • Carl Hewitt 1973 • mathematical model of concurrent computation • implementation • Actor Foundry • Erlang • SALSA • Kilim
Actor Foundry • A Java-based approach for building Actor Systems.
Actor Model Reference • Actor Systemhttp://www-osl.cs.uiuc.edu/foundry • Wikipedia Actor Modelhttp://en.wikipedia.org/wiki/Actor_model • Erlanghttp://www.erlang.org/ • Carl Hewitt; Peter Bishop and Richard Steiger (1973). "A Universal Modular Actor Formalism for Artificial Intelligence". IJCAI • Srinivasan, Sriram; Alan Mycroft (2008). "Kilim: Isolation-Typed Actors for Java". European Conference on Object Oriented Programming ECOOP 2008. • Paul Mackay ,Why has the actor model not succeeded?
Garbage Collection • Uniprocessor • Reference counting • Mark-sweep • Copying collector • Generational garbage collection • Distributed • Weighted Reference Counting • Hybrid techniques • Tracing-based
Garbage in actor System: Definition&Algorithm • Kafura and Nelson • All actors white, root actors are black • Rpeat following rule until no more markings are made: • Acquaintances of black -> black • “Unblock” inverse acquaintances of black -> black • “Block” inverse acquaintances of black -> black • “Unblock” inverse acquaintances of grey -> black • “Block” inverse acquaintances of grey -> grey • 3. Black is live; grey and white are garbage
Actor garbage collection • Push-Pull • Is-Black! • Dickman
Problem Statement • Garbage collection for OO is not appreciative in actor model
Solution Statement • A transformation of the actor-reference graph into a passive object graph.