内存管理设计精要 - 面向信仰编程 · /system-design-memory-management

draveness commented 3 years ago

https://draveness.me/system-design-memory-management/

jerrylususu commented 3 years ago

好文！

typo：（栈内存）不过我们也只能在栈上分配「大续爱」固定的数据结构。

疑似typo：（删除写屏障）This guarantees that no objects will become unreachable to the garbage collector traversal 「」all objects which are live at the beginning of garbage collection will be reached even if the pointers to them are overwritten.

2021-02-28 UPDATES: 已修复

draveness commented 3 years ago

好文！

typo：（栈内存）不过我们也只能在栈上分配「大续爱」固定的数据结构。

疑似typo：（删除写屏障）This guarantees that no objects will become unreachable to the garbage collector traversal 「�」all objects which are live at the beginning of garbage collection will be reached even if the pointers to them are overwritten.

修复啦，感谢

Jun10ng commented 3 years ago

好文！感谢分享。此外，我有问题想请教下。像文中这些为了垃圾回收而构造的结构体会被储存在哪个块内存区域呢？

draveness commented 3 years ago

@Jun10ng 好文！感谢分享。此外，我有问题想请教下。像文中这些为了垃圾回收而构造的结构体会被储存在哪个块内存区域呢？

这个要看编程语言怎么设计，有的结构会与分配的内存存储在一起，有的会开辟独立的空间存储

jinze commented 3 years ago

把GC都讲全面了。期待作者也能讲讲rust和c++，这个题目就覆盖完整了。

vimiix commented 3 years ago

感谢分享!

https://img.draveness.me/2021-02-28-16145096643079-tri-color-mark-sweep.png

这张图中三色标记 F->G 的变色过程是不是只进行了一次，后面应该全部标记黑吧

draveness commented 3 years ago

感谢分享!

https://img.draveness.me/2021-02-28-16145096643079-tri-color-mark-sweep.png

这张图中三色标记 F->G 的变色过程是不是只进行了一次，后面应该全部标记黑吧

是的，这里没有展示全部的标记过程

skychx commented 3 years ago

一个小建议，这篇文章前几个图宽度比较小没有居中对其，看着有些难受

tottea commented 3 years ago

还是这种图的风格看得比较习惯自然

crowod commented 3 years ago

能解释一下为什么 moving 的垃圾收集器，它不适用于 C、C++ 等编程语言 吗谢谢

draveness commented 3 years ago

能解释一下为什么 moving 的垃圾收集器，它不适用于 C、C++ 等编程语言 吗谢谢

C 和 C++ 是可以直接拿到裸指针的，moving 会移动对象存储的位置可能造成潜在的问题

longyuxiao commented 3 years ago

想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

dysuby commented 3 years ago

删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

draveness commented 3 years ago

@longyuxiao 想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

因为读屏障触发的时机更多

@vegchic 删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

~~A 会被标记成灰色~~

EDIT： 之前的回复有一些问题，如果 A 原来指向 B 现在指向 C，那么 B 对象会被涂成灰色

mazingyu commented 3 years ago

“图 4 - 内存布局” 是不是有点问题，虚拟内存怎么可能只有 4G 呢？

draveness commented 3 years ago

“图 4 - 内存布局” 是不是有点问题，虚拟内存怎么可能只有 4G 呢？

这里仅展示了内存的几个不同区

schecterdamien commented 3 years ago

@draveness

@longyuxiao 想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

因为读屏障触发的时机更多

@vegchic 删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

A 会被标记成灰色

我也对这里很疑惑，文中提到的删除写机制是

上述代码会在老对象的引用被删除时，将白色的老对象涂成灰色，这样删除写屏障就可以保证弱三色不变性，老对象引用的下游对象一定可以被灰色对象引用

writePointer(slot, ptr)
    shade(*slot)
    *slot = ptr

我理解是说删除写屏障是在引用被删除的时候触发，这里没有引用被删除，也就没法触发删除写屏障，为什么A会被标记成灰色？是否这里还有文中没提到的逻辑，比如shade(*slot)里会判断如果*slot是空，就把当前对象（A）改成灰色

还有一点楼上同学提到的，假如B没有指向C，C没有被任何对象引用，然后突然被A引用了，其实我对这种行为也不解，因为C是完全不可达了，怎么还会通过某种方式被A引用，这种情况是否可能呢，也希望解答一下，我想到情形是突然创建了一个对象F然后被A引用了，这种删除写屏障怎么处理呢，求大佬解答，谢谢🙏

draveness commented 3 years ago

@draveness

@longyuxiao 想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

因为读屏障触发的时机更多

@vegchic 删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

A 会被标记成灰色

抱歉，之前的回复有一些问题，如果 A 原来指向 B 现在指向 C，那么 B 对象会被涂成灰色

我也对这里很疑惑，文中提到的删除写机制是

上述代码会在老对象的引用被删除时，将白色的老对象涂成灰色，这样删除写屏障就可以保证弱三色不变性，老对象引用的下游对象一定可以被灰色对象引用
writePointer(slot, ptr)
    shade(*slot)
    *slot = ptr
我理解是说删除写屏障是在引用被删除的时候触发，这里没有引用被删除，也就没法触发删除写屏障，为什么A会被标记成灰色？是否这里还有文中没提到的逻辑，比如shade(*slot)里会判断如果*slot是空，就把当前对象（A）改成灰色

还有一点楼上同学提到的，假如B没有指向C，C没有被任何对象引用，然后突然被A引用了，其实我对这种行为也不解，因为C是完全不可达了，怎么还会通过某种方式被A引用，这种情况是否可能呢，也希望解答一下，我想到情形是突然创建了一个对象F然后被A引用了，这种删除写屏障怎么处理呢，求大佬解答，谢谢🙏

