Persistent Memory Analysis Tool (PMAT) - Valgrind Plugin that provides an online sampling approach towards performing verification on persistent memory.
GNU General Public License v2.0
1
stars
0
forks
source link
Only simulate crash after a cache-line has been written-back to the heap, _not_ before. #41
As a user, I only care if my heap changes; if my heap has not changed, the knowledge that "store X has yet to be flushed" or "store Y has been flushed but not fenced" only matters when my heap has changed in some way. Right now it can simulate a crash at any time after a persistent memory store or flush occurs, and also before a fence; in reality I only care about happens after that fence.
LouisJenkinsCS
commented
4 years ago
As a user, I only care if my heap changes; if my heap has not changed, the knowledge that "store X has yet to be flushed" or "store Y has been flushed but not fenced" only matters when my heap has changed in some way. Right now it can simulate a crash at any time after a persistent memory store or flush occurs, and also before a fence; in reality I only care about happens after that fence.