Группа исследователей из Вашингтонского университета анонсировала первый публичный выпуск операционной системы Arrakis, являющейся форком исследовательской ОС Barrelfish, развиваемой инженерами из высшей технической школы Цюриха (ETH Zurich) и подразделения Microsoft Research. Код Arrakis написан на языке Си и распространяется под свободной лицензией MIT.

Как и Barrelfish, операционная система Arrakis придерживается концепции мультиядра, при которой на каждом процессорном ядре многоядерной системы выполняется отдельный экземпляр ОС с закреплёнными за ним ресурсами, такими как память. Взаимодействие экземпляров ОС построено на основе обмена сообщениями через специальную шину с применением репликации объектов вместо разделяемой памяти. Мультиядерная ОС подразумевает применение на гетерогенных системах с большим числом процессорных ядер и специализированных процессоров, и по архитектуре напоминает развёрнутый на локальной системе кластер, каждый узел которого выполняется на отдельном ядре CPU.

По мнению разработчиков Arrakis современные приложения становятся настолько сложными, что с точки зрения разграничения доступа не укладываются в модель защиты обычных ОС и превращаются в миниатюрные операционные системы. Например, браузерам необходимы средства изоляции выполняемых скриптов и дополнений, но они не имеют прав запуска изолированного окружения внутри приложения, использующего механизмы виртуализации. Аппаратные устройства также становятся всё более изощрёнными и могут выполнять задачи, свойственные ОС, например, сетевые карты могут демультиплексировать входящие пакеты для их прямой доставки определённому приложению.

С оглядкой на данные тенденции в Arrakis предпринята попытка исключения участия операционной системы в выполнении приложения. В соответствии с данной идеей, ОС только инициализирует окружение для выполнения приложения и выполняет редкие запросы по перераспределению ресурсов и разрешению конфликтов. Доступ приложения ко всем возможностям оборудования организуется через специальную библиотеку-прослойку, работающую в адресном пространстве приложения. Подобный подход открывает огромные перспективы в кастомизации, производительности и надёжности ОС.

Основные улучшения, добавленные в Arrakis, по сравнению с кодовой базой Barrelfish:

• Новый сетевой стек Arranet;
• Загрузка с использованием QEMU Multiboot, вместо GRUB;
• Поддержка виртуальных доменов Arrakis, работающих с использованием аппаратных механизмов виртуализации;
• Поддержка распараллеливания в системе сборки Hake;
• Поддержка механизма виртуализация ввода-вывода SR-IOV;
• Возможность использования преднастроенных значений BIOS для настройки PCI (как в Linux);
• Драйвер с реализацией виртуального сетевого адаптера Intel 82599;
• Расширенная поддержка POSIX, в том числе поддержка pthreads, epoll и сетевых сокетов;
• Поддержка счетчиков мониторинга производительности, присутствующих в процессорах Intel;
• Библиотека TenaciousD с реализацией постоянных (persistent) структур данных;
• Библиотека libstorage с реализацией абстрактного уровня (HAL) работы с накопителями;
• Драйвер для Intel MegaRAID;
• Драйвер для Intel VT-d (IOMMU).