Comments on: Concurrent Programming and `Linearization’

By: rein's world

rein's world — Sun, 12 Jul 2009 13:56:38 +0000

Linearization은 프로그래머에게 어떤 의미인가?…

라고 물으신다면 “생각을 편하게 하려고” 쓴다고 해두겠다.
예전에 간단히(?) 선형화 가능성(linearizability/linearization)에 대해서 포스팅 하나 했는데, 정의 말곤 딱히 의미가 없어뵈서 다시 한 번 포스팅을.
이 글에선 선형화/선형화 가능성을 프로그래머 입장에서 왜 따지는지 혹은 왜 따져야할지 생각해보겠다. 멀티스레드 프로그래밍을 하다보면 기본적으로 다음과 비슷한 류의 상황을 생각해야 된다.

위 그림…

By: 세라비

세라비 — Thu, 25 Dec 2008 12:10:26 +0000

말씀하신 것은 일반적인 이야기이고, isolation이나 STM은 범용적으로 사용하기 좋게 특수화된 시나리오들이겠죠.

By: rein

rein — Thu, 11 Dec 2008 02:02:46 +0000

세라비 / 비슷하지만 다릅니다. 트랜잭션의 visibility(혹은 commitment)와 비슷하지만 다릅니다(이건 별도 포스팅 예정입니다).

그리고 STM/HTM이 없어도 못하는건 아닙니다. 대다수의 lock 기반 혹은 CAS 기반 프로그래밍에서도 이 개념이 녹아있습니다(신경 안쓰거나 관심없는 것 뿐이지)

By: 세라비

세라비 — Thu, 11 Dec 2008 01:51:21 +0000

상호연관은 무슨 말씀이신지 모르겠지만, 기본적인 생각의 틀 자체가 DB의 Transaction Isolation (http://en.wikipedia.org/wiki/Isolation_(database_systems) ) 얘기랑 비슷한 것 같아서요.

어느 시점에 transaction의 결과가 보일 것인가, transaction이 serialization이 가능한가? 와 같은 얘기.

이런 걸 Programming Language 쪽에서 잘 하려면 Software/Hardware Transactional Memory 개념이 정착되면 될 것 같다는 생각이 드네요.

By: rein

rein — Mon, 08 Dec 2008 00:00:10 +0000

세라비 / DB의 트랜잭션보다는 좀 더 객체간의 상호연관이 강할 때 쓰기 좋은 모델입니다. 굳이 Java Memory Model이 아니어도 구현할 수 있는 방법이긴 합니다. 몇 가지 조건만 충족되면 되는거라(…)

Rica / …좀 더 자세히 설명해보지

최익필 / c의 방법이 경험적으로도 꽤나 잘 통하는(?)방법입니다.

By: 최익필

최익필 — Sun, 07 Dec 2008 10:06:12 +0000

저는 c 방법을 사용 하고 있는데, 멀티 쓰레드에서 c방법으로 들어간 객체가 쓰레드에서 그 순서에 맞게 뽑아 올순 있어도 연산을 뽑아온 순서로 처리 하지 않는다. 라는 경험 아래 “독립적이지 않으면 피보는구나” 싶었습니다.

다음에 설명하는 것을 주의깊게 읽겠습니다.

By: Rica

Rica — Sat, 06 Dec 2008 13:29:40 +0000

미안 무슨 내용인지 전혀 모르겠음….

By: 세라비

세라비 — Sat, 06 Dec 2008 04:59:29 +0000

Database의 Transaction Isolation이나 Java의 Memory Model이군요.