Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav07_lecture_18 [2007/05/29 00:43] vasu.singh |
sav07_lecture_18 [2007/05/29 21:40] vasu.singh |
||
---|---|---|---|
Line 27: | Line 27: | ||
This suggests that the two programs above are not equivalent for the purpose of reasoning | This suggests that the two programs above are not equivalent for the purpose of reasoning | ||
in concurrently executing programs. | in concurrently executing programs. | ||
+ | |||
Line 76: | Line 77: | ||
while (*) do | while (*) do | ||
if (*) then | if (*) then | ||
- | x++; | + | atomic{ |
- | y--; | + | x++; |
+ | y--; | ||
+ | } | ||
else | else | ||
- | y++; | + | atomic{ |
- | x--; | + | y++; |
+ | x--; | ||
+ | } | ||
endif | endif | ||
end | end |