On 11/26/2013 05:28 PM, Paolo Bonzini wrote:
Il 26/11/2013 16:25, Avi Kivity ha scritto:
If we want to ensure, we need to use a different mechanism for
synchronization than the global RCU. QRCU would work; readers are not
wait-free but only if there is a concurrent synchronize_qrcu, which
should be rare.
An alternative path is to convince ourselves that the hardware does not
provide the guarantees that the current code provides, and so we can
relax them.
No, I think it's a reasonable guarantee to provide.
Why?
