Open zamazan4ik opened 7 months ago
Thanks for the heads up. I think it's a good idea to extend the build scripts to ease PGO. This should allow users to optimize their builds for particular tasks. However, I don't have a benchmark ready that could be used to enable PGO in general.
I'll leave this issue open for future development.
Hi!
Recently I checked Profile-Guided Optimization (PGO) improvements on multiple projects. The results are here. According to the multiple tests, PGO can help with improving performance in many cases. E.g. Clingo is already built with PGO. Since this, I think PGO integration into the Clingo would be a good thing to have.
I can suggest the following action points:
Maybe testing Post-Link Optimization techniques (like LLVM BOLT) would be interesting too (Clang and Rustc already use BOLT as an addition to PGO) but I recommend starting from the usual PGO.
Here are some examples of how PGO optimization is integrated in other projects:
configure
script