Vivo, chì occupa circa u 10% di u mercatu mundiale di i smartphones (5u postu trà i pruduttori di smartphones), hà presentatu a prima versione ufficiale aperta di u kernel di u sistema operativu BlueOS (Blue River OS). U sistema operativu BlueOS hè in sviluppu dapoi u 2018 è hè digià utilizatu in i smartwatch di a serie Vivo Watch. Vivo travaglia ancu à l'usu di BlueOS in occhiali intelligenti, robot, terminali intelligenti è dispositivi IA di cunsumu. U codice di u kernel hè scrittu in Rust è hè apertu sottu a licenza Apache 2.0. I framework di u sistema BlueOS sò ancu scritti in Rust.
BlueOS hè cuncipitu cù a sicurità in mente da u principiu, aduprendu u linguaghju Rust per impedisce e vulnerabilità relative à a memoria, chì Google è Microsoft stimanu rapprisentà u 70% di tutte e vulnerabilità di u sistema operativu. BlueOS usa una cumbinazione di puntatori intelligenti in tempu d'esecuzione è cuntrolli in tempu di compilazione furniti da u linguaghju Rust (tracciamentu di a pruprietà di l'uggetti, cuntrolli di prestitu variabili, tracciamentu di a durata di l'uggetti) per assicurà a sicurità di a memoria.
U kernel BlueOS (Blue River Kernel) hè ottimizatu per un cunsumu minimu di risorse è pò esse adupratu nantu à piattaforme integrate, dispositivi mobili è sistemi Internet of Things. In a cunfigurazione minima, u kernel richiede solu 13 KB di RAM per u so funziunamentu. À u listessu tempu, u kernel supporta architetture di processori muderne, cumprese ARM è RISC-V. Sopra à u kernel, hè implementata una biblioteca C standard chì supporta l'interfacce software definite in u standard POSIX, è ancu a biblioteca rust-std.
U kernel furnisce un pianificatore di attività, un sistema di fugliali, un mecanismu di gestione di memoria, una pila di rete è un inseme di driver. Parechji algoritmi di pianificazione di attività sò supportati, cumpresi algoritmi per a distribuzione uniforme di intervalli di tempu trà i prucessi è algoritmi per u travagliu in tempu reale basatu annantu à u calculu di priorità. Parechji algoritmi di allocazione di memoria sò dispunibili, ottimizzati per diversi scenarii d'usu.
Fornisce u so propiu sistema di fugliali cù una architettura classica basata nantu à inode gerarchica, è ancu sistemi di fugliali tmpfs, devfs, sysfs, procfs, nfs è fat32. TCP/IP A pila supporta l'API POSIX Socket, socketfd, è u trattamentu di dati in i modi di bloccu è senza bloccu, è pò esse aduprata in cunfigurazioni cù parechje carte di rete. Per riduce u sovraccaricu di trasferimentu di dati, hè aduprata una architettura à copia zero, eliminendu u buffering intermediu.
Per u sviluppu di i driver, hè prupostu un stratu per astrarre l'accessu à l'hardware, chì permette di creà driver in u linguaghju Rust, è ancu driver di portu in u linguaghju C, digià creati per altri kernel. A ducumentazione di u kernel hè attualmente limitata à l'istruzzioni di assemblaggio è di test, è ancu à cunsiglii nantu à l'implementazione di e so chjamate di sistema è a descrizzione di i tipi di dati basi. Per i test, hè prupostu di utilizà QEMU (mps2-an385, mps3-an547, virt-aarch64, virt-riscv64) o a scheda Raspberry Pi Pico2.
Source: opennet.ru
