All of lore.kernel.org
 help / color / mirror / Atom feed
From: Andi Kleen <andi@firstfloor.org>
To: Wolfram Sang <w.sang@pengutronix.de>
Cc: Andi Kleen <andi@firstfloor.org>,
	akpm@linux-foundation.org, linux-kernel@vger.kernel.org,
	Andi Kleen <ak@linux.intel.com>
Subject: Re: [PATCH 11/13] Add a discussion on why spin_is_locked() is bad to spinlocks.txt
Date: Wed, 28 Mar 2012 11:07:07 +0200	[thread overview]
Message-ID: <20120328090707.GW22197@one.firstfloor.org> (raw)
In-Reply-To: <20120328084824.GA2522@pengutronix.de>

> > +
> > +or some variant of those.
> > +
> > +This does not work on uniprocessor kernels because they will always fail.
> > +While there are ways around that they are ugly and not recommended.
> > +Better use lockdep_assert_held(). This also only checks on a lock debugging
> > +kernel (which you should occasionally run on your code anyways because
> > +it catches many more problems). 
> > +
> > +In generally this would be better done with static annotation anyways 
> > +(there's some support for it in sparse)
> > +
> > +	BUG_ON(spin_is_locked(obj->lock));
> > +	kfree(obj);
> > +
> > +Another usage is checking whether a lock is not hold when freeing an object.
> 
> I'd suggest to move this sentence above the code example. On first read,
> I was confused what the code should tell me regarding annotations :)

Both fixed.

> 
> > +However this is redundant because lock debugging supports this anyways
> > +without explicit code. Just delete the BUG_ON.
> > +
> > +A third usage is to check in a console function if a lock is hold, to get
> > +a panic crash dump out even when some other thread died in it.
> > +This is better implemented with spin_try_lock() et.al. and a timeout.
> > +
> > +Other usages are usually simply races.
> > +
> > +In summary just don't use it.
> 
> At this point, I was wondering when it actually can be used? Otherwise
> it probably would have been removed from the kernel or marked
> deprecated, I'd think?

Even after the patchkit there are a few users left (mostly third category
and some print outs). Eventually these should be fixed or removed too.
Then the function could be truly deprected.

lockdep still needs it I believe, but it should probably use some 
private interface. 

-Andi
-- 
ak@linux.intel.com -- Speaking for myself only.

  reply	other threads:[~2012-03-28  9:07 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-03-28  0:47 spin-is-locked is evil patchkit v2 Andi Kleen
2012-03-28  0:47 ` [PATCH 01/13] block: use lockdep_assert_held for queue locking Andi Kleen
2012-03-30 10:33   ` Jens Axboe
2012-03-28  0:47 ` [PATCH 02/13] sgi-xp: Use lockdep_assert_held Andi Kleen
2012-03-28  0:47 ` [PATCH 03/13] ada152x: Remove broken usage of spin_is_locked Andi Kleen
2012-03-28  0:47 ` [PATCH 04/13] staging/zmem: Use lockdep_assert_held instead " Andi Kleen
2012-03-28  0:47 ` [PATCH 05/13] XFS: Fix lock ASSERT on UP Andi Kleen
2012-03-29 23:21   ` Christoph Hellwig
2012-03-29 23:52     ` Andi Kleen
2012-03-30  4:13       ` Dave Chinner
2012-03-30 14:04         ` Andi Kleen
2012-03-30 14:10           ` Christoph Hellwig
2012-04-19 21:31         ` Andrew Morton
2012-03-28  0:47 ` [PATCH 06/13] huge-memory: Use lockdep_assert_held Andi Kleen
2012-03-28  0:47 ` [PATCH 07/13] futex: Use lockdep_assert_held() for lock checking Andi Kleen
2012-03-28  0:47 ` [PATCH 08/13] irda: remove spin_is_locked Andi Kleen
2012-03-28  1:32   ` David Miller
2012-03-28  0:47 ` [PATCH 09/13] usb: gadget: f_fs: Remove lock is held before freeing checks Andi Kleen
2012-04-10 10:42   ` Felipe Balbi
2012-03-28  0:47 ` [PATCH 10/13] smsc911x: Use lockdep_assert_held instead of home grown buggy construct Andi Kleen
2012-03-28  1:32   ` David Miller
2012-03-28  0:47 ` [PATCH 11/13] Add a discussion on why spin_is_locked() is bad to spinlocks.txt Andi Kleen
2012-03-28  8:48   ` Wolfram Sang
2012-03-28  9:07     ` Andi Kleen [this message]
2012-03-28  0:47 ` [PATCH 12/13] Add a kerneldoc comment to spin_is_locked() that discourages its usage Andi Kleen
2012-03-28  8:49   ` Wolfram Sang
2012-03-28  0:47 ` [PATCH 13/13] checkpatch: Check for spin_is_locked Andi Kleen

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=20120328090707.GW22197@one.firstfloor.org \
    --to=andi@firstfloor.org \
    --cc=ak@linux.intel.com \
    --cc=akpm@linux-foundation.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=w.sang@pengutronix.de \
    /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.