If memory serves, IBM had a lot of good engineers on Linux back in the day & I think they were responsible for doing a lot of the hard perf. work on multi-CPU scheduling.