Lock Free 관련하여 질문드립니다.

[C++과 언리얼로 만드는 MMORPG 게임 개발 시리즈] Part4: 게임 서버

작성

346

예제 코드를 보면 TryPop을 아래와 같이 구현하고 있습니다.

bool TryPop(T& outData)
{
    Node* oldHead = _head.load();
    
    Node* expected = oldHead;
    Node* desired = oldHead->Next;
    while (oldHead && false == _head.compare_exchange_weak(expected, desired))
    {
        // Null
    }

    if (_head.load() == nullptr)
    {
        return false;
    }

    // 이하 생략
}

혹시 위의 코드에서 아래처럼 미리 Null check를 해도 무관할까요?

bool TryPop(T& outData)
{
    if (_head.load() == nullptr)
    {
        return false;
    }

    Node* oldHead = _head.load();
    
    Node* expected = oldHead;
    Node* desired = oldHead->Next;
    while (false == _head.compare_exchange_weak(expected, desired))
    {
        // Null
    }

    // 이하 생략
}

실제로 돌렸을 때는 문제가 없었는데, 혹시 제가 간과한 부분이 있나 하여 여쭤봅니다.

lock-free network atomic MMORPG windows-server

답변 1

Rookiss

지식공유자

if (oldHead == nullptr)
return false;

이렇게 되어 있을거 같은데,
혹시 몇 번 강의를 말씀하시는걸까요?

Node* oldHead = _head; 를 추출한 다음에
뒤늦게 if (oldHead == nullptr) 체크하는거랑
또 다시 if (_head == nullptr) 체크 하는거랑은 의미가 달라집니다.

choiseonmun

질문자

Lock Free Stack 구현하는 부분이었습니다. 네, 강사님이 말씀하신 것처럼 구현이 되어 있는데, 제가 코드를 옮기는 과정에서 복사 붙어넣기를 잘못했네요. 다시 질문을 드리자면..

원본 코드

bool TryPop(T& value)
{
    Node* oldHead = _head;
    while (oldHead && _head.compare_exchange_weak(oldHead, oldHead->next) == false)
    {
    }

    if (oldHead == nullptr)
        return false;

    // 이하 생략
}

구현 시도(?)하려는 코드

bool TryPop(T& value)
{
    // 사전에 먼저 쳐내도 괜찮은지 궁금합니다.
    if (nullptr == _head.load())
        return false;

    Node* oldHead = _head;
    while (false == _head.compare_exchange_weak(oldHead, oldHead->next))
    {
    }

    // 이하 생략
}

주석처럼 사전에 먼저 조건 검사를 해도 괜찮은지 궁금합니다.

Rookiss

지식공유자

사전에 검사를 해도 되긴 하지만, 그렇다고 뒷부분을 누락할 수는 또 없습니다.

데이터는 1개이고 2개의 쓰레드가 Pop을 한다면, CAS 경합을 통해 한 애는 성공하겠지만
다른 애는 실패할테니 그러면 return false가 뜨긴 떠야 할테니
뒷부분의 체크가 필요하겠죠.