From: Jason Baron <jbaron@redhat.com>
To: Steven Rostedt <rostedt@goodmis.org>
Cc: gleb@redhat.com, a.p.zijlstra@chello.nl, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] jump label: close race in jump_label_inc() vs. jump_label_dec()
Date: Thu, 5 Jan 2012 10:38:59 -0500 [thread overview]
Message-ID: <20120105153859.GB10850@redhat.com> (raw)
In-Reply-To: <1325777664.12696.50.camel@gandalf.stny.rr.com>
On Thu, Jan 05, 2012 at 10:34:24AM -0500, Steven Rostedt wrote:
> On Thu, 2012-01-05 at 10:30 -0500, Jason Baron wrote:
>
> > That said, until we have a use-case that would excercise this race,
> > I'm ok with having it be a higher level bug as Gleb pointed out. So how about a
> > WARN() for this case. I'll send as a separate patch, if people are ok
> > with it.
>
> You mean a WARN_ON(key->enabled < 0) ?
>
yes.
> for that, yeah I'm fine with it.
>
> -- Steve
Ok, I'll post a patch for that.
Thanks,
-Jason
prev parent reply other threads:[~2012-01-05 15:39 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-04 15:32 Jason Baron
2012-01-05 7:20 ` Gleb Natapov
2012-01-05 14:39 ` Steven Rostedt
2012-01-05 15:30 ` Jason Baron
2012-01-05 15:34 ` Steven Rostedt
2012-01-05 15:38 ` Jason Baron [this message]
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=20120105153859.GB10850@redhat.com \
--to=jbaron@redhat.com \
--cc=a.p.zijlstra@chello.nl \
--cc=gleb@redhat.com \
--cc=linux-kernel@vger.kernel.org \
--cc=rostedt@goodmis.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
Powered by JetHome