Article

Reliable and efficient programming abstractions for wireless sensor networks

Authors:

Ramakrishna Gummadi,

Todd Millstein,

Ramesh GovindanAuthors Info & Claims

PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

Pages 200 - 210

https://doi.org/10.1145/1250734.1250757

Published: 10 June 2007 Publication History

Abstract

It is currently difficult to build practical and reliable programming systems out of distributed and resource-constrained sensor devices. The state of the art in today's sensornet programming is centered around a component-based language called nesC. nesC is a node-level language-a program is written for an individual node in the network-and nesC programs use the services of an operating system called TinyOS. We are pursuing an approach to programming sensor networks that significantly raises the level of abstraction over this practice. The critical change is one of perspective: rather than writing programs from the point of view of an individual node, programmers implement a central program that conceptually has access to the entire network. This approach pushes to the compiler the task of producing node-level programs that implement the desired behavio.

We present the Pleiades programming language, its compiler, and its runtime. The Pleiades language extends the C language with constructs that allow programmers to name and access node-local state within the network and to specify simple forms of concurrent execution. The compiler and runtime system cooperate to implement Pleiades programs efficiently and reliably. First, the compiler employs a novel program analysis to translate Pleiades programs into message-efficient units of work implemented in nesC. The Pleiades runtime system orchestrates execution of these units, using TinyOS services, across a network of sensor nodes. Second, the compiler and runtime system employ novel locking, deadlock detection, and deadlock recovery algorithms that guarantee serializability in the face of concurrent execution. We illustrate the readability, reliability and efficiency benefits of the Pleiades language through detailed experiments, and demonstrate that the Pleiades implementation of a realistic application performs similar to a hand-coded nesC version that contains more than ten times as much code.

References

[1]

G. Calinescu, C. G. Fernandes, and B. Reed. Multicuts in unweighted graphs with bounded degree and bounded tree-width. LNCS 1998.

[2]

B. D. Carlstrom, A. McDonald, H. Chafi, J. Chung, C. C. Minh, C. Kozyrakis, and K. Olukotun. The atomos transactional programming language. In PLDI 2006.

Digital Library

[3]

D. E. Culler, A. C. Arpaci-Dusseau, S. C. Goldstein, A. Krishnamurthy, S. Lumetta, T. von Eicken, and K. A. Yelick. Parallel programming in split-c. In Supercomputing, 1993.

Digital Library

[4]

A. K. Elmagarmid. A survey of distributed deadlock detection algorithms. SIGMOD Rec., 1986.

Digital Library

[5]

D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC Language: A Holistic Approach to Networked Embedded Systems. In PLDI 2003.

Digital Library

[6]

D. Gelernter and N. Carriero. Coordination languages and their significance. Commun. ACM, 1992.

Digital Library

[7]

O. Gnawali, BGreenstein, K.-Y. Jang, A. Joki, J. Paek, M. Vieira, D. Estrin, R. Govindan, and E. Kohler. The tenet architecture for tiered sensor networks. In SenSys 2006.

Digital Library

[8]

R. Gummadi, O. Gnawali, and R. Govindan. Macro-programming wireless sensor networks using kairos. In DCOSS 2005.

Digital Library

[9]

R. Gummadi, N. Kothari, T. Millstein, and R. Govindan. Declarative failure recovery for sensor networks. In AOSD 2007.

Digital Library

[10]

T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy. Composable memory transactions. In PPoPP 2005.

Digital Library

[11]

J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister. System architecture directions for networked sensors. SIGOPS Oper. Syst. Rev., 2000.

Digital Library

[12]

G. C. Hunt and M. L. Scott. The coign automatic distributed partitioning system. In OSDI 1999.

Digital Library

[13]

P. Keleher, A. L. Cox, and W. Zwaenepoel. Lazy release consistency for software distributed shared memory. In ISCA 1992, 1992.

Digital Library

[14]

C. Koelbel. An overview of high performance fortran. SIGPLAN Fortran Forum, 11(4), 1992.

Digital Library

[15]

L. Krishnamurthy, R. Adler, P. Buonadonna, J. Chhabra, M. Flanigan, N. Kushalnagar, L. Nachman, and M. Yarvis. Design and Deployment of Industrial Sensor Networks: Experiences from a Semiconductor Plant and the North Sea. In SenSys 2005.

Digital Library

[16]

B. J. Kuipers and Y.-T. Byun. A Robust Qualitative Method for Spatial Learning in Unknown Environments. In AAAI 1988.

[17]

B. Liskov. Distributed programming in argus. Commun. ACM, 31(3), 1988.

Digital Library

[18]

H. Liu, T. Roeder, K. Walsh, R. Barr, and E. G. Sirer. Design and implementation of a single system image operating system for ad hoc networks. In MobiSys 2005.

Digital Library

[19]

S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. The design of an acquisitional query processor for sensor networks. In SIGMOD 2003.

Digital Library

[20]

B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: synchronization inference for atomic sections. In POPL 2006.

Digital Library

[21]

G. C. Necula, S. McPeak, S. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Conference on Compilier Construction, 2002.

Digital Library

[22]

M. Neubauer and P. Thiemann. From sequential programs to multi-tier applications by program transformation. In POPL 2005.

Digital Library

[23]

R. Newton, Arvind, and M. Welsh. Building up to macroprogramming: an intermediate language for sensor networks. In IPSN 2005.

Digital Library

[24]

R. Newton and M. Welsh. Region streams: Functional macroprogramming for sensor networks. In DMSN 2004.

Digital Library

[25]

Y. Ni, U. Kremer, A. Stere, and LIftode. Programming ad--hoc networks of mobile and resource-constrained devices. In PLDI 2005.

Digital Library

[26]

