bo added a mutex to minheap