11/26 동시성 프로그램은 언제 메모리를 해제할 수 있는가? (강지훈 교수/KAIST 전산학부)

작성자
kaistsoftware
작성일
2020-11-23 16:34
조회
12365
  • 강사 : 강지훈 교수 (KAIST 전산학부)  
  • 일시 : 2020. 11. 26 (목) 17:00~18:30
시스템 프로그래머는 메모리를 다 사용한 후에 해제해야 한다. 이는 쓰레드가 하나인 순차적(sequential) 프로그램에서도 어려운데 쓰레드가 여럿인 동시성(concurrent) 프로그램에선 더 어렵다. 여러 쓰레드가 동시에 메모리에 접근하고 해제하는 와중에도 메모리의 생애주기를 분석하고 동기화해야하기 때문이다. 이 어려움을 극복하기 위해 JVM, .NET 같은 트레이싱 메모리 수집기를 사용하기도 하지만, 처리량이 줄어들고 예상치 못한 지연이 생기는 등 성능상 단점이 있다. 그래서 OS나 DBMS같은 시스템은 더 간단하면서도 여전히 사용하기 쉬운 메모리 수집기를 사용한다.

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

* 강연자료
전체 143
번호 제목 작성자 작성일 추천 조회
공지사항
2025년 봄학기 콜로퀴엄 일정 안내
kaistsoftware | 2025.02.27 | 추천 0 | 조회 10520
kaistsoftware 2025.02.27 0 10520
142
6/2 Intelligent Techniques for Graphics, Vision, and Robotics (윤성의 교수/KAIST 전산학부)
kaistsoftware | 2025.06.02 | 추천 0 | 조회 426
kaistsoftware 2025.06.02 0 426
141
5/26 Denoising Diffusion for 3D Human and Object Pose Estimation Under Interactions (김태균 교수/KAIST 전산학부)
kaistsoftware | 2025.05.23 | 추천 0 | 조회 565
kaistsoftware 2025.05.23 0 565
140
5/19 이미지/비디오 생성 기술의 현재와 미래 (성민혁 교수/KAIST 전산학부)
kaistsoftware | 2025.05.16 | 추천 0 | 조회 789
kaistsoftware 2025.05.16 0 789
139
5/12 Startup Funding (최원호 교수/KAIST 전산학부)
kaistsoftware | 2025.05.08 | 추천 0 | 조회 1447
kaistsoftware 2025.05.08 0 1447
138
4/21 반복되는 SW오류, 어떻게 막을것인가? (허기홍 교수/KAIST 전산학부)
kaistsoftware | 2025.04.07 | 추천 0 | 조회 3358
kaistsoftware 2025.04.07 0 3358
137
4/7 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부)
kaistsoftware | 2025.04.04 | 추천 0 | 조회 2822
kaistsoftware 2025.04.04 0 2822
136
3/24 Mobile AI Agent (신인식 교수/KAIST 전산학부)
kaistsoftware | 2025.03.21 | 추천 0 | 조회 3641
kaistsoftware 2025.03.21 0 3641
135
3/17 Analyzing LLM Inference Chains (유신 교수/KAIST 전산학부)
kaistsoftware | 2025.03.10 | 추천 0 | 조회 4009
kaistsoftware 2025.03.10 0 4009
134
3/10 AI 의인화와 윤리적 문제: AI는 어떻게 사람처럼 보이도록 설계되었는가? (김진형 교수/KAIST 전산학부)
kaistsoftware | 2025.03.05 | 추천 0 | 조회 6117
kaistsoftware 2025.03.05 0 6117
133
11/25 Finding Security Vulnerabilities in Layer-1 and Layer-2 Blockchains (강민석 교수/KAIST 전산학부)
kaistsoftware | 2024.11.21 | 추천 0 | 조회 7265
kaistsoftware 2024.11.21 0 7265