🇰🇷 한글 설명
Linux 커널의 null_blk 드라이버에서 poll 요청 타임아웃 처리 중 레이스 컨디션(Race Condition)이 발생하여 커널 NULL 포인터 역참조로 인한 시스템 충돌(Kernel Panic)이 발생할 수 있는 취약점입니다. io_uring 벤치마크 수행 중 특정 조건에서 발생하며, 요청 상태를 적절히 보호하지 못해 발생합니다.
💡 쉬운 설명
컴퓨터의 핵심 운영체제(커널)에서 데이터 처리 요청을 처리하는 과정 중, 두 작업이 동시에 충돌하여 시스템이 갑자기 멈추거나 꺼질 수 있는 오류입니다. 특정 성능 테스트를 할 때 시스템이 비정상적으로 종료될 위험이 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
null_blk: fix poll request timeout handling
When doing io_uring benchmark on /dev/nullb0, it's easy to crash the
kernel if poll requests timeout triggered, as reported by David. [1]
BUG: kernel NULL pointer dereference, address: 0000000000000008
Workqueue: kblockd blk_mq_timeout_work
RIP: 0010:null_timeout_rq+0x4e/0x91
Call Trace:
? null_timeout_rq+0x4e/0x91
blk_mq_handle_expired+0x31/0x4b
bt_iter+0x68/0x84
? bt_tags_iter+0x81/0x81
__sbitmap_for_each_set.constprop.0+0xb0/0xf2
? __blk_mq_complete_request_remote+0xf/0xf
bt_for_each+0x46/0x64
? __blk_mq_complete_request_remote+0xf/0xf
? percpu_ref_get_many+0xc/0x2a
blk_mq_queue_tag_busy_iter+0x14d/0x18e
blk_mq_timeout_work+0x95/0x127
process_one_work+0x185/0x263
worker_thread+0x1b5/0x227
This is indeed a race problem between null_timeout_rq() and null_poll().
null_poll() null_timeout_rq()
spin_lock(&nq->poll_lock)
list_splice_init(&nq->poll_list, &list)
spin_unlock(&nq->poll_lock)
while (!list_empty(&list))
req = list_first_entry()
list_del_init()
...
blk_mq_add_to_batch()
// req->rq_next = NULL
spin_lock(&nq->poll_lock)
// rq->queuelist->next == NULL
list_del_init(&rq->queuelist)
spin_unlock(&nq->poll_lock)
Fix these problems by setting requests state to MQ_RQ_COMPLETE under
nq->poll_lock protection, in which null_timeout_rq() can safely detect
this race and early return.
Note this patch just fix the kernel panic when request timeout happen.
[1] https://lore.kernel.org/all/
[email protected]/
📍 영향받는 시스템
Linux Kernel (null_blk 드라이버를 사용하는 버전)
⚔️ 공격 벡터
로컬 사용자가 io_uring을 사용하여 /dev/nullb0 장치에 대한 벤치마크를 수행함으로써 시스템 충돌 유도
🛡️ 대응 방법
null_blk의 poll 요청 타임아웃 처리가 수정된 최신 Linux 커널로 업데이트
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 패치된 최신 보안 업데이트 버전인지 확인