Points of order
Wednesday, April 27, 2011
10:36 AM
The point of CALM
logically monotonic code is eventually consistent without locking. 
we can make non-monotonic code logically monotonic by use of locking, at what CALM calls points of order. 
Example: to make the non-monotonic example on the previous page monotonic, we change the problem: 
Compute the list of keywords that appeared yesterday.
Let them become (eventually) consistent.  
Then form the negation. 
This normally occurs when our logic has some equivalent of negation!