All of lore.kernel.org
 help / color / mirror / Atom feed
From: Benjamin Herrenschmidt <benh@kernel.crashing.org>
To: Ohad Ben-Cohen <ohad@wizery.com>
Cc: kvm@vger.kernel.org, "Michael S. Tsirkin" <mst@redhat.com>,
	linux-kernel@vger.kernel.org,
	virtualization@lists.linux-foundation.org,
	linux-arm-kernel@lists.infradead.org
Subject: Re: [RFC] virtio: use mandatory barriers for remote processor vdevs
Date: Sat, 03 Dec 2011 10:09:44 +1100	[thread overview]
Message-ID: <1322867384.11728.20.camel@pasglop> (raw)
In-Reply-To: <1322569886-13055-1-git-send-email-ohad@wizery.com>

On Tue, 2011-11-29 at 14:31 +0200, Ohad Ben-Cohen wrote:
> Virtio is using memory barriers to control the ordering of
> references to the vrings on SMP systems. When the guest is compiled
> with SMP support, virtio is only using SMP barriers in order to
> avoid incurring the overhead involved with mandatory barriers.
> 
> Lately, though, virtio is being increasingly used with inter-processor
> communication scenarios too, which involve running two (separate)
> instances of operating systems on two (separate) processors, each of
> which might either be UP or SMP.
> 
> To control the ordering of memory references when the vrings are shared
> between two external processors, we must always use mandatory barriers.
> 
> A trivial, albeit sub-optimal, solution would be to simply revert
> commit d57ed95 "virtio: use smp_XX barriers on SMP". Obviously, though,
> that's going to have a negative impact on performance of SMP-based
> virtualization use cases.

Have you measured the impact of using normal barriers (non-SMP ones)
like we use on normal HW drivers unconditionally ?

IE. If the difference is small enough I'd say just go for it and avoid
the bloat.

Ben.

WARNING: multiple messages have this Message-ID (diff)
From: benh@kernel.crashing.org (Benjamin Herrenschmidt)
To: linux-arm-kernel@lists.infradead.org
Subject: [RFC] virtio: use mandatory barriers for remote processor vdevs
Date: Sat, 03 Dec 2011 10:09:44 +1100	[thread overview]
Message-ID: <1322867384.11728.20.camel@pasglop> (raw)
In-Reply-To: <1322569886-13055-1-git-send-email-ohad@wizery.com>

On Tue, 2011-11-29 at 14:31 +0200, Ohad Ben-Cohen wrote:
> Virtio is using memory barriers to control the ordering of
> references to the vrings on SMP systems. When the guest is compiled
> with SMP support, virtio is only using SMP barriers in order to
> avoid incurring the overhead involved with mandatory barriers.
> 
> Lately, though, virtio is being increasingly used with inter-processor
> communication scenarios too, which involve running two (separate)
> instances of operating systems on two (separate) processors, each of
> which might either be UP or SMP.
> 
> To control the ordering of memory references when the vrings are shared
> between two external processors, we must always use mandatory barriers.
> 
> A trivial, albeit sub-optimal, solution would be to simply revert
> commit d57ed95 "virtio: use smp_XX barriers on SMP". Obviously, though,
> that's going to have a negative impact on performance of SMP-based
> virtualization use cases.

Have you measured the impact of using normal barriers (non-SMP ones)
like we use on normal HW drivers unconditionally ?

IE. If the difference is small enough I'd say just go for it and avoid
the bloat.

Ben.

WARNING: multiple messages have this Message-ID (diff)
From: Benjamin Herrenschmidt <benh@kernel.crashing.org>
To: Ohad Ben-Cohen <ohad@wizery.com>
Cc: virtualization@lists.linux-foundation.org, kvm@vger.kernel.org,
	linux-kernel@vger.kernel.org,
	linux-arm-kernel@lists.infradead.org,
	"Michael S. Tsirkin" <mst@redhat.com>,
	Rusty Russell <rusty@rustcorp.com.au>
Subject: Re: [RFC] virtio: use mandatory barriers for remote processor vdevs
Date: Sat, 03 Dec 2011 10:09:44 +1100	[thread overview]
Message-ID: <1322867384.11728.20.camel@pasglop> (raw)
In-Reply-To: <1322569886-13055-1-git-send-email-ohad@wizery.com>

