Hacker News new | ask | show | jobs
by nickpsecurity 2623 days ago
I saved a few papers on deterministic multithreading both to knock out concurrency errors and support formal verification. I'm not sure how helpful they are in your use case. I'm just dropping them in case they give you ideas:

https://people.csail.mit.edu/mareko/asplos073-olszewski.pdf

https://people.cs.umass.edu/~emery/pubs/dthreads-sosp11.pdf