💻 computer science

HPC-vQPU: A Service-Export Architecture for Virtual QPUs on Batch-Scheduled HPC Systems

Questo articolo presenta HPC-vQPU, un'architettura di esportazione di servizi che abilita la simulazione virtuale fedele al dispositivo di QPU sicura su sistemi HPC con pianificazione in batch, disaccoppiando un piano di controllo rivolto al cloud da un piano di esecuzione residente nell'HPC mediante coordinamento in uscita e snapshot di dispositivo immutabili e consapevoli della calibrazione.

Autori originali: Shusen Liu, Pascal Jahan Elahi, Ugo Varetto

Pubblicato 2026-05-29

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Shusen Liu, Pascal Jahan Elahi, Ugo Varetto

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il Grande Problema: Due Mondi Diversi

Immagina di avere una cucina molto potente e ad alta tecnologia (un Supercomputer) in grado di preparare pasti enormi per migliaia di persone contemporaneamente. Tuttavia, questa cucina ha regole rigide:

Nessun accesso diretto: Non puoi entrare e ordinare un pasto. Devi compilare un modulo, fare la fila e il personale della cucina inizierà a cucinare solo quando avrà un fornello libero.
Nessun contatto diretto: Una volta che il tuo cibo sta venendo cucinato in cucina, gli chef sono isolati. Non possono chiamarti al telefono per farti domande o dirti come sta andando. Possono solo inviare un promemoria quando hanno finito.

Ora, immagina di essere un Scienziato Quantistico. Vuoi eseguire un esperimento molto specifico e delicato (un "Circuito Quantistico") che richiede un set specifico di ingredienti e uno stile di cottura particolare (calibrazione e topologia). Ti aspetti un servizio in cui puoi dire: "Prepara questo piatto sul fornello 'IBM Fez'" e ottenere il risultato immediatamente.

Il Conflitto: Lo scienziato desidera un'esperienza interattiva di "ordina e attendi". Il Supercomputer offre solo un'esperienza di "compila un modulo e fai la fila". Se provi a costringere la cucina a parlarti direttamente, violi le regole di sicurezza della cucina.

La Soluzione: HPC-VQPU

Gli autori hanno costruito un sistema chiamato HPC-VQPU per colmare questo divario. Pensalo come un Cameriere Intelligente che sa esattamente come parlare sia con lo scienziato che con la cucina senza violare alcuna regola.

Ecco come funziona, passo dopo passo:

1. Il Team in Due Parti

Il sistema è diviso in due ruoli distinti, proprio come un ristorante ha una Sala e una Cucina.

Il Piano di Controllo (Sala): Questa è la parte con cui parla lo scienziato. Sembra una normale e amichevole applicazione. Accetta il tuo ordine, verifica se gli ingredienti sono validi e ti rilascia una ricevuta. Risiede fuori dalla cucina sicura.
Il Piano di Esecuzione (Cucina): Questa è la parte all'interno della cucina sicura. È un umile "Corriere" (un agente) che risiede alla scrivania d'ingresso della cucina. Non può chiamare la Sala; può solo chiedere alla Sala di avere lavoro.

2. La Regola "Solo in Uscita" (La Porta a Senso Unico)

La cucina ha una politica di sicurezza rigorosa: Nessuno all'interno può chiamare il mondo esterno per iniziare una conversazione. Nemmeno il mondo esterno può chiamare dentro.

Come HPC-VQPU risolve questo: Il Corriere all'interno della cucina continua a bussare alla porta (polling) e chiede: "Hai degli ordini per me?"
La Sala non chiama mai il Corriere. Si limita ad aspettare che il Corriere chieda. Questo mantiene la cucina sicura perché non vengono aperte "porte di servizio".

3. Il Contratto "Istantanea" (La Ricetta Congelata)

Questa è la parte più importante del documento.

