Generating lock graph for nested mutex project

[Joel Sherrill]

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: https://github.com/saurabhgadia4/lock-model/blob/rtemsjpf-0.4/rtems/Mutex.java
>

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

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 OARcorp.com        On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
Support Available                (256) 722-9985