Predstavljeni so bili razvijalci operacijskega sistema Redox pred kratkim ki so jih uvedli novega upravitelja paketov pkgar, ki se bodo uporabljali znotraj sistema.
Za tiste, ki ne vedo za Redox ki to je operacijski sistem da Njegov glavni poudarek je, da se pri njegovem razvoju uporablja jezik Rust in koncept mikrojedr kjer je na ravni jedra zagotovljena le interakcija med procesi in upravljanjem virov, vse ostale funkcije pa se prenesejo v knjižnice, ki jih lahko uporabljajo tako jedro kot uporabniški agenti.
Kot del projekta razvija se nova oblika paketa, knjižnica s funkcijami upravljanja paketov in orodje ukazne vrstice za ustvarjanje in ekstrahiranje zbirke kriptografsko preverjenih datotek.
Oblika pkgar ni namenjena univerzalnosti in je optimiziran ob upoštevanju posebnosti operacijskega sistema Redox OS.
Upravitelj paketov podpira preverjanje virov z digitalnim podpisom in preverjanje celovitosti. Kontrolne vsote se izračunajo s pomočjo zgoščevalne funkcije blake3. Do funkcije pkgar za preverjanje lahko dostopate, ne da bi dejansko shranili datoteko paketa in pri tem manipulirali samo z glavo.
Še posebej paket je sestavljen iz glave datoteke (.pkgar_head) in podatkovna datoteka (.pkgar_data). Ustrezno podpisan celoten paket (.pkgar) lahko dobite preprosto tako, da datoteko z glavo pritrdite na podatkovno datoteko.
Datoteka glave vsebuje ločene kontrolne vsote za glavo in parametrizirane strukture podatkovne datoteke ter digitalni podpis za preverjanje paketa.
Podatkovna datoteka vključuje zaporedni seznam vseh priloženih datotek in imenikov v paketu. Pred vsakim podatkovnim elementom je struktura z metapodatki, ki vključuje kontrolno vsoto za same podatke, velikost, pravice dostopa, relativno pot datoteke, ki jo je treba namestiti, in odmik parametrov naslednjega podatkovnega elementa.
Če se med postopkom posodabljanja posamezne datoteke niso spremenile in se kontrolna vsota ujema, jih preskočimo in ne prenesemo.
Celovitost vira je mogoče preveriti tako, da dobimo samo datoteko glave in pravilnost izbrane podatkovne datoteke tako, da nalagamo samo strukture s parametri iz te datoteke in se prepričamo, da se ujemajo s kontrolno vsoto, preverjeno v datoteki glave.
Podatke lahko neposredno po prenosu preverite s pomočjo kontrolne vsote strukture s parametri, ki so pred podatki.
Na začetku paketi pomenijo možnost ponovljivega sestavljanja, kar pomeni, da ustvarjanje paketa za določen imenik vedno vodi do oblikovanja enakega paketa. Po namestitvi se v sistem shranijo samo metapodatki, kar je dovolj za obnovo paketa iz nameščenih podatkov (sestava paketa, kontrolne vsote, poti in pravice dostopa so na voljo v metapodatkih).
Glavni cilji pkgarja:
- Atomsko: posodobitve uporabite kadar koli je to mogoče samodejno.
- Prihranek prometa: podatki se po omrežju prenašajo le, kadar se spremeni zgoščena datoteka (med posodobitvijo se prenesejo samo posodobljene datoteke).
- Vključeni so visokozmogljivi hitri kriptografski algoritmi (blake3 podpira paralelizacijo obdelave podatkov pri izračunu razpršitve). Če podatki repozitorija še niso bili predpomnjeni, lahko za naložene podatke ob zagonu izračunamo zgoščevanje.
- Minimalizem: Za razliko od drugih formatov, pkgar vključuje samo metapodatke, potrebne za ekstrakcijo paketa.
- Neodvisnost namestitvenega imenika: Vsak uporabnik lahko paket namesti v kateri koli imenik (uporabnik mora imeti pravico pisati v izbrani imenik).
- Varnost: paketi se vedno kriptografsko preverijo in preverjanje se opravi, preden se izvedejo dejanske paketne operacije (najprej se naloži glava in če je digitalni podpis pravilen, se podatki prenesejo v začasni imenik, ki se po preverjanju premakne na ciljni imenik).