Minimizzazione dell'Età di Completamento dei Lavori con Code Stabili

Informazioni Fondamentali

• ID Articolo: 2511.04630
• Titolo: Age of Job Completion Minimization with Stable Queues
• Autori: Stavros Mitrolaris, Subhankar Banerjee, Sennur Ulukus (University of Maryland, College Park)
• Classificazione: cs.IT, cs.NI, cs.SY, eess.SP, eess.SY, math.IT, math.PR
• Data di Pubblicazione: 6 novembre 2025 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2511.04630

Riassunto

Questo articolo esamina un sistema di assegnazione dei lavori a slot temporali, comprendente un server centrale, N utenti e una macchina il cui stato varia secondo una catena di Markov (denominata macchina markoviana). Gli utenti sottomettono lavori al server centrale secondo processi di arrivo casuali, mentre il server mantiene code dedicate per ciascun utente. Quando la macchina non elabora i lavori assegnati dal server, può trovarsi in uno stato interno di occupazione o di inattività, con dinamiche che seguono una catena di Markov binaria simmetrica. Il server, mediante campionamento delle informazioni di stato della macchina, pianifica gli utenti e sottomette i lavori quando identifica la macchina in stato di inattività. Per massimizzare il numero di lavori completati per unità di tempo, gli autori introducono una nuova metrica denominata "Età di Completamento dei Lavori" (Age of Job Completion). Per minimizzare l'età di completamento dei lavori e il costo di campionamento, vengono proposte due strategie e valutate numericamente le loro prestazioni, mentre vengono individuate condizioni sufficienti per garantire la stabilità delle code dei lavori per entrambe le strategie.

Contesto di Ricerca e Motivazione

1. Problema da Risolvere

Questo articolo affronta il problema dello scaricamento dei lavori in scenari di edge computing, dove più utenti competono per l'accesso a un dispositivo di edge computing condiviso (macchina markoviana). Le sfide principali includono:

• Incertezza dello stato della macchina (inattiva/occupata internamente)
• Costo del campionamento dello stato
• Pianificazione dei lavori sotto competizione multi-utente
• Garanzie di stabilità della coda

2. Importanza del Problema

In applicazioni critiche di controllo, come la sorveglianza intelligente, i dispositivi edge sono tipicamente condivisi da più utenti o server, ciascuno generando indipendentemente compiti computazionali. Poiché:

• Il processo di scaricamento dei lavori è stocastico
• La disponibilità del dispositivo edge è altamente incerta
• È necessario tracciare efficientemente lo stato operativo del dispositivo
• È necessario scaricare tempestivamente i compiti computazionali per garantire le prestazioni del sistema

3. Limitazioni dei Metodi Esistenti

La letteratura esistente presenta le seguenti carenze:

• Metrica AoII in 5: non è direttamente orientata a massimizzare il numero di lavori completati
• Freschezza Binaria (BF), Tasso di Falsi Rifiuti (FRR), Tasso di Falsi Accettamenti (FAR) in 6: similmente non catturano direttamente l'obiettivo di massimizzazione dei lavori completati
• Metodi in 7,8,10: non considerano code infinite, mancano analisi di stabilità della coda
• La maggior parte della ricerca: o non dispone di code di lavori, o le code hanno capacità limitata, inadatte a scenari di funzionamento a lungo termine

4. Motivazione della Ricerca

• Introdurre una metrica che rifletta più direttamente l'efficienza del completamento dei lavori
• Considerare scenari pratici con capacità di coda infinita
• Fornire garanzie teoriche sulla stabilità della coda
• Bilanciare l'efficienza del completamento dei lavori con il costo di campionamento

Contributi Fondamentali

1. Introduzione della nuova metrica "Età di Completamento dei Lavori" (Age of Job Completion): riflette direttamente il numero di lavori completati per unità di tempo, più appropriata delle metriche esistenti come AoII e BF per i sistemi di scaricamento dei lavori
2. Progettazione di due coppie di strategie:
   • Strategia Randomizzata Adattiva (Adaptive Randomized Policy, ϕ₁)
   • Strategia di Massima Età con Campionamento Randomizzato Adattivo (Max-Age Policy with Adaptive Randomized Sampling, ϕ̄₁)