Il Problema: I computer quantistici sono come esseri viventi; il loro "sapore" (calibrazione) cambia ogni giorno. Se ordini un piatto oggi, ma la cucina non inizia a cucinarlo fino a domani, gli ingredienti potrebbero essere cambiati e il piatto non avrà il sapore giusto.
Il Vecchio Modo: Se inviassi semplicemente una richiesta, la cucina potrebbe cercare la ricetta quando inizia a cucinare. Ma a quel punto, la ricetta potrebbe essere cambiata, o la cucina potrebbe essere troppo occupata per cercarla.
Il Modo HPC-VQPU: Quando il Corriere chiede un ordine, la Sala non dice semplicemente "Vai a cucinare questo". Consegnano una Carta Ricetta Congelata (un'"Istantanea").
- Questa carta contiene lo stato esatto degli ingredienti, le impostazioni del fornello e le istruzioni di cottura al momento esatto in cui il Corriere ha preso l'ordine.
- Il Corriere prende questa carta, entra nella cucina isolata e cucina solo usando quella carta. Non ha bisogno di cercare di nuovo la ricetta.
- Perché è importante: Anche se il libro delle ricette principale della cucina cambia un'ora dopo, il tuo piatto viene cucinato usando la "Ricetta Congelata" che ti è stata data. Il risultato è garantito essere coerente con il "Computer Quantistico Virtuale" specifico che hai richiesto.

4. La "Rivendicazione" (Assumere la Proprietà)

Immagina una cucina affollata con due corrieri.

Il Rischio: Se entrambi i corrieri chiedono lo stesso ordine allo stesso tempo, potrebbero entrambi provare a cucinarlo, sprecando ingredienti e ottenendo due risultati diversi.
La Soluzione: La Sala ha una serratura speciale. Quando un Corriere chiede lavoro, la Sala dice: "Ok, TU hai questo ordine ora". Contrassegna istantaneamente l'ordine come "Preso" e consegna la Carta Ricetta Congelata a quel Corriere specifico.
Se un altro Corriere chiede lo stesso ordine un secondo dopo, la Sala dice: "Mi dispiace, quello è già stato preso". Questo garantisce che il lavoro venga eseguito esattamente una volta.

5. Il "Battito Cardiaco" (Controllare)

Poiché i corrieri della cucina non possono chiamare fuori, come fa la Sala a sapere che sono ancora vivi?

Il Corriere invia un piccolo segnale "Sono ancora qui" (un battito cardiaco) ogni pochi secondi.
Se il Corriere si blocca o scompare, la Sala nota che i battiti cardiaci si fermano. Non va in panico; si limita ad aspettare che un manager umano dica: "Ok, diamo quell'ordine a un Corriere diverso". Questo impedisce al sistema di bloccarsi o di perdere dati.

Cosa Hanno Dimostrato?

Gli autori hanno testato questo sistema su un vero supercomputer (Setonix) e hanno dimostrato:

È abbastanza veloce: Il "cameriere" non rallenta la cottura. Il tempo extra aggiunto è minimo e non peggiora man mano che la cottura diventa più complessa.
È accurato: La "Ricetta Congelata" funziona. Quando hanno utilizzato dati reali che cambiano, il sistema ha cucinato il piatto usando la ricetta corrente al momento dell'ordine, non una vecchia.
È sicuro: Anche se il Corriere si blocca, il sistema sa esattamente cosa è successo e può recuperare senza perdere l'ordine o cucinarlo due volte.
È sicuro: Funziona perfettamente senza mai violare le regole di sicurezza del supercomputer (nessuno all'interno chiama fuori per iniziare una conversazione).

Riepilogo

HPC-VQPU è un modo intelligente per permettere agli scienziati di utilizzare un supercomputer potente e sicuro come se fosse un computer quantistico amichevole e interattivo. Lo fa utilizzando un "Corriere" che chiede lavoro, distribuendo "Carte Ricetta Congelate" in modo che la cottura sia coerente e assicurandosi che nessuno violi le rigide regole di sicurezza della cucina. Trasforma un sistema rigido e burocratico in un servizio fluido e affidabile.

Riepilogo Tecnico: HPC-VQPU

Enunciato del Problema

Il documento affronta il disallineamento fondamentale tra i requisiti della simulazione quantistica consapevole del dispositivo e i vincoli operativi dei sistemi di Calcolo ad Alte Prestazioni (HPC) sicuri e schedulati in batch. Sebbene la ricerca quantistica moderna si basi sempre più su simulatori che modellano topologie specifiche del dispositivo, set di porte nativi e parametri di rumore derivati dalla calibrazione, l'infrastruttura HPC è progettata per l'esecuzione mediata da scheduler piuttosto che per servizi interattivi orientati al dispositivo.

Tre sfide principali impediscono l'esportazione diretta della simulazione quantistica come servizio dagli ambienti HPC:

Inversione della Connettività: I cluster HPC sicuri proibiscono tipicamente le connessioni in entrata ai nodi di calcolo. Gli sviluppatori quantistici si aspettano di inviare circuiti a un backend denominato e di recuperare i risultati in modo interattivo, ma i modelli di sicurezza HPC consentono solo comunicazioni in uscita dai nodi di accesso. Un modello standard "push" in cui un servizio distribuisce lavori ai lavoratori è strutturalmente non disponibile.
Preservazione Semantica: Un "QPU virtuale" non è semplicemente un esecutore di circuiti; è un endpoint definito dal software che espone vincoli di topologia, calibrazione e rumore. In un sistema batch, un'attività può rimanere in coda per ore mentre lo stato di calibrazione del dispositivo cambia. Se la semantica di esecuzione non è vincolata a un punto specifico nel tempo, il risultato potrebbe non corrispondere più al dispositivo virtuale richiesto, rendendo la simulazione scientificamente invalida per lo sviluppo di compilatori o studi di instradamento.
Complessità Operativa: L'esecuzione mediata da batch introduce un'area di fallimento oltre ai semplici errori applicativi, inclusi ritardi dello scheduler, guasti dei nodi, scomparsa di agenti e artefatti malformati. Un servizio vitale deve conciliare la semantica del ciclo di vita interattivo (invia, monitora, recupera) con la parzialità dell'osservabilità e la natura asincrona della schedulazione dei lavori HPC.

Metodologia e Architettura

Gli autori propongono HPC-VQPU, un'architettura di esportazione del servizio che separa l'autorità del servizio dall'esecuzione governata dallo scheduler. Il sistema è organizzato in due piani distinti che comunicano esclusivamente tramite messaggi in uscita, iniziati dall'agente, preservando il confine di sicurezza HPC.

1. Decomposizione in Due Piani

Piano di Controllo (Esposto al Cloud): Ospitato esternamente al cluster HPC, questo piano gestisce l'API, il ciclo di vita delle attività, l'identità del dispositivo e la proiezione degli eventi. È autorevole per lo stato delle attività ma non contiene funzionalità rivolte allo scheduler né connettività in entrata verso il cluster.
Piano di Esecuzione (Residente nell'HPC): Implementato da un vqpu_agent non privilegiato in esecuzione su un nodo di accesso HPC. Questo agente avvia tutte le coordinazioni. Interroga il piano di controllo per il lavoro, rivendica le attività, invia lavori allo scheduler (ad esempio Slurm) e riporta i risultati. Non possiede alcuna verità di servizio durevole ed è ricostruibile al riavvio.

2. Il Contratto dell'Istantanea

L'astrazione fondamentale è l'istantanea del dispositivo ( $\Delta$ ), una rappresentazione strutturata a grafo di un dispositivo virtuale contenente topologia, porte native e parametri di calibrazione (tempi di coerenza, tassi di errore).

Vincolo al Momento della Rivendicazione: Per risolvere la tensione tra ritardo della coda e freschezza della calibrazione, l'istantanea è vincolata atomicamente al momento della rivendicazione, non al momento dell'invio. Quando un agente rivendica un'attività, il piano di controllo trasferisce la proprietà e fornisce l'istantanea immutabile ( $\delta_i$ ) come parte del contratto di esecuzione.
Esecuzione Ermetica: L'esecutore sul nodo di calcolo riceve un payload locale contenente il circuito e l'istantanea vincolata. Esegue la simulazione (ad esempio utilizzando Qiskit-Aer/cuQuantum) completamente offline, derivando i modelli di rumore dall'istantanea senza contattare il piano di controllo. Ciò garantisce che la semantica di esecuzione sia invariante rispetto ai cambiamenti dello stato del dispositivo avvenuti dopo la rivendicazione.

3. Ciclo di Vita delle Attività e Protocollo

Il sistema impiega un automa a cinque stati per le attività ( $\{IN_CODA, IN_ESECUZIONE, COMPLETATO, FALLITO, ANNULLATO\}$ ) gestito dal piano di controllo.

Protocollo Asimmetrico: L'agente avvia le operazioni RIVENDICA, BATTITO_CORDIALE e RENDICONTA. Il piano di controllo non spinge mai stati verso l'interno.
Proprietà Atomica: L'operazione RIVENDICA è il punto di linearizzazione per la proprietà. Transita atomicamente un'attività da IN_CODA a IN_ESECUZIONE e assegna un proprietario unico, prevenendo l'esecuzione duplicata da parte di agenti concorrenti.
Recupero: Se un agente fallisce, l'attività rimane in IN_ESECUZIONE con un proprietario obsoleto. Il recupero richiede un'azione amministrativa esplicita (ad esempio RIINCODA), assicurando che l'ambiguità non venga risolta silenziosamente e che la linea di esecuzione sia preservata.

Contributi Chiave

Il documento presenta quattro contributi principali:

Architettura di Esportazione del Servizio: Una decomposizione piano di controllo/piano di esecuzione che risolve l'inversione della connettività tramite coordinazione solo in uscita, consentendo a sistemi HPC sicuri di esportare simulazioni consapevoli del dispositivo senza indebolire le posture di sicurezza.
Astrazione dell'Istantanea del Dispositivo: Un contratto di esecuzione portatile e strutturato a grafo che vincola topologia e semantica di calibrazione atomicamente al momento della rivendicazione, assicurando che i lavori schedulati rimangano fedeli allo stato del dispositivo virtuale richiesto.
Ciclo di Vita Consapevole dello Scheduler: Un automa a cinque stati per le attività con un protocollo asimmetrico di rivendicazione/rendicontazione/battito cordiale che concilia la semantica del servizio interattivo con l'esecuzione mediata da batch e la parzialità dell'osservabilità.
Implementazione di Riferimento e Validazione: Una distribuzione di produzione presso il Pawsey Supercomputing Research Centre utilizzando GPU Setonix, Qiskit-Aer e dati di calibrazione IBM Fez, dimostrando la fattibilità dell'architettura.

Risultati Sperimentali

Gli autori validano l'architettura attraverso test di regressione ed esperimenti di produzione end-to-end, ottenendo i seguenti risultati:

Sovraccarico Limitato: Il sovraccarico di esportazione del servizio è additivo e limitato. La latenza visibile all'interfaccia (ammissione e interrogazione) rimane costante (~0,4s per l'ammissione, ~22-27s dalla coda alla rivendicazione) indipendentemente dalle dimensioni del circuito (28–32 qubit). La scalabilità esponenziale della simulazione rimane confinata al substrato di calcolo.
Fedeltà della Calibrazione: Esperimenti che utilizzano dati reali di calibrazione IBM Fez rispetto a istantanee ideali (nulle) dimostrano che il contenuto dell'istantanea altera direttamente le distribuzioni di output. Il sistema propaga correttamente i parametri di rumore derivati dalla calibrazione al simulatore.
Vincolo al Momento della Rivendicazione: Quando la calibrazione di un dispositivo viene modificata amministrativamente dopo l'invio ma prima della rivendicazione, il sistema esegue correttamente l'attività utilizzando lo stato post-modifica (ideale). Ciò conferma che l'istantanea è vincolata al momento della rivendicazione, prevenendo esecuzioni obsolete.
Concorrenza e Integrità: In un test multi-agente con 50 attività e due agenti concorrenti, tutte le attività sono state completate esattamente una volta con una ripartizione quasi pari (24:26). Non si sono verificate rivendicazioni duplicate né proprietà ambigue.
Recupero: Dopo un crash di un agente, tre attività IN_ESECUZIONE sono state recuperate con successo tramite riaccodamento esplicito, completandosi senza esecuzione duplicata o reinterpretazione silenziosa dello stato.

Significato e Affermazioni

Il documento afferma che HPC-VQPU dimostra che supercomputer sicuri e schedulati in batch possono esportare servizi interattivi semanticamente ricchi senza cessare di operare come sistemi HPC. Il significato risiede nella capacità di preservare la fedeltà del dispositivo (topologia, porte native, calibrazione) attraverso il confine dello scheduler.

Gli autori posizionano questo lavoro non come un'ottimizzazione delle prestazioni per i kernel di simulazione, ma come una soluzione di sistema per il confine del servizio. Trattando l'istantanea del dispositivo come un contratto di prima classe e indicizzato temporalmente, l'architettura consente ai flussi di lavoro del software quantistico (valutazione del compilatore, instradamento, studi sul rumore) di interagire con le risorse HPC come se fossero QPU virtuali interattivi. Gli invarianti di progettazione (connettività solo in uscita, rivendicazione atomica, esecuzione ermetica) sono presentati come condizioni necessarie per rendere i risultati scientificamente interpretabili come esecuzione su un dispositivo virtuale specifico, anche di fronte a ritardi della coda e guasti infrastrutturali.

Il documento conclude con modestia, riconoscendo che la valutazione è incentrata su un singolo sito di produzione e percorso di simulazione, e che l'architettura fornisce semantica autorevole del ciclo di vita piuttosto che una prova di esecuzione "esattamente una volta" nel senso completo dei sistemi distribuiti. Tuttavia, afferma che la proposta separazione tra autorità e realizzazione offre un percorso vitale per integrare la simulazione su scala HPC nell'ecosistema del software quantistico interattivo.