First look C++11 threads… These will be used to launch resolver tasks on different threads, we then pick the first one that wins.