3. Analisi Teorica di Stabilità: derivazione di condizioni sufficienti per la stabilità della coda per entrambe le strategie (Proposizioni 1 e 2), primi risultati di stabilità forniti per la ricerca sullo scaricamento dei lavori con macchine markoviane
4. Espressioni in Forma Chiusa: fornitura di espressioni in forma chiusa per l'età media di completamento dei lavori e il costo di campionamento per sottosistemi fissi in condizioni di congestione permanente (Teoremi 1-4)
5. Valutazione Numerica: verifica sperimentale delle prestazioni delle strategie, rivelando che la strategia di massima età supera significativamente la strategia randomizzata adattiva a tassi di arrivo elevati

Dettagli Metodologici

Definizione del Compito

Modello di Sistema:

• Input: N utenti, ciascuno sottomette un lavoro con probabilità pᵢ alla fine dello slot (processo Bernoulli i.i.d.)
• Spazio di Stato: stato della macchina x(t) ∈ {-1, 0, 1, ..., N, fr}
  • -1: occupata internamente
  • 0: stato sconosciuto dopo il completamento del lavoro
  • i ∈ {1,...,N}: elaborazione del lavoro dell'utente i
  • fr: inattiva
• Dinamica Markoviana: transizione inattiva↔occupata internamente con probabilità di transizione q (binaria simmetrica)
• Tempo di Servizio: il lavoro dell'utente i segue una distribuzione geometrica con parametro qᵢ
• Dopo il Completamento del Lavoro: transizione a occupata internamente con probabilità s, a inattiva con probabilità (1-s)

Variabili Decisionali:

• Decisione di Campionamento μ(t) ∈ {0,1}: se campionare lo stato della macchina nello slot t (costo L)
• Decisione di Pianificazione π(t) = (π₁(t),...,πₙ(t)): quale lavoro dell'utente selezionare

Obiettivo di Ottimizzazione: Minimizzare il costo medio totale: $\Delta^{\phi} + S^{\phi} = \frac{1}{N}\sum_{i=1}^{N}\Delta_i^{\phi} + S^{\phi}$

dove:

• $\Delta_i^{\phi}$: età media di completamento dei lavori dell'utente i
• $S^{\phi}$: costo medio di campionamento

Vincoli: Stabilità della coda (catena di Markov ricorrente positiva)

Architettura del Modello

1. Strategia Randomizzata Adattiva (ϕ₁)

Definizione (Definizione 1): La strategia è caratterizzata dall'insieme Π = {(μ(S), π(S)) : S ⊆ N, S ≠ ∅}, dove:

• μ(S) ∈ (0,1]: probabilità di campionamento quando l'insieme di code non vuote è S
• π(S) = (π₁(S),...,πₙ(S)): distribuzione di probabilità di pianificazione
  • πᵢ(S) > 0 se e solo se i ∈ S
  • ∑ᵢ∈S πᵢ(S) = 1

Metodo di Costruzione:

1. Per ogni sottoinsieme non vuoto S ⊆ N, considerare lo scenario di congestione permanente
2. Utilizzare i Teoremi 1 e 2 per ottenere espressioni in forma chiusa del limite superiore del costo totale
3. Risolvere il problema di ottimizzazione (12): $\min_{\phi} \sum_{k\in S}\Delta_k^{\phi}(S) + S_{ub}^{\phi}(S)$ vincoli: μ ∈ (0,1), πₖ ∈ (0,1), ∑ₖ∈S πₖ = 1
4. Ottenere la soluzione localmente ottimale (μ*(S), π*(S))
5. Aggregare le soluzioni di tutti i sottoinsiemi per costituire l'insieme di strategie Πc

