Coccinelle: Ko te Utauta Huringa Puna-ki-Putake o te Kernel Linux

Ko Coccinelle he taputapu huri puna-ki-puna kaha i hangaia i te tuatahi ki te whakaaunoa i nga huringa nui-nui puta noa i te turanga waehere kernel Linux. Ka whakamahia e ia he reo motuhake-a-rohe e kiia nei ko SmPL (Semantic Patch Language) hei whakaatu i nga tauira waehere me nga huringa, e taea ai e nga kaiwhakawhanake te kimi me te whakatika i nga pepeke, te whakahou i nga API kua whakakorehia, me te whakahoki ano i nga miriona raina o te waehere C me te tino tika.

He aha te Coccinelle me te aha e hiahia ai te Kernel Linux?

Ko te kernel Linux tetahi o nga kaupapa rorohiko mahi tahi nui rawa atu i roto i te hitori, kei roto neke atu i te 30 miriona rarangi waehere na nga mano o nga kaiwhakawhanake. I te huringa o te API o roto, ka kitea he tauira pepeke hoki, ko te whakahōu ā-ringa i nga konae e pa ana ehara i te hoha noa - karekau e taea ki te kore e whakaurua he hapa hou. Koia tonu te raruraru i hangaia e Coccinelle hei whakaoti.

I hangaia e nga kairangahau i Inria me te Whare Wananga o Copenhagen, ka taea e Coccinelle nga kai tiaki kakano ki te tuhi i nga paatata kupu — he ture poto e whakaahua ana i te tauira waehere ki te taurite me te huringa ki te tono. Kaore i rite ki nga kupu rapu-a-whakakapi, ki nga korero noa ranei, e mohio ana a Coccinelle ki te C syntax me nga tohu. Ka taea e ia te whakataurite i te waehere ahakoa te mokowāma, te whakaingoatanga taurangi, te rerekeetanga iti o te hanganga, kia pono ake ai mo te refactoring aunoa nui.

Mai i tana whakaurunga mai, ko Coccinelle te kawenga mo nga mano tini o nga mahi i roto i te kakano Linux, a, na tana whakaurunga ki te rerenga mahi whanaketanga o te kernel i noho hei waahanga nui o te puunaha rauwiringa kaiao.

Pehea te Mahi a SmPL (Semantic Patch Language)?

Kei roto i te ngakau o Coccinelle ko SmPL, he tohu papaki e taea ai e nga kaiwhakawhanake te whakaputa i nga huringa ma te ahua mohio. He rite te ahua o te papaki kupu ki te rereke kotahi, ma te whakamahi - hei tohu waehere me tango me + hei tohu he aha te whakakapi. Heoi, ka mahi a SmPL i te taumata rakau wetereo waitara, kaua i runga i te tuhinga mata.

Hei tauira, ki te whakakorehia e te kernel tetahi mahi penei i te kmalloc kua honoa ki memset ki te kzalloc, ka taea e te kaiwhakawhanake te tuhi i tetahi ture SmPL poto e taurite ana ki nga tauira katoa o te tauira tawhito puta noa i te turanga waehere katoa ka whakakapi aunoa. Ko te ture e whakaatu ana i nga rereketanga o te raupapa tohenga, nga momo atatohu, me te horopaki e karapoti ana - he mea kaore e taea e te kii auau te whakahaere pono.

"Kaore a Coccinelle e kimi i nga taurite kupu anake — e mohio ana ia ki te hanganga waehere. Ko tenei mohiotanga kupu e kaha ana ki te mahi i nga huringa puta noa i nga miriona raina o te waehere me te kore e whakauru i te regressions, he mahi e wehe ana i nga taputapu rapu-me-whakakapi katoa."

E tautoko ana hoki a SmPL i nga taurangi taurite, ka mahi hei kaari mohoao ka taurite ki nga korero, tohu, momo momo ranei. Na tenei ka tino taea te whakamahi ano i nga ture me te urutau ki nga tauira ka puta he ahua rereke puta noa i te turanga waehere.

He aha te nuinga o nga keehi mo te Coccinelle?

Ko te whaihua o Coccinelle kei tua atu i te hekenga API ngawari. Ka whakawhirinaki nga kaiwhakawhanake Kernel me nga kaitiaki ki a ia mo te maha o nga mahi ka pau te wa me te aro nui.

• Kuwhatanga API: Ina huri nga waitohu mahi, ka whakaurua ranei nga takai, ka taea e Coccinelle te whakahou aunoa i nga waahi waea katoa, me te whakarite i te riterite puta noa i nga punaha iti.
• Te rapunga pepeha: Ka taea e nga ture SmPL te tautuhi i nga tauira pepeke haere tonu penei i te ngaro o nga arowhai kore, te whakahaere hapa he, nga tikanga whakamahi-muri-kore, me te turuturu rauemi.
• Whakahoutanga Waehere: I te wa e tipu haere ana nga paerewa whakawaehere, ka awhina a Coccinelle ki te heke i nga tauira tuku iho ki nga taurite hou — hei tauira, te whakakapi i nga koropiko takahuri-a-ringa ki nga tonotono paerewa.
• Kuwhatanga taunaha: Ina huri te whare pukapuka, te atanga atekōkiri ranei, me urutau nga waehere whakawhirinaki katoa. Ka whakahaere a Coccinelle i enei "whakawhanaketanga taurangi" ma te tuku huringa ki ia kaihoko whakararo.
• Whakaūnga kāhua: I tua atu i nga huringa mahi, ka taea e Coccinelle te whakamana i nga tikanga whakawaehere rite, te whakaiti i te haruru i roto i nga arotake waehere me te whakapai ake i te panuitanga katoa.

