search

LouisJenkinsCS / Persistent-Memory-Analysis-Tool

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

Use PMAT as guidance towards creating Durable Linearizable data structure #30

Closed LouisJenkinsCS closed 4 years ago

LouisJenkinsCS commented 4 years ago

Using a verification function and PMAT, I can be guided to where a CLFLUSH should be added as well as a SFENCE for the sake preserving and attaining durability. I maybe should have individual patches that show how I came each individual conclusion. All in Docker image?

LouisJenkinsCS commented 4 years ago

Dropped priority as there doesn't seem to be a need to send any materials to NVMW.