Nodo di device
Un nodo di device, file di device o file speciale di device è un tipo di file speciale usato su molti sistemi operativi simili a Unix, incluso Linux.
I nodi di device facilitano la comunicazione trasparente tra le applicazioni in spazio utente e l'hardware del computer.
Per definizione, i nodi di device corrispondono alle risorse che sono già state assegnate dal kernel del sistema operativo, queste sono identificate da un numero maggiore e un numero minore, che vengono memorizzati come parte della struttura di un nodo. L'assegnazione di questi numeri è specifica per diversi sistemi operativi e piattaforme, generalmente il numero maggiore identifica il driver di periferica e il numero minore un particolare dispositivo che controlla il driver e che viene passato a quest'ultimo come argomento.
Come altri tipi di file speciali, i nodi di device sono accessibili tramite le chiamate di sistema standard e trattati come file normali.
Vedere anche
File System Hierarchy Standard - Standard per la gerarchia del file system
Storage - Archiviazione
Collegamenti esterni
Device_node in Wikipedia