Queue가 비어있을 때, TryPop 질문입니다.

	shared_ptr<T> TryPop()
	{
		// [data][data][ ]
		// [head][tail]

		CountedNodePtr oldHead = _head.load();

		while (true)
		{
			// 참조권 획득 (externalCount를 현시점 기준 +1 한 애가 이김)
			IncreaseExternalCount(_head, oldHead);

			Node* ptr = oldHead.ptr;
			if (ptr == _tail.load().ptr)
			{
				ptr->ReleaseRef();
				return shared_ptr<T>();
			}

			// 소유권 획득 (head = ptr->next)
			if (_head.compare_exchange_strong(oldHead, ptr->next))
			{
				T* res = ptr->data.load(); // exchange(nullptr); 로 하면 버그 있음!
				FreeExternalCount(oldHead);
				return shared_ptr<T>(res);
			}

			ptr->ReleaseRef();
		}
	}

static void IncreaseExternalCount(atomic<CountedNodePtr>& counter, CountedNodePtr& oldCounter)
{
    while (true)
    {
       CountedNodePtr newCounter = oldCounter;
       newCounter.externalCount++;

       if (counter.compare_exchange_strong(oldCounter, newCounter))
       {
          oldCounter.externalCount = newCounter.externalCount;
          break;
       }
    }
}

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;
       }
    }
}

TryPop을 할 때는 ExternalCount를 증가시키는데
head와 tail이 같을 경우에는 internal 카운트를 감소시키고 return 합니다.

만약 push가 없고 pop만 반복된다면,
ExternalCount는 계속 증가하고
internalCount는 계속 감소하는것같은데 맞나요?

externalCount 와 internalCount가 일정해야하는게 옳은 결과값 같아서 질문합니다.