Es un algoritmo que determina si el sistema está en un estado seguro y sin que haya que molestar a un recurso