分类 理论 下的文章

CAP Theorem笔记

时值秋招,offer拿得还算顺利,所以也没有特别大的压力了,这段时间刚好可以加强一下理论的积累。

下午听了一个和CAP相关的讲座——《CAP Theorem and Its Implications for Building Robust Distributed Systems》,当然主要还是介绍CAP Theorem,基本没怎么涉及“健壮的”分布式系统,毕竟1个小时也分享不了多少内容。

虽然网上已经有不少关于CAP的文章了,但和这次讲座上提到的相比,似乎存在一些问题,并不是说做学术的就是权威,大家需要自己斟酌。

阅读剩余部分

程序验证技术——霍尔逻辑

赶在四月的最后一天,发篇有点营养的文章。

如何确保程序的正确性?这是一个很难的问题,答案是暂时没有。

在本站的很多篇文章中,我都说过测试并不可靠。因为测试的目标就是尽可能找出错误,测试用例越完善,覆盖度越高,能够找出的错误就越多。但问题就在于,一般情况下,测试用例的覆盖度根本达不到100%。

阅读剩余部分