公开(公告)号：US20240160411A1

公开(公告)日：2024-05-16

申请号：US18383952

申请日：2023-10-26

Applicant: Korea Advanced Institute of Science and Technology

Inventor： Jeehoon Kang ,  Seungmin Jeon ,  Kyeongmin Cho

IPC: G06F8/20

CPC classification number: G06F8/20

Abstract: Disclosed is a programming framework providing system and method that may design a high-performance non-volatile memory object with high usability. An object design method of a non-volatile memory performed by a non-volatile memory object design system includes designing a type system for a deterministic replay and a detectable operation using persistent memory (PM) language; and implementing a data structure (DS) of the PM based on the designed type system.

公开(公告)号：US12124698B2

公开(公告)日：2024-10-22

申请号：US17510149

申请日：2021-10-25

Applicant: Korea Advanced Institute of Science and Technology

Inventor： Jeehoon Kang ,  Jaehwang Jung

IPC: G06F3/06 ,  G06F12/02

CPC classification number: G06F3/0604 ,  G06F3/0655 ,  G06F3/0679 ,  G06F12/0276 ,  G06F12/0269

Abstract: Various example embodiments provide a computer system for hybrid of epoch- and pointer-based memory reclamation, and a method thereof. Various example embodiments are configured to implement a pointer and epoch-based memory reclamation scheme by hybridizing a pointer-based memory reclamation scheme and an epoch-based memory reclamation scheme, and perform a memory reclamation of a concurrent data structure, based on the pointer and epoch-based memory reclamation scheme.