0001 .. include:: ../disclaimer-ita.rst
0002
0003 :Original: :ref:`Documentation/process/programming-language.rst <programming_language>`
0004 :Translator: Federico Vaga <federico.vaga@vaga.pv.it>
0005
0006 .. _it_programming_language:
0007
0008 Linguaggio di programmazione
0009 ============================
0010
0011 Il kernel è scritto nel linguaggio di programmazione C [it-c-language]_.
0012 Più precisamente, il kernel viene compilato con ``gcc`` [it-gcc]_ usando
0013 l'opzione ``-std=gnu11`` [it-gcc-c-dialect-options]_: il dialetto GNU
0014 dello standard ISO C11.
0015 Linux supporta anche ``clang`` [it-clang]_, leggete la documentazione
0016 :ref:`Building Linux with Clang/LLVM <kbuild_llvm>`.
0017
0018 Questo dialetto contiene diverse estensioni al linguaggio [it-gnu-extensions]_,
0019 e molte di queste vengono usate sistematicamente dal kernel.
0020
0021 Il kernel offre un certo livello di supporto per la compilazione con
0022 ``icc`` [it-icc]_ su diverse architetture, tuttavia in questo momento
0023 il supporto non è completo e richiede delle patch aggiuntive.
0024
0025 Attributi
0026 ---------
0027
0028 Una delle estensioni più comuni e usate nel kernel sono gli attributi
0029 [it-gcc-attribute-syntax]_. Gli attributi permettono di aggiungere una semantica,
0030 definita dell'implementazione, alle entità del linguaggio (come le variabili,
0031 le funzioni o i tipi) senza dover fare importanti modifiche sintattiche al
0032 linguaggio stesso (come l'aggiunta di nuove parole chiave) [it-n2049]_.
0033
0034 In alcuni casi, gli attributi sono opzionali (ovvero un compilatore che non
0035 dovesse supportarli dovrebbe produrre comunque codice corretto, anche se
0036 più lento o che non esegue controlli aggiuntivi durante la compilazione).
0037
0038 Il kernel definisce alcune pseudo parole chiave (per esempio ``__pure``)
0039 in alternativa alla sintassi GNU per gli attributi (per esempio
0040 ``__attribute__((__pure__))``) allo scopo di mostrare quali funzionalità si
0041 possono usare e/o per accorciare il codice.
0042
0043 Per maggiori informazioni consultate il file d'intestazione
0044 ``include/linux/compiler_attributes.h``.
0045
0046 .. [it-c-language] http://www.open-std.org/jtc1/sc22/wg14/www/standards
0047 .. [it-gcc] https://gcc.gnu.org
0048 .. [it-clang] https://clang.llvm.org
0049 .. [it-icc] https://software.intel.com/en-us/c-compilers
0050 .. [it-gcc-c-dialect-options] https://gcc.gnu.org/onlinedocs/gcc/C-Dialect-Options.html
0051 .. [it-gnu-extensions] https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html
0052 .. [it-gcc-attribute-syntax] https://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html
0053 .. [it-n2049] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2049.pdf
