IT
PerfR trasforma i rallentamenti ricorrenti da C a Rust in regole riutilizzabili
Where Does the Performance Go? Understanding and Recovering Performance Regressions in C-to-Rust Translation · arXiv:2610.23044
In parole semplici
Lo studio indaga perché il software tradotto da C a Rust può essere più lento. PerfR è un framework di ottimizzazione guidato da regole: misura il codice tradotto per trovare le funzioni più attive, individua al loro interno schemi ricorrenti associati ai rallentamenti e usa un modello linguistico di AI per valutare e proporre riscritture.
Il modello controlla se le condizioni per una riscrittura sono soddisfatte; PerfR mantiene una modifica candidata solo se i test mostrano output corrispondenti e tempi migliori. Su progetti distinti da quelli usati per ricavare le regole, PerfR ha avuto tempi inferiori rispetto alla traduzione non modificata in quasi tutte le attività testate e ha prodotto gli stessi output del C in tutte quelle verificate.
La ricerca
Quando un software viene tradotto meccanicamente da C a Rust, mantiene la stessa velocità? Se la perde, le cause possono diventare correzioni utili anche per altri progetti?
Gli autori esaminano attività di programmazione complete con output verificabili, poi riservano un insieme distinto di progetti per valutare se il framework funziona anche oltre quelli usati per ricavare le regole.
PerfR trasforma i rallentamenti ricorrenti in regole per riscrivere il codice più attivo in Rust tradotto da C e verifica ogni modifica prima di conservarla.
Le esecuzioni appaiate hanno mostrato che il Rust tradotto era più lento del C di oltre il 3%, rispetto al tempo del C, in 12 delle 19 attività dello studio. L'analisi del compilatore e del codice ha individuato nove problemi ricorrenti, da cui derivano le regole di riscrittura di PerfR.
Nelle 41 attività di 12 progetti di valutazione distinti, PerfR ha avuto tempi inferiori rispetto al Rust tradotto non modificato in 40 attività e ha prodotto gli stessi output del C in tutte e 41. Questi conteggi sostengono il recupero delle prestazioni sui carichi di lavoro testati.
I risultati riguardano attività di programmazione selezionate e deterministiche in 20 progetti scelti; ottenere gli stessi output di C sugli input testati non dimostra che il comportamento coincida su altri input o attività.
Inoltre, il confronto iniziale tra C e Rust usa configurazioni di compilazione diverse per ciascun linguaggio, quindi non permette di isolare gli effetti della traduzione da quelli del compilatore e del linguaggio.
Cosa mostrano le prove
- Domanda e progetti esaminati
PerfR è un framework di ottimizzazione guidato da regole che usa un modello linguistico di grandi dimensioni (LLM) per migliorare progetti Rust tradotti da C con c2rust, un traduttore da C a Rust. Lo studio chiede se la traduzione rallenti progetti reali, quali siano le cause e se da cause ricorrenti si possano ricavare correzioni riutilizzabili.
Esamina attività di programmazione complete con output verificabili: ricava le regole da otto progetti selezionati e le valuta su 12 progetti distinti.
- Dove rallenta la traduzione
Nelle 19 attività dello studio, le esecuzioni appaiate hanno mostrato che il Rust tradotto era più lento del C di oltre il 3% in 12 attività; il sovraccosto è misurato rispetto al tempo di esecuzione del C. Il problema varia quindi da un'attività all'altra e non rappresenta un unico rallentamento valido per tutto un progetto.
Gli autori esaminano poi le funzioni del progetto più attive nelle attività più lente per risalire alle differenze.
- Dalle differenze alle regole
Confrontando gli output appaiati del compilatore e il codice tradotto, gli autori individuano nove problemi ricorrenti: due forme di lavoro residuo durante l'esecuzione, due trasformazioni del compilatore mancate e cinque schemi nel codice sorgente.
Un problema candidato deve essere supportato da evidenze sul carico di lavoro e sul meccanismo; per formare un gruppo servono almeno tre casi. In questo modo, le differenze osservate diventano possibili direzioni di ottimizzazione, invece di trattare come problema di prestazioni qualsiasi codice Rust dall'aspetto insolito.
- Come PerfR applica le regole
PerfR applica queste indicazioni misurando i progetti per individuare le funzioni più attive, confrontando gli elementi del compilatore e il codice Rust con le regole e chiedendo all'LLM di verificare le condizioni necessarie per una riscrittura nel contesto del progetto.
Propone una modifica quando trova una corrispondenza; i controlli funzionali e le misurazioni dei tempi determinano se conservarla.
- Tempi e comportamento
Nelle 41 attività dei 12 progetti di valutazione distinti, i valutatori hanno rilevato tempi inferiori rispetto al Rust tradotto non modificato in 40 attività; gli output di PerfR coincidevano con quelli di C in tutte le 41 attività testate.
Sono conteggi di attività, non un'accelerazione media. I risultati sui tempi e sugli output sostengono il recupero delle prestazioni su questo insieme selezionato di carichi di lavoro, nelle stesse condizioni di valutazione.
- Contributo e ricorrenza delle regole
Altri due controlli valutano se le regole contribuiscono al risultato e se ricorrono altrove. Partendo dalla stessa versione di base già rifinita, PerfR ha avuto tempi inferiori in 34 attività su 41 rispetto alla versione priva delle schede di ottimizzazione: questo indica un contributo delle regole in questa procedura.
Nei progetti di valutazione distinti, almeno uno schema corrispondente a una regola è comparso nel 94% delle funzioni più attive; questo tasso di corrispondenza segnala schemi riconoscibili, non riscritture accettate.
Dettagli
- Autori del paper originale
- Zhiqiang Yuan, Chong Wang, Zhenhao Zhou, Junwei Liu, Xin Peng
- Inviato ad arXiv
- Licenza
- arXiv non-exclusive