목차 문제 정의 lock free 구현 ABA 해결 int형 구현(+ Hazard pointer) Counter 그 외의 방법들 mutex lock(spin lock)과의 비교 그 외의 방법들 DCAS _InterlockedCompareExchange128 사용 위의 Counter 기법과 비슷하다. 64bit를 모두 이용하여 주소를 표현하는 CPU에서는 위의 Counter 기법을 사용할 수 없으므로 c++의 _InterlockedCompareExchange128 연산을 이용하여 이를 대신할 수 있다. 이 연산은 64bit 자료형 2개를 묶어서 128bit로 CAS 연산을 시행할 수 있다. 이 때 64bit 씩 분리하여 새로운 값으로 바꾸어줄 수 있다. lock 변수 이용 어셈블리어까지 보면 lock-fr..

목차 문제 정의 lock free 구현 ABA 해결 int형 구현(+ Hazard pointer) Counter 그 외의 방법들 mutex lock(spin lock)과의 비교 Counter #include #include #include #include #include #include using namespace std; class Node { public: int value; Node* next; Node() : value(0) { next = NULL; } Node(int k_value) { next = NULL; value = k_value; } }; int node_n; //random 구현 random_device rd; mt19937 gen(rd()); uniform_int_distribut..

목차 문제 정의 lock free 구현 ABA 해결 int형 구현(+ Hazard pointer) Counter 그 외의 방법들 mutex lock(spin lock)과의 비교 Hazard Pointer https://m.blog.naver.com/PostView.nhn?blogId=jjoommnn&logNo=130127286459&proxyReferer=https:%2F%2Fwww.google.com%2F 를 참고하여 작성하였다. 문제점 먼저 delete를 이용하여 객체를 삭제하면, 해당 객체를 참조하고 있던 스레드에 문제가 생길 수도 있고 객체가 삭제된 주소에 다시 같은 객체가 할당되어 ABA 문제가 일어날 가능성이 있다. 새로 객체를 할당하는 것은 사용자가 관리하는 list가 아니다. 1번 문제를 ..