3 ms·
There are some projects (not sure if available to use in anger) to generate PGO data use using AI.
by mhh__ 2y ago
There are some projects (not sure if available to use in anger) to generate PGO data use using AI.
- still_grokking 2y agoAI can predict how some code behaves when run? So AI can predict whether some program halts? Seriously?
- MonkeyClub 2y agoWell spotted! :)
- mhh__ 2y agoBarely
- mhh__ 2y agohttps://www.researchgate.net/publication/357418662_Profile_Guided_Optimization_without_Profiles_A_Machine_Learning_Approach https://www.researchgate.net/publication/357418662_Profile_G... What exactly do you think PGO data looks like? The main utility is knowing that (say) your error handling code is cold and your loops are hot, which compilers currently (and so on). This is indeed unknowable in general but clearly pretty guessable in practice.
- touisteur 2y agoI was working some years ago on 'happy path fuzzing', trying to find heuristics to guide through code avoiding all error handling, runtime checks. Never got better results than afl-go or other targeted fuzzing, but you have to know what's your happy path. Also tried to use previous-version or previous-previous-version coverage ('precise' through gcov, or intel processor trace, or sampled perf traces, down until poor-man's-profiler samples) coupled with program repair tools, and... never managed to jump from fun small toy examples to actual 100+kloc applications. Maybe one day.