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

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

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

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

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

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

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

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

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