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 82: | Línea 82: | ||
<br> | <br> | ||
<br>NOTA: Ejercicios del 7 al 10. Preguntar estos... Tienen pinta de entrar seguro :) | |||
'''(PREMISAS DE DIJKSTRA:)''' | |||
1) No deben hacerse suposiciones sobre las instrucciones de máquina ni la cantidad de 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 resultado es equivalente a su ejecución secuencial en un orden desconocido. | |||
2) No deben hacerse suposiciones sobre la velocidad de los procesos. | |||
3) Cuando un proceso no está en su región crítica no debe impedir que los demás ingresen a su región crítica. | |||
4) La decisión de qué procesos entran a una parte crítica no puede ser pospuesta indefinidamente. | |||
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 después que un proceso haya hecho su pedido. | |||
===Ejercicio 4*=== | ===Ejercicio 4*=== |