CVE-2024-46828

Linux nüvəsində aşağıdakı zəiflik aradan qaldırılıb: sched: sch_cake: host ədalətliliyi üçün kütlə axınlarının uçotu məntiqini düzəltmək sch_cake-də, dst/src host ədalətliliyi rejimi aktiv olduqda, hər host üzrə aktiv kütlə axınlarının sayını izləyirik və bu sayı axınlar arasında dövr etdikdə round-robin çəkisi kimi istifadə edirik. Aktiv kütlə axınlarının sayı, axının vəziyyəti dəyişdikdə yenilənir. Bunun heş collision (heş toqquşması) idarəetməsi ilə qeyri-adi qarşılıqlı təsiri var: heş toqquşması baş verdikdə (set-associative heşləmədən sonra), heş səbətinin vəziyyəti sadəcə toqquşan yeni paketə uyğun olaraq yenilənir və əgər host ədalətliliyi aktivdirsə, bu həmçinin axına yeni host-a aid vəziyyətin təyin edilməsi deməkdir. Bu səbəbdən, yeni vəziyyət təyin edilməzdən əvvəl axına təyin edilmiş host(lar)-ın kütlə axını sayğacları azaldılır (və artıq eyni hosta aid olmaya bilən sayğaclar yenidən artırılır). Bu kod tətbiq edildiyi vaxt host ədalətliliyi rejimi həmişə aktiv idi, buna görə də azaltma əməliyyatı şərtsiz yerinə yetirilirdi. Konfiqurasiya bayraqları tətbiq edildikdən sonra *artırma* əməliyyatı şərtli edildi, lakin *azaltma* əməliyyatı belə olmadı. Bu isə, təbii ki, yanlış azaltmaya (və bununla bağlı U16_MAX-a wrap-around/dövri keçidə) səbəb ola bilər. Məlum olduğuna görə, host ədalətliliyi deaktiv olduqda, heş toqquşması baş verən kimi azaltma və wrap-around baş verir (set-associative heşləmə sayəsində bu hal özlüyündə çox yaygın deyil). Lakin əksər hallarda bu zərərsizdir, çünki dəyər yalnız host ədalətliliyi rejimi aktiv olduqda istifadə olunur. Beləliklə, massiv daşmasını (array overflow) tetikləmək üçün sch_cake əvvəlcə host ədalətliliyi deaktiv edilmiş şəkildə konfiqurasiya edilməli və bu rejimdə işləyərkən daşmaya səbəb olmaq üçün heş toqquşması baş verməlidir. Daha sonra qdisc, host ədalətliliyini aktivləşdirmək üçün yenidən konfiqurasiya edilməlidir ki, bu da wrap-around olmuş dəyərin saxlanılması və massiv indeksi kimi istifadə edilməsi səbəbindən massivin sərhədlərindən kənara çıxmaya (out-of-bounds) gətirib çıxarır. Görünür ki, syzbot bunu tetikləməyi bacarıb, hansı ki, bu özlüyündə kifayət qədər təsirli bir nəticədir. Bu yamaq, azaltma əməliyyatına da artırmada istifadə olunan eyni şərti yoxlamanı tətbiq etməklə problemi həll edir. Orijinal xəta cake-in upstream versiyasına daxil edilməsindən əvvələ aid olsa da, Fixes teqində göstərilən commit həmin kodu dəyişdirmişdir, bu isə o deməkdir ki, bu yamaq həmin commit-dən əvvəlki versiyalara tətbiq edilməyəcək.