Detecting Causality Violations in Distributed System

한글로는 분산시스템에서 인과률 위반을 조사하는 방법 정도가 되겠다.

기본적은 알고리즘은 각 process의 timestamp(Logical Clock)를 메세지와 함께 담아서 전송하고,

분산환경에서 전파되는 과정에서 마지막 메세지의 timestamp와의 인과율을 조사한다는 아이디어

Lamport Timestamps가 가장 간단한 알고리즘이고

그외 Vector Clock, Matrix Clock등이 있으나, 개념은 그닥 어렵지 않으니 위키페이지 참조

http://en.wikipedia.org/wiki/Vector_clock