Edición de «Práctica Programación Concurrente (Sistemas Operativos)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 200: | Línea 200: | ||
PREMISAS DE DIJKSTRA: | PREMISAS DE DIJKSTRA: | ||
1) No deben hacerse suposiciones sobre las instrucciones de máquina ni la cantidad de < | 1) No deben hacerse suposiciones sobre las instrucciones de máquina ni la cantidad de <br>procesadores. Sin embargo, se supone que las instrucciones de máquina (Load, Store, Test) son ejecutadas atómicamente, o sea que si son ejecutadas simultáneamente el <br>resultado es equivalente a su ejecución secuencial en un orden desconocido. | ||
2) No deben hacerse suposiciones sobre la velocidad de los procesos. | 2) No deben hacerse suposiciones sobre la velocidad de los procesos. | ||
Línea 209: | Línea 209: | ||
Los puntos 3) y 4) evitan bloqueos mutuos. | Los puntos 3) y 4) evitan bloqueos mutuos. | ||
5) Debe existir un límite al número de veces que otros procesos están habilitados a entrar a secciones críticas | 5) Debe existir un límite al número de veces que otros procesos están habilitados a entrar a secciones críticas después que un proceso haya hecho su pedido. | ||
</pre> | </pre> | ||