Проектът Redox OS представи пакетен мениджър pkgar, написан на Rust

Разработчици на операционната система Redox, написана с използването на езика Rust и концепцията за микроядро, представиха нов мениджър на пакети pkgar. В рамките на проекта се развива нов формат на пакети, библиотека с функции за управление на пакети и инструменти за командния ред за създаване и извличане на криптографски проверени колекции от файлове. Кодът на pkgar е написан на езика Rust и се разпространява под лиценз MIT.

Форматът на pkgar не претендира за универсалност и е оптимизиран с оглед спецификата на операционната система Redox OS. Мениджърът на пакети поддържа верификация на източника по цифров подпис и контрол на целостта. Контролните суми се изчисляват с помощта на хеш-функция blake3. Свързаната с верификацията функционалност на pkgar може да бъде достъпна без фактическото запазване на архива на пакета, манипулирайки само заглавната част. В частност, пакетът се състои от заглавен файл (.pkgar_head) и файл с данни (.pkgar_data). Коректно подписан завършен пакет (.pkgar) може да бъде получен чрез просто съединяване на заглавния файл с файла с данни («cat example.pkgar_head example.pkgar_data > example.pkgar»).

Заглавният файл съдържа отделни контролни суми за заглавието и структурите с параметри от файла с данни, а също и цифров подпис за проверка на пакета. Файлът с данни включва последователно изброяване на всички файлове и директории, доставяни в пакета. Преди всеки елемент от данните се предоставя структура с метаданни, която включва контролна сума за самите данни, размер, права на достъп, относителен път на инсталирания файл и офсет на параметрите на следващия елемент от данните. Ако по време на ъпдейт отделни файлове не са променени и контролната сума съвпада, те се пропускат и не се зареждат.

Контролата на целостта на източника може да се извърши с получения само заглавен файл, а коректността на избрания файл с данни — като се заредят само структурите с параметри на този файл и се потвърди съответствието им с контролна сума, заверена в заглавния файл. Самите данни могат да бъдат проверени след тяхното зареждане, използвайки контролна сума от структурата с параметри, идваща преди данните.

Пакетите първоначално предвиждат възможност за повторно сглобяване, което означава, че създаването на пакет за определен каталог винаги води до формирането на идентичен пакет. След инсталиране в системата остават само метаданни, които са достатъчни за реконструиране на пакета от инсталираните данни (състав на пакета, контрольни суми, пътища и права на достъп се съдържат в метаданните).

Основни цели на pkgar:

• Атомарност — актуализациите се прилагат по възможност автоматично.
• Спестяване на трафик — данните се предават по мрежата само при промяна на хеша (при актуализация се изтеглят само променените файлове).
• Висока производителност, използват се бързи криптографски алгоритми (blake3 поддържа паралелна обработка на данни при изчисление на хеш). Ако данните от репозитория не са били кеширани преди, хешът за изтеглените данни може да бъде изчислен по време на изтеглянето.
• Минимализъм — за разлика от другите формати, pkgar включва само метаданните, необходими за извличането на пакета.
• Независимост от инсталационния каталог — пакетът може да бъде инсталиран в произволен каталог, от всеки потребител (потребителят трябва да има право на запис в избрания каталог).
• Сигурност — пакетите винаги се криптографски проверяват, а проверката се извършва преди действителното извършване на операции с пакета (първо се изтегля заглавието и ако цифровият подпис е валиден, данните се изтеглят в временен каталог, които се преместват в целевия каталог след проверката).

Източник: opennet.ru