마이크로커널

마이크로커널(microkernel)은 컴퓨터 과학에서 운영 체제에 추가되어야 하는 메커니즘을 제공하는 커널이다. 이러한 메커니즘에는 낮은 수준의 주소 공간 관리, 스레드 관리, 프로세스 간 통신(IPC)을 포함한다. 하드웨어가 여러 개의 링과 CPU 모드를 제공한다면 마이크로커널은 최고 권한 수준(일반적으로 수퍼바이저 및 커널 모드로 부름)에서 실행되는 유일한 소프트웨어가 된다. 장치 드라이버, 프로토콜 스택, 파일 시스템과 같은 전통적인 운영 체제의 기능들은 마이크로커널에서 제거되어 사용자 공간에서 실행된다. 소스 코드 크기 측면에서 마이크로커널은 일반적으로 10,000줄 이하의 코드를 지니는 경향이 있다. 이를테면 미닉스의 경우 4,000개의 코드가 있다.

마이크로커널은 1980년대에 컴퓨터 세상의 변화에 발맞추고 기존의 모노 커널(mono-kernel)을 이 새로운 시스템에 적응시키는 데 대한 문제점에 마주하면서 개발되었다.

나노커널

나노커널(nanokernel) 또는 피코커널(picokernel)이라는 용어는 역사적으로 다음을 가리킨다.

1. 모든 커널 코드의 양이 매우 작은 커널
2. 운영 체제 밑에 존재하는 가상화 계층 (하이퍼바이저)
3. 가장 낮은 수준의 커널 부분을 형성하는 하드웨어 추상화 계층(HAL)

같이 보기

• 커널 (컴퓨팅)
  • 엑소커널
  • 하이브리드 커널
  • 모놀리식 커널
• 신뢰 컴퓨터 기반

더 읽기

• scientific articles about microkernels (on CiteSeer), including:
  • Dan Hildebrand (1992년). An Architectural Overview of QNX. 《Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures》: 113–126. - the basic QNX reference.
  • Tanenbaum, A., Herder, J. and Bos, H. (2006년 May월). Can We Make Operating Systems Reliable and Secure?. 《Computer》 39 (5): 44–51. doi:10.1109/MC.2006.156. -the basic reliable reference.
  • Black, D.L., Golub, D.B., Julin, D.P., Rashid, R.F., Draves, R.P., Dean, R.W., Forin, A., Barrera, J., Tokuda, H., Malan, G., and Bohman, D. (1992년 March월). Microkernel Operating System Architecture and Mach. 《J. of Information Processing》 14 (4). - the basic Mach reference.
• MicroKernel page from the Portland Pattern Repository
• The Tanenbaum–Torvalds debate
  • The Tanenbaum-Torvalds Debate, 1992.01.29
  • Tanenbaum, A. S. "Can We Make Operating Systems Reliable and Secure?".
  • Torvalds, L. Linus Torvalds about the microkernels again, 2006.05.09
  • Shapiro, J. "Debunking Linus's Latest".
  • Tanenbaum, A. S. "Tanenbaum-Torvalds Debate: Part II".