public inbox for kvm@vger.kernel.org
 help / color / mirror / Atom feed
From: Gleb Natapov <gleb@redhat.com>
To: Gregory Haskins <gregory.haskins@gmail.com>
Cc: kvm@vger.kernel.org, avi@redhat.com, mtosatti@redhat.com
Subject: Re: [PATCH 1/5] Protect irq_sources_bitmap by kvm->lock instead of kvm->irq_lock
Date: Mon, 13 Jul 2009 18:19:44 +0300	[thread overview]
Message-ID: <20090713151944.GL23086@redhat.com> (raw)
In-Reply-To: <4A5B4CDC.1000806@gmail.com>

On Mon, Jul 13, 2009 at 11:03:56AM -0400, Gregory Haskins wrote:
> Gleb Natapov wrote:
> > On Mon, Jul 13, 2009 at 10:29:02AM -0400, Gregory Haskins wrote:
> >   
> >> Gleb Natapov wrote:
> >>     
> >>> diff --git a/virt/kvm/irq_comm.c b/virt/kvm/irq_comm.c
> >>> index 6c57e46..ce8fcd3 100644
> >>> --- a/virt/kvm/irq_comm.c
> >>> +++ b/virt/kvm/irq_comm.c
> >>> @@ -210,7 +210,8 @@ int kvm_request_irq_source_id(struct kvm *kvm)
> >>>  	unsigned long *bitmap = &kvm->arch.irq_sources_bitmap;
> >>>  	int irq_source_id;
> >>>  
> >>> -	mutex_lock(&kvm->irq_lock);
> >>> +	WARN_ON(!mutex_is_locked(&kvm->lock));
> >>>   
> >>>       
> >> Shouldn't this be fatal?  (e.g. BUG_ON).  I know the usage between
> >> BUG/WARN is controversial, but it seems to me that something is
> >> completely broken if you expect it to be locked and its not.  Might as
> >> well fail the system, IMO.
> >>
> >>     
> > Well I don't really care but we have WARN_ON() in the code currently.
> >   
> 
> Well, that is perhaps unfortunate, but not relevant.  I am not reviewing
> those patches ;)
> 
> > Besides the chances are good that even without locking around this
> > function nothing will break, so why kill host kernel?
> >   
> 
> The question to ask is: Is it legal to continue to run if the mutex is
> found unlocked?  If not, the offending caller should be found/fixed as
> early as possible IMO, and an oops should be sufficient to do so.  I
> think WARN_ON tends to gets overused/abused, so lets not perpetuate it
> simply because of precedence.
> 
I will have to end this particular thread about WARN_ON by stating
that Avi told me to put it there. I'll let him decide.

--
			Gleb.

  parent reply	other threads:[~2009-07-13 15:19 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-07-13  9:12 [PATCH 0/5][RFC] more fine grained locking for IRQ injection Gleb Natapov
2009-07-13  9:12 ` [PATCH 1/5] Protect irq_sources_bitmap by kvm->lock instead of kvm->irq_lock Gleb Natapov
2009-07-13 14:29   ` Gregory Haskins
2009-07-13 14:39     ` Gleb Natapov
2009-07-13 14:55       ` Michael S. Tsirkin
2009-07-13 15:01         ` Gleb Natapov
2009-07-13 15:03       ` Gregory Haskins
2009-07-13 15:11         ` Gregory Haskins
2009-07-13 15:19         ` Gleb Natapov [this message]
2009-07-13  9:12 ` [PATCH 2/5] Move irq routing to its own locking Gleb Natapov
2009-07-13  9:12 ` [PATCH 3/5] Move irq notifiers lists " Gleb Natapov
2009-07-13 11:45   ` Michael S. Tsirkin
2009-07-13 11:48     ` Gleb Natapov
2009-07-13 14:23       ` Michael S. Tsirkin
2009-07-13 14:37         ` Gleb Natapov
2009-07-13 14:49           ` Michael S. Tsirkin
2009-07-13 15:23             ` Gleb Natapov
2009-07-13 15:32               ` Gregory Haskins
2009-07-13 15:40               ` Michael S. Tsirkin
2009-07-13 16:28                 ` Gleb Natapov
2009-07-13 16:23           ` Marcelo Tosatti
2009-07-13 16:31             ` Marcelo Tosatti
2009-07-13 16:35               ` Gleb Natapov
2009-07-13 16:43                 ` Marcelo Tosatti
2009-07-13  9:12 ` [PATCH 4/5] Move IO APIC to its own lock Gleb Natapov
2009-07-13  9:12 ` [PATCH 5/5] Drop kvm->irq_lock lock Gleb Natapov
2009-07-13 13:23 ` [PATCH 0/5][RFC] more fine grained locking for IRQ injection Michael S. Tsirkin
2009-07-13 13:28   ` Gleb Natapov
2009-07-13 13:53     ` Michael S. Tsirkin
2009-07-13 13:58       ` Gleb Natapov
2009-07-13 14:21         ` Michael S. Tsirkin
2009-07-13 14:33           ` Gleb Natapov
2009-07-13 14:43             ` Michael S. Tsirkin
2009-07-13 15:21               ` Gleb Natapov

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=20090713151944.GL23086@redhat.com \
    --to=gleb@redhat.com \
    --cc=avi@redhat.com \
    --cc=gregory.haskins@gmail.com \
    --cc=kvm@vger.kernel.org \
    --cc=mtosatti@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