An API for portable multi-threading. See paper on arXiv: