linux-kernel - Re: [PATCH] Add "nested" field to event of lock

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <1270921517.20295.3372.camel@laptop>
Date:	Sat, 10 Apr 2010 19:45:17 +0200
From:	Peter Zijlstra <peterz@...radead.org>
To:	Hitoshi Mitake <mitake@....info.waseda.ac.jp>
Cc:	mingo@...e.hu, linux-kernel@...r.kernel.org, h.mitake@...il.com,
	Paul Mackerras <paulus@...ba.org>,
	Arnaldo Carvalho de Melo <acme@...hat.com>,
	Frederic Weisbecker <fweisbec@...il.com>
Subject: Re: [PATCH] Add "nested" field to event of lock_release

On Sat, 2010-04-10 at 23:50 +0900, Hitoshi Mitake wrote:
> On 04/10/10 22:59, Peter Zijlstra wrote:
>  > On Sat, 2010-04-10 at 19:41 +0900, Hitoshi Mitake wrote:
>  >> State machine of perf lock requires "nested" field of lock_release(),
>  >> so this patch adds it to event.
>  >>
>  >> Signed-off-by: Hitoshi Mitake<mitake@....info.waseda.ac.jp>
>  >> Cc: Peter Zijlstra<a.p.zijlstra@...llo.nl>
>  >> Cc: Paul Mackerras<paulus@...ba.org>
>  >> Cc: Arnaldo Carvalho de Melo<acme@...hat.com>
>  >> Cc: Frederic Weisbecker<fweisbec@...il.com>
>  >
>  > The nested flag only indicates if it could be nested, not if it was
>  > actually nested. So no, this doesn't make any sense at all.
>  >
>  > (in fact, pretty much every lock_release out there has nested=1)
>  >

Just to clarify, nested=0 means the released lock needs to be at the top
of the lock stack. This means all locking needs to be perfectly
balanced:

 lock A
 lock B

 unlock A
 unlock B

Would be an invalid sequence in that scenario. I think when lockdep was
started it was thought it would be nice to be able to clean up locking
to be always perfectly balanced, but it was found quite early to be too
much, so it got relaxed to always nested=1, allowing the above sequence.



--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/