Coccinelle: Ngwá ọrụ mgbanwe isi mmalite gaa na isi iyi Linux Kernel

Coccinelle bụ ngwá ọrụ mgbanwe dị ike na isi mmalite emebere iji megharịa mgbanwe buru ibu n'ofe Linux kernel codebase. Ọ na-eji asụsụ akọwapụtara nke ngalaba a na-akpọ SmPL (Asụsụ Semantic Patch) iji kwupụta ụkpụrụ koodu na mgbanwe, na-enyere ndị mmepe aka ịchọta na idozi ahụhụ, melite API ndị mebiri emebi, yana megharịa nde ahịrị C koodu na nkenke ịwa ahụ.

Gịnị bụ Coccinelle na gịnị kpatara Linux Kernel ji chọọ ya?

Linux kernel bụ otu n'ime ọrụ ngwanrọ na-arụkọ ọrụ ọnụ na akụkọ ntolite, nwere ihe karịrị ahịrị koodu nde 30 nke ọtụtụ puku ndị mmepe nyere aka. Mgbe API dị n'ime gbanwere ma ọ bụ achọpụtara ụkpụrụ ahụhụ na-emegharị ugboro ugboro, iji aka na-emelite faịlụ ọ bụla emetụtara abụghị naanị ihe na-agwụ ike - ọ gaghị ekwe omume na-enweghị iwebata mperi ọhụrụ. Nke a bụ kpọmkwem nsogbu e wuru Coccinelle iji dozie.

Ndị na-eme nchọpụta na Inria na Mahadum Copenhagen mepụtara, Coccinelle na-enye ohere ka ndị na-elekọta kernel dee patches semantic - iwu dị nkenke nke na-akọwa ma ụkpụrụ koodu dabara na mgbanwe iji tinye. N'adịghị ka nchọta na-edochi ederede doro anya ma ọ bụ okwu oge niile, Coccinelle ghọtara C syntax na semantics. Ọ nwere ike dakọtara koodu n'agbanyeghị agbanyeghị oghere ọcha, aha agbanwe agbanwe, ma ọ bụ obere ọdịiche nhazi, na-eme ka ọ bụrụ ntụkwasị obi karịa maka nrụgharị akpaaka buru ibu.

Kemgbe iwebata ya, Coccinelle na-ahụ maka ọtụtụ puku ihe na-eme na Linux kernel, yana ntinye ya na usoro mmepe kernel emeela ka ọ bụrụ akụkụ dị mkpa nke gburugburu ebe obibi.

Olee ka SmPL (Semantic Patch Language) si arụ ọrụ?

N'obi Coccinelle bụ SmPL, akara ngosi dị ka patch nke na-eme ka ndị mmepe kwupụta mgbanwe n'ụzọ ọ masịrị. Patch semantic dị ka ọdịiche dị n'otu, na-eji - ka akara koodu kwesịrị iwepụ yana + iji gosi ihe kwesịrị dochie ya. Otú ọ dị, SmPL na-arụ ọrụ n'ogo osisi syntax abstract kama na ederede ederede.

Dịka ọmụmaatụ, ọ bụrụ na kernel kwụsịrị ọrụ dị ka kmalloc jikọtara ya na memset maka kzalloc, onye nrụpụta nwere ike dee iwu SmPL dị mkpirikpi nke dabara na usoro ochie n'ofe codebase niile wee dochie ya na-akpaghị aka. Iwu ahụ na-akọwa ọdịiche dị n'usoro arụmụka, ụdị nrịbama, na gburugburu gbara ya gburugburu - ihe ọ bụla na-enweghị okwu ọ bụla nwere ike ijikwa nke ọma.

"Coccinelle ọ bụghị naanị na-achọta egwuregwu ederede - ọ na-aghọta nhazi koodu. Nke a semantic mmata bụ ihe na-eme ka ọ nwee ike ịme mgbanwe n'ofe nde ahịrị koodu na-enweghị iwebata regressions, nke na-ekewapụ ya na ngwá ọrụ ọ bụla chọta-na-anọchi ya."

SmPL na-akwadokwa metavariables, nke na-arụ ọrụ dị ka kaadị ọhịa nwere ike dakọtara okwu ọ bụla, njirimara, ma ọ bụ ụdị. Nke a na-eme ka iwu bụrụ nke a pụrụ ijikwa ya nke ukwuu yana kwekọrịtara na ụkpụrụ ndị na-apụta n'ụdị dịtụ iche n'oge codebase.

Gịnị bụ ikpe a na-ejikarị eme ihe maka Coccinelle?

Ọdịiche nke Coccinelle gbatịrị karịa njem API dị mfe. Ndị na-emepụta kernel na ndị na-elekọta ya na-adabere na ya maka ọtụtụ ọrụ ndị ga-eri oge na nlebara anya buru ibu.

• API evolushọn: Mgbe mbinye aka ọrụ gbanwere ma ọ bụ webatara ihe mkpuchi, Coccinelle nwere ike imelite saịtị oku ọ bụla na-akpaghị aka, na-ahụ na ọ na-agbanwe agbanwe n'ofe subsystems.
• Nchọpụta ahụhụ: Iwu SmPL nwere ike ịchọpụta ụkpụrụ ahụhụ na-eme ugboro ugboro dị ka nlele efu efu, njikwa njehie na-ezighi ezi, ọnọdụ enweghị mgbe emechara, na mpụta akụrụngwa.
• Mwelite koodu: Ka ụkpụrụ koodu na-esi etolite, Coccinelle na-enyere aka ịkwaga ụkpụrụ ihe nketa gaa n'ụdị nke ọgbara ọhụrụ - dịka ọmụmaatụ, jiri macros ahaziri ahazi dochie loops ejiri aka mee.
• Mgbanwe mgbanwe: Mgbe ọba akwụkwọ ma ọ bụ interface ọkwọ ụgbọ ala gbanwere, koodu niile dabere ga-agbanwerịrị. Coccinelle na-ejikwa "mgbanwe mgbanwe" ndị a site n'ịgbasa mgbanwe nye ndị na-azụ ahịa ọ bụla.
• mmanye ụdịdị: E wezụga mgbanwe arụ ọrụ, Coccinelle nwere ike ịmanye mgbakọ nzuzo na-agbanwe agbanwe, na-ebelata mkpọtụ na nyocha koodu na imeziwanye ike ịgụ akwụkwọ.

