Mike-debug

Results 2 issues of Mike-debug

As it shows below, dividing two floating point numbers that are divisible by themselves results in a loss of precision. Is it a bug exists in the **boost of version...

It is easy to reproduce this deadlock problem using the original code DispatchQueue.cc. ``` cpp void s1(int thread) { std::cout