我正在构建一个小型解释器,所以我想测试ifs,switch和指向函数的速度有多快。如果使用其他19 ifs比使用20个情况的切换快一点,并且函数指针(20个函数指针的数组)比前两个慢...
我预计结果会完全相反,有人可以解释一下吗?
答案 0 :(得分:12)
在现代处理器上,很多都归结为分支预测。虽然switch语句可以实现为一个跳转表,执行代码的任何分支所需的时间大致相同,但它通常也是不可预测的 - 字面上;分支预测器通常在预测采用哪个分支方面做得相当差,这意味着管道泡沫的可能性非常大(通常大约15个浪费周期左右)。
if语句可以进行更多的比较,但是大多数分支几乎每次都采用相同的方式,因此分支预测器可以更准确地预测它们的结果。
指向函数的指针也可能是相当不可预测的。更糟糕的是,直到最近,大多数处理器几乎都没有尝试过。最近才对大多数BTB(分支目标缓冲区)实现添加足够的内容,他们甚至可以通过指针真正地预测分支的目标。在较旧的处理器上,指向函数的指针通常在速度比较中表现不佳。