cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

programming-language.rst (2486B)


      1.. include:: ../disclaimer-ita.rst
      2
      3:Original: :ref:`Documentation/process/programming-language.rst <programming_language>`
      4:Translator: Federico Vaga <federico.vaga@vaga.pv.it>
      5
      6.. _it_programming_language:
      7
      8Linguaggio di programmazione
      9============================
     10
     11Il kernel è scritto nel linguaggio di programmazione C [it-c-language]_.
     12Più precisamente, il kernel viene compilato con ``gcc`` [it-gcc]_ usando
     13l'opzione ``-std=gnu11`` [it-gcc-c-dialect-options]_: il dialetto GNU
     14dello standard ISO C11.
     15Linux supporta anche ``clang`` [it-clang]_, leggete la documentazione
     16:ref:`Building Linux with Clang/LLVM <kbuild_llvm>`.
     17
     18Questo dialetto contiene diverse estensioni al linguaggio [it-gnu-extensions]_,
     19e molte di queste vengono usate sistematicamente dal kernel.
     20
     21Il kernel offre un certo livello di supporto per la compilazione con
     22``icc`` [it-icc]_ su diverse architetture, tuttavia in questo momento
     23il supporto non è completo e richiede delle patch aggiuntive.
     24
     25Attributi
     26---------
     27
     28Una delle estensioni più comuni e usate nel kernel sono gli attributi
     29[it-gcc-attribute-syntax]_. Gli attributi permettono di aggiungere una semantica,
     30definita dell'implementazione, alle entità del linguaggio (come le variabili,
     31le funzioni o i tipi) senza dover fare importanti modifiche sintattiche al
     32linguaggio stesso (come l'aggiunta di nuove parole chiave) [it-n2049]_.
     33
     34In alcuni casi, gli attributi sono opzionali (ovvero un compilatore che non
     35dovesse supportarli dovrebbe produrre comunque codice corretto, anche se
     36più lento o che non esegue controlli aggiuntivi durante la compilazione).
     37
     38Il kernel definisce alcune pseudo parole chiave (per esempio ``__pure``)
     39in alternativa alla sintassi GNU per gli attributi (per esempio
     40``__attribute__((__pure__))``) allo scopo di mostrare quali funzionalità si
     41possono usare e/o per accorciare il codice.
     42
     43Per maggiori informazioni consultate il file d'intestazione
     44``include/linux/compiler_attributes.h``.
     45
     46.. [it-c-language] http://www.open-std.org/jtc1/sc22/wg14/www/standards
     47.. [it-gcc] https://gcc.gnu.org
     48.. [it-clang] https://clang.llvm.org
     49.. [it-icc] https://software.intel.com/en-us/c-compilers
     50.. [it-gcc-c-dialect-options] https://gcc.gnu.org/onlinedocs/gcc/C-Dialect-Options.html
     51.. [it-gnu-extensions] https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html
     52.. [it-gcc-attribute-syntax] https://gcc.gnu.org/onlinedocs/gcc/Attribute-Syntax.html
     53.. [it-n2049] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2049.pdf