CVE-2022-48760

In the Linux kernel, the following vulnerability has been resolved: USB: core: Fix hang in usb_kill_urb by adding memory barriers The syzbot fuzzer has identified a bug in which processes hang waiting for usb_kill_urb() to return. It turns out the issue is not unlinking the URB; that works just fine. Rather, the problem arises when the wakeup notification that the URB has completed is not received. The reason is memory-access ordering on SMP systems. In outline form, usb_kill_urb() and __usb_hcd_giveback_urb() operating concurrently on different CPUs perform the following actions: CPU 0 CPU 1 ---------------------------- --------------------------------- usb_kill_urb(): __usb_hcd_giveback_urb(): ... ... atomic_inc(&urb->reject); atomic_dec(&urb->use_count); ... ... wait_event(usb_kill_urb_queue, atomic_read(&urb->use_count) == 0); if (atomic_read(&urb->reject)) wake_up(&usb_kill_urb_queue); Confining your attention to urb->reject and urb->use_count, you can see that the overall pattern of accesses on CPU 0 is: write urb->reject, then read urb->use_count; whereas the overall pattern of accesses on CPU 1 is: write urb->use_count, then read urb->reject. This pattern is referred to in memory-model circles as SB (for "Store Buffering"), and it is well known that without suitable enforcement of the desired order of accesses -- in the form of memory barriers -- it is entirely possible for one or both CPUs to execute their reads ahead of their writes. The end result will be that sometimes CPU 0 sees the old un-decremented value of urb->use_count while CPU 1 sees the old un-incremented value of urb->reject. Consequently CPU 0 ends up on the wait queue and never gets woken up, leading to the observed hang in usb_kill_urb(). The same pattern of accesses occurs in usb_poison_urb() and the failure pathway of usb_hcd_submit_urb(). The problem is fixed by adding suitable memory barriers. To provide proper memory-access ordering in the SB pattern, a full barrier is required on both CPUs. The atomic_inc() and atomic_dec() accesses themselves don't provide any memory ordering, but since they are present, we can use the optimized smp_mb__after_atomic() memory barrier in the various routines to obtain the desired effect. This patch adds the necessary memory barriers.
Configurations

Configuration 1 (hide)

OR cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:5.17:rc1:*:*:*:*:*:*

History

17 Sep 2025, 16:49

Type Values Removed Values Added
CWE CWE-667
First Time Linux
Linux linux Kernel
CPE cpe:2.3:o:linux:linux_kernel:5.17:rc1:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
CVSS v2 : unknown
v3 : unknown
v2 : unknown
v3 : 7.1
References () https://git.kernel.org/stable/c/26fbe9772b8c459687930511444ce443011f86bf - () https://git.kernel.org/stable/c/26fbe9772b8c459687930511444ce443011f86bf - Patch
References () https://git.kernel.org/stable/c/546ba238535d925254e0b3f12012a5c55801e2f3 - () https://git.kernel.org/stable/c/546ba238535d925254e0b3f12012a5c55801e2f3 - Patch
References () https://git.kernel.org/stable/c/5904dfd3ddaff3bf4a41c3baf0a8e8f31ed4599b - () https://git.kernel.org/stable/c/5904dfd3ddaff3bf4a41c3baf0a8e8f31ed4599b - Patch
References () https://git.kernel.org/stable/c/5f138ef224dffd15d5e5c5b095859719e0038427 - () https://git.kernel.org/stable/c/5f138ef224dffd15d5e5c5b095859719e0038427 - Patch
References () https://git.kernel.org/stable/c/9340226388c66a7e090ebb00e91ed64a753b6c26 - () https://git.kernel.org/stable/c/9340226388c66a7e090ebb00e91ed64a753b6c26 - Patch
References () https://git.kernel.org/stable/c/9c61fce322ac2ef7fecf025285353570d60e41d6 - () https://git.kernel.org/stable/c/9c61fce322ac2ef7fecf025285353570d60e41d6 - Patch
References () https://git.kernel.org/stable/c/b50f5ca60475710bbc9a3af32fbfc17b1e69c2f0 - () https://git.kernel.org/stable/c/b50f5ca60475710bbc9a3af32fbfc17b1e69c2f0 - Patch
References () https://git.kernel.org/stable/c/c9a18f7c5b071dce5e6939568829d40994866ab0 - () https://git.kernel.org/stable/c/c9a18f7c5b071dce5e6939568829d40994866ab0 - Patch
References () https://git.kernel.org/stable/c/e3b131e30e612ff0e32de6c1cb4f69f89db29193 - () https://git.kernel.org/stable/c/e3b131e30e612ff0e32de6c1cb4f69f89db29193 - Patch

21 Nov 2024, 07:33

