9 августа 2019 года на конференции разработчиков Huawei компания Huawei выпустила HarmonyOS — новую распределенную операционную систему на основе микроядра, предназначенную для обеспечения нового пользовательского опыта на всех устройствах и в любых сценариях.
HarmonyOS протестирован на смартфонах Huawei, миграция будет простой, если запрещено использовать Android
Согласно Huawei, HarmonyOS был разработан с четырьмя отличительными техническими характеристиками, которые определяют его многообещающий опыт.
1. Бесшовные:
Принимая распределенную архитектуру и технологию распределенных виртуальных шин, HarmonyOS предлагает общую коммуникационную платформу, распределенное управление данными, распределенное планирование задач и виртуальные периферийные устройства. С HarmonyOS разработчикам приложений не придется иметь дело с базовой технологией для распределенных приложений, что позволяет им сосредоточиться на собственной логике отдельных сервисов. Разработка распределенных приложений будет проще, чем когда-либо прежде. Приложения, созданные на основе HarmonyOS, могут работать на разных устройствах, обеспечивая бесперебойную совместную работу во всех сценариях.
2. Гладкая:
HarmonyOS будет решать проблемы неэффективности с помощью детерминированной системы задержки и высокопроизводительных межпроцессных коммуникаций (IPC). Механизм детерминированной задержки заранее устанавливает приоритеты выполнения задач и ограничения по времени для планирования. Ресурсы будут стремиться к задачам с более высокими приоритетами, уменьшая задержку отклика приложений на 25,7%. Микроядро может повысить производительность IPC в пять раз по сравнению с существующими системами.
3. Безопасный:
HarmonyOS использует совершенно новый дизайн микроядра, который отличается повышенной безопасностью и низкой задержкой. Это микроядро было разработано, чтобы упростить функции ядра, реализовать как можно больше системных служб в пользовательском режиме вне ядра и добавить взаимную защиту. Само микроядро предоставляет только самые основные сервисы, такие как планирование потоков и IPC.
Микроядерное ядро Harmony OS использует формальные методы проверки для изменения безопасности и надежности с нуля в среде Trusted Execution Environment (TEE). Формальные методы проверки являются эффективным математическим подходом для проверки правильности системы из источника, в то время как традиционные методы проверки, такие как функциональная проверка и моделирование атак, ограничиваются ограниченными сценариями. Формальные методы, напротив, могут использовать модели данных для проверки всех путей выполнения программного обеспечения.
HarmonyOS — первая ОС, использующая формальную верификацию в устройстве TEE, что значительно повышает безопасность. Кроме того, поскольку в микроядре HarmonyOS кода намного меньше (примерно одна тысячная часть ядра Linux), вероятность атаки значительно снижается.
4. Единый:
HarmonyOS, оснащенная IDE для нескольких устройств, многоязычной унифицированной компиляцией и комплектом распределенной архитектуры, может автоматически адаптироваться к различным элементам управления и взаимодействиям макета экрана, а также поддерживать управление перетаскиванием и визуальное программирование, ориентированное на предварительный просмотр. Это позволяет разработчикам более эффективно создавать приложения, которые работают на нескольких устройствах. С IDE для нескольких устройств разработчики могут кодировать свои приложения один раз и развертывать их на нескольких устройствах, создавая тесно интегрированную экосистему на всех пользовательских устройствах.
HUAWEI ARK Compiler — это первый статический компилятор, который может работать наравне с виртуальной машиной Android, позволяя разработчикам компилировать широкий спектр расширенных языков в машинный код в единой унифицированной среде. Поддерживая унифицированную компиляцию на нескольких языках, HUAWEI ARK Compiler поможет разработчикам значительно повысить их производительность.
