Divulgazione Adattiva Decentralizzata della Coda per Inquilini Impazienti nei Sistemi Edge e Non-Terrestri

Informazioni Fondamentali

• ID Articolo: 2508.04241
• Titolo: Adaptive Decentralized Queue Disclosure for Impatient Tenants in Edge and Non-terrestrial Systems
• Autori: Anthony Kiggundu, Bin Han, Hans D. Schotten
• Classificazione: eess.SY (Sistemi e Controllo), cs.SY (Sistemi e Controllo)
• Data di Pubblicazione: 13 ottobre 2025 (arXiv v2)
• Istituzioni: German Research Center for Artificial Intelligence (DFKI), RPTU University of Kaiserslautern-Landau
• Link Articolo: https://arxiv.org/abs/2508.04241

Riassunto

Questo articolo esamina come la divulgazione delle informazioni sullo stato della coda influenzi gli inquilini impazienti nei sistemi edge multi-tenant. Gli autori propongono una strategia di comunicazione delle informazioni in cui ogni coda trasmette periodicamente due modelli markoviani: uno per il comportamento del tasso di servizio in stato stazionario e uno per il modello temporale dei cambiamenti della lunghezza della coda. Gli inquilini decidono autonomamente se abbandonare o trasferirsi in base a queste informazioni. La coda osserva le risposte degli inquilini e si adatta al tasso di servizio attraverso una strategia di previsione basata su regole progettata per ambienti decentralizzati, parzialmente osservabili e time-varying. Gli esperimenti numerici quantificano i compromessi tra ritardo medio, impazienzza e robustezza alle informazioni obsolete.

Contesto e Motivazione della Ricerca

Definizione del Problema

Nelle distribuzioni eterogenee 5G/6G, la condivisione delle risorse multi-tenant non è guidata solo da configurazioni statiche, ma sempre più dalle decisioni autonome degli inquilini (ad esempio, se scaricare i compiti in una coda remota o elaborarli localmente). La divulgazione dello stato della coda (come lunghezza della coda, stime del tempo di attesa o statistiche di servizio) può alterare significativamente il comportamento degli inquilini e innescare competizione per le risorse attraverso il cambio di coda (jockeying) e l'abbandono (reneging).

Importanza della Ricerca

Gli ambienti moderni di Multi-access Edge Computing (MEC) e reti non-terrestri (NTN) sono decentralizzati, caratterizzati da trasmissioni di stato parziali e obsolete, e mostrano canali time-varying e mobilità. In tali ambienti, l'assunzione di un singolo controllore centrale con accesso istantaneo allo stato globale è irrealistica. Tuttavia, le regole di divulgazione e gli approcci euristici esistenti sono generalmente sviluppati per scenari statici o leggermente mobili e non rispondono a tre questioni fondamentali del controllo decentralizzato:

1. Quali informazioni di stato dovrebbero essere condivise
2. Come dovrebbero essere rappresentate le informazioni
3. Con quale frequenza dovrebbero essere distribuite gli aggiornamenti

Limitazioni degli Approcci Esistenti

I metodi di ottimizzazione centralizzati tradizionali (come le strategie di hedging) assumono informazioni di stato complete, istantanee e condizioni di stazionarietà, ma questi presupposti spesso non si verificano nelle tipiche condizioni dei cloud edge e dei deployment non-terrestri. Le prestazioni dei metodi esistenti degradano significativamente quando le informazioni diventano parziali o obsolete.

Contributi Principali

1. Concetto di Comunicazione delle Informazioni: Introduce il concetto di comunicazione delle informazioni per code multi-tenant e formalizza due descrittori markoviani (distribuzione del tasso di servizio e tempo di variazione) come riassunti di stato regolabili adatti ai canali di controllo con risorse limitate.
2. Analisi Teorica: Deriva espressioni in forma chiusa per le probabilità di cambio di coda e abbandono sotto questi descrittori, e formula un problema di minimizzazione congiunta dell'impazienzza che bilancia ritardo, cambio di coda e abbandono. Dimostra che il problema di ottimizzazione è intrattabile analiticamente.
3. Strategia Pratica: Propone una strategia di previsione pratica basata su regole che apprende il vettore del tasso di servizio dalle risposte degli inquilini e adatta il tasso di servizio online.
4. Valutazione Completa: Attraverso una valutazione numerica estesa quantifica il valore di diversi modelli di comunicazione e intervalli di distribuzione, e dimostra la robustezza della strategia di apprendimento sotto carichi di lavoro eterogenei.

Dettagli del Metodo

Definizione del Compito

Considera un sistema di code M/M/2 con due code i e j. I nuovi arrivi seguono una distribuzione di Poisson con tasso di arrivo totale λ = λᵢ + λⱼ. Ogni coda distribuisce le sue informazioni di stato agli inquilini a intervalli di r secondi, introducendo una certa obsolescenza. L'obiettivo è minimizzare una misura di prestazione composita che include ritardo medio, eventi di cambio di coda e abbandoni (impazienzza degli inquilini).

