Coccinelle: ʻO ka Linux Kernel's Source-to-Source Transformation Tool

ʻO Coccinelle kahi mea hana hoʻololi kumu-i-kumu kumu i hoʻolālā mua ʻia e hoʻololi i nā loli nui ma waena o ka Linux kernel codebase. Hoʻohana ʻo ia i kahi ʻōlelo kikoʻī domain i kapa ʻia ʻo SmPL (Semantic Patch Language) e hōʻike i nā ʻano code a me nā hoʻololi ʻana, e hiki ai i nā mea hoʻomohala ke ʻimi a hoʻoponopono i nā pōpoki, hoʻohou i nā API i hoʻopau ʻia, a hoʻoponopono hou i nā miliona o nā laina o ka code C me ka pololei o ke kaʻina hana.

He aha ka Coccinelle a no ke aha e pono ai i ka Linux Kernel?

ʻO ka Linux kernel kekahi o nā papahana lako polokalamu hui nui loa ma ka mōʻaukala, aia ma luna o 30 miliona mau laina code i hāʻawi ʻia e nā kaukani mea hoʻomohala. Ke hoʻololi ʻia kahi API kūloko a i ʻole ka ʻike ʻia ʻana o kahi kumu hoʻopiʻi hou ʻana, ʻo ka hoʻonui lima ʻana i kēlā me kēia faila i hoʻopili ʻia ʻaʻole paʻakikī wale nō - ʻaʻole hiki ke hoʻokomo ʻia me ka hoʻokomo ʻole ʻana i nā hewa hou. ʻO kēia ka pilikia i kūkulu ʻia ʻo Coccinelle e hoʻoponopono ai.

Hoʻomohala ʻia e nā mea noiʻi ma Inria a me ke Kulanui o Copenhagen, ʻae ʻo Coccinelle i nā mea mālama kernel e kākau i nā ʻāpana semantic - nā lula pōkole e wehewehe ana i ke ʻano o ke code e hoʻohālikelike a me ka hoʻololi ʻana e pili. ʻAʻole like me ka huli kikokikona maʻemaʻe-a-hoʻololi a i ʻole nā ​​ʻōlelo maʻamau, hoʻomaopopo ʻo Coccinelle i ka syntax C a me nā semantics. Hiki iā ia ke hoʻohālikelike i ke code me ka nānā ʻole i ke keʻokeʻo, ka inoa hoʻololi, a i ʻole nā ʻokoʻa liʻiliʻi liʻiliʻi, e ʻoi aku ka hilinaʻi no ka hoʻoponopono hou ʻana i ka nui.

Mai kona hoʻokomo ʻia ʻana, ua kuleana ʻo Coccinelle i nā tausani o nā hana i loko o ka kernel Linux, a ʻo kona hoʻohui ʻia ʻana i ke kaʻina hana hoʻomohala o ka kernel ua lilo ia i ʻāpana koʻikoʻi o ka kaiaola.

Pehea e hana ai ka SmPL (Semantic Patch Language)?

Ma ka puʻuwai o Coccinelle ʻo SmPL, kahi hōʻailona like ʻole e hiki ai i nā mea hoʻomohala ke hōʻike i nā loli ma ke ʻano i kamaʻāina. Ua like ke ʻano o kahi ʻāpana semantic me kahi ʻokoʻa i hoʻohui ʻia, me ka hoʻohana ʻana i - e hōʻailona ai i ke code pono e wehe ʻia a me + e hōʻike i ka mea e pani ai. Eia nō naʻe, ke hana nei ʻo SmPL ma ka pae kumu lāʻau syntax abstract ma mua o ka kikokikona maka.

No ka laʻana, inā hoʻopau ka kernel i kahi hana e like me kmalloc i hui pū ʻia me memset ma ke ʻano o kzalloc, hiki i ka mea hoʻomohala ke kākau i kahi lula SmPL pōkole e pili ana i kēlā me kēia hiʻohiʻona o ke kumu kahiko ma waena o ka codebase holoʻokoʻa a hoʻololi ʻokoʻa iā ia. Hoʻomaopopo ka lula i nā ʻano like ʻole o ka hoʻonohonoho hoʻopaʻapaʻa, nā ʻano kuhikuhi, a me ka pōʻaiapili a puni - kahi mea hiki ʻole i ka ʻōlelo maʻamau ke mālama pono.

"ʻAʻole ʻike wale ʻo Coccinelle i nā hoʻohālikelike kikokikona - hoʻomaopopo ʻo ia i ke ʻano o ke code. ʻO kēia ʻike semantic ka mea e hiki ai iā ia ke hoʻololi i nā miliona o nā laina code me ka hoʻokomo ʻole ʻana i nā regressions, kahi hana e hoʻokaʻawale iā ia mai kēlā me kēia mea hana maʻamau e ʻimi a pani."

Kākoʻo pū ʻo SmPL i nā metavariables, i hana ʻia ma ke ʻano he kāleka ʻāhiu i hiki ke hoʻohālikelike i kēlā me kēia ʻōlelo, ʻike, a i ʻole ʻano. ʻO kēia ka mea e hiki ai ke hoʻohana hou ʻia nā lula a hiki ke hoʻololi ʻia i nā hiʻohiʻona i ʻike ʻia ma nā ʻano ʻano ʻokoʻa a puni ka codebase.

He aha nā hihia hoʻohana maʻamau no Coccinelle?

Ua ʻoi aku ka maʻalahi o Coccinelle ma mua o ka neʻe ʻana o ka API maʻalahi. Ke hilinaʻi nei nā mea hoʻomohala a me nā mea mālama i ka kernel no ka nui o nā hana e hoʻopau i ka manawa a me ka nānā.

• Evolution API: Ke hoʻololi a hoʻokomo ʻia nā pūlima hana, hiki iā Coccinelle ke hoʻohou i kēlā me kēia pūnaewele kelepona, e hōʻoia ana i ka paʻa ʻana o nā subsystem.
• ʻImi ʻino: Hiki i nā lula SmPL ke hoʻomaopopo i nā kumu hoʻopiʻi hoʻomau e like me ka nalo ʻana o ka nānā ʻana, ka hana hewa hewa, nā kūlana hoʻohana ma hope o ka ʻole, a me nā punawai.
• Hoʻololi hou i nā code: Ke ulu nei nā maʻamau coding, kōkua ʻo Coccinelle i ka neʻe ʻana i nā kumu hoʻoilina i nā mea like o kēia wā - no ka laʻana, ke hoʻololi nei i nā puka lou i ʻōwili ʻia me nā macros maʻamau.
• Nā hoʻololi koʻikoʻi. Mālama ʻo Coccinelle i kēia mau "hoʻololi koʻikoʻi" ma o ka hoʻolaha ʻana i nā loli i kēlā me kēia mea kūʻai i lalo.
• Ka hoʻokō ʻana i ke ʻano: Ma waho aʻe o nā hoʻololi hana, hiki iā Coccinelle ke hoʻokō i nā kuʻina hoʻopaʻa inoa like ʻole, e hōʻemi ana i ka walaʻau ma nā loiloi code a hoʻomaikaʻi i ka heluhelu holoʻokoʻa.