CC

txn 할당

g_trx

• 글로벌 trx로 할당해줄 trx이다.

fetch_and_add로 N까지 할당 만약 g_trx >= N이면 g_trx은 compare_and_swap을 이용하여 g_trx을 1으로 전환 -> 실패시, while로 계속 시도

• 다른 thread가 g_trx로 접근하여 g_trx의 값을 증가 시켰기 때문에 실패했을 가능성이 있음

구현한 함수 및 클래스

get_pid(tid, key)

• find_leaf를 이용하여 해당 key에 해당하는 offset을 받았다.

• find, update밖에 수행하지 않기 때문에 페이지가 날아갈 일은 없음 즉, 페이지의 isLeaf비트가 회손될 일도 없다. 따라서 이렇게 받아온 offset은 안전하다.

• return 값은 offset + tid로 정했다.

• 증명 다음을 만족하기 위한 조건은 n = n' 이고 k = k'뿐이므로 (k와 k'이 1<= k, k` <= 10 이기 때문) pid로 적합하다.

make_lock

• lock을 만드는 함수이다. CC클래스의 find_trx_pointer함수를 호출하여 해당 락의 trx와 연결시켜준 채로 나온다.

CC::get_trx

• trx를 할당해준다.(__sync_fetch_and_add를 사용) 또한 trx_arr에서 비어있는 곳을 CAS를 통해서 할당해준다. (get_trx는 latch로 잡혀있지 않기 때문)

CC::marking_lock

• 락을 연결해준다.
• return 값으로 이 operation이 실행가능할 경우 1을 아닌 경우 0을 반환한다.

buffer mult test

value를 global로 두고 99번의 find마다 이 value를 fetch and add로 증가 시킨 값을 적용하는 update를 수행하는 thread 5개를 만들었다. 그리고 find의 결과를 lock을 걸어서 바로 출력할 수 있도록하였다. 이때 다음과 같이 버퍼의 사이즈는 1로 두어 checkpoint가 일어날 수 있도록 하였다. 결과에 따르면 프린트의 순서가 섞기지 않고 완전히 linear하게 증가하는 것을 볼 수 있었다. 즉, 업데이트 도중에 값이 읽히지 않고(isolate) 한번 업데이트 된것은 read할때 반정이 된다.(durability) 또한 버퍼에서 디스크로 내려갔다 올라오는 사이에도 안정성이 보장됨을 알 수 있다.