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 pkgarAikin yana haɓaka sabon tsarin fakiti, ɗakin karatu tare da ayyukan sarrafa fakiti, da kayan aikin layin umarni don ƙirƙira da fitar da tarin fayiloli da aka tabbatar ta hanyar ɓoye. An rubuta lambar pkgar a cikin Rust da rarraba ta karkashin lasisin MIT.

Tsarin pkgar ba a yi niyya don zama na duniya ba kuma an inganta shi don ƙayyadaddun tsarin aiki na Redox OS. Manajan kunshin yana goyan bayan tabbatar da tushe ta amfani da sa hannu na dijital da sarrafa mutunci. Ana ƙididdige ƙididdigar ƙididdiga ta amfani da aikin hash. blake3Ana iya samun dama ga ayyukan tabbatarwa na pkgar ba tare da ainihin adana bayanan fakitin 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 hannu, cikakken kunshin (.pkgar) ta hanyar kawai haɗa fayil ɗin taken zuwa fayil ɗin bayanai ("cat example.pkgar_head example.pkgar_data> example.pkgar").

Fayil ɗin taken yana ƙunshe da ƙididdiga daban-daban na kan kai da sigar sigar bayanai daga fayil ɗin bayanai, da kuma sa hannun dijital don tabbatar da fakitin. Fayil ɗin bayanan ya ƙunshi jerin jeri na duk fayiloli da kundayen adireshi da aka haɗa a cikin fakitin. Kowane nau'in bayanan yana gaba da tsarin metadata, wanda ya haɗa da adadin adadin bayanan da kansa, girmansa, haƙƙoƙin samun dama, hanyar dangi da ake shigar da fayil ɗin, da kashe ma'auni na ɓangaren bayanan na gaba. Idan fayilolin guda ɗaya ba su canza ba yayin aiwatar da sabuntawa kuma daidaitattun lissafin su, an tsallake su kuma ba zazzage su ba.

Ana iya tabbatar da amincin tushen ta hanyar samun fayil ɗin taken kawai, kuma ana iya tabbatar da daidaitaccen fayil ɗin bayanan da aka zaɓa ta hanyar loda sigar siginar fayil ɗin kawai tare da tabbatar da cewa sun dace da checksum da aka ƙayyade a cikin fayil ɗin taken. Ana iya tabbatar da bayanan da kanta bayan lodawa ta amfani da checksum daga tsarin siga da ke gaban bayanan.

An tsara fakitin don zama mai maimaitawa, ma'ana ƙirƙirar fakiti don jagorar da aka bayar koyaushe yana 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 (abubuwan da ke cikin kunshin, abubuwan dubawa, hanyoyi, da haƙƙin samun dama suna ƙunshe a 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 sabuntawa, fayilolin da aka canza kawai ana sauke su).
• Babban aiki, ta amfani da algorithms cryptographic mai sauri (blake3 yana goyan bayan sarrafa bayanai daidai gwargwado yayin lissafin hash). Idan ba a adana bayanan ma'ajiyar a baya ba, za a iya ƙididdige hash ɗin bayanan da aka sauke yayin zazzagewa.
• Minimalism - Ba kamar sauran tsari ba, pkgar ya ƙunshi 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 damar yin amfani da rubutaccen adireshin da aka zaɓa).
• Tsaro - fakiti koyaushe ana tabbatar da su ta hanyar cryptographically, kuma ana aiwatar da tabbaci kafin a aiwatar da ainihin ayyuka akan fakitin (da farko an zazzage taken, kuma idan sa hannun dijital daidai ne, ana saukar da bayanan zuwa kundin adireshi na wucin gadi, wanda aka matsa zuwa wurin da aka yi niyya bayan tabbatarwa).

source: budenet.ru