To schedule multiple CPUs requires techniques such as push migration and pull migration to achieve load balancing. Two major types of design of multiprocessor schedulers are symmetric and asymmetric. Clearly define each of these two types of migration and indicate whether a symmetric or asymmetric design supports it, naturally.