Redox es un sistema operativo escrito en Rust , un lenguaje enfocado en la seguridad y el alto rendimiento. Redox, siguiendo el diseño del microkernel, tiene como objetivo ser seguro, utilizable y gratuito.
Redox está inspirado en kernels y sistemas operativos anteriores, como SeL4, MINIX, Plan 9 y BSD.
Redox no es solo un kernel, es un sistema operativo con todas las funciones , que proporciona paquetes (asignador de memoria, sistema de archivos, administrador de pantalla, utilidades principales, etc.) que juntos componen un sistema operativo funcional y conveniente. Puede pensar libremente en él como el ecosistema GNU o BSD, pero en un lenguaje seguro para la memoria y con tecnología moderna.
Cómo se compara Redox con otros sistemas operativos
Syscalls
La interfaz syscall es muy Unix-y. Por ejemplo, tenemos open, pipe, pipe2, lseek, read, write, brk, execv, y así sucesivamente. Actualmente, admitimos las 31 llamadas al sistema Linux más comunes.
En comparación con Linux, nuestra interfaz syscall es mucho más mínima. Esto no se debe a la etapa de desarrollo, sino a un diseño minimalista.
"Todo es una URL"
Esta es una generalización de "Todo es un archivo", inspirada en gran medida en el Plan 9. En Redox, los "recursos" (se explicarán más adelante) pueden ser tanto de tipo socket como de archivo, lo que los hace lo suficientemente rápidos para usarlos virtualmente todo.
De esta forma obtenemos una API de sistema más unificada. Explicaremos esto más adelante, en URL, esquemas y recursos .
El kernel
El núcleo de Redox es un micronúcleo. La arquitectura está inspirada en gran medida en MINIX.
A diferencia de Linux o BSD, Redox tiene solo 16.000 líneas de código del kernel, un número que a menudo disminuye. La mayoría de los servicios se brindan en el espacio del usuario
Tener cantidades mucho más pequeñas de código en el kernel hace que sea más fácil encontrar y corregir errores / problemas de seguridad de manera más eficiente. Andrew Tanenbaum (autor de MINIX) declaró que por cada 1000 líneas de código escrito correctamente, hay un error. Esto significa que para un kernel monolítico que podría promediar más de 15.000.000 de líneas de código, podría haber al menos 15.000 errores. Un micronúcleo que generalmente tiene un promedio de 15,000 líneas de código significaría que existen al menos 15 errores.
Cabe señalar que las líneas adicionales se basan simplemente fuera del espacio del kernel, lo que las hace menos peligrosas, no necesariamente un número menor.
La idea principal es que existan componentes y controladores que estarían dentro de un kernel monolítico en el espacio de usuario y sigan el Principio de mínima autoridad (POLA). Aquí es donde está cada componente individual:
- Completamente aislado en memoria y como procesos de usuario separados
- La falla de un componente no bloquea otros componentes
- Permite que el código extranjero y no confiable no exponga todo el sistema
- Los errores y el malware no se pueden propagar a otros componentes
- Tiene comunicación restringida con otros componentes
- No tiene privilegios de administrador / superusuario
- Los errores se mueven al espacio de usuario, lo que reduce su poder.
Todo esto aumenta significativamente la confiabilidad del sistema. Esto sería útil para aplicaciones de misión crítica y para usuarios que desean problemas mínimos con sus sistemas informáticos.
Registro de cambios v0.6
Se han introducido varios proyectos nuevos durante este ciclo de lanzamiento y se han obtenido muchas mejoras. Se han eliminado muchos errores. Esta lista es una simplificación extrema de las miles de confirmaciones realizadas desde la última versión. Con suerte, los lanzamientos se producirán con más frecuencia, por lo que este no es siempre el caso.
- rmm , una reescritura completa del administrador de memoria del kernel. Esto ha eliminado las pérdidas de memoria del kernel, que se convirtieron en un gran problema con el administrador de memoria anterior. Además, la compatibilidad con varios núcleos es mucho más estable.
- Gran parte del trabajo de RSoC, patrocinado por donaciones a Redox OS, se ha integrado en esta nueva versión. Esto incluye trabajo en ptrace, strace, gdb, partición de disco, registro, io_uring y más.
- relibc ha visto una gran cantidad de trabajo, culminando en mejoras para todo lo que depende de él (es decir, todo en el espacio de usuario).
- pkgar es un nuevo formato de paquete. Es mucho más rápido de crear y extraer que el formato tar anterior.
- El libro de cocina se ha rediseñado para admitir un nuevo sistema de construcción basado en óxido. Este sistema de compilación utiliza archivos toml en lugar de scripts de shell, y se han adaptado varios paquetes.
- Una gran parte de este ciclo de lanzamiento se dedicó a luchar con un cambio radical en los nightlies de Rust, donde asm se rediseñó la macro. Este cambio se completó hace muchos meses, pero otros problemas nos impidieron un lanzamiento.
Descargar Redox OS 0.6.0 sistema operativo Rust
Gracias por visitar este sitio, espero que te haya gustado y vuelvas proximamente, compartela en las redes sociales, gracias
