We have a utility called 'usched' which does basically that, though our usched is pretty old and minimalist... it doesn't handle specifications for more than 64 cores whereas the cpumask API handles up to (currently) 256 cores. Our usched definitely needs to be updated.
-Matt
