Pristatė „Redox“ operacinės sistemos kūrėjai neseniai kad jie įvedė naujas paketų tvarkytuvas pkgar, kurie bus naudojami sistemoje.
Tiems, kurie nežino apie Redox kuris tai operacinė sistema kad Pagrindinis dėmesys skiriamas tai, kad kuriant naudojama „Rust“ kalba ir mikrobranduolio koncepcija kur branduolio lygmeniu užtikrinama tik sąveika tarp procesų ir išteklių valdymo, o visos kitos funkcijos perduodamos bibliotekoms, kurias gali naudoti tiek branduolys, tiek vartotojo agentai.
Vykdant projektą, kuriamas naujas paketo formatas, biblioteka su paketų valdymo funkcijomis ir komandinės eilutės įrankiu kriptografiškai patikrintų failų rinkiniui sukurti ir išgauti.
Pkgar formatas nėra universalus ir jis optimizuojamas atsižvelgiant į „Redox“ OS operacinės sistemos ypatumus.
Paketų tvarkyklė palaiko šaltinio patikrinimą skaitmeniniu parašu ir vientisumo patikrą. Kontrolinės sumos apskaičiuojamos naudojant „blake3“ maišos funkciją. Pkgar tikrinimo funkciją galima pasiekti neišsaugojus paketo failo, manipuliuojant tik antraštės dalimi.
Visų pirma paketą sudaro antraštės failas (.pkgar_head) ir duomenų rinkmeną (.pkgar_data). Tinkamai pasirašytą visiško santraukos paketą (.pkgar) galima gauti tiesiog prie duomenų failo pridėjus antraštės failą.
Antraštės faile yra atskiros antraštės ir duomenų failo parametrų struktūros kontrolinės sumos, taip pat skaitmeninis parašas paketui patikrinti.
Duomenų faile yra nuoseklus visų pateiktų failų ir katalogų sąrašas pakuotėje. Prieš kiekvieną duomenų elementą yra struktūra su metaduomenimis, į kurią įeina tikrinamoji duomenų suma, dydis, prieigos teisės, santykinis įdiegiamo failo kelias ir kito duomenų elemento parametrų poslinkis.
Jei atnaujinimo proceso metu atskiri failai nepasikeitė ir kontrolinė suma sutampa, jie praleidžiami ir neatsisiunčiami.
Šaltinio vientisumą galima patikrinti gavus tik antraštės failą ir pasirinkto duomenų failo teisingumą, įkeliant tik struktūras su parametrais iš šio failo ir įsitikinant, kad jie atitinka antraštės faile patikrintą kontrolinę sumą.
Tiesiogiai pačius duomenis galima patikrinti atsisiuntus, naudojant struktūros kontrolinę sumą su parametrais, kurie yra prieš duomenis.
Iš pradžių paketai reiškia pakartotinio surinkimo galimybę, o tai reiškia, kad sukūrus paketą konkrečiam katalogui visada susidaro identiškas paketas. Įdiegus sistemoje išsaugomi tik metaduomenys, kurių pakanka atkurti paketą iš įdiegtų duomenų (paketo sudėtis, kontrolinės sumos, keliai ir prieigos teisės yra metaduomenyse).
Pagrindiniai „pkgar“ tikslai:
- Atominis: atnaujinimai kreiptis, kai tik įmanoma automatiškai.
- Eismo taupymas: duomenys perduodami tinklu tik pasikeitus maišos (atnaujinimo metu atsisiunčiami tik atnaujinti failai).
- Naudojami didelio našumo greitieji kriptografiniai algoritmai („blake3“ palaiko duomenų apdorojimo lygiagretumą apskaičiuojant maišos variantą). Jei saugyklos duomenys anksčiau nebuvo įrašyti į talpyklą, įkėlimo metu atsisiųstiems duomenims galima apskaičiuoti maišos.
- Minimalizmas: Skirtingai nuo kitų formatų, „pkgar“ apima tik metaduomenis, būtinus paketui išgauti.
- Diegimo katalogo nepriklausomumas: Bet kuris vartotojas gali įdiegti paketą bet kuriame kataloge (vartotojas turi turėti teisę rašyti į pasirinktą katalogą).
- Apsauga: paketai visada tikrinami kriptografiškai, o patikrinimas atliekamas prieš atliekant faktines paketų operacijas (pirmiausia įkeliama antraštė, o jei skaitmeninis parašas yra teisingas, duomenys perkeliami į laikiną katalogą, kuris patikrinus perkeliamas į katalogo paskirties vietą).