Rust for Linux: 커널 개발을 위한 3가지 핵심 언어 기능

원문: LWN.net - Upcoming Rust language features for kernel development
깃허브: https://github.com/sumin-world/rust-security-suminworld

들어가며

리눅스 커널을 Rust로 작성하려는 Rust for Linux 프로젝트가 진행되면서, Rust 언어 자체도 발전하고 있습니다. 이번 포스팅에서는 Kangrejos 2025 컨퍼런스에서 발표된 커널 개발에 필요한 3가지 핵심 Rust 언어 기능을 살펴보겠습니다.

---

1. Field Projections (필드 투영) 

문제 상황

Rust에는 이미 기본 포인터 타입(&, *mut)에 대한 필드 접근 기능이 있습니다:

fn project_reference(r: &MyStruct) -> &Field {
    &r.field  // 구조체의 필드를 직접 참조
}

unsafe fn project_pointer(r: *mut MyStruct) -> *mut Field {
    unsafe { &raw mut (*r).field }
}

하지만 커스텀 스마트 포인터에서는 이게 안 됩니다.

왜 필요할까?

리눅스 커널에서는 다음과 같은 복잡한 상황이 자주 발생합니다:

RCU + Mutex 혼용 패턴

// C 코드에서는 이런 패턴이 흔함
struct data {
    struct mutex lock;
    int frequently_read_value;  // RCU로 보호
    int rarely_read_value;      // Mutex로 보호
};

// Reader: RCU lock만 사용 (빠름!)
// Writer: Mutex lock 사용 (서로 동기화)

현재 Rust에서는 이 패턴을 표현하기 어렵습니다:

• Mutex<T>는 락 없이 내부 접근 불가
• 하지만 RCU 필드는 락 없이 읽어야 성능이 나옴!

해결책: Generalized Field Projection

// 이상적인 미래 문법
let mutex_ref: &Mutex<MyStruct> = ...;
let rcu_field: &Rcu<Field> = mutex_ref.project_field();
// 락 없이 RCU 필드만 안전하게 접근!

---

2. In-place Initialization (제자리 초기화) 

문제 상황

현재 Rust에서 큰 객체를 힙에 할당하는 과정:

// 1. 스택에 객체 생성 (위험!)
let big_struct = BigStruct { 
    field1: [0u8; 1024],
    field2: [0u8; 1024],
    // ... 수백 개 필드
};

// 2. 힙으로 이동 (추가 복사 발생)
let boxed = Box::new(big_struct);

문제점:

• 커널 스택은 보통 8KB로 작음
• 큰 구조체는 스택 오버플로우 발생
• 스택 → 힙 복사 오버헤드

실제 사례: Asahi GPU 드라이버

Apple Silicon GPU 드라이버는 수백 개의 필드를 가진 구조체를 사용합니다. 스택에 올릴 수 없어서 매크로를 사용한 임시방편으로 해결 중입니다.

해결책 제안

방안 1: init 키워드

let boxed = Box::init MyStruct {
    field1: value1,
    field2: value2,
    // 처음부터 힙에 생성!
};

방안 2: &out 참조 타입

fn initialize(dest: &out MyStruct) {
    dest.field1 = value1;
    dest.field2 = value2;
    // 쓰기만 가능, 읽기 불가능한 참조
}

방안 3: C++ 스타일 보장된 최적화

// 컴파일러가 자동으로 힙에 직접 생성
let boxed = Box::new(MyStruct { ... });

---

3. Arbitrary Self Types (임의 자기 타입)

문제 상황

Rust에서 메서드는 보통 이렇게 작성합니다:

impl MyStruct {
    fn method(&self) { }      // OK
    fn method_mut(&mut self) { }  // OK
}

하지만 커널에서는 스마트 포인터가 필수적입니다:

// 이렇게 쓰고 싶은데...
impl MyStruct {
    fn method(self: Pin<&mut Self>) { }  // 현재 불가능!
    fn method(self: Arc<Self>) { }       // 현재 불가능!
}

왜 필요할까?

• Pin: 메모리에서 이동 불가능한 객체 (C FFI 등)
• Arc: 참조 카운팅 스마트 포인터 (커널에서 자주 사용)
• 현재는 Type::function() 형태로만 호출 가능 → 불편함

해결책: Receiver 트레이트

// 미래 문법
impl MyStruct {
    fn method(self: Pin<&mut Self>) {
        // Pin으로 감싼 상태에서도 .method() 호출 가능!
    }
}

let pinned: Pin<&mut MyStruct> = ...;
pinned.method();  // 이제 가능!

---

왜 이런 기능들이 중요할까?

리눅스 커널의 특수성

1. 작은 스택 크기: 유저스페이스와 달리 8KB로 제한
2. C 코드와의 상호운용: FFI를 통한 안전한 통신 필요
3. 고성능 동기화: RCU, Lock-free 자료구조 등
4. 메모리 안전성: Unsafe 코드 최소화

Rust의 장점을 살리려면?

• ✅ 메모리 안전성 (메모리 버그 80% 제거)
• ✅ 타입 시스템으로 동시성 보장
• ✅ Zero-cost abstraction
• ❌ 하지만 현재는 ergonomics가 부족!

이 3가지 기능이 추가되면 Rust로 커널 코드를 작성하는 것이 훨씬 쉬워집니다.

---

개발 현황 및 타임라인

기능 현재 상태 예상 완료 시기

Field Projections	설계 단계	2027년 (Debian 14)
In-place Init	제안 단계	미정
Arbitrary Self Types	구현 중	1년 이내 가능

중요: Rust for Linux는 안정화된 기능만 사용하려고 합니다. Debian stable에 포함될 때까지 기다려야 하므로 시간이 걸립니다.

---

실습해보기

이 기능들은 아직 unstable이지만 개념을 이해하기 위한 실습 코드는 아래 제 깃허브에 올려두었습니다.

 

https://github.com/sumin-world/rust-security-suminworld/tree/main/research/rust-kernel-features-study

rust-security-suminworld/research/rust-kernel-features-study at main · sumin-world/rust-security-suminworld

 

 

 

 

실습 내용:

1. 현재 Rust의 한계 체험하기
2. Field projection 개념 이해하기
3. Pin과 스마트 포인터 다루기
4. 커널 스타일 코드 작성해보기

 

참고 자료

• LWN.net 원문 기사
• Rust for Linux 공식 사이트
• Pin 문서
• Field Projection Tracking Issue
• pin-init 크레이트