这个场景是冲突的，如果 C 没有被任何对象引用是不能被 C 拿到的，既然能够拿到 C 的指针，那说明有对象指向 C

schecterdamien commented 3 years ago

@draveness

@draveness

@longyuxiao 想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

因为读屏障触发的时机更多

@vegchic 删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

A 会被标记成灰色

抱歉，之前的回复有一些问题，如果 A 原来指向 B 现在指向 C，那么 B 对象会被涂成灰色
我也对这里很疑惑，文中提到的删除写机制是

上述代码会在老对象的引用被删除时，将白色的老对象涂成灰色，这样删除写屏障就可以保证弱三色不变性，老对象引用的下游对象一定可以被灰色对象引用
writePointer(slot, ptr)
    shade(*slot)
    *slot = ptr
我理解是说删除写屏障是在引用被删除的时候触发，这里没有引用被删除，也就没法触发删除写屏障，为什么A会被标记成灰色？是否这里还有文中没提到的逻辑，比如shade(*slot)里会判断如果*slot是空，就把当前对象（A）改成灰色

还有一点楼上同学提到的，假如B没有指向C，C没有被任何对象引用，然后突然被A引用了，其实我对这种行为也不解，因为C是完全不可达了，怎么还会通过某种方式被A引用，这种情况是否可能呢，也希望解答一下，我想到情形是突然创建了一个对象F然后被A引用了，这种删除写屏障怎么处理呢，求大佬解答，谢谢🙏
这个场景是冲突的，如果 C 没有被任何对象引用是不能被 C 拿到的，既然能够拿到 C 的指针，那说明有对象指向 C

明白了，那对于新创建的对象F，然后被A引用了这种情况呢，因为F新创建出来是白色，然后被黑色的A引用了，这里没有老对象的引用被删除，删除写屏障怎么解决这个问题

draveness commented 3 years ago

@draveness

@draveness

@longyuxiao 想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

因为读屏障触发的时机更多

@vegchic 删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

A 会被标记成灰色

抱歉，之前的回复有一些问题，如果 A 原来指向 B 现在指向 C，那么 B 对象会被涂成灰色
我也对这里很疑惑，文中提到的删除写机制是

上述代码会在老对象的引用被删除时，将白色的老对象涂成灰色，这样删除写屏障就可以保证弱三色不变性，老对象引用的下游对象一定可以被灰色对象引用
writePointer(slot, ptr)
    shade(*slot)
    *slot = ptr
我理解是说删除写屏障是在引用被删除的时候触发，这里没有引用被删除，也就没法触发删除写屏障，为什么A会被标记成灰色？是否这里还有文中没提到的逻辑，比如shade(*slot)里会判断如果*slot是空，就把当前对象（A）改成灰色还有一点楼上同学提到的，假如B没有指向C，C没有被任何对象引用，然后突然被A引用了，其实我对这种行为也不解，因为C是完全不可达了，怎么还会通过某种方式被A引用，这种情况是否可能呢，也希望解答一下，我想到情形是突然创建了一个对象F然后被A引用了，这种删除写屏障怎么处理呢，求大佬解答，谢谢🙏
这个场景是冲突的，如果 C 没有被任何对象引用是不能被 C 拿到的，既然能够拿到 C 的指针，那说明有对象指向 C
明白了，那对于新创建的对象F，然后被A引用了这种情况呢，因为F新创建出来是白色，然后被黑色的A引用了，这里没有老对象的引用被删除，删除写屏障怎么解决这个问题

垃圾收集期间创建的对象都会是黑色的

schecterdamien commented 3 years ago

@draveness
@draveness

@draveness

@longyuxiao 想问一下为什么说读屏障对性能影响很大, 读写屏障不都是要插入代码的吗

因为读屏障触发的时机更多

@vegchic 删除写屏障里那个例子，如果 B 原本就没有指向 C，A（黑色）突然指向 C（白色），怎么保证 C 不被回收呢，还是说三色标记时“将黑色对象指向的所有对象都标记成灰色”指的是已有的所有黑色对象？

A 会被标记成灰色

抱歉，之前的回复有一些问题，如果 A 原来指向 B 现在指向 C，那么 B 对象会被涂成灰色
我也对这里很疑惑，文中提到的删除写机制是

上述代码会在老对象的引用被删除时，将白色的老对象涂成灰色，这样删除写屏障就可以保证弱三色不变性，老对象引用的下游对象一定可以被灰色对象引用
writePointer(slot, ptr)
    shade(*slot)
    *slot = ptr
我理解是说删除写屏障是在引用被删除的时候触发，这里没有引用被删除，也就没法触发删除写屏障，为什么A会被标记成灰色？是否这里还有文中没提到的逻辑，比如shade(*slot)里会判断如果*slot是空，就把当前对象（A）改成灰色还有一点楼上同学提到的，假如B没有指向C，C没有被任何对象引用，然后突然被A引用了，其实我对这种行为也不解，因为C是完全不可达了，怎么还会通过某种方式被A引用，这种情况是否可能呢，也希望解答一下，我想到情形是突然创建了一个对象F然后被A引用了，这种删除写屏障怎么处理呢，求大佬解答，谢谢🙏
这个场景是冲突的，如果 C 没有被任何对象引用是不能被 C 拿到的，既然能够拿到 C 的指针，那说明有对象指向 C
明白了，那对于新创建的对象F，然后被A引用了这种情况呢，因为F新创建出来是白色，然后被黑色的A引用了，这里没有老对象的引用被删除，删除写屏障怎么解决这个问题
垃圾收集期间创建的对象都会是黑色的