파티션 비트맵을 이용한 메모리 효율적인 리눅스 파티션 스케줄러

국문 초록 (Abstract)

독립적인 전자 장비들을 모듈화하여 하나로 통합한 시스템에 탑재되는 운영체제는 안정성 보장을 위해 파티셔닝 기술을 갖추어야 한다. 기존 운영체제에 파티셔닝 기술을 접목하기 위해서는 기존 스케줄러를 파티션 스케줄러로 확장해야한다. 특히 낮은 성능과 적은 메모리를 사용하는 우주용 시스템과 같은 임베디드 시스템에 적용하기 위해서는 스케줄러 확장시 성능적인 측면뿐만 아니라 메모리적인 측면도 고려해야한다. 본 논문에서는 파티션 비트맵을 이용한 메모리 효율적인 리눅스 파티션 스케줄러를 제안한다. 제안한 파티션 스케줄러는 구현시 적은 양의 메모리 공간을 요구하며 적은 파티션 전환 오버헤드가 발생한다. 또한 프로토타입을 LEON 4 프로세서 보드에 구현하였다. 성능평가를 통해 결과 정확성과 파티션 전환 오버헤드, 그리고 구현시 요구되는 메모리 공간 및 추가되는 소스코드의 양을 확인하였다.

다국어 초록 (Multilingual Abstract)

The operating systems in the system architecture, which is integrated several applications and modular electronic devices in the same computing device, demand partitioning technology for safety. Thus, operation system requires partition scheduler for partition scheduling. When we design partition scheduler in embedded system, which has small memory and low performance, such as space system, we must consider not only performance but also memory. In this paper, we introduces a linux-based memory efficient partition scheduler using partition bitmap. This partition scheduler demands small memory space and produce low partition switching overhead. The prototype was executed on a LEON4 processor, which is the Next Generation Multicore Processor (NGMP) in the space sector. In evaluation, this prototype shows accuracy, additional memory space and low partition switching overhead.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 배경지식 및 관련 연구
• 3. 메모리 효율적인 파티션 스케줄러
• 4. 성능평가
• 5. 결론
• References

참고문헌 (Reference)

1 한상현, "혼합 파티셔닝의 효율적 지원을 위한 파티션 스케줄링 기법" 한국정보과학회 19 (19): 85-89, 2013

2 Alameda, "VxWorks 653 for Integrated Modular Avionics" Wind River 2007

3 M. Asberg, "Towards a user-mode approach to partitioned scheduling in the seL4 microkernel" 15-22, 2012

4 R. Kaiser, "The PikeOS concept history and design" SYSGO 2007

5 "QPLUS-653"

6 "LynxOS-178"

7 J. Calandrino, "LITMUS RT: A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers" 111-123, 2006

8 S.H. Han, "Kernel-Level ARINC 653 Partitioning for Linux" 1632-1637, 2012

9 Fabio Checconi, "Hierarchical Multiprocessor CPU Reservations for the Linux Kernel" 15-22, 2009

10 "Green Hills"

11 C.H. Song, "Focus on Advanced Avionics Technology" (34) : 24-31, 2009

12 M. Asberg, "ExSched: An external cpu scheduler framework for real-time systems" 47-57, 2007