Statistical debugging 本应终结 printf 调试时代。但大多数团队从未让它真正运转起来。
Statistical debugging 承诺通过将程序行为与故障相关联来精确定位 bug。以下是为什么这个想法从未从研究论文跨越到生产系统。
Statistical debugging 本应终结 时代。对你的代码进行插桩，从数千次运行中收集 trace，运行相关性分析，然后看着工具按照导致崩溃的可能性对每一个分支和 null check 进行排序。它在 2000…
2 posts
Statistical debugging 承诺通过将程序行为与故障相关联来精确定位 bug。以下是为什么这个想法从未从研究论文跨越到生产系统。
Statistical debugging 本应终结 时代。对你的代码进行插桩，从数千次运行中收集 trace，运行相关性分析，然后看着工具按照导致崩溃的可能性对每一个分支和 null check 进行排序。它在 2000…
会话类型将通信协议编码到类型系统中，将运行时协议错误转化为编译时错误。以下是它们为何在论文中停留三十年才被生产代码采用的原因。
会话类型发明于1993年。三十年后，大多数网络服务仍然通过手写运行时检查来验证协议状态，如果它们验证的话。类型系统对于客户端是否在之前发送了，或者连接是否因为某人忘记关闭而泄漏，完全没有任何意见。…