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 Thanks, Saurabh Gadia
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