Architettura del Modello

1. Modello Markoviano del Tasso di Servizio

La distribuzione del tasso di servizio della coda i o j in stato di equilibrio segue una catena di Markov a tempo continuo (CTMC) a K stati con tassi di servizio {μᵢ}ᵢ₌₁ᴷ e {μⱼ}ⱼ₌₁ᴷ. Il tasso di servizio effettivo è definito come:

μ̄ₓ = Σᵢ₌₁ᴷ πₓᵢ μᵢ, μ̄ᵧ = Σⱼ₌₁ᴷ πᵧⱼ μⱼ

dove πₓᵢ e πᵧⱼ sono le probabilità in stato stazionario.

2. Modello Dinamico della Lunghezza della Coda - Distribuzione del Tempo di Variazione (ICD)

Questo modello quantifica la frequenza con cui si verificano transizioni nel sistema di code. Per una coda nello stato n, quando n=0 solo gli eventi di arrivo cambiano lo stato, mentre quando n≥1 sia gli arrivi che le partenze possono cambiare lo stato. Il modello markoviano è definito come:

Rᵢ = Σₙ₌₀^∞ πᵢ,ₙ (λᵢ + μᵢ · 1ₙ≥₁) = 2λᵢ

Il tempo medio di variazione atteso è:

Tᵢᴵᶜᴰ = 1/Rᵢ = 1/(2λᵢ)

3. Dominanza Stocastica del Primo Ordine (FSD)

Determina quale coda è migliore confrontando le funzioni di distribuzione cumulativa FX(μₖ) e FY(μₖ). Se PX > x ≥ PY > x ∀x ∈ ℝ, allora X domina stocasticamente Y al primo ordine.

Modellazione del Comportamento

Comportamento di Abbandono

La probabilità di abbandono basata su FSD è definita come:

P^FSD_reneg(ℓ) = Σᵥ₌₀^(ℓ-1) [(μᵢ - λᵢ)Δ]^v/v! e^(-(μᵢ-λᵢ)Δ)

dove Δ = Tₗₒcₐₗ - ηr, η ∈ 0,1 rappresenta il grado di obsolescenza delle informazioni.

Comportamento di Cambio di Coda

La probabilità di cambio di coda basata su ICD è modellata utilizzando una funzione sigmoide:

P^ICD_{i→j} = 1/(1 + e^(-2de^(-ηr)(λᵢ-λⱼ)))

Problema di Ottimizzazione

Il problema di ottimizzazione congiunta è formalizzato come:

min_{μᵢ,μⱼ} τ[Wᵢ(μᵢ) + Wⱼ(μⱼ)] + φ[R^reneg_i(μᵢ) + R^reneg_j(μⱼ)] + ψ[R^jockey_{i→j}(μᵢ,μⱼ) + R^jockey_{j→i}(μⱼ,μᵢ)]

Soggetto ai vincoli: μᵢ,min ≤ μᵢ < μᵢ,max, μᵢ > λᵢ

Punti di Innovazione Tecnica

1. Astrazione dell'Informazione: Astrae lo stato complesso della coda in due modelli markoviani compatti, adatti ai canali di controllo con larghezza di banda limitata.
2. Apprendimento Adattivo: La strategia di previsione basata su regole è in grado di apprendere dalle risposte degli inquilini e adattare il tasso di servizio online.
3. Progettazione Robusta: Considera l'obsolescenza delle informazioni e l'osservabilità parziale, più adatta agli ambienti edge computing reali.

Configurazione Sperimentale

Parametri Sperimentali

• Intervalli di distribuzione: r ∈ {3, 5, 7, 9} secondi
• Intervallo del tasso di arrivo: 3 ≤ λ ≤ 17
• 300 simulazioni per ogni configurazione
• Configurazione del sistema M/M/2

Metriche di Valutazione

• Ritardo medio
• Tasso di abbandono
• Tasso di cambio di coda
• Valore della funzione obiettivo composita (combinando ritardo e misure di impazienzza)

Metodi di Confronto

• Baseline senza strategia
• Strategia classica centralizzata di hedging MDP
• Strategia di previsione basata su regole proposta

Risultati Sperimentali

Risultati Principali

1. Confronto dei Modelli di Informazione: Il modello markoviano del tasso di servizio produce meno comportamenti impazienti rispetto al modello del tempo di variazione della lunghezza della coda, poiché fornisce una mappatura diretta della velocità di elaborazione.
2. Ottimizzazione della Frequenza di Distribuzione: L'optimalità viene raggiunta tra intervalli di 5-7 secondi, dove il grado di impazienzza è minimizzato e il sistema è stabile, specialmente quando le richieste ricevono informazioni sul tasso di servizio.
3. Confronto delle Strategie:
   • Strategia di hedging: più stabile ma con tassi di abbandono e cambio di coda più elevati
   • Strategia basata su regole: più variabile ma potrebbe registrare tassi inferiori a intervalli più brevi
