요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.
1. 요약·해설
원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.
Compiler attribute
programming-language.rst:15-34Attribute는 새 keyword를 language grammar에 직접 추가하지 않고 variable, function, type에 implementation-defined semantics를 부여한다.
일부 attribute는 optional이다. Compiler가 지원하지 않아도 올바른 code를 생성해야 하지만 최적화가 약하거나 compile-time check와 diagnostic이 줄어들 수 있다.
/* 직접 GNU syntax를 쓰기보다 */
__attribute__((__pure__))
/* kernel pseudo-keyword를 사용한다. */
__pureKernel은 GNU attribute syntax를 직접 반복하지 않고 __pure 같은 pseudo-keyword를 정의한다. Compiler별 feature detection을 적용하고 source를 짧게 유지하기 위해서다. 실제 mapping은 include/linux/compiler_attributes.h에서 확인한다.
Rust support
programming-language.rst:36-49CONFIG_RUST를 enable하면 kernel은 experimental Rust support를 제공한다. rustc의 --edition=2021로 compile하며 edition은 작은 비호환 language 변경을 묶어 도입하는 단위다.
Kernel은 일부 unstable Rust feature도 사용한다. Unstable feature는 향후 바뀔 수 있으므로 장기 목표는 stable feature만으로 kernel Rust code를 build하는 것이다.
Toolchain, abstraction와 coding rule의 자세한 내용은 Documentation/rust/index.rst에서 확인한다.
원문 reference
programming-language.rst:51-61원문은 ISO C 표준, GCC와 Clang, GCC dialect·extension·attribute 문서, C attribute 제안 N2049, Rust language·rustc·edition guide와 Rust-for-Linux unstable-feature tracker를 reference로 연결한다.
2. 영어 원문 전체
번역 기준이 된 Linux v6.18.37 원문입니다. 줄 번호는 이 버전의 파일 좌표입니다.
원문 전체 펼치기
.. _programming_language:
Programming Language
====================
The kernel is written in the C programming language [c-language]_.
More precisely, the kernel is typically compiled with ``gcc`` [gcc]_
under ``-std=gnu11`` [gcc-c-dialect-options]_: the GNU dialect of ISO C11.
``clang`` [clang]_ is also supported, see docs on
:ref:`Building Linux with Clang/LLVM <kbuild_llvm>`.
This dialect contains many extensions to the language [gnu-extensions]_,
and many of them are used within the kernel as a matter of course.
Attributes
----------
One of the common extensions used throughout the kernel are attributes
[gcc-attribute-syntax]_. Attributes allow to introduce
implementation-defined semantics to language entities (like variables,
functions or types) without having to make significant syntactic changes
to the language (e.g. adding a new keyword) [n2049]_.
In some cases, attributes are optional (i.e. a compiler not supporting them
should still produce proper code, even if it is slower or does not perform
as many compile-time checks/diagnostics).
The kernel defines pseudo-keywords (e.g. ``__pure``) instead of using
directly the GNU attribute syntax (e.g. ``__attribute__((__pure__))``)
in order to feature detect which ones can be used and/or to shorten the code.
Please refer to ``include/linux/compiler_attributes.h`` for more information.
Rust
----
The kernel has experimental support for the Rust programming language
[rust-language]_ under ``CONFIG_RUST``. It is compiled with ``rustc`` [rustc]_
under ``--edition=2021`` [rust-editions]_. Editions are a way to introduce
small changes to the language that are not backwards compatible.
On top of that, some unstable features [rust-unstable-features]_ are used in
the kernel. Unstable features may change in the future, thus it is an important
goal to reach a point where only stable features are used.
Please refer to Documentation/rust/index.rst for more information.
.. [c-language] http://www.open-std.org/jtc1/sc22/wg14/www/standards
.. [gcc] https://gcc.gnu.org
.. [clang] https://clang.llvm.org
.. [gcc-c-dialect-options] https://gcc.gnu.org/onlinedocs/gcc/C-Dialect-Options.html
.. [gnu-extensions] https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html
.. [gcc-attribute-syntax] https://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html
.. [n2049] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2049.pdf
.. [rust-language] https://www.rust-lang.org
.. [rustc] https://doc.rust-lang.org/rustc/
.. [rust-editions] https://doc.rust-lang.org/edition-guide/editions/
.. [rust-unstable-features] https://github.com/Rust-for-Linux/linux/issues/2
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 URL은 원문 표기를 유지합니다.
C programming language
1-13Kernel은 C programming language로 작성된다. 더 정확히는 일반적으로 gcc에서 -std=gnu11을 사용해 compile한다. 이는 ISO C11의 GNU dialect다. clang도 지원하며 자세한 내용은 Building Linux with Clang/LLVM 문서를 참조한다.
이 dialect에는 여러 GNU language extension이 포함되어 있으며, kernel은 그중 많은 기능을 일상적으로 사용한다.
Attribute
15-32Kernel 전반에서 흔히 사용하는 extension 가운데 하나가 attribute다. Attribute를 사용하면 새 keyword를 추가하는 것처럼 language syntax를 크게 바꾸지 않고도 variable, function, type 같은 language entity에 implementation-defined semantics를 부여할 수 있다.
일부 attribute는 선택 사항이다. Compiler가 이를 지원하지 않더라도 더 느리거나 compile-time check와 diagnostic이 줄어들 수는 있지만, 올바른 code를 만들어야 한다.
Kernel은 GNU attribute syntax를 직접 사용하는 대신 __pure 같은 pseudo-keyword를 정의한다. 이를 통해 사용할 수 있는 attribute를 feature detection하고 code를 더 짧게 쓸 수 있다. 자세한 내용은 include/linux/compiler_attributes.h를 참조한다.
Rust
34-58Kernel은 CONFIG_RUST 아래에서 Rust programming language를 실험적으로 지원한다. rustc와 --edition=2021을 사용해 compile한다. Edition은 backward compatibility가 없는 작은 language 변경을 도입하는 방법이다.
Kernel은 일부 unstable feature도 사용한다. Unstable feature는 앞으로 변경될 수 있으므로 stable feature만 사용하는 단계에 도달하는 것이 중요한 목표다. 자세한 내용은 Documentation/rust/index.rst를 참조한다.
C 표준, GCC, Clang, GNU extension과 attribute syntax, N2049, Rust, rustc, Rust edition 및 Rust-for-Linux unstable feature의 원문 reference URL은 영어 원문의 각 footnote에 보존되어 있다.
GNU dialect of ISO C11
programming-language.rst:1-13Linux kernel은 C로 작성한다. 더 정확히는 보통 GCC의 -std=gnu11 option으로 compile하는 ISO C11의 GNU dialect를 사용한다. Clang도 공식 지원한다.
GNU dialect에는 표준 C에 없는 여러 extension이 있고 kernel code는 이 기능을 일상적으로 사용한다. 따라서 user-space의 strictly conforming ISO C만 알고 있다면 statement expression, typeof, attribute 등 GNU extension도 함께 이해해야 한다.