This is the mail archive of the
libc-help@sourceware.org
mailing list for the glibc project.
Re: Pthread mutex lock validator
On Tue, Apr 10, 2012 at 3:55 PM, Jonathan Nieder <jrnieder@gmail.com> wrote:
> Carlos O'Donell wrote:
>> On Tue, Apr 10, 2012 at 3:16 PM, sanketh nalli <nalli.sanketh@gmail.com> wrote:
>
>>> As part of my senior thesis, I worked on writing a
>>> lock dependency validator for libpthread,
>>> which is similar to lockdep in Linux.
>>> My codes are available here :
>>> git@github.com:Sanketh/liblockdep.git
>>>
>>> I wish to contribute this to glibc/nptl.
> [...]
>> * Do you plan to stay involved with glibc
>
> The idea _almost_ works as something that could be used as an
> LD_PRELOAD library (meaning: no need to rebuild your app to test it!),
> but unfortunately the library stores some extra per-thread information
> in its custom pthread_mutex_t struct.
>
> Is that a fundamental limitation, or could it be fixed? ?If the latter
> is the case, I think this could be a pleasant tool to use, without
> requiring any change to glibc/nptl. ?See fakeroot for an example of
> how this can work.
My assumption would be that Sanketh wants this to be included as part
of the glibc testsuite.
I'm happy to have people get excited about adding tests to the testing
infrastructure.
Cheers,
Carlos.