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

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

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

* 강연자료
전체 49
번호 제목 작성자 작성일 추천 조회
공지사항
2020년 가을학기 콜로퀴엄 일정 안내
kaistsoftware | 2020.09.11 | 추천 0 | 조회 1110
kaistsoftware 2020.09.11 0 1110
48
12/10 트랜스포머 모델 기반 최신 자연어처리 현황/한계 및 발전방향 (김현기/한국전자통신연구원)
kaistsoftware | 2020.12.07 | 추천 0 | 조회 322
kaistsoftware 2020.12.07 0 322
47
12/3 Algorithm-Hardware Co-Design for Machine Learning (박종세/KAIST 전산학부)
kaistsoftware | 2020.12.01 | 추천 0 | 조회 358
kaistsoftware 2020.12.01 0 358
46
11/26 동시성 프로그램은 언제 메모리를 해제할 수 있는가? (강지훈/KAIST 전산학부)
kaistsoftware | 2020.11.23 | 추천 0 | 조회 372
kaistsoftware 2020.11.23 0 372
45
11/19 인공지능과 사이버보안 : 水魚之交 (수어지교) (김인중/국가보안기술연구소)
kaistsoftware | 2020.11.16 | 추천 0 | 조회 437
kaistsoftware 2020.11.16 0 437
44
11/12 딥러닝 기반 자연어처리 연구 동향 (이창기/강원대 컴퓨터공학과)
kaistsoftware | 2020.11.09 | 추천 0 | 조회 478
kaistsoftware 2020.11.09 0 478
43
11/5 Relation Extraction for Knowledge Graph Construction (이경호/연세대 컴퓨터과학과)
kaistsoftware | 2020.10.30 | 추천 0 | 조회 408
kaistsoftware 2020.10.30 0 408
42
10/15 Probabilistic Programming (양홍석/KAIST 전산학부)
kaistsoftware | 2020.10.07 | 추천 0 | 조회 608
kaistsoftware 2020.10.07 0 608
41
10/8 Mining and Learning with Graphs: Clustering, Hypergraphs, and Representation Learning (황지영/KAIST 전산학부)
kaistsoftware | 2020.10.05 | 추천 0 | 조회 550
kaistsoftware 2020.10.05 0 550
40
9/24 Data Augmentation for 3D Vision (김태균/KAIST 전산학부)
kaistsoftware | 2020.09.16 | 추천 0 | 조회 719
kaistsoftware 2020.09.16 0 719
39
9/17 공간마케팅 (이현수/연세대 실내건축학과)
kaistsoftware | 2020.09.16 | 추천 0 | 조회 711
kaistsoftware 2020.09.16 0 711