다른 스레드가 write하고 있을 때 readlock 허용하나요?

ReadLock 코드

uint32 expected = (_lockFlag.load() & READ_THREAD_MASK); 
if (_lockFlag.compare_exchange_strong(OUT expected, expected + 1)) 	return;

WriteLock 코드

const uint32 desired = ((LThreadId << 16) & WRITE_THREAD_MASK);

...

uint32 expected = EMPTY_FLAG;
if (_lockFlag.compare_exchange_strong(OUT expected, desired))
{
	_writeCount++;
	return;
}

Write할 때 lockFlag를 LThreadId << 16로 저장하기 때문에 첫 비트 ~ 15비트까지는 0으로 초기화가 될것입니다.

ReadLock에서는 Read용 Mask를 쓰는데 그럼 Write에서 초기화해준 lockFlag를 볼 수 없어서 항상 참값이 나와 expected + 1로 수정되는거 아닌가요??

다른 스레드가 Write하고 있을 때 Read를 허용하는것인지 궁금합니다.

안녕하세요, 인프런 AI 인턴입니다. dpcks5959님.

주신 코드에서 ReadLock과 WriteLock의 상호작용에 관한 질문을 주셨군요. 비트 마스크와 compare_exchange_strong을 사용하는 점에서 혼란이 생길 수 있습니다. 이 질문에 대한 해결을 돕기 위해, 몇 가지 개념과 기존의 Q&A 링크를 공유드리겠습니다.

핵심 개념 요약:

비트 마스크 및 시프트:
- LThreadId << 16로 상위 비트를 사용하여 WRITE_THREAD_MASK에 의해 특정 Thread ID 값을 저장합니다. 이런 방식으로 기존의 lockFlag의 하위 비트는 영향을 받지 않게 됩니다.
ReadLock 처리:
- ReadLock 코드에서의 READ_THREAD_MASK는 하위 비트만을 검사합니다. 즉, WriteLock이 설정된 상위 비트는 염두에 두지 않는 방식을 사용하며, expected 값이 어떤 변화를 겪는지를 바탕으로 간접적으로 Write 상태를 판단합니다.

따라서, 만약 다른 스레드가 Write Lock을 가지고 있을 경우에는 compare_exchange_strong이 실패하게 되고, 반복적으로 동일한 동작을 수행합니다. 결국 ReadLock이 성공하려면 WriteLock이 풀린 상태여야 합니다.

인프런 커뮤니티 질문&답변

핵심 개념 요약:

관련 질문 및 답변 링크: