HelenOS [ 4 ] [ 5 ] [ 6 ] [ 7 ] es un sistema operativo basado en un diseño de microkernel multiservidor . [ 8 ] El código fuente de HelenOS está escrito en C y publicado bajo la licencia BSD-3-Clause . [ 3 ]
El sistema se describe como un "sistema operativo de código abierto para investigación y desarrollo". [ 9 ]
Descripción general técnica
El microkernel gestiona la multitarea , la administración de memoria y la comunicación entre procesos . También proporciona subprocesos basados en el kernel y admite el multiprocesamiento simétrico .
Como es habitual en el diseño de microkernels, los sistemas de archivos, las redes, los controladores de dispositivos y la interfaz gráfica de usuario están aislados entre sí en un conjunto de componentes del espacio de usuario que se comunican a través de un bus de mensajes.
Cada proceso (denominado tarea ) puede contener varios hilos (programados de forma preventiva por el núcleo) que, a su vez, pueden contener varias fibras programadas de forma cooperativa en el espacio de usuario. Los controladores de dispositivos y sistemas de archivos, así como otros servicios del sistema, se implementan mediante un conjunto de tareas en el espacio de usuario ( servidores ), lo que da lugar a la arquitectura multiservidor de HelenOS.
Las tareas se comunican mediante HelenOS IPC, un protocolo orientado a la conexión y asíncrono . Se puede utilizar para enviar mensajes pequeños de tamaño fijo, bloques de bytes o para negociar el uso compartido de memoria. Los mensajes se pueden reenviar sin copiar grandes cantidades de datos ni asignar memoria al espacio de direcciones de las tareas intermediarias.
Desarrollo
El desarrollo de HelenOS está impulsado por la comunidad. La comunidad de desarrolladores consta de un pequeño equipo central, principalmente personal y antiguos y actuales estudiantes de la Facultad de Matemáticas y Física de la Universidad Carolina de Praga , y varios colaboradores de todo el mundo. [ 10 ] En 2011, 2012 y 2014, HelenOS participó en el Google Summer of Code como organización mentora. [ 11 ] [ 12 ] [ 13 ] En 2013, el proyecto fue una organización mentora en el programa ESA Summer of Code in Space 2013. [ 14 ]
El código fuente de HelenOS se publica bajo la licencia BSD-3-Clause , mientras que algunos componentes de terceros están disponibles bajo la Licencia Pública General GNU . [ 3 ] [ 15 ] Ambas licencias son licencias de software libre , lo que convierte a HelenOS en software libre .
Soporte de hardware
HelenOS funciona en varias arquitecturas de CPU diferentes , incluidas ARM , x86-64 , IA-32 , IA-64 ( Itanium ), MIPS , PowerPC (solo 32 bits), SPARC V9 y RISC-V . [ 16 ] En algún momento, varias versiones de HelenOS se ejecutaron en hardware real de cada arquitectura (en lugar de ejecutarse solo en un simulador de esa arquitectura).
HelenOS es compatible con PATA , SATA , almacenamiento masivo USB , USB HID , un adaptador WiFi USB Atheros , varias tarjetas de red Ethernet , dispositivos de audio SoundBlaster 16 e Intel HDA , puertos serie, teclados, ratones y búferes de imagen.
Investigación y uso académico
HelenOS se utiliza para la investigación [ 17 ] [ 18 ] en el área de componentes de software y verificación por el Departamento de Sistemas Distribuidos y Confiables de la Universidad Carolina de Praga. Además, HelenOS ha sido utilizado por estudiantes como plataforma para proyectos de software y tesis de maestría. [ 19 ]
Referencias
- ↑ "Notas de la versión de HelenOS 0.14.1" . 19 de mayo de 2024.
- ↑ «HelenOS» . GitHub . 22 de abril de 2022.
- 1 2 3 "Licencia – HelenOS" . Archivado del original el 10-03-2016 . Recuperado el 18-06-2021 .
- ↑ hpr1447 :: Cobertura de HPR en FOSDEM 2014 Parte 1/5
- ^ El sistema operativo HelenOS Micro-Kernel sigue avanzando
- ↑ HelenOS: el sistema operativo que lanzó mil procesos, DistroWatch Weekly, número 350, 19 de abril de 2010
- ↑ HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář
- ↑ Arquitectura de sistemas críticos . Springer Berlin Heidelberg . 2010. pág. 74. ISBN 9783642135569.
- ↑ https://www.facebook.com/HelenOS
- ↑ "Colaboradores de HelenOS medidos por Ohloh" . Archivado del original el 12 de abril de 2010. Consultado el 15 de marzo de 2012 .
- ↑ Lista de proyectos aceptados en Google Summer of Code 2011
- ↑ Lista de proyectos aceptados en Google Summer of Code 2012
- ↑ Lista de proyectos aceptados en Google Summer of Code 2014
- ↑ "Organizaciones de mentoría seleccionadas" . Archivado del original el 16 de julio de 2017. Consultado el 11 de enero de 2020 .
- ↑ "Análisis de HelenOS por Ohloh" . Archivado del original el 1 de abril de 2011. Consultado el 15 de marzo de 2012 .
- ↑ FOSDEM (11/02/2019), Lecciones aprendidas al portar HelenOS a RISC-V: Ventajas e inconvenientes de RISC-V desde el punto de vista de un sistema operativo de microkernel… , archivado del original el 22/12/2021 , recuperado el 25/02/2019.
- ↑ Plan de investigación institucional MSM0021620838 - Métodos, estructuras y sistemas modernos de la informática (2005-2011, MSM)
- ↑ Investigación en D3S
- ↑ Defendió su tesis HelenOS en la Facultad de Matemáticas y Física de la Universidad Carolina de Praga.
Enlaces externos
- Página principal de HelenOS
- Tesis, artículos y documentación de HelenOS.
- HelenOS en GitHub
- Sistemas operativos de software libre
- Sistemas operativos basados en microkernel
- Sistemas operativos ARM
- Sistemas operativos MIPS
- Sistemas operativos IA-32
- Sistemas operativos X86-64
- Micronúcleos
- Software que utiliza la licencia BSD.
- Sistemas operativos para aficionados