Mutual Exclusion

class SafePassage

from Passage

attr token: 1

meth pass

{OpenFirst} {Enter} {CloseFirst}

{OpenSecond} {Exit} {CloseSecond}

end

meth passSafely

Old New in

Old = token <- New

{Wait Old}

{self pass}

New = Old

end

end

Previous slide

Next slide

Back to first slide

View graphic version