2015D会议上

小灰灰 2022-09-14 11:22 119阅读 0赞

[1地址][1]  
[2地址][2]  
`幻灯片`地址在`http://dconf.org/`的`2015/2016`里面找.  
问:`沃尔特和安德烈`,是否引入`宏`.答案:`不`!.  
`Walter Bright`,分配内存策略:`尽量惰性,不分配区间`,分配策略应交由更了解`数据生命期和使用模式`的`用户`,才能做出`最佳选择`.  
呼吁要求用`返回区间`来代替`返回数组`.来使`d标准库`对`无垃集`编程更高效和友好.

--------------------

`Daniel Murphy/yebblies`用`ddmd`,翻译`C++`至`D`源码.[在此][Link 1],翻译原因:`D`更易编写,提高士气,更易重构,并提供可提高性能的`新功能`.而`SDC`是从头编写的.  
`C++`是`预处理器和实际语言的语义`组合起来语言.因而`D`放弃`预处理`器.花了2年多.

--------------------

`Brian Schott(libdparse作者,飞行员)`,讨论了`dfmt`,`D`风格的`检查器`.`DCD`补全.如`dscanner -d some_symbol_name source/*.d`.比`grep`有优势.  
`SIMD`,可通过扫描`无用`示例,来优化.`dfix`目标是作为`重构代码工具`.这是`自动修复代码并帮助迁移到新编译器版本的程序`,首先是能`重命名模块或函数`并自动更新其实例.这很难.

--------------------

`Liran Zvibel(Weka.io)`使用`d`.  
为了`获得最佳性能`,他们编写了`零复制,无分配和无锁的`高效内存代码.为了更易理解代码,他们用了`纤程,反应器`和基于`D`的编译时反射的`RPC`框架.  
写了个`libdparse和静态生成代码`来`自定义跟踪框架`来`辅助代码`,及`二进制存储系统`,存储`整`而非`串`来最快.而`无锁移动系统到共享内存`允许它`在不暂停系统`下快速记录有用信息.  
并介绍了`用编译时反射`通过查看常规`D`接口声明来`生成与远端节点`通信代码的`IPC`系统,`D食谱`的`第8/9章`有相应基础技术.作者:这种`生成技术`对`编译时速度`有影响.不是用`插件(代码)`,而是用`pragma(msg)`来输出,然后用`makefile`来保存至`文件`再利用相应`缓存`.  
`Liran`说,该方法,比使用`C`的外部工具`简单`多了,且`运行时`仍然相当高效.还编写了`自定义断言和反射助手`,创建了`本地光纤存储和光纤调试助手`及许多无垃集`高效数据结构`.  
挑战:`垃集`无用,编译器占用`太多内存`,无法扩展使用所有内核.`AA`说,可尝试`一次打包编译`,可更好`并行`,且避免`模板实例化`的边角情况.我指出迁移到`ddmd`后要修复`并行化`及`使用内存`问题.  
`gdc/ldc`有`链接时优化`,而`dmd`没有.还有`C`函数需要`内联`来获得良好性能,而`D`中没有.还有`小于整`的`类型`提升问题,私导入`用途`不大.同时由于`循环导入/排序`问题,模块`构造器/析构器`用处不大.值区间传播,在`正确性/方便性`上还差点.  
`D`替换`py/C`,极大`提高了`他们的生产力,他们大量使用`D`的独特`特征`,这是`值得`的.唯一大的缺点的是还可更好支持`大型实时项目`,而该演讲是他们`成功用D构建大型实时项目`.

--------------------

`David Nadlinger`,`druntime`的实现.讲解了`druntime`的包和一些如`TypeInfo和ModuleInfo`类.他描述了异常处理,指出它是`编译器/平台`相关的.并概述了`标记和清除`的`垃集`原理.  
并讨论`线程本地存储`的实现,并与`共享库`工作的挑战.没必要有个`静每线程表`,表明存储在哪.可在多个程序中加载`动态库`.  
`W.B`说,由于`间接查找`,线本全局变量没有,`访问局部变量(快得多)`高效.  
`David`还描述了纤程的工作原理,注意,用纤程实现`TLS`和异常比较难.详细介绍了`共享库和注册模块`,描述`_Dmodule_ref`工作.它是编译器用C`全局构造`函数创建的`模块链表`.`d内核代码`中你应该见过.这里`引用`是`空针`原因是,你写自己的`_start`,跳过`C`的`运行时初化`,根本没跑`构造器`.现在是`_d_dso_registry`函数,这是`编译器`生成调用,`由Martin Nowak`编写.  
`--gc-sections`选项,可能不管用,但管用时,可减小`ldc2`大小.

--------------------

`Amaury Sechet/deadalnix`,讲了`内存,CPU 缓存,并发防护`.内存很慢,要放在`cpu缓存`中.列出些缓解慢速内存问题的重要技巧:`1,打包数据来减少占用内存.2,尽量放栈上(热缓存).3,线性访问数据避免间接访问和分支代码(帮助预取器抓正确内容).4,调整数据大小,使其适合缓存行`.  
`CPU`缓存一致性的基础是,内核拥有`缓存行`的所有权,并在不脏时共享.提示我们`避免共享和写入内存`,即尽量`共享不变`数据并`写入线程本地`数据.`D`也鼓励用`线本`数据.  
如要`跨多线程`共享`可变`内存,确保共享块占用完整的64字节,避免`跨线程`同块的两个不同`共享变量`在多个缓冲行.  
虽然`x86`尝试自动保持`内存一致性`,但也不能过多降低性能,如`StoreLoad`内存栅,要`x86`上要显式.这由`mfence`触发.作者说:D通过`内联汇编`公开,我相信内在(`intrinsics`),`arm`要求明确指定所有`内存栅`.  
很难测试这些问题.`D`默认线本,显式共享,多核仍可依赖的`传递不变`,可帮助.  
`共享`都很难使用,应该小心使用.`垃集/d运行时/编译器接口`多核友好.`sdc`是`Amaury`对`d编译器`的重写,用制作`线程局部堆`.用`写栅`来帮助`gc暂停`.因而`占用更多内存`,一般只用`共享不变值`.问题:`不变闭包`在`D`中可能有`可变上下文指针`,终止`线程`时异常可能`跨线程行`.  
父调用`Thread.join`时,可能抛`干掉线程`的异常.分配后,`纯`提升为`不变`,`垃集`如何知道在`不变堆`中分配?提出:对`不变信息`造`分代`垃集.加`更好检查`转义引用,并自动释放它们,尽量移动至`栈`.并改进`内联器`来最大化效果.

[1]: http://arsdnet.net/this-week-in-d/may-31.html
[2]: http://arsdnet.net/this-week-in-d/jun-07.html
[Link 1]: http://dconf.org/2015/talks/murphy.pdf