Computer Science/Distributed System
-
[Distributed System] Partial Order & Total OrderComputer Science/Distributed System 2017. 3. 30. 14:41
[Distributed System] Partial Order & Total Order Partial Order(부분 순서 집합) : 부분 순서가 정의된 집합을 그 부분 순서와 같이 partially ordered set이라고 한다.모든 원소가 비교 가능할 것을 요구하지 않는다.ex. 가계도 : 어떤 두 사람은 조상과 후손의 관계이나, 어떤 두 사람들은 그런 관계가 없다. Total Order(전순서 집합) : 임의의 두 원소를 비교할 수 있는 부분 순서 집합.즉, 모든 원소가 비교 가능한 부분 순서. Referenceshttps://ko.wikipedia.org/wiki/%EB%B6%80%EB%B6%84_%EC%88%9C%EC%84%9C_%EC%A7%91%ED%95%A9https://ko.wikiped..
-
[분산시스템] wait-free 알고리즘, bounded, unboundedComputer Science/Distributed System 2017. 3. 28. 11:30
Wait-freedom wait-free 알고리즘 : 모든 명령어들이 유한한 step 안에 해당 명령어를 완료하는 알고리즘. real-time system에서 중요한 요소이다 wait-free는 주로 두 가지 종류로 나뉜다.bounded wait-free와 unbounded wait-free이다.bounded wait-free는 정해진 step 이내에 명령어들이 수행되는 알고리즘을 뜻한다. 즉, 정해진 step이 알려져 있다.unbounded wait-free는 wait-free 알고리즘 중, 알려진 step 한도가 없는 알고리즘을 뜻한다. Referenceshttp://concurrencyfreaks.blogspot.kr/2016/09/wait-free-bounded-vs-wait-free-unboun..
-
[분산 시스템] linearizabilityComputer Science/Distributed System 2017. 3. 27. 15:00
Linearizability (원자성, atomicity)atomic, linearizable, indivisible, uninterruptible.atomic operation들은 succeed-or-fail definition을 갖고 있다. (성공적으로 시스템 상태를 업데이트시키거나, 아무런 효과가 없거나)원자성(atomicity)은 어떤 것이 더 이상 쪼개질 수 없는 성질을 말한다. 어떤 것이 원자성을 가지고 있다면 원자적(atomic)이라고 한다. 어떠한 작업이 실행될때 언제나 완전하게 진행되어 종료되거나, 그럴 수 없는 경우 실행을 하지 않는 경우를 말한다. 원자성을 가지는 작업은 실행되어 진행되다가 종료하지 않고 중간에서 멈추는 경우는 있을 수 없다. Referencehttps://en.wik..