So you think you want to write a deterministic hypervisor?

• rr

  102 8,640 9.6 C++

  Record and Replay Framework

  

https://rr-project.org/ had the same problem. They use the retired conditional branch counter instead of instruction counter, and then instruction steeping until at the correct address.

• hermit

  8 1,101 7.6 Rust

  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis. (by facebookexperimental)

  

A Meta developer responded to an issue of mine on Hermit, and said:

"Just to let you know we're not actively working on Hermit in the team..."

https://github.com/facebookexperimental/hermit/issues/34#iss...

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project