A Counter using Atomic Read and Write

declare

class Counter

from BaseObject

attr val: 0

meth inc

Old New

Old = val <- New

New = Old + 1

end

meth printValue

{Print @val}

end

end

C = {New Counter printValue}

{C inc}

{C printValue}

Previous slide

Next slide

Back to first slide

View graphic version