Generating lock graph for nested mutex project

Joel Sherrill joel.sherrill at
Wed Jul 22 16:24:12 UTC 2015

On 7/22/2015 11:03 AM, Saurabh Gadia wrote:
> hi,
> Is there any tool which can be used to generate lock-graph for the JPF implementation of nested mutex. I have removed unnecessary re-entrant locks and want to further investigate on which other locks can be avoided with correct implementation.
> code repo:

mscgen can generate sequence diagrams if you can get a flow
into its easy format. It is used by RTEMS for sequence

Graphvis (dot) is used to generate the various diagrams like
flow charts and inheritance diagrams.

Of course, you have to get output in the right format to
feed into these but it is an easy format.

> Thanks,
> Saurabh Gadia

Joel Sherrill, Ph.D.             Director of Research & Development
joel.sherrill at        On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
Support Available                (256) 722-9985

More information about the devel mailing list