On 26/05/2016 12:42, Sergey Fedorov wrote: > I'm afraid even our recent efforts in > multi-threaded TCG won't change the situation. The problem is that it > would require to translate somehow ARM's exclusive access monitor to x86 > model. >
The cmpxchg-based variant would work. It doesn't implement LL/SC exactly, but it works fine if the program is written against GCC atomic builtins. Thanks, Paolo
