| Index: docs/client_design.md
|
| diff --git a/docs/client_design.md b/docs/client_design.md
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..30ffb2fbccb5829b328f1cbf85204c64a2594dcc
|
| --- /dev/null
|
| +++ b/docs/client_design.md
|
| @@ -0,0 +1,224 @@
|
| +# Breakpad Client Libraries
|
| +
|
| +## Objective
|
| +
|
| +The Breakpad client libraries are responsible for monitoring an application for
|
| +crashes (exceptions), handling them when they occur by generating a dump, and
|
| +providing a means to upload dumps to a crash reporting server. These tasks are
|
| +divided between the “handler” (short for “exception handler”) library linked in
|
| +to an application being monitored for crashes, and the “sender” library,
|
| +intended to be linked in to a separate external program.
|
| +
|
| +## Background
|
| +
|
| +As one of the chief tasks of the client handler is to generate a dump, an
|
| +understanding of [dump files](processor_design.md) will aid in understanding the
|
| +handler.
|
| +
|
| +## Overview
|
| +
|
| +Breakpad provides client libraries for each of its target platforms. Currently,
|
| +these exist for Windows on x86 and Mac OS X on both x86 and PowerPC. A Linux
|
| +implementation has been written and is currently under review.
|
| +
|
| +Because the mechanisms for catching exceptions and the methods for obtaining the
|
| +information that a dump contains vary between operating systems, each target
|
| +operating system requires a completely different handler implementation. Where
|
| +multiple CPUs are supported for a single operating system, the handler
|
| +implementation will likely also require separate code for each processor type to
|
| +extract CPU-specific information. One of the goals of the Breakpad handler is to
|
| +provide a prepackaged cross-platform system that masks many of these
|
| +system-level differences and quirks from the application developer. Although the
|
| +underlying implementations differ, the handler library for each system follows
|
| +the same set of principles and exposes a similar interface.
|
| +
|
| +Code that wishes to take advantage of Breakpad should be linked against the
|
| +handler library, and should, at an appropriate time, install a Breakpad handler.
|
| +For applications, it is generally desirable to install the handler as early in
|
| +the start-up process as possible. Developers of library code using Breakpad to
|
| +monitor itself may wish to install a Breakpad handler when the library is
|
| +loaded, or may only want to install a handler when calls are made in to the
|
| +library.
|
| +
|
| +The handler can be triggered to generate a dump either by catching an exception
|
| +or at the request of the application itself. The latter case may be useful in
|
| +debugging assertions or other conditions where developers want to know how a
|
| +program got in to a specific non-crash state. After generating a dump, the
|
| +handler calls a user-specified callback function. The callback function may
|
| +collect additional data about the program’s state, quit the program, launch a
|
| +crash reporter application, or perform other tasks. Allowing for this
|
| +functionality to be dictated by a callback function preserves flexibility.
|
| +
|
| +The sender library is also has a separate implementation for each supported
|
| +platform, because of the varying interfaces for accessing network resources on
|
| +different operating systems. The sender transmits a dump along with other
|
| +application-defined information to a crash report server via HTTP. Because dumps
|
| +may contain sensitive data, the sender allows for the use of HTTPS.
|
| +
|
| +The canonical example of the entire client system would be for a monitored
|
| +application to link against the handler library, install a Breakpad handler from
|
| +its main function, and provide a callback to launch a small crash reporter
|
| +program. The crash reporter program would be linked against the sender library,
|
| +and would send the crash dump when launched. A separate process is recommended
|
| +for this function because of the unreliability inherent in doing any significant
|
| +amount of work from a crashed process.
|
| +
|
| +## Detailed Design
|
| +
|
| +### Exception Handler Installation
|
| +
|
| +The mechanisms for installing an exception handler vary between operating
|
| +systems. On Windows, it’s a relatively simple matter of making one call to
|
| +register a [top-level exception filter]
|
| +(http://msdn.microsoft.com/library/en-us/debug/base/setunhandledexceptionfilter.asp)
|
| +callback function. On most Unix-like systems such as Linux, processes are
|
| +informed of exceptions by the delivery of a signal, so an exception handler
|
| +takes the form of a signal handler. The native mechanism to catch exceptions on
|
| +Mac OS X requires a large amount of code to set up a Mach port, identify it as
|
| +the exception port, and assign a thread to listen for an exception on that port.
|
| +Just as the preparation of exception handlers differ, the manner in which they
|
| +are called differs as well. On Windows and most Unix-like systems, the handler
|
| +is called on the thread that caused the exception. On Mac OS X, the thread
|
| +listening to the exception port is notified that an exception has occurred. The
|
| +different implementations of the Breakpad handler libraries perform these tasks
|
| +in the appropriate ways on each platform, while exposing a similar interface on
|
| +each.
|
| +
|
| +A Breakpad handler is embodied in an `ExceptionHandler` object. Because it’s a
|
| +C++ object, `ExceptionHandler`s may be created as local variables, allowing them
|
| +to be installed and removed as functions are called and return. This provides
|
| +one possible way for a developer to monitor only a portion of an application for
|
| +crashes.
|
| +
|
| +### Exception Basics
|
| +
|
| +Once an application encounters an exception, it is in an indeterminate and
|
| +possibly hazardous state. Consequently, any code that runs after an exception
|
| +occurs must take extreme care to avoid performing operations that might fail,
|
| +hang, or cause additional exceptions. This task is not at all straightforward,
|
| +and the Breakpad handler library seeks to do it properly, accounting for all of
|
| +the minute details while allowing other application developers, even those with
|
| +little systems programming experience, to reap the benefits. All of the Breakpad
|
| +handler code that executes after an exception occurs has been written according
|
| +to the following guidelines for safety at exception time:
|
| +
|
| +* Use of the application heap is forbidden. The heap may be corrupt or
|
| + otherwise unusable, and allocators may not function.
|
| +* Resource allocation must be severely limited. The handler may create a new
|
| + file to contain the dump, and it may attempt to launch a process to continue
|
| + handling the crash.
|
| +* Execution on the thread that caused the exception is significantly limited.
|
| + The only code permitted to execute on this thread is the code necessary to
|
| + transition handling to a dedicated preallocated handler thread, and the code
|
| + to return from the exception handler.
|
| +* Handlers shouldn’t handle crashes by attempting to walk stacks themselves,
|
| + as stacks may be in inconsistent states. Dump generation should be performed
|
| + by interfacing with the operating system’s memory manager and code module
|
| + manager.
|
| +* Library code, including runtime library code, must be avoided unless it
|
| + provably meets the above guidelines. For example, this means that the STL
|
| + string class may not be used, because it performs operations that attempt to
|
| + allocate and use heap memory. It also means that many C runtime functions
|
| + must be avoided, particularly on Windows, because of heap operations that
|
| + they may perform.
|
| +
|
| +A dedicated handler thread is used to preserve the state of the exception thread
|
| +when an exception occurs: during dump generation, it is difficult if not
|
| +impossible for a thread to accurately capture its own state. Performing all
|
| +exception-handling functions on a separate thread is also critical when handling
|
| +stack-limit-exceeded exceptions. It would be hazardous to run out of stack space
|
| +while attempting to handle an exception. Because of the rule against allocating
|
| +resources at exception time, the Breakpad handler library creates its handler
|
| +thread when it installs its exception handler. On Mac OS X, this handler thread
|
| +is created during the normal setup of the exception handler, and the handler
|
| +thread will be signaled directly in the event of an exception. On Windows and
|
| +Linux, the handler thread is signaled by a small amount of code that executes on
|
| +the exception thread. Because the code that executes on the exception thread in
|
| +this case is small and safe, this does not pose a problem. Even when an
|
| +exception is caused by exceeding stack size limits, this code is sufficiently
|
| +compact to execute entirely within the stack’s guard page without causing an
|
| +exception.
|
| +
|
| +The handler thread may also be triggered directly by a user call, even when no
|
| +exception occurs, to allow dumps to be generated at any point deemed
|
| +interesting.
|
| +
|
| +### Filter Callback
|
| +
|
| +When the handler thread begins handling an exception, it calls an optional
|
| +user-defined filter callback function, which is responsible for judging whether
|
| +Breakpad’s handler should continue handling the exception or not. This mechanism
|
| +is provided for the benefit of library or plug-in code, whose developers may not
|
| +be interested in reports of crashes that occur outside of their modules but
|
| +within processes hosting their code. If the filter callback indicates that it is
|
| +not interested in the exception, the Breakpad handler arranges for it to be
|
| +delivered to any previously-installed handler.
|
| +
|
| +### Dump Generation
|
| +
|
| +Assuming that the filter callback approves (or does not exist), the handler
|
| +writes a dump in a directory specified by the application developer when the
|
| +handler was installed, using a previously generated unique identifier to avoid
|
| +name collisions. The mechanics of dump generation also vary between platforms,
|
| +but in general, the process involves enumerating each thread of execution, and
|
| +capturing its state, including processor context and the active portion of its
|
| +stack area. The dump also includes a list of the code modules loaded in to the
|
| +application, and an indicator of which thread generated the exception or
|
| +requested the dump. In order to avoid allocating memory during this process, the
|
| +dump is written in place on disk.
|
| +
|
| +### Post-Dump Behavior
|
| +
|
| +Upon completion of writing the dump, a second callback function is called. This
|
| +callback may be used to launch a separate crash reporting program or to collect
|
| +additional data from the application. The callback may also be used to influence
|
| +whether Breakpad will treat the exception as handled or unhandled. Even after a
|
| +dump is successfully generated, Breakpad can be made to behave as though it
|
| +didn’t actually handle an exception. This function may be useful for developers
|
| +who want to test their applications with Breakpad enabled but still retain the
|
| +ability to use traditional debugging techniques. It also allows a
|
| +Breakpad-enabled application to coexist with a platform’s native crash reporting
|
| +system, such as Mac OS X’ [CrashReporter]
|
| +(http://developer.apple.com/technotes/tn2004/tn2123.html) and [Windows Error
|
| +Reporting](http://msdn.microsoft.com/isv/resources/wer/).
|
| +
|
| +Typically, when Breakpad handles an exception fully and no debuggers are
|
| +involved, the crashed process will terminate.
|
| +
|
| +Authors of both callback functions that execute within a Breakpad handler are
|
| +cautioned that their code will be run at exception time, and that as a result,
|
| +they should observe the same programming practices that the Breakpad handler
|
| +itself adheres to. Notably, if a callback is to be used to collect additional
|
| +data from an application, it should take care to read only “safe” data. This
|
| +might involve accessing only static memory locations that are updated
|
| +periodically during the course of normal program execution.
|
| +
|
| +### Sender Library
|
| +
|
| +The Breakpad sender library provides a single function to send a crash report to
|
| +a crash server. It accepts a crash server’s URL, a map of key-value parameters
|
| +that will accompany the dump, and the path to a dump file itself. Each of the
|
| +key-value parameters and the dump file are sent as distinct parts of a multipart
|
| +HTTP POST request to the specified URL using the platform’s native HTTP
|
| +facilities. On Linux, [libcurl](http://curl.haxx.se/) is used for this function,
|
| +as it is the closest thing to a standard HTTP library available on that
|
| +platform.
|
| +
|
| +## Future Plans
|
| +
|
| +Although we’ve had great success with in-process dump generation by following
|
| +our guidelines for safe code at exception time, we are exploring options for
|
| +allowing dumps to be generated in a separate process, to further enhance the
|
| +handler library’s robustness.
|
| +
|
| +On Windows, we intend to offer tools to make it easier for Breakpad’s settings
|
| +to be managed by the native group policy management system.
|
| +
|
| +We also plan to offer tools that many developers would find desirable in the
|
| +context of handling crashes, such as a mechanism to determine at launch if the
|
| +program last terminated in a crash, and a way to calculate “crashiness” in terms
|
| +of crashes over time or the number of application launches between crashes.
|
| +
|
| +We are also investigating methods to capture crashes that occur early in an
|
| +application’s launch sequence, including crashes that occur before a program’s
|
| +main function begins executing.
|
|
|