On Tue, 2011-11-29 at 14:31 +0200, Ohad Ben-Cohen wrote:
> Virtio is using memory barriers to control the ordering of
> references to the vrings on SMP systems. When the guest is compiled
> with SMP support, virtio is only using SMP barriers in order to
> avoid incurring the overhead involved with mandatory barriers.
> 
> Lately, though, virtio is being increasingly used with inter-processor
> communication scenarios too, which involve running two (separate)
> instances of operating systems on two (separate) processors, each of
> which might either be UP or SMP.
> 
> To control the ordering of memory references when the vrings are shared
> between two external processors, we must always use mandatory barriers.
> 
> A trivial, albeit sub-optimal, solution would be to simply revert
> commit d57ed95 "virtio: use smp_XX barriers on SMP". Obviously, though,
> that's going to have a negative impact on performance of SMP-based
> virtualization use cases.

Have you measured the impact of using normal barriers (non-SMP ones)
like we use on normal HW drivers unconditionally ?

IE. If the difference is small enough I'd say just go for it and avoid
the bloat.

Ben.



  parent reply	other threads:[~2011-12-02 23:09 UTC|newest]

Thread overview: 111+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-29 12:31 [RFC] virtio: use mandatory barriers for remote processor vdevs Ohad Ben-Cohen
2011-11-29 12:31 ` Ohad Ben-Cohen
2011-11-29 13:11 ` Michael S. Tsirkin
2011-11-29 13:11   ` Michael S. Tsirkin
2011-11-29 13:11   ` Michael S. Tsirkin
2011-11-29 13:57   ` Ohad Ben-Cohen
2011-11-29 13:57     ` Ohad Ben-Cohen
2011-11-29 13:57     ` Ohad Ben-Cohen
2011-11-29 15:16     ` Michael S. Tsirkin
2011-11-29 15:16       ` Michael S. Tsirkin
2011-11-29 15:16       ` Michael S. Tsirkin
2011-11-30 11:45       ` Ohad Ben-Cohen
2011-11-30 11:45         ` Ohad Ben-Cohen
2011-11-30 11:45         ` Ohad Ben-Cohen
2011-11-30 14:59         ` Michael S. Tsirkin
2011-11-30 14:59           ` Michael S. Tsirkin
2011-11-30 14:59           ` Michael S. Tsirkin
2011-11-30 16:04           ` Ohad Ben-Cohen
2011-11-30 16:04             ` Ohad Ben-Cohen
2011-11-30 16:15             ` Michael S. Tsirkin
2011-11-30 16:15               ` Michael S. Tsirkin
2011-11-30 16:15               ` Michael S. Tsirkin
2011-11-30 16:24               ` Ohad Ben-Cohen
2011-11-30 16:24                 ` Ohad Ben-Cohen
2011-11-30 16:24                 ` Ohad Ben-Cohen
2011-11-30 23:27                 ` Ohad Ben-Cohen
2011-11-30 23:27                   ` Ohad Ben-Cohen
2011-11-30 23:27                   ` Ohad Ben-Cohen
2011-11-30 23:43                   ` Michael S. Tsirkin
2011-11-30 23:43                     ` Michael S. Tsirkin
2011-11-30 23:43                     ` Michael S. Tsirkin
2011-12-01  6:20                     ` Ohad Ben-Cohen
2011-12-01  6:20                       ` Ohad Ben-Cohen
2011-12-01  6:20                       ` Ohad Ben-Cohen
2011-11-30 16:04           ` Ohad Ben-Cohen
2011-11-29 15:19     ` Michael S. Tsirkin
2011-11-29 15:19       ` Michael S. Tsirkin
2011-11-29 15:19       ` Michael S. Tsirkin
2011-11-30 11:55       ` Ohad Ben-Cohen
2011-11-30 11:55         ` Ohad Ben-Cohen
2011-11-30 11:55         ` Ohad Ben-Cohen
2011-11-30 14:50         ` Michael S. Tsirkin
2011-11-30 14:50           ` Michael S. Tsirkin
2011-11-30 14:50           ` Michael S. Tsirkin
2011-11-30 22:43           ` Ohad Ben-Cohen
2011-11-30 22:43             ` Ohad Ben-Cohen
2011-11-30 22:43             ` Ohad Ben-Cohen
2011-11-30 23:13             ` Michael S. Tsirkin
2011-11-30 23:13               ` Michael S. Tsirkin
2011-11-30 23:13               ` Michael S. Tsirkin
2011-12-01  2:28               ` Rusty Russell
2011-12-01  2:28                 ` Rusty Russell
2011-12-01  2:28                 ` Rusty Russell
2011-12-01  7:15                 ` Ohad Ben-Cohen
2011-12-01  7:15                   ` Ohad Ben-Cohen
2011-12-01  7:15                   ` Ohad Ben-Cohen
2011-12-01  8:12                 ` Michael S. Tsirkin
2011-12-01  8:12                   ` Michael S. Tsirkin
2011-12-01  8:12                   ` Michael S. Tsirkin
2011-12-02  0:26                   ` Rusty Russell
2011-12-02  0:26                     ` Rusty Russell
2011-12-02  0:26                     ` Rusty Russell
2011-12-01  6:14               ` Ohad Ben-Cohen
2011-12-01  6:14                 ` Ohad Ben-Cohen
2011-12-01  6:14                 ` Ohad Ben-Cohen
2011-12-01  9:09                 ` Michael S. Tsirkin
2011-12-01  9:09                   ` Michael S. Tsirkin
2011-12-01  9:09                   ` Michael S. Tsirkin
2011-12-02 23:09 ` Benjamin Herrenschmidt [this message]
2011-12-02 23:09   ` Benjamin Herrenschmidt
2011-12-02 23:09   ` Benjamin Herrenschmidt
2011-12-03  5:14   ` Rusty Russell
2011-12-03  5:14     ` Rusty Russell
2011-12-03  5:14     ` Rusty Russell
2011-12-11 12:25     ` Michael S. Tsirkin
2011-12-11 12:25       ` Michael S. Tsirkin
2011-12-11 12:25       ` Michael S. Tsirkin
2011-12-11 22:27       ` Benjamin Herrenschmidt
2011-12-11 22:27         ` Benjamin Herrenschmidt
2011-12-11 22:27         ` Benjamin Herrenschmidt
2011-12-12  3:06         ` Amos Kong
2011-12-12  3:06           ` Amos Kong
2011-12-12  3:06           ` Amos Kong
2011-12-12  5:12           ` Rusty Russell
2011-12-12  5:12             ` Rusty Russell
2011-12-12  5:12             ` Rusty Russell
2011-12-12 23:56             ` Amos Kong
2011-12-12 23:56               ` Amos Kong
2011-12-12 23:56               ` Amos Kong
2011-12-19  2:35               ` Rusty Russell
2011-12-19  2:35                 ` Rusty Russell
2011-12-19  2:35                 ` Rusty Russell
2011-12-19  2:19             ` Amos Kong
2011-12-19  2:19               ` Amos Kong
2011-12-19  2:19               ` Amos Kong
2011-12-19  2:41               ` Benjamin Herrenschmidt
2011-12-19  2:41                 ` Benjamin Herrenschmidt
2011-12-19  2:41                 ` Benjamin Herrenschmidt
2011-12-19  7:21                 ` Amos Kong
2011-12-19  7:21                   ` Amos Kong
2011-12-19  7:21                   ` Amos Kong
2011-12-19  2:50               ` Amos Kong
2011-12-19  2:50                 ` Amos Kong
2011-12-19  2:50                 ` Amos Kong
2011-12-19  8:37                 ` Rusty Russell
2011-12-19  8:37                   ` Rusty Russell
2011-12-19  8:37                   ` Rusty Russell
2011-12-03  6:01   ` Ohad Ben-Cohen
2011-12-03  6:01     ` Ohad Ben-Cohen
2011-12-03  6:01     ` Ohad Ben-Cohen
  -- strict thread matches above, loose matches on Subject: below --
2011-11-29 12:31 Ohad Ben-Cohen

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=1322867384.11728.20.camel@pasglop \
    --to=benh@kernel.crashing.org \
    --cc=kvm@vger.kernel.org \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mst@redhat.com \
    --cc=ohad@wizery.com \
    --cc=virtualization@lists.linux-foundation.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.