Provided by:
RWTH Aachen University
Topic:
Hardware
Format:
PDF
In recent times, considerable emphasis has been given to two apparently disjoint research topics: data-parallel and eventually consistent, distributed systems. In this paper, the authors propose a study on an eventually consistent, data parallel computational model, the keystone of which is provided by the recent finding that a class of programs exists that can be computed in an eventually consistent, coordination-free way: monotonic programs. This principle is called CALM (Consistency And Logical Monotonicity) and has been proven by researchers for distributed, asynchronous settings.
