🇰🇷 한글 설명
Linux 커널의 net/rds 구성 요소에서 rds_tcp_reset_callbacks() 함수가 RDS_IN_XMIT 비트를 적절히 소유하지 않고 샘플링만 하여 발생하는 레이스 컨디션 취약점입니다. 약한 메모리 순서(weakly ordered)를 사용하는 아키텍처에서 송신 경로와 리셋 경로가 동시에 실행되어 상태 값이 손상될 수 있습니다.
💡 쉬운 설명
데이터를 보내는 통로를 닫는 과정에서 데이터 전송 기능이 완전히 멈추지 않아, 두 작업이 동시에 충돌하며 시스템 상태를 망가뜨릴 수 있는 문제입니다. 이는 주로 특수한 CPU 구조를 가진 시스템에서 발생할 수 있습니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
net/rds: acquire RDS_IN_XMIT in rds_tcp_reset_callbacks()
rds_tcp_reset_callbacks() quiesces the transmit path by setting the
path state to RDS_CONN_RESETTING and then waiting for RDS_IN_XMIT to
be sampled clear before swapping the underlying socket and calling
rds_send_path_reset().
Sampling the bit clear is not the same as owning it: rds_send_xmit()
can re-acquire RDS_IN_XMIT right after the wait_event() returns. Its
state recheck after taking the lock is a store-buffering pattern (the
resetter writes the state and reads the bit, the sender writes the
bit and reads the state) and acquire_in_xmit() is only an acquire
operation, so on weakly ordered architectures both sides can miss
each other's write and the transmit path then runs concurrently with
rds_send_path_reset() rewriting cp_xmit_* state - which is exactly
what the comment above rds_send_path_reset() tells its callers to
prevent.
Take the lock instead, hold it across the socket swap and
rds_send_path_reset(), and release it with a wake-up at the end. The
lock-ordering constraint documented above the wait still holds: the
lock is acquired before lock_sock(), so a sender inside tcp_sendmsg()
can never be waited on while we hold the socket lock.
Two details of the old code go away with the same change:
- t_sock is now read only after the lock is acquired. The old code
cached it before waiting; the teardown in rds_conn_shutdown()
releases that socket and clears t_sock, so a pointer cached before
the wait can be stale by the time the accept path resumes. Reading
it under RDS_IN_XMIT is what makes the exclusion complete once the
teardown owns the same lock, which the next patch arranges; until
then the teardown still only samples the bit, and the two paths
remain as exposed to each other as they are today.
- The old !osock early path called rds_send_path_reset() with no
serialization at all. It now runs under the lock like the normal
path. The conditional RDS_CONN_RESETTING transition of the
previous patch happens before the socket check either way: a path
found without a socket is either still connecting (its reconnect
worker blocked on t_conn_path_lock) and legitimately goes
RESETTING -> UP on the new socket, or it has been torn down
meanwhile and is dropped.
The in-function comment describing the old wait-based quiesce is
rewritten to describe the lock-based one, and the stale block comment
above the function (which still described a return value and an
incomplete list of t_sock writers) is refreshed to name all four
writers - the connect, accept, teardown and swap paths - and what
serializes each of them.
📍 영향받는 시스템
Linux Kernel (RDS 프로토콜을 사용하는 시스템)
⚔️ 공격 벡터
네트워크 연결 리셋 과정에서 발생하는 레이스 컨디션을 이용한 동시성 공격
🛡️ 대응 방법
RDS 관련 커널 패치를 적용하여 비트 샘플링 방식 대신 락(Lock)을 사용하여 송신 경로를 제어하도록 업데이트해야 합니다.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 해결된 최신 보안 패치 버전인지 확인합니다.