From: Stefan Hajnoczi <stefanha@redhat.com>
To: Don Koch <dkoch@cloudswitch.com>
Cc: Kevin Wolf <kwolf@redhat.com>,
Anthony Liguori <aliguori@us.ibm.com>,
"Michael S. Tsirkin" <mst@redhat.com>,
qemu-devel@nongnu.org, Michael Roth <mdroth@linux.vnet.ibm.com>,
Blue Swirl <blauwirbel@gmail.com>,
khoa@us.ibm.com, Paolo Bonzini <pbonzini@redhat.com>,
Asias He <asias@redhat.com>
Subject: Re: [Qemu-devel] [PATCH v3 03/12] dataplane: add host memory mapping code
Date: Mon, 26 Nov 2012 16:36:36 +0100 [thread overview]
Message-ID: <20121126153636.GA25822@stefanha-thinkpad.redhat.com> (raw)
In-Reply-To: <50B380B3.8080905@cloudswitch.com>
On Mon, Nov 26, 2012 at 09:46:11AM -0500, Don Koch wrote:
> On 11/21/2012 01:32 PM, Stefan Hajnoczi wrote:
> > The data plane thread needs to map guest physical addresses to host
> > pointers. Normally this is done with cpu_physical_memory_map() but the
> > function assumes the global mutex is held. The data plane thread does
> > not touch the global mutex and therefore needs a thread-safe memory
> > mapping mechanism.
> >
> > Hostmem registers a MemoryListener similar to how vhost collects and
> > pushes memory region information into the kernel. There is a
> > fine-grained lock on the regions list which is held during lookup and
> > when installing a new regions list.
> >
> > When the physical memory map changes the MemoryListener callbacks are
> > invoked. They build up a new list of memory regions which is finally
> > installed when the list has been completed.
> >
> > Note that this approach is not safe across memory hotplug because mapped
> > pointers may still be in used across memory unplug. However, this is
> > currently a problem for QEMU in general and needs to be addressed in the
> > future.
> >
> > Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
> > ---
> > hw/dataplane/Makefile.objs | 3 +
> > hw/dataplane/hostmem.c | 165 +++++++++++++++++++++++++++++++++++++++++++++
> > hw/dataplane/hostmem.h | 52 ++++++++++++++
> > 3 files changed, 220 insertions(+)
> > create mode 100644 hw/dataplane/Makefile.objs
> > create mode 100644 hw/dataplane/hostmem.c
> > create mode 100644 hw/dataplane/hostmem.h
> >
> > diff --git a/hw/dataplane/Makefile.objs b/hw/dataplane/Makefile.objs
> > new file mode 100644
> > index 0000000..8c8dea1
> > --- /dev/null
> > +++ b/hw/dataplane/Makefile.objs
> > @@ -0,0 +1,3 @@
> > +ifeq ($(CONFIG_VIRTIO), y)
> > +common-obj-$(CONFIG_VIRTIO_BLK_DATA_PLANE) += hostmem.o
> > +endif
> > diff --git a/hw/dataplane/hostmem.c b/hw/dataplane/hostmem.c
> > new file mode 100644
> > index 0000000..48aabf0
> > --- /dev/null
> > +++ b/hw/dataplane/hostmem.c
> > @@ -0,0 +1,165 @@
> > +/*
> > + * Thread-safe guest to host memory mapping
> > + *
> > + * Copyright 2012 Red Hat, Inc. and/or its affiliates
> > + *
> > + * Authors:
> > + * Stefan Hajnoczi <stefanha@redhat.com>
> > + *
> > + * This work is licensed under the terms of the GNU GPL, version 2 or later.
> > + * See the COPYING file in the top-level directory.
> > + *
> > + */
> > +
> > +#include "exec-memory.h"
> > +#include "hostmem.h"
> > +
> > +static int hostmem_lookup_cmp(const void *phys_, const void *region_)
> > +{
> > + hwaddr phys = *(const hwaddr *)phys_;
> > + const HostmemRegion *region = region_;
> > +
> > + if (phys < region->guest_addr) {
> > + return -1;
> > + } else if (phys >= region->guest_addr + region->size) {
> > + return 1;
> > + } else {
> > + return 0;
> > + }
> > +}
> > +
> > +/**
> > + * Map guest physical address to host pointer
> > + */
> > +void *hostmem_lookup(Hostmem *hostmem, hwaddr phys, hwaddr len, bool is_write)
> > +{
> > + HostmemRegion *region;
> > + void *host_addr = NULL;
> > + hwaddr offset_within_region;
> > +
> > + qemu_mutex_lock(&hostmem->current_regions_lock);
> > + region = bsearch(&phys, hostmem->current_regions,
> > + hostmem->num_current_regions,
> > + sizeof(hostmem->current_regions[0]),
> > + hostmem_lookup_cmp);
> > + if (!region) {
> > + goto out;
> > + }
> > + if (is_write && region->readonly) {
> > + goto out;
> > + }
> > + offset_within_region = phys - region->guest_addr;
> > + if (offset_within_region + len <= region->size) {
> > + host_addr = region->host_addr + offset_within_region;
> > + }
> > +out:
> > + qemu_mutex_unlock(&hostmem->current_regions_lock);
> > +
> > + return host_addr;
> > +}
> > +
> > +/**
> > + * Install new regions list
> > + */
> > +static void hostmem_listener_commit(MemoryListener *listener)
> > +{
> > + Hostmem *hostmem = container_of(listener, Hostmem, listener);
> > +
> > + qemu_mutex_lock(&hostmem->current_regions_lock);
> > + g_free(hostmem->current_regions);
> > + hostmem->current_regions = hostmem->new_regions;
> > + hostmem->num_current_regions = hostmem->num_new_regions;
> > + qemu_mutex_unlock(&hostmem->current_regions_lock);
> > +
> > + /* Reset new regions list */
> > + hostmem->new_regions = NULL;
> > + hostmem->num_new_regions = 0;
> > +}
> > +
> > +/**
> > + * Add a MemoryRegionSection to the new regions list
> > + */
> > +static void hostmem_append_new_region(Hostmem *hostmem,
> > + MemoryRegionSection *section)
> > +{
> > + void *ram_ptr = memory_region_get_ram_ptr(section->mr);
> > + size_t num = hostmem->num_new_regions;
> > + size_t new_size = (num + 1) * sizeof(hostmem->new_regions[0]);
> > +
> > + hostmem->new_regions = g_realloc(hostmem->new_regions, new_size);
> > + hostmem->new_regions[num] = (HostmemRegion){
> > + .host_addr = ram_ptr + section->offset_within_region,
> > + .guest_addr = section->offset_within_address_space,
> > + .size = section->size,
> > + .readonly = section->readonly,
> > + };
> > + hostmem->num_new_regions++;
> > +}
> > +
> > +static void hostmem_listener_append_region(MemoryListener *listener,
> > + MemoryRegionSection *section)
> > +{
> > + Hostmem *hostmem = container_of(listener, Hostmem, listener);
> > +
> > + if (memory_region_is_ram(section->mr)) {
> > + hostmem_append_new_region(hostmem, section);
> > + }
> > +}
> > +
> > +/* We don't implement most MemoryListener callbacks, use these nop stubs */
> > +static void hostmem_listener_dummy(MemoryListener *listener)
> > +{
> > +}
> > +
> > +static void hostmem_listener_section_dummy(MemoryListener *listener,
> > + MemoryRegionSection *section)
> > +{
> > +}
> > +
> > +static void hostmem_listener_eventfd_dummy(MemoryListener *listener,
> > + MemoryRegionSection *section,
> > + bool match_data, uint64_t data,
> > + EventNotifier *e)
> > +{
> > +}
> > +
> > +static void hostmem_listener_coalesced_mmio_dummy(MemoryListener *listener,
> > + MemoryRegionSection *section,
> > + hwaddr addr, hwaddr len)
> > +{
> > +}
> > +
> > +void hostmem_init(Hostmem *hostmem)
> > +{
> > + memset(hostmem, 0, sizeof(*hostmem));
> > +
> > + hostmem->listener = (MemoryListener){
> > + .begin = hostmem_listener_dummy,
> > + .commit = hostmem_listener_commit,
> > + .region_add = hostmem_listener_append_region,
> > + .region_del = hostmem_listener_section_dummy,
> > + .region_nop = hostmem_listener_append_region,
> OK, more explicitly, I find it odd that append_region is a nop (unless
> there's a new meaning of
> "nop" I am unaware of). I would have expected the section_dummy function.
Cleared it up in the previous version email thread.
For reference to others reading this, it's because even unchanged
("nop") regions must be added to our region list. We're rebuilding the
list from scratch on each MemoryListener transaction (begin/commit) and
therefore *do* care about unchanged regions.
Stefan
next prev parent reply other threads:[~2012-11-26 15:36 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-11-21 18:32 [Qemu-devel] [PATCH v3 00/12] virtio: virtio-blk data plane Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 01/12] raw-posix: add raw_get_aio_fd() for virtio-blk-data-plane Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 02/12] configure: add CONFIG_VIRTIO_BLK_DATA_PLANE Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 03/12] dataplane: add host memory mapping code Stefan Hajnoczi
2012-11-26 14:46 ` Don Koch
2012-11-26 15:36 ` Stefan Hajnoczi [this message]
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 04/12] dataplane: add virtqueue vring code Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 05/12] dataplane: add event loop Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 06/12] dataplane: add Linux AIO request queue Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 07/12] iov: add iov_discard() to remove data Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 08/12] test-iov: add iov_discard() testcase Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 09/12] iov: add iov_get_ptr() to reference vector data Stefan Hajnoczi
2012-11-22 9:34 ` Paolo Bonzini
2012-11-22 9:45 ` Michael S. Tsirkin
2012-11-22 9:52 ` Paolo Bonzini
2012-11-22 10:38 ` Michael S. Tsirkin
2012-11-22 10:54 ` Paolo Bonzini
2012-11-22 11:14 ` Michael S. Tsirkin
2012-11-22 11:58 ` Stefan Hajnoczi
2012-11-22 12:15 ` Paolo Bonzini
2012-11-22 12:35 ` Michael S. Tsirkin
2012-11-22 15:18 ` Stefan Hajnoczi
2012-11-21 18:32 ` [Qemu-devel] [PATCH v3 10/12] test-iov: add iov_get_ptr() test case Stefan Hajnoczi
2012-11-21 18:33 ` [Qemu-devel] [PATCH v3 11/12] dataplane: add virtio-blk data plane code Stefan Hajnoczi
2012-11-21 18:33 ` [Qemu-devel] [PATCH v3 12/12] virtio-blk: add x-data-plane=on|off performance feature Stefan Hajnoczi
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=20121126153636.GA25822@stefanha-thinkpad.redhat.com \
--to=stefanha@redhat.com \
--cc=aliguori@us.ibm.com \
--cc=asias@redhat.com \
--cc=blauwirbel@gmail.com \
--cc=dkoch@cloudswitch.com \
--cc=khoa@us.ibm.com \
--cc=kwolf@redhat.com \
--cc=mdroth@linux.vnet.ibm.com \
--cc=mst@redhat.com \
--cc=pbonzini@redhat.com \
--cc=qemu-devel@nongnu.org \
/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).