HelenOS
HelenOS é um sistema operacional baseado em multiservidores entorno do microkernel preemptivo SPARTAN, que funciona com multitarefas, gerenciamento de memória e comunicação entre processos. Ele também fornece suporte a multiprocessamento simétrico com um kernel baseado em threads. Cada processo (chamado de tarefa) pode conter vários threads (preventivamente agendada pelo kernel) que, por sua vez, pode conter várias fibras programado cooperativamente no espaço do usuário.
| HelenOS | |
|---|---|
| Versão do sistema operativo Sistema Operacional Multiservidor | |
| Ficheiro:Helenos.png | |
 | |
| Produção | Team HelenOS e Contribuidores |
| Linguagem | C |
| Modelo | software livre |
| Versão estável | 0.9.1 / 11 de maio de 2019 |
| Arquitetura(s) | IA-32, AMD64, IA-64, ARM, MIPS, PowerPC, SPARC V9, RISC-V |
| Núcleo | Microkernel |
| Licença | Licença BSD |
| Página oficial | helenos.org |
| Estado de desenvolvimento | |
| Corrente | |
Todos os dispositivos e drivers do sistema de arquivos, bem como outros serviços do sistema, são implementadas por um conjunto de tarefas no espaço do usuário, criando, assim, natureza de multi-servidores do HelenOS. Ele pode ser usado para enviar pequenas mensagens de tamanho fixo, blocos de bytes ou a negociar a partilha da memória. Mensagens podem ser enviadas sem copiar dados em massa ou memória de mapeamento para o espaço de endereço de tarefas middle-men. Seu código fonte é publicado sob uma Licença BSD.
Desenvolvimento
editarHelenOS é parcialmente hobbyist, em parte acadêmica, sendo desenvolvida principalmente por funcionários e ex-alunos e contemporâneos da Faculdade de Matemática e Física na Universidade Charles, em Praga, com a ajuda de outros colaboradores em todo o mundo[1]. Em 2011, HelenOS participou no Google Summer of Code como uma organização mentora[2].
O código-fonte de HelenOS é publicado sob a licença BSD, enquanto alguns componentes de terceiros estão disponíveis sob a GNU General Public License[3]. Ambas as licenças são licenças de software livre, fazendo HelenOS software livre.
Hardware suportado
editarHelenOS é executado em diversas arquiteturas de CPU incluindo ARM, x86-64, IA-32, IA-64 (Itanium), MIPS, PowerPC (somente 32-bit) e SPARC V9. Em algum ponto no tempo, várias versões de HelenOS correu em hardware real a partir de cada arquitetura (em oposição à execução apenas em um simulador de arquitetura).
Suporte para dispositivos periféricos é em grande parte limitada a teclados, dispositivos de vídeo e discos simulado.
Uso em pesquisas
editarHelenOS está sendo usado para pesquisas[4][5] na área de componentes de software e verificação pelo Departamento de Sistemas Distribuídos e Confiável, Charles University, Praga. Além disso, HelenOS tem sido utilizado pelos estudantes como uma plataforma para projetos de software e teses de mestrado[6].
Referências
editar- ↑ HelenOS Contributors measured by Ohloh
- ↑ «Accepted organizations for Google Summer of Code 2011». Consultado em 24 de abril de 2012. Arquivado do original em 15 de junho de 2011
- ↑ HelenOS analysis by Ohloh
- ↑ Institutional research plan MSM0021620838 - Modern methods, structures and systems of computer science (2005-2011, MSM)
- ↑ Research @ D3S
- ↑ Defended HelenOS theses at Faculty of Mathematics and Physics, Charles University in Prague[ligação inativa]
Ligações externas
editar- HelenOS home page
- Porting SPARTAN kernel to SPARC V9 architecture
- Implementace souborového systému v operačním systému HelenOS, XXXII. konference EurOpen, sborník příspěvků, p. 149 - p. 157
- HelenOS IPC and Behavior Protocols[ligação inativa]
- Component-based General-purpose Operating System
- A Road to a Formally Verified General-Purpose Operating System
