Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/605397.605407acmconferencesArticle/Chapter ViewAbstractPublication PagesasplosConference Proceedingsconference-collections
Article

Maté: a tiny virtual machine for sensor networks

Published: 01 October 2002 Publication History
  • Get Citation Alerts
  • Abstract

    Composed of tens of thousands of tiny devices with very limited resources ("motes"), sensor networks are subject to novel systems problems and constraints. The large number of motes in a sensor network means that there will often be some failing nodes; networks must be easy to repopulate. Often there is no feasible method to recharge motes, so energy is a precious resource. Once deployed, a network must be reprogrammable although physically unreachable, and this reprogramming can be a significant energy cost.We present Maté, a tiny communication-centric virtual machine designed for sensor networks. Maté's high-level interface allows complex programs to be very short (under 100 bytes), reducing the energy cost of transmitting new programs. Code is broken up into small capsules of 24 instructions, which can self-replicate through the network. Packet sending and reception capsules enable the deployment of ad-hoc routing and data aggregation algorithms. Maté's concise, high-level program representation simplifies programming and allows large networks to be frequently reprogrammed in an energy-efficient manner; in addition, its safe execution environment suggests a use of virtual machines to provide the user/kernel boundary on motes that have no hardware protection mechanisms.

    References

    [1]
    Smart buildings admit their faults. Lab Notes: Research from the College of Engineering, UC Berkeley. http://cos.berkeley.edu/labnotes/1101.smartbuildings.html, 2001.
    [2]
    Small Times: Big News in Small Tech. http://www.smalltimes.com
    [3]
    Edouard Bugnion, Scott Devine, and Mendel Rosenblum. Disco: Running Commodity Operating Systems on Scalable Multiprocessors. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997.
    [4]
    David Culler, Anurag Sah, Klaus Schauser, Thorsten von Eicken and John Wawrzynek. Fine-grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 1991.
    [5]
    Lloyd I. Dickman. Small Virtual Machines: A Survey. In Proceedings of the Workshop on Virtual Computer Systems, 1973.
    [6]
    Wolfgang Emmerich, Cecilia Mascolo, and Anthony Finkelstein. Implementing Incremental Code Migration with XML. In Proceedings of the 22nd International Conference on Software Engineering, 2000.
    [7]
    Deborah Estrin, Ramesh Govindan, John Heidemann, and Satish Kumar. Next Century Challenges: Scalable Coordination in Sensor Networks. In Proceedings of the ACM/IEEE International Conference on Mobile Computing and Networking, 1999.
    [8]
    Virginie Galtier, Kevin L. Mills, Yannick Carlinet, Stefan Leigh, and Andrew Rukhin. Expressing Meaningful Processing Requirements Among Heterogeneous Nodes in an Active Network. In Proceedings of the Second International Workshop on Software and Performance, 2000.
    [9]
    John Heidemann, Fabio Silva, Shalermek Intanagonwiwat, Ramesh Govindan (USC/ISI), Deborah Estrin, Deepak Ganesan (UCLA). Building Efficient Wireless Sensor Networks with Low-Level Naming. In Proceedings of the 18th ACM Symposium on Operating System Principles, 2001.
    [10]
    Jason Hill and David Culler. A wireless embedded sensor architecture for system-level optimization. Intel Research IRB-TR-02-00N, 2002.
    [11]
    Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David Culler, and Kristofer Pister. System Architecture Directions for Networked Sensors. In the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems, 2000.
    [12]
    Victor Hsu, Joseph M. Kahn, and Kristofer Pister. Wireless Communications for Smart Dust. Electronics Research Laboratory Technical Memorandum Number M98/2, 1998.
    [13]
    Chalermek Intanagonwiwat, Deborah Estrin, Ramesh Govindan, and John Heidemann. Impact of Network Density on Data Aggregation in Wireless Sensor Networks. Technical Report 01-750, University of Southern California Computer Science Department, 2001.
    [14]
    Chalermek Intanagonwiwat, Ramesh Govindan, and Deborah Estrin. Directed Diffusion: A Scalable and Robust Communication Paradigm for Sensor Networks. In Proceedings of the ACM/IEEE International Conference on Mobile Computing and Networking, 2000.
    [15]
    Java 2 Platform Micro Edition (J2ME) Technology for Creating Mobile Devices White Paper. http://java.sun.com/j2me/docs/
    [16]
    Java Card Technology. http://java.sun.com/products/javacard/
    [17]
    Richard K. Johnsson, John D. Wick. An Overview of the Mesa Processor Architecture. In Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982.
    [18]
    Joseph M. Kahn, Randy H. Katz, Kristofer Pister. Next Century Challenges: Mobile Networking for "Smart Dust." In Proceedings of the ACM/IEEE International Conference on Mobile Computing and Networking, 1999.
    [19]
    Philip J. Koopman, Jr. Modern Stack Computer Architecture. In System Design and Network Architecture Conference, 1990.
    [20]
    Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification, Second Edition. Addison-Wesley, 1999.
    [21]
    Samuel R. Madden, Michael J. Franklin, Joseph M. Hellerstein, and Wei Hong. TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks. In submission.
    [22]
    Samuel R. Madden, Mehul A. Shah, Joseph M. Hellerstein, and Vijayshankar Raman. Continuously Adaptive Continuous Queries over Streams. In Proceedings of the ACM SIGMOD International Conference on Management of Data, 2002.
    [23]
    Alan Mainwaring, private communication, 2002.
    [24]
    Dejan S. Milojicic, Fred Douglas, Yves Paindaveine, Richard Wheeler, and Songnian Zhou. Process Migration. In ACM Computing Surveys, Volume 32, Issue 3, September 2000.
    [25]
    Charles H. Moore and Geoffrey C. Leach. FORTH - A Language for Interactive Computing. 1970.
    [26]
    Michael Noakes, Deborah Wallach, and William J. Dally. The J-Machine Multicomputer: An Architectural Evaluation. In Proceedings of the 20th International Symposium on Computer Architecture, 1993.
    [27]
    Brian D. Noble, M. Satyanarayanan, Dushyanth Narayanan, James Eric Tilton, Jason Flinn and Kevin R. Walker. Agile application-aware adaptation for mobility. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997.
    [28]
    Charles E. Perkins, Elizabeth M. Belding-Royer, and Samir Das. Ad Hoc On Demand Distance Vector (AODV) Routing. IETF Internet draft, draft-ietf-manet-aodv-09.txt, November 2001 (Work in Progress).
    [29]
    Adrian Perrig, Robert Szewczyk, Victor Wen, David Culler and J. D. Tygar. SPINS: Security Protocols for Sensor Networks. In The Proceedings of Mobicom 2001, 2001.
    [30]
    Phillip Stanley-Marbell and Liviu Iftode. Scylla: A Smart Virtual Machine for Mobile Embedded Systems. In Proceedings of The 3rd IEEE Workshop on Mobile Computing Systems and Applications, 2000.
    [31]
    Robert Szewczyk, private communcation, 2002.
    [32]
    David L. Tennenhouse and David J. Wetherall. Towards an Active Network Architecture. In Computer Communication Review, Vol. 26, No. 2, April 1996.
    [33]
    Thorsten von Eicken, David Culler, Seth Goldstein, and Klaus Schauser. Active Messages: A Mechanism for Integrated Communication and Computation. In Proceedings of the 19th International Symposium on Computer Architecture, 1992.
    [34]
    David J. Wetherall, John V. Guttag and David L. Tennenhouse. ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols. IEEE OPENARCH '98, 1998.
    [35]
    Alexander L. Wolf, Dennis Heimbigner, John Knight, Premkumar Devanbu, Michael Gertz, and Antonio Carzaniga. Bend, Don't Break: Using Reconfiguration to Achieve Survivability. Third Information Survivability Workshop, October 2000.

    Cited By

    View all
    • (2022)Femto-containersProceedings of the 23rd ACM/IFIP International Middleware Conference10.1145/3528535.3565242(161-173)Online publication date: 7-Nov-2022
    • (2022)Edge-Centric Programming for IoT Applications With Automatic Code PartitioningIEEE Transactions on Computers10.1109/TC.2021.312936771:10(2408-2422)Online publication date: 1-Oct-2022
    • (2021)Middleware Solutions for the Internet of Things: A SurveyMiddleware Architecture [Working Title]10.5772/intechopen.100348Online publication date: 6-Nov-2021
    • Show More Cited By
    1. Maté: a tiny virtual machine for sensor networks

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      ASPLOS X: Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
      October 2002
      318 pages
      ISBN:1581135742
      DOI:10.1145/605397
      • cover image ACM SIGARCH Computer Architecture News
        ACM SIGARCH Computer Architecture News  Volume 30, Issue 5
        Special Issue: Proceedings of the 10th annual conference on Architectural Support for Programming Languages and Operating Systems
        December 2002
        296 pages
        ISSN:0163-5964
        DOI:10.1145/635506
        Issue’s Table of Contents
      • cover image ACM SIGPLAN Notices
        ACM SIGPLAN Notices  Volume 37, Issue 10
        October 2002
        296 pages
        ISSN:0362-1340
        EISSN:1558-1160
        DOI:10.1145/605432
        Issue’s Table of Contents
      • cover image ACM SIGOPS Operating Systems Review
        ACM SIGOPS Operating Systems Review  Volume 36, Issue 5
        December 2002
        296 pages
        ISSN:0163-5980
        DOI:10.1145/635508
        Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 01 October 2002

      Permissions

      Request permissions for this article.

      Check for updates

      Qualifiers

      • Article

      Conference

      ASPLOS02

      Acceptance Rates

      ASPLOS X Paper Acceptance Rate 24 of 175 submissions, 14%;
      Overall Acceptance Rate 535 of 2,713 submissions, 20%

      Upcoming Conference

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)32
      • Downloads (Last 6 weeks)1
      Reflects downloads up to 27 Jul 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2022)Femto-containersProceedings of the 23rd ACM/IFIP International Middleware Conference10.1145/3528535.3565242(161-173)Online publication date: 7-Nov-2022
      • (2022)Edge-Centric Programming for IoT Applications With Automatic Code PartitioningIEEE Transactions on Computers10.1109/TC.2021.312936771:10(2408-2422)Online publication date: 1-Oct-2022
      • (2021)Middleware Solutions for the Internet of Things: A SurveyMiddleware Architecture [Working Title]10.5772/intechopen.100348Online publication date: 6-Nov-2021
      • (2021)On-Demand Scheduling of Command and Responses for Low-Power Multihop Wireless NetworksSensors10.3390/s2103073821:3(738)Online publication date: 22-Jan-2021
      • (2021)FaceBitProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/34949915:4(1-44)Online publication date: 30-Dec-2021
      • (2020)Towards Automatic SW Integration in Dependable Embedded SystemsProceedings of the 2020 International Conference on Embedded Wireless Systems and Networks10.5555/3400306.3400317(85-96)Online publication date: 17-Feb-2020
      • (2020)Blockchain Technology for Cloud StorageACM Computing Surveys10.1145/340395453:4(1-32)Online publication date: 3-Aug-2020
      • (2020)Dynamic Task-based Intermittent Execution for Energy-harvesting DevicesACM Transactions on Sensor Networks10.1145/336028516:1(1-24)Online publication date: 4-Feb-2020
      • (2020)TinyEVM: Off-Chain Smart Contracts on Low-Power IoT Devices2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS47774.2020.00025(507-518)Online publication date: Nov-2020
      • (2019)Securing Over-the-Air Code Updates in Wireless Sensor NetworksHarnessing the Internet of Everything (IoE) for Accelerated Innovation Opportunities10.4018/978-1-5225-7332-6.ch013(302-328)Online publication date: 2019
      • Show More Cited By

      View Options

      Get Access

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media