Foi lançado o hipervisor Bareflank 3.0, que fornece um conjunto de ferramentas para desenvolvimento rápido de hipervisores especializados. O Bareflank é escrito em C++ e suporta C++ STL. A arquitetura modular do Bareflank permite expandir facilmente as funcionalidades existentes do hipervisor e criar suas próprias versões, tanto que funcionam diretamente no hardware (como o Xen) quanto aquelas que são executadas em um ambiente de software existente (como o VirtualBox). Há a possibilidade de executar o sistema operacional do ambiente host em uma máquina virtual separada. O código do projeto é distribuído sob a licença LGPL 2.1.
O Bareflank implementa suporte para Linux, Windows e UEFI em CPUs Intel e AMD de 64 bits. Para a separação de recursos de hardware máquinas virtuais é utilizada a tecnologia Intel VT-x. Para o futuro, está planejado o suporte a macOS e sistemas BSD, além da possibilidade de funcionamento na plataforma ARM64. Adicionalmente, o projeto está desenvolvendo seu próprio driver para o carregamento do VMM (Gerenciador de Máquinas Virtuais), um carregador ELF para carregar módulos VVM, e a aplicação bfm para gerenciar o hipervisor a partir do espaço do usuário. Um conjunto de ferramentas é fornecido para escrever extensões usando elementos definidos nas especificações C++11/14, uma biblioteca para desdobramento de pilha de exceções (unwind) e também uma biblioteca runtime própria para suporte ao uso de construtores/destrutores e registro de manipuladores de exceções.
Com base no Bareflank, está sendo desenvolvida a sistema de virtualização Boxy, que suporta a execução de sistemas convidados e permite o uso de máquinas virtuais leves com Linux e Unikernel para executar serviços ou aplicativos especializados. Na forma de serviços isolados, é possível executar tanto serviços web comuns quanto aplicativos que exigem requisitos específicos de confiabilidade e segurança, livres da influência do ambiente host (o ambiente host é isolado em uma máquina virtual separada). O Bareflank também serve de base para o hipervisor MicroV, destinado à execução de máquinas virtuais minimalistas (máquina virtual de um único aplicativo), implementando a API KVM e adequado para a criação de sistemas críticos.
As principais novidades do Bareflank 3.0:
- Transição para o uso do conceito de microkernel. Anteriormente, o hipervisor possuía uma arquitetura monolítica, onde a expansão da funcionalidade exigia o uso de uma API especial para registrar chamadas de retorno, o que dificultava o desenvolvimento de extensões devido à ligação à linguagem C++ e à sua estrutura interna. A nova arquitetura baseada em microkernel implica a divisão do hipervisor em componentes do núcleo, executados em modo de proteção anel zero, e extensões, executadas em anel três (espaço do usuário). Ambas as partes operam em modo root do VMX, enquanto todo o resto, incluindo o ambiente de host, opera em modo não root do VMX. As extensões no espaço do usuário implementam a funcionalidade do gerenciador de máquinas virtuais (VMM) e interagem com o núcleo do hipervisor através de chamadas de sistema, para as quais é garantida compatibilidade com versões anteriores. Extensões podem ser criadas em qualquer linguagem de programação, incluindo suporte para Rust.
- A transição para o uso de uma biblioteca própria BSL com suporte para Rust e C++ foi realizada, substituindo as bibliotecas externas libc++ e newlib. A eliminação de dependências externas permitiu implementar no Bareflank suporte nativo para compilação em Windows, facilitando o desenvolvimento nesta plataforma.
- Suporte para processadores AMD foi adicionado. Além disso, o desenvolvimento do Bareflank agora é feito em um sistema com CPU AMD e posteriormente portado para CPUs Intel.
- O carregador agora suporta a arquitetura ARMv8, com a adaptação do hipervisor para essa arquitetura sendo finalizada em uma das próximas versões.
- Atendemos aos requisitos para o desenvolvimento de sistemas críticos, conforme formulados pelas organizações AUTOSAR e MISRA.
Fonte: opennet.ru
