Efficient and fully abstract routing of futures in object network overlays
2013 (English)In: AGERE! 2013 - Proceedings of the 2013 ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control, Association for Computing Machinery (ACM), 2013, 49-59 p.Conference paper (Refereed)
In distributed object systems, it is desirable to enable migration of objects between locations, e.g., in order to support efficient resource allocation. Existing approaches build complex routing infrastructures to handle object-to-object communication, typically on top of IP, using, e.g., message forwarding chains or centralized object location servers. These solutions are costly and problematic in terms of efficiency, overhead, and correctness. We show how location independent routing can be used to implement object overlays with complex messaging behavior in a sound, fully abstract, and efficient way, on top of an abstract network of processing nodes connected point-to-point by asynchronous channels. We consider a distributed object language with futures, essentially lazy return values. Futures are challenging in this context due to the global consistency requirements they impose. The key conclusion is that execution in a decentralized, asynchronous network can preserve the standard, network-oblivious behavior of objects with futures, in the sense of contextual equivalence. To the best of our knowledge, this is the first such result in the literature. We also believe the proposed execution model may be of interest in its own right in the context of large-scale distributed computing.
Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2013. 49-59 p.
Distributed objects, Futures, Network protocols, Object mobility, Programming languages, Routing
IdentifiersURN: urn:nbn:se:kth:diva-143191DOI: 10.1145/2541329.2541340ScopusID: 2-s2.0-84892943703ISBN: 978-145032602-5OAI: oai:DiVA.org:kth-143191DiVA: diva2:705803
2013 3rd ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2013; Indianapolis, IN; United States; 27 October 2013 through 27 October 2013
QC 201403182014-03-182014-03-182014-03-18Bibliographically approved