|
Size: 1258
Comment: very minor fix
|
← Revision 3 as of 2020-04-01 09:01:07 ⇥
Size: 1573
Comment: sync with English master v. 6
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 4: | Line 4: |
| = Nodo di device = |
|
| Line 12: | Line 14: |
| Vedere: [[WikiPedia:Device_node]] | == Vedere anche == * [[it/FileSystem|File system]] * [[it/FilesystemHierarchyStandard|File System Hierarchy Standard]] - Standard per la gerarchia del file system * [[Storage|]] - Archiviazione == Collegamenti esterni == * [[WikiPedia:Device_node]] in Wikipedia ---- CategoryStorage CategorySystemAdministration |
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