Hello, Does GCC support the automatic instrumentation of volatile memory accesses? I am interested in implementing a replay debugger for pthread programs based on Netzer's optimal algorithm for shared memory parallel programs. This requires that each shared memory access is instrumented to detect a special kind of race condition (which is then traced to a logfile for use during replay). I am assuming that all pthread shared memory variables are tagged as volatile. Thanks for your time, Peter Huerter.
