Microsoft의 Tier-1 언어가 된 Rust, MSVC backend까지 연결
‘Rust를 쓴다’는 선언보다 Windows의 생산 배포 경로에 Rust를 정식 편입한 점이 더 큰 뉴스다. Microsoft는 Rust에 C++·C#·TypeScript와 같은 Tier-1 지위를 부여하고, rustc를 MSVC backend에 연결하는 작업을 공개했다.
원문: Rust Is Tier-1 Language at Microsoft 원문 보기 →
Rust가 Microsoft 내부에서 C++, C#, TypeScript와 나란히 Tier-1 언어가 됐다. 새 프로젝트에서 선택할 수 있다는 의미보다 훨씬 무겁다. 로컬 개발부터 실제 서비스 배포까지 보안 도구 체인, 개발 환경, 품질 검사, 플랫폼 통합, Microsoft SDL 준수 경로를 회사가 공식 지원한다는 뜻이다. HN에서 관심이 모인 대목도 이름표보다 Windows의 오랜 C++ 기반 시설에 Rust가 어떻게 들어가는지였다.
Rust Foundation에 실린 Microsoft의 기고문은 firmware와 driver, kernel, hypervisor, microservice, app까지 Rust 사용 범위를 열거한다. 수십 년 동안 Windows와 함께 발전한 C·C++ 생태계를 한 번에 갈아엎겠다는 계획은 아니다. Rust와 C++가 섞인 제품에서 ABI, 디버깅, 보안 강화, 사후 분석을 같은 운영 체계로 다루려는 쪽에 가깝다.
이를 위한 핵심 작업이 rustc_codegen_utc다. rustc_codegen_llvm, GCC, Cranelift 계열과 같은 위치에서 rustc의 공통 compiler machinery를 MSVC의 UTC backend에 연결한다. 목표에는 Windows 도구와 ABI 호환성, binary hardening, Hotpatch를 포함한 servicing, Rust/C++ 상호운용, 언어를 넘는 inlining과 최적화, SPGO, crash dump 분석과 profiling이 들어간다.
이 설계가 중요한 이유는 Windows 전용 기능을 Rust 쪽에서 매번 따로 재구현하지 않아도 되기 때문이다. MSVC backend에 새 보안 기능이나 진단 기술이 추가되면 두 언어가 공통 기반을 이용할 수 있다. 기존 대형 C++ 코드와 새 Rust 모듈이 함께 움직이는 현실적인 전환에도 맞는다. 메모리 안전성을 얻기 위해 제품 전체를 즉시 다시 쓰는 대신, 경계를 유지하면서 새 코드부터 Rust 비중을 늘릴 수 있다. 팀 입장에서는 언어 선택 뒤에 별도 build·보안 예외를 설계해야 하는 부담도 실무적으로 크게 줄어든다.
커뮤니티 토론은 두 가지 빈칸을 짚었다. 하나는 이 backend가 Microsoft 밖에서도 사용할 수 있게 공개될지, 다른 하나는 Visual Studio의 디버깅 경험이 Tier-1이라는 이름에 걸맞게 따라올지다. 공식 글은 내부 engineering status와 기술 방향을 분명히 했지만, 외부 배포 일정이나 지원 제품의 세부 목록까지 확정하지는 않았다.
따라서 이번 변화는 C++의 즉각적인 퇴장보다 Rust의 생산 운영 자격 획득으로 보는 편이 맞다. 언어 채택이 실험 단계를 벗어나려면 compiler만 아니라 build, compliance, debugging, servicing이 모두 이어져야 한다. Microsoft는 바로 그 ‘포장도로’를 만들고 있으며, rustc_codegen_utc는 전략을 구현하는 가장 구체적인 조각이다.
관련 기사
GitHub, 조기 종료 분기 하나 없애 코드 검색 대소문자 변환을 3.1→45 GiB/s로 가속
더 빨리 멈추려던 분기문이 오히려 자동 벡터화를 막고 있었다. GitHub은 Apple M4 단일 코어에서 ASCII 대소문자 접기 처리량을 3.1 GiB/s에서 45 GiB/s 이상으로 끌어올렸다.
수컷 초파리 뇌 16만6000개 뉴런 완전 지도…AI가 이은 1억2500만 시냅스의 최대 커넥톰
16만6000개가 넘는 뉴런과 1억2500만 개 시냅스 연결을 담은 수컷 초파리 뇌·중추신경계 지도가 완성됐다. AI로 전자현미경 절편을 3차원 신경망으로 복원한 이 데이터는 성별에 따른 회로 차이와 감각이 행동으로 이어지는 경로를 한 번에 비교할 기반이다.
Claude가 11일 만에 완성한 페르마의 마지막 정리 형식 증명
Anthropic의 Claude가 11일 동안 거의 자율적으로 작업하며 페르마의 마지막 정리의 첫 컴퓨터 검증 증명을 완성했다. 1,300만 줄의 Lean 코드로 29,500개 이상의 수학 정리를 증명한 이번 성과는 AI 지원 수학 형식화의 새로운 장을 열었다.