{"id":112509,"date":"2023-12-26T15:10:22","date_gmt":"2023-12-26T13:10:22","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/dlya-python-predlozhen-jit-kompilyator-ispolzuyushhij-tehniku-copy-and-patch"},"modified":"2023-12-26T15:10:22","modified_gmt":"2023-12-26T13:10:22","slug":"dlya-python-predlozhen-jit-kompilyator-ispolzuyushhij-tehniku-copy-and-patch","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/dlya-python-predlozhen-jit-kompilyator-ispolzuyushhij-tehniku-copy-and-patch","title":{"rendered":"Per Python \u00e8 stato proposto un compilatore JIT che utilizza la tecnica copy-and-patch","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Brandt Bucher di Microsoft, uno dei core developer di CPython e membro del team che si occupa dell'ottimizzazione delle prestazioni dell'interprete CPython, ha pubblicato un'implementazione del compilatore JIT per Python che utilizza la tecnica Copy-and-Patch. La pubblicazione del JIT \u00e8 stata programmata per Natale e l'annuncio \u00e8 stato scritto in versi. <\/p>\n
Il JIT proposto \u00e8 notevole per l'alta velocit\u00e0 di generazione del codice, la semplicit\u00e0 di manutenzione e l'integrazione completa con l'interprete. Il metodo proposto consente di trasformare automaticamente l'interprete, scritto in linguaggio C, in un compilatore JIT, senza la necessit\u00e0 di creare separatamente la logica di generazione del codice e senza la creazione manuale di rappresentazioni in assembly. Con questo approccio, la correzione di un errore nell'interprete porta automaticamente alla risoluzione dello stesso problema nel JIT, poich\u00e9 viene utilizzato un generatore di codice comune. <\/p>\n
Il funzionamento del metodo Copy-and-Patch si basa sul fatto che la rilocalizzazione del codice in memoria durante il caricamento da parte del linker dei file oggetto e la sostituzione delle istruzioni macchina al posto del bytecode nel JIT rappresentano compiti simili. Durante l'esecuzione del programma, il JIT analizza le istruzioni bytecode create dall'interprete e copia per ciascuna istruzione il codice macchina precompilato nell'area di memoria in cui risiede il codice eseguibile, nonch\u00e9 modifica al volo le istruzioni per sostituirvi i dati elaborati (il JIT copia modelli pronti di funzioni gi\u00e0 compilate e inserisce in essi i valori necessari, come argomenti e costanti). Anche durante il caricamento dei file oggetto avviene la copia del codice macchina in memoria e la sostituzione dei simboli esterni. <\/p>\n
Nel Copy-and-Patch JIT, utilizzando LLVM, viene generato un file oggetto in formato ELF, che contiene informazioni sulle istruzioni del bytecode e dettagli sulla sostituzione dei dati necessari. Il JIT sostituisce le istruzioni del bytecode generate durante l'interpretazione del programma con rappresentazioni nel codice macchina, inserendo nel contempo i dati necessari per i calcoli. L'implementazione del JIT richiede LLVM come dipendenza durante la fase di compilazione, ma i componenti runtime non sono legati a dipendenze esterne e si riducono a circa 300 righe scritte a mano in C e 3000 righe di codice C generate. <\/p>\n
Rispetto agli strumenti JIT tradizionali (LLVM -O0), il JIT proposto offre una generazione di codice 100 volte pi\u00f9 veloce e codice risultante pi\u00f9 veloce del 15%. Rispetto alla compilazione in WebAssembly (Liftoff), il nuovo JIT genera codice 5 volte pi\u00f9 velocemente e il codice risultante funziona il 50% pi\u00f9 rapidamente. Confrontando il nuovo JIT con il JIT ottimizzante (LuaJIT), che utilizza codice assembly scritto a mano, la versione proposta \u00e8 risultata pi\u00f9 veloce in 13 dei 44 test, mentre in media ha mostrato un calo delle prestazioni del 35%, pur semplificando notevolmente la manutenzione e riducendo il livello di complessit\u00e0 di implementazione.
![\"Riproduci](\"https:\/\/img.youtube.com\/vi\/HxSHIpEQRjs\/hqdefault.jpg\")
\r\n