]> git.proxmox.com Git - mirror_qemu.git/commit - target/mips/machine.c
target/mips: compare virtual addresses in LL/SC sequence
authorLeon Alrae <leon.alrae@imgtec.com>
Mon, 11 Feb 2019 13:56:40 +0000 (14:56 +0100)
committerAleksandar Markovic <amarkovic@wavecomp.com>
Thu, 14 Feb 2019 16:47:28 +0000 (17:47 +0100)
commitc7c7e1e9a5e3f0a8a1dbff6e4ccfd21c2dc9f845
tree96a35ec72243bea5e21f433a06754f4515206bae
parent7e407466b1efbd65225cc72fe09c0c5ec79df75b
target/mips: compare virtual addresses in LL/SC sequence

Do only virtual addresses comaprisons in LL/SC sequence emulations.

Until this patch, physical addresses had been compared in SC part of
LL/SC sequence, even though such comparisons could be avoided. Getting
rid of them allows throwing away SC helpers and having common SC
implementations in user and system mode, avoiding the need for two
separate implementations selected by #ifdef CONFIG_USER_ONLY.

Correct guest software should not rely on LL/SC if they accesses the
same physical address via different virtual addresses or if page
mapping gets changed between LL/SC due to manipulating TLB entries.
MIPS Instruction Set Manual clearly says that an RMW sequence must
use the same address in the LL and SC (virtual address, physical
address, cacheability and coherency attributes must be identical).
Otherwise, the result of the SC is not predictable. This patch takes
advantage of this fact and removes the virtual->physical address
translation from SC helper.

lladdr served as Coprocessor 0 LLAddr register which captures physical
address of the most recent LL instruction, and also lladdr was used
for comparison with following SC physical address. This patch changes
the meaning of lladdr - now it will only keep the virtual address of
the most recent LL. Additionally, CP0_LLAddr field is introduced which
is the actual Coperocessor 0 LLAddr register that guest can access.

Signed-off-by: Leon Alrae <leon.alrae@imgtec.com>
Signed-off-by: Miodrag Dinic <miodrag.dinic@imgtec.com>
Signed-off-by: Aleksandar Markovic <amarkovic@wavecomp.com>
Acked-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Aleksandar Markovic <amarkovic@wavecomp.com>
target/mips/cpu.h
target/mips/machine.c
target/mips/op_helper.c
target/mips/translate.c