Blog

이번 주 LWN.net 위클리 에디션(10월 29일자) 주요 내용이다. CPython의 실험적 JIT는 PEP 836이 철회되면서 main 브랜치에서 빠지게 됐다. 리누스 토발즈는 x86에서 __get_user()와 __put_user()를 없앴다. 48개 패치를 만드는 데 LLM을 “코시넬(Coccinelle) 스크립트”처럼 썼다.

Kangrejos 2026에서는 두 가지를 논의했다. 커널 Rust 코드가 언제 panic해도 되는지, 그리고 앞으로 Rust 언어에 들어올 기능이다. 이 밖에 세 가지를 더 정리한다. LLM으로 작성한 브라우저 Northstar의 배포판 진입 시도, 7.4 머지 윈도우 전반부, 커널 스택 축소 논의다.

• Python’s experimental JIT to be removed — PEP 836 철회, JIT는 3.16 개발 초기에 main에서 빠진다
• The end of __get_user() and __put_user() — SMAP 이후 더 느려진 비검사 접근 매크로를 토발즈가 정리했다
• Guidelines for panics in kernel code — “오류 처리의 바람직함 사다리”와 리뷰 사례 5가지. 합의는 거의 없었다
• Rust features in the future — view type, pattern type, is 연산자, Polonius 빌림 검사기, comptime
• The campaign to push Northstar into Linux distributions — LLM으로 만든 반년 된 브라우저. 보안 리포트에서 치명 8건, 높음 8건이 나왔다
• The first part of the 7.4 merge window — 체인지셋 6,753개. CLOSE_RANGE_EXCEPT, TCP ROCCET, Landlock 네임스페이스 제한
• Seeking smaller kernel stacks — 근거가 불분명한 16KB, 8KB로 줄이면 무엇이 깨지는가
• 짧은 소식: KeePassXC 2.8.0, 커널 릴리스 현황, sched_ext, 라즈베리파이 5, Redox OS, systemd의 Rust, 인용문

Python의 실험적 JIT 제거

CPython JIT는 2024년 3.13에 실험적 기능으로 들어왔다. 브랜트 부커(Brandt Bucher)가 표준 트랙(standards-track) PEP 없이 머지했고, 사후에 정보성(informational) PEP 744만 작성했다. 운영위원회(steering council)는 올해 6월 이 상태를 바로잡기로 했다.

브렛 캐넌(Brett Cannon)은 JIT를 이끌던 사람이 모두 PEP 작성자나 기여자라서 대안 PEP가 나올 가능성은 낮다고 했다. JIT는 문제를 일찍 발견할 수 있도록 3.16 개발 주기 초반에 제거될 전망이다.

__get_user()와 __put_user()의 퇴장

__get_user()와 __put_user()는 주소를 검사하지 않고 사용자 공간에 접근하는 매크로다. 호출자가 먼저 access_ok()로 한 번 검사한다. 예전에는 검사 비용이 컸기 때문에 이 매크로가 빨랐다. 지금은 SMAP(supervisor-mode access prevention)을 접근마다 껐다 켜는 비용이 더 커서, 이 매크로도 검사하는 버전보다 빠르지 않다.

여러 필드를 읽을 때 지금 권장하는 방법은 6.18에서 들어온 scope guard다. 블록을 벗어나면 컴파일러가 SMAP을 다시 켠다. 그래서 오류 경로에서 사용자 공간 접근을 켜 둔 채 빠져나가는 버그가 생기지 않는다.

scoped_user_read_access(ptr, label) {
	unsafe_get_user(dest1, ptr->field1, label);
	/* ... */
	unsafe_get_user(destN, ptr->fieldN, label);
}

7.4부터 x86에는 두 매크로가 아예 없다. arm64에서는 원래 동작 차이가 없어서 당분간 남는다. x86용 out-of-tree 모듈은 수정해야 한다.

커널 Rust 코드의 panic 가이드라인

알렉상드르 쿠르보(Alexandre Courbot)는 Kangrejos에서 오류 처리의 “바람직함 사다리”를 제시했다. 실패할 수 없는 코드가 가장 좋고, 그다음이 컴파일 타임 검사, Result를 쓰는 런타임 검사 순이다. panic은 최후의 수단이다. 사다리를 올라간 예로 Nova 드라이버의 vGPU 상태 표현이 나왔다.

