concurrency 스터디

03 Aug 2013

concurrency study

오늘 스터디에서 공부한 내용을 간략히 정리해보자.

volatile/interlocked operation/memory barrier

intrusive/non-intrusive

InterlockedSList

Actor model

각 actor 객체에 접근하는 thread는 반드시 하나임을 보장함. context switching 비용을 줄이기 위해 thread 개수를 제한하지만 많은 actor를 다루기 위해 객체별 수행 동기화 기법을 사용한다.

out of order execution

  • 컴파일러의 명령어 재배치 수준이 아닌 cpu 내부의 비순차 실행
  • 비순차 실행을 통해 최대 수행 시간의 절감 효과를 얻음
  • 하드웨어적 한계로 비순차 실행 명령어 window를 유지 (reservation stations), 그 내부에서 각 operand 준비 완료가 되면 연산 수행
  • operand 준비 완료 통지 연산량 감소를 port grouping, 결과 순서를 보장해주기 위해 rob를 사용
  • Wiki: Reservation stations

memory consistency model

우리가 작성한 대로 수행을 보장해준다면(Sequentially-consistent ordering) 프로그램의 흐름을 이해하기가 쉽지만 최적화 가능성이 줄어듬. 이를 완화(relaxed)해주어서 최적화가 잘 되게 해보자. 그런데 intel x86-64는 그런 것 신경 안 써줘도 빠르게 돌아감*(summerlight님 수정)*

c++11에 memory order로 추가됨.

c++ threading facilities

표준에서 지원하기는 하지만 표준 라이브러리가 어떻게 구현되어있는지 보고 괜찮은지를 판단한 후 사용하자.

sync/async programming

아무튼 async가 흐름 따라가기가 어렵다.

c++11의 lambda

thread safe한 singleton

근데 intel x86-64에서는 memory barrier 안 쳐줘도 문제가 없다-_-; 하지만 c++11부터는 함수 내 static 변수를 반환하는 것만으로도 대충 thread-safe한 singleton이 구현 가능해졌다.

기타 windows via c/c++ 내용

CreateThread, SSDT, Kernel object, CriticalSection, ...

lock

  • CAS (InterlockedCompareExchange 사용) 로 쉽게 구현할 수 있다.
  • reader/writer (shared/exclusive) lock을 사용할 수 있지만 fairness를 잘 고민해야한다.
  • 그냥 lock/unlock 부르지 말고 raii 잘 써서 쓰자.

과제 해법

  • lock 사용
  • interlocked-operation 사용
  • counter(actor)에 대해 message passing 사용
comments powered by Disqus