소식

이벤트

세미나 컴퓨터과학과 정기 수요 세미나 (연사: 강지훈 카이스트 전산학부 교수 )

페이지 정보

작성자 최고관리자 작성일 22-03-31 10:41

본문

날짜 : 2022년 4월 6일 오후 5시
장소 : https://yonsei.zoom.us/j/98392907869
ID 및 PW : 983 9290 7869
  • 세미나 제목: 영속성 메모리 프로그래밍: 실행 의미부터 자료구조 까지


  • 세미나 초록:영속성 메모리란 DRAM처럼 빠르면서 SSD처럼 전원이 차단되어도 자료가 남아있는 영속성을 갖춘 메모리이다.

    이러한 특성 덕에, 영속성 메모리를 사용하면 파일 시스템, 데이타베이스 시스템 등 트랜잭션 시스템을 크게 최적화할 수 있을 것으로 기대한다.

    하지만 영속성 메모리라는 하드웨어를 트랜잭선 시스템과 같은 소프트웨어에 사용하기 위해 다음과 같은 어려움이 있다.

    첫째, CPU와 메모리 시스템의 최적화로 인해 영속성 메모리에 대한 읽기 및 쓰기 접근의 순서가 뒤바낄 수 있다.

    둘째, 예기치 않게 전원이 차단될 경우에 자료구조의 불변 성질이 깨져 자료가 온전히 보존되지 않을 수 있다.

     

    이 발표에선 위 두가지 어려움을 해결하기 위한 방안을 제시한다.

    첫째, 순서 뒤바뀜을 고려한 영속성 메모리의 엄밀한 실행의미를 정의한다 (PLDI 2021).

    기존 실행의미와 달리 우리가 제시할 실행의미는 (1) 실제 ISAIntel-x86, Armv8을 지원하고, (2) 실제로 일어날 수 있는 행동을 정확하게 기술한다.

    둘째, 예기치 않게 전원이 차단될 경우에도 불변 성질을 보존하기 위한 자료구조 작성법을 제시한다 (Submitted).

    기존 방법론과 달리 우리가 제시할 자료구조 작성법은 (1) 작성하는데 드는 비용이 적고, (2) 성능이 좋으며, (3) 여러 자료구조를 조합하여 더 큰 자료구조를 작성할 수 있다.

     

  • 연사 이력: Jeehoon Kang is an Assistant Professor in the School of Computing at KAIST. Before joining KAIST in February 2019, he worked on developing a compiler for AI accelerators as Chief R&D Officer in FuriosaAI. He received his Ph.D. (2019) in Computer Science from Seoul National University. His research interests are in the design and verification of concurrent and parallel systems. Recently, his group has been focusing on concurrent data structures, persistent memory, and hardware description language. He is a recipient of various awards including POPL 2022 and PLDI 2017 distinguished paper awards.

  • 연사 정보: https://cp.kaist.ac.kr/jeehoon.kang

댓글목록

등록된 댓글이 없습니다.