* Gautham R Shenoy <[email protected]> wrote:
> Consider a case where we have three locks A, B and C.
> We have very clear locking rule inside the kernel that lock A *should*
> be acquired before acquiring either lock B or lock C.
>
> At runtime lockdep detects the two dependency chains,
> A --> B --> C
>
> and
>
> A --> C --> B.
>
> Does lockdep issue a circular dependency warning for this ?
> It's quite clear from the locking rule that we cannot have a
> circular deadlock, since A acts as a mutex for B->C / C->B callpath.
>
> Just curious :-) [ Well, I might encounter such a scenario in an attempt
> to make cpufreq cpu-hotplug safe! ]
yes, lockdep will warn about this. Will you /ever/ have a B->C or C->B
dependency without A being taken first?
if not then my suggestion would be to just lump 'B' and 'C' into a
single lock - or to get rid of them altogether. There's little reason to
keep them separate. /If/ you want to keep them separate (because they
protect different data structures) then it's the cleanest design to have
an ordering between them. The taking of 'A' might go away anytime - such
a construct is really, really fragile and is only asking for trouble.
Ingo
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
[Index of Archives]
[Kernel Newbies]
[Netfilter]
[Bugtraq]
[Photo]
[Stuff]
[Gimp]
[Yosemite News]
[MIPS Linux]
[ARM Linux]
[Linux Security]
[Linux RAID]
[Video 4 Linux]
[Linux for the blind]
[Linux Resources]
