Линус Торвалдс: "AI Код Шалгалт бол Линуксийн Шинэ Бодит Байдал" — Цөмийн Алдааны Засварууд Түүхэн Дээд Хэмжээнд Хүрлээ
Программ хангамжийн ертөнцөд тогтсон бичигдээгүй хуулиар Release Candidate (RC) буюу хувилбарын туршилтын шатны төгсгөл рүү дөхөх тусам кодонд орох засварууд цөөрч, систем тогтворжих горимдоо орох ёстой байдаг. Гэтэл дэлхийн хамгийн чухал дэд бүтэц болох Linux Kernel-ийн шинэ хувилбар энэ уламжлалыг бүрэн эвдэв.
Linux үйлдлийн системийн үндэслэгч Линус Торвалдс (Linus Torvalds) Linux 7.2-rc7 хувилбарыг зарлахдаа хэмжээ нь ер бусын аварга том, сүүлийн жилүүдэд үзэгдээгүй олон тооны patch-тай байгааг онцоллоо. Хамгийн сонирхолтой нь тэрээр үүний гол шалтгааныг AI болон LLM-д суурилсан код шинжилгээ, аудитын хэрэгслүүдийн идэвхжилтэй шууд холбон тайлбарлаж, үүнийг нээлттэй эхийн хөгжүүлэлтийн "шинэ хэвийн үзэгдэл" (new normal) гэж нэрлэв.
8 Жилийн Турш Нуугдсан Алдаануудыг AI Илрүүлж Байна
Linux 7.2-rc7 хувилбарт нийт 230 гаруй хувь нэмэр оруулагчийн гарын үсэгтэй 400 гаруй засвар (fix) багтжээ. Эдгээр засваруудын дийлэнх нь шинэ боломж (feature) нэмэх бус, цөмийн олон дэд системд (GPU, sound, сетевийн драйверууд болон санах ойн удирдлага) олон жилийн турш илрээгүй байсан нарийн төвөгтэй bug-уудыг арилгахад чиглэсэн байна.
Тухайлбал, 2018 онд Linux 4.16 хувилбарт нэмэгдэж, санах ойн удирдлагын ptdump хэсэгт бүтэн 8 жилийн турш хэний ч анзаараагүй байсан use-after-free төрлийн race condition алдааг Google-ийн ухаалаг fuzzer болон AI шинжилгээний моделиуд илрүүлж, засварласан байна.
Үүнээс гадна Btrfs файлын систем, техник хангамжийн хяналтын (HWMON) дэд систем, криптограф модулиудын чухал эмзэг байдлуудыг AI агентууд автоматаар илрүүлж тайлагнажээ.
AI Код Бичих Бус, Хүний Хийж Амжаагүйг "Мөрдөх" Ажил
Линус Торвалдс өөрийн LKML (Linux Kernel Mailing List) зарлалдаа нөхцөл байдлыг маш бодитойгоор тодорхойлсон юм:
"Би ийм том хэмжээтэй RC гарч байгаад сэтгэл хангалуун байна гэж хэлэхгүй ч энэ бол өнөөдрийн бодит байдал. Маш олон алдааны засварууд орж ирсний дийлэнх нь төрөл бүрийн AI хэрэгслүүдийн хийсэн код шалгалтын (review) үр дүн юм."
Энд нэг чухал ялгаа бий: AI өөрөө Linux-ийн цөмийн кодыг шууд бичиж push хийгээгүй.
Бодит процесс дараах байдлаар өрнөж байна:
- AI Шинжилгээ ба Аудит: LLM болон статик анализын автоматжуулсан агентууд олон сая мөр C кодыг тасралтгүй уншиж, race condition, memory leak, pointer-ийн логик алдаануудыг илрүүлэн тайлан гаргадаг.
- Хүн Хөгжүүлэгчийн Засвар: Хөгжүүлэгч инженерүүд AI-ийн гаргасан алдааны тайланг шалгаж, бодит fix буюу patch-ийг гараар боловсруулдаг.
- Subsystem Maintainer Шүүлтүүр: Бэлтгэсэн засварыг Linux дэд системийн удирдагч инженерүүд ердийн нарийн дүрэм журмын дагуу хянаж, Линус Торвалдс руу нэгтгэхээр илгээдэг.
Шүүмжлэгчдэд Өгсөн Торвалдсын Хариу: "AI-ийг Үгүйсгэх нь Бодит Байдлаас Тасрахтай Адил"
Линус Торвалдс өмнө нь хэт их хөөсрөлтэй (hype) технологид туйлын шүүмжлэлтэй ханддаг зангаараа алдартай байсан бол энэ удаад AI-ийн код шалгах чадварыг бодит практик дээр хүлээн зөвшөөрөв. Саяхан kernel хөгжүүлэгчдийн дунд өрнөсөн хэлэлцүүлгийн үеэр тэрээр AI-ийн эсрэг хэт хатуу байр суурь баримтлагчдад хандан: "AI бол хөгжүүлэгчдэд аль хэдийн маш тодорхой үр өгөөжөө өгч буй бодит багаж, түүний үнэ цэнэ маргаангүй болсон" гэдгийг хатуу сануулсан юм.
Хүний нүд ядрах, олон мянган мөр legacy кодын логик уялдааг орхих магадлалтай байдаг бол автоматжуулсан AI аудиторууд ядрахгүйгээр бүх салаа мөчрийг шалгаж чадаж байна. Үүний үр дүнд Linux төсөл өдөрт 10 гаруй CVE буюу аюулгүй байдлын эмзэг байдлын мэдээллийг шинэчлэн засаж байна.
Хөгжүүлэгчид Үүнээс Юуг Ойлгох Ёстой Вэ?
- Код Шалгалт (Code Review) бүрэн автоматжиж байна: Таны бичсэн pull request-ийг багийн ахлах инженерээс өмнө нарийн мэргэшсэн AI агентууд урьдчилан шалгаж, логик болон санах ойн эрсдэлийг илрүүлдэг жишиг стандарт боллоо.
- Legacy Кодын Цэвэрлэгээ: Олон жил хөндөгдөөгүй хуучин кодын сан (codebase)-ийг цэвэрлэхэд AI хамгийн хүчирхэг туслах болж байна.
- Rust ба Санах Ойн Аюулгүй Байдлын Хослол: Linux цөмд Rust хэлийг нэвтрүүлж буй явц болон AI ашиглан C кодыг шалгах үйл явц зэрэгцэн өрнөж байгаа нь аюулгүй байдлыг урьд өмнө байгаагүй түвшинд гаргаж байна.
AI код бичихээс илүүтэйгээр кодын чанар, аюулгүй байдлыг баталгаажуулах "хамгаалалтын шугам" болон бэхжиж байгаагийн хамгийн тод баталгаа нь энэхүү Linux 7.2 хувилбар болж байна.
Эх сурвалж:
- TechRadar: Linus Torvalds says 'huge' Linux kernel updates are now the status quo — and it's all thanks to AI
- BetaNews: Linus Torvalds calls AI code review the new normal as Linux 7.2 nears release
- LKML & Phoronix Kernel Development Reports
Сэтгэгдэл
Ачаалж байна...