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.sherr...@oarcorp.com On-Line Applications Research Ask me about RTEMS: a free RTOS Huntsville AL 35805 Support Available (256) 722-9985 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
