The scheduler in the Linux kernel jumps out to me as a place where it would be cool to find something of this nature.