Foi lan\u00e7ado o projeto Asterinas 0.19, que desenvolve um n\u00facleo escrito em Rust e destinado ao uso em sistemas operacionais de prop\u00f3sito geral. O n\u00facleo fornece uma ABI (Interface Bin\u00e1ria de Aplica\u00e7\u00e3o) compat\u00edvel com o n\u00facleo Linux, podendo ser utilizado como substituto. Paralelamente, est\u00e1 em desenvolvimento a distribui\u00e7\u00e3o Asterinas NixOS, que combina o n\u00facleo Asterinas com o ambiente de sistema NixOS. O c\u00f3digo do projeto est\u00e1 em desenvolvimento desde 2022 e \u00e9 distribu\u00eddo sob a licen\u00e7a MPL (Mozilla Public License). <\/p>\n
Atualmente, o n\u00facleo implementa mais de 240 chamadas de sistema do Linux. Na distribui\u00e7\u00e3o Asterinas NixOS, o funcionamento sobre o n\u00facleo Asterinas foi verificado com mais de 100 pacotes do NixOS. Entre os pacotes suportados est\u00e3o: Xfce, Firefox, bash, systemd, Podman, QEMU, rsync, Apache httpd, nginx, SQLite, Redis, Clang, GCC, Go, Lua, Node.js, OpenJDK, Perl, PHP, Python, Ruby, Rust, Git, FFmpeg, PyTorch, TensorFlow, Ollama e Codex.<\/p>\n
O n\u00facleo oferece suporte total para a arquitetura x86-64, suporte parcial para ARM64, RISC-V 64 e x86-64 com isolamento baseado em Intel TDX, al\u00e9m de suporte inicial para a arquitetura LoongArch 64. As \u00e1reas priorit\u00e1rias de aplica\u00e7\u00e3o incluem sistemas atrelados \u00e0 Linux ABI, mas que exigem um n\u00edvel mais alto de prote\u00e7\u00e3o. Por exemplo, o Asterinas \u00e9 sugerido para a forma\u00e7\u00e3o de ambientes de sistema protegidos. m\u00e1quinas virtuais<\/a>, para os quais s\u00e3o utilizadas tecnologias como ARM CCA, AMD SEV e Intel TDX, al\u00e9m de na parte do sistema host que garante a execu\u00e7\u00e3o de cont\u00eaineres.<\/p>\n Para reduzir a probabilidade de erros ao trabalhar com mem\u00f3ria, que s\u00e3o a principal fonte das vulnerabilidades mais perigosas, o Asterinas foi escrito na linguagem Rust e emprega a t\u00e1tica de uso limitado de blocos unsafe. O n\u00facleo \u00e9 constru\u00eddo usando a arquitetura framekernel, na qual se tentou combinar as capacidades de isolamento de micro n\u00facleos com a efici\u00eancia de n\u00facleos monol\u00edticos.<\/p>\n Os componentes do n\u00facleo em Asterinas s\u00e3o alocados em um espa\u00e7o de endere\u00e7os comum, e a seguran\u00e7a \u00e9 alcan\u00e7ada no n\u00edvel de separa\u00e7\u00e3o l\u00f3gica entre c\u00f3digo seguro e c\u00f3digo que pode apresentar problemas de seguran\u00e7a. O n\u00facleo \u00e9 dividido em duas partes, escritas em Rust: OS Framework e OS Services. Em OS Services, \u00e9 proibido o uso de blocos unsafe, e todas as opera\u00e7\u00f5es de baixo n\u00edvel que exigem a execu\u00e7\u00e3o de c\u00f3digo em blocos unsafe foram transferidas para o OS Framework e est\u00e3o dispon\u00edveis apenas atrav\u00e9s de uma API de alto n\u00edvel. Todas as chamadas de sistema, sistemas de arquivos e drivers s\u00e3o implementados no n\u00edvel de OS Services e n\u00e3o podem incluir blocos unsafe.<\/p>\n Para o desenvolvimento de servi\u00e7os de sistema e m\u00f3dulos do n\u00facleo, \u00e9 fornecida a ferramenta OSDK (Kit de Desenvolvimento de Sistema Operacional), que oferece a utilidade cargo-osdk para criar, compilar, testar e executar componentes do sistema operacional. Para os desenvolvedores, foi preparado um conjunto de bibliotecas OSTD (Biblioteca Padr\u00e3o do Sistema Operacional), que inclui uma edi\u00e7\u00e3o das bibliotecas padr\u00e3o do Rust (crate std) adaptada para uso em componentes do sistema operacional.<\/p>\n Entre as mudan\u00e7as no Asterinas 0.19:<\/p>\n\n
\n