Ka tukuna ano e te rakau puna kernel Linux he raarangi whakatapua scripts/coccinelle/ kei roto nga ture SmPL kua oti te hanga ka taea e nga kaiwhakawhanake te whakahaere ki te tirotiro i o raatau papanga i mua i te tukunga.

Ka taea te whakamahi a Coccinelle ki waho o te Kernel Linux?

Ahakoa i whanau mai a Coccinelle i roto i te whanaketanga kernel Linux, ehara i te mea iti ki a ia. Ka taea e tetahi C codebase — he punaha whakaurunga, he tono mokowā-kaiwhakamahi, he waahanga punaha whakahaere — ka whai hua mai i nga kaha whakarereke a Coccinelle. Ko nga kaupapa penei i te Waina, OpenSSL, me nga momo tohatoha BSD kua whakamahia mo o raatau ake rerenga mahi.

Ka noho ano te taputapu hei turanga mo te rangahau matauranga i roto i te kukuwhatanga rorohiko, te whakatikatika i te papatono aunoa, me te tātaritanga pateko. Ko tana kaha ki te whakaatu i nga tauira waehere uaua i roto i te whakatakotoranga panui, whakapuakanga he taputapu whakaako pai mo te maarama ki te tipu o nga punaha rorohiko nui i roto i te waa.

Mo nga kapa e whakahaere ana i nga turanga waehere C tuku iho, ka taea e Coccinelle te whakaheke i te utu me te tupono o nga mahi whakahou. Engari ki te toha i nga miihini ki te tirotiro a-ringa me te whakahou i nga mano o nga konae, ka taea e te papaki kupu hanga pai kotahi te mahi i roto i nga meneti me te tino tika.

Patai Auau

He whaihua a Coccinelle mo te kaupapa C anake?

I hangaia motuhake a Coccinelle mo C me te mahi pai me nga turanga waehere C. Kua toronga whakamatautau me nga kaupapa rangahau e torotoro ana i te tautoko mo etahi atu reo, engari ko te taputapu kua reri-whakaputa e aro ana ki a C. Mo nga roopu e mahi ana me nga punaha-a-C — mai i nga taputapu whakauru ki nga punaha whakahaere — kei te noho tonu te taputapu whakarereke aunoa tino whai hua e waatea ana.

He pehea te whakataurite a Coccinelle ki nga taputapu penei i te sed, awk, codemod ranei?

Ka mahi nga taputapu tukatuka kupu tuku iho ki nga aho me te kore e mohio ki te hanganga waehere. Kare e taea e ratou te wehewehe i waenga i te ingoa taurangi me te korero kei roto i te kupu kotahi, kare hoki e taea e ratou te whakaatu mo nga rereketanga wetereo ki te whakaatu i te taua arorau. Ka poroporoaki a Coccinelle i te waehere C tūturu me te mahi i runga i tana rakau wetereo waitara, ko te tikanga he iti ake te tuku i nga hua pai teka me te kore e whakaputa i te whakaputanga pakaru mai i te ture tuhi tika.

Ka taea e te hunga timata te ako ki te whakamahi tika i a Coccinelle?

Ae, ahakoa he anau ako. Ko te reo SmPL i ata hangaia kia rite ki nga rereketanga whakakotahi, kua mohio te nuinga o nga kaihanga ki te panui. Ko nga tuhinga a Coccinelle e whakarato ana i nga tauira maha mai i nga huringa ngawari ki nga tuhinga maha-ture matatini. He maha nga tauhou ka timata ma te ako i nga ture o naianei kei roto i te raarangi scripts/coccinelle/ o te Linux kernel me te urutau mo o raatau hiahia.

Whakamaomao i o Mahinga Pakihi Ake

Pērā i a Coccinelle e whakaaunoa ana i nga huringa uaua puta noa i nga turanga waehere nui, ko te turanga pakihi tika e whakaaunoa ana i nga rerengamahi uaua puta noa i to whakahaere katoa. Ka kawea mai e Mewayz nga waahanga whakauru 207 - mai i te whakahaere kaupapa me te CRM ki te nama me te HR - ki te punaha whakahaere kotahi mo to pakihi. Engari ki te tuitui i nga tini taputapu momotuhia, ka whiwhi koe i tetahi papaaho kotahi e whakawhirinakihia ana e nga kaiwhakamahi 138,000 neke atu. Ka timata nga mahere i te $19/marama. Timatahia to whakamatautau kore utu i app.mewayz.com ka wheako i te tikanga o te whakahaere i to pakihi i runga i te kaiurungi aunoa.