Crash consistency fault detection method and system for persistent memory concurrent program

A fault detection and consistency technology, applied in the direction of error detection/correction, software testing/debugging, instrumentation, etc., can solve the problem of not considering the data persistence state, not supporting crash consistency fault detection, etc., to achieve the effect of simple operation

Pending Publication Date: 2021-12-31
HUAZHONG UNIV OF SCI & TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The current fault detection tools for DRAM concurrent programs do not consider the persistent state of data, so they do not support crash consistency fault detection under persistent memory

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Crash consistency fault detection method and system for persistent memory concurrent program
  • Crash consistency fault detection method and system for persistent memory concurrent program
  • Crash consistency fault detection method and system for persistent memory concurrent program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0046] A crash-consistency fault detection method for persistent-memory concurrent programs such as figure 1 shown, including the following steps:

[0047] S1. Insert memory access instructions and persistent memory-related interfaces in the concurrent program of the persistent memory to be tested through the compiler to obtain an executable program; wherein, the instrumented code is used for crash consistency fault detection;

[0048] S2. According to the input rules of the persistent memory concurrent program to be tested, generate multiple input parameters as the input of the executable program to form an input parameter set;

[0049] Specifically, the above step S2 includes the following steps:

[0050] S21. According to the input rules of the persistent memory concurrent program to be tested, randomly generate input parameters, which are recorded as seeds;

[0051] S22. Input the seed into the executable program, start running the executable program, and record the code...

Embodiment 2

[0075] A crash-consistency fault detection system for concurrent programs in persistent memory, comprising:

[0076] The instrumentation module is used to instrument the memory access instructions and persistent memory related interfaces in the concurrent program of the persistent memory to be tested through the compiler to obtain an executable program; the instrumentation code is used for crash consistency fault detection;

[0077] The input parameter generation module is used to generate a plurality of input parameters as the input of the executable program according to the input rules of the persistent memory concurrent program to be tested to form an input parameter set;

[0078] The fault detection module is used to separately obtain the memory access mode corresponding to the persistent memory address accessed by each memory access instruction in the executable program under the input parameters in the input parameter set, and to control the executable program to generate...

Embodiment 3

[0082] A machine-readable storage medium, the machine-readable storage medium stores machine-executable instructions, and when the machine-executable instructions are called and executed by a processor, the machine-executable instructions cause the processor to implement the present invention. Embodiment 1 of the invention provides a crash consistency fault detection method for persistent memory concurrent programs.

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a crash consistency fault detection method and system for a persistent memory concurrent program, and the method comprises the steps: S1, carrying out the instrumentation of a memory access instruction in a to-be-detected persistent memory concurrent program and a persistent memory related interface through a compiler, and obtaining an executable program; S2, according to an input rule of the to-be-tested persistent memory concurrent program, generating a plurality of input parameters as input of an executable program to form an input parameter set; S3, separately acquiring a memory access mode corresponding to a persistent memory address accessed by each memory access instruction in the executable program under each input parameter, and controlling the executable program to generate a memory access time sequence of writing first and then reading, and then controlling the memory access mode corresponding to the persistent memory address accessed by each memory access instruction in the executable program; determining whether a mode of writing a persistent memory based on unpersistent data exists in each memory access mode, and if so, determining that a consistency fault exists. According to the method, the consistency fault in the persistent memory concurrent program can be efficiently and accurately detected.

Description

technical field [0001] The invention belongs to the field of computer data storage, and more specifically relates to a crash consistency fault detection method and system for persistent memory concurrent programs. Background technique [0002] Unlike the traditional memory technology DRAM, the new persistent memory technology has high density and close to zero leakage current, which is expected to greatly improve the performance of storage systems. Intel released the first generation of persistent memory products in 2019. The capacity of a single persistent memory can reach 512GB, and each CPU can support up to 6 persistent memories, with a total capacity of up to 3TB. The cost per GB is lower than that of large-capacity DRAM. . However, under the asynchronous memory refresh (Asynchronous DRAM Refresh, ADR) mechanism of the persistent memory platform, the volatility of the on-chip cache (data lost after power failure) and the non-volatility in the persistent memory require ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
CPCG06F11/3636G06F11/3676
Inventor 华宇陈章玉丁骆昌祺
Owner HUAZHONG UNIV OF SCI & TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap