커널 편집하기 (부분)

=== 마이크로커널 ===
{{본문|마이크로커널}}
마이크로커널은 하드웨어 위에 매우 간결한 추상화를 정의한다. 기본 연산 집합과 운영 체제 서비스를 구현한 [[스레드 관리]], [[주소 공간]], [[프로세스간 통신]]의 작은 [[시스템 콜]]으로 이루어져 있다. 일반적으로 커널이 제공하는 [[컴퓨터 네트워킹|네트워킹]]과 같은 다른 서비스들은 사용자 공간 프로그램인 '''서버'''로 구현한다.

운영 체제는 서버를 다른 일반적인 프로그램처럼 간단히 시작하고 끌 수 있다. 이를테면 네트워킹 지원이 필요 없는 작은 시스템에서는 간단히 서버를 끄면 된다. 이 경우 전통적인 시스템에서는 [[컴파일러|재컴파일]]이 필요했고 일반 사용자의 능력 밖의 일이다. 이론적으로 마이크로커널에서 시스템은 더 안정적이다. 서버가 중단될 때 커널의 충돌이 아니기 때문에 단 하나의 프로그램만 내려버리면 된다.

그러나 서버가 실패한 후 시스템 상태도 잃어버릴 경우 응용 프로그램이 계속 수행되는 것은 그 응용 프로그램이 막 복사된 다른 서버를 이용하게 되더라도 보통은 매우 힘들다. 예를 들어 [[TCP/IP]] 연결을 요구하는 (이론적인) 서버가 다시 시작되면 응용 소프트웨어는 연결이 "끊어졌습니다."라고 말하고 서버의 새 인스턴스를 찾아서 다시 연결한다. 그러나 파일과 같은 다른 시스템 객체는 이렇게 편리한 [[의미론]]이 없다. 이러한 편리가 믿음직스럽지 못하고 마음대로 이용할 수 없다. 기록할 정보들은 모두 미리 보관해 두어야 한다. 서버 간의 하나의 서버를 다시 시작할 때 중요 상태를 보호하기 위해 [[데이터베이스 트랜잭션|트랜잭션]], [[복제 (컴퓨터)|복제]], [[응용 대조점|대조점]]의 [[데이터베이스]] 기술이 요구된다.

일반적으로 마이크로커널은 전통적인 디자인의 수행을 잘못하고 때로는 극적이다. 이유는 응용과 서버 간의 자료 교환을 위해 커널을 출입하는 [[문맥 교환]] 때문이다. 주의 깊은 조율이 오버헤드를 극적으로 줄여줄 것으로 믿어져 왔으나 90년대 중반부터 대부분의 연구원들은 시도를 포기했다. 최근에 새 마이크로커널은 성능을 최우선으로 설계하며 이 문제를 넓은 부분에서 다루었다. 그러나 현재 운영 체제 시장은 자기 몸 사리며 마이크로커널 설계에 소극적이다.

마이크로커널과 마이크로커널에 기반한 운영 체제의 예
* [[AmigaOS]]
* [[Amoeba]]
* [[ChorusOS]]
* [[EROS]]
* [[Haiku]]
* [[K42]]
* [[LSE/OS]] ([[나노커널]])
* [[KeyKOS]] ([[나노커널]])
* [[L4 마이크로커널]]
* [[Mach (커널)]] - [[GNU 허드]], [[넥스트스텝]], [[오픈스텝]],[[OS X]]에 사용 됨.
* [[MERT]]
* [[미닉스]]
* [[MorphOS]]
* [[NewOS]]
* [[QNX]]
* [[Phoenix-RTOS]]
* [[RadiOS]]
* [[Spring operating system]]
* [[VSTa]]
* [[심비안 OS]]
설명	입력하는 내용	문서에 나오는 결과
기울임꼴	''기울인 글씨''	기울인 글씨
굵게	'''굵은 글씨'''	굵은 글씨
굵고 기울인 글씨	'''''굵고 기울인 글씨'''''	*굵고 기울인 글씨*