文章插图
img
特定库函数：一些库函数内部会使用channel ， 也可能导致非阻塞性bug 。 下图是一个与time包有关的bug 。 开发者想实现的是 ， 要么收到Done信号 ， 要么超时 ， 然后再返回 。 但是含bug的版本先创建了超时时间为0的timer ， 然后再判断参数dur是否大于0， 大于0的话修改timer 。 但是 ， 当dur为0的情况下 ， timer实际上一开始就被设置为有信号了 ， 可能导致函数过早返回 。 解决方案是不要让timer过早创建 。
文章插图
img
非阻塞性bug的检测Go提供了数据竞争检测 ， 在build的时候使用 -race 标志即可启用 。
文章的一些结论是 ， 消息传递机制也容易造成bug ， 情况并不比共享内存机制好 。 消息传递机制更多地会造成一些阻塞性bug ， 比较少造成非阻塞性bug ， 而且可以用于解决由于共享内存导致的非阻塞性bug 。
关于bug检测 ， 目前很多在传统语言中针对共享内存的检测算法 ， 在go中也是适用的 ， 但是针对go的消息传递机制所引起bug的检测 ， 还需研究 。
译者：Darlzan
译文链接：

• 「新阁教育」面对万物互联的智能世界，你是否也想分一杯羹
• 设计模式6之代理模式
• 2020世界VR产业大会云峰会演讲嘉宾 | 2018年图灵奖获得者，蒙特利尔大学教授Yoshua Bengio
• 分析|用数据量化方法透视不确定性世界
• 世界上第一台计算机是什么？为什么使用二进制而不是十进制？
• 十八年前曾惊艳世界的手机设计，如今看上去仍然很美
• 面向销售自动化的基于数据扩增和真实图像合成的鲁棒多目标检测
• 人工智能驱动的零接触网络在5G世界中的作用
• 中国5G：用户数远超1.5亿，其中非"真实"用户超五千万
• 《深入理解Java虚拟机》：锁优化