https://9lib.org/document/y8gxn5x5-problem-wzajemnego-wykluczania-sekcji-krytycznej-przeplot-współużywalność-zasobów.html