Представљени програмери оперативног система Редок недавно које су увели нови менаџер пакета пкгар, који ће се користити у оквиру система.
За оне који не знају за Редок који то је оперативни систем да Његов главни фокус је да се његов развој користи језиком Руст и концептом микро језгара где је на нивоу језгра обезбеђена само интеракција између процеса и управљања ресурсима, а све остале функције се преносе на библиотеке које могу да користе и језгро и кориснички агенти.
Као део пројекта, развија се нови формат пакета, библиотека са функцијама управљања пакетима и алат за наредбене линије за креирање и издвајање колекције криптографски верификованих датотека.
Формат пкгар није замишљен као универзалан а оптимизован је узимајући у обзир специфичности оперативног система Редок ОС.
Менаџер пакета подржава верификацију извора дигиталним потписом и проверу интегритета. Контролне суме израчунавају се помоћу хеке функције блаке3. Функционалности провере пкгар може се приступити без стварног чувања датотеке пакета, манипулишући само заглавним делом.
Нарочито пакет се састоји од датотеке заглавља (.пкгар_хеад) и датотеку података (.пкгар_дата). Правилно потписан комплетни сажетак пакета (.пкгар) може се добити једноставним додавањем датотеке заглавља у датотеку података.
Датотека заглавља садржи одвојене контролне суме за заглавље и параметризоване структуре датотеке података, као и дигитални потпис за верификацију пакета.
Датотека података садржи секвенцијалну листу свих испоручених датотека и директорија у пакету. Пре сваког елемента података постоји структура са метаподацима, која укључује контролну суму за саме податке, величину, права приступа, релативни пут датотеке коју треба инсталирати и одступање параметара следећег елемента података.
Ако се током процеса ажурирања појединачне датотеке нису промениле и контролна сума се подудара, оне се прескачу и не преузимају.
Интегритет извора се може проверити добијањем само датотеке заглавља и исправности одабране датотеке података учитавањем само структура са параметрима из ове датотеке и осигуравањем да се подударају са контролном сумом у датотеци заглавља.
Директно, сами подаци се могу верификовати након преузимања, користећи контролну суму структуре са параметрима који претходе подацима.
У почетку пакети подразумевају могућност поновљиве монтаже, што подразумева да креирање пакета за одређени директоријум увек доводи до формирања идентичног пакета. Након инсталације, на систему се чувају само метаподаци, што је довољно за обнову пакета из инсталираних података (састав пакета, контролне суме, путање и права приступа доступни су у метаподацима).
Главни циљеви пкгара:
- Атомиц: исправке применити кад год је то могуће аутоматски.
- Уштеда саобраћаја: подаци се преносе преко мреже само када се хеш промени (током ажурирања преузимају се само ажуриране датотеке).
- Укључени су брзи криптографски алгоритми високих перформанси (блаке3 подржава паралелизацију обраде података приликом израчунавања хеша). Ако подаци спремишта нису претходно били предмеморирани, може се израчунати хеш за преузете податке приликом покретања.
- Минимализам: За разлику од других формата, пкгар укључује само метаподатке потребне за издвајање пакета.
- Независност директорија за инсталацију: Сваки корисник може инсталирати пакет у било који директоријум (корисник мора имати право писања у изабрани директоријум).
- Безбедност: пакети се увек криптографски верификују и верификација се врши пре него што се изврше стварне пакетне операције (прво се учита заглавље, а ако је дигитални потпис тачан, подаци се преносе у привремени директоријум, који се након верификације премешта у одредиште директорија).