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.
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-m
