A Lock Usage Pattern Analysis Tool for Concurrency Programs