d论坛笔记03

墨蓝 2022-11-15 11:59 134阅读 0赞

`V.p.`:我们知道,`速度`并不与`指令数`同步发展.2个有趣观察:  
1,`zig`前端和`llvm`后端对`检查`很灵活,如果能证明`永不溢出`,则不会发射`检查溢出`指令.我想总是发出他,则`编译器`会生成两个版本,1个`检查`,1个`不检查`,当`不会溢出`时,则调用`不检查`版本.真有意思.  
2,总是生成检查时,牺牲了`2.7%`的`效率`.应该说是`划算`的.

`lea`能够加速的原因是`地址解码器`与`算术逻辑单元`独立,他们是`并行`的,因而能够`加速`.对`立即值`,也不需要`另一个`寄存器.  
循环代码使用了,`硬编码极限`,超过它,可能`溢出`.未超过,就不算.

对小程序`2.7%`可能有利,对`大程序`,对`缓存指令`不利.同样,对`预测分支`不利,更多跳`降低`其他预测.`agu/生成地址单元`

`w.b.`:`lea`比`加`慢,但比多个`加`快,单独一个`加`,不会用`lea`来替换,在优化代码中,经常用`lea`.`生成代码`要适用`大多数cpu`.  
如果你保存该在`栈`中变量至`寄存器`,是要花成本的,因为要尽量`映射`局部变量至`寄存器`.  
一般来说,

<table> 
 <thead> 
  <tr> 
   <th align="left"><code>序号</code></th> 
   <th align="left">优化</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="left"><code>1</code></td> 
   <td align="left">对超过1个操作,<code>lea</code>更好.</td> 
  </tr> 
  <tr> 
   <td align="left"><code>2</code></td> 
   <td align="left">尽量少用<code>寄存器</code></td> 
  </tr> 
  <tr> 
   <td align="left"><code>3</code></td> 
   <td align="left">尽量将<code>局部变量</code>映射为<code>寄存器</code></td> 
  </tr> 
  <tr> 
   <td align="left"><code>4</code></td> 
   <td align="left">指令越少越好</td> 
  </tr> 
  <tr> 
   <td align="left"><code>5</code></td> 
   <td align="left">指令越短越好</td> 
  </tr> 
  <tr> 
   <td align="left"><code>6</code></td> 
   <td align="left">不跳的指令更好</td> 
  </tr> 
 </tbody> 
</table>

但,也不是必然的,因为`intel/arm`在`新处理器`上老是在变(`折腾`).  
`rust`团队花大量精力`检查溢出`,结果`失败`了.在`发布版`关掉了`检查`.我不会重复他们的`努力`.再说一次,`d`在`编译时`按`提升整/传播值区间`来免费的`检查溢出`了的,而`zig/rust`都没有.

`v.p`:`cpu`越来越`快且便宜`,甚至`100%`的`降速`都可`忍受`,因为`摩尔定律`.长期来看,人们`倾向`于`正确(更短代码)`而不仅仅是`更快`.  
`rust`在调试模式下`检查溢出`.而`zig`更倾向于`速度`,如`视频/游戏`中,出点错没啥.因而区分`正确/更快`两种模式有意义.

`w.b`:如果你在`运行`数据中心,`1%`即是`1百万`.人们,喜欢`钱`.`d`聚集`内存安全`,比`整溢出`更重要.`zig`未在`内存安全`上下太多功夫,`d`的`目前聚焦`在`内存安全`.`py`不算`系统语言`.

`AA`:正确,如果比最快慢`15%`,就该倒闭了.是啊,是在竞争啊,你慢,就有问题.  
用`不同标志`,使`代码`更特殊,因而`更快`,但`更不可移植`.这不是一个`严肃`语言的性能要求.即不能追求`更特殊化`,而应更`普遍化`.  
性能,可转化为`钱`.

`m.h`:`intel`的`快速数学`选项可能有问题,我在想是否可以`提升类型系统`或者允许`库`来提供`可用哪些优化器`来`更普遍`的消除`检查`.也许可以标准化下部分`语义`.

`w.b`,`1%`就是巨大的`进步`了.如`rust`发布版关闭`检查溢出`.`跑分`会变得`不公平`.只有在与`实际`接近时才有`意义`.  
`静态分析`有`局限`,不用`硬编码极限`优化的不能用`硬编码极限`.