Главная
Study mode:
on
1
Introduction
2
Persistent Memory Programming Model
3
Phase Safety
4
Atomicity
5
Story
6
Requirements
7
New tool
8
Binary instrumentation framework
9
Twoyear tool
10
Request mechanism
11
Implementation
12
Pros Cons
13
What is MemCheck
14
What is MemCheck not
15
Implementation of MemCheck
16
CRM Macros
17
State Machine
18
In Practice
19
Simple Example
20
Another Problem
21
Example
22
Transaction Nesting
23
Transaction IDs
24
Logging
25
Testing
26
repos
27
future work
28
questions
Description:
Explore the development of Pmemcheck, a new Valgrind-based tool for detecting persistent memory programming errors, in this 55-minute conference talk. Dive into the motivations behind creating a specialized error detector and the decision to utilize the Valgrind framework. Gain insights into common challenges associated with byte-addressable persistent memory usage. Examine the intricate design of Pmemcheck and the modifications made to Valgrind's core to accommodate persistent memory support. Learn about persistent memory programming models, phase safety, atomicity, and implementation details. Discover how Pmemcheck compares to MemCheck, understand its functionality, and explore practical examples of its application. Conclude with a look at future developments and participate in a Q&A session to deepen your understanding of this innovative tool for enhancing persistent memory programming practices.

Using the Valgrind Framework to Build a Persistent Memory Error Detector

Linux Foundation
Add to list