We consider a time-slotted job-assignment system with a central server, N users and a machine which changes its state according to a Markov chain (hence called a Markov machine). The users submit their jobs to the central server according to a stochastic job arrival process. For each user, the server has a dedicated job queue. Upon receiving a job from a user, the server stores that job in the corresponding queue. When the machine is not working on a job assigned by the server, the machine can be either in internally busy or in free state, and the dynamics of these states follow a binary symmetric Markov chain. Upon sampling the state information of the machine, if the server identifies that the machine is in the free state, it schedules a user and submits a job to the machine from the job queue of the scheduled user. To maximize the number of jobs completed per unit time, we introduce a new metric, referred to as the age of job completion. To minimize the age of job completion and the sampling cost, we propose two policies and numerically evaluate their performance. For both of these policies, we find sufficient conditions under which the job queues will remain stable.
- ID del Artículo: 2511.04630
- Título: Age of Job Completion Minimization with Stable Queues
- Autores: Stavros Mitrolaris, Subhankar Banerjee, Sennur Ulukus (Universidad de Maryland, College Park)
- Clasificación: cs.IT, cs.NI, cs.SY, eess.SP, eess.SY, math.IT, math.PR
- Fecha de Publicación: 6 de noviembre de 2025 (preimpresión en arXiv)
- Enlace del Artículo: https://arxiv.org/abs/2511.04630
Este artículo estudia un sistema de asignación de trabajos en ranuras de tiempo que contiene un servidor central, N usuarios y una máquina cuyo estado cambia según una cadena de Markov (denominada máquina de Markov). Los usuarios envían trabajos al servidor central según un proceso de llegada de trabajos aleatorio, y el servidor mantiene colas de trabajos dedicadas para cada usuario. Cuando la máquina no procesa trabajos asignados por el servidor, puede estar en estado ocupado internamente o inactivo, siendo la dinámica de estos estados regida por una cadena de Markov binaria simétrica. El servidor muestrea la información del estado de la máquina y programa usuarios para enviar trabajos cuando identifica que la máquina está inactiva. Para maximizar el número de trabajos completados por unidad de tiempo, los autores introducen una nueva métrica denominada "Edad de Finalización de Trabajos" (Age of Job Completion). Para minimizar la edad de finalización de trabajos y el costo de muestreo, se proponen dos estrategias y se evalúa su rendimiento numéricamente, mientras que se encuentran condiciones suficientes para garantizar la estabilidad de las colas de trabajos para ambas estrategias.
Este artículo estudia el problema de descarga de trabajos en escenarios de computación perimetral, donde múltiples usuarios compiten por un dispositivo de computación perimetral compartido (máquina de Markov). Los desafíos principales incluyen:
- Incertidumbre en el estado de la máquina (inactivo/ocupado internamente)
- Costo del muestreo de estado
- Programación de trabajos bajo competencia de múltiples usuarios
- Garantía de estabilidad de colas
En aplicaciones de control de tareas críticas como la vigilancia inteligente, los dispositivos perimetrales suelen ser compartidos por múltiples usuarios o servidores, cada uno generando tareas de computación independientemente. Debido a:
- La naturaleza aleatoria del proceso de descarga de trabajos
- La alta incertidumbre en la disponibilidad del dispositivo perimetral
- La necesidad de rastrear eficientemente el estado operativo del dispositivo
- La necesidad de descargar tareas de computación oportunamente para garantizar el rendimiento del sistema
La literatura existente presenta las siguientes deficiencias:
- Métrica AoII en 5: No se dirige directamente a maximizar el número de trabajos completados
- Métrica de Frescura Binaria (BF), Tasa de Rechazo Falso (FRR), Tasa de Aceptación Falsa (FAR) en 6: Tampoco capturan directamente el objetivo de maximizar trabajos completados
- Métodos en 7,8,10: No consideran colas infinitas, carecen de análisis de estabilidad de colas
- La mayoría de investigaciones: O no tienen colas de trabajos, o tienen capacidad de cola limitada, lo que no es adecuado para escenarios de funcionamiento a largo plazo
- Introducir una métrica que refleje más directamente la eficiencia de finalización de trabajos
- Considerar escenarios prácticos con capacidad de cola infinita
- Proporcionar garantías teóricas de estabilidad de colas
- Equilibrar la eficiencia de finalización de trabajos con el costo de muestreo
- Propuesta de nueva métrica "Edad de Finalización de Trabajos" (Age of Job Completion): Refleja directamente el número de trabajos completados por unidad de tiempo, siendo más adecuada que métricas existentes como AoII y BF para sistemas de descarga de trabajos
- Diseño de dos pares de estrategias:
- Estrategia Aleatoria Adaptativa (Adaptive Randomized Policy, ϕ₁)
- Estrategia de Máxima Edad con Muestreo Aleatorio Adaptativo (Max-Age Policy with Adaptive Randomized Sampling, ϕ̄₁)
- Análisis Teórico de Estabilidad: Se derivan condiciones suficientes para la estabilidad de colas para ambas estrategias (Proposiciones 1 y 2), siendo los primeros resultados de estabilidad proporcionados en investigación de descarga de trabajos en máquinas de Markov
- Expresiones de Forma Cerrada: Se proporcionan expresiones de forma cerrada para la edad promedio de finalización de trabajos y el costo de muestreo en condiciones de congestión permanente para subsistemas fijos (Teoremas 1-4)
- Evaluación Numérica: Se verifica el rendimiento de las estrategias mediante experimentos numéricos, descubriendo que la estrategia de máxima edad supera significativamente a la estrategia aleatoria adaptativa bajo tasas de llegada altas
Modelo del Sistema:
- Entrada: N usuarios, cada usuario envía un trabajo con probabilidad pᵢ al final de la ranura (proceso de Bernoulli i.i.d.)
- Espacio de Estados: Estado de máquina x(t) ∈ {-1, 0, 1, ..., N, fr}
- -1: Ocupado internamente
- 0: Estado desconocido después de completar trabajo
- i ∈ {1,...,N}: Procesando trabajo del usuario i
- fr: Inactivo
- Dinámica de Markov: Probabilidad de transición entre inactivo ↔ ocupado internamente es q (binaria simétrica)
- Tiempo de Servicio: El trabajo del usuario i sigue una distribución geométrica con parámetro qᵢ
- Después de Completar Trabajo: Transición a ocupado internamente con probabilidad s, a inactivo con probabilidad (1-s)
Variables de Decisión:
- Decisión de Muestreo μ(t) ∈ {0,1}: Si se muestrea el estado de la máquina en la ranura t (costo L)
- Decisión de Programación π(t) = (π₁(t),...,πₙ(t)): Qué trabajo de usuario seleccionar
Objetivo de Optimización:
Minimizar el costo promedio total:
Δϕ+Sϕ=N1∑i=1NΔiϕ+Sϕ
Donde:
- Δiϕ: Edad promedio de finalización de trabajos del usuario i
- Sϕ: Costo promedio de muestreo
Restricciones: Estabilidad de colas (cadena de Markov recurrente positiva)
Definición (Definición 1):
La estrategia se caracteriza por el conjunto Π = {(μ(S), π(S)) : S ⊆ N, S ≠ ∅}, donde:
- μ(S) ∈ (0,1]: Probabilidad de muestreo cuando el conjunto de colas no vacías es S
- π(S) = (π₁(S),...,πₙ(S)): Distribución de probabilidad de programación
- πᵢ(S) > 0 si y solo si i ∈ S
- ∑ᵢ∈S πᵢ(S) = 1
Método de Construcción:
- Para cada subconjunto no vacío S ⊆ N, considerar el escenario de congestión permanente
- Usar Teoremas 1 y 2 para obtener expresiones de forma cerrada del límite superior del costo total
- Resolver el problema de optimización (12):
minϕ∑k∈SΔkϕ(S)+Subϕ(S)
Restricciones: μ ∈ (0,1), πₖ ∈ (0,1), ∑ₖ∈S πₖ = 1
- Obtener solución localmente óptima (μ*(S), π*(S))
- Consolidar soluciones de todos los subconjuntos para formar el conjunto de estrategias Πc
Fórmulas Clave (Teorema 1):
Edad promedio del usuario k:
Δkϕ(S)=(qs+2(μ1−1)+ηˉ)(πkψk2+(qk1+q1−s−2)ψk+…)1+1
Donde ηˉ=∑i∈Sqiπi, ψk=ηk+πk+2(μ1−1)+qs
Límite Superior del Costo de Muestreo (Teorema 2):
Subϕ(S)=p∗(L+1)μ(μ1p∗+ηˉ1)
Donde p∗=1−(1−2q)(1−μ)q
Estrategia de Programación: πᴹᴬ(S) selecciona en cada ranura el usuario del conjunto S con la edad de finalización de trabajo máxima (equivalente a estrategia round-robin)
Estrategia de Muestreo: Muestreo aleatorio adaptativo, caracterizado por el conjunto Π̄c = ∪_{S⊆N,S≠∅}{μ̄*(S)}
Fórmulas Clave (Teorema 3):
Edad promedio del usuario k:
Δkϕˉ(S)=2(Nβ1+∑i∈Sqi1−qi)N(β2−β12)+∑i∈Sqi21−qi+21(Nβ1+∑i∈Sqi1−qi+1)
Donde:
- β1=μˉ1((1−μˉ)+μˉqs+1)
- β2=2μˉ1−μˉ(1−μˉsα2+α−s−μˉ(1−s)+3)+β1
- α=1−μˉ+qμˉ
Costo de Muestreo (Teorema 4):
Sϕˉ(S)=N((1−μˉ)+qsμˉ+1)+μˉ∑i∈Sqi1−qiμˉNL⋅(p1∗+p∗(1−p1∗)(1+p∗))1
Donde p1∗=s(1−μˉ)p∗+(1−s)(1−(1−μˉ)p∗)
- Introducción de la Métrica de Edad de Finalización de Trabajos:
- Definición: vᵢ(t) = t - sup{t' : t' < t, bᵢ(t') = 1} (tiempo desde la última finalización de trabajo)
- Ventaja: Refleja directamente la frecuencia de finalización de trabajos, equivalente a maximizar trabajos completados por unidad de tiempo
- Diferencia con AoII: AoII se enfoca en la corrección de información, mientras que la edad de finalización de trabajos se enfoca en el rendimiento
- Diseño de Estrategia Aleatoria Adaptativa:
- Diferente de estrategias aleatorias tradicionales con probabilidad fija
- Ajusta dinámicamente las probabilidades de muestreo y programación según el conjunto de colas no vacías
- Utiliza eficientemente los recursos del sistema (no programa usuarios con colas vacías)
- Matemáticamente manejable (cada subconjunto corresponde a una estrategia aleatoria fija)
- Método de Análisis de Congestión Permanente:
- Supone que las colas del subconjunto S están permanentemente no vacías
- Deriva expresiones de costo de forma cerrada
- Obtiene parámetros de estrategia óptimos para ese subconjunto mediante optimización
- Consolida soluciones de todos los subconjuntos para formar la estrategia adaptativa completa
- Condiciones Suficientes de Estabilidad de Colas:
- Proposición 1: Condición de nivel exponencial para estrategia aleatoria adaptativa
- Corolario 1: Condición única pero más conservadora
- Proposición 2: Condición suficiente para estrategia de máxima edad
- Introduce función χ(q,s) para caracterizar límite inferior de probabilidad de inactividad de máquina
Configuración del Sistema:
- Número de usuarios: N = 4
- Parámetros de máquina:
- Probabilidad de transición de estado: q ∈ 0.1, 0.9 (parámetro variable)
- Probabilidad de ocupado internamente después de completar: s = 0.5 (algunos experimentos) o s = 0.3
- Costo de muestreo: L = 5
- Vector de tasa de servicio: q̄ = 0.1, 0.4, 0.6, 0.9 (algunos experimentos) u otras configuraciones
Configuración de Tasa de Llegada:
- Tasa de llegada baja: p = 0.01, 0.02, 0.05, 0.06
- Tasa de llegada alta: p̃ = 0.05, 0.2, 0.5, 0.6
- Prueba de estabilidad: Múltiples configuraciones
- Costo Promedio Total: Δ^φ + S^φ
- Incluye edad promedio de finalización de trabajos y costo promedio de muestreo
- Métrica de rendimiento principal
- Estabilidad de Colas:
- Observar el proceso de longitud de cola mediante simulación numérica
- Verificar condiciones teóricas de estabilidad
- ϕ₁: Estrategia aleatoria adaptativa
- ϕ̄₁: Programación de máxima edad + muestreo aleatorio adaptativo
- Los problemas de optimización (12) y (16) se resuelven mediante métodos numéricos para obtener óptimos locales
- Se realiza optimización para todos los 2^N - 1 subconjuntos no vacíos
- Se utiliza simulación de cadena de Markov para evaluar el rendimiento de estrategias
- Se realiza simulación a largo plazo para obtener comportamiento en estado estacionario
Figura 4: Costo Total Variando con q
Bajo la configuración N=4, s=0.5, L=5, q̄=0.1, 0.4, 0.6, 0.9:
- Tasa de llegada baja p = 0.01, 0.02, 0.05, 0.06:
- Rendimiento similar de ambas estrategias
- El costo total disminuye conforme q aumenta
- Razón: Bajo tasa de llegada, ambas estrategias conservadoras de trabajo pueden procesar trabajos efectivamente
- Tasa de llegada alta p̃ = 0.05, 0.2, 0.5, 0.6:
- ϕ̄₁ (estrategia de máxima edad) supera significativamente a ϕ₁ (estrategia aleatoria adaptativa)
- Brecha de rendimiento evidente (aproximadamente 10-20 unidades)
- El costo de ambas estrategias disminuye conforme q aumenta
- Razón: Bajo carga alta, la programación determinista round-robin es más eficiente que la programación aleatoria
- Análisis de Tendencias:
- Cuanto mayor sea q (transición de estado más rápida), mejor es el rendimiento del sistema
- La selección de estrategia es más crítica bajo tasa de llegada alta
Caso 1: Inestable
- Parámetros: N=4, q=0.35, s=0.3, L=5
- Tasa de servicio: q̄ = 0.55, 0.73, 0.84, 0.91
- Tasa de llegada: p = 0.09, 0.09, 0.12, 0.14
- Resultado: Las condiciones de Proposiciones 1 y 2 no se satisfacen, verificación numérica confirma inestabilidad de colas
- Implicación: La tasa de llegada es demasiado alta relativa a la tasa de servicio
Caso 2: Estable pero Condiciones No Satisfechas
- Parámetros: N=4, q=0.5, s=0.5, L=5
- Tasa de servicio: q̄ = 0.4, 0.6, 0.8, 0.94
- Tasa de llegada: p = 0.04, 0.05, 0.06, 0.06
- Resultado: Las condiciones suficientes no se satisfacen, pero verificación numérica muestra que las colas son estables bajo ambas estrategias
- Implicación: Las condiciones suficientes propuestas son conservadoras (suficientes pero no necesarias)
- Rendimiento de Estrategias:
- La estrategia de máxima edad tiene ventajas evidentes bajo carga alta
- Bajo carga baja, la diferencia de estrategias es pequeña
- Ambas estrategias son conservadoras de trabajo
- Condiciones de Estabilidad:
- Las colas son estables solo cuando la tasa de llegada de usuarios es mucho menor que la tasa de servicio
- Las condiciones teóricas suficientes son conservadoras
- Existen casos donde las condiciones no se satisfacen pero el sistema es realmente estable
- Impacto de Parámetros del Sistema:
- La probabilidad de transición de estado q tiene impacto significativo en el rendimiento
- La configuración de tasa de llegada determina la importancia de la selección de estrategia
- 5 Métrica AoII:
- Introduce métrica AoII para máquinas de Markov
- Se enfoca en rendimiento de rastreo en lugar de finalización de trabajos
- La métrica de este artículo se dirige más directamente al rendimiento
- 6 Red de Múltiples Máquinas:
- Utiliza Frescura Binaria (BF), Tasa de Rechazo Falso (FRR), Tasa de Aceptación Falso (FAR)
- No considera colas de trabajos
- Este artículo considera estabilidad de colas
- 9 Trabajadores Fatigados:
- Estudia escenarios donde la eficiencia del trabajador depende del estado
- Optimiza asignación de tasa de muestreo
- No considera dinámica de colas
- 8 Maximización de Ganancia:
- Búfer único (almacena como máximo un trabajo)
- Este artículo considera colas infinitas
- 10 Enfoque MDP:
- Marco MDP con descuento
- Cola finita, reemplaza trabajo más antiguo cuando la cola está llena
- No maximiza directamente el número promedio de trabajos completados
- 7 Escenario sin Cola:
- Los trabajos se descartan cuando la máquina está ocupada
- Maximiza probabilidad de aceptación
- Este artículo asegura probabilidad de aceptación de 1 (muestrea antes de enviar)
- Primeros resultados teóricos de estabilidad de colas para máquinas de Markov
- Considera escenarios prácticos con colas infinitas
- Introduce métrica de edad de finalización de trabajos más adecuada
- Proporciona expresiones de rendimiento de forma cerrada
- Innovación en Métrica: La edad de finalización de trabajos captura efectivamente el objetivo de rendimiento de sistemas de descarga de trabajos
- Diseño de Estrategias:
- La estrategia aleatoria adaptativa se construye mediante optimización de subsistemas
- La estrategia de máxima edad tiene mejor rendimiento bajo carga alta
- Ambas estrategias pueden garantizar estabilidad de colas
- Teoría de Estabilidad:
- Se proporcionan condiciones suficientes (Proposiciones 1-2)
- Las condiciones involucran la relación entre tasa de llegada, tasa de servicio y parámetros de máquina
- Las condiciones son suficientes pero no necesarias (existe conservadurismo)
- Perspectivas de Rendimiento:
- Bajo carga baja, la diferencia de estrategias es pequeña
- Bajo carga alta, la programación determinista supera a la aleatoria
- La velocidad de transición de estado de máquina afecta significativamente el rendimiento
- Suposición de Simetría:
- Actualmente solo considera cadena de Markov binaria simétrica (probabilidades de transición iguales)
- Los sistemas reales pueden ser asimétricos
- Conservadurismo de Condiciones de Estabilidad:
- Las condiciones suficientes son bastante estrictas
- Requiere verificación de condiciones exponenciales (2^N - 1)
- La condición única (Corolario 1) es más conservadora
- Óptimos Locales:
- Los problemas de optimización (12) y (16) solo encuentran óptimos locales
- Pueden existir soluciones mejores
- Falta de Análisis de Necesidad:
- No se proporcionan condiciones necesarias para estabilidad
- La brecha entre condiciones suficientes y necesarias no se cuantifica
- Omisión de Pruebas:
- Todas las pruebas se omitirán por limitaciones de espacio, se proporcionarán en versión de revista
- Afecta la verificabilidad de resultados
- Cadenas de Markov No Simétricas: Extender a probabilidades de transición de estado general
- Condiciones Necesarias: Derivar condiciones necesarias para estabilidad de colas, reducir brecha entre condiciones suficientes y necesarias
- Óptimo Global: Investigar soluciones globalmente óptimas o algoritmos de aproximación para problemas de optimización
- Usuarios Heterogéneos: Considerar prioridades de usuarios, requisitos de QoS diferentes
- Escenarios de Múltiples Máquinas: Extender a redes de máquinas
- Verificación en Sistemas Reales: Probar en plataformas reales de computación perimetral
- Contribución Teórica Significativa:
- Primera teoría de estabilidad de colas para descarga de trabajos en máquinas de Markov
- Expresiones de rendimiento de forma cerrada (Teoremas 1-4) tienen valor teórico
- Derivación matemática rigurosa (aunque las pruebas no se incluyen)
- Diseño de Métrica Razonable:
- La edad de finalización de trabajos es intuitiva y efectiva
- Corresponde directamente al objetivo de maximizar rendimiento
- Más adecuada que métricas existentes como AoII y BF para escenarios de descarga de trabajos
- Diseño de Estrategia Innovador:
- La estrategia aleatoria adaptativa equilibra flexibilidad y analizabilidad
- La estrategia de máxima edad es simple y eficiente
- Dos estrategias cubren enfoques aleatorio y determinista
- Modelado de Problema Práctico:
- Considera costo de muestreo
- Colas infinitas se ajustan mejor a sistemas de funcionamiento a largo plazo
- El modelo de máquina de Markov es apropiado para computación perimetral
- Diseño Experimental Razonable:
- Compara diferentes escenarios de carga
- Verifica teoría de estabilidad
- Descubre conservadurismo de condiciones suficientes
- Omisión de Pruebas:
- Todas las pruebas de teoremas y proposiciones no se proporcionan
- Afecta gravemente la verificabilidad y credibilidad de resultados
- Los lectores no pueden entender el proceso de derivación
- Experimentos Insuficientes:
- Solo considera sistemas pequeños con N=4 usuarios
- Falta análisis de escalabilidad para sistemas grandes
- Sin comparación cuantitativa con métodos de literatura
- Falta pruebas de significancia estadística
- Método de Optimización Poco Claro:
- No especifica cómo resolver numéricamente (12) y (16)
- Los óptimos locales pueden afectar rendimiento de estrategia
- No discute complejidad computacional
- Análisis de Estabilidad Incompleto:
- Solo proporciona condiciones suficientes, sin condiciones necesarias
- No analiza la rigidez de condiciones
- La brecha entre suficiente y necesario no se cuantifica
- Limitaciones de Suposiciones:
- La suposición de cadena de Markov simétrica es bastante fuerte
- La distribución de tiempo de servicio geométrica puede no ajustarse a la realidad
- No considera retrasos de comunicación, errores de transmisión y otros factores reales
- Problemas de Escritura:
- Algunas definiciones de símbolos no son suficientemente claras (como uso limitado de xa(t))
- Las explicaciones de Figuras 2 y 3 podrían ser más detalladas
- Falta pseudocódigo de algoritmo
- Impacto Teórico:
- Establece marco teórico de estabilidad para descarga de trabajos en máquinas de Markov
- La métrica de edad de finalización de trabajos puede ser adoptada por trabajos posteriores
- El enfoque de diseño de estrategia aleatoria adaptativa es inspirador
- Valor Práctico:
- Aplicable a escenarios de descarga de trabajos en computación perimetral
- El diseño de estrategia puede guiar sistemas reales
- Las condiciones de estabilidad proporcionan criterios de diseño
- Limitaciones:
- Requiere pruebas completas para evaluar completamente
- Los experimentos pequeños limitan la persuasión
- La implementación real requiere resolver más problemas de ingeniería
- Computación Perimetral:
- Múltiples usuarios compartiendo servidor perimetral
- Escenarios que requieren muestreo de estado
- Los trabajos pueden esperar en cola
- Programación de Recursos en Computación en la Nube:
- Estado de máquina virtual incierto
- Múltiples inquilinos compitiendo por recursos
- Descarga de Tareas en IoT:
- Estado de dispositivo cambia aleatoriamente
- Costo de muestreo no nulo
- Escenarios No Aplicables:
- Requisitos de tiempo real extremadamente altos (espera en cola inaceptable)
- Estado completamente observable (sin costo de muestreo)
- Los trabajos no pueden esperar en cola (deben procesarse inmediatamente o descartarse)
Este artículo hace referencia principalmente a las siguientes obras clave:
- 5 Banerjee & Ulukus (2025): Rastreo de máquinas de Markov y asignación de trabajos, introduce métrica AoII
- 6 Liyanaarachchi & Ulukus (2025): Monitoreo óptimo y asignación de trabajos para múltiples máquinas de Markov
- 10 Chamoun et al. (2025): Monitoreo de servidor perimetral usando MAPPO, enfoque MDP
- 11 Kadota et al. (2018): Estrategias de programación para minimizar edad de información en redes inalámbricas de difusión
- 12 Tassiulas & Ephremides (1990): Propiedades de estabilidad en sistemas de colas con restricciones
- 13 Neely (2010): Optimización de redes estocásticas, definición de estabilidad fuerte
Evaluación General: Este artículo realiza contribuciones teóricas importantes en el campo de descarga de trabajos en máquinas de Markov, particularmente al proporcionar por primera vez análisis de estabilidad de colas. La introducción de la métrica de edad de finalización de trabajos es innovadora, y el diseño de dos estrategias es razonable. Sin embargo, la omisión de pruebas, las limitaciones en escala experimental y el conservadurismo de las condiciones de estabilidad son deficiencias evidentes. Se recomienda que los autores proporcionen rápidamente la versión completa de revista, incluyendo pruebas detalladas, experimentos a mayor escala y análisis de condiciones necesarias, para demostrar plenamente el valor del trabajo.