|
From: Julian S. <js...@ac...> - 2008-07-01 04:26:31
|
On Monday 30 June 2008 17:22, Bart Van Assche wrote: > On Mon, Jun 30, 2008 at 12:26 PM, Julian Seward <js...@ac...> wrote: > > So I've added Imbe_SnoopedStoreBegin > > and Imbe_SnoopedStoreEnd for that purpose instead. (r1857, r8316). > > If I understand the VEX modifications correctly, all stwcx > instructions will be translated into regular stores. Is this safe ? What's the definition of "safe" here? All this change does is make it possible for tools to identify stores that come from stwcx instructions. What they do with that information is up to them. > Will Valgrind never schedule another thread between lwarx and stwcx > instructions ? Unlikely but not guaranteed. If it manages to translate the entire loop containing lwarx, stwcx. and the back branch in a single IRSB then no other thread will run in between, and that should usually be the case. At least, no other thread can be scheduled providing that none of the memory instructions in the loop take a segfault. J |