// 변경 전: enabled == true인데 total_vfs == 0인 상태를 런타임에 계속 검사
struct VgpuState {
    enabled: bool,
    total_vfs: u16,
}

// 변경 후: 잘못된 상태를 표현할 수 없음
enum VgpuState {
    Disabled,
    Enabled {
        total_vfs: NonZero<u16>,
    },
}

도달 가능한 panic은 버그라는 점, 컴파일 타임 검사가 런타임 검사보다 낫다는 점만 합의됐다. 오헤다는 드라이버가 코어 코드보다 panic을 더 엄격하게 정당화해야 한다고 했다. 게리 궈(Gary Guo)는 “자기 완결적” 컴포넌트라면 잘못된 입력에 panic해도 된다고 봤다. 코딩 가이드라인은 아직 갱신되지 않았다.

앞으로 Rust에 들어올 기능

조시 트리플렛(Josh Triplett)은 커널 개발자들이 이미 기다리는 기능 말고, Rust 프로젝트가 현재 작업 중인 다른 기능을 소개했다.

오헤다에 따르면 커널은 stable과 nightly 컴파일러 모두로 테스트되므로 Polonius에서도 동작한다. 다만 최소 지원 Rust 버전을 올리기 전에는 전체 커널에 무조건 켤 수 없다.

Northstar 브라우저를 배포판에 넣으려는 시도

Nordstjernen은 2026년 초에 등장한 브라우저 프로젝트다. 1.0 발표문은 엔진이 “Claude와 Codex가 쓴 C 코드 약 88,000줄”이라고 했다. 탭과 WebGL을 뺀 GPLv3 변형이 Northstar다. 개발자 안드레아스 뢰스달(Andreas Røsdal)은 Debian과 Arch Linux에 이 브라우저를 넣어 달라고 요청했다.

Debian에서 거절당하자 뢰스달은 쵸가 Google 소속이라 편향됐다며 Arch AUR로 옮겼다. Arch에서도 옐레 판 데르 바(Jelle van der Waa)가 장기 유지 능력과 보안 리뷰를 먼저 보여 달라며 패키징에 반대했다.

7.4 머지 윈도우 전반부

지금까지 메인라인에 머지 제외 체인지셋 6,753개가 들어왔다. linux-next에는 11,461개가 남아 있고, 머지 윈도우가 3주로 늘어날 가능성도 있다.

크리스티안 브라우너(Christian Brauner)는 코어 덤프와 시그널 사이의 버그를 TLA+ 모델로 찾아 고쳤다. binfmt_misc는 이제 구분자로 구두점만 받는다.

더 작은 커널 스택을 찾아서

arm64와 x86에서 스레드마다 16KB의 커널 스택이 페이지 아웃 없이 잡혀 있다. 유휴 상태의 Android 기기도 스레드가 5,000개쯤이고, 데이터센터 전체로는 페타바이트 단위가 된다. 윌 디컨(Will Deacon)은 LPC 메모리 관리 마이크로컨퍼런스에서 이 16KB의 근거부터 되짚었다.

8KB 스택으로 빌드하면 테스트는 거의 통과하지만 메모리 압박 테스트가 실패한다. 크래시에는 거의 항상 direct reclaim이 끼어 있다. 4KB 스택은 부팅조차 안 된다.

slab 할당자로 스택을 잡자는 제안은 가드 페이지가 없다는 이유로 기각됐다. 결론은 없었지만 스택 전환 메커니즘이 곧 메일링 리스트에 올라올 가능성이 높다.

짧은 소식

