L4 (마이크로 커널) 적용이 있습니까?[닫은]

Question

L4 마이크로 커널에 대해 많이 검색 한 결과 L4에는 리소스가 매우 적다는 것을 알았습니다.

1. 참조 할 수있는 좋은 링크는 무엇입니까?
2. L4의 응용 프로그램이 있습니까 (즉, 사용 위치)?

Answer 1

L4는 1 년 전에 설치가 10 억 건을 돌파 한 것으로 추정되므로 짧은 대답은 '예'입니다. 필자가 읽은 바에 따르면 L4 위에서 실행되는 Linux는 단독으로 실행되는 것보다 빠른 요소로 Linux L4를 만들고 Android는 Linux 위에 L4로 포팅되었습니다. 내 생각에는 너무 많은 설치가 실행되고 있다면 왜 ksh 또는 bash와 같은 쉘을 통해 L4를 사용할 수 없습니까? 짧은 대답은 운전자입니다. L4 신들은 L4가 드라이버를 지원하기 위해 Linux가되어야한다고 우리를 위해 선택했습니다. 비록 Linux가 드라이버가 부족하더라도. 이 커뮤니티 위키에 약간의 내용이 있습니다. http://alopex.li/wiki/L4FiascoTutorial L4 / Linux의 근거 : http://www.slideshare.net/sartakov/ 03- 고급 구성 요소

드라이버가 너무 문제가있어서 자유 소프트웨어가 상용 공급 업체가 드라이버를 작성하지 못하게하는 경우 드라이버 작성자를위한 "qt"버전, 즉 컴퓨터 기능을 통합하여 드라이버를 정의하는 공용 도메인 키트를 만드는 것은 어떻습니까? 그런 다음 OS 작성자는 공급 업체가 작업을 한 번만 수행하면되는 OS 용 백엔드를 만듭니다.

다른 유용한 주제는 가상의 예로서 Perl Parrot VM (PVM)을 사용하는 L4를 통한 VM의 아이디어입니다. L4가 레지스터에서 엄격하게 실행되도록 수정할 수 있다면 .... 성능을 상상해보십시오.

Answer 2

L4는 다소 일반적인 API와 몇 가지 기본 아이디어 / 개념을 공유하는 마이크로 커널 제품군입니다.

일반적인 애플리케이션은 하드 리얼 타임 / 고 가용성 시나리오이자 보다 전통적인 운영 체제를 호스팅하는 하이퍼 바이저로 사용됩니다.

응용 프로그램 정보 : 예를 들어 Motorola Evoke에서 사용 된 ok-labs.com 의 L4 커널이 있습니다. 동일한 프로세서에서베이스 밴드 스택과 나란히 애플리케이션 스택을 실행합니다. ok-labs의 커널은 iPad2의베이스 밴드 스택을 호스팅하는데도 사용됩니다.

sysgo.com 에는 항공 우주 / 방위 애플리케이션에 사용하는 PikeOS라는 커널이 있습니다.

Answer 3

Andrew Tanenbaum에 따르면 L4는 휴대 전화에 사용됩니다 (마지막 답변에서 다섯 번째,또는 "L4"에 대한 텍스트 검색을 수행 할 수 있습니다.)안타깝게도 L4 웹 사이트 및 FIASCO .