CVE-2026-74658

Linux kernel-də aşağıdakı zəiflik aradan qaldırılmışdır: futex: Robust futex çıxış yarışının (exit race) daha effektiv qarşısının alınması Robust futex kilidinin açılması bütün futex dəyəri üzərində 0 saxlayır - beləliklə FUTEX_WAITERS silinir - və tək bir gözləyicini oyadır. Bu oyanma birdəfəlik bildirişdir: protokol onun qəbul edən tərəfin ya futex-i əldə etməsinə (və sonda digər rəqabətli müraciətlərdən xəbərdar olaraq kilidi açmasına), ya da yenidən yatmazdan əvvəl FUTEX_WAITERS-i aktivləşdirməsinə əsaslanır. Əgər oyadılan gözləyici hər hansı birini yerinə yetirmədən öldürülərsə, kernel müdaxilə etməli və növbəti tapşırığı oyatmalıdır. Bu, futex protokolunun məlum mürəkkəbliyidir və əvvəllər ca16d5bee598 ("futex: Prevent robust futex exit race") commit-i ilə qismən düzəldilmişdi. Təəssüf ki, həmin düzəliş kifayət deyil. Əgər bu müddət ərzində üçüncü bir tapşırıq rəqabətsiz sürətli yol (fast path) vasitəsilə futex-i yenidən əldə etsə, bildiriş itirilir: robust çıxış emalı onun başqa bir tapşırıq tərəfindən sahiblənildiyini görür və heç bir tədbir görmür, yeni sahibi isə kilidi açarkən FUTEX_WAITERS-in olmadığını görür və heç kimi oyatmır. Qalan gözləyicilər boş futex arxasında əbədi yuxuya gedirlər: A futex-ə sahibdir, B və C FUTEX_WAIT-də yatırlar uval == A | FUTEX_WAITERS A robust unlock: 0 saxla, FUTEX_WAKE(1) B-ni oyadır uval == 0 D fast path acquire: cmpxchg(0 -> D) uval == D, FUTEX_WAITERS yoxdur B oyanmaya reaksiya verməzdən əvvəl öldürülür B exit walk, gözlənilən əməliyyat: owner D != B -> tədbir yoxdur D unlock: FUTEX_WAITERS yoxdur -> oyanma yoxdur C əbədi yatır Bu, FUTEX_WAITERS bitinin ardıcıllığını qorumağa nail olmayan implementasiyadakı aşkar çatışmazlıqdır. Bu problemi, robust siyahısı çıxış emalını genişləndirməklə həll edin: əgər futex sözü başqa bir thread tərəfindən sahiblənilibsə, lakin FUTEX_WAITERS təyin edilməyibsə, əlavə oyanmanı yerinə yetirin. Bu, illərdir müzakirə edilən və 3ca9595d9fb6 ("futex: Add support for unlocking robust futexes") commit-i və sonrakı dəyişikliklərlə həll olunmuş rəqabətsiz əldə etmə/buraxma və azad etmə ardıcıllığı problemini düzəltmir, çünki həmin dəyişikliklər yuxarıda təsvir olunan problemi nəzərə almamışdı. Rəqabətli robust futex-lərin kernel daxilində kilidinin açılmasına əsaslanan daha tam həll yolu bu dəyişiklik kontekstində müzakirə edilmişdir və yaxın zamanda mainline-ə əlavə edilməlidir. [ tglx: Dəyişiklik jurnalını bir qədər redaktə et və kodlaşdırma stilini düzəlt ]