fix lock bug
fix state lock name
fix Floating Point Exception bug
add repair phase profiler
Merge pull request #3 from ryysd/optimization_of_mutex

Optimization of mutex