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

	void Push(const T& value)
	{
		Node* node = new Node(value);
		node->next = _head;


		while (_head.compare_exchange_weak(node->next, node) == false)
		{
	
		}
	}
	

	bool TryPop(T& value)
	{
		Node* oldHead = _head;


		while (oldHead && _head.compare_exchange_weak(oldHead, oldHead->next) == false)
		{
	
		}

		if (oldHead == nullptr)
			return false;

		value = oldHead->data;


		return true;
	}

 

 

안녕하세요 질문이 있습니다.

위의 코드에서 

예를들어

t1 스레드가 Push를 하고

t2 스레드가 TryPop을 한다고 가정하면

push 에서도 _head를 참조하고 tryPop에서도 _head를 참조하니깐 TryPop에서 참조하고있는 popCount와 pendingList를 구해서 LockFree한다고 해도 운이 안좋아서 TryPop에서 _head를 메모리 할당 해제 해버리고 Push할때 그 할당 해제된 head로 node->next에 값을 대입하면 문제가 되지않나요?