Clankerrel fuzzolják az AI-t a Linux kernelben?

enlightened Ez az oldal a közösségért készül. heart Kövess minket máshol is:  Linux Mint Magyar Közösség a Mastodon-on  Telegram csatorna – csak hírek  Beszélgessünk a Telegram – Linux csevegő csoport  Hírek olvasása RSS segítségével  Linux Mint Hivatalos Magyar Közösség a Facebook-on      Linux Mint Baráti Kör a Facebook-on
wink Ha hasznosnak találod, és szeretnéd, hogy folytatódjon, támogasd a munkát Ko-fi vagy Paypal segítségével. laugh

kami911 képe

Az AI és a humanoid robotok térnyerésével egyre gyakrabban használják a „Clanker” kifejezést az ilyen megoldásokra, nem is alaptalanul. Jelenlegi formájukban ezek még elég kezdetlegesek: bár képesek az emberi intelligenciára emlékeztető viselkedésre, azt még mindig nem tudják megközelíteni, amit a természet „megalkotott”.

Most ez a terminológia a Linux kernelbe is eljutott, méghozzá Greg Kroah-Hartman (GKH) révén. Ő a Linux stable kernel karbantartója, és a projekten belül nagyjából a „második embernek” számít.

Úgy tűnik, csendben futtat egy AI-támogatott fuzzing eszközt a kernel-en. Ez a saját munkafájában egy „clanker” nevű branchben él. Mielőtt rákérdeznél: a fuzzing egy automatizált szoftvertesztelési módszer. A kódot váratlan, hibásan formázott vagy véletlenszerű bemenetekkel bombázza, hogy összeomlásokat, memóriahibákat és más rendellenes működést váltson ki.

Ez egy kritikus védelmi vonal egy olyan hatalmas codebase esetében, mint a Linux.

Hogyan kezdődött?

Az egész a ksmbd és az SMB kóddal indult. GKH egy három patchből álló sorozatot küldött be, miután lefuttatta rajta az új eszközét, és nagyon egyszerűen meg is indokolta, miért pont ezt választotta. Azért erre a kódra esett a választása, mert könnyű volt beállítani, és virtuális gépekkel helyben is egyszerűen tudta tesztelni.

A fuzzer olyan lehetséges problémákat jelzett, amelyek kifejezetten az „untRusted” klienssel kapcsolatos forgatókönyvekben jöhetnek elő. A három javítás egy

EaNameLength

-ellenőrzési hiányosságot kezelt a

smb2_get_ea()

függvényben, pótolt egy hiányzó határellenőrzést, amelynél három al-azonosítót kellett volna megkövetelni a

sub_auth[2]

beolvasása előtt, valamint javított egy

mechToken

memória-szivárgást, ami akkor jelentkezett, amikor a token lefoglalása után meghiúsult a SPNEGO dekódolása.

GKH nagyon egyenesen fogalmazott a patchek természetéről, és azt kérte a reviewerektől: „kérlek, egyáltalán ne bízzatok bennük, és mielőtt elfogadjátok, ellenőrizzétek, hogy nem csak kitalálom az egészet.”

És ezzel nem ért véget. A clanker branch azóta számos alrendszerben gyűjtött össze patcheket, többek között USB, HID, WiFi, LoongArch, networking és más területeken.

Ki az a GKH?

Ha nem mozogsz otthonosan a kernel világában: GKH a Linux fejlesztésének egyik legbefolyásosabb szereplője.

Már jó ideje ő gondozza a stable kernel branch-et. Ez azt jelenti, hogy minden long-term support kernel, amely szervereket, okostelefonokat, beágyazott eszközöket és gyakorlatilag minden mást működtet, amin Linux fut, átmegy a kezei között.

2006-ban megírta a Linux kernel in a Nutshell című könyvet is, amely Creative Commons licenc alatt ingyenesen elérhető. A mai napig az egyik legkönnyebben használható referencia azoknak, akik meg akarják érteni a kernel konfigurálását és buildelését, és már nagyon időszerű lenne egy új kiadás belőle.

Linus is gondolkodott már ezen

Linus Torvalds a tavalyi Open Source Summit Japan rendezvényen arról beszélt, hogy a közelgő Linux kernel Maintainer Summit napirendre tűzi „az eszközeink és a szabályaink bővítését, amikor AI-t használunk eszközként”.

Megemlített egy belső AI-kísérletet is, amelyben az eszköz átnézett egy merge-öt, amit ő korábban kifogásolt. Az AI nemcsak egyetértett a kifogásaival, hanem további javítandó problémákat is talált.

Linus ezt jó jelnek nevezte, ugyanakkor hangsúlyozta, hogy „sokkal kevésbé érdekli az AI kódírásra”, és sokkal inkább érdekli karbantartási eszközként: patch-ellenőrzésre és code review-ra.

Az AI segítse a munkát, ne leváltsa

Itt érdemes egy fontos különbséget tisztázni. Úgy tűnik, GKH nem arról beszél, hogy az AI írja a kernel kódot. A fuzzer felszínre hozza a lehetséges hibákat; egy ember, aki évtizedek óta foglalkozik kernel-lel, átnézi ezeket, megírja a tényleges javításokat, és vállalja a felelősséget azért, ami végül beküldésre kerül.

Ha valóban ez történik, akkor ez a józan megközelítés, és azt tükrözi, amit más open source projektek is igyekeznek formalizálni. Az LLVM például idén korábban bevezetett egy „human in the loop” AI-szabályzatot, amely előírja, hogy a közreműködők mindent nézzenek át és értsenek meg, amit beküldenek, függetlenül attól, hogyan készült.

Ajánlott olvasmány: Greg Kroah-Hartman kapta a 2026-os European Open Source Awards fődíját.