Abstract
We show how expressions written in a functional programming language can be robustly evaluated on a modular asynchronous spatial computer by compiling them into a distributed virtual machine comprised of reified bytecodes undergoing diffusion and communicating via messages containing encapsulated virtual machine states. Because the semantics of the source language are purely functional, multiple instances of each reified bytecode and multiple execution threads can coexist without inconsistency in the same distributed heap.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ackley, D.H., Cannon, D.C.: Pursue robust indefinite scalability. In: Proc. HotOS XIII (May 2011)
Agha, G.: Actors: A model of concurrent computation in distributed systems (1986)
Baker, H.: Actor Systems for Real-Time Computation. PhD thesis (January 1978)
Beal, J., Michel, O., Schultz, U.P.: Spatial computing: Distributed systems that take advantage of our geometric world. TAASÂ 6(2), 11 (2011)
Chapiro, D.M.: Globally Asynchronous Locally Synchronous Systems. PhD thesis (1984)
Clinger, W.: Foundations of Actor Semantics. PhD thesis (1981)
De Bruijn, N.G.: Lambda calculus notation with nameless dummies: a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagationes Mathematicae 34, 381–392 (1972)
Kent Dybvig, R.: Three Implementation Models for Scheme. PhD thesis (1987)
Greif, I., Hewitt, C.: Actor semantics of PLANNER-73. In: Principles of Programming Languages (January 1975)
Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235–245 (1973)
Landin, P.J.: The mechanical evaluation of expressions. The Computer Journal 6(4), 308–320 (1964)
Muttersbach, J., Villiger, T., Fichtner, W.: Practical design of globally-asynchronous locally-synchronous systems. In: ASYNC, pp. 52–59 (2000)
Sipper, M.: The emergence of cellular computing. IEEE Computer 32(7), 18–26 (1999)
von Neumann, J.: The general and logical theory of automata. In: Jeffress, L.A. (ed.) Cerebral Mechanisms in Behaviour. Wiley (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Williams, L.R. (2012). Robust Evaluation of Expressions by Distributed Virtual Machines. In: Durand-Lose, J., Jonoska, N. (eds) Unconventional Computation and Natural Computation. UCNC 2012. Lecture Notes in Computer Science, vol 7445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32894-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-32894-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32893-0
Online ISBN: 978-3-642-32894-7
eBook Packages: Computer ScienceComputer Science (R0)