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

CAS 의사코드 보면서 든 의문입니다. _locked와 expected가 같을 때 expected = _locked을 하는 작업이라든가 필요없을 것 같은 작업들이 있는 것 같아 아래와 같이 작성하여보았습니다. 작동은 똑같이하는데 문제가 생길 것이 있을까요?

bool check(bool& locked)
{
	if (!locked)
	{
		return locked = true;
	}
	else
	{
		return false;
	}
}
class SpinLock
{
public:
	void lock()
	{
		/*bool expected = false;
		bool desired = true;*/
		// CAS (Compare-And-Swap)
		// 의사 코드
		/*if (_locked == expected)
		{
			expected = _locked;
			_locked = desired;
			return true;
		}
		else
		{
			expected = _locked;
			return false;
		}*/

		/*while (_locked.compare_exchange_strong(expected, desired) == false)
		{
			expected = false;
		}*/
		while (check(_locked)) {}
	}

	void unlock()
	{
		_locked = false;
	}
private:
	bool _locked = false;
	//atomic<bool> _locked = false;
};