Re: FreeBSD GSOC proposal in 2014

Hi all,

    I write this mail to make my question clear. I know witness can be used
to detect wrong lock order in the kernel. However, can it be used to do
lock profiling (what I mean is to report the information such as which
locks are most contended and print some related statistics such as calling
graph, etc)?
In other words, is it enough to finish the task by porting witness to the
pthread library?

Thanks, Yan


2014-03-13 19:19 GMT-04:00 yan cui <ccuiyyan_at_gmail.com>:

> Hi all,
>
>     I have downloaded the newest FreeBSD-release kernel and scanned some
> codes.
> Wonder to know whether the lock order verification and lock profiling tool
> mentioned in
> the GSoC idea list is witness? Are there any other tools that needs to
> look at in the FreeBSD kernel?
>
> Thanks, Yan
>
>
> 2014-03-09 15:46 GMT-04:00 yan cui <ccuiyyan_at_gmail.com>:
>
> Hi All,
>>
>>      I am a student in Columbia University (Yan Cui), and want to join
>> the FreeBSD GSOC 2014. After scanned the idea list posted online, I think I
>> am interested in
>>  the idea titled "user space pthread mutex lock contention profiling and
>> lock order verification tools". I have several year experiences in kernel
>> and user locking and believe I can complete the task in time. Currently, I
>> wonder to know, before submitting an application on GSOC home page, do I
>> need to submit some documents in the community (to review?)
>>
>> Best Wishes!
>> Yan
>>
>> --
>> Think big; Dream impossible; Make it happen.
>>
>
>
>
> --
> Think big; Dream impossible; Make it happen.
>



-- 
Think big; Dream impossible; Make it happen.