问题描述
- 现在的编译器有没有利用统计与概率方面的算法来做优化？
-
比如编译 C 等静态语言。或者在某种语言上有应用.............................
解决方案
有编译器用到概率的，但我不知道最先进的编译器用到的概型有哪些先进的做法。编译器使用到概率的地方，最常见是跟profile-guided optimization（PGO）相关的。通过收集profile信息来估算某些代码执行的频繁程度，并对其做相应的优化。例如说，1. cold code outlining如果有：if (cond) {
// then...
} else {
// else...
}
// next
并且收集到的profile说cond有超过90%都走到then分支上，那么就把then分支放在fallthrough位置上，而把else分支放到主干代码的“更后面”。于是生成的代码会是这样：if !cond goto Label_else
// then...
// next...
...
Label_else:
// else...
这样，高概率执行的代码就都放在一起了，低概率执行的代码则会放到“外面”去。2. guarded devirtualization例如说有这样一个虚函数调用：o->foo()
如果profile收集到信息说，有80%的可能调用到A::foo()，有11%的可能调用到B::foo()，有9%未知，那么一种可能的代码生成策略是：if (o.type == A) {
A::foo(o) // devirtualized
} else if (o.type == B) {
B::foo(o) // devirtualized
} else {
o->vtableslotid(#foo) // virtual call fallback
解决方案二：
应该没有，统计与概率是数学领域中非精确的，而编译器则需要精确的将代码文本翻译成cpu指令，包括优化在内期间不允许任何假设或模糊的判断。