exec: Handle multipage ranges in invalidate_and_set_dirty()
commitf874bf905ff2f8dcc17acbfc61e49a92a6f4d04b
authorPeter Maydell <peter.maydell@linaro.org>
Sun, 16 Nov 2014 19:44:21 +0000 (16 19:44 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 18 Nov 2014 10:19:12 +0000 (18 10:19 +0000)
tree58087fda992c5575ee59f92627293235077b760e
parentd6be29e3fb5659102ac0e48e295d177cb67e32c5
exec: Handle multipage ranges in invalidate_and_set_dirty()

The code in invalidate_and_set_dirty() needs to handle addr/length
combinations which cross guest physical page boundaries. This can happen,
for example, when disk I/O reads large blocks into guest RAM which previously
held code that we have cached translations for. Unfortunately we were only
checking the clean/dirty status of the first page in the range, and then
were calling a tb_invalidate function which only handles ranges that don't
cross page boundaries. Fix the function to deal with multipage ranges.

The symptoms of this bug were that guest code would misbehave (eg segfault),
in particular after a guest reboot but potentially any time the guest
reused a page of its physical RAM for new code.

Cc: qemu-stable@nongnu.org
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
Message-id: 1416167061-13203-1-git-send-email-peter.maydell@linaro.org
exec.c
include/exec/ram_addr.h