Nyaya ichangobva kubuda iyoyo chirevo chakaitwa kuti chiiswe mukati kernel ye Linux 5.20 (kana kuti pamwe bazi richaverengerwa 6.0, zvese zvinoenderana nesarudzo yeLinus Torvalds nekuda kwekutaura kwake kwaakaita pakuburitswa kweKernel 5.19).
Chikumbiro chakaitwa ndeche seti yezvigamba nekushandiswa kweiyo RV mechanism (Runtime Verification), inova nzira yekuona mashandiro echokwadi mumasisitimu akavimbika anovimbisa kusavapo kwekutadza.
kusimbiswa yakaitwa panguva yekumhanya nekubatanidza zvibatiso kune tracepoints iyo inotarisa kufambira mberi chaiko kwekuurayiwa kunopesana neyakafanotsanangurwa deterministic referenzi modhi ye automaton iyo inosarudza maitiro anotarisirwa ehurongwa.
Linux Developer, Daniel Bristot de Oliveira anoti:
Kwemakore mashoma apfuura, ndanga ndichiongorora mukana wekuona maitiro eLinux kernel uchishandisa Runtime Verification.
Runtime Verification (RV) inzira yakareruka (asi yakaomarara) inoenderana neyakaomarara nzira dzekuongorora (senge modhi yekutarisa uye theorem kuratidza) ine mamwe mawoko-pane maitiro kune akaomarara masisitimu. Panzvimbo yekuvimba neyakaomesesa modhi yehurongwa (semuenzaniso, kudzokororwa kwedanho rekuraira), VR inoshanda nekuongorora iyo chaiyo yekuteedzera trace yehurongwa, ichiienzanisa neyakaomeswa maitiro ehurongwa.
Iko kushandiswa kwe deterministic automata yeVR inzira yakasimbiswa. Mune iyo chaiyo kesi yeLinux kernel, unogona kudzidza maitiro ekuenzanisa maitiro akaomarara eLinux kernel nechinyorwa ichi:
De Oliveira, Daniel Bristot; Cucinotta, Tommaso; De Oliveira, Romulo Silva. *Kunyatsoongorora zviri pamutemo kuLinux kernel.* Mu: Musangano Wenyika Dzepasi Pose weSoftware Engineering uye Formal Methods. Springer, Cham, 2019. p. 315-332.
Uye nzira iyi inoshanda sei pano:
De Oliveira, Daniel B.; De Oliveira, Romulo S.; Cucinotta, Tommaso. *A thread synchronization modhi yePREEMPT_RT Linux kernel.* Journal of Systems Architecture, 2020, 107: 101729.
TLDR: Hunhu hwakaoma hunogona kuenzanisirwa nenzira yemodular, ine musoro unogamuchirika (kunyangwe kune masisitimu ekugadzira).
Izvo zvinotaurwa kuti track point information inofambisa modhi kubva kune imwe nyika kuenda kune imwe, uye kana hutsva hutsva husingaenderani nemaitiro emuenzaniso, nyevero inogadzirwa kana kernel inopinda mu "kutya" mamiriro (achifunga kuti maitiro akavimbika achaona uye anopindura kumamiriro ezvinhu akadaro).
Iyo modhi ye automaton inotsanangura shanduko kubva kune imwe nyika kuenda kune imwe inotumirwa kune "dot" fomati (graphviz), mushure mezvo inoshandurwa uchishandisa dot2c utility kuita C inomiririra, iyo inotakurwa muchimiro che kernel module inoteedzera kutsauka. kuurayiwa kubva kune yakafanotsanangurwa modhi.
Kutarisa mamodheru panguva yekumhanya kunoiswa senzira yakareruka uye iri nyore kuita kuti vaone chokwadi chekuuraya mumisheni-yakakosha masisitimu, iyo inopindirana nenzira dzechinyakare dzekuona kuvimbika, senge modhi yekuongorora uye humbowo hwemasvomhu hwekutevedzwa kwekodhi nezvakatsanangurwa zvinopihwa mumutauro wepamutemo.
Kutevera subsystem muchengeti Steven Rostedt akazvipfupikisa seizvi:
»Iyi ndiyo shanduko huru pane ichi chikumbiro chekudhonza. Inosuma runtime verification inodiwa kuti umhanye Linux pane chengetedzo-yakakosha masisitimu. Iyo inobvumira deterministic automata modhi kuti iiswe mu kernel kuti ibatanidzwe kune tracepoints, uko ruzivo nezve aya tracepoints huchafambisa modhi kubva kune imwe nyika kuenda kune imwe.
Pakati pezvataurwa zvakanakira RV kugona kupa kuomesesa kwechokwadi pasina kuparadzaniswa kwese kwese hurongwa mumutauro wekuenzanisira, pamwe nemhinduro inoshanduka kune zviitiko zvisingatarisirwi, semuenzaniso, kudzivirira kupararira kwekutadza kwehurongwa hwakakosha.
Chekupedzisira, kana iwe uchida kukwanisa kuziva zvakawanda nezvazvo, unogona kubvunza iwo ruzivo mu inotevera chinongedzo.
mabviro: https://www.phoronix.com/