Message ID | 20180724153616.32352-1-peter.maydell@linaro.org |
---|---|
State | Superseded |
Headers | show |
Series | [for-3.0] hw/misc/tz-mpc: Zero the LUT on initialization, not just reset | expand |
On 24.07.2018 17:36, Peter Maydell wrote: > In the tz-mpc device we allocate a data block for the LUT, > which we then clear to zero in the device's reset method. > This is conceptually fine, but unfortunately results in a > valgrind complaint about use of uninitialized data on startup: > > ==30906== Conditional jump or move depends on uninitialised value(s) > ==30906== at 0x503609: tz_mpc_translate (tz-mpc.c:439) > ==30906== by 0x3F3D90: address_space_translate_iommu (exec.c:511) > ==30906== by 0x3F3FF8: flatview_do_translate (exec.c:584) > ==30906== by 0x3F4292: flatview_translate (exec.c:644) > ==30906== by 0x3F2120: address_space_translate (memory.h:1962) > ==30906== by 0x3FB753: address_space_ldl_internal (memory_ldst.inc.c:36) > ==30906== by 0x3FB8A6: address_space_ldl (memory_ldst.inc.c:80) > ==30906== by 0x619037: ldl_phys (memory_ldst_phys.inc.h:25) > ==30906== by 0x61985D: arm_cpu_reset (cpu.c:255) > ==30906== by 0x98791B: cpu_reset (cpu.c:249) > ==30906== by 0x57FFDB: armv7m_reset (armv7m.c:265) > ==30906== by 0x7B1775: qemu_devices_reset (reset.c:69) > > This is because of a reset ordering problem -- the TZ MPC > resets after the CPU, but an M-profile CPU's reset function > includes memory loads to get the initial PC and SP, which > then go through an MPC that hasn't yet been reset. > > The simplest fix for this is to zero the LUT when we > initialize the data, which will result in the MPC's > translate function giving the right answers for these > early memory accesses. Thanks, that fixes the issue, indeed: Tested-by: Thomas Huth <thuth@redhat.com>
On 24 July 2018 at 16:45, Thomas Huth <thuth@redhat.com> wrote: > On 24.07.2018 17:36, Peter Maydell wrote: >> In the tz-mpc device we allocate a data block for the LUT, >> which we then clear to zero in the device's reset method. >> This is conceptually fine, but unfortunately results in a >> valgrind complaint about use of uninitialized data on startup: >> >> ==30906== Conditional jump or move depends on uninitialised value(s) >> ==30906== at 0x503609: tz_mpc_translate (tz-mpc.c:439) >> ==30906== by 0x3F3D90: address_space_translate_iommu (exec.c:511) >> ==30906== by 0x3F3FF8: flatview_do_translate (exec.c:584) >> ==30906== by 0x3F4292: flatview_translate (exec.c:644) >> ==30906== by 0x3F2120: address_space_translate (memory.h:1962) >> ==30906== by 0x3FB753: address_space_ldl_internal (memory_ldst.inc.c:36) >> ==30906== by 0x3FB8A6: address_space_ldl (memory_ldst.inc.c:80) >> ==30906== by 0x619037: ldl_phys (memory_ldst_phys.inc.h:25) >> ==30906== by 0x61985D: arm_cpu_reset (cpu.c:255) >> ==30906== by 0x98791B: cpu_reset (cpu.c:249) >> ==30906== by 0x57FFDB: armv7m_reset (armv7m.c:265) >> ==30906== by 0x7B1775: qemu_devices_reset (reset.c:69) >> >> This is because of a reset ordering problem -- the TZ MPC >> resets after the CPU, but an M-profile CPU's reset function >> includes memory loads to get the initial PC and SP, which >> then go through an MPC that hasn't yet been reset. >> >> The simplest fix for this is to zero the LUT when we >> initialize the data, which will result in the MPC's >> translate function giving the right answers for these >> early memory accesses. > > Thanks, that fixes the issue, indeed: > > Tested-by: Thomas Huth <thuth@redhat.com> Thanks; applied to target-arm for 3.0. -- PMM
diff --git a/hw/misc/tz-mpc.c b/hw/misc/tz-mpc.c index 8316079b4bf..e0c58ba37ec 100644 --- a/hw/misc/tz-mpc.c +++ b/hw/misc/tz-mpc.c @@ -547,7 +547,7 @@ static void tz_mpc_realize(DeviceState *dev, Error **errp) address_space_init(&s->blocked_io_as, &s->blocked_io, "tz-mpc-blocked-io"); - s->blk_lut = g_new(uint32_t, s->blk_max); + s->blk_lut = g_new0(uint32_t, s->blk_max); } static int tz_mpc_post_load(void *opaque, int version_id)
In the tz-mpc device we allocate a data block for the LUT, which we then clear to zero in the device's reset method. This is conceptually fine, but unfortunately results in a valgrind complaint about use of uninitialized data on startup: ==30906== Conditional jump or move depends on uninitialised value(s) ==30906== at 0x503609: tz_mpc_translate (tz-mpc.c:439) ==30906== by 0x3F3D90: address_space_translate_iommu (exec.c:511) ==30906== by 0x3F3FF8: flatview_do_translate (exec.c:584) ==30906== by 0x3F4292: flatview_translate (exec.c:644) ==30906== by 0x3F2120: address_space_translate (memory.h:1962) ==30906== by 0x3FB753: address_space_ldl_internal (memory_ldst.inc.c:36) ==30906== by 0x3FB8A6: address_space_ldl (memory_ldst.inc.c:80) ==30906== by 0x619037: ldl_phys (memory_ldst_phys.inc.h:25) ==30906== by 0x61985D: arm_cpu_reset (cpu.c:255) ==30906== by 0x98791B: cpu_reset (cpu.c:249) ==30906== by 0x57FFDB: armv7m_reset (armv7m.c:265) ==30906== by 0x7B1775: qemu_devices_reset (reset.c:69) This is because of a reset ordering problem -- the TZ MPC resets after the CPU, but an M-profile CPU's reset function includes memory loads to get the initial PC and SP, which then go through an MPC that hasn't yet been reset. The simplest fix for this is to zero the LUT when we initialize the data, which will result in the MPC's translate function giving the right answers for these early memory accesses. Reported-by: Thomas Huth <thuth@redhat.com> Signed-off-by: Peter Maydell <peter.maydell@linaro.org> --- I think the long-term solution is probably for the M profile reset not to load PC and SP in its reset function (which has other issues, like not interacting nicely with ROM images which write to aliased memory regions), but that's complicated... hw/misc/tz-mpc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -- 2.17.1