한국 공개 특허 제 10 - 2013 - 0033020 호 는 매 니 코어 시스템 에서 의 파티션 스케줄링 장치 및 방법 에 관한 것 으로 , 파티션 스케줄링 이벤트 를 관리 하 는 파티션 큐 , 복수 개 의 코어 각각 의 하드웨어 정보 를 저장 하 는 코어 맵 을 포함 하 는 파티션 스케줄 러 및 하드웨어 정보 를 이용 하 여 파티션 스케줄링 이벤트 에 대응 하 여 복수 개 의 코어 에 대한 파티션 스케줄링 을 수행 하 는 파티션 매 니 져 를 포함 한다 .