2009/10/25 Daniel Bristot de Oliveira <danielbris...@gmail.com>: > 2009/10/24 Nenhum_de_Nos <math...@eternamente.info> > >> >> On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote: >> > Será?? >> > >> > >> http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-pronto&id=010150091020 >> >> como disse um amigo quando leu isso, este so deve fazer só umprimir hello >> world e a hora para ser 100% perfeito ... >> >> matheus >> >> >> -- >> We will call you cygnus, >> The God of balance you shall be >> >> A: Because it messes up the order in which people normally read text. >> Q: Why is top-posting such a bad thing? >> >> http://en.wikipedia.org/wiki/Posting_style >> ------------------------- >> Histórico: http://www.fug.com.br/historico/html/freebsd/ >> Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd >> > > > Replicando minha resposta uma outra lista... > > Eu acho que o enfoque ai foi mal interpretado pelo escritor da notícia, > > Acho que o que deveria ser exaltado é: A nova técnicas de verificação que > pode garantir com rigor matemático a confiabilidade de um software. > A partir disto é possível corrigir um sistema, como o sistema operacional > mencionado até que não hajam mais erros. > > Como também mencionado na noticia, este é um sistema operacional para um > sistema embarcado, isto é, é um sistema operacional para uma aplicação > específica, esta não mencionada no artigo o que diminui mais ainda o mérito > pois, por exemplo, este pode rodar em uma arquitetura muito simples, como a > ARM 7 e ainda executar uma operação muito específica, como o de um > microondas. > > Ainda, este pode ser um micro-kernel, o que faria com que o desenvolvimento > de um Kernel sem Bugs fosse mais simples. > > Então, acho que foi infeliz quem fez o título desta notícia, primeiro pelo > enforque errado segundo pela afirmação, pois, não se comprovou > matematicamente que outros sistemas operacionais tem falhas. > > OBS: Quando falo de sistemas operacionais menciono todos os softwares que > fazem interface entre software/hardware e o gerenciamento destes recursos. > > Sobre uma proposta de sistema operacional altamente confiável, existe o > minix-3, que é um sistema operacional que possui um micro-kernel e consegue > recuperar-se de falhas de forma rápida e transparente devido a sua > arquitetura de micro kernel, como o Symbiam OS, e não como um kernel > monolítico como o Linux/FreeBSD/OpenBSD/NetBSD/ > Windows(todas as familias)/MAC OS/HP-UX/IRIX/Sun Solaris/VDK/um etc... bem > grande/. O diferencial é que ele obedece o padrão POSIX, o que lhe da a > possibilidade de executar qualquer programa para sistemas que obedecem este > padrão (os Unix) e executa sobre intel 32 bits. > > Então, galera, dou a dica de ter um senso crítico mais aguçado quando ler > notícias com um título tão alarmante, como as notícias do programa do > Datena.
Achoq ue não levaram e conta a lei máxima que rege o Universo, a Lei de Murphy. Certamente esqueceram de algo. Ele pode estar perfeito pelos critérios usados, mas podem ter esquecido de usar também algum outro critério, que um dia será necessário. João Rocha. > > > -- > Daniel Bristot de Oliveira > ------------------------- > Histórico: http://www.fug.com.br/historico/html/freebsd/ > Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd > -- "Sempre se apanha mais com as menores besteiras. Experiência própria." goffr...@gmail.com ------------------------- Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
