목차 문제 정의 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)과의 비교 ABA 해결 int형 구현 ABA 문제는 매개변수를 int형으로 구현하면 쉽게 해결할 수 있다. 하지만 문제점은 존재한다(뒷부분에 언급). 코드 #define _CRT_SECURE_NO_WARNINGS #define NULL_INT -1 // NULL 값 #include #include #include #include #include // #include #include using namespace std; struct Node { int data; Node* next_node; }; int node_n; atomic free_l..