File
Un file (dall'inglese, pronuncia [ˈfaɪl], italianizzata in /ˈfail/; traducibile come "fascicolo", o "archivio"), in informatica, è un contenitore di dati, tipicamente collocato in un file system, a sua volta registrato su un supporto di memorizzazione digitale.[1][2][3]
Il nome deriva dall'analogia con i sistemi di archiviazione dei dati utilizzati prima dell'avvento dei sistemi informatici che li sostituirono.[4]
Descrizione
modificaDalla prospettiva dell'utente medio, il file è la minima unità di informazione utilizzabile in un elaboratore. Difatti la totalità delle operazioni comunemente effettuate su un computer implica la creazione, modifica o cancellazione di un file. Le principali interfacce verso la memoria presentate all'utente sono orientate al file. Più in generale un file è una generica raccolta di informazioni, tipicamente strutturata, a cui è assegnato un identificatore e altre proprietà che ne costituiscono i metadati.[5]
I file all'interno di un sistema informatico sono tipicamente molto numerosi ed eterogenei, e quindi il problema della loro organizzazione e memorizzazione è molto sentito. Per questo motivo nella quasi totalità dei casi i file vengono ricompresi in strutture dati dedicate allo scopo chiamate file system. Incidentalmente il fare parte di un file system è ciò che più marcatamente distingue i file da qualunque altra struttura dati.
Elementi caratterizzanti
modificaLa definizione esatta delle caratteristiche di un file varia anche di molto tra i diversi file system. È possibile tuttavia individuarne alcune comuni: [6] [7]
Identificatore
modificaOgni file ha bisogno di essere associato ad un identificatore univoco per poter essere distinto dagli altri in una medesima collezione. Molto spesso l'identificatore costituisce di una stringa testuale del tipo URI. Il particolare sottotipo di URI utilizzato dipende dal tipo di collezione nel quale risiede il file. Tipicamente i file sono organizzati in directory e come identificatore viene usata l'indicazione della posizione del file all'interno di questa, chiamata percorso.
Un altro tipo di identificatore, decisamente meno univoco, è il nome del file. Nei sistemi basati su directory il nome coincide con l'ultimo componente del percorso. Questo tipo di identificatore riveste una particolare importanza in sistemi come Microsoft Windows, che decidono come trattare un file sulla base del nome e in particolare dell'estensione.[8]
Formato
modificaI file, quali generici contenitori di dati e spesso anche di grandi dimensioni, sono caratterizzati da una struttura interna ad-hoc.[9] Lo schema di questa struttura definisce il cosiddetto formato del file.[10][11]
Essendo la struttura necessariamente pensata per specifiche applicazioni, spesso è necessario utilizzare specifici programmi per manipolare il file in modo sostanziale. Fanno eccezione a questa «regola» una ristretta selezione di formati di uso particolarmente ampio, tant'è che molti sistemi operativi integrano già strumenti adatti a manipolarli.[9] [8] Sono parte di questa categoria i formati cosiddetti di «testo semplice» poiché basati sulla codifica ASCII oppure Unicode.[12] Tra i più famosi non si possono non citare JSON, TOML, YAML e XML. In generale si è soliti indicare con il termine file binario tutti quei file di cui non è noto il formato, e che quindi se ispezionati in modo naive (ad esempio utilizzando un editor di testo) appaiono come un ammasso incomprensibile di simboli.
Il formato è convenzionalmente indicato attraverso l'estensione del file, ovvero una serie di caratteri suffissi al nome per mezzo di un punto. Ad esempio, un file denominato prova.txt
va interpretato come file di testo, mentre prova.jpg
contiene un'immagine JPEG.
Molti sistemi operativi, tra cui notoriamente Microsoft Windows e MS-DOS, usano questo metodo per identificare il tipo dei file.[8][11]
Un altro metodo per indicare il formato del file è includere un indizio all'interno del file stesso. Una strategia comune in questo senso sono i magic number, ovvero delle brevi sequenze di byte poste in posizioni note all'interno del file (tipicamente all'inizio) che possono essere associate univocamente a un formato.
Questo metodo è comunemente utilizzato in ambienti Unix e Unix-like, dove la presenza della sequenza ASCII #!
(shabang) in testa a un file segnala la sua natura eseguibile.[13][14][11]
In altri casi, come per esempio sui sistemi Macintosh e nel file system HFS+, il formato è indicato nei metadati del file. Un approccio simile è usato con i file scambiati via e-mail o sul web, attraverso le intestazioni MIME o gli Internet media type.[11]
Implementazione
modificaTecnicamente, i dati di un file sono codificati / organizzati in una sequenza di byte in linea con il linguaggio binario usato dal computer, immagazzinati come un solo elemento su una memoria di massa attraverso il file system (sistema di archiviazione) esistente su quella data memoria. Il sistema, quando riceve una richiesta dall'utente (per esempio aprire un file), provvede poi all'operazione inversa di decodifica e visualizzazione, facendo apparire sul video parole e numeri.
Nei primi sistemi di elaborazione i file erano gestiti ed elaborati sequenzialmente, quindi per analizzare le ultime modifiche al file bisognava scorrere l'intero file e leggere in fondo le ultime modifiche. Nei sistemi operativi moderni questo non è più vero, dato che il file system provvede ad estrarre l'organizzazione fisica del file e a riorganizzare il file stesso nel caso sia necessario.
Se dal punto di vista dell'utente un file è solitamente un singolo elemento, può succedere invece che fisicamente sia scritto o risieda su più zone diverse del supporto di memorizzazione che lo ospita: questo fenomeno è molto comune se il supporto di memorizzazione è un disco di memoria, mentre è molto raro su nastri magnetici. Uno dei compiti del sistema operativo è rendere trasparente alle applicazioni la reale suddivisione fisica del file e occuparsi di gestire il recupero delle informazioni in esso contenute (lettura) dai vari blocchi fisici del supporto di memorizzazione e la scrittura.
Operazioni sui file
modificaL'accesso a un archivio informatico contenuto in una memoria di massa è un'operazione generalmente lenta, che deve essere effettuata secondo il protocollo dell’interfaccia della memoria di massa e che crea rischi di conflitto fra programmi in esecuzione contemporanea.[Chi? Perché?] Per tali motivi[poco convincente] queste operazioni sono eseguite, su richiesta dei programmi che le necessitano, dal sistema operativo che gestisce la coda di accesso e i conflitti. Le operazioni più comuni, universalmente presenti in tutti i sistemi operativi, sono:
- Apertura: il programma segnala al sistema operativo che ha necessità di accedere a un certo file. Il sistema operativo controlla che il file esista e che non sia già usato o bloccato, da esso o da un altro programma; crea alcune strutture dati per gestire le operazioni successive e riserva una certa quantità di memoria RAM, detta buffer, per memorizzare i dati in transito da e per il file; restituisce al programma un simbolo (o un handle oppure un indirizzo di memoria fisica) a cui il programma farà riferimento nelle successive operazioni sul file; gli altri programmi possono accedere allo stesso file solo in modo limitato (solo lettura) o non possono accedervi affatto.
- Lettura: il programma richiede dei dati dal file. Il sistema operativo li legge, li memorizza nel buffer di cui comunica l'ubicazione al programma richiedente.
- Scrittura: il programma vuole scrivere dei dati in un file. Per prima cosa memorizza i dati in questione in un buffer, di cui poi comunica l'ubicazione al sistema operativo.
- Chiusura: il programma comunica che non ha più bisogno del file. Tutte le strutture dati e il buffer allocato vengono rilasciati; il sistema operativo elimina il file dalla lista di quelli in uso; gli altri programmi hanno ora libero accesso al file.
Il sistema operativo, tramite il file system, è in grado di compiere le seguenti operazioni:
- Ridenominazione: ridenominazione del file tramite assegnazione di un nome diverso.
- Sovrascrittura: sovrascrivere il contenuto di un file con quello di un altro file con lo stesso nome e contenuto.
- Eliminazione: rimozione del file dalla memoria di massa che lo contiene.
Un programma non può leggere o scrivere un file se prima non lo ha aperto, e una volta finito di usarlo lo deve sempre chiudere, per dare modo al sistema operativo di liberare le risorse occupate.
Trasferimento di file
modificaSi possono utilizzare vari modi e tipologie di connessione diverse per trasferire file in una rete. Per esempio è possibile condividere e trasferire i file in una rete LAN tra due o più computer, utilizzare la posta elettronica, oppure usare dei servizi o programmi appositamente dedicati allo scopo (ad esempio FTP).
Il trasferimento di file attraverso una rete può diventare problematico se non si dispone di una connessione sufficientemente veloce, in particolare se si tratta di file di grosse dimensioni. Per esempio per trasferire un file tramite Internet è opportuno contenerne la dimensione, altrimenti può essere necessario molto tempo per eseguire l'operazione. Per contenere la dimensione di un file è possibile usare varie tecniche: è possibile per esempio comprimerlo o suddividerlo segmenti più piccoli da trasferire singolarmente.
È possibile trasferire uno o più file tramite la comune e-mail. Per il trasferimento via e-mail va tenuto presente che normalmente i fornitori di servizi Internet limitano la dimensione di ogni singolo messaggio: per esempio Gmail limita la dimensione degli allegati in trasmissione e in ricezione a 25 MB. Inoltre l'intera casella e-mail può avere dei limiti nella sua dimensione totale: per esempio Alice, nei contratti ADSL residenziali, limita a 3 GB la dimensione dell'intero contenuto di un account e-mail. È necessario tenere presente questi limiti quando si inviano file di grandi dimensioni, in modo da non rischiare che l'allegato non venga spedito, o di occupare interamente la casella di posta del destinatario.
In alternativa all'e-mail è possibile usare un programma di messaggistica istantanea, iscrivere il contatto e creare una cartella condivisa. Questi programmi, normalmente, non praticano limitazioni di banda legate all'estensione, alla dimensione e al tipo di file inviato.
L'archivio può essere aperto alle persone desiderate dando loro username e password. Una variante di questi servizi sono quelli di upload remoto che creano una chiave di sessione comune a due utenti iscritti e collegati a Internet; caricato il file, il ricevente deve indicare un percorso dove salvarlo e autorizzarne il download.
Recupero dei file
modificaÈ possibile recuperare un file cancellato definitivamente, utilizzando appositi programmi in grado di ripristinarli.
Quando si conferma la cancellazione di un file, per esempio svuotando il cestino di Windows, viene infatti cancellato (logicamente o fisicamente) il solo collegamento fisico esistente tra il nome del file e il suo contenuto, per cui il file non è più accessibile né all'utente né ai programmi del computer. In assenza di altri collegamenti fisici, anche l'area della memoria di massa occupata dal contenuto dei file viene designata come disponibile per nuovi contenuti, tuttavia essa non viene cancellata o sovrascritta immediatamente, per cui i dati risultano ancora fisicamente disponibili sulla memoria con opportune tecniche fino all'effettiva sovrascrittura.
In particolare i programmi per il recupero dei file esaminano il contenuto di un file system cercando collegamenti fisici cancellati logicamente e controllando le aree occupate dai dati a cui essi fanno riferimento, ricopiandone il contenuto e, se possibile, ricostruendo le parti ormai sovrascritte.
Per prevenire invece il recupero di file cancellati (per esempio per questioni di privacy) esistono programmi che provvedono a sovrascrivere (anche più volte) il contenuto di un file prima di cancellarlo, o a sovrascrivere tutte le aree libere di un file system, in modo che non sia possibile il recupero dei dati.
Note
modifica- ^ file_1 noun - Definition, pictures, pronunciation and usage notes, su Oxford Advanced Learner's Dictionary at OxfordLearnersDictionaries.com. URL consultato il 15 aprile 2021.
- ^ Luciano Canepari, file, in Il DiPI: dizionario di pronuncia italiana, Bologna, Zanichelli, 1999, ISBN 88-08-09344-1.
- ^ Silberscharz, Galvin, Gagne 2019, p. 576.
- ^ (EN) Florence E. McGill, Indexing and Filing, in Office practice and business procedure, New York (NY, USA), The Gregg Publishing Co, 1922. URL consultato l'8 aprile 2022. Ospitato su Internet Archive.
- ^ Silberscharz, Galvin, Gagne 2019, pp. 576–577.
- ^ Silberscharz, Galvin, Gagne 2019, p. 577.
- ^
(EN) Michael Kerrisk, Extended file attributes, su man7.org. URL consultato il 14 luglio 2023;
(EN) Guidelines for extended attributes, su freedesktop.org. URL consultato il 14 luglio 2023;
(EN) Extended attributes: the good, the not so good, the bad., su lesbonscomptes.com, 15 luglio 2014. URL consultato il 14 luglio 2023;
(EN) zfsprops -- native and user-defined properties of ZFS datasets, su man.freebsd.org. URL consultato il 14 luglio 2023;
(EN) BTRFS: File attributes and xflags, su btrfs.readthedocs.io. URL consultato il 14 luglio 2023. - ^ a b c Estensioni del nome di file comuni in Windows, su support.microsoft.com.
- ^ a b Silberscharz, Galvin, Gagne 2019, p. 584-585.
- ^ (EN) What is a File Format?, su computerhope.com. URL consultato il 30 ottobre 2021.
- ^ a b c d Allegato 2. Formati, in Supplemento ordinario alla «Gazzetta Ufficiale» n. 59 del 12 marzo 2014 - Serie generale, collana Gazzetta Ufficiale della Repubblica Italiana, n. 20, 12 marzo 2014.
- ^ (EN) Paul Murrell, 7.5. Plain text files, in Introduction to Data Technologies (PDF), Auckland, Chapman and Hall/CRC, 2009, ISBN 978-1420065176.
- ^ (EN) Kernel Support for miscellaneous Binary Formats (binfmt_misc), su docs.kernel.org. URL consultato il 21 dicembre 2023.
- ^ (EN) What is a magic number?, su ibm.com, 20 agosto 2003. URL consultato il 30 ottobre 2021.
Bibliografia
modifica- Andrew Stuart Tanenbaum, File, in Architettura dei calcolatori. Un approccio strutturale, Milano, Pearson Education, 2006, pp. 440-445, ISBN 978-88-7192-271-3.
- Abraham Silberschatz, Peter Baer Galvin e Greg Gagne, Parte sesta. File system, in Riccardo Melen (a cura di), Sistemi Operativi. Concetti ed esempi, traduzione di Pietro Codara, et al., 10ª ed., Milano - Torino, Pearson, 2019, ISBN 978-88-9190-455-3.
Voci correlate
modificaAltri progetti
modifica- Wikizionario contiene il lemma di dizionario «file»
- Wikimedia Commons contiene immagini o altri file sul file
Collegamenti esterni
modifica- file, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- file², su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
- file (informatica), su sapere.it, De Agostini.
- (EN) file, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Opere riguardanti Computer files, su Open Library, Internet Archive.
- (EN) Denis Howe, File, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- FileFormat.Info · The Digital Rosetta Stone, su fileformat.info. URL consultato il 30 ottobre 2021.
Controllo di autorità | GND (DE) 4148864-7 |
---|