목차
1. Micro-Kernel이란 무엇인가?
2. 연구용 Micro-Kernel 및 사업용 Micro-Kernel
2. 연구용 Micro-Kernel 및 사업용 Micro-Kernel
본문내용
o 커널 에서는 하드웨어 독립성을 다소 포기하고 IPC 성능 향상에 중점을 두어 설계가 되었다. 그러한 예로서 인텔 80486 프로세서 상에서 구현된 L4에서는 세그먼트를 이용하여 하나의 가상 주소 공간에 여러 응용이 동시에 존재 가능하도록 하고 있다. 이러한 방법은 IPC를 하는 두 응용이 같은 주소 공간에 있다면 주소 공간 변환이 없이 서로간에 통신을 가능하게 한다. 또한 커널에서 지원하는 쓰레드간의 통신이 주로 RPC로 이루어지기 때문에 지연 스케쥴링 기법을 이용하여 쓰레드 큐를 다루는데 있어 캐쉬 실패율을 줄임으로써 IPC 성능을 높이려고 하였다.
L4/Fiasco는 연속 미디어를 지원 하기 위한 목적으로 개발되었으며, 따라서 실시간 특성이 충분히 지원되고 있다. 즉 L4/Fiasco 커널은 임의의 위치에서 중단 가능하며, 인터럽트가 발생했을 때 우선 순위에 따라서 처리할 수 있는 메커니즘을 제시하며, 현재 하드웨어 인터럽트가 발생했을 때 10 밀리 세컨드 이내에 서비스를 받을 수 있도록 구현되어 있다. 또한 L4/Fiasco 커널은 높은 우선 순위의 쓰레드가 수행 가능한 상태가 되었을 때 최소 20 밀리 세컨드 이내에 서비스를 받을 수 있다.
L4/Fiasco는 연속 미디어를 지원 하기 위한 목적으로 개발되었으며, 따라서 실시간 특성이 충분히 지원되고 있다. 즉 L4/Fiasco 커널은 임의의 위치에서 중단 가능하며, 인터럽트가 발생했을 때 우선 순위에 따라서 처리할 수 있는 메커니즘을 제시하며, 현재 하드웨어 인터럽트가 발생했을 때 10 밀리 세컨드 이내에 서비스를 받을 수 있도록 구현되어 있다. 또한 L4/Fiasco 커널은 높은 우선 순위의 쓰레드가 수행 가능한 상태가 되었을 때 최소 20 밀리 세컨드 이내에 서비스를 받을 수 있다.
소개글