qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Peter Xu <peterx@redhat.com>
To: Stefan Hajnoczi <stefanha@gmail.com>
Cc: qemu-devel@nongnu.org,
	"Dr . David Alan Gilbert" <dgilbert@redhat.com>,
	"Markus Armbruster" <armbru@redhat.com>,
	"Stefan Hajnoczi" <stefanha@redhat.com>,
	"Marc-André Lureau" <marcandre.lureau@redhat.com>,
	"Paolo Bonzini" <pbonzini@redhat.com>
Subject: Re: [Qemu-devel] [PATCH v3] monitor: let cur_mon be per-thread
Date: Mon, 16 Apr 2018 17:17:32 +0800	[thread overview]
Message-ID: <20180416091732.GB21143@xz-mi> (raw)
In-Reply-To: <20180416083748.GD28904@stefanha-x1.localdomain>

On Mon, Apr 16, 2018 at 04:37:48PM +0800, Stefan Hajnoczi wrote:
> On Thu, Apr 12, 2018 at 02:11:08PM +0800, Peter Xu wrote:
> > In the future the monitor iothread may be accessing the cur_mon as
> > well (via monitor_qmp_dispatch_one()).  Before we introduce a real
> > Out-Of-Band command, let's convert the cur_mon variable to be a
> > per-thread variable to make sure there won't be a race between threads.
> >
> > Note that thread variables are not initialized to a valid value when new
> > thread is created.  However for our case we don't need to set it up,
> > since the cur_mon variable is only used in such a pattern:
> > 
> >   old_mon = cur_mon;
> >   cur_mon = xxx;
> >   (do something, read cur_mon if necessary in the stack)
> >   cur_mon = old_mon;
> > 
> > It plays a role as stack variable, so no need to be initialized at all.
> > We only need to make sure the variable won't be changed unexpectedly by
> > other threads.
> > 
> > Signed-off-by: Peter Xu <peterx@redhat.com>
> > ---
> > v3:
> > - fix code style warning from patchew
> > v2:
> > - drop qemu-thread changes
> > ---
> >  include/monitor/monitor.h | 2 +-
> >  monitor.c                 | 2 +-
> >  stubs/monitor.c           | 2 +-
> >  tests/test-util-sockets.c | 2 +-
> >  4 files changed, 4 insertions(+), 4 deletions(-)
> 
> The Monitor object is not fully thread-safe, so although the correct
> cur_mon is now accessible, code may still be unsafe.  For example,
> monitor_get_fd(cur_mon, ...) is not thread-safe and must not be used by
> OOB commands.

IMHO things like monitor_get_fd() should only be called in QMP
context, so there should always be a monitor_qmp_dispatch_one() in the
stack already (no matter whether it is in main thread or the monitor
iothread), which means that cur_mon should have been setup.  So IMHO
it's a programming error if monitor_get_fd() is called without correct
cur_mon setup after this patch.

> 
> Future OOB commands need to know which monitor.h APIs are safe to call,
> otherwise bugs are likely.  Please send a follow up patch to address
> this (e.g. doc comments, locking where needed, etc).
> 
> Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>

Thanks for reviewing,

-- 
Peter Xu

  reply	other threads:[~2018-04-16  9:17 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-04-12  6:11 [Qemu-devel] [PATCH v3] monitor: let cur_mon be per-thread Peter Xu
2018-04-12 15:22 ` Eric Blake
2018-04-13 10:43 ` Marc-André Lureau
2018-04-16  8:37 ` Stefan Hajnoczi
2018-04-16  9:17   ` Peter Xu [this message]
2018-04-17  7:08     ` Stefan Hajnoczi
2018-04-17  9:05       ` Markus Armbruster
2018-04-18  5:12         ` Stefan Hajnoczi
2018-04-18  6:35           ` Peter Xu
2018-04-18  7:45             ` Markus Armbruster
2018-04-18  8:01               ` Peter Xu
2018-05-22  3:48 ` Peter Xu
2018-05-23  8:23 ` Markus Armbruster
2018-05-23  9:04   ` Peter Xu
2018-05-23 13:13     ` Markus Armbruster
2018-05-24  4:29       ` Peter Xu
2018-05-24  8:22         ` Markus Armbruster
2018-05-24  8:42           ` Peter Xu
2018-05-24 11:13             ` Markus Armbruster

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=20180416091732.GB21143@xz-mi \
    --to=peterx@redhat.com \
    --cc=armbru@redhat.com \
    --cc=dgilbert@redhat.com \
    --cc=marcandre.lureau@redhat.com \
    --cc=pbonzini@redhat.com \
    --cc=qemu-devel@nongnu.org \
    --cc=stefanha@gmail.com \
    --cc=stefanha@redhat.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).