Che cos'è il formato di file DVI?
Un file .dvi è il documento tipografico binario prodotto dai sistemi di composizione TeX e LaTeX. Il nome sta per «Device Independent» (indipendente dal dispositivo), riflettendo l'obiettivo del progetto: il formato codifica con precisione ogni posizione dei glifi e ogni riga su ogni pagina senza vincolarsi a uno specifico dispositivo di output - stampante, schermo o fotocompositrice.
I file DVI sono flussi sequenziali di opcode. Il primo byte è sempre 0xF7 (l'opcode di preambolo pre) e il secondo byte è la versione del formato: 0x02 per il DVI standard o 0x03 per la variante estesa Omega/Lambda con supporto per il testo bidirezionale. I blocchi di pagina delimitati dagli opcode bop ed eop registrano le posizioni assolute dei glifi, le selezioni dei font e le regole dei box. Segue un postambolo contenente la tabella dei font e le dimensioni della pagina, e i byte finali 0xDF riempiono il file fino a un limite di quattro byte.
Una caratteristica critica: i file DVI fanno riferimento ai font tramite nome e checksum TFM ma non li incorporano. Il visualizzatore o il convertitore deve avere i font citati disponibili localmente - tipicamente attraverso una distribuzione TeX. Questo differisce dal PDF, che incorpora sottoinsiemi di font per un rendering autonomo.
I moderni motori TeX bypassano sempre più spesso il formato .dvi: pdfLaTeX e LuaLaTeX producono direttamente PDF; XeTeX emette un file DVI esteso intermedio .xdv. La catena classica - .tex → .dvi → dvips → .ps → PDF - rimane pienamente funzionale sotto TeX Live e MiKTeX. Il Plain TeX e il LaTeX standard (motori non-PDF) continuano a emettere .dvi come output nativo.
Sicurezza e incolumità
RISCHIO: LOWI file DVI non contengono script o macro incorporati. I comandi «xxx» (special) incorporano stringhe specifiche per il driver (es. speciali PostScript tramite dvips) ma queste vengono interpretate solo dal driver DVI, non eseguite come codice. Formato a basso rischio usato esclusivamente in contesti accademici e TeX.
Dettagli del formato
in sintesi- Digital Video Interface (connettore hardware) - DVI si riferisce anche allo standard del connettore video (DVI-D, DVI-I, DVI-A) - del tutto non correlato; si tratta di hardware, non di un formato di file.
Programmi che aprono file DVI
Dettagli tecnici
specifiche approfondite| Codifica | Flusso di opcode binario; gli interi multi-byte sono big-endian |
| Magic bytes | 0xF7 all'offset 0 (opcode di preambolo pre); 0x02 all'offset 1 per la versione standard del formato DVI |
| Varianti del formato | Byte di versione 0x02 = DVI standard; 0x03 = DVI esteso Omega/Lambda (bidirezionale RTL/LTR); XDV = estensione XeTeX |
| Struttura del file | Preambolo → blocchi di pagina (opcode bop/eop) → postambolo (tabella font, conteggio pagine, dimensioni) → byte di padding 0xDF |
| Gestione dei font | Font citati per nome e checksum TFM; non incorporati - il visualizzatore richiede l'installazione locale dei font |
| Checksum del font | Checksum TFM incorporato per ogni record di definizione del font; una mancata corrispondenza genera un avviso nel visualizzatore |
| Terminazione del file | I byte finali 0xDF riempiono la lunghezza totale del file fino a un multiplo di 4 byte |
| Dimensione tipica del file | 10 KB - 5 MB (da un articolo accademico a un libro completo) |
| Sistema di coordinate | Dimensioni in unità DVI (1 unità DVI = 100 nm con ingrandimento predefinito di 1000 unità); posizionamento assoluto della pagina |
| OS associati | Linux, Windows, macOS, Unix (cross-platform tramite TeX Live, MiKTeX, MacTeX) |
| Catena di post-elaborazione | dvips converte in PostScript; dvipdfm/dvipdfmx converte in PDF; dvisvgm converte in SVG |
| Ordine dei byte | Big-endian per tutti gli interi multi-byte all'interno degli opcode DVI |
| Rilasciato | 1979 (with TeX; first described in TUGboat 1982) |
| Ultima versione | DVI format 2 (standard); format 3 = DVItype with mixed RTL/LTR (Omega/Lambda); XDV = extended DVI used by XeTeX |
| Standard aperto | Sì · royalty-free |
| Specifica | www.mn.uio.no |
Conversioni DVI
Domande e risposte della community
chiesto dagli utentiAncora nessuna domanda - sii il primo a chiedere informazioni sui file DVI.