Zhvilluesit e sistemit operativ Redox zbuluan së fundmi që ata kanë prezantuar menaxheri i ri i paketës pkgar, të cilat do të përdoren brenda sistemit.
Për ata që nuk dinë për Redox që është një sistem operativ që Fokusi kryesor i tij është që zhvillimi i tij është duke përdorur gjuhën Rust dhe konceptin e mikrokernelit ku sigurohet vetëm ndërveprimi ndërmjet proceseve dhe menaxhimit të burimeve në nivelin e kernelit dhe i gjithë funksionaliteti tjetër bartet në biblioteka që mund të përdoren si nga kerneli ashtu edhe nga agjentët e përdoruesit.
Si pjesë e projektit, është duke u zhvilluar një format i ri i paketës, një bibliotekë me funksione të menaxhimit të paketave dhe një mjet të komandës për të krijuar dhe nxjerrë një koleksion skedarësh të verifikuar në mënyrë kriptografike.
Formati pkgar nuk synon të jetë universal dhe është optimizuar duke marrë parasysh specifikat e sistemit operativ Redox OS.
Menaxheri i paketës mbështet verifikimin e burimit nga nënshkrimi dixhital dhe kontrolli i integritetit. Kontrollet e llogaritjes llogariten duke përdorur funksionin hash të blake3. Funksionaliteti i verifikimit të pkgar mund të arrihet pa ruajtur në të vërtetë skedarin e paketës, duke manipuluar vetëm pjesën e kokës.
Në veçanti paketa përbëhet nga një skedar header (.pkgar_head) dhe një skedar të dhënash (.pkgar_data). Një paketë e plotë e tretjes e nënshkruar siç duhet (.pkgar) mund të merret thjesht duke bashkangjitur skedarin e kokës në skedarin e të dhënave.
Skedari i kokës përmban kontrolle të ndara për kokën dhe strukturat e parametrizuara të skedarit të të dhënave, si dhe një nënshkrim dixhital për të verifikuar paketën.
Skedari i të dhënave përfshin një listë të njëpasnjëshme të të gjithë skedarëve dhe drejtorive të furnizuar në pako. Para secilit element të të dhënave ekziston një strukturë me meta të dhëna, e cila përfshin një përmbledhje kontrolli për vetë të dhënat, madhësinë, të drejtat e hyrjes, rrugën relative të skedarit për tu instaluar dhe kompensimin e parametrave të elementit tjetër të të dhënave.
Nëse gjatë procesit të azhurnimit skedarët individualë nuk kanë ndryshuar dhe shuma e kontrollit përputhet, atëherë ato kapërcehen dhe nuk shkarkohen.
Integriteti i burimit mund të verifikohet duke marrë vetëm skedarin e kokës dhe korrektësinë e skedarit të zgjedhur të të dhënave duke ngarkuar vetëm strukturat me parametrat nga kjo skedar dhe duke u siguruar që ato përputhen me shumën e kontrollit të kontrolluar në skedarin e kokës.
Në mënyrë të drejtpërdrejtë, të dhënat në vetvete mund të verifikohen pasi t'i shkarkoni ato, duke përdorur shumën e kontrollit të strukturës me parametrat që i paraprijnë të dhënave.
Fillimisht, paketat nënkuptojnë mundësinë e montimit të përsëritshëm, që nënkupton që krijimi i një pakete për një direktori specifike gjithmonë çon në formimin e një pakete identike. Pas instalimit, vetëm meta të dhënat ruhen në sistem, e cila është e mjaftueshme për të rindërtuar paketën nga të dhënat e instaluara (përbërja e paketës, tabelat e kontrollit, shtigjet dhe të drejtat e hyrjes janë në dispozicion në meta të dhënat).
Objektivat kryesore të pkgar:
- Atomike: updates aplikoni kur është e mundur automatikisht.
- Kursimi i trafikut: të dhënat transmetohen përmes rrjetit vetëm kur ndryshimet e hashit (shkarkohen vetëm skedarët e azhurnuar gjatë azhurnimit).
- Përfshihen algoritme të shpejta kriptografike me performancë të lartë (blake3 mbështet paralelizimin e përpunimit të të dhënave kur llogaritni një hash). Nëse të dhënat e magazinës nuk janë arkëtuar më parë, një hash mund të llogaritet për të dhënat e shkarkuara në kohën e nisjes.
- Minimalizmi: Ndryshe nga formatet e tjera, pkgar përfshin vetëm meta të dhënat e nevojshme për nxjerrjen e paketës.
- Pavarësia e direktorisë së instalimit: Çdo përdorues mund të instalojë paketën në çdo direktori (përdoruesi duhet të ketë të drejtën të shkruajë në drejtorinë e zgjedhur).
- sigurisë: paketat verifikohen gjithmonë në mënyrë kriptografike dhe verifikimi bëhet para se të kryhen operacionet aktuale të paketave (titulli ngarkohet së pari, dhe nëse nënshkrimi dixhital është i saktë, të dhënat transferohen në direktorinë e përkohshme, e cila zhvendoset në destinacionin e direktorisë pas verifikimit).