lkml.org 
[lkml]   [2008]   [Jan]   [17]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 7/7] driver-core : convert semaphore to mutex in struct class
On Thu, 17 Jan 2008, Jarek Poplawski wrote:

> On Thu, Jan 17, 2008 at 10:16:30AM -0500, Alan Stern wrote:
> > On Thu, 17 Jan 2008, Dave Young wrote:
> >
> > > > Your meaning isn't clear. Do you mean that your patch doesn't generate
> > > > any lockdep warnings at all? Or do you mean that it generates a single
> > > > lockdep warning at boot time and then no more warnings afterward?
> > >
> > > I means the latter one.
> >
> > That's very bad.
> >
> > For each type of violation, lockdep only gives one error message. So
> > the fact that you get one message at boot time and then no more doesn't
> > mean the code is almost right -- it probably means the code has lots of
> > errors and you're seeing only the first one.
>
> I hope it's better than this: lockdep really stops checking after first
> warning, but I've understood from David's description that after fixing
> this one place lockdep seems to be pleased.

That isn't what Dave said above; he said that lockdep produces a single
warning at bootup. If he did mention anything about one place being
fixed up or lockdep being pleased, it was a while back and I've lost
track of it.

If I recall correctly the nature of the warning was that a method
routine for one class (called with the class's mutex held) was creating
a second class and locking that class's mutex. In principle this is
perfectly legal and should be allowed for arbitrary depths of nesting,
even though it is the sort of thing lockdep is currently unable to
handle.

> On the other hand, according to Greg the code is OK, so if there are any
> such warnings they simply have to be false! (...Unless you trust lockdep
> more?!)

It's not a matter of trust or of false warnings. People shouldn't
tolerate any lockdep warnings at all; otherwise they will start to
ignore the valid ones.

Alan Stern

P.S.: Just because Greg says the code is okay doesn't mean it will
please lockdep -- it doesn't even mean the code really is okay! I've
known Greg to make an occasional mistake.



\
 
 \ /
  Last update: 2008-01-17 21:01    [W:0.188 / U:0.240 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site