한국 공개 특허 제 10 - 2015 - 0090439 호 는 매 니 코어 시스템 의 하이퍼 바이저 에서 스케줄링 하 는 방법 에 관한 것 으로 , 요구 되 는 코어 의 개수 의 크기 순 으로 다수 의 가상 머신 을 정렬 하 는 과정 , 크기 순 으로 정렬 된 다수 의 가상 머신 을 다수 의 가상 머신 지도 에 순차 적 으로 번갈 아 배치 하 는 과정 및 각 가상 머신 지도 에 배치 된 가상 머신 들 로 이루어진 가상 머신 집합 들 을 타임 슬롯 단위 로 실행 하 는 과정 을 포함 한다 .