Il 14/08/2013 14:32, Jan Kiszka ha scritto: > I still need to check more corner cases as timer dequeuing can now race > with the handler execution, ie. a dequeued timer can still see one more > handler run after timer_del returned. That's a property one can easily > take into account when writing device models, but it has to be kept in > mind that it's different from current behavior. > > Updated queue is at git://git.kiszka.org/qemu.git queues/rt.new3 again.
I took a look here, there are several patches that I guess are basically ready... two random things I noticed: (1) rcu_init() must be called in rcutorture too (2) there are several load/store functions in exec.c that do not go through address_space_rw. These would not call qemu_flush_coalesced_mmio_buffer() after your patch "provide address_space_rw_unlocked". I think that in most cases the solution should be to make these functions go through address_space_rw. Paolo
