From: "Alex Bennée" <alex.bennee@linaro.org>
To: Richard Henderson <richard.henderson@linaro.org>
Cc: qemu-devel@nongnu.org,
"Wainer dos Santos Moschetta" <wainersm@redhat.com>,
"Juan Quintela" <quintela@redhat.com>,
"Thomas Huth" <thuth@redhat.com>,
"Cleber Rosa" <crosa@redhat.com>,
"Leonardo Bras" <leobras@redhat.com>,
"Beraldo Leal" <bleal@redhat.com>,
"Peter Maydell" <peter.maydell@linaro.org>,
"Bin Meng" <bmeng.cn@gmail.com>,
"Yanan Wang" <wangyanan55@huawei.com>,
"Darren Kenny" <darren.kenny@oracle.com>,
"Alexander Bulekov" <alxndr@bu.edu>,
"Marcel Apfelbaum" <marcel.apfelbaum@gmail.com>,
"Peter Xu" <peterx@redhat.com>,
"Radoslaw Biernacki" <rad@semihalf.com>,
"Laurent Vivier" <laurent@vivier.eu>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Eduardo Habkost" <eduardo@habkost.net>,
qemu-arm@nongnu.org, "Stefan Hajnoczi" <stefanha@redhat.com>,
"Bandan Das" <bsd@redhat.com>,
"Philippe Mathieu-Daudé" <philmd@linaro.org>,
"Daniel P. Berrangé" <berrange@redhat.com>,
"Alexandre Iooss" <erdnaxe@crans.org>,
"Marcin Juszkiewicz" <marcin.juszkiewicz@linaro.org>,
"Leif Lindholm" <quic_llindhol@quicinc.com>,
"Laurent Vivier" <lvivier@redhat.com>,
"Qiuhao Li" <Qiuhao.Li@outlook.com>,
"Mahmoud Mandour" <ma.mandourr@gmail.com>,
"Riku Voipio" <riku.voipio@iki.fi>,
"Robert Henry" <robhenry@microsoft.com>,
"Aaron Lindsay" <aaron@os.amperecomputing.com>
Subject: Re: [PATCH v3 17/36] plugins: force slow path when plugins instrument memory ops
Date: Wed, 28 Jun 2023 10:06:38 +0100 [thread overview]
Message-ID: <878rc4ymw3.fsf@linaro.org> (raw)
In-Reply-To: <832d49b4-4d53-729e-c8aa-004a71bdf99f@linaro.org>
Richard Henderson <richard.henderson@linaro.org> writes:
> On 6/27/23 18:09, Alex Bennée wrote:
>> The lack of SVE memory instrumentation has been an omission in plugin
>> handling since it was introduced. Fortunately we can utilise the
>> probe_* functions to force all all memory access to follow the slow
>> path. We do this by checking the access type and presence of plugin
>> memory callbacks and if set return the TLB_MMIO flag.
>> We have to jump through a few hoops in user mode to re-use the flag
>> but it was the desired effect:
>> ./qemu-system-aarch64 -display none -serial mon:stdio \
>> -M virt -cpu max -semihosting-config enable=on \
>> -kernel ./tests/tcg/aarch64-softmmu/memory-sve \
>> -plugin ./contrib/plugins/libexeclog.so,ifilter=st1w,afilter=0x40001808 -d plugin
>> gives (disas doesn't currently understand st1w):
>> 0, 0x40001808, 0xe54342a0, ".byte 0xa0, 0x42, 0x43, 0xe5", store,
>> 0x40213010, RAM, store, 0x40213014, RAM, store, 0x40213018, RAM
>> And for user-mode:
>> ./qemu-aarch64 \
>> -plugin contrib/plugins/libexeclog.so,afilter=0x4007c0 \
>> -d plugin \
>> ./tests/tcg/aarch64-linux-user/sha512-sve
>> gives:
>> 1..10
>> ok 1 - do_test(&tests[i])
>> 0, 0x4007c0, 0xa4004b80, ".byte 0x80, 0x4b, 0x00, 0xa4", load, 0x5500800370, load, 0x5500800371, load, 0x5500800372, load, 0x5500800373, load, 0x5500800374, load, 0x5500800375, load, 0x5500800376, load, 0x5500800377, load, 0x5500800378, load, 0x5500800379, load, 0x550080037a, load, 0x550080037b, load, 0x550080037c, load, 0x550080037d, load, 0x550080037e, load, 0x550080037f, load, 0x5500800380, load, 0x5500800381, load, 0x5500800382, load, 0x5500800383, load, 0x5500800384, load, 0x5500800385, load, 0x5500800386, lo
>> ad, 0x5500800387, load, 0x5500800388, load, 0x5500800389, load, 0x550080038a, load, 0x550080038b, load, 0x550080038c, load, 0x550080038d, load, 0x550080038e, load, 0x550080038f, load, 0x5500800390, load, 0x5500800391, load, 0x5500800392, load, 0x5500800393, load, 0x5500800394, load, 0x5500800395, load, 0x5500800396, load, 0x5500800397, load, 0x5500800398, load, 0x5500800399, load, 0x550080039a, load, 0x550080039b, load, 0x550080039c, load, 0x550080039d, load, 0x550080039e, load, 0x550080039f, load, 0x55008003a0, load, 0x55008003a1, load, 0x55008003a2, load, 0x55008003a3, load, 0x55008003a4, load, 0x55008003a5, load, 0x55008003a6, load, 0x55008003a7, load, 0x55008003a8, load, 0x55008003a9, load, 0x55008003aa, load, 0x55008003ab, load, 0x55008003ac, load, 0x55008003ad, load, 0x55008003ae, load, 0x55008003af
>> (4007c0 is the ld1b in the sha512-sve)
>> Signed-off-by: Alex Bennée<alex.bennee@linaro.org>
>> Reviewed-by: Richard Henderson<richard.henderson@linaro.org>
>> Cc: Robert Henry<robhenry@microsoft.com>
>> Cc: Aaron Lindsay<aaron@os.amperecomputing.com>
>> ---
>> v2
>> - allow TLB_MMIO to appear in user-mode probe_access
>> v3
>> - checkpatch cleanups
>> ---
>
> I thought we dropped this patch until we could do something with TLB
> accesses.
I did suggest something like:
--8<---------------cut here---------------start------------->8---
modified include/hw/core/cpu.h
@@ -80,10 +80,24 @@ DECLARE_CLASS_CHECKERS(CPUClass, CPU,
typedef struct ArchCPU CpuInstanceType; \
OBJECT_DECLARE_TYPE(ArchCPU, CpuClassType, CPU_MODULE_OBJ_NAME);
+/**
+ * typedef MMUAccessType - describe the type of access for cputlb
+ *
+ * When handling the access to memory we need to know the type of
+ * access we are doing. Loads and store rely on read and write page
+ * permissions where as the instruction fetch relies on execute
+ * permissions. Additional bits are used for TLB access so we can
+ * suppress instrumentation of memory when the CPU is probing.
+ */
typedef enum MMUAccessType {
MMU_DATA_LOAD = 0,
MMU_DATA_STORE = 1,
- MMU_INST_FETCH = 2
+ MMU_INST_FETCH = 2,
+ /* MMU Mask */
+ MMU_VALID_MASK = (MMU_DATA_LOAD | MMU_DATA_STORE | MMU_INST_FETCH),
+ /* Represents the CPU walking the page table */
+ MMU_TLB_ACCESS = 0x4,
+ MMU_TLB_LOAD = MMU_DATA_LOAD | MMU_TLB_ACCESS
} MMUAccessType;
typedef struct CPUWatchpoint CPUWatchpoint;
modified accel/tcg/cputlb.c
@@ -1503,11 +1503,12 @@ static void notdirty_write(CPUState *cpu, vaddr mem_vaddr, unsigned size,
}
static int probe_access_internal(CPUArchState *env, target_ulong addr,
- int fault_size, MMUAccessType access_type,
+ int fault_size, MMUAccessType full_access_type,
int mmu_idx, bool nonfault,
void **phost, CPUTLBEntryFull **pfull,
uintptr_t retaddr)
{
+ MMUAccessType access_type = full_access_type & MMU_VALID_MASK;
uintptr_t index = tlb_index(env, mmu_idx, addr);
CPUTLBEntry *entry = tlb_entry(env, mmu_idx, addr);
target_ulong tlb_addr = tlb_read_idx(entry, access_type);
@@ -1546,7 +1547,9 @@ static int probe_access_internal(CPUArchState *env, target_ulong addr,
/* Fold all "mmio-like" bits into TLB_MMIO. This is not RAM. */
if (unlikely(flags & ~(TLB_WATCHPOINT | TLB_NOTDIRTY))
||
- (access_type != MMU_INST_FETCH && cpu_plugin_mem_cbs_enabled(env_cpu(env)))) {
+ (access_type != MMU_INST_FETCH &&
+ !(full_access_type & MMU_TLB_ACCESS) &&
+ cpu_plugin_mem_cbs_enabled(env_cpu(env)))) {
*phost = NULL;
return TLB_MMIO;
}
--8<---------------cut here---------------end--------------->8---
and then we can apply MMU_TLB_LOAD as the type in the page walking code.
I wanted to know if that was the sort of thing you where thinking off or
if that is too ugly.
The other option is a specific probe_access_* function for TLB type
operations.
>
>
> r~
--
Alex Bennée
Virtualisation Tech Lead @ Linaro
next prev parent reply other threads:[~2023-06-28 9:09 UTC|newest]
Thread overview: 59+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-27 16:09 [PATCH v3 00/36] maintainer omnibus: testing, fuzz, plugins, documentation, gdbstub (pre-PR) Alex Bennée
2023-06-27 16:09 ` [PATCH v3 01/36] gitlab: explicit set artifacts publishing criteria Alex Bennée
2023-06-27 16:09 ` [PATCH v3 02/36] gitlab: ensure coverage job also publishes meson log Alex Bennée
2023-06-27 16:09 ` [PATCH v3 03/36] gitlab: reduce testing scope of check-gcov Alex Bennée
2023-06-27 21:08 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 04/36] docs/devel: remind developers to run CI container pipeline when updating images Alex Bennée
2023-06-29 13:42 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 05/36] tests/tcg: add mechanism to handle plugin arguments Alex Bennée
2023-06-27 16:09 ` [PATCH v3 06/36] qemu-keymap: properly check return from xkb_keymap_mod_get_index Alex Bennée
2023-06-27 16:09 ` [PATCH v3 07/36] scripts/oss-fuzz: add a suppression for keymap Alex Bennée
2023-06-27 16:09 ` [PATCH v3 08/36] tests/qtests: clean-up and fix leak in generic_fuzz Alex Bennée
2023-06-27 21:07 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 09/36] tests/docker: add test-fuzz Alex Bennée
2023-06-27 16:09 ` [PATCH v3 10/36] Makefile: add lcitool-refresh to UNCHECKED_GOALS Alex Bennée
2023-06-27 16:09 ` [PATCH v3 11/36] tests/lcitool: update to latest version Alex Bennée
2023-06-27 16:09 ` [PATCH v3 12/36] tests/lcitool: Bump fedora container versions Alex Bennée
2023-06-27 21:06 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 13/36] tests/lcitool: add an explicit gcc-native package Alex Bennée
2023-06-27 16:09 ` [PATCH v3 14/36] tests/lcitool: introduce qemu-minimal Alex Bennée
2023-06-27 16:09 ` [PATCH v3 15/36] tests/docker: convert riscv64-cross to lcitool Alex Bennée
2023-06-28 8:38 ` Richard Henderson
2023-06-29 13:47 ` Alex Bennée
2023-06-27 16:09 ` [PATCH v3 16/36] tests/avocado: update firmware to enable sbsa-ref/max Alex Bennée
2023-06-27 21:06 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 17/36] plugins: force slow path when plugins instrument memory ops Alex Bennée
2023-06-28 8:40 ` Richard Henderson
2023-06-28 9:06 ` Alex Bennée [this message]
2023-06-28 9:20 ` Richard Henderson
2023-06-29 11:59 ` Alex Bennée
2023-06-27 16:09 ` [PATCH v3 18/36] plugins: fix memory leak while parsing options Alex Bennée
2023-06-27 16:09 ` [PATCH v3 19/36] plugins: update lockstep to use g_memdup2 Alex Bennée
2023-06-27 21:05 ` Philippe Mathieu-Daudé
2023-11-13 11:03 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 20/36] docs/devel: add some front matter to the devel index Alex Bennée
2023-06-29 13:31 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 21/36] include/migration: mark vmstate_register() as a legacy function Alex Bennée
2023-06-27 16:09 ` [PATCH v3 22/36] include/hw/qdev-core: fixup kerneldoc annotations Alex Bennée
2023-06-29 13:34 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 23/36] docs/devel/qom.rst: Correct code style Alex Bennée
2023-06-27 16:09 ` [PATCH v3 24/36] docs/devel: split qom-api reference into new file Alex Bennée
2023-06-27 16:09 ` [PATCH v3 25/36] docs/devel: introduce some key concepts for QOM development Alex Bennée
2023-06-29 13:41 ` Philippe Mathieu-Daudé
2023-06-30 8:03 ` Alex Bennée
2023-06-30 8:57 ` Paolo Bonzini
2023-06-27 16:09 ` [PATCH v3 26/36] gdbstub: lightly refactor connection to avoid snprintf Alex Bennée
2023-06-27 16:09 ` [PATCH v3 27/36] gdbstub: Permit reverse step/break to provide stop response Alex Bennée
2023-06-27 16:09 ` [PATCH v3 28/36] gdbstub: clean-up vcont handling to avoid goto Alex Bennée
2023-06-28 8:42 ` Richard Henderson
2023-06-27 16:09 ` [PATCH v3 29/36] linux-user: Expose do_guest_openat() and do_guest_readlink() Alex Bennée
2023-06-27 16:09 ` [PATCH v3 30/36] linux-user: Add "safe" parameter to do_guest_openat() Alex Bennée
2023-06-27 16:09 ` [PATCH v3 31/36] linux-user: Emulate /proc/self/smaps Alex Bennée
2023-06-27 16:09 ` [PATCH v3 32/36] gdbstub: Expose gdb_get_process() and gdb_get_first_cpu_in_process() Alex Bennée
2023-06-27 20:59 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 33/36] gdbstub: Report the actual qemu-user pid Alex Bennée
2023-06-27 16:09 ` [PATCH v3 34/36] gdbstub: Add support for info proc mappings Alex Bennée
2023-06-27 16:09 ` [PATCH v3 35/36] docs: Document security implications of debugging Alex Bennée
2023-06-27 21:00 ` Philippe Mathieu-Daudé
2023-06-27 16:09 ` [PATCH v3 36/36] tests/tcg: Add a test for info proc mappings Alex Bennée
-- strict thread matches above, loose matches on Subject: below --
2023-06-27 16:06 [PATCH v3 00/36] maintainer omnibus: testing, fuzz, plugins, documentation (pre-PR) Alex Bennée
2023-06-27 16:06 ` [PATCH v3 17/36] plugins: force slow path when plugins instrument memory ops Alex Bennée
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=878rc4ymw3.fsf@linaro.org \
--to=alex.bennee@linaro.org \
--cc=Qiuhao.Li@outlook.com \
--cc=aaron@os.amperecomputing.com \
--cc=alxndr@bu.edu \
--cc=berrange@redhat.com \
--cc=bleal@redhat.com \
--cc=bmeng.cn@gmail.com \
--cc=bsd@redhat.com \
--cc=crosa@redhat.com \
--cc=darren.kenny@oracle.com \
--cc=eduardo@habkost.net \
--cc=erdnaxe@crans.org \
--cc=laurent@vivier.eu \
--cc=leobras@redhat.com \
--cc=lvivier@redhat.com \
--cc=ma.mandourr@gmail.com \
--cc=marcel.apfelbaum@gmail.com \
--cc=marcin.juszkiewicz@linaro.org \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=peterx@redhat.com \
--cc=philmd@linaro.org \
--cc=qemu-arm@nongnu.org \
--cc=qemu-devel@nongnu.org \
--cc=quic_llindhol@quicinc.com \
--cc=quintela@redhat.com \
--cc=rad@semihalf.com \
--cc=richard.henderson@linaro.org \
--cc=riku.voipio@iki.fi \
--cc=robhenry@microsoft.com \
--cc=stefanha@redhat.com \
--cc=thuth@redhat.com \
--cc=wainersm@redhat.com \
--cc=wangyanan55@huawei.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).