Osisi isi iyi Linux kernel ọbụna na-ebufe scripts/coccinelle/ ndekọ nke nwere iwu SmPL emebere nke ndị mmepe nwere ike ịgba ọsọ lelee patches ha tupu nrubeisi.

Enwere ike iji Coccinelle na-abụghị Linux Kernel?

Ọ bụ ezie na Coccinelle mụrụ site na mmepe kernel Linux, ọ bụghị naanị ya. C codebase ọ bụla - ngwa ngwa sistemụ agbakwunyere, ngwa onye ọrụ, akụrụngwa sistemụ arụmọrụ - nwere ike irite uru na ikike mgbanwe Coccinelle. Ọrụ dị ka Wine, OpenSSL, na nkesa BSD dị iche iche ejirila ya maka usoro nhazi nke ha.

Ngwá ọrụ ahụ na-ejekwa ozi dị ka ntọala maka nyocha agụmakwụkwọ na evolushọn ngwanrọ, nrụzi mmemme na-akpaghị aka, na nyocha static. Ikike ya igosipụta usoro koodu mgbagwoju anya n'ụdị a na-agụ, na-ekwupụta na-eme ka ọ bụrụ ngwa nkuzi mara mma maka ịghọta ka nnukwu sistemụ ngwanrọ na-esi na-apụta n'oge.

Maka ndị otu na-ahụ maka koodu C codebases, Coccinelle nwere ike belata ọnụ ahịa na ihe egwu nke mbọ ọgbara ọhụrụ. Kama ikenye ndị injinia ka ha jiri aka ha nyochaa na imelite ọtụtụ puku faịlụ, otu patch semantic emepụtara nke ọma nwere ike rụzuo otu ọrụ ahụ n'ime nkeji na izi ezi ka ukwuu.

Ajụjụ a na-ajụkarị

Coccinelle ọ bara uru naanị maka mmemme C?

A haziri Coccinelle maka C ma na-arụ ọrụ kacha mma na C codebases. Enweela mgbatị nnwale na ọrụ nyocha na-enyocha nkwado maka asụsụ ndị ọzọ, mana ngwá ọrụ njikere mmepụta na-elekwasị anya na C. Maka otu ndị na-arụ ọrụ na sistemu C - site na ngwaọrụ agbakwunyere na sistemụ arụmọrụ - ọ na-anọgide na-arụ ọrụ mgbanwe akpaghị aka kachasị dị irè dị.

Olee otú Coccinelle si atụnyere ngwá ọrụ dị ka sed, awk, ma ọ bụ codemod?

Ngwá ọrụ nhazi ederede ọdịnala na-arụ ọrụ na eriri na-aghọtaghị nhazi koodu. Ha enweghị ike ịmata ọdịiche dị n'etiti aha agbanwe agbanwe na nkọwa nwere otu ederede, ma ọ bụ na ha enweghị ike ịdekọ maka mgbanwe ndakọrịta n'otu esi akọwapụta otu mgbagha. Coccinelle na-akọwapụta koodu C n'ezie ma na-arụ ọrụ na osisi syntax ya, nke pụtara na ọ na-ewepụta ihe dị mma ụgha dị ole na ole ma ọ dịghị mgbe ọ na-emepụta mmepụta nke agbajiri n'ụzọ ziri ezi site na iwu edere nke ọma.

Ndị mbido nwere ike mụta iji Coccinelle nke ọma?

Ee, n'agbanyeghị na enwere usoro mmụta. Asụsụ SmPL kpachaara anya mee ka ọ yie ihe dị iche iche jikọtara ọnụ, nke ọtụtụ ndị mmepe maralarị ka esi agụ ya. Akwụkwọ Coccinelle na-enye ọtụtụ ihe atụ sitere na mgbanwe dị mfe ruo na edemede ọtụtụ iwu dị mgbagwoju anya. Ọtụtụ ndị ọhụrụ na-amalite site n'ịmụ iwu dị na Linux kernel's scripts/coccinelle/ directory na imeghari ha maka mkpa nke ha.

Megharịa ọrụ azụmahịa nke gị

Dị nnọọ ka Coccinelle automates mgbagwoju mgbanwe gafee oke codebases, nri azụmahịa n'elu ikpo okwu automates mgbagwoju workflows gafee gị dum nzukọ. Mewayz na-eweta modul 207 agbakwunyere - site na njikwa oru ngo na CRM ruo akwụkwọ ọnụahịa na HR - n'ime otu sistemụ arụmọrụ maka azụmahịa gị. Kama ịchịkọta ọtụtụ ngwaọrụ akwụpụrụ, ị ga-enweta otu ikpo okwu jikọtara ọnụ nke ndị ọrụ karịrị 138,000 tụkwasịrị obi. Atụmatụ na-amalite na naanị $19 kwa ọnwa. Bido nnwale gị n'efu na app.mewayz.com wee hụ ihe ọ pụtara ịme azụmahịa gị na autopilot.