就是比如引用计数,
其它的如标记清除+分代回收、缓存就先不说了, 把循环引用当做 bug,下一代修复发布、缓存当做下一代发布。 就仅引用计数这个 GC 基本原理而言。
有了这么个原理,然后也设计出来双向环状链表的数据结构来实现。
就是到了具体代码,这么实现一下;看这种实现一下一次就是核心的上千行;不能一次加一点点代码;
就这样类似实现后,怎么知道不会有 bug...
(不是指实现了引用计数,但是没有实现标记清除的 bug,而是通过写出一种数据结构和算法实现这么一个有一大堆逻辑弄出来的原理、方案;怎么保证写的数据结构和算法的正确性?)
所以说这种代码的开发是怎么一种逻辑...
1
chocovon 2020-09-04 23:04:01 +08:00
为啥上千行就不能一次加一点点代码……
|
2
agagega 2020-09-04 23:06:01 +08:00
当然是要有大量的测试,而且即使这样也容易出 bug 。这种代码会被大量的人 review 的
|
4
chocovon 2020-09-04 23:35:16 +08:00
@oahebky 你说的代码是这个么? https://hg.python.org/cpython/file/2059910e7d76/Modules/gcmodule.c
感觉这里面函数都拆得挺清晰的,并不需要太多工程上的考量 |