assign_threads
assign_threads(0, nthreads, avail, intserv);
cpu = assign_threads(cpu, nthreads, avail, intserv);