A fully-non-transparent approach to the code location problem

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A fully-non-transparent approach to the code location problem

Full text

Pdf (187 KB)

Source

ACM International Conference Proceeding Series; Vol. 296 archive
Proceedings of the 11th international workshop on Software & compilers for embedded systems table of contents

Munich, Germany

SESSION: Validation and simulation table of contents

Pages 61-68

Year of Publication: 2008

Authors

Hugo Venturini	Verimag -- Grenoble, France and STMicroelectronics -- Crolles, France
Frédéric Riss	STMicroelectronics -- Crolles, France
Jean-Claude Fernandez	Verimag -- Grenoble, France
Miguel Santana	STMicroelectronics -- Crolles, France

Sponsors

: Artist2 European NoE
EDAA : European Design and Automation Association
SIGBED: ACM Special Interest Group on Embedded Systems

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 33, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

In the context of embedded systems such as cell-phones, PDA or cars and planes software, optimizations of code are required because of timing and memory constraints imposed. Many problems arise when trying to debug optimized code. One of them is the irrelevance of the mapping between the source code and the optimized target program: the Code Location Problem. This paper proposes a solution to this problem in the case of highly optimized code in the context of embedded systems.

Two approaches exist: non-transparent and transparent debugging. Our approach is non-transparent. The idea is to reveal the execution of the optimized program to the user so the latter understands the mapping to the source code in spite of transformations applied to the program. We do not emulate the execution of the unoptimized program. We make good use of the programmer's knowledge of its development platform. Standard debuggers do not provide the required mechanisms while compilers do not provide the relevant debug information. We propose a novel method to maintain accurate debug information when optimizing at compilation and we experiment this method on the MMDSP+ C compiler and the IDBug debugger.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ACE Associated Compiler Experts bv. CoSy Compilers, Overview of Construction and Operation. White paper, 24 Apr. 2003.
	2	A.-R. Adl-Tabatabai. Source Level Debugging of Globally Optimized Code. PhD thesis, Carnegie Mellon University, Pittsburgh PA 15213-3891, June 1996.
	3	Ali-Reza Adl-Tabatabai , Thomas Gross, Detection and recovery of endangered variables caused by instruction scheduling, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.13-25, June 21-25, 1993, Albuquerque, New Mexico, United States
	4	Ali-Reza Adl-Tabatabai , Thomas Gross, Evicted variables and the interaction of global register allocation and symbolic debugging, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.371-383, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158692]
	5	Valérie Bertin , Jean-Marc Daveau , Philippe Guillaume , Thierry Lepley , Denis Pilat , Claire Richard , Miguel Santana , Thomas Thery, FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors, Proceedings of the Second International Conference on Embedded Software, p.382-398, October 07-09, 2002
	6	Max Copperman, Debugging optimized code without being misled, California Institute of Technology, Pasadena, CA, 1993
	7	D. S. Coutant , S. Meloy , M. Ruscetta, DOC: a practical approach to source-level debugging of globally optimized code, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.125-134, June 20-24, 1988, Atlanta, Georgia, United States
	8	Jean-Marc Daveau , Thomas Thery , Thierry Lepley , Miguel Santana, A retargetable register allocation framework for embedded processors, Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, June 11-13, 2004, Washington, DC, USA
	9	DWARF Debugging Information Format Workgroup, A Workgroup of the Free Standards Group, http://dwarf.freestandards.org/. The DWARF Debugging Standard.
	10	L. Gerard, D. Pilat, F. Riss, S. Laheurte, M. Santana, and H. Venturini. IDBug Technology, Benefits and Added-value. White Paper, STMicroelectronics, F-38921 Crolles France, jul 2005.
	11	John Hennessy, Symbolic Debugging of Optimized Code, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.323-344, July 1982 [doi>10.1145/357172.357173]
	12	Clara Ines Jaramillo , Mary Lou Soffa , Rajiv Gupta, Source-level debugging techniques and tools for optimized code, University of Pittsburgh, Pittsburgh, PA, 2000
	13	Pierre G. Paulin , Miguel Santana, FlexWare: A Retargetable Embedded-Software Development Environment, IEEE Design & Test, v.19 n.4, p.59-69, July 2002 [doi>10.1109/MDT.2002.1018134]
	14	R. M. Stallman, R. Pesch, S. Shebs, et al. Debugging with GDB: The GNU Source-Level Debugger. Free Software Foundation, 2002.
	15	L. V. J. Streepy, G. Brooks, T. Buyse, M. Chiarelli, M. Garzione, G. Hansen, D. Lingle, S. Simmons, and J. Woods. Cxdb a new view on optimization. In Proceedings of Supercomputer Debugging Workshop, pages 1--22, November 1991.
	16	Caroline M. Tice, Non-Transparent Debugging of Optimized Code, University of California at Berkeley, Berkeley, CA, 2000
	17	Caroline Tice , Susan L. Graham, OPTVIEW: a new approach for examining optimized code, Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.19-26, June 16-16, 1998, Montreal, Quebec, Canada
	18	C. M. Tice and S. L. Graham. Key instructions: Solving the code location problem for optimized code. 2000.
	19	Hugo Venturini , Frederic Riss , Jean-Claude Fernandez , Miguel Santana, Non-transparent debugging for software-pipelined loops, Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems, September 30-October 03, 2007, Salzburg, Austria [doi>10.1145/1289881.1289887]
	20	Le-Chun Wu , Wen-Mei W. Hwu, Interactive source-level debugging of optimized code, University of Illinois at Urbana-Champaign, Champaign, IL, 2000
	21	P. T. Zellweger. Interactions between high-level debugging and optimised code. PhD thesis, Computer Science Division, University of California, Berkeley, 1984.
	22	P. T. Zellweger. Interactive source-level debugging of optimized programs. Research Report CSL-84-5, Xerox Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, California 94304, May 1984.