FlashBox: a system for logging non-deterministic events in deployed embedded systems

Authors:
Siddharth Choudhuri;Tony Givargis
Affiliations:
University of California, Irvine;University of California, Irvine
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 24
Cited 4

Optimistic recovery in distributed systems

ACM Transactions on Computer Systems (TOCS)
Cheap hardware support for software debugging and profiling

ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging

IEEE Transactions on Software Engineering
Software safety in embedded computer systems

Communications of the ACM
An Investigation of the Therac-25 Accidents

Computer
Real-time execution monitoring

Monitoring and debugging of distributed real-time systems
Support for Software Interrupts in Log-Based Rollback-Recovery

IEEE Transactions on Computers
A low power unified cache architecture providing power and performance flexibility (poster session)

ISLPED '00 Proceedings of the 2000 international symposium on Low power electronics and design
Static checking of interrupt-driven software

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A survey of rollback-recovery protocols in message-passing systems

ACM Computing Surveys (CSUR)
Bug isolation via remote program sampling

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Supporting nondeterministic execution in fault-tolerant systems

FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Replay Debugging of Real-Time Systems Using Time Machines

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
ReVirt: enabling intrusion analysis through virtual-machine logging and replay

ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
Nonintrusive precision instrumentation of microcontroller software

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Jockey: a user-space library for record-replay debugging

Proceedings of the sixth international symposium on Automated analysis-driven debugging
Random testing of interrupt-driven software

Proceedings of the 5th ACM international conference on Embedded software
Rx: treating bugs as allergies---a safe method to survive software failures

Proceedings of the twentieth ACM symposium on Operating systems principles
Improved Flash Memory Grows in Popularity

Computer
BugNet: Recording Application-Level Execution for Deterministic Replay Debugging

IEEE Micro
Model Checking Interrupt-Dependent Software

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Debugging operating systems with time-traveling virtual machines

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Flashback: a lightweight extension for rollback and deterministic replay for software debugging

ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Replay debugging for distributed applications

ATEC '06 Proceedings of the annual conference on USENIX '06 Annual Technical Conference

Aveksha: a hardware-software approach for non-intrusive tracing and profiling of wireless embedded systems

Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems
An FPGA-based real-time event sampler

ARC'10 Proceedings of the 6th international conference on Reconfigurable Computing: architectures, Tools and Applications
Tracing and recording interrupts in embedded software

Journal of Systems Architecture: the EUROMICRO Journal
SPI-SNOOPER: a hardware-software approach for transparent network monitoring in wireless sensor networks

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ability to postmortem failures in deployed systems due to non-deterministic events is useful in crash investigations. With this goal in mind, we propose FlashBox - a system that acts as a black box for embedded systems, recording non-deterministic events (interrupts). The FlashBox hardware consists of a microcontroller and flash memory. The FlashBox software is an extension to a compiler, enabling recording capabilities at various granularities. There are no source code modifications required to use FlashBox and no assumptions made on processor capabilities such as hardware counters. The FlashBox log can be used for faithful replay with a goal to isolate faults and reason about failure. We present a prototype implementation of FlashBox that logs non-deterministic events on an AVR ATMega169 microcontroller. The FlashBox prototype consists of a 8051 microcontroller with flash memory. The avr-gcc compiler has been extended to log non-deterministic events. Based on our experimental results, FlashBox results in 10-23% overhead while providing capability to log non-deterministic events at instruction level granularity. With decreasing cost of flash memories, FlashBox provides a low cost logging mechanism. The use of standard I/O communication protocols enhances portability, enabling ease of integration for different classes of embedded systems.