Offline compression for on-chip ram

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2007, Pages 363-372

  Cooprider, Nathan Dean ^a   Regehr, John David ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

Data compression; Embedded software; Memory optimization; Sensor networks; Static analysis; TinyOS

Indexed keywords

EMBEDDED SOFTWARE; MEMORY OPTIMIZATION; PROGRAM ANALYSIS; SCALARS;

AUTOMATION; MICROCONTROLLERS; PROGRAM PROCESSORS; ROM; SCALABILITY; SOFTWARE ARCHITECTURE; STATIC ANALYSIS;

DATA COMPRESSION;

EID: 35448969724     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1250734.1250776     Document Type: Conference Paper

References (33)

1. C. Scott Ananian and Martin Rinard. Data size optimizations for Java programs. In Proc. of the 2003 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 59-68, San Diego, CA, June 2003.
2. Lan S. Bai, Lei Yang, and Robert P. Dick. Automated compile-time and run-time techniques to increase usable memory in MMU-less embedded systems. In Proc. of the Intl. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Seoul, Korea, October 2006.
3. Gogul Balakrishnan and Thomas Reps. Analyzing memory accesses in x86 executables. In Proc. of the Intl. Conf. on Compiler Construction (CC), pages 5-23, Bonita Springs, FL, April 2004.
4. Ross Bannatyne. Microcontrollers for the automobile. Micro Control Journal, 2004. http://www.mcjournal.com/articles/arc105/arc105.htm.
5. Max Baron and Cheryl Cadden. Strong growth, to continue for MCU market, 2005. http://www.instat.com/press.asp?ID= 1445&sku=IN0502457SI.
6. Volker Barthelmann. Inter-task register-allocation for static operating systems. In Proc. of the Joint Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES) and Software and Compilers for Embedded Systems (SCOPES), pages 149-154, Berlin, Germany, June 2002.
7. Surupa Biswas, Matthew Simpson, and Rajeev Barua. Memory over-flow protection for embedded systems using run-time checks, reuse and compression. In Proc. of the Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Washington, DC, September 2004.
8. David Brooks and Margaret Martonosi. Dynamically exploiting narrow width operands to improve processor power and performance. In Proc. of the 5th Intl. Symp. on High Performance Computer Architecture (HPCA), Orlando, FL, January 1999.
9. Mihai Budiu, Majd Sakr, Kip Walker, and Seth Copen Goldstein. BitValue inference: Detecting and exploiting narrow bitwidth computations. In Proc. of the European Conf. on Parallel Processing (EUROPAR), Münich, Germany, August 2000.
10. Dominique Chanet, Bjorn De Sutter, Bruno De Bus, Ludo Van Put, and Koen De Bosschere. System-wide compaction and specialization of the Linux kernel. In Proc. of the 2005 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES), Chicago, IL, June 2005.
11. Trishul M. Chilimbi, Bob Davidson, and James R. Larus. Cacheconscious structure definition. In Proc. of the ACM SIGPLAN 1999 Conf. on Programming Language Design and Implementation (PLDI), pages 13-24, Atlanta, GA, May 1999.
12. Nathan Cooprider and John Regehr. Pluggable abstract domains for analyzing embedded software. In Proc. of the 2006 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 44-53, Ottawa, Canada, June 2006.
13. David Gay, Phil Levis, Robert von Behren, Matt Welsh, Eric Brewer, and David Culler. The nesC language: A holistic approach to networked embedded systems. In Proc. of the Conf. on Programming Language Design and Implementation (PLDI), pages 1-11, San Diego, CA, June 2003.
14. Dirk Grunwald and Richard Neves. Whole-program optimization for time and space efficient threads. In Proc. of the 7th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 50-59, Cambridge, MA, October 1996.
15. Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David Culler, and Kristofer Pister. System architecture directions for networked sensors. In Proc. of the 9th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 93-104, Cambridge, MA, November 2000.
16. Jonathan W. Hui and David Culler. The dynamic behavior of a data dissemination protocol for network programming at scale. In Proc. of the 2nd ACM Conf. on Embedded Networked Sensor Systems (SenSys), pages 81-94, 2004.
17. Chris Karlof, Naveen Sastry, and David Wagner. TinySec: A link layer security architecture for wireless sensor networks. In Proc. of the 2nd ACM Conf. on Embedded Networked Sensor Systems (SenSys), Baltimore, MD, November 2004.
18. Chris Lattner and Vikram Adve. Transparent pointer compression for linked data structures. In Proc. of the ACM Workshop on Memory System Performance (MSP), Chicago, IL, June 2005.
19. Bhuvan Middha, Matthew Simpson, and Rajeev Barua. MTSS: Multi task stack sharing for embedded systems. In Proc. of the Intl. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), San Francisco, CA, September 2005.
20. George C. Necula, Scott McPeak, S. P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proc. of the Intl. Conf. on Compiler Construction (CC), pages 213-228, Grenoble, France, April 2002.
21. Ozcan Ozturk, Mahmut Kandemir, and Mary Jane Irwin. Increasing on-chip memory space utilization for embedded chip multiprocessors through data compression. In Proc. of the 3rd Intl. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pages 87-92, Jersey City, NJ, September 2005.
22. The Paparazzi project, 2006. http://www.nongnu.org/paparazzi.
23. Rodric M. Rabbah and Krishna V. Palem. Data remapping for design space optimization of embedded memory systems. ACM Trans. Embedded Computing Systems (TECS), 2(2): 1-32, May 2003.
24. Rahul Razdan and Michael D. Smith. A high-performance microarchitecture with hardware-programmable functional units. In Proc. of the 27th Intl. Symp. on Microarchitecture (MICRO), pages 172-180, San Jose, CA, November 1994.
25. John Regehr, Alastair Reid, and Kirk Webb. Eliminating stack overflow by abstract interpretation. ACM Transactions on Embedded Computing Systems (TECS), 4(4):751-778, November 2005.
26. Mark Stephenson, Jonathan Babb, and Saman Amarasinghe. Bitwidth analysis with application to silicon compilation. In Proc. of the Conf. on Programming Language Design and Implementation (PLDI), pages 108-120, Vancouver, Canada, June 2000.
27. Michael Stilkerich, Christian Wawersich, Wolfgang Schröder- Preikschat, Andreas Gal, and Michael Franz. An OSEK/VDX API for Java. In Proc. of the 3rd Workshop on Programming Languages and Operating Systems (PLOS), San Jose, CA, October 2006.
28. Ben L. Titzer. Virgil: Objects on the head of a pin. In Proc. of the ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Portland, OR, October 2006.
29. Ben L. Titzer, Daniel Lee, and Jens Palsberg. Avrora: Scalable sensor network simulation with precise timing. In Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (IPSN), Los Angeles, CA, April 2005.
30. Clark Verbrugge, Phong Co, and Laurie Hendren. Generalized constant propagation: A study in C. In Proc. of the Intl. Conf. on Compiler Construction (CC), Linköping, Sweden, April 1996.
31. Mark N. Wegman and F. Kenneth Zadeck. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(2):181-210, April 1991.
32. Lei Yang, Robett P. Dick, Haris Lekatsas, and Srimat Chakradhar. On-line memory compression for embedded systems. ACM Trans. Embedded Computing Systems (TECS), 2006.
33. Youtao Zhang and Rajiv Gupta. Compressing heap data for improved memory performance. Software - Practice and Experience, 36(10):1081-1111, August 2006.