Type Values Removed Values Added
References () https://git.kernel.org/stable/c/26fbe9772b8c459687930511444ce443011f86bf - () https://git.kernel.org/stable/c/26fbe9772b8c459687930511444ce443011f86bf -
References () https://git.kernel.org/stable/c/546ba238535d925254e0b3f12012a5c55801e2f3 - () https://git.kernel.org/stable/c/546ba238535d925254e0b3f12012a5c55801e2f3 -
References () https://git.kernel.org/stable/c/5904dfd3ddaff3bf4a41c3baf0a8e8f31ed4599b - () https://git.kernel.org/stable/c/5904dfd3ddaff3bf4a41c3baf0a8e8f31ed4599b -
References () https://git.kernel.org/stable/c/5f138ef224dffd15d5e5c5b095859719e0038427 - () https://git.kernel.org/stable/c/5f138ef224dffd15d5e5c5b095859719e0038427 -
References () https://git.kernel.org/stable/c/9340226388c66a7e090ebb00e91ed64a753b6c26 - () https://git.kernel.org/stable/c/9340226388c66a7e090ebb00e91ed64a753b6c26 -
References () https://git.kernel.org/stable/c/9c61fce322ac2ef7fecf025285353570d60e41d6 - () https://git.kernel.org/stable/c/9c61fce322ac2ef7fecf025285353570d60e41d6 -
References () https://git.kernel.org/stable/c/b50f5ca60475710bbc9a3af32fbfc17b1e69c2f0 - () https://git.kernel.org/stable/c/b50f5ca60475710bbc9a3af32fbfc17b1e69c2f0 -
References () https://git.kernel.org/stable/c/c9a18f7c5b071dce5e6939568829d40994866ab0 - () https://git.kernel.org/stable/c/c9a18f7c5b071dce5e6939568829d40994866ab0 -
References () https://git.kernel.org/stable/c/e3b131e30e612ff0e32de6c1cb4f69f89db29193 - () https://git.kernel.org/stable/c/e3b131e30e612ff0e32de6c1cb4f69f89db29193 -
Summary
  • (es) En el kernel de Linux, se resolvió la siguiente vulnerabilidad: USB: core: corrige el bloqueo en usb_kill_urb agregando barreras de memoria el syzbot fuzzer ha identificado un error en el que los procesos se bloquean esperando que regrese usb_kill_urb(). Resulta que el problema no es desvincular la URB; eso funciona bien. Más bien, el problema surge cuando no se recibe la notificación de activación de que la URB ha completado. El motivo son los pedidos de acceso a la memoria en los sistemas SMP. En forma resumida, usb_kill_urb() y __usb_hcd_giveback_urb() operando simultáneamente en diferentes CPU realizan las siguientes acciones: CPU 0 CPU 1 ------------------------- --- --------------------------------- usb_kill_urb(): __usb_hcd_giveback_urb(): ... ... atomic_inc(&urb->rechazar); atomic_dec(&urb->use_count); ... ... wait_event(usb_kill_urb_queue, atomic_read(&urb->use_count) == 0); if (atomic_read(&urb->reject)) wake_up(&usb_kill_urb_queue); Limitando su atención a urb->reject y urb->use_count, puede ver que el patrón general de accesos en la CPU 0 es: escribir urb->reject, luego leer urb->use_count; mientras que el patrón general de accesos en la CPU 1 es: escribir urb->use_count, luego leer urb->reject. En los círculos de modelos de memoria se hace referencia a este patrón como SB (por "Store Buffering"), y es bien sabido que sin una aplicación adecuada del orden deseado de accesos (en forma de barreras de memoria) es completamente posible que una o ambas CPU para ejecutar sus lecturas antes de sus escrituras. El resultado final será que a veces la CPU 0 ve el antiguo valor no incrementado de urb->use_count mientras que la CPU 1 ve el antiguo valor no incrementado de urb->reject. En consecuencia, la CPU 0 termina en la cola de espera y nunca se activa, lo que provoca el bloqueo observado en usb_kill_urb(). El mismo patrón de accesos ocurre en usb_poison_urb() y la ruta de falla de usb_hcd_submit_urb(). El problema se soluciona agregando barreras de memoria adecuadas. Para proporcionar un orden adecuado de acceso a la memoria en el patrón SB, se requiere una barrera completa en ambas CPU. Los accesos atomic_inc() y atomic_dec() en sí no proporcionan ningún orden de memoria, pero como están presentes, podemos usar la barrera de memoria optimizada smp_mb__after_atomic() en las distintas rutinas para obtener el efecto deseado. Este parche agrega las barreras de memoria necesarias.

20 Jun 2024, 12:15

Type Values Removed Values Added
New CVE

Information

Published : 2024-06-20 12:15

Updated : 2025-09-17 16:49


NVD link : CVE-2022-48760

Mitre link : CVE-2022-48760

CVE.ORG link : CVE-2022-48760


JSON object : View

Products Affected

linux

  • linux_kernel
CWE
CWE-667

Improper Locking