Re: [cxx-mem-model] testing infrastructure

2011-03-10 Thread Mike Stump
On Mar 10, 2011, at 11:58 AM, Aldy Hernandez wrote: > The following is a test harness for testing atomicity problems and data races > in multi-threaded environments. The idea of developing a methodology for testing corner cases I think is interesting and neat. volatile would be another area tha

Re: [cxx-mem-model] testing infrastructure

2011-03-10 Thread Aldy Hernandez
Oh BTW, I have committed the aforementioned patch. This is one of the benefits of having your own branch (and Andrew being on vacation). You commit at will, and only later hide your head in shame after multiple flames-- correcting patches after the fact.

[cxx-mem-model] testing infrastructure

2011-03-10 Thread Aldy Hernandez
Hi folks. The following is a test harness for testing atomicity problems and data races in multi-threaded environments. Please see the README file in the patch below, which describes the use of GDB to test in-between states in a possibly threaded execution. I would like to use this branch a