Abstract
Amorphous computing considers the problem of controlling millions of spatially distributed unreliable devices which communicate only with nearby neighbors. To program such a system, we need a high-level description language for desired global behaviors, and a system to compile such descriptions into locally executing code which robustly creates and maintains the desired global behavior. I survey existing amorphous computing primitives and give desiderata for a language describing computation on an amorphous computer. I then bring these together in Amorphous Medium Language, which computes on an amorphous computer as though it were a space-filling computational medium.
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
Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Knight, T., Nagpal, R., Rauch, E., Sussman, G., Weiss, R.: Amorphous computing. In: AI Memo 1665. MIT, Cambridge (1999)
Aguayo, D., Bicket, J., Biswas, S., De Couto, D.S.J., Morris, R.: MIT roofnet implementation (2003)
Baker, H., Hewitt, C.: The incremental garbage collection of processes. In: ACM Conference on AI and Programming Languages, pp. 55–59 (1977)
Beal, J.: Persistent nodes for reliable memory in geographically local networks. Tech Report AIM-2003-11, MIT (2003)
Beal, J.: A robust amorphous hierarchy from persistent nodes. In: CSN (2003)
Beal, J., Gilbert, S.: RamboNodes for the metropolitan ad hoc network. In: Workshop on Dependability in Wireless Ad Hoc Networks and Sensor Networks, part of the International Conference on Dependable Systems and Networks (June 2003)
Butera, W.: Programming a Paintable Computer, Ph.D. thesis, MIT (2002)
Clement, L., Nagpal, R.: Self-assembly and self-repairing topologies. In: Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open (January 2003)
Coore, D.: Establishing a Coordinate System on an Amorphous Computer. In: MIT Student Workshop on High Performance Computing (1998)
Coore, D.: Botanical Computing: A Developmental Approach to Generating Interconnect Topologies on an Amorphous Computer. Ph.D. thesis, MIT (1999)
Coore, D., Nagpal, R., Weiss, R.: Paradigms for structure in an amorphous computer. MIT AI Memo 1614
DARPA IXO, Networked embedded systems technology program overview
Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., Welch, J.: Geoquorums: Implementing atomic memory in mobile ad hoc networks. In: Fich, F.E. (ed.) DISC 2003. LNCS, vol. 2848, pp. 306–320. Springer, Heidelberg (2003)
Dolev, S., Gilbert, S., Lynch, N.A., Schiller, E., Shvartsman, A.A., Welch, J.L.: Virtual mobile nodes for mobile ad hoc networks. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol. 3274, pp. 230–244. Springer, Heidelberg (2004)
Gilbert, S., Lynch, N., Shvartsman, A.: RAMBO II: Rapidly reconfigurable atomic memory for dynamic networks. In: DSN, June 2003, pp. 259–269 (2003)
Gruau, F., Malbos, P.: The blob: A basic topological concept for hardware-free" distributed computation. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol. 2509, p. 151. Springer, Heidelberg (2002)
Hsu, V., Kahn, J.M., Pister, K.S.J.: Wireless communications for smart dust. Tech. Rep. Electronics Research Laboratory Technical Memorandum Number M98/2 (Febraury 1998)
Knight Jr., T.F., Sussman, G.J.: Cellular gate technology. In: Unconventional Models of Computation, pp. 257–272 (1997)
Kondacs, A.: Biologically-inspired self-assembly of 2d shapes, using global-to-local compilation. In: International Joint Conference on Artificial Intelligence, IJCAI (2003)
Lamport, L.: The part-time parliament. ACM Transactions on Computer Systems 16(2), 133–169 (1998)
Liben-Nowell, D., Balakrishnan, H., Karger, D.: Analysis of the evolution of peer-to-peer systems. In: PODC (2002)
Lynch, N.: Distributed Algorithms. Morgan Kaufman, San Francisco (1996)
Lynch, N., Shvartsman, A.: RAMBO: A reconfigurable atomic memory service for dynamic networks. In: DISC, pp. 173–190 (2002)
Madden, S.R., Szewczyk, R., Franklin, M.J., Culler, D.: Supporting aggregate queries over ad-hoc wireless sensor networks. In: Workshop on Mobile Computing and Systems Applications (2002)
Nagpal, R.: Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics, Ph.D. Thesis, MIT (2001)
“NMRC scientific report 2003,” Tech. Rep., National Microelectronics Research Centre (2003)
Newton, R., Welsh, M.: Region streams: Functional macroprogramming for sensor networks. In: First International Workshop on Data Management for Sensor Networks (DMSN) (August 2004)
Ratnasamy, S., Karp, B., Yin, L., Yu, F., Estrin, D., Govindan, R., Shenker, S.: GHT: a geographic hash table for data-centric storage. In: Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications, pp. 78–87. ACM Press, New York (2002)
Weiss, R., Knight, T.: Engineered Communications for Microbial Robotics. In: Proceedings of the Sixth International Meeting on DNA Based Computers (DNA6) (June 2000)
Weiss, R., Basu, S.: The device physics of cellular logic gates. In: NSC-1: The First Workshop on NonSilicon Computing, pp. 54–61 (2002)
Welsh, M., Mainland, G.: Programming sensor networks using abstract regions. In: Proceedings of the First USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI 2004) (March 2004)
Whitehouse, K., Sharp, C., Brewer, E., Culler, D.: Hood: a neighborhood abstraction for sensor networks. In: Proceedings of the 2nd international conference on Mobile systems, applications, and services. ACM Press, New York (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beal, J. (2005). Programming an Amorphous Computational Medium. In: Banâtre, JP., Fradet, P., Giavitto, JL., Michel, O. (eds) Unconventional Programming Paradigms. UPP 2004. Lecture Notes in Computer Science, vol 3566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11527800_10
Download citation
DOI: https://doi.org/10.1007/11527800_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27884-9
Online ISBN: 978-3-540-31482-0
eBook Packages: Computer ScienceComputer Science (R0)