Pesquisadores australianos relataram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional - tecnicamente conhecido como kernel - está 100% livre de erros de programação (bugs).
Isto significa que a parte principal do sistema operacional não estará sujeito a falhas, travamentos e nem a ataques que explorem falhas de segurança, que simplesmente não existem.
Leia matéria completa: Primeiro sistema operacional 100% livre de erros está pronto (http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-pronto&id=010150091020)
Atire a primeira pedra quem nunca achou, ao menos por um segundo, que tinha feito um código fonte sem erros ...
Guzpido Krush
21/10/2009, 16:44
hmmmm. micro kernel.
Secure Microkernel Project (seL4)
The seL4 microkernel is a key enabler of our work. It provides a minimal and efficient lowest software level, and is the only part of our software that executes in the privileged mode of the hardware. It is a third-generation microkernel that builds on the strengths of the L4 microkernel architecture, such as small size, high performance, and policy freedom, and extends it with a built-in capability model, which provides a mechanism to enforce security guarantees at the operating system and application levels.
http://ertos.nicta.com.au/research/sel4/
capability model:
http://ertos.nicta.com.au/publications/papers/Boyton_09.pdf
www.elsevier.nl/locate/entcs
6 homens, por 6 anos pro micro kernel.
Quem topa começar a utilizar a técnica no Kernel do Linux?
Eu participo... dando apoio moral!
Guzpido Krush
21/10/2009, 18:43
apoio moral quem tá precisando são esses caras aqui:
Debian -- Debian GNU/Hurd — Installation (http://www.debian.org/ports/hurd/hurd-install)
PreventDdos
31/10/2009, 18:39
Primeiro sistema operacional 100% livre de erros está pronto
Acho este afirmação um tanto quanto dificil de acreditar ,porem quem sou eu para discutir,é ver em ação para crer e se passar pelo teste por uns 10 anos dai vou começar a acreditar que isso de fato é real!
lendo os articles faz um pouco de sentido pela logica porém por falta de embasamento tecnico nao vou ir mais além!!
Ahh a proposito seria bem interessante a microsoft adotar este novo sistema la na frente hehehe!!
mas ja acho um grande avanço o novo Kernel do windows 7,pelo menos em meu caso nao tive nenhum problema com travamentos e erros,logico nao estou colocando na mesa SEGURANÇA mas tambem foi bem aprimorado neste aspecto windows 7...
até em excesso acho eheheh pois no forum da social technet vejo programadores tendo dor de cabeça com relação a permissoes em algumas tarefas...
enfim post sem embasamente mas sinto vontade de expressar o que penso ^^
abraços,
RR
