xref: /linux/Documentation/translations/it_IT/process/4.Coding.rst (revision 7f71507851fc7764b36a3221839607d3a45c2025)
1.. include:: ../disclaimer-ita.rst
2
3:Original: :ref:`Documentation/process/4.Coding.rst <development_coding>`
4:Translator: Alessia Mantegazza <amantegazza@vaga.pv.it>
5
6.. _it_development_coding:
7
8Scrivere codice corretto
9========================
10
11Nonostante ci sia molto da dire sul processo di creazione, sulla sua solidità
12e sul suo orientamento alla comunità, la prova di ogni progetto di sviluppo
13del kernel si trova nel codice stesso.  È il codice che sarà esaminato dagli
14altri sviluppatori ed inserito (o no) nel ramo principale. Quindi è la
15qualità di questo codice che determinerà il successo finale del progetto.
16
17Questa sezione esaminerà il processo di codifica.  Inizieremo con uno sguardo
18sulle diverse casistiche nelle quali gli sviluppatori kernel possono
19sbagliare.  Poi, l'attenzione si sposterà verso "il fare le cose
20correttamente" e sugli strumenti che possono essere utili in questa missione.
21
22Trappole
23--------
24
25Lo stile del codice
26*******************
27
28Il kernel ha da tempo delle norme sullo stile di codifica che sono descritte in
29:ref:`Documentation/translations/it_IT/process/coding-style.rst <codingstyle>`.
30Per la maggior parte del tempo, la politica descritta in quel file è stata
31praticamente informativa.  Ne risulta che ci sia una quantità sostanziale di
32codice nel kernel che non rispetta le linee guida relative allo stile.
33La presenza di quel codice conduce a due distinti pericoli per gli
34sviluppatori kernel.
35
36Il primo di questi è credere che gli standard di codifica del kernel
37non sono importanti e possono non essere applicati.  La verità è che
38aggiungere nuovo codice al kernel è davvero difficile se questo non
39rispetta le norme; molti sviluppatori richiederanno che il codice sia
40riformulato prima che anche solo lo revisionino.  Una base di codice larga
41quanto il kernel richiede una certa uniformità, in modo da rendere possibile
42per gli sviluppatori una comprensione veloce di ogni sua parte.  Non ci sono,
43quindi, più spazi per un codice formattato alla carlona.
44
45Occasionalmente, lo stile di codifica del kernel andrà in conflitto con lo
46stile richiesto da un datore di lavoro.  In alcuni casi, lo stile del kernel
47dovrà prevalere prima che il codice venga inserito.  Mettere il codice
48all'interno del kernel significa rinunciare a un certo grado di controllo
49in differenti modi - incluso il controllo sul come formattare il codice.
50
51L’altra trappola è quella di pensare che il codice già presente nel kernel
52abbia urgentemente bisogno di essere sistemato.  Gli sviluppatori potrebbero
53iniziare a generare patch che correggono lo stile come modo per prendere
54famigliarità con il processo, o come modo per inserire i propri nomi nei
55changelog del kernel – o entrambe.  La comunità di sviluppo vede un attività
56di codifica puramente correttiva come "rumore"; queste attività riceveranno
57una fredda accoglienza.  Di conseguenza è meglio evitare questo tipo di patch.
58Mentre si lavora su un pezzo di codice è normale correggerne anche lo stile,
59ma le modifiche di stile non dovrebbero essere fatte fini a se stesse.
60
61Il documento sullo stile del codice non dovrebbe essere letto come una legge
62assoluta che non può mai essere trasgredita.  Se c’è un a buona ragione
63(per esempio, una linea che diviene poco leggibile se divisa per rientrare
64nel limite di 80 colonne), fatelo e basta.
65
66Notate che potete utilizzare lo strumento “clang-format” per aiutarvi con
67le regole, per una riformattazione automatica e veloce del vostro codice
68e per revisionare interi file per individuare errori nello stile di codifica,
69refusi e possibili miglioramenti.  Inoltre è utile anche per classificare gli
70``#includes``, per allineare variabili/macro, per testi derivati ed altri
71compiti del genere.  Consultate il file
72:ref:`Documentation/translations/it_IT/dev-tools/clang-format.rst <clangformat>`
73per maggiori dettagli
74
75Se utilizzate un programma compatibile con EditorConfig, allora alcune
76configurazioni basilari come l'indentazione e la fine delle righe verranno
77applicate automaticamente. Per maggiori informazioni consultate la pagina:
78https://editorconfig.org/
79
80Livelli di astrazione
81*********************
82
83
84I professori di Informatica insegnano ai propri studenti a fare ampio uso dei
85livelli di astrazione nel nome della flessibilità e del nascondere informazioni.
86Certo il kernel fa un grande uso dell'astrazione; nessun progetto con milioni
87di righe di codice potrebbe fare altrimenti e sopravvivere.  Ma l'esperienza
88ha dimostrato che un'eccessiva o prematura astrazione può rivelarsi dannosa
89al pari di una prematura ottimizzazione.  L'astrazione dovrebbe essere usata
90fino al livello necessario e non oltre.
91
92Ad un livello base, considerate una funzione che ha un argomento che viene
93sempre impostato a zero da tutti i chiamanti.  Uno potrebbe mantenere
94quell'argomento nell'eventualità qualcuno volesse sfruttare la flessibilità
95offerta.  In ogni caso, tuttavia, ci sono buone possibilità che il codice
96che va ad implementare questo argomento aggiuntivo, sia stato rotto in maniera
97sottile, in un modo che non è mai stato notato - perché non è mai stato usato.
98Oppure, quando sorge la necessità di avere più flessibilità, questo argomento
99non la fornisce in maniera soddisfacente.  Gli sviluppatori di Kernel,
100sottopongono costantemente patch che vanno a rimuovere gli argomenti
101inutilizzate; anche se, in generale, non avrebbero dovuto essere aggiunti.
102
103I livelli di astrazione che nascondono l'accesso all'hardware -
104spesso per poter usare dei driver su diversi sistemi operativi - vengono
105particolarmente disapprovati.  Tali livelli oscurano il codice e possono
106peggiorare le prestazioni; essi non appartengono al kernel Linux.
107
108D'altro canto, se vi ritrovate a dover copiare una quantità significativa di
109codice proveniente da un altro sottosistema del kernel, è tempo di chiedersi
110se, in effetti, non avrebbe più senso togliere parte di quel codice e metterlo
111in una libreria separata o di implementare quella funzionalità ad un livello
112più elevato.  Non c'è utilità nel replicare lo stesso codice per tutto
113il kernel.
114
115
116#ifdef e l'uso del preprocessore in generale
117********************************************
118
119Il preprocessore C sembra essere una fonte di attrazione per qualche
120programmatore C, che ci vede una via per ottenere una grande flessibilità
121all'interno di un file sorgente.  Ma il preprocessore non è scritto in C,
122e un suo massiccio impiego conduce a un codice che è molto più difficile
123da leggere per gli altri e che rende più difficile il lavoro di verifica del
124compilatore.  L'uso eccessivo del preprocessore è praticamente sempre il segno
125di un codice che necessita di un certo lavoro di pulizia.
126
127La compilazione condizionata con #ifdef è, in effetti, un potente strumento,
128ed esso viene usato all'interno del kernel.  Ma esiste un piccolo desiderio:
129quello di vedere il codice coperto solo da una leggera spolverata di
130blocchi #ifdef.  Come regola generale, quando possibile, l'uso di #ifdef
131dovrebbe essere confinato nei file d'intestazione.  Il codice compilato
132condizionatamente può essere confinato a funzioni tali che, nel caso in cui
133il codice non deve essere presente, diventano vuote.  Il compilatore poi
134ottimizzerà la chiamata alla funzione vuota rimuovendola.  Il risultato è
135un codice molto più pulito, più facile da seguire.
136
137Le macro del preprocessore C presentano una serie di pericoli, inclusi
138valutazioni multiple di espressioni che hanno effetti collaterali e non
139garantiscono una sicurezza rispetto ai tipi.  Se siete tentati dal definire
140una macro, considerate l'idea di creare invece una funzione inline.  Il codice
141che ne risulterà sarà lo stesso, ma le funzioni inline sono più leggibili,
142non considerano i propri argomenti più volte, e permettono al compilatore di
143effettuare controlli sul tipo degli argomenti e del valore di ritorno.
144
145
146Funzioni inline
147***************
148
149Comunque, anche le funzioni inline hanno i loro pericoli.  I programmatori
150potrebbero innamorarsi dell'efficienza percepita derivata dalla rimozione
151di una chiamata a funzione.  Queste funzioni, tuttavia, possono ridurre le
152prestazioni.  Dato che il loro codice viene replicato ovunque vi sia una
153chiamata ad esse, si finisce per gonfiare le dimensioni del kernel compilato.
154Questi, a turno, creano pressione sulla memoria cache del processore, e questo
155può causare rallentamenti importanti.  Le funzioni inline, di norma, dovrebbero
156essere piccole e usate raramente.  Il costo di una chiamata a funzione, dopo
157tutto, non è così alto; la creazione di molte funzioni inline è il classico
158esempio di un'ottimizzazione prematura.
159
160In generale, i programmatori del kernel ignorano gli effetti della cache a
161loro rischio e pericolo.  Il classico compromesso tempo/spazio teorizzato
162all'inizio delle lezioni sulle strutture dati spesso non si applica
163all'hardware moderno.  Lo spazio *è* tempo, in questo senso un programma
164più grande sarà più lento rispetto ad uno più compatto.
165
166I compilatori più recenti hanno preso un ruolo attivo nel decidere se
167una data funzione deve essere resa inline oppure no.  Quindi l'uso
168indiscriminato della parola chiave "inline" potrebbe non essere non solo
169eccessivo, ma anche irrilevante.
170
171Sincronizzazione
172****************
173
174Nel maggio 2006, il sistema di rete "Devicescape" fu rilasciato in pompa magna
175sotto la licenza GPL e reso disponibile per la sua inclusione nella ramo
176principale del kernel.  Questa donazione fu una notizia bene accolta;
177il supporto per le reti senza fili era considerata, nel migliore dei casi,
178al di sotto degli standard; il sistema Deviscape offrì la promessa di una
179risoluzione a tale situazione.  Tuttavia, questo codice non fu inserito nel
180ramo principale fino al giugno del 2007 (2.6.22). Cosa accadde?
181
182Quel codice mostrava numerosi segnali di uno sviluppo in azienda avvenuto
183a porte chiuse.  Ma in particolare, un grosso problema fu che non fu
184progettato per girare in un sistema multiprocessore.  Prima che questo
185sistema di rete (ora chiamato mac80211) potesse essere inserito, fu necessario
186un lavoro sugli schemi di sincronizzazione.
187
188Una volta, il codice del kernel Linux poteva essere sviluppato senza pensare
189ai problemi di concorrenza presenti nei sistemi multiprocessore.  Ora,
190comunque, questo documento è stato scritto su di un portatile dual-core.
191Persino su sistemi a singolo processore, il lavoro svolto per incrementare
192la capacità di risposta aumenterà il livello di concorrenza interno al kernel.
193I giorni nei quali il codice poteva essere scritto senza pensare alla
194sincronizzazione sono da passati tempo.
195
196Ogni risorsa (strutture dati, registri hardware, etc.) ai quali si potrebbe
197avere accesso simultaneo da più di un thread deve essere sincronizzato.  Il
198nuovo codice dovrebbe essere scritto avendo tale accortezza in testa;
199riadattare la sincronizzazione a posteriori è un compito molto più difficile.
200Gli sviluppatori del kernel dovrebbero prendersi il tempo di comprendere bene
201le primitive di sincronizzazione, in modo da sceglier lo strumento corretto
202per eseguire un compito.  Il codice che presenta una mancanza di attenzione
203alla concorrenza avrà un percorso difficile all'interno del ramo principale.
204
205Regressioni
206***********
207
208Vale la pena menzionare un ultimo pericolo: potrebbe rivelarsi accattivante
209l'idea di eseguire un cambiamento (che potrebbe portare a grandi
210miglioramenti) che porterà ad alcune rotture per gli utenti esistenti.
211Questa tipologia di cambiamento è chiamata "regressione", e le regressioni son
212diventate mal viste nel ramo principale del kernel.  Con alcune eccezioni,
213i cambiamenti che causano regressioni saranno fermati se quest'ultime non
214potranno essere corrette in tempo utile.  È molto meglio quindi evitare
215la regressione fin dall'inizio.
216
217Spesso si è argomentato che una regressione può essere giustificata se essa
218porta risolve più problemi di quanti non ne crei.  Perché, dunque, non fare
219un cambiamento se questo porta a nuove funzionalità a dieci sistemi per
220ognuno dei quali esso determina una rottura?  La migliore risposta a questa
221domanda ci è stata fornita da Linus nel luglio 2007:
222
223::
224   Dunque, noi non sistemiamo bachi introducendo nuovi problemi. Quella
225   via nasconde insidie, e nessuno può sapere del tutto se state facendo
226   dei progressi reali. Sono due passi avanti e uno indietro, oppure
227   un passo avanti e due indietro?
228
229(http://lwn.net/Articles/243460/).
230
231Una particolare tipologia di regressione mal vista consiste in una qualsiasi
232sorta di modifica all'ABI dello spazio utente.  Una volta che un'interfaccia
233viene esportata verso lo spazio utente, dev'essere supportata all'infinito.
234Questo fatto rende la creazione di interfacce per lo spazio utente
235particolarmente complicato: dato che non possono venir cambiate introducendo
236incompatibilità, esse devono essere fatte bene al primo colpo.  Per questa
237ragione sono sempre richieste: ampie riflessioni, documentazione chiara e
238ampie revisioni dell'interfaccia verso lo spazio utente.
239
240
241Strumenti di verifica del codice
242--------------------------------
243Almeno per ora la scrittura di codice priva di errori resta un ideale
244irraggiungibile ai più.  Quello che speriamo di poter fare, tuttavia, è
245trovare e correggere molti di questi errori prima che il codice entri nel
246ramo principale del kernel.  A tal scopo gli sviluppatori del kernel devono
247mettere insieme una schiera impressionante di strumenti che possano
248localizzare automaticamente un'ampia varietà di problemi.  Qualsiasi problema
249trovato dal computer è un problema che non affliggerà l'utente in seguito,
250ne consegue che gli strumenti automatici dovrebbero essere impiegati ovunque
251possibile.
252
253Il primo passo consiste semplicemente nel fare attenzione agli avvertimenti
254proveniente dal compilatore.  Versioni moderne di gcc possono individuare
255(e segnalare) un gran numero di potenziali errori.  Molto spesso, questi
256avvertimenti indicano problemi reali.  Di regola, il codice inviato per la
257revisione non dovrebbe produrre nessun avvertimento da parte del compilatore.
258Per mettere a tacere gli avvertimenti, cercate di comprenderne le cause reali
259e cercate di evitare le "riparazioni" che fan sparire l'avvertimento senza
260però averne trovato la causa.
261
262Tenete a mente che non tutti gli avvertimenti sono disabilitati di default.
263Costruite il kernel con "make KCFLAGS=-W" per ottenerli tutti.
264
265Il kernel fornisce differenti opzioni che abilitano funzionalità di debugging;
266molti di queste sono trovano all'interno del sotto menu "kernel hacking".
267La maggior parte di queste opzioni possono essere attivate per qualsiasi
268kernel utilizzato per lo sviluppo o a scopo di test.  In particolare dovreste
269attivare:
270
271 - FRAME_WARN per ottenere degli avvertimenti su stack frame più
272   grandi di un dato valore.  Il risultato generato da questi
273   avvertimenti può risultare verboso, ma non bisogna preoccuparsi per
274   gli avvertimenti provenienti da altre parti del kernel.
275
276 - DEBUG_OBJECTS aggiungerà un codice per tracciare il ciclo di vita di
277   diversi oggetti creati dal kernel e avvisa quando qualcosa viene eseguito
278   fuori controllo.  Se state aggiungendo un sottosistema che crea (ed
279   esporta) oggetti complessi propri, considerate l'aggiunta di un supporto
280   al debugging dell'oggetto.
281
282 - DEBUG_SLAB può trovare svariati errori di uso e di allocazione di memoria;
283   esso dovrebbe esser usato dalla maggior parte dei kernel di sviluppo.
284
285 - DEBUG_SPINLOCK, DEBUG_ATOMIC_SLEEP, e DEBUG_MUTEXES troveranno un certo
286   numero di errori comuni di sincronizzazione.
287
288Esistono ancora delle altre opzioni di debugging, di alcune di esse
289discuteremo qui sotto.  Alcune di esse hanno un forte impatto e non dovrebbero
290essere usate tutte le volte.  Ma qualche volta il tempo speso nell'capire
291le opzioni disponibili porterà ad un risparmio di tempo nel breve termine.
292
293Uno degli strumenti di debugging più tosti è il *locking checker*, o
294"lockdep".  Questo strumento traccerà qualsiasi acquisizione e rilascio di
295ogni *lock* (spinlock o mutex) nel sistema, l'ordine con il quale i *lock*
296sono acquisiti in relazione l'uno con l'altro, l'ambiente corrente di
297interruzione, eccetera.  Inoltre esso può assicurare che i *lock* vengano
298acquisiti sempre nello stesso ordine, che le stesse assunzioni sulle
299interruzioni si applichino in tutte le occasioni, e così via.  In altre parole,
300lockdep può scovare diversi scenari nei quali il sistema potrebbe, in rari
301casi, trovarsi in stallo.  Questa tipologia di problema può essere grave
302(sia per gli sviluppatori che per gli utenti) in un sistema in uso; lockdep
303permette di trovare tali problemi automaticamente e in anticipo.
304
305In qualità di programmatore kernel diligente, senza dubbio, dovrete controllare
306il valore di ritorno di ogni operazione (come l'allocazione della memoria)
307poiché esso potrebbe fallire.  Il nocciolo della questione è che i percorsi
308di gestione degli errori, con grande probabilità, non sono mai stati
309collaudati del tutto.  Il codice collaudato tende ad essere codice bacato;
310potrete quindi essere più a vostro agio con il vostro codice se tutti questi
311percorsi fossero stati verificati un po' di volte.
312
313Il kernel fornisce un framework per l'inserimento di fallimenti che fa
314esattamente al caso, specialmente dove sono coinvolte allocazioni di memoria.
315Con l'opzione per l'inserimento dei fallimenti abilitata, una certa percentuale
316di allocazione di memoria sarà destinata al fallimento; questi fallimenti
317possono essere ridotti ad uno specifico pezzo di codice.  Procedere con
318l'inserimento dei fallimenti attivo permette al programmatore di verificare
319come il codice risponde quando le cose vanno male.  Consultate:
320Documentation/fault-injection/fault-injection.rst per avere maggiori
321informazioni su come utilizzare questo strumento.
322
323Altre tipologie di errori possono essere riscontrati con lo strumento di
324analisi statica "sparse".  Con Sparse, il programmatore può essere avvisato
325circa la confusione tra gli indirizzi dello spazio utente e dello spazio
326kernel, un miscuglio fra quantità big-endian e little-endian, il passaggio
327di un valore intero dove ci sia aspetta un gruppo di flag, e così via.
328Sparse deve essere installato separatamente (se il vostra distribuzione non
329lo prevede, potete trovarlo su https://sparse.wiki.kernel.org/index.php/Main_Page);
330può essere attivato sul codice aggiungendo "C=1" al comando make.
331
332Lo strumento "Coccinelle" (http://coccinelle.lip6.fr/) è in grado di trovare
333una vasta varietà di potenziali problemi di codifica; e può inoltre proporre
334soluzioni per risolverli.  Un buon numero di "patch semantiche" per il kernel
335sono state preparate nella cartella scripts/coccinelle; utilizzando
336"make coccicheck" esso percorrerà tali patch semantiche e farà rapporto su
337qualsiasi problema trovato.  Per maggiori informazioni, consultate
338:ref:`Documentation/dev-tools/coccinelle.rst <devtools_coccinelle>`.
339
340Altri errori di portabilità sono meglio scovati compilando il vostro codice
341per altre architetture.  Se non vi accade di avere un sistema S/390 o una
342scheda di sviluppo Blackfin sotto mano, potete comunque continuare la fase
343di compilazione.  Un vasto numero di cross-compilatori per x86 possono
344essere trovati al sito:
345
346	http://www.kernel.org/pub/tools/crosstool/
347
348Il tempo impiegato nell'installare e usare questi compilatori sarà d'aiuto
349nell'evitare situazioni imbarazzanti nel futuro.
350
351
352Documentazione
353--------------
354
355La documentazione è spesso stata più un'eccezione che una regola nello
356sviluppo del kernel.  Nonostante questo, un'adeguata documentazione aiuterà
357a facilitare l'inserimento di nuovo codice nel kernel, rende la vita più
358facile per gli altri sviluppatori e sarà utile per i vostri utenti.  In molti
359casi, la documentazione è divenuta sostanzialmente obbligatoria.
360
361La prima parte di documentazione per qualsiasi patch è il suo changelog.
362Questi dovrebbero descrivere le problematiche risolte, la tipologia di
363soluzione, le persone che lavorano alla patch, ogni effetto rilevante
364sulle prestazioni e tutto ciò che può servire per la comprensione della
365patch.  Assicuratevi che il changelog dica *perché*, vale la pena aggiungere
366la patch; un numero sorprendente di sviluppatori sbaglia nel fornire tale
367informazione.
368
369Qualsiasi codice che aggiunge una nuova interfaccia in spazio utente - inclusi
370nuovi file in sysfs o /proc - dovrebbe includere la documentazione di tale
371interfaccia così da permette agli sviluppatori dello spazio utente di sapere
372con cosa stanno lavorando.  Consultate: Documentation/ABI/README per avere una
373descrizione di come questi documenti devono essere impostati e quali
374informazioni devono essere fornite.
375
376Il file :ref:`Documentation/translations/it_IT/admin-guide/kernel-parameters.rst <kernelparameters>`
377descrive tutti i parametri di avvio del kernel.  Ogni patch che aggiunga
378nuovi parametri dovrebbe aggiungere nuove voci a questo file.
379
380Ogni nuova configurazione deve essere accompagnata da un testo di supporto
381che spieghi chiaramente le opzioni e spieghi quando l'utente potrebbe volerle
382selezionare.
383
384Per molti sottosistemi le informazioni sull'API interna sono documentate sotto
385forma di commenti formattati in maniera particolare; questi commenti possono
386essere estratti e formattati in differenti modi attraverso lo script
387"kernel-doc".  Se state lavorando all'interno di un sottosistema che ha
388commenti kerneldoc dovreste mantenerli e aggiungerli, in maniera appropriata,
389per le funzioni disponibili esternamente.  Anche in aree che non sono molto
390documentate, non c'è motivo per non aggiungere commenti kerneldoc per il
391futuro; infatti, questa può essere un'attività utile per sviluppatori novizi
392del kernel.  Il formato di questi commenti, assieme alle informazione su come
393creare modelli per kerneldoc, possono essere trovati in
394:ref:`Documentation/translations/it_IT/doc-guide/ <doc_guide>`.
395
396Chiunque legga un ammontare significativo di codice kernel noterà che, spesso,
397i commenti si fanno maggiormente notare per la loro assenza.  Ancora una volta,
398le aspettative verso il nuovo codice sono più alte rispetto al passato;
399inserire codice privo di commenti sarà più difficile.  Detto ciò, va aggiunto
400che non si desiderano commenti prolissi per il codice.  Il codice dovrebbe
401essere, di per sé, leggibile, con dei commenti che spieghino gli aspetti più
402sottili.
403
404Determinate cose dovrebbero essere sempre commentate.  L'uso di barriere
405di memoria dovrebbero essere accompagnate da una riga che spieghi perché sia
406necessaria.  Le regole di sincronizzazione per le strutture dati, generalmente,
407necessitano di una spiegazioni da qualche parte.  Le strutture dati più
408importanti, in generale, hanno bisogno di una documentazione onnicomprensiva.
409Le dipendenze che non sono ovvie tra bit separati di codice dovrebbero essere
410indicate.  Tutto ciò che potrebbe indurre un inserviente del codice a fare
411una "pulizia" incorretta, ha bisogno di un commento che dica perché è stato
412fatto in quel modo.  E così via.
413
414Cambiamenti interni dell'API
415----------------------------
416
417L'interfaccia binaria fornita dal kernel allo spazio utente non può essere
418rotta tranne che in circostanze eccezionali.  L'interfaccia di programmazione
419interna al kernel, invece, è estremamente fluida e può essere modificata al
420bisogno.  Se vi trovate a dover lavorare attorno ad un'API del kernel o
421semplicemente non state utilizzando una funzionalità offerta perché questa
422non rispecchia i vostri bisogni, allora questo potrebbe essere un segno che
423l'API ha bisogno di essere cambiata.  In qualità di sviluppatore del kernel,
424hai il potere di fare questo tipo di modifica.
425
426Ci sono ovviamente alcuni punti da cogliere.  I cambiamenti API possono essere
427fatti, ma devono essere giustificati.  Quindi ogni patch che porta ad una
428modifica dell'API interna dovrebbe essere accompagnata da una descrizione
429della modifica in sé e del perché essa è necessaria.  Questo tipo di
430cambiamenti dovrebbero, inoltre, essere fatti in una patch separata, invece di
431essere sepolti all'interno di una patch più grande.
432
433L'altro punto da cogliere consiste nel fatto che uno sviluppatore che
434modifica l'API deve, in generale, essere responsabile della correzione
435di tutto il codice del kernel che viene rotto per via della sua modifica.
436Per una funzione ampiamente usata, questo compito può condurre letteralmente
437a centinaia o migliaia di modifiche, molte delle quali sono in conflitto con
438il lavoro svolto da altri sviluppatori.  Non c'è bisogno di dire che questo
439può essere un lavoro molto grosso, quindi è meglio essere sicuri che la
440motivazione sia ben solida.  Notate che lo strumento Coccinelle può fornire
441un aiuto con modifiche estese dell'API.
442
443Quando viene fatta una modifica API incompatibile, una persona dovrebbe,
444quando possibile, assicurarsi che quel codice non aggiornato sia trovato
445dal compilatore.  Questo vi aiuterà ad essere sicuri d'avere trovato,
446tutti gli usi di quell'interfaccia.  Inoltre questo avviserà gli sviluppatori
447di codice fuori dal kernel che c'è un cambiamento per il quale è necessario del
448lavoro.  Il supporto al codice fuori dal kernel non è qualcosa di cui gli
449sviluppatori del kernel devono preoccuparsi, ma non dobbiamo nemmeno rendere
450più difficile del necessario la vita agli sviluppatori di questo codice.
451