Replaying Shared Memory Concurrent Programs

PhD Qualifying Examination


Title: "Replaying Shared Memory Concurrent Programs"

by

Mr. Jinguo ZHOU


Abstract:

Concurrency bug is a major stumbling block to writing multi-threaded
programs. The capability of reproducing a concurrency bug is key to
comprehending and finally fixing the bug. Unlike sequential programs,
concurrent programs may behave differently even with the same input,
making replay techniques for concurrent programs much harder than the
counterpart for sequential programs. In this survey, we target on
surveying the state-of-the-art replaying techniques for shared memory
concurrent programs, where concurrent components communicate by altering
the contents of shared memory locations. The replay techniques on shared
memory is important but challenging. The survey includes the theory
foundations, specifying under which condition can we reproduce a
concurrent execution, and the existing replaying techniques designed for
tracing, testing and production usages respectively. We also discuss the
applications of replaying techniques, and provide the challenges and
possible future work directions for replay techniques on shared memory
concurrent programs.


Date:			Tuesday, 27 August 2013

Time:                   3:00pm - 5:00pm

Venue:                  Room 3494
                         lifts 25/26

Committee Members:	Dr. Charles Zhang (Supervisor)
 			Dr. Sunghun Kim (Chairperson)
 			Prof. Shing-Chi Cheung
 			Dr. Jiang Xu (ECE)


**** ALL are Welcome ****