• KeePassXC 2.8.0 — Qt5에서 Qt6로 전환했다. 새 기능은 Wayland 자동 입력(Auto-Type), 단축키 설정, 외부 도구로 하는 원격 DB 동기화, Polkit 빠른 잠금 해제다. Windows ARM64 네이티브 빌드와 실험적 AArch64 AppImage도 처음 나왔다.
• 커널 릴리스 현황 — 7.4 머지 윈도우는 11월 1일에 닫힐 예정이다. 10월 26일 7.2.13과 6.18.59가 나왔다. 리뷰 중인 안정 버전 8개는 10월 30일에 나올 예정이다. 7.3.1, 7.2.14, 6.18.60, 6.12.115, 6.6.161, 6.1.191, 5.15.224, 5.10.273이다. 보안 관련 수정이 여럿 있고 6.1.191은 특히 크다.
• LPC sched_ext 마이크로컨퍼런스 — 주요 주제는 세 가지였다. 첫째는 우선순위 역전이다. 락 홀더 선점, 타임 슬라이스 연장, proxy execution과 BPF 스케줄러의 결합을 다뤘다. 둘째는 호스트와 게스트 스케줄러가 협력하는 반가상화 스케줄링이다. 셋째는 Intel HFI와 캐시 토폴로지를 쓰는 토폴로지 인지 스케줄링이다.
• Fedora의 라즈베리파이 5 지원 — 피터 로빈슨(Peter Robinson)에 따르면 Fedora 45는 Model 5B 전 변형에서 동작한다. 가속 데스크톱, 스토리지, 네트워크, USB가 되고 사운드는 아직 안 된다. Compute Module 5와 Pi 500+는 작업 중이다. Fedora 44는 첫 부팅에 임시 우회가 필요하다.
• Redox OS 링 버퍼 — Redox는 Rust로 작성한 마이크로커널 OS다. 지원금을 받아 진행한 io_uring 방식 링 버퍼 작업을 9월에 마쳤다. 결과물은 세 가지다. 시스템 서비스와 드라이버용 링 버퍼, 애플리케이션용 liburing 유사 API, 드라이버용 async 실행기다.
• systemd의 Rust 지원 — 크리스티안 브라우너가 systemd 리프(leaf) 컴포넌트를 Rust로 작성할 수 있게 머지했다. 기존 코드는 옮기지 않고, 다른 컴포넌트가 의존하는 부분에는 쓰지 않는다. 코어까지 넓히려면 Rust의 동적 라이브러리 지원 문제가 먼저 풀려야 한다. 12월 예정인 v263에 들어갈 전망이다.
• 이번 주 인용문 — 벤 피니(Ben Finney)는 Debian NEW 큐에 LLM 리뷰를 넣자는 논의에서 이렇게 말했다. “사람은 동료라서 관용을 베풀어야 하지만, 기계에는 그럴 의무가 없다.” 제이미 샤프(Jamey Sharp)는 Rust 300줄로 첫 Wayland 클라이언트를 작성했다. 그는 Wayland가 “쉬운 일을 쉽게”보다 “어려운 일을 가능하게”를 골랐고, 그 선택이 옳다고 평가했다.

이번 주 핵심 요약

• CPython JIT에 기대던 코드가 있다면 3.16부터 빌드 옵션 자체가 사라진다고 보고 계획한다. 성능이 필요하면 free-threaded 빌드, PyPy, 네이티브 확장을 비교할 것. 이번 사례는 기능보다 절차(표준 트랙 PEP)가 먼저라는 Python 거버넌스의 원칙을 보여준다.
• x86용 out-of-tree 모듈에서 __get_user()/__put_user()를 쓴다면 7.4 전에 고친다. 여러 필드를 읽는 코드는 scoped_user_read_access()로 옮기는 것이 기본이다. 토발즈의 사례처럼 이런 기계적 API 전환은 LLM이 가장 잘 쓰이는 영역이 되고 있다.
• 커널 Rust 코드를 리뷰한다면 panic을 줄이는 첫 대상은 산술 오버플로다. Nova의 사례처럼 enum과 NonZero로 잘못된 상태를 타입에서 없애는 것이 가장 효과적이다.
• Northstar 논란은 배포판이 새 패키지에 요구하는 조건을 분명히 보여준다. 장기 보안 백포트, 사람의 코드 리뷰, 유지보수 커뮤니티가 필요하다. LLM으로 코드를 빠르게 쓸 수 있어도 이 조건은 그대로다.
• 임베디드나 메모리가 작은 시스템이라면 커널 스택 크기를 커맨드라인으로 정하는 Saleh의 패치를 지켜볼 것. 12KB만 돼도 스레드가 많은 시스템에서는 메모리 절감 효과가 크다. 단, direct reclaim 경로가 스택을 가장 많이 쓴다는 점을 먼저 테스트한다.

원문: LWN.net Weekly Edition for October 29, 2026