Witam.
Czy jest ktoś w stanie mi wytłumaczyć, która z tych własności jest bardziej rygorystyczna?
0
0
Nie jestem pewien czy da się te własności porównać bo one mówią o innych aspektach sieci.
Możesz mieć przecież sieć bezpieczną / 1-ograniczoną a jednocześnie nie żywotną, z jakimś martwym przejściem.
Mozesz też mieć sieć żywotną, ale taką która ma jakieś miejsce które nie jest 1-ograniczone.
0
Zapomniałem dopisać, że to dotyczy procesów współbieżnych.
W skrócie:
Własność bezpieczeństwa - nigdy dwa procesy nie będą jednocześnie w sekcji krytycznej.
Własność żywtności - jeśli proces chce wykonać pewną akcję, to w skończonym czasie mu się to uda.
0
Tak jak napisałem wyżej: nie możesz tego porównać i już.
Bezpieczne ale nie żywotne - każdy algorytm gdzie występuje zagłodzenie. Ot wystarczy że w kolejce prirytetowej do sekcji krytycznej masz 3 procesy ale 2 z nich maja wyższy priorytet i proces po wyjściu z sekcji krytycznej od razu wraca do kolejki. W takiej sytuacji ten gorszy proces nigdy się nie dostanie do sekcji krytycznej, ale bezpieczeństwo jest zachowane.
Żywotne ale nie bezpieczne - tu jest prościej, ot wystarczy wywalić synchronizacje sekcji krytycznej i już masz sytuacje kiedy każdy proces będzie sie spokojnie wykonywał, ale w sekcji krytycznej będą czasem > 1 procesy.
0
Ok, dzięki za wyjaśnienie. Pytałem, bo pojawiło się takie pytanie w zagadnieniach do egzaminu. :)