push 에 관한여 해제..

push 에서
push 스레드가 3개 있다고 했을때
3개 모두다 T* oldData = nullptr; 이 구문 까지 실행 됐다는 가정 하에 질문을 해보면..

if (oldTail.ptr->data.compare_exchange_strong(oldData, newData.get()))

{

oldTail.ptr->next = dummy;

oldTail =tail.exchange(dummy);

[........]

FreeExternalCount(oldTail);

현재 스레드에서 [........] 부분 까지 실행 되다가
(FreeExternalCount(oldTail); 이건 실행 되지 않고..)

다른 push 스레드들 에서 이 구문을 들어오지 못한 push 스레드는들은 oldTail.ptr->ReleaseRef(); 이 계속 반복적으로 계속 호출 되면서 internalCount 값이 -2 이상을 훨씬 더 넘는 상황이 발생 할 수도 있을것 같은데
현재 스레드는 ... 에서 계속 처리가 되지 않고 스케줄러에 의해 지연되고 있다 가정한다면

internalCount 카운트의 계산이 이상해지고 while 문은 언젠가 끝나긴 하겠지만 internalCount 가 -로 많이 쌓이게 될 경우에는 메모리가 삭제 되지 않고 누수가 될것 같은데요..? 맞나요?

아직 pop 함수는 보진 않았습니다만.. 카운팅 방식이 맞나해서 질문 남깁니다

void ReleaseRef()
{
	NodeCounter oldCounter = count.load();
	while (true)
	{
		NodeCounter newCounter = oldCounter;
		newCounter.internalCount--;
		if (count.compare_exchange_strong(oldCounter, newCounter))
		{
			if (newCounter.internalCount == 0 && newCounter.externalCountRemaining == 0)
				delete this;
			break;
		}
	}
}