파일 시스템 정리 개요 오랜 기간 동안 저장되어야하는 정보의 저장에는 몇가지 조건이 있다. 프로세스가 종료된 후에도 정보가 유지되는 비휘발성 많은 정보를 저장할 수 있는 큰 용량 다수의 프로세스가 동시에 접근 가능한 접근성 오랜 기간동안 큰 정보를 저장하는 장치 중 하나인 Disk는 고정된 크기의 block들로 구성되어있는데, 다음과 같은 질문들을 불러일으킬 수 있다. Disk에 저장한 정보를 어떻게 찾을 것인가? 정보의 양이 방대해서 정보를 찾기가 쉽지 않다. 빈 공간을 어떻게 관리할 것인가? 새로운 정보를 저장할 때 빈 공간을 찾아서 사용해야한다. 사용자 별 권한을 어떻게 관리할 것인가? 데이터를 보호해야한다. 이 해답은 파일 과 파일시스템 에서 찾을 수 있다. 파일 파일은 저장 장치에 정보를 저장하..

목차 문제 정의 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번 문제를 ..

목차 문제 정의 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..

목차 문제 정의 lock free 구현 ABA 해결 int형 구현(+ Hazard pointer) Counter 그 외의 방법들 mutex lock(spin lock)과의 비교 문제 정의 문제 Linked List 자료구조에서 push()와 pop() 연산을 구현한다. Linked List는 FreeList와 HeadList 두가지가 있으며 여러 스레드가 두 개의 List를 번갈아가며 push, pop 연산을 수행한다. 스레드들이 각각 연산을 수행하기 위해서는 List들에 대한 상호배제가 필요하다. 해석 상호 배제에는 여러가지 방법이 있지만, 크게 두가지로 나눌 수 있다. lock 변수의 조건을 체크하며 반복문을 돌고 있는 spin lock과, lock 변수 없이 계속 시도하면서 적절한 때에 동작을 수행..