결국 atomic도 lock도

그러면 결국 유저가 직접 구현해서 경쟁상태를 해소할 방법은 없는건가요 ?
어셈블리 명령어가 쪼개져서 생기는 문제니깐 원자적 연산이나 lock 같은것을 응용 프로그래머가
직접 구현 할수는 없는것인가여 ...?

다른책에 CAS 함수가 하나 있길래 적용해볼려고 했는데 제가 잘못 이해한건지..
아니면 이것도 결국 비교->대입 하는 부분을 원자적으로 묶을 방법이 없어서 불가능한 의사코드인가요

#include <iostream>
#include <thread>
using namespace std;

class SpinLock
{
public:
	SpinLock() : mylock(false), expected(false), desired(true) {}
	void lock()
	{
		while (CompareAndSet(expected, desired) == true)
		{
			static long time = 0;
			cout << " I am Spining now.." << time++ << endl;
			expected = false;
		}
	}

	void unlock()
	{
		mylock = false;
	}

	bool CompareAndSet(bool expected, bool desired)
	{
		bool original = mylock;
		if (original == expected)
			mylock = desired;
		return original;
	}

private:
	bool mylock;
	bool expected;
	bool desired;
};

long sum;
SpinLock spin;

void Add()
{
	for (int i = 0; i < 1'0000'0000; i++)
	{
		spin.lock();
		sum++;
		spin.unlock();
	}
}

void Sub()
{
	for (int i = 0; i < 1'0000'0000; i++)
	{
		spin.lock();
		sum--;
		spin.unlock();
	}
}

int main()
{
	thread t1(Add);
	thread t2(Sub);

	t1.join();
	t2.join();

	cout << sum;
	return 0;
}