• 강사 : 강지훈 교수 (KAIST 전산학부)  
• 일시 : 2020. 11. 26 (목) 17:00~18:30

시스템 프로그래머는 메모리를 다 사용한 후에 해제해야 한다. 이는 쓰레드가 하나인 순차적(sequential) 프로그램에서도 어려운데 쓰레드가 여럿인 동시성(concurrent) 프로그램에선 더 어렵다. 여러 쓰레드가 동시에 메모리에 접근하고 해제하는 와중에도 메모리의 생애주기를 분석하고 동기화해야하기 때문이다. 이 어려움을 극복하기 위해 JVM, .NET 같은 트레이싱 메모리 수집기를 사용하기도 하지만, 처리량이 줄어들고 예상치 못한 지연이 생기는 등 성능상 단점이 있다. 그래서 OS나 DBMS같은 시스템은 더 간단하면서도 여전히 사용하기 쉬운 메모리 수집기를 사용한다.

이 발표는 동시성 메모리 수집 알고리즘을 다룬다. 먼저 수집 알고리즘의 다섯가지 평가 기준을 제시한다: 빠르고, 견고하고("나쁜" 쓰레드가 있어도 수집을 멈추지 않음), 작고(메모리 오버헤드가 적음), 완비적이고(OS나 하드웨어의 도움을 필요로 하지 않음), 적용성이 높아야 한다(여러 동시성 자료구조에 사용 가능). 이 다섯가지 기준을 바탕으로 널리 사용되는 위험 포인터(hazard pointer), 시대 기반 수집(epoch-based reclamation), 둘을 혼합한 알고리즘들을 평가한다. 마지막으로 다섯가지 기준을 모두 만족하는 사상 첫 알고리즘인 PEBR을 소개한다(PLDI 2020에 발표됨).

* 강연자료