Formule Chiave (Teorema 1): Età media dell'utente k: $\Delta_k^{\phi}(S) = \frac{1}{\left(\frac{s}{q}+2\left(\frac{1}{\mu}-1\right)+\bar{\eta}\right)\left(\frac{\psi_k^2}{\pi_k}+\left(\frac{1}{q_k}+\frac{1-s}{q}-2\right)\psi_k+\ldots\right)} + 1$

dove $\bar{\eta} = \sum_{i\in S}\frac{\pi_i}{q_i}$, $\psi_k = \eta_k + \pi_k + 2(\frac{1}{\mu}-1) + \frac{s}{q}$

Limite Superiore del Costo di Campionamento (Teorema 2): $S_{ub}^{\phi}(S) = \frac{(L+1)\mu}{p^*}\left(\frac{1}{\frac{1}{\mu}p^* + \bar{\eta}}\right)$

dove $p^* = \frac{q}{1-(1-2q)(1-\mu)}$

2. Strategia di Massima Età con Campionamento Randomizzato Adattivo (ϕ̄₁)

Strategia di Pianificazione: πᴹᴬ(S) seleziona in ogni slot l'utente con l'età di completamento dei lavori massima nell'insieme S (equivalente a una strategia round-robin)

Strategia di Campionamento: campionamento randomizzato adattivo, caratterizzato dall'insieme Π̄c = ∪_{S⊆N,S≠∅}{μ̄*(S)}

Formule Chiave (Teorema 3): Età media dell'utente k: $\Delta_k^{\bar{\phi}}(S) = \frac{N(\beta_2 - \beta_1^2) + \sum_{i\in S}\frac{1-q_i}{q_i^2}}{2\left(N\beta_1 + \sum_{i\in S}\frac{1-q_i}{q_i}\right)} + \frac{1}{2}\left(N\beta_1 + \sum_{i\in S}\frac{1-q_i}{q_i} + 1\right)$

dove:

• $\beta_1 = \frac{1}{\bar{\mu}}\left((1-\bar{\mu}) + \frac{s}{\bar{\mu}q} + 1\right)$
• $\beta_2 = 2\frac{1-\bar{\mu}}{\bar{\mu}}\left(\frac{s}{1-\bar{\mu}}\alpha^2 + \alpha - s - \bar{\mu}(1-s) + 3\right) + \beta_1$
• $\alpha = 1-\bar{\mu}+\frac{\bar{\mu}}{q}$

Costo di Campionamento (Teorema 4): $S^{\bar{\phi}}(S) = \frac{\bar{\mu}NL}{N\left((1-\bar{\mu}) + \frac{s\bar{\mu}}{q} + 1\right) + \bar{\mu}\sum_{i\in S}\frac{1-q_i}{q_i}}\cdot\frac{1}{\left(p_1^* + \frac{(1-p_1^*)(1+p^*)}{p^*}\right)}$

dove $p_1^* = s(1-\bar{\mu})p^* + (1-s)(1-(1-\bar{\mu})p^*)$

Punti di Innovazione Tecnica

