Publication Type |
Manuscript |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Other Author |
Cooprider, Nathan; Archer, Will, Eide, Eric; Gay, David |
Title |
Efficient memory safety for TinyOS |
Date |
2007-01-01 |
Description |
Reliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory protection is unavailable, and severe resource constraints necessitate the use of unsafe, low-level languages. Our work improves this situation by providing efficient memory and type safety for TinyOS 2 applications running on the Mica2, MicaZ, and TelosB platforms. Safe execution ensures that array and pointer errors are caught before they can corrupt RAM. Our contributions include showing that aggressive optimizations can make safe execution practical in terms of resource usage; developing a technique for efficiently enforcing safety under interrupt-driven concurrency; extending the nesC language and compiler to support safety annotations; finding previously unknown bugs in TinyOS; and, finally, showing that safety can be exploited to increase the availability of sensor networks applications even when memory errors are left unfixed. |
Type |
Text |
Publisher |
Association for Computing Machinery |
DOI |
http://doi.acm.org/10.1145/nnnnnn.nnnnnn ; ACM 1-59593-763-6/07/0011 |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Cooprider, N., Archer, W., Eide, E., Gay, D., & Regehr, J. (2007). Efficient memory safety for TinyOS. In Proceedings of the 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007). November. |
Rights Management |
© ACM, 2007. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007). November 6-9, 2007. |
Format Medium |
application/pdf |
Format Extent |
1,051,758 bytes |
Identifier |
uspace,17478 |
ARK |
ark:/87278/s61g14xs |
Setname |
ir_uspace |
ID |
707707 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s61g14xs |