On the CALM Principle for BSP Computation

Download Now
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.
Download Now

Find By Topic