Injineerada Google taas oo wax ku biirisa Linux kernel waxay ku dhawaaqeen inay heleen boqolaal "Xaaladda Jinsiyada", kernel-ka iyadoo la isticmaalayo KCSAN. Shirkaddu waxay muddo dheer ka shaqeyneysay Cinwaanka'Sanitizer 'si ay u hesho khaladaad la xiriira musuqmaasuqa xasuusta ama UndefinedBehaviorSanitizer si aan u qeexin habdhaqanka koodhka.
Markan, Google waxay bixisaa aalad cusub oo "Jinsiyadaha Xaaladaha" loogu talagalay kernel-ka Linux oo loo yaqaan KCSAN (Nadaafadda Kernel ee Lacag-bixinta). Jilicsanaantaas halista ah maahan mid cusub. Dhab ahaantii Xaaladaha Jinsiyadaha waxay dhacaan marka laba ama in kabadan oo isku mid ah isla hal marin ay isla goobtaas isku meel kuwada galaan, halkaas oo ugu yaraan mid ka mid ah marin-u-helidda loogu talagalay ay tahay qoris, iyo marka miiqyadu aysan isticmaalin qufullo gaar ah oo lagu xakameeyo marin u helkooda xusuusta.
Marka shuruudahan la buuxiyo, amarka helitaanka ma ahan mid go'aamiya oo xisaabinta ayaa laga yaabaa inay bixiso natiijooyin kala duwan oo ka socda hal socod illaa mid kale iyadoo kuxiran amarkan.
Xaaladaha Jinsiyadaha waxaa sii kordheysa loo arkaa inay yihiin khaladaad marin-u-hel ah isla markaana ay adag tahay in la nuqulo oo lagu ogaado barnaamijyada is barbar socda. Kernel-ka Linux waa nidaam ballaadhan oo softiweer ah, kaas oo isbarbar yaac badan oo isdaba-joog ah iyo kala-goynta dunta aan go'aaminta lahayn ay ku xiran tahay xaaladaha tartanka.
Xaaladaha tartanka qaarkood ayaa noqon kara kuwo aan fiicnayn, laakiin in badan oo ka mid ah ayaa ilaa hadda la gartay illaa iyo hadda waxaa loo tixgeliyaa khaladaad.
Kernel-ka Linux wuxuu bixiyaa habab dhowr ah si looga fogaado loona maareeyo noocyada xaaladaha noocaas ah maadaama ay jiraan aalado ay ka mid yihiin “Thread Analyzer” ama “KTSAN” (Kernel Thread Sanitizer) si loo ogaado khaladaadka fulinta ee muhiimka ah ee Linux Kernel.
Si kastaba ha noqotee, Google, oo sidoo kale gacan ka geysata barnaamijka 'Linux kernel', ayaa dhowaan soo saartay KCSAN, qalab cusub oo lagu baaro Xaaladaha Jinsiyada ee Kernel, oo la mid ah KTSAN.
Sida laga soo xigtay Google, KCSAN waxay diiradda saareysaa helitaanka xaaladaha tartanka ee kernel code. Qalabkan halista ah ee muhiimka ah ayaa ah mid lagu beddeli karo Nadaafadda Mawjadda 'Kernel Thread Sanitizer' (KTSAN).
Sida sharaxaadda Google, KCSAN wuxuu ku saleysan yahay sambal-baarista dhibco, si ka duwan baaraha KTSAN, taas oo ah qalabka lagu ogaado istaroogga ka hor dhacdada. Ahmiyadaha ugu muhiimsan ee naqshadeynta KCSAN ayaa ah la'aanta wax been abuur ah, is bedelid, iyo fudeyd.
KCSAN waxay isticmaashaa aalado isku dhafan si ay u gasho xusuusta. KCSAN waxay la jaan qaadi kartaa isku xirayaasha GCC iyo Clang. GCC, waxay u baahan tahay nooca 7.3.0 ama ka dib iyo Clang, waxay u baahan tahay nooca 7.0.0 ama ka dib.
Bogga mashruuca ee GitHubMarco Elver oo ka tirsan Google ayaa qoray in adeegsiga KCSAN ee tijaabooyinka bishii hore, ay ku heleen laba maalmood gudahood in ka badan 300 oo ah xaaladaha aasaasiga ah ee tartanka. KCSAN waxay bixisaa dhowr ikhtiyaar oo qaabeyn ah si loo habeeyo dabeecaddeeda.
“Waxaan isticmaaleynay KCSAN ilaa Syzkaller dhowr todobaad, waxaana helnay cilado badan. Markii hore bishii Sebtember 2019, waxaan ogaanay in ka badan 300 xaaladood oo tartan gaar ah laba maalmood gudahood, ”ayuu qoray.
Google wuxuu yiri habka guud wuxuu ku saleysan yahay DataCollider, baare kale oo firfircoon oo xaaladaha tartame ka ah qaybaha miskaha. Laakiin si ka duwan sida loo yaqaan 'DataCollider', KCSAN ma isticmaasho qodobbada kormeerka qalabka, halkii ay ku tiirsanayd qalabka isku-duwidda.
Dhibcaha kormeerka waxaa lagu hirgeliyaa iyadoo la adeegsanayo habdhaqan hufan oo kaydiya nooca, cabbirka, iyo cinwaanka marin looga helo faylka dheer. Faa'iidooyinka isticmaalka dhibcaha kormeerka dabacsan ayaa ah mid la qaadan karo iyo dabacsanaan weyn oo lagu xaddidayo marin u helka barta kormeerku dhaqaajin karto.
Waa kuwan qaar ka mid ah qodobbada muhiimka ah ee KCSAN u sameysay Google:
- Waxqabadka sare: Waqtiga hawlgalka ee KCSAN waa mid aad u yar umana baahna quful goboleed la wadaago marin kasta oo loo helo. Natiijadu waa waxqabad aad uga wanaagsan kan KTSAN.
- Ma jiro xusuus dheeraad ah: sida laga soo xigtay Google, khasnad looma baahna. Hirgelinta hadda waxay isticmaashaa tiro yar oo dherer ah si loogu qoro macluumaadka barta kormeerka, taas oo ah mid la iska indhatiri karo.
- Amarka xusuusta: KCSAN ma yaqaaniin xeerarka xakamaynta nidaamka kernel Memory (LKMM). Tani waxay sababi kartaa jinsiyado muhiim ah oo lumay (diidmo been ah) marka la barbardhigo ogaanshaha dhacdada kahor dhacdada sida KTSAN
- Saxnimada: Sida laga soo xigtay Google, KCSAN waa mid aan qiimo lahayn maxaa yeelay waxay isticmaashaa istaraatiijiyad sampling ah;
- Waxay u baahan tahay sharaxaad: sharraxaadda ugu yar ayaa looga baahan yahay meel ka baxsan xilliga shaqada ee KCSAN. Marka laga hadlayo dhegeyste dhacdo shuruud ah, maqnaansho kasta waxay keenaysaa wanaag been ah, taas oo si gaar ah muhiim ugu ah macnaha jirku ku jiro oo ay ku jiraan hababka waqtiga u gaarka ah.
- Ogaanshaha firfircoonida wax ka qora qalabka: Adiga oo hubinaya qiimayaasha xogta inta lagu gudajiro sameynta saacadda, qoraalada firfircoon ee aaladaha sidoo kale waa la ogaan karaa.