Aikin Redox OS ya gabatar da mai sarrafa fakitin pkgar, wanda aka rubuta da Rust

Masu haɓaka tsarin aiki redox, rubuta ta amfani da harshen Rust da ra'ayin microkernel, gabatar sabon manajan kunshin pkgar. Aikin yana haɓaka sabon tsarin fakiti, ɗakin karatu na sarrafa fakiti, da kayan aikin layin umarni don ƙirƙira da dawo da tarin fayiloli da aka tabbatar da ƙira. An rubuta lambar pkgar a cikin Rust da rarraba ta karkashin lasisin MIT.

Tsarin pkgar baya yin kamar na duniya ne kuma an inganta shi ta la'akari da ƙayyadaddun tsarin aiki na Redox OS. Manajan kunshin yana goyan bayan tabbatarwar tushe ta amfani da sa hannu na dijital da sarrafa mutunci. Ana ƙididdige ƙididdigar ƙididdiga ta amfani da aikin hash blake3. Ana iya samun dama ga ayyukan tabbatarwa na pkgar ba tare da ainihin adana kayan tarihin ba, ta hanyar sarrafa ɓangaren taken kawai. Musamman, kunshin ya ƙunshi fayil na kai (.pkgar_head) da fayil ɗin bayanai (.pkgar_data). Ana iya samun cikakken sa hannun cikakken kunshin taƙaitaccen bayani (.pkgar) ta hanyar haɗa fayil ɗin taken a cikin fayil ɗin bayanai (“cat example.pkgar_head example.pkgar_data> example.pkgar”).

Fayil ɗin taken yana ƙunshe da ƙididdiga daban-daban don kan kai da tsari tare da sigogi daga fayil ɗin bayanai, da kuma sa hannun dijital don tabbatar da fakitin. Fayil ɗin bayanan ya ƙunshi jeri jeri na duk fayiloli da kundayen adireshi da aka kawo a cikin fakitin. Kowane nau'in bayanai yana gabani da tsari tare da metadata wanda ya haɗa da ƙididdiga don bayanan kanta, girman, haƙƙin samun dama, hanyar dangi na fayil ɗin da za a girka, da kashe ma'auni na ɓangaren bayanan na gaba. Idan yayin aiwatar da sabuntawa ɗaya fayiloli ba su canza ba kuma adadin checksum ya yi daidai, to an tsallake su kuma ba a ɗora su ba.

Kuna iya bincika amincin tushen ta hanyar karɓar fayil ɗin taken kawai, da kuma daidaitaccen fayil ɗin bayanan da aka zaɓa ta hanyar loda tsarin kawai tare da sigogin wannan fayil ɗin kuma tabbatar da cewa sun dace da checksum bokan a cikin fayil ɗin taken. Ana iya duba bayanan da kanta bayan an ɗora su, ta amfani da checksum daga tsarin tare da sigogi da ke gaban bayanan.

Fakitin ana iya maimaita su a zahiri, ma'ana ƙirƙirar fakiti don takamaiman kundin adireshi koyaushe zai haifar da fakiti iri ɗaya. Bayan shigarwa, metadata kawai aka adana a cikin tsarin, wanda ya isa ya sake gina fakitin daga bayanan da aka shigar (abin da ke tattare da kunshin, ƙididdigar, hanyoyi da haƙƙin samun dama suna cikin metadata).

Babban burin pkgar:

• Atomity — ana amfani da sabuntawa ta atomatik a duk lokacin da zai yiwu.
• Adana zirga-zirga - Ana canja wurin bayanai akan hanyar sadarwar kawai lokacin da hash ya canza (a lokacin ɗaukakawa, fayilolin da aka canza kawai ana sauke).
• Babban aiki, ana amfani da algorithms cryptographic masu sauri (blake3 yana goyan bayan sarrafa bayanan layi ɗaya lokacin ƙididdige hashes). Idan bayanan daga ma'adanar ba a adana su a baya ba, za a iya ƙididdige zanta don bayanan da aka sauke a lokacin zazzagewa.
• Minimalistic - Ba kamar sauran tsari ba, pkgar ya haɗa da metadata kawai da ake buƙata don cire fakitin.
• Independence daga tsarin shigarwa - za'a iya shigar da kunshin a cikin kowane kundin adireshi, ta kowane mai amfani (dole ne mai amfani ya sami izinin rubutawa zuwa kundin da aka zaɓa).
• Tsaro - A koyaushe ana tabbatar da fakiti ta hanyar ɓoyewa, kuma ana aiwatar da tabbaci kafin a aiwatar da ainihin ayyukan akan kunshin (ana fara loda taken da farko kuma idan sa hannu na dijital daidai ne, ana loda bayanai a cikin kundin adireshi na wucin gadi, wanda aka matsa zuwa wurin da aka yi niyya bayan haka. tabbata).

source: budenet.ru