Odebrany

CVE-2026-89796

opublikowano: 16.09.2026, 13:16

modyfikacja: 16.09.2026, 13:16

Ocena CVSS

n/a

Brak oceny

Oficjalne źródła

>_ Opis

Tłumaczenie automatyczne – może zawierać nieścisłości.

W jądrze Linuksa usunięto następującą lukę:

mm/damon/core: unikaj nieskończonej wewnętrznej pętli kdamond_merge_regions().

Seria poprawek „mm/damon: pilne poprawki dla nieskończonej pętli, NULL de-ref i
wyścigi”, v1.1.

Sashiko znalazła kilka problemów w DAMON, które mogą powodować nieskończoną pętlę, NULL
dereferencji i monitorowania degradacji wyników. Pierwsze dwa dźwięki
przerażające, ale nieskończona pętla ma miejsce tylko w przypadku nieuzasadnionej konfiguracji użytkownika.
Dereferencja NULL ma miejsce tylko w teście jednostkowym. Wyniki monitorowania
degradacja jest trywialna, ponieważ wymaga jedynie najlepszych starań, a takie się zdarzają
tylko z nieprawdopodobnych ras. Nadal są to błędy, które lepiej naprawić
możliwe. Napraw je.

Ta łatka (z 6):

Ze względu na aktualizację parametrów online, takich jak zdarzenia, liczba regionów DAMON
może być wyższa niż górna granica ustawiona przez użytkownika. kdamond_merge_regions()
powtarza scalanie regionów, aż liczba osiągnie limit, jednocześnie podwajając
próg scalania aż do teoretycznego progu maksymalnego. Próbuje się tylko
aż do teoretycznego progu maksymalnego, bo nawet agresywnego
łączenie może zakończyć się niepowodzeniem ze względu na zmniejszenie liczby regionów objętych
górny limit zdefiniowany przez użytkownika. Na przykład może być wiele zdefiniowanych przez użytkownika
nieciągłe regiony, których nie można połączyć.

Warunek przerwania pętli oparty na progu jest oceniany poprzez porównanie
próg dla następnej próby łączenia w stosunku do teoretycznego maksimum
próg. Jeśli max_thres jest większy niż UINT_MAX / 2, podwojenie
próg może spowodować jego przepełnienie i ominięcie warunku przerwania pętli. w
ma to miejsce, jeżeli nie można zmniejszyć liczby regionów poniżej górnego limitu
jak wyjaśniono powyżej, pętla będzie działać w nieskończoność.

Zapobiegnij tej sytuacji, sprawdzając warunek przerwania przed podwojeniem
próg. Zapobiegaj także przekroczeniu progu maksymalnego,
ponieważ może się przepełnić i zastosować niewłaściwy próg scalania.

Jest mało prawdopodobne, aby ten problem wystąpił w prawdziwym świecie, ponieważ posiadanie pliku max_thres
wyższe niż UINT_MAX / 2 wymagają nierealistycznie dużej agregacji
odstępach czasu w porównaniu z odstępem próbkowania. Ponadto wymaga
nierealistycznie duża liczba konfiguracji nieciągłych regionów. Niemniej jednak,
konsekwencja jest zła, a rozwiązanie jest proste.

Problem został odkryty [1] przez Sashiko.

In the Linux kernel, the following vulnerability has been resolved:

mm/damon/core: avoid infinite kdamond_merge_regions() internal loop

Patch series "mm/damon: unurgent fixes for infinite loop, NULL de-ref and
races", v1.1.

Sashiko found a few issues in DAMON that could cause infinite loop, NULL
dereference and monitoring results degradation. The first two sounds
scary but the infinite loop happens only under unreasonable user setup.
The NULL dereference is only in a unit test. Monitoring results
degradation is trivial since it is only best-effort, and those happens
from only unlikely races. Still those are bugs that better to fix if
possible. Fix those.

This patch (of 6):

Due to online parameter update like events, the number of DAMON regions
could be higher than the user-set upper limit. kdamond_merge_regions()
repeats merge regions until the number meets the limit, while doubling the
merge threshold up to the theoretical maximum threshold. It is tried only
up to the theoretical maximum threshold because even the aggressive
merging can fail from reducing the number of regions under the
user-defined upper limit. For example, there could be many user-defined
non-contiguous regions that cannot be merged.

The threshold based loop break condition is evaluated by comparing the
threshold for the next merging try against the theoretical maximum
threshold. If max_thres is larger than UINT_MAX / 2, doubling the
threshold could make it overflow, and bypass the loop break condition. In
the case, if the number of regions cannot be reduced under the upper limit
like explained above, the loop will run infinitely.

Prevent the case by doing the break condition check before doubling the
threshold. Also, prevent the threshold exceeding the maximum threshold,
as it could overflow and apply the wrong merge threshold.

This issue is unlikely to occur in real world, since having the max_thres
higher than UINT_MAX / 2 require unrealistically large aggregation
intervals compared to the sampling interval. Also, it requires an
unrealistically large number of uncontiguous regions setup. Nonetheless,
the consequence is bad and the fix is simple.

The issue was discovered [1] by Sashiko.

>_ Referencje

Dane podatności pochodzą z oficjalnych źródeł (CVE® List / NVD). Opisy po polsku są tłumaczone automatycznie i mogą zawierać nieścisłości – na stronie rekordu można wyświetlić wersję angielską.

This product uses the NVD API but is not endorsed or certified by the NVD.

CVE Usage: MITRE hereby grants you a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare derivative works of, publicly display, publicly perform, sublicense, and distribute Common Vulnerabilities and Exposures (CVE®). Any copy you make for such purposes is authorized provided that you reproduce MITRE's copyright designation and this license in any such copy. ALL DOCUMENTS AND THE INFORMATION CONTAINED THEREIN PROVIDED BY MITRE ARE PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND.

NVD Terms of Use / CVE® Terms of Use / nvd.nist.gov / cve.org

<< baza_cve