Starvation é um conceito que não se refere a diretamente a deadlock/livelock.
Starvation é quando um processo não consegue ser executado, de forma alguma, pois sempre existem processos de prioridade maior para serem executados, de forma que o processo "faminto" nunca consiga tempo de processamento.
Segue o diagrama de estados de processo no Linux.
Quando você executa um processo, ele começa no estado initial
e então vai para o ready
.
O Starvation ocorre quando processos de maior prioridade aparecem sempre que tem um processo de menor prioridade ativo e querendo chamar o kernel. Nesse caso, os processos mais prioritários ficam com acesso ao kernel e o outro processo fica apenas esperando permissão, que nunca chega.
Ele não consegue agir e fica parado, sem fazer nada, ocupando memória e tempo de processamento (visto que o SO tem que fazer o escalonamento dos processos!) do processador sem fazer nada.
Starvation sempre atrapalha, pois é tempo de processador/tempo de kernel/memória disperdiçado(a), pois é um processo querendo ser executado e que fica em memória, mas nunca consegue definitivamente concluir o seu fluxo.
O escalonador de processos do Windows, se não estou enganado, ele faz uso de um sistema de prioridades dinâmico, onde o processo começa com a sua prioridade normal, mas conforme ele vai ficando parado, a sua prioridade começa a aumentar de forma que ele eventualmente veja um tempo de kernel.
(Qualquer erro, por favor corrijam)