ABSTRACT
During the system development, developers often must correct wrong behavior in the software---an activity colloquially called program debugging. Debugging is a complex activity, especially in real-time embedded systems because such systems interact with the physical world and make heavy use of interrupts for timing and driving I/O devices.
Debugging interrupts is difficult, because they cause non-linear control flow in programs which is hard to reproduce in software. Record/replay mechanisms have proven their use to debugging embedded systems, because they provide means to recreate control flows offline where they can be debugged.
In this work, we present the data tracing part of the record/replay mechanism that is specifically targeted to record interrupt behavior. To tune our tracing mechanism, we use the observed principle of return address clustering and a formal model for quantitative reasoning about the tracing mechanism. The presented heuristic and mechanisms show surprisingly good results---up to an 800 percent speedup on the selector function and a 300 percent reduction on duplicates for non-optimal selector functions---considering the leanness of the approach.
- Standard Test Access Port and Boundary-Scan Architecture. IEEE 1149.1 standard, 2001.Google Scholar
- Standard for a Global Embedded Processor Debug Interface, 2003.Google Scholar
- J. Baginski and H. Seiffert. Interaktives Trace- und Debugging-System ALGOL KIEL X 8. In 3. Fachtagung ueber Programmiersprachen, Gesellschaft fur Informatik, pages 173--188, London, UK, 1974. Springer-Verlag. ISBN 3-540-06666-7. Google Scholar
Digital Library
- Dan H. Barnes and Larry L. Wear. Instruction Tracing via Microprogramming. In Conference record of the 7th Annual Workshop on Microprogramming (MICRO 7), pages 25--27, New York, NY, USA, 1974. ACM. Google Scholar
Digital Library
- B. Bouyssounouse and J.Sifakis, editors. Embedded Systems Design: The ARTIST Roadmap for Research and Development, volume 3436 of LNCS. Springer, first edition, May 2005. Google Scholar
Digital Library
- T. A. Cargill and B. N. Locanthi. Cheap hardware support for software debugging and profiling. In Proc. of the Second International Conference on Architectual Support for Programming Languages and Operating Systems (ASPLOS-II), pages 82--83, Los Alamitos, CA, 1987. IEEE Computer Society Press. ISBN 0-8186-0805-6. Google Scholar
Digital Library
- P.S. Dodd and C.V. Ravishankar. Monitoring and debugging distributed real-time programs, chapter Monitoring and debugging distributed real-time programs, pages 143--157. IEEE Computer Society Press, Los Alamitos, CA, USA, 1995. ISBN 0-8186-6537-8. Google Scholar
Digital Library
- Edward A. Fox, Lenwood S. Heath, Qi Fan Chen, and Amjad M. Daoud. Practical Minimal Perfect Hash Functions for Large Databases. Communications of the ACM, 35(1):105--121, 1992. ISSN 0001-0782. Google Scholar
Digital Library
- Antonio Augusto Froehlich. Application-Oriented Operating Systems. Number 17 in GMD Research Series. GMD -- Forschungszentrum Informationstechnik, Sankt Augustin, August 2001.Google Scholar
- M.P. Gallaher and B.M. Kropp. The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards & Technologg Planning Report 02--03, May 2002.Google Scholar
- Robert Jenkins. Hash Functions. Dr. Dobb's, September 1997.Google Scholar
- Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, and Oleg Sokolsky. Java-MaC: A Run-Time Assurance Approach for Java Programs. Form. Methods Syst. Des., 24(2):129--155, 2004. ISSN 0925-9856. Google Scholar
Digital Library
- Donald E. Knuth. Art of Computer Programming, Volume 2: Seminumerical Algorithms (3rd Edition). Addison-Wesley Professional, November 1997. ISBN 0201896842. Google Scholar
Digital Library
- Kyle London. Mastering algorithms with C. O'Reilly & Associates, Inc., Sebastopol, CA, USA, 1999. ISBN 1-56592-453-3. Google Scholar
Digital Library
- J. M. Mellor-Crummey and T. J. LeBlanc. A Software Instruction Counter. In Proc. of the Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-III), pages 78--86, New York, NY, USA, 1989. ACM. ISBN 0-89791-300-0. Google Scholar
Digital Library
- Linda J. Moore and Angelica R. Moya. Non-Intrusive Debug Technique for Embedded Programming. In Proc. of the 14th International Symposium on Software Reliability Engineering (ISSRE), page 375, Washington, DC, USA, 2003. IEEE Computer Society. ISBN 0-7695-2007-3. Google Scholar
Digital Library
- William Omre. Debug and Trace for Multicore SoCs. Technical report, ARM, September 2008.Google Scholar
- M. Ronsse and K. De Bosschere. RecPlay: a fully integrated practical record/replay system. ACM Transactions Computer Systems, 17(2):133--152, 1999. ISSN 0734-2071. Google Scholar
Digital Library
- M. Ronsse, K. De Bosschere, M. Christiaens, J.C. de Kergommeaux, and D. Kranzlmueller. Record/replay for nondeterministic program executions. Communications of the ACM, 46(9):62--67, 2003. ISSN 0001-0782. Google Scholar
Digital Library
- D. Sundmark and H. Thane. Pinpointing Interrupts in Embedded Real-Time Systems using Context Checksums. In Proc. of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany, 2008.Google Scholar
Cross Ref
- D. Sundmark, H. Thane, J. Huselius, and A. Pettersson. Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies. In Proc. of the 5th International Workshop on Algorithmic and Automated Debugging (AADEBUG), pages 211--222, Gent, Belgium, September 2003.Google Scholar
- Andrew S. Tanenbaum. Modern Operating Systems. Prentice Hall, second edition, 2001. Google Scholar
Digital Library
- H. Thane. Monitoring, Testing and Debugging of Distributed Real-Time Systems. PhD thesis, Department of Computer Science and Electronics, Malardalens University, May 2000.Google Scholar
- Ben L. Titzer. Avrora: Scalable sensor network simulation with precise timing. In Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (IPSN), pages 477--482, 2005. Google Scholar
Digital Library
- J. J. P. Tsai, K.-Y. Fang, H.-Y. Chen, and Y.-D. Bi. A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. IEEE Trans. Softw. Eng., 16(8):897--916, 1990. ISSN 0098-5589. Google Scholar
Digital Library
Index Terms
Tracing interrupts in embedded software
Recommendations
Tracing interrupts in embedded software
LCTES '09During the system development, developers often must correct wrong behavior in the software---an activity colloquially called program debugging. Debugging is a complex activity, especially in real-time embedded systems because such systems interact with ...
Tracing and recording interrupts in embedded software
During the system development, developers often must correct wrong behavior in the software-an activity colloquially called program debugging. Debugging is a complex activity, especially in real-time embedded systems because such systems interact with ...
Software-only system-level record and replay in wireless sensor networks
IPSN '15: Proceedings of the 14th International Conference on Information Processing in Sensor NetworksWireless sensor networks (WSNs) are plagued by the possibility of bugs manifesting only at deployment. However, debugging deployed WSNs is challenging for several reasons---the remote location of deployed sensor nodes, the non- determinism of execution ...







Comments