Here are some screenshots from the DejaVu demonstration given at OOPSLA 2000. We demonstrated DejaVu in action, debugging a buggy multithreaded program using replay and a proof-of-concept GUI debugger.
We debugged a small test program involving linked lists. During execution of the program, 5 threads attempt to add a random element to a sorted linked list. Because of its multithreaded nature and the randomness of the inserted elements, the program is non-deterministic. Furthermore, without proper synchronization, multiple threads performing linked list insertions can lead to incorrect pointer updates and therefore incorrect behavior.