Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
About skip_fork_db flag #1313
But it's actually not being used:
To improve replay performance, we can make use of that flag. However, we can not just add it to the code above, because the flag is not being carefully checked everywhere.
Perhaps there are other related issues as well.
CORE TEAM TASK LIST
I removed skip_fork_db and ran tests to verify there were no side effects. That is in branch jmj_1313. If you think it worthwhile, I will make the changes abit suggested, so a comparison could be made.
If it is believed to not be worthwhile, I will make a PR.