公开(公告)号：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.