LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav07_lecture_18 [2007/05/29 00:43]
vasu.singh
sav07_lecture_18 [2007/06/19 21:43]
vkuncak
Line 1: Line 1:
 ====== Lecture 13: Concurrency ====== ====== Lecture 13: Concurrency ======
  
 +(See also [[SAV07 Lecture 26]].)
  
 ==== A language with concurrency primitives ==== ==== A language with concurrency primitives ====
Line 27: Line 28:
 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 78:
   while (*) do   while (*) do
     if (*) then     if (*) then
-      x++; +      ​atomic{ 
-      y--;+        ​x++; 
 +        y--; 
 +      }
     else     else
-      y++; +      ​atomic{ 
-      x--;+        ​y++; 
 +        x--; 
 +      }
     endif     endif
   end   end