Existe alguma aplicação de L4 (microkernel)?[fechado]

Question

Pesquisei muito no Google sobre microkernel L4 e descobri que há muito menos recursos no L4.

1. Quais são alguns bons links que posso referir?
2. Existe alguma aplicação de L4 (ou seja, onde é usado)?

Answer 1

O L4 supostamente ultrapassou um bilhão de instalações há um ano, então, a resposta curta é sim. De acordo com minha leitura, o Linux rodando em cima do L4 é fatores mais rápido do que rodando sozinho, fazendo para um Linux L4, e o Android foi portado para L4 em cima do linux. A meu ver, se tantas instalações estão em execução, por que não podemos ter L4 disponível para nós por meio de um shell, como ksh ou bash? A resposta curta é drivers; foi escolhido para nós pelos deuses do L4 que o L4 deveria ser Linux para dar suporte aos drivers, embora o Linux tenha poucos drivers. Há um pouco sobre isso aqui neste wiki da comunidade: http://alopex.li/wiki/L4FiascoTutorial E a justificativa para L4 / Linux aqui: http://www.slideshare.net/sartakov/ 03 componentes avançados

Se os drivers são tão problemáticos, de forma que o software livre impede que os vendedores comerciais os escrevam, então por que não criar uma versão "qt" para os gravadores dos drivers, ou seja, um kit de domínio público que unifica a funcionalidade do computador para definir os drivers. Em seguida, os gravadores de sistema operacional criariam o back-end para seu sistema operacional de forma que o fornecedor só tivesse que fazer o trabalho uma vez.

O outro tópico útil é a ideia de uma VM sobre L4, usando Perl Parrot VM (PVM) como um exemplo hipotético; se L4 pudesse ser modificado para rodar estritamente em registros .... imagine o desempenho

Answer 2

L4 é uma família de microkernels que compartilham uma API mais ou menos comum e algumas ideias / conceitos básicos.

Os aplicativos típicos são cenários de tempo real / alta disponibilidade, bem como um uso como hipervisor hospedando sistemas operacionais mais tradicionais.

Sobre aplicativos: Existe um kernel L4 de ok-labs.com que foi, por exemplo, usado no Motorola Evoke para executar a pilha de aplicativos lado a lado com a pilha de banda base no mesmo processador. Um kernel do ok-labs também é usado para hospedar a pilha de banda base do iPad2.

sysgo.com tem um kernel chamado PikeOS que eles usam para aplicativos aeroespaciais / de defesa.

Answer 3

De acordo com Andrew Tanenbaum L4 é usado em telefones celulares (quinto da última resposta,ou você pode fazer uma pesquisa de texto por "L4").Infelizmente, não consegui encontrar muito mais que o site L4 e FIASCO .