Jockey: Extensible user-space library for record-replay debugging

Next: 1. Getting started

Jockey: Extensible user-space library for record-replay debugging

Yasushi Saito

Hewlett-Packard Labs (then) / Google Inc (now)

1. Getting started
- 1.1 Recording program execution
- 1.2 Replaying program execution
2. Limitations
3. Basic uses of Jockey
4. Jockey internals
5. Jockey utility programs
- 5.1 jockeylog: Displaying event log contents
- 5.2 jockeyctl: Changing a parameter of a running program
6. Files used or created by Jockey
7. Programming Jockey
- 7.1 User-defined invariant checker
- 7.2 Interposer library
8. Reporting bugs
Index
About this document ...

Jockey: Extensible user-space library for record-replay debugging

Next: 1. Getting started