{"id":74341,"date":"2020-03-16T20:42:18","date_gmt":"2020-03-16T17:42:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/proekt-redox-os-predstavil-paketnyj-menedzher-pkgar-napisannyj-na-yazyke-rust"},"modified":"2020-03-16T20:42:18","modified_gmt":"2020-03-16T17:42:18","slug":"proekt-redox-os-predstavil-paketnyj-menedzher-pkgar-napisannyj-na-yazyke-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/proekt-redox-os-predstavil-paketnyj-menedzher-pkgar-napisannyj-na-yazyke-rust","title":{"rendered":"Il progetto Redox OS ha presentato il gestore di pacchetti pkgar, scritto in linguaggio Rust.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Sviluppatori del sistema operativo Redox<\/a><\/noindex>, scritta<\/a><\/noindex> utilizzando il linguaggio Rust e il concetto di microkernel, hanno presentato<\/a><\/noindex> nuovo gestore di pacchetti pkgar<\/a><\/noindex>. Nel progetto viene sviluppato un nuovo formato di pacchetti, una libreria con funzioni di gestione dei pacchetti e un tool da riga di comando per creare ed estrarre una collezione di file crittograficamente verificati. Il codice di pkgar \u00e8 scritto nel linguaggio Rust e \u00e8 distribuito<\/a><\/noindex> sotto licenza MIT.<\/p>\n

Il formato pkgar non aspira a essere universale ed \u00e8 ottimizzato tenendo conto delle specificit\u00e0 del sistema operativo Redox OS. Il gestore di pacchetti supporta la verifica della fonte tramite firma digitale e controllo dell'integrit\u00e0. Le somme di controllo sono calcolate utilizzando la funzione hash blake3<\/a><\/noindex>. La funzionalit\u00e0 pkgar associata alla verifica pu\u00f2 essere accessibile senza il salvataggio effettivo dell'archivio del pacchetto, manipolando solo la parte intestazione. In particolare, il pacchetto \u00e8 composto da un file di intestazione (.pkgar_head) e un file di dati (.pkgar_data). Un pacchetto riassuntivo completo firmato correttamente (.pkgar) pu\u00f2 essere ottenuto semplicemente unendo il file di intestazione al file di dati (\u00abcat example.pkgar_head example.pkgar_data > example.pkgar\u00bb). <\/p>\n

Il file di intestazione contiene somme di controllo separate per l'intestazione e le strutture con parametri estratti dal file dati, oltre a una firma digitale per la verifica del pacchetto. Il file con i dati include un elenco sequenziale di tutti i file e le directory forniti nel pacchetto. Prima di ogni elemento dati \u00e8 fornita una struttura con metadati che include una somma di controllo per i dati stessi, la dimensione, i diritti di accesso, il percorso relativo del file da installare e l'offset dei parametri del prossimo elemento dati. Se durante il processo di aggiornamento alcuni file non sono stati modificati e le somme di controllo coincidono, vengono saltati e non vengono caricati.<\/p>\n

La coerenza della fonte pu\u00f2 essere verificata ottenendo solo il file di intestazione, mentre la correttezza del file di dati selezionato pu\u00f2 essere verificata scaricando solo la struttura con i parametri di questo file e assicurandosi che corrispondano al valore di checksum certificato nel file di intestazione. I dati stessi possono essere verificati dopo il loro caricamento, utilizzando il valore di checksum dalla struttura con parametri che precede i dati.<\/p>\n

I pacchetti implicano originariamente la possibilit\u00e0 di un assemblaggio ripetibile, il che significa che la creazione di un pacchetto per un determinato catalogo porta sempre alla generazione di un pacchetto identico. Dopo l'installazione, nel sistema rimangono solo i metadati, sufficienti per ricostruire il pacchetto dai dati installati (la composizione del pacchetto, le somme di controllo, i percorsi e i diritti di accesso sono contenuti nei metadati).<\/p>\n

Obiettivi principali di pkgar:<\/p>\n