A programming language for ad-hoc networks of mobile devices

ABSTRACT

Networks of mobile devices and embedded systems represent a new computing platform. Typical network nodes range from sensors, cell phones, PDA's, to laptop computers. Wireless ad-hoc networks are used to connect these heterogeneous nodes, each of which has different capabilities and resources and may provide different services. Most applications targeting such networks will exploit the physical locations of the network nodes. SpatialViews is a language for applications executing on volatile networks of mobile devices and embedded systems. SpatialViews provides high-level abstractions for dynamic service discovery, location-awareness, and in-network aggregation. The compiler translates a SpatialViews program into low-level representations that use light-weight execution migration and property based routing.This paper investigates the impact of parallelization and replication on program performance metrics such as response time, energy consumption, and quality of result (QoR). For a simple application program running over networks with a range of different node failure rates, analytical modeling, simulation, and physical measurement revealed different energy/response time/QoR tradeoffs among different parallelization strategies and replication degrees.

REFERENCES

• 1: William Adjie-Winoto , Elliot Schwartz , Hari Balakrishnan , Jeremy Lilley, The design and implementation of an intentional naming system, Proceedings of the seventeenth ACM symposium on Operating systems principles, p.186-201, December 12-15, 1999, Charleston, South Carolina, United States
• 2: Cristian Borcea , Chalermek Intanagonwiwat , Porlin Kang , Ulrich Kremer , Liviu Iftode, Spatial Programming Using Smart Messages: Design and Implementation, Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04), p.690-699, March 24-26, 2004
• 3: Athanassios Boulis , Chih-Chieh Han , Mani B. Srivastava, Design and implementation of a framework for efficient and programmable sensor networks, Proceedings of the 1st international conference on Mobile systems, applications and services, p.187-200, May 05-08, 2003, San Francisco, California [doi>10.1145/1066116.1066121]
• 4: Nicholas Carriero , David Gelernter, Linda in context, Communications of the ACM, v.32 n.4, p.444-458, April 1989 [doi>10.1145/63334.63337]
• 5: Guanling Chen and David Kotz. Solar: A pervasive-computing infrastructure for context-aware mobile applications. Technical Report TR2002-421, Department of Computer Science, Dartmouth College, February 2002.
• 6: Applix Corporation. Jblend. http://jblend.aplix.co.jp/en/.
• 7: Wabasoft Corporation. Waba programming platform. http://www.wabasoft.com.
• 8: David Gay , Philip Levis , Robert von Behren , Matt Welsh , Eric Brewer , David Culler, The nesC language: A holistic approach to networked embedded systems, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA
• 9: Robert S. Gray , George Cybenko, Agent tcl: a flexible and secure mobile-agent system, 1998
• 10: Robert S. Gray , George Cybenko , David Kotz , Ronald A. Peterson , Daniela Rus, D'Agents: applications and performance of a mobile-agent system, Software—Practice & Experience, v.32 n.6, p.543-573, May 2002 [doi>10.1002/spe.449]
• 11: Jason Hill , Robert Szewczyk , Alec Woo , Seth Hollar , David Culler , Kristofer Pister, System architecture directions for networked sensors, Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, p.93-104, November 2000, Cambridge, Massachusetts, United States
• 12: Sun Microsystems Inc. Java 2 platform, micro edition (J2ME). http://java.sun.com/j2me.
• 13: Sun Microsystems Inc. KVM white paper. http://java.sun.com/products/cldc/wp/KVMwp.pdf.
• 14: D. Jefferson , B. Beckman , F. Wieland , L. Blume , M. Diloreto, Time warp operating system, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.77-93, November 08-11, 1987, Austin, Texas, United States
• 15: Philo Juang , Hidekazu Oki , Yong Wang , Margaret Martonosi , Li Shiuan Peh , Daniel Rubenstein, Energy-efficient computing for wildlife tracking: design tradeoffs and early experiences with ZebraNet, Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, October 05-09, 2002, San Jose, California
• 16: Porlin Kang, Cristian Borcea, Gang Xu, Akhilesh Saxena, Ulrich Kremer, and Liviu Iftode. Smart messages: A distributed computing platform for networks of embedded systems. The Computer Journal, Special Issue on Mobile and Pervasive Computing, 47(4), January 2004.
• 17: U. Kremer, J. Hicks, and J. Rehg. A compilation framework for power and energy management on mobile computers. In International Workshop on Languages and Compilers for Parallel Computing (LCPC'01), Cumberland, KT, August 2001.
• 18: Philip Levis , David Culler, Maté: a tiny virtual machine for sensor networks, Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, October 05-09, 2002, San Jose, California
• 19: Ting Liu , Margaret Martonosi, Impala: a middleware system for managing autonomic, parallel sensor systems, Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 11-13, 2003, San Diego, California, USA
• 20: Samuel Madden , Michael J. Franklin , Joseph M. Hellerstein , Wei Hong, TAG: a Tiny AGgregation service for Ad-Hoc sensor networks, Proceedings of the 5th symposium on Operating systems design and implementation

  Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading

  , December 09-11, 2002, Boston, Massachusetts [doi>10.1145/1060289.1060303]
• 21: Yang Ni, Ulrich Kremer, and Liviu Iftode. Spatial Views: Space-aware programming for networks of embedded systems. In The 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2003), October 2003.
• 22: Nissanka B. Priyantha , Anit Chakraborty , Hari Balakrishnan, The Cricket location-support system, Proceedings of the 6th annual international conference on Mobile computing and networking, p.32-43, August 06-11, 2000, Boston, Massachusetts, United States [doi>10.1145/345910.345917]
• 23: Nissanka B. Priyantha , Allen K.L. Miu , Hari Balakrishnan , Seth Teller, The cricket compass for context-aware mobile applications, Proceedings of the 7th annual international conference on Mobile computing and networking, p.1-14, July 2001, Rome, Italy [doi>10.1145/381677.381679]
• 24: M. I. T. Computer Science and Artificial Intelligence Laboratory. The cricket indoor location system. http://nms.lcs.mit.edu/projects/cricket.
• 25: Jim Waldo, The Jini architecture for network-centric computing, Communications of the ACM, v.42 n.7, p.76-82, July 1999 [doi>10.1145/306549.306582]
• 26: Matt Welsh and Geoff Mainland. Programming sensor networks using abstract regions. In NSDI 2004, March 2004.
• 27: Kamin Whitehouse , Cory Sharp , Eric Brewer , David Culler, Hood: a neighborhood abstraction for sensor networks, Proceedings of the 2nd international conference on Mobile systems, applications, and services, June 06-09, 2004, Boston, MA, USA [doi>10.1145/990064.990079]