4. Effetto dell'Ottimizzazione: La strategia ottimizzata è statisticamente robusta, producendo valori obiettivo inferiori e più coerenti (media=0.53 vs 1.78 senza ottimizzazione).

Scoperte Chiave

Secondo il riassunto quantitativo della Tabella I:

• Minore variabilità nei risultati ottimizzati (deviazione standard=0.15 vs 0.97)
• Miglioramento medio di 1.26
• Soluzioni migliori trovate in tutti gli intervalli di distribuzione

Analisi del Tempo di Attesa

Quando la strategia è incorporata, il tempo di attesa per le richieste abbandonate e cambiate è significativamente ridotto, con maggiore optimalità osservata quando si distribuisce il modello markoviano del tasso di servizio.

Lavori Correlati

Le principali direzioni di ricerca in questo campo includono:

1. Strategie di divulgazione delle informazioni nei sistemi di code
2. Controllo decentralizzato in sistemi multi-server
3. Allocazione delle risorse nel computing edge
4. Modellazione del comportamento dei clienti impazienti

I vantaggi di questo articolo rispetto ai lavori correlati includono:

• Considerazione dell'impatto dell'obsolescenza delle informazioni
• Fornitura di soluzioni adatte agli ambienti decentralizzati
• Integrazione di meccanismi di apprendimento e adattamento

Conclusioni e Discussione

Conclusioni Principali

1. Le informazioni sullo stato del sistema svolgono un ruolo cruciale nel plasmare le decisioni degli inquilini impazienti
2. La strategia di previsione basata su regole mostra maggiore robustezza all'obsolescenza delle informazioni
3. Una frequenza appropriata di divulgazione delle informazioni è critica per le prestazioni del sistema
4. Il modello markoviano del tasso di servizio è più efficace del modello dinamico della coda

Limitazioni

1. Limitato all'impostazione di Poisson M/M/2
2. Necessità di quantificare i costi computazionali e di comunicazione del meccanismo di comunicazione
3. Non considera processi di arrivo bursty, code pesanti e tempi di servizio non-esponenziali

Direzioni Future

1. Includere modelli di informazione con costi di sottoscrizione più astratti
2. Sostituire l'euristica basata su regole con tecniche di apprendimento per rinforzo
3. Estendere a server eterogenei multi-coda
4. Validare il metodo su piattaforme di test MEC prototipali

Valutazione Approfondita

Punti di Forza

1. Innovatività: Propone un concetto innovativo di comunicazione delle informazioni, fornendo nuove prospettive per il controllo decentralizzato delle code
2. Praticità: Considera l'obsolescenza delle informazioni e l'osservabilità parziale negli ambienti edge computing reali
3. Rigore Teorico: Fornisce un framework matematico completo di modellazione e analisi
4. Esperimenti Estesi: Valida l'efficacia del metodo attraverso ampi esperimenti numerici

Insufficienze

1. Limitazioni del Modello: Considera solo il sistema M/M/2, mentre i sistemi reali sono più complessi
2. Sensibilità ai Parametri: La scelta di alcuni parametri (come δλ, η) manca di una guida teorica sufficiente
3. Complessità Computazionale: L'analisi della complessità computazionale della risoluzione delle condizioni KKT non è sufficientemente dettagliata
4. Validazione Pratica: Mancano esperimenti di validazione su sistemi reali

Impatto

1. Contributo Accademico: Fornisce nuove direzioni di ricerca nei campi della teoria delle code e del computing edge
2. Valore Pratico: Offre indicazioni per l'allocazione delle risorse nelle reti 6G
3. Scalabilità: Il framework del metodo ha buona scalabilità

Scenari Applicabili

Questo metodo è particolarmente adatto a:

1. Sistemi di edge computing multi-tenant
2. Ambienti di reti non-terrestri
3. Sistemi decentralizzati con trasmissione di informazioni limitata
4. Sistemi di servizio che devono considerare il comportamento impazienti degli utenti

Riferimenti Bibliografici

L'articolo cita importanti letterature nei campi della teoria delle code, modellazione del comportamento e computing edge, inclusi:

• Ricerche di Y. Ouyang e D. Teneketzis sul routing decentralizzato
• Lavori di B. Lin et al. sulle strategie ottimali per sistemi di code a doppio server
• Specifiche tecniche 3GPP sulla gestione e orchestrazione del network slicing

Valutazione Complessiva: Questo è un articolo di ricerca di alta qualità nel campo dell'intersezione tra teoria delle code e computing edge, che propone una strategia innovativa di divulgazione delle informazioni per affrontare il problema dell'impazienzza degli inquilini in ambienti decentralizzati. Nonostante alcune limitazioni, i suoi contributi teorici e il valore pratico lo rendono un progresso importante in questo campo.