Una condición en la que un proceso o hilo se ve perpetuamente privado de los recursos o del tiempo de planificación que necesita para progresar, quedando efectivamente atascado mientras otras tareas avanzan.

Principio

La inanición surge de la injusticia en la asignación de recursos o en las políticas de scheduling: prioridades, locks sin equidad o clientes que monopolizan pueden excluir sistemáticamente a un participante del servicio requerido.

Demostración

Un hilo de baja prioridad es repetidamente preemptado por tareas de mayor prioridad que nunca ceden, de modo que el hilo de baja prioridad no progresa aunque el sistema en su conjunto permanezca activo.

Aplicación incorrecta

Usar 'starvation' para cualquier desaceleración temporal o culpar a inanición cuando la causa raíz es deadlock, livelock o agotamiento transitorio de recursos que se resolverá.

Consecuencia

El diagnóstico correcto conduce a arreglos de equidad: envejecimiento de prioridades, locks/colas justas, cuotas de ancho de banda/recursos o cambios de política; no corregirlo produce retrasos no acotados para las tareas afectadas y calidad de servicio impredecible.

Inversión

El inverso es progreso garantizado o servicio eventual: políticas de scheduling y asignación que aseguran que toda tarea elegible reciba finalmente los recursos necesarios (garantías de equidad débiles o fuertes).

Límite

Cubre contextos de scheduling y asignación de recursos (CPU, locks, E/S, ancho de banda de red). Excluye latencia transitoria, fugas permanentes de recursos y ciclos de deadlock; la inanición puede producirse tanto en máquinas únicas como en sistemas distribuidos.

Tensión semántica

Tensión con deadlock y livelock: la inanición carece de la dependencia cíclica mutua del deadlock y de la actividad continua del livelock, pero puede ser causada indirectamente por esas condiciones o por políticas injustas.

Síntesis

La inanición es la denegación persistente de servicio a un participante por una asignación o scheduling injusto; remediarla exige reintroducir equidad, cuotas o envejecimiento para que cada participante obtenga finalmente los recursos necesarios.