FreeBSD Device Drivers

Dai primi passi alla maestria del kernel

di Edson Brandi · Versione 2.0 (Aprile 2026)

---

Informazioni su questo libro

FreeBSD Device Drivers: From First Steps to Kernel Mastery è un libro gratuito e open source che ti porta da "non ho mai scritto codice del kernel" a "so scrivere, debuggare e inviare driver FreeBSD di qualità produttiva". È un corso guidato, più che un manuale di consultazione, strutturato in 38 capitoli, 6 appendici e decine di laboratori pratici che compilano e caricano su un sistema FreeBSD 14.x reale.

Il libro si rivolge a lettori che vogliono imparare piuttosto che a lettori già qualificati. Inizia con i fondamenti di UNIX e il linguaggio C, procede passo dopo passo attraverso ogni concetto che il kernel ti richiederà, e solo allora apre la porta allo sviluppo di driver. Quando arrivi a DMA, interrupt e lavoro con PCI, il vocabolario ti sembrerà meritato, non imposto.

"La programmazione del kernel è pur sempre programmazione, solo con regole più esplicite, maggiori responsabilità e un po' più di potenza. Una volta capito questo, la paura lascia spazio all'entusiasmo." (dal Capitolo 1)

Perché questo libro?

Esistono già ottimi riferimenti sul kernel FreeBSD, tra cui man 9, l'Architecture Handbook e i documenti su Newbus. Quello che mancava era un unico testo che:

• Parte da zero. UNIX, C e l'ambiente FreeBSD vengono insegnati prima di scrivere qualsiasi codice del kernel.
• Si rivolge specificamente a FreeBSD 14.x. Ogni API, ogni esempio, ogni laboratorio è stato verificato rispetto all'albero dei sorgenti di FreeBSD 14.3.
• Tratta i laboratori come elementi di prima classe. Circa la metà del tempo di studio consigliato è pratica. Gli stessi pattern (attach, cleanup, locking) ricorrono nei vari capitoli fino a diventare riflessi.
• Costruisce un unico driver lungo tutto il libro. Il driver myfirst si evolve capitolo dopo capitolo, acquisendo sincronizzazione, poi accesso all'hardware, poi interrupt, poi DMA. Vedrai lo stesso codice maturare tra le tue mani.
• Copre l'intero ciclo di vita. Da "Hello Kernel Module" fino all'invio di una revisione su Phabricator e all'integrazione di un driver nell'albero di FreeBSD.

A chi è rivolto questo libro

• Principianti che sanno poco di C, UNIX o kernel ma sono disposti a imparare.
• Sviluppatori curiosi di come i sistemi operativi funzionano realmente sotto il cofano.
• Professionisti che già usano FreeBSD (o sistemi simili) e vogliono approfondire le loro conoscenze imparando come si costruiscono i driver nella pratica.

A chi non è rivolto questo libro

• Lettori che cercano un manuale rapido da copia e incolla. Il libro privilegia la comprensione rispetto alle scorciatoie.
• Sviluppatori di kernel esperti che non hanno bisogno delle basi. Il ritmo parte dal livello più elementare.
• Lettori che desiderano un riferimento enciclopedico sull'hardware. L'attenzione è sullo sviluppo di driver FreeBSD nel mondo reale, non su specifiche esaustive di bus o dispositivi.

Cosa imparerai

Il libro è organizzato in sette parti che si basano l'una sull'altra:

Parte	Titolo	Focus
1	Fondamenti: FreeBSD, C e il kernel	Configurazione del laboratorio, UNIX, C per il lavoro con il kernel, anatomia del driver
2	Costruire il tuo primo driver	Driver a caratteri, file di device, read/write, I/O
3	Concorrenza e sincronizzazione	Thread, mutex, condvar, timer, code di task, semafori
4	Integrazione hardware e a livello di piattaforma	PCI, interrupt, MSI/MSI-X, DMA, gestione dell'alimentazione
5	Debugging, strumenti e pratiche reali	Tracciamento, KGDB, debugging avanzato, ottimizzazione delle prestazioni
6	Scrivere driver per trasporti specifici	USB, seriale, storage/VFS, driver di rete
7	Argomenti di maestria: scenari speciali e casi limite	Portabilità, virtualizzazione, sicurezza, embedded, reverse engineering, invio upstream

Alla fine, avrai scritto e caricato i tuoi moduli del kernel, costruito un driver a caratteri, gestito interrupt e DMA reali, debuggato panico del kernel, profilato il tuo driver sotto carico e percorso ogni passo per contribuire con il tuo lavoro al Progetto FreeBSD.

Statistiche del libro

Pagine	4.500+
Capitoli	38
Appendici	6
Tempo di lettura	~100 ore
Tempo di laboratorio	~100 ore
Tempo di studio totale	~200 ore (≈6 mesi a 5 ore/settimana)
Release FreeBSD target	14.3
Lingue	Inglese (originale) · Portoghese brasiliano (tradotto con AI) · Spagnolo (tradotto con AI)
Formati	PDF · EPUB · HTML · Sorgente Markdown

Indice completo

Clicca per espandere l'elenco completo dei capitoli

Parte 1: Fondamenti di FreeBSD, C e del kernel

1. Introduzione: Dalla curiosità al contributo
2. Configurare il tuo laboratorio
3. Una dolce introduzione a UNIX
4. Un primo sguardo al linguaggio di programmazione C
5. Comprendere il C per la programmazione del kernel FreeBSD
6. L'anatomia di un driver FreeBSD

Parte 2: Costruire il tuo primo driver

7. Scrivere il tuo primo driver
8. Lavorare con i file di device
9. Leggere e scrivere su dispositivi
10. Gestire input e output in modo efficiente

Parte 3: Concorrenza e sincronizzazione

11. Concorrenza nei driver
12. Meccanismi di sincronizzazione
13. Timer e lavoro ritardato
14. Code di task e lavoro differito
15. Ulteriore sincronizzazione: condizioni, semafori e coordinazione

Parte 4: Integrazione hardware e a livello di piattaforma

16. Accesso all'hardware
17. Simulazione dell'hardware
18. Scrivere un driver PCI
19. Gestire gli interrupt
20. Gestione avanzata degli interrupt
21. DMA e trasferimento dati ad alta velocità
22. Gestione dell'alimentazione

Parte 5: Debugging, strumenti e pratiche reali

23. Debugging e tracciamento
24. Integrazione con il kernel
25. Argomenti avanzati e consigli pratici

Parte 6: Scrivere driver per trasporti specifici

26. Driver USB e seriali
27. Lavorare con dispositivi di storage e il layer VFS
28. Scrivere un driver di rete

Parte 7: Argomenti di maestria

29. Portabilità e astrazione dei driver
30. Virtualizzazione e containerizzazione
31. Best practice di sicurezza
32. Device tree e sviluppo embedded
33. Ottimizzazione e profilazione delle prestazioni
34. Tecniche di debugging avanzate
35. I/O asincrono e gestione degli eventi
36. Creare driver senza documentazione (Reverse Engineering)
37. Inviare il tuo driver al Progetto FreeBSD
38. Considerazioni finali e prossimi passi

Appendici

• A: Riferimento API del kernel FreeBSD
• B: Algoritmi e logica per la programmazione di sistema
• C: Concetti hardware per sviluppatori di driver
• D: Concetti di sistema operativo
• E: Navigare gli interni del kernel FreeBSD
• F: Banco di prova per benchmark e risultati

Come leggere il libro