C. Sharp, S. Schaffert, A. Woo, N. Sastry, C. Karlof, S. Sastry, and D. Culler. Design and implementation of a sensor network system for vehicle tracking and autonomous interception. In EWSN 2005.

[27]

G. Tolle, J. Polastre, R. Szewczyk, D. Culler, N. Turner, K. Tu, S. Burgess, T. Dawson, P. Buonadonna, D. Gay, and W. Hong. A Macroscope in the Redwoods. In SenSys 2005.

Digital Library

[28]

M. Welsh and G. Mainland. Programming sensor networks using abstract regions. In NSDI 2004.

Digital Library

Cited By

Mizzi AEllul JPace G(2019)Porthos: Macroprogramming Blockchain Systems2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)10.1109/NTMS.2019.8763784(1-5)Online publication date: Jun-2019
https://doi.org/10.1109/NTMS.2019.8763784
Mizzi AEllul JPace G(2018)D'ArtagnanProceedings of the Real World Domain Specific Languages Workshop 201810.1145/3183895.3183899(1-9)Online publication date: 24-Feb-2018
https://dl.acm.org/doi/10.1145/3183895.3183899
Abdelzaher TAyanian NBasar TDiggavi SDiesner JGanesan DGovindan RJha SLepoint TMarlin BNahrstedt KNicol DRajkumar RRussell SSeshia SSha FShenoy PSrivastava MSukhatme GSwami ATabuada PTowsley DVaidya NVeeravalli V(2018)Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS.2018.00112(1129-1138)Online publication date: Jul-2018
https://doi.org/10.1109/ICDCS.2018.00112
Show More Cited By

Index Terms

Reliable and efficient programming abstractions for wireless sensor networks
1. Computing methodologies
  1. Distributed computing methodologies
    1. Distributed programming languages
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Specialized application languages
    2. General programming languages
      1. Language types
        Distributed programming languages

Recommendations

Reliable and efficient programming abstractions for wireless sensor networks
Proceedings of the 2007 PLDI conference

It is currently difficult to build practical and reliable programming systems out of distributed and resource-constrained sensor devices. The state of the art in today's sensornet programming is centered around a component-based language called nesC. ...
Declarative failure recovery for sensor networks
AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development

Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since they are exposed to unpredictable environments, sensor-network applications ...
A survey on energy efficient coverage protocols in wireless sensor networks

A Wireless Sensor Network (WSN) is used to monitor an area for events. Each node in the WSN has a sensing range and a communication range. The sensing coverage of a sensor node is the area determined by the sensing range of the sensor node. Sensing ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

June 2007

508 pages

ISBN:9781595936332

DOI:10.1145/1250734

General Chair:
Jeanne Ferrante
University of California, San Diego, USA
,
Program Chair:
Kathryn S. McKinley
University of Texas at Austin, USA

ACM SIGPLAN Notices Volume 42, Issue 6
Proceedings of the 2007 PLDI conference
June 2007
491 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1273442
Issue’s Table of Contents

Copyright © 2007 ACM.

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: 10 June 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PLDI '07

Sponsor:

PLDI '07: ACM SIGPLAN Conference on Programming Language Design and Implementation

June 10 - 13, 2007

California, San Diego, USA

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

82
Total Citations
View Citations
875
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mizzi AEllul JPace G(2019)Porthos: Macroprogramming Blockchain Systems2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)10.1109/NTMS.2019.8763784(1-5)Online publication date: Jun-2019
https://doi.org/10.1109/NTMS.2019.8763784
Mizzi AEllul JPace G(2018)D'ArtagnanProceedings of the Real World Domain Specific Languages Workshop 201810.1145/3183895.3183899(1-9)Online publication date: 24-Feb-2018
https://dl.acm.org/doi/10.1145/3183895.3183899
Abdelzaher TAyanian NBasar TDiggavi SDiesner JGanesan DGovindan RJha SLepoint TMarlin BNahrstedt KNicol DRajkumar RRussell SSeshia SSha FShenoy PSrivastava MSukhatme GSwami ATabuada PTowsley DVaidya NVeeravalli V(2018)Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS.2018.00112(1129-1138)Online publication date: Jul-2018
https://doi.org/10.1109/ICDCS.2018.00112
Govindan R(2018)Sensor NetworksEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_341(3463-3467)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_341
Orsini GBade DLamersdorf W(2018)CloudAwareTransactions on Emerging Telecommunications Technologies10.1002/ett.321029:4Online publication date: 6-Apr-2018
https://dl.acm.org/doi/10.1002/ett.3210
Mizzi AEllul JPace G(2017)An Embedded DSL Framework for Distributed Embedded SystemsProceedings of the 11th ACM International Conference on Distributed and Event-based Systems10.1145/3093742.3093906(374-377)Online publication date: 8-Jun-2017
https://dl.acm.org/doi/10.1145/3093742.3093906
Govindan R(2017)Sensor NetworksEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_341-2(1-5)Online publication date: 4-Aug-2017
https://doi.org/10.1007/978-1-4899-7993-3_341-2
Liang JCao JLiu RLi T(2016)Distributed Intelligent MEMSACM Computing Surveys10.1145/292696449:1(1-29)Online publication date: 29-Jun-2016
https://dl.acm.org/doi/10.1145/2926964
Yeganeh SGanjali YGodfrey BCasado M(2016)BeehiveProceedings of the Symposium on SDN Research10.1145/2890955.2890958(1-12)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2890955.2890958
Branco ASant’anna FIerusalimschy RRodriguez NRossetto S(2015)TerraACM Transactions on Sensor Networks10.1145/281126711:4(1-27)Online publication date: 11-Sep-2015
https://dl.acm.org/doi/10.1145/2811267
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents