i know linux kenrel support smp by making each core a signle runqueue, there could be "migration" or "push" and "pull" operations between runqu