LouisJenkinsCS Persistent-Memory-Analysis-Tool issues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add 'PMAT_SCHEDULER_HINT' client calls that can mark code as 'interesting'

#59 LouisJenkinsCS opened 4 years ago
0
Extend time quantum if not in marked 'interesting' code.

#58 LouisJenkinsCS opened 4 years ago
0
Randomly evict cache lines from simulated processor cache on stores

#57 LouisJenkinsCS opened 4 years ago
0
Make `PMAT_ENABLE_CRASH` and `PMAT_DISABLE_CRASH` thread specific

#56 LouisJenkinsCS opened 4 years ago
0
PMAT random scheduler should have some weighted bias

#55 LouisJenkinsCS opened 4 years ago
2
Add levels of granularity for superblocks

#54 LouisJenkinsCS closed 4 years ago
1
Tracking Slowdowns of Whisper Benchmarks

#53 LouisJenkinsCS opened 4 years ago
1
Add checks for number of read bytes from /dev/urandom

#52 LouisJenkinsCS opened 4 years ago
0
Idea for Unit Test - Assertion in Failed Branch

#51 LouisJenkinsCS opened 4 years ago
2
Write-back evicted cache-lines immediately to shadow memory (after checking write-back reordering buffer)

#50 LouisJenkinsCS opened 4 years ago
0
Add Stack Traces of current running threads to .dump file

#49 LouisJenkinsCS opened 4 years ago
0
Modify guest_amd64_toIR.c to split superblocks into singletons on IRCAS, CLFLUSH/CLFLUSHOPT, and SFENCE/MFENCE

#48 LouisJenkinsCS closed 4 years ago
6
Restore quantum to 100,000!

#47 LouisJenkinsCS closed 4 years ago
1
Whisper's NStore benchmark requires split cache-line support

#46 LouisJenkinsCS closed 4 years ago
5
Random Scheduler causes error when compiling Valgrind

#45 LouisJenkinsCS opened 4 years ago
0
`--aggregate-dump-only` does not remove cache-line before writing to shadow heap

#44 LouisJenkinsCS closed 4 years ago
0
Implement a stochastic scheduler lock

#43 LouisJenkinsCS closed 4 years ago
1
Adaptive Frequency of Crashing (Additive Increase/Multiplicative Decrease)

#42 LouisJenkinsCS opened 4 years ago
0
Only simulate crash after a cache-line has been written-back to the heap, _not_ before.

#41 LouisJenkinsCS closed 4 years ago
1
Provide a template verification function

#40 LouisJenkinsCS opened 4 years ago
0
Option for aggregated .dump Files, Discarding .stderr and .stdout

#39 LouisJenkinsCS closed 4 years ago
1
Only randomly evict a single cache-line on eviction

#38 LouisJenkinsCS closed 4 years ago
1
Explicit Data Structure for Simulated Processor Cache (SPC)

#37 LouisJenkinsCS opened 4 years ago
3
Create a benchmark that explores the size of the cache to number of bugs found.

#36 LouisJenkinsCS opened 4 years ago
1
Add `--verification-limit` to limit the number of files created

#35 LouisJenkinsCS opened 4 years ago
1
System V Semaphores do not seem to build on Cycle

#34 LouisJenkinsCS closed 4 years ago
1
On the Road to Persistence: Writing a Durable Queue using PMAT as a Guide!

#33 LouisJenkinsCS closed 4 years ago
0
Add support for DWord Compare-And-Swap

#32 LouisJenkinsCS opened 4 years ago
2
Add a '--terminate-on-failure' flag that terminates further testing if a verification function fails

#31 LouisJenkinsCS closed 4 years ago
1
Use PMAT as guidance towards creating Durable Linearizable data structure

#30 LouisJenkinsCS closed 4 years ago
1
DurableQueue double free with hazard pointers

#29 LouisJenkinsCS closed 4 years ago
1
DurableQueue's free list requires tagged pointers to prevent ABA problem

#28 LouisJenkinsCS closed 4 years ago
1
Add a '--parallel-verification=nCPUs' flag and make serial default ASAP

#27 LouisJenkinsCS closed 4 years ago
1
`make` results in compilation errors

#26 LouisJenkinsCS closed 4 years ago
0
The 'durable_queue' benchmark crashes on certain systems

#25 LouisJenkinsCS closed 4 years ago
2
Ideas for PMAT Poster

#24 LouisJenkinsCS closed 4 years ago
1
Create Docker Image for ATLAS + Makalu

#23 LouisJenkinsCS opened 4 years ago
1
Port Docker image to Dockerhub

#22 LouisJenkinsCS opened 4 years ago
0
Update tests to C++ and utilize existing libraries...

#21 LouisJenkinsCS closed 4 years ago
2
PMAT verification is slow

#20 LouisJenkinsCS closed 4 years ago
2
Do away with mandatory cache-alignment

#19 LouisJenkinsCS opened 4 years ago
0
PMTest integration for PMAT?

#18 LouisJenkinsCS opened 4 years ago
0
Investigate using in-memory shadow heap rather than just a file

#17 LouisJenkinsCS opened 4 years ago
0
Parallel verification

#16 LouisJenkinsCS closed 4 years ago
0
Investigate ways to perform verification in the same program

#15 LouisJenkinsCS opened 4 years ago
1
Rename `pmat_write_buffer_entry` to `pmat_writeback_buffer_entry`

#14 LouisJenkinsCS closed 4 years ago
1
ThreadId should be of thread that performed last store if cache-line evicted

#13 LouisJenkinsCS closed 4 years ago
1
Keep track of location where flush occurred (if explicit)

#12 LouisJenkinsCS closed 4 years ago
2
PMAT 1.0 - Release and Packaging

#11 LouisJenkinsCS closed 4 years ago
0
Overhaul testing system to match rest of Valgrind

#10 LouisJenkinsCS opened 4 years ago
0