🇰🇷 한글 설명
Linux 커널의 jbd2 파일 시스템 구성 요소에서 jbd2_journal_cancel_revoke() 함수 호출 시 데드락(교착 상태)이 발생하는 취약점입니다. 파일 시스템 블록 크기가 페이지 크기보다 작을 경우 잠금 순서가 어긋나 시스템이 멈출 수 있습니다.
💡 쉬운 설명
컴퓨터의 파일 저장 시스템에서 두 가지 작업이 서로 상대방의 작업이 끝나기만을 기다리며 무한히 대기하는 현상이 발생할 수 있습니다. 이로 인해 시스템이 응답하지 않고 멈추는 현상이 나타날 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
jbd2: fix deadlock in jbd2_journal_cancel_revoke()
Commit f76d4c28a46a ("fs/jbd2: use sleeping version of
__find_get_block()") changed jbd2_journal_cancel_revoke() to use
__find_get_block_nonatomic() which holds the folio lock instead of
i_private_lock. This breaks the lock ordering (folio -> buffer) and
causes an ABBA deadlock when the filesystem blocksize < pagesize:
T1 T2
ext4_mkdir()
ext4_init_new_dir()
ext4_append()
ext4_getblk()
lock_buffer() <- A
sync_blockdev()
blkdev_writepages()
writeback_iter()
writeback_get_folio()
folio_lock() <- B
ext4_journal_get_create_access()
jbd2_journal_cancel_revoke()
__find_get_block_nonatomic()
folio_lock() <- B
block_write_full_folio()
lock_buffer() <- A
This can occasionally cause generic/013 to hang.
Fix by only calling __find_get_block_nonatomic() when the passed
buffer_head doesn't belong to the bdev, which is the only case that we
need to look up its bdev alias. Otherwise, the lookup is redundant since
the found buffer_head is equal to the one we passed in.
📍 영향받는 시스템
Linux Kernel (jbd2 모듈을 사용하는 ext4 파일 시스템 환경)
⚔️ 공격 벡터
로컬 공격자가 특정 파일 시스템 작업(디렉토리 생성 등)을 유도하여 시스템을 중단시킬 수 있음
🛡️ 대응 방법
커널 패치(Commit f76d4c28a46a 포함 버전)를 적용하여 jbd2 잠금 로직을 수정해야 함
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 수정된 패치 버전 이후인지 확인합니다.