Ես գրեցի eBPF վերիֆիկատոր միկրոկոնտրոլերի համար։ Հետո Linux միջուկը բացատրեց ինձ, թե որտեղ եմ սխալվել

Հոդվածի հեղինակը որոշել է բարդացնել ESP32-ի հիման վրա սովորական ջերմաստիճանի կարգավորիչ ստեղծելու խնդիրը՝ միկրոկոնտրոլերի վրա ներդնելով eBPF ինտերպրետատոր։ Սա հնարավորություն է տվել թարմացնել սարքի կառավարման տրամաբանությունը Wi-Fi-ի միջոցով՝ օգտագործելով C լեզվով գրված և BPF ճարտարապետության համար կոմպիլյացված ծրագրեր։ Մշակման ընթացքում հեղինակը ստիպված է եղել գրել սեփական բայթ-կոդի վերիֆիկատորը՝ սարքի վրա կոդի անվտանգ կատարումը երաշխավորելու համար։ Համեմատելով իր վերիֆիկատորի արդյունքները Linux միջուկի պաշտոնական գործիքի հետ՝ հեղինակը հայտնաբերել է տարաձայնություններ տասը թեստային ծրագրերի անվտանգության գնահատման հարցում։ Հոդվածում մանրամասն վերլուծվում են չորս դեպքեր, որտեղ հեղինակի և Linux միջուկի վերիֆիկացիայի տրամաբանությունը տարբերվել է, ինչը հանգեցրել է eBPF անվտանգության կանոնների և սահմանափակումների խորը վերլուծության։ Այս նախագիծը ցույց է տալիս բարդ համակարգային տեխնոլոգիաները սահմանափակ ապարատային հարթակներ տեղափոխելու հնարավորությունները և կոդի վերիֆիկացիայի ստանդարտներին խստորեն հետևելու կարևորությունը։