Use new threading API in InfNameResolver