Coyotos é um sistema operacional de micronúcleo com foco em segurança baseado em recursos sendo desenvolvido pelo Grupo EROS, LLC. É um sucessor do sistema EROS que foi criado na Universidade da Pensilvânia e Johns Hopkins University. Ele não está mais sendo ativamente desenvolvido.
História
Coyotos é considerado por seus criadores como "um passo evolutivo" [1] além do sistema operacional EROS, que foi derivado por sua vez do KeyKOS, que se originou do GNOSIS (Great New Operating System In the Sky). O desenvolvedor principal do EROS foi Jonathan S. Shapiro, que foi também a principal força por trás dos projetos do Coyotos e da linguagem de programação BitC, antes de aceitar um emprego na Microsoft.[2] Uma história mais completa pode ser encontrada em History:"The Path to Coyotos". Desde meados de 2006 os desenvolvedores do Coyotos têm trabalhado com os desenvolvedores do GNU Hurd para tornar o Coyotos um micronúcleo apropriado para GNU Hurd, entretanto, o progresso é lento.
Objetivos
Embora tivesse muitos objetivos, um do mais interessantes era se tornar o primeiro sistema operacional formalmente verificado. Para dar suporte à busca para este objetivo, o projeto Coyotos desenvolveu, concorrentemente, uma nova linguagem de programação chamada BitC e um novo compilador chamado BitCC.
Micronúcleo
Coyotos usa um projeto de micronúcleo que "retém a atomicidade e projeto puramente baseado em capacidades do sistema EROS",[3] mas que "introduz um mecanismo de mapeamento de memória mais eficiente". Compare isto com as famílias de micronúcleo Mach e L4.
Referências
- ↑ Differences Between Coyotos and EROS — A Quick Summary Arquivado 2012-07-31 na Archive.today- maio 12, 2005 Jonathan Shapiro, Ph.D.
- ↑ «Cópia arquivada». Consultado em 17 de dezembro de 2009. Arquivado do original em 3 de agosto de 2012
- ↑ «Coyotos Microkernel Specification - Version 0.6+ September 10, 2007 Jonathan S. Shapiro, Ph.D.». Consultado em 2 de agosto de 2007. Arquivado do original em 1 de agosto de 2012
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="O que estudar para o enem 2023">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Qual melhor curso para fazer em 2023">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Enem: Conteúdos E Aulas On-Line São Opção Para Os Estudantes">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Como Fazer Uma Carta De Apresentação">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Como Escrever Uma Boa Redação">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Concurso INSS edital 2022 publicado">
