KIISE Transactions on Computing Practices (정보과학회 컴퓨팅의 실제 논문지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지
DOI QR코드

DOI QR Code

Linux-based Memory Efficient Partition Scheduler using Partition Bitmap

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

  • Received : 2014.03.31
  • Accepted : 2014.06.16
  • Published : 2014.09.15
⟨ Previous Next ⟩

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.

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

Keywords

Acknowledgement

Supported by : 한국연구재단

References

  1. C.H. Song, "Focus on Advanced Avionics Technology," IT SoC Magazine, No. 34. pp.24-31. 2009. (in Korean)
  2. S.H. Han, J.S. Seok, H.W. Jin, "A Partition Scheduling Scheme to Support Efficient Mixed Partitioning," Journal of KIISE : Computer Systems and Theory, Vol. 19, No. 2, pp. 85-89, 2013. (in Korean)
  3. Alameda, "VxWorks 653 for Integrated Modular Avionics," Wind River White Paper, 2007.
  4. LynxOS-178[Online], Available: http://www.lynuxworks.com/rtos/rtos-178.php.
  5. R. Kaiser, "The PikeOS concept history and design," SYSGO White Paper, 2007.
  6. Green Hills[Online], Available: http://www.ghs.com/products/safety_critical/integrity-do-178b.html.
  7. S.H. Han, H.W. Jin, "Kernel-Level ARINC 653 Partitioning for Linux," In Proc. of 27th ACM Symposium On Applied Computing Trento, Italy, pp. 1632-1637, Mar. 2012.
  8. Fabio Checconi, Tommaso Cucinotta, Dario Faggioli, Giuseppe Lipari, "Hierarchical Multiprocessor CPU Reservations for the Linux Kernel," in Proc. of the 5th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Dublin, Ireland, pp. 15-22, 2009.
  9. M. Asberg, T. Nolte, S. Kato, and R. Rajkumar," ExSched: An external cpu scheduler framework for real-time systems," In Proc. of the 13th IEEE Conference on Embedded and Real-Time Computing Systems and Applications, pp. 47-57, 2007.
  10. J. Calandrino, H. Leontyev, A. Block, U. Devi, and J.Anderson, "LITMUS RT: A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers," In Proc. of the 27th Real-Time Systems Symposium, Rio de Janeiro, Brazil, pp. 111-123, 2006.
  11. QPLUS-653 [Online], Available: http://www.embeddedworld.co.kr/atl/view.asp?a_id=5012.
  12. M. Asberg, T. Nolte, "Towards a user-mode approach to partitioned scheduling in the seL4 microkernel," In Proc. of 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, San Juan, Puerto Rico, pp.15-22, Dec. 2012.