1. Introduzione della Metrica di Età di Completamento dei Lavori:
   • Definizione: vᵢ(t) = t - sup{t' : t' < t, bᵢ(t') = 1} (tempo dall'ultimo completamento del lavoro)
   • Vantaggi: riflette direttamente la frequenza di completamento dei lavori, equivalente a massimizzare il numero di lavori completati per unità di tempo
   • Differenza da AoII: AoII riguarda la correttezza dell'informazione, mentre l'età di completamento dei lavori riguarda la velocità effettiva
2. Progettazione della Strategia Randomizzata Adattiva:
   • Differisce dalle strategie randomizzate a probabilità fissa tradizionali
   • Regola dinamicamente le probabilità di campionamento e pianificazione in base all'insieme di code non vuote
   • Utilizza efficientemente le risorse del sistema (non pianifica utenti con code vuote)
   • Trattabile matematicamente (ogni sottoinsieme corrisponde a una strategia randomizzata fissa)
3. Metodo di Analisi con Congestione Permanente:
   • Ipotesi che le code del sottoinsieme S siano permanentemente non vuote
   • Derivazione di espressioni in forma chiusa del costo
   • Ottenimento dei parametri di strategia ottimali per il sottoinsieme mediante ottimizzazione
   • Aggregazione di tutti i sottoinsiemi per costituire la strategia adattiva completa
4. Condizioni Sufficienti di Stabilità della Coda:
   • Proposizione 1: condizione di livello esponenziale per la strategia randomizzata adattiva
   • Corollario 1: condizione singola ma più conservativa
   • Proposizione 2: condizione sufficienti per la strategia di massima età
   • Introduzione della funzione χ(q,s) per caratterizzare il limite inferiore della probabilità di inattività della macchina

Configurazione Sperimentale

Parametri degli Esperimenti Numerici

Configurazione del Sistema:

• Numero di utenti: N = 4
• Parametri della macchina:
  • Probabilità di transizione di stato: q ∈ 0.1, 0.9 (parametro variabile)
  • Probabilità di occupazione interna dopo il completamento: s = 0.5 (alcuni esperimenti) o s = 0.3
• Costo di campionamento: L = 5
• Vettore di velocità di servizio: q̄ = 0.1, 0.4, 0.6, 0.9 (alcuni esperimenti) o altre configurazioni

Configurazione dei Tassi di Arrivo:

• Tasso di arrivo basso: p = 0.01, 0.02, 0.05, 0.06
• Tasso di arrivo alto: p̃ = 0.05, 0.2, 0.5, 0.6
• Test di stabilità: configurazioni multiple

Metriche di Valutazione

1. Costo Medio Totale: Δ^φ + S^φ
   • Include l'età media di completamento dei lavori e il costo medio di campionamento
   • Indicatore di prestazione principale
2. Stabilità della Coda:
   • Osservazione del processo di lunghezza della coda mediante simulazione numerica
   • Verifica delle condizioni teoriche di stabilità

Metodi di Confronto

• ϕ₁: Strategia randomizzata adattiva
• ϕ̄₁: Pianificazione di massima età + campionamento randomizzato adattivo

Dettagli di Implementazione

• I problemi di ottimizzazione (12) e (16) sono risolti mediante metodi numerici per ottenere ottimi locali
• Ottimizzazione su tutti i 2^N - 1 sottoinsiemi non vuoti
• Utilizzo di simulazione di catene di Markov per valutare le prestazioni della strategia
• Simulazione a lungo termine per ottenere il comportamento in stato stazionario

Risultati Sperimentali

Risultati Principali

Figura 4: Costo Totale in Funzione di q

Nella configurazione N=4, s=0.5, L=5, q̄=0.1, 0.4, 0.6, 0.9:

1. Tasso di Arrivo Basso p = 0.01, 0.02, 0.05, 0.06:
   • Le due strategie mostrano prestazioni simili
   • Il costo totale diminuisce all'aumentare di q
   • Motivo: con tasso di arrivo basso, entrambe le strategie conservative nel lavoro gestiscono efficacemente i lavori
2. Tasso di Arrivo Alto p̃ = 0.05, 0.2, 0.5, 0.6:
   • ϕ̄₁ (strategia di massima età) supera significativamente ϕ₁ (strategia randomizzata adattiva)
   • Differenza di prestazioni evidente (circa 10-20 unità)
   • Il costo di entrambe le strategie diminuisce all'aumentare di q
   • Motivo: con carico elevato, la pianificazione deterministica round-robin è più efficiente della pianificazione casuale
3. Analisi delle Tendenze:
   • Maggiore è q (più veloce la transizione di stato), migliori sono le prestazioni del sistema
   • La scelta della strategia è più critica con tasso di arrivo elevato

Esperimenti di Stabilità della Coda

Caso 1: Instabile

• Parametri: N=4, q=0.35, s=0.3, L=5
• Velocità di servizio: q̄ = 0.55, 0.73, 0.84, 0.91
• Tasso di arrivo: p = 0.09, 0.09, 0.12, 0.14
• Risultato: le condizioni delle Proposizioni 1 e 2 non sono soddisfatte, la verifica numerica conferma l'instabilità della coda
• Osservazione: il tasso di arrivo è eccessivamente elevato rispetto alla velocità di servizio

Caso 2: Stabile ma Condizioni Non Soddisfatte

• Parametri: N=4, q=0.5, s=0.5, L=5
• Velocità di servizio: q̄ = 0.4, 0.6, 0.8, 0.94
• Tasso di arrivo: p = 0.04, 0.05, 0.06, 0.06
• Risultato: le condizioni sufficienti non sono soddisfatte, ma i risultati numerici mostrano che le code sono stabili per entrambe le strategie
• Osservazione: le condizioni sufficienti proposte sono conservative (sufficienti ma non necessarie)

Scoperte Sperimentali

1. Prestazioni della Strategia:
   • La strategia di massima età mostra vantaggi evidenti con carico elevato
   • Con carico basso le differenze tra strategie sono minime
   • Entrambe le strategie sono conservative nel lavoro
2. Condizioni di Stabilità:
   • La coda è stabile solo quando il tasso di arrivo degli utenti è significativamente inferiore alla velocità di servizio
   • Le condizioni teoriche sufficienti sono conservative
   • Esistono casi in cui le condizioni non sono soddisfatte ma il sistema è effettivamente stabile
3. Impatto dei Parametri del Sistema:
   • La probabilità di transizione di stato q ha un impatto significativo sulle prestazioni
   • La configurazione del tasso di arrivo determina l'importanza della scelta della strategia

Lavori Correlati

Tracciamento di Macchine Markoviane

1. 5 Metrica AoII:
   • Introduzione della metrica AoII per macchine markoviane
   • Focus sulle prestazioni di tracciamento piuttosto che sul completamento dei lavori
   • La metrica di questo articolo è più direttamente orientata alla velocità effettiva
2. 6 Rete Multi-Macchina:
   • Utilizzo di Freschezza Binaria (BF), Tasso di Falsi Rifiuti (FRR), Tasso di Falsi Accettamenti (FAR)
   • Non considera code di lavori
   • Questo articolo considera la stabilità della coda
3. 9 Lavoratori Affaticati:
   • Studio di scenari in cui l'efficienza del lavoratore dipende dallo stato
   • Ottimizzazione dell'allocazione del tasso di campionamento
   • Non considera la dinamica della coda

Assegnazione dei Lavori e Code

4. 8 Massimizzazione dei Ricavi:
   • Buffer singolo (memorizzazione di al massimo un lavoro)
   • Questo articolo considera code infinite
5. 10 Approccio MDP:
   • Framework MDP con sconto
   • Coda finita, sostituzione del lavoro più vecchio quando la coda è piena
   • Non massimizza direttamente il numero medio di lavori completati
6. 7 Scenario Senza Coda:
   • I lavori vengono scartati quando la macchina è occupata
   • Massimizzazione della probabilità di accettazione
   • Questo articolo garantisce probabilità di accettazione pari a 1 (campionamento prima della sottomissione)

Vantaggi di Questo Articolo

• Primo a fornire risultati teorici di stabilità della coda
• Considera scenari pratici con code infinite
• Introduce una metrica di età di completamento dei lavori più appropriata
• Fornisce espressioni in forma chiusa delle prestazioni

Conclusioni e Discussione

Conclusioni Principali

1. Innovazione nella Metrica: l'età di completamento dei lavori cattura efficacemente l'obiettivo di velocità effettiva nei sistemi di scaricamento dei lavori
2. Progettazione della Strategia:
   • La strategia randomizzata adattiva è costruita mediante ottimizzazione di sottosistemi
   • La strategia di massima età mostra prestazioni superiori con carico elevato
   • Entrambe le strategie possono garantire la stabilità della coda
3. Teoria della Stabilità:
   • Fornisce condizioni sufficienti (Proposizioni 1-2)
   • Le condizioni coinvolgono la relazione tra tasso di arrivo, velocità di servizio e parametri della macchina
   • Sufficienti ma non necessarie (esiste conservatività)
4. Intuizioni sulle Prestazioni:
   • Con carico basso le differenze tra strategie sono minime
   • Con carico elevato la pianificazione deterministica supera quella casuale
   • La velocità di transizione dello stato della macchina influenza significativamente le prestazioni

Limitazioni

1. Ipotesi di Simmetria:
   • Attualmente considera solo catene di Markov binarie simmetriche (probabilità di transizione identiche)
   • I sistemi reali potrebbero essere asimmetrici
2. Conservatività delle Condizioni di Stabilità:
   • Le condizioni sufficienti sono piuttosto ristrette
   • Richiede il controllo di condizioni esponenziali (2^N - 1)
   • La condizione singola (Corollario 1) è ancora più conservativa
3. Ottimalità Locale:
   • I problemi di ottimizzazione (12) e (16) trovano solo ottimi locali
   • Potrebbero esistere soluzioni migliori
4. Mancanza di Analisi di Necessità:
   • Non fornisce condizioni necessarie per la stabilità
   • Il divario tra condizioni sufficienti e necessarie non è quantificato
5. Omissione delle Prove:
   • Tutte le prove saranno fornite nella versione per rivista a causa di limitazioni di spazio
   • Influisce sulla verificabilità dei risultati

Direzioni Future

1. Catene di Markov Non Simmetriche: estensione a probabilità di transizione di stato generale
2. Condizioni Necessarie: derivazione di condizioni necessarie per la stabilità della coda, riduzione del divario tra condizioni sufficienti e necessarie
3. Ottimalità Globale: ricerca di soluzioni globalmente ottimali o algoritmi di approssimazione per i problemi di ottimizzazione
4. Utenti Eterogenei: considerazione di priorità degli utenti e requisiti QoS differenti
5. Scenario Multi-Macchina: estensione a reti di macchine
6. Verifica su Sistemi Reali: test su piattaforme di edge computing effettive

Valutazione Approfondita

Punti di Forza

1. Contributi Teorici Significativi:
   • Primo a fornire teoria di stabilità della coda per lo scaricamento dei lavori con macchine markoviane
   • Le espressioni in forma chiusa delle prestazioni (Teoremi 1-4) hanno valore teorico
   • La derivazione matematica è rigorosa (sebbene le prove non siano incluse)
2. Progettazione Ragionevole della Metrica:
   • L'età di completamento dei lavori è intuitiva ed efficace
   • Corrisponde direttamente all'obiettivo di massimizzazione della velocità effettiva
   • Più appropriata delle metriche esistenti come AoII e BF per scenari di scaricamento dei lavori
3. Innovazione nella Progettazione della Strategia:
   • La strategia randomizzata adattiva bilancia flessibilità e analizzabilità
   • La strategia di massima età è semplice ed efficiente
   • Le due strategie coprono approcci sia casuali che deterministici
4. Modellazione Pratica del Problema:
   • Considera il costo di campionamento
   • Le code infinite sono più conformi ai sistemi di funzionamento a lungo termine
   • Il modello di macchina markoviana è appropriato per l'edge computing
5. Progettazione Ragionevole degli Esperimenti:
   • Confronto di scenari con carichi diversi
   • Verifica della teoria di stabilità
   • Scoperta della conservatività delle condizioni sufficienti

Insufficienze

1. Omissione delle Prove:
   • Tutte le prove di teoremi e proposizioni non sono fornite
   • Influisce gravemente sulla verificabilità e credibilità dei risultati
   • I lettori non possono comprendere il ragionamento della derivazione
2. Esperimenti Insufficienti:
   • Considera solo sistemi di piccola scala con N=4 utenti
   • Manca l'analisi di scalabilità per sistemi di grandi dimensioni
   • Manca il confronto quantitativo con metodi della letteratura
   • Mancano test di significatività statistica
3. Metodo di Ottimizzazione Poco Chiaro:
   • Non specifica come risolvere numericamente i problemi (12) e (16)
   • L'ottimalità locale potrebbe influire sulle prestazioni della strategia
   • Non discute la complessità computazionale
4. Analisi di Stabilità Incompleta:
   • Fornisce solo condizioni sufficienti, senza condizioni necessarie
   • Non analizza la stretta delle condizioni
   • Il divario tra condizioni sufficienti e necessarie non è quantificato
5. Limitazioni delle Ipotesi:
   • L'ipotesi di catena di Markov simmetrica è piuttosto forte
   • La distribuzione geometrica del tempo di servizio potrebbe non conformarsi alla realtà
   • Non considera ritardi di comunicazione, errori di trasmissione e altri fattori pratici
6. Problemi di Scrittura:
   • Alcune definizioni di simboli non sono sufficientemente chiare (come l'uso limitato di xa(t))
   • Le spiegazioni delle Figure 2 e 3 potrebbero essere più dettagliate
   • Mancano pseudocodici degli algoritmi

Impatto

1. Impatto Teorico:
   • Stabilisce il framework teorico di stabilità per lo scaricamento dei lavori con macchine markoviane
   • La metrica di età di completamento dei lavori potrebbe essere adottata da lavori successivi
   • L'approccio di progettazione della strategia randomizzata adattiva è illuminante
2. Valore Pratico:
   • Applicabile a scenari di scaricamento dei lavori in edge computing
   • La progettazione della strategia può guidare sistemi reali
   • Le condizioni di stabilità forniscono criteri di progettazione
3. Limitazioni:
   • Richiede prove complete per una valutazione teorica completa
   • Gli esperimenti su piccola scala limitano il potere persuasivo
   • L'implementazione pratica richiede la risoluzione di più problemi di ingegneria

Scenari Applicabili

1. Edge Computing:
   • Più utenti condividono un server edge
   • Scenari che richiedono campionamento dello stato
   • I lavori possono essere messi in coda in attesa
2. Pianificazione delle Risorse nel Cloud Computing:
   • Stato della macchina virtuale incerto
   • Competizione multi-tenant per le risorse
3. Scaricamento dei Compiti nell'IoT:
   • Lo stato del dispositivo varia casualmente
   • Costo di campionamento non nullo
4. Scenari Non Applicabili:
   • Requisiti di tempo reale estremamente rigorosi (l'attesa in coda è inaccettabile)
   • Stato completamente osservabile (nessun costo di campionamento)
   • I lavori non possono essere messi in coda (devono essere elaborati immediatamente o scartati)

Bibliografia

Questo articolo fa principalmente riferimento alle seguenti letterature chiave:

1. 5 Banerjee & Ulukus (2025): Tracciamento di macchine markoviane e assegnazione dei lavori, introduzione della metrica AoII
2. 6 Liyanaarachchi & Ulukus (2025): Monitoraggio e assegnazione dei lavori ottimali per più macchine markoviane
3. 10 Chamoun et al. (2025): Monitoraggio del server edge utilizzando MAPPO, approccio MDP
4. 11 Kadota et al. (2018): Strategie di pianificazione per minimizzare l'età dell'informazione nelle reti wireless broadcast
5. 12 Tassiulas & Ephremides (1990): Proprietà di stabilità dei sistemi di code vincolati
6. 13 Neely (2010): Ottimizzazione di reti stocastiche, definizione di stabilità forte

Valutazione Complessiva: Questo articolo fornisce contributi teorici importanti nel campo dello scaricamento dei lavori con macchine markoviane, in particolare fornendo per la prima volta un'analisi di stabilità della coda. L'introduzione della metrica di età di completamento dei lavori è innovativa, e la progettazione delle due strategie è ragionevole. Tuttavia, l'omissione delle prove, le limitazioni della scala sperimentale e la conservatività delle condizioni di stabilità sono chiaramente insufficienti. Si consiglia agli autori di fornire al più presto la versione completa per rivista, includendo prove dettagliate, esperimenti su larga scala e analisi di condizioni necessarie, al fine di mostrare pienamente il valore del lavoro.