Next: Exclusión mutua a nivel
Up: Propriedades de programas concurrentes
Previous: Espera activa de procesos
En programas concurrentes es posible que un proceso nunca llegue a hacer
nada si el planificador o el control de los recursos compartidos
respectivamente no permite que el proceso pueda cumplir con sus objetivos.
Es decir, el proceso está sometido a una espera infinita, o en otras
palabras, sufre una inanición.
Existen varias técnicas para evitar una posible inanición:
- El acceso a recursos compartidos siempre sigue el orden FIFO, es decir,
los procesos tienen acceso en el mismo orden en que han pedido vez.
- Se asigna prioridades a los procesos de tal manera que cuanto más
tiempo un proceso tiene que esperar más alto se pone su prioridad
con el fin que en algún momento su prioridad sea la más alta.
© 2003, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática