On 15/12/2014 14:39, Peter Maydell wrote: >> > >> > How would "add a mutex" work unless you add a mutex or CAS to each and >> > every qemu_st operation? > Same way our current approach works -- we simply don't implement > "stores interrupt ll/sc operations": only a store-conditional > can break a load-locked's lock. In practice this works ok > because the stereotypical sequences that guests use don't rely > on this part of the spec.
Makes sense, thanks! Paolo
