>> 1. 개발/실행 플랫폼 
>>   (1) OS : 
>>   (2) 개발툴 : Firemonkye
>>   (3) 사용 Database : 
>> 
>> 2. 개발 중인 프로그램 
>> 
>> 3. 질문 내용 
>> 
>> TMyClass = class(TObject)
>>   private
>>     FObject: TObject;
>>     procedure SetObject(const Value: TObject);
>>   published
>>     property ETCObject: TObject read FObject write SetObject;
>>   end;
>> 
>> procedure TMyClass.SetObject(const Value: TObject);
>> begin
>>   TMonitor.Enter(self);
>>   try
>>     FObject := Value;
>>   finally
>>     TMonitor.Exit(self);
>>   end;
>> end;
>> 
>> 위와 같이 object를 Set할 경우만 직렬화 시켜놨습니다.
>> 
>> 많은 쓰레드가 이 클래스에 접근할 경우
>> 
>> get하는 경우는 직렬화되어있지 않은데 문제가 발생할까요?




뭉뚱그려 놓고 생각하면 답이 안나오고.

Reader와 Writer 액세스를 하나의 단일화된 로직을 두어 그 로직을 통해서 데이타를 액세스 하도록
구조를 잡아 나가야 멀티쓰레드 코드 구현할 때 편합니다.

Queue 구조 처럼 head와 tail을 잡아 놓고 구조를 단일화 하면 쓰레드 동기화는 head와 tail 처리에만
집중하면 되니까.


어떤 데이타 타입 T를 증가시키는 사소한 것도 컴파일러가 코드를 어떤 식으로 생성할지 모르므로
멀티 쓰레드 환경에서는 

void called_by_multi_thread<T>()
{
   call_OS_Mutext_Primitive()
   Inc(T) 
}

위와 같이 동기화 해줘야 합니다. 윈도우 환경에선 Mutext 관련 API 사용.


그러나 C++ 이용하면 API 사용으로 인한 커널모드 전환, Context Switching 으로 인한 런타임 비용 등의 
대가를 치르지 않고 간단하게 처리 할 수 있어요.

std::atomic<T>

void called_by_multi_thread<T>()
{
    Inc(T) // OS api 호출도 없고, Context Switching 도 필요 없음.
           // 여기서 T는 컴파일러 Builtin 타입 일 수도 있고, Copyable 조건을 만족하면
           // 사용자가 정의한 임의의 어떤 C++클래스 타입이라도 상관 없음.
}


자료구조에서 멀티쓰레드로 tail 을 액세스 할 때도, Lock Synchronize API 사용하지 않고 처리.

  bool try_pop(T &v) noexcept {
    auto tail = tail_.load(std::memory_order_acquire);
    for (;;) {
      auto &slot = slots_[idx(tail)];
      if (turn(tail) * 2 + 1 == slot.turn.load(std::memory_order_acquire)) {
        if (tailAcquire(tail, tail + 1)) {
          v = slot.move();
          slot.destroy();
          slot.turn.store(turn(tail) * 2 + 2, std::memory_order_release);
          return true;
        }
      } else {
        auto const prevTail = tail;
        tail = tail_.load(std::memory_order_acquire);
        if (tail == prevTail) {
          return false;
        }
      }
    }
  }


간단하죠?


파스칼은 
언어 레벨에서 atomic 조건이나 메모리 오더 등을 디테일 하게 콘트롤 하는게 불가능 해요. 

파스칼 언어의 한계. ㅋㅋ