Re: [RFC][libitm] Convert to c++11 atomics

2012-01-09 Thread Andrew MacLeod
On 01/02/2012 01:19 PM, Torvald Riegel wrote: On Tue, 2011-12-20 at 01:13 +0100, Torvald Riegel wrote: On Mon, 2011-12-19 at 15:17 -0800, Richard Henderson wrote: On 12/19/2011 02:58 PM, Torvald Riegel wrote: In the particular case (the validated loads technique used in method-gl.cc, load(), s

Re: [RFC][libitm] Convert to c++11 atomics

2012-01-02 Thread Richard Henderson
On 12/20/2011 11:13 AM, Torvald Riegel wrote: > On Mon, 2011-12-19 at 15:17 -0800, Richard Henderson wrote: >> On 12/19/2011 02:58 PM, Torvald Riegel wrote: >>> In the particular case (the validated loads technique used in >>> method-gl.cc, load(), store(), and validate()), we actually do not need

Re: [RFC][libitm] Convert to c++11 atomics

2012-01-02 Thread Torvald Riegel
On Tue, 2011-12-20 at 01:13 +0100, Torvald Riegel wrote: > On Mon, 2011-12-19 at 15:17 -0800, Richard Henderson wrote: > > On 12/19/2011 02:58 PM, Torvald Riegel wrote: > > > In the particular case (the validated loads technique used in > > > method-gl.cc, load(), store(), and validate()), we actua

Re: [RFC][libitm] Convert to c++11 atomics

2011-12-19 Thread Torvald Riegel
On Mon, 2011-12-19 at 15:17 -0800, Richard Henderson wrote: > On 12/19/2011 02:58 PM, Torvald Riegel wrote: > > In the particular case (the validated loads technique used in > > method-gl.cc, load(), store(), and validate()), we actually do not need > > to have loads or stores to be really atomic,

Re: [RFC][libitm] Convert to c++11 atomics

2011-12-19 Thread Richard Henderson
On 12/19/2011 02:58 PM, Torvald Riegel wrote: > In the particular case (the validated loads technique used in > method-gl.cc, load(), store(), and validate()), we actually do not need > to have loads or stores to be really atomic, but need the compiler to > treat them as if they were atomics wrt. t

Re: [RFC][libitm] Convert to c++11 atomics

2011-12-19 Thread Torvald Riegel
On Tue, 2011-12-13 at 11:17 -0800, Richard Henderson wrote: > On 11/30/2011 05:13 PM, Richard Henderson wrote: > > The library is written in C++, so in theory we can use the real atomic<> > > templates, etc. Except that we have the same horrid problem finding the > > C++ headers as did for , so

Re: [RFC][libitm] Convert to c++11 atomics

2011-12-13 Thread Richard Henderson
On 12/13/2011 11:43 AM, Dominique Dhumieres wrote: >> I've committed the patch. > > It caused: > > ../../../work/libitm/config/posix/rwlock.cc: In member function 'bool > GTM::gtm_rwlock::write_lock_generic(GTM::gtm_thread*)': > ../../../work/libitm/config/posix/rwlock.cc:196:56: error: comparis

Re: [RFC][libitm] Convert to c++11 atomics

2011-12-13 Thread Dominique Dhumieres
> I've committed the patch. It caused: ../../../work/libitm/config/posix/rwlock.cc: In member function 'bool GTM::gtm_rwlock::write_lock_generic(GTM::gtm_thread*)': ../../../work/libitm/config/posix/rwlock.cc:196:56: error: comparison between signed and unsigned integer expressions [-Werror=sig

Re: [RFC][libitm] Convert to c++11 atomics

2011-12-13 Thread Richard Henderson
On 11/30/2011 05:13 PM, Richard Henderson wrote: > The library is written in C++, so in theory we can use the real atomic<> > templates, etc. Except that we have the same horrid problem finding the C++ > headers as did for , so again we have a local copy of . > Blah. But given that it is a co