|
From: Julian S. <js...@ac...> - 2012-10-12 08:48:05
|
On Friday, October 12, 2012, John Reiser wrote: > Just to remove any possible confusion, some architectures such as MIPS > implement LoadLocked (LL) and StoreConditional (SC) as instructions > for synthesizing mutual exclusion; and the proposed "conditional store > in IR" has nothing to do with LL/SC. Yes, IR already represents LL/SC directly, else multithread anything wouldn't work correctly on ppc32/64, arm or mips32. I did wonder about the similarity in names when writing the proposal. Maybe it would be better to use the qualified "guarded" rather than "conditional" for the current proposal. J |