🇰🇷 한글 설명
Linux 커널의 BPF 구성 요소에서 zap_pages() 함수가 mmap_lock을 획득하는 과정 중 교착 상태(Deadlock)가 발생할 수 있는 취약점이 발견되었습니다. arena->lock과 mmap_lock 간의 획득 순서 불일치로 인해 시스템이 멈출 수 있으며, 이를 해결하기 위해 락 획득 순서를 조정하고 새로운 뮤텍스를 도입하였습니다.
💡 쉬운 설명
컴퓨터의 핵심 운영체제인 리눅스에서 특정 작업들이 서로의 자원을 기다리며 무한히 대기하는 '교착 상태'가 발생할 수 있는 문제입니다. 이 문제가 발생하면 시스템이 응답하지 않거나 멈출 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
bpf: Take mmap_lock in zap_pages()
zap_vma_range() requires the owning mm's mmap_lock to be held.
Taking mmap_read_lock under arena->lock would AB-BA against
arena_vm_close() and arena_map_mmap(), both of which run with
mmap_write_lock held and then acquire arena->lock. Instead drop
arena->lock, mmget_not_zero() the vma's mm, take mmap_read_lock, and
re-resolve the vma via find_vma() since it may have been unmapped or
replaced while waiting.
Track processed vmls with a per-call generation in vml->zap_gen and
serialize zap_pages() callers with a new arena->zap_mutex so
concurrent callers on different uaddr ranges do not mark each other's
vmls processed before the zap is done.
📍 영향받는 시스템
Linux kernel (BPF 관련 기능이 활성화된 버전)
⚔️ 공격 벡터
특정 메모리 매핑 및 BPF 관련 시스템 호출을 정교하게 조작하여 교착 상태를 유도하는 방식
🛡️ 대응 방법
Linux 커널을 최신 보안 패치가 적용된 버전으로 업데이트하십시오.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 해결된 패치 버전 이후인지 확인하십시오.