用户程序通过内存分配器（Allocator）在堆上申请内存，而垃圾收集器（Collector）负责回收堆上的内存空间，内存分配器和垃圾收集器共同管理程序中的堆内存空间。
常见的垃圾回收算法：
引用计数：
某个对象的根引用计数变为0时，其所有节点均需被回收
标记压缩：
将存活对象移动到一起，有效解决内存碎片问题
复制算法：
将所有正在使用的对象从From空间复制到To空间，堆利用率只有一半，也能解决内存碎片问题
标记清除：
标记垃圾对象，然后再清除。解决不了内存碎片问题，需要与能尽量避免内存碎片的内存分配器使用，如tcmalloc
标记清除算法是最常见的垃圾收集算法，标记清除收集器是跟踪式垃圾收集器，其执行过程可以分为标记、清除两个阶段：
传统的标记清除算法，垃圾收集器从垃圾收集的根对象出发，递归遍历这些对象指向的子对象并将所有可达的对象标记成存活。标记结束后，垃圾收集器会依次遍历堆中的对象并清除其中的垃圾，整个过程需要标记对象的存活状态，所以用户程序在垃圾收集的过程中不能执行，也就是常说的STW（Stop The World）。
?
为了解决原始标记清除算法带来的长时间STW，大部分追踪式垃圾收集器都会实现三色标记算法的变种以缩短STW的时间
三色标记算法将程序中的对象分成白色、黑色、灰色：
标记过程：
垃圾收集器开始工作的时候，不存在任何黑色对象，根对象会被标记成灰色，垃圾收集器只会从灰色对象集合中取出对象开始扫描，当灰色集合中不存在任何对象时，标记就会结束。
大致工作原理：
当三色标记结束后，应用程序的堆中就不存在任何灰色对象，我们只能看到黑色的存活对象以及白色的垃圾对象，垃圾收集器可以回收这些白色的垃圾。
缺陷：
由于用户程序可能在标记执行的过程中修改对象的指针，所以三色标记清除算法本身是不可以并发或者增量执行的，仍需要STW。如果本来不应该被回收的对象被回收了，这在内存管理中是非常严重的错误，这种错误称为悬挂指针，也就是指针没有指向特定类型的合法对象，影响了内存的安全性，想要并发或者增量标记对象就需要使用屏障技术。
?
内存屏障技术是一种屏障指令，可以让CPU或编译器在执行内存相关的操作时遵循特定的约束，目前多数的现代处理器都会乱序执行指令以最大化性能，但是该技术能够保证内存操作的顺序性，在内存屏障前执行的操作一定会先于内存屏障后执行的操作。想在并发或增量的标记算法中保证正确性，需要达到两种三色不变性的其中一种。
?
屏障技术分为读屏障和写屏障，但是由于读屏障需要在读操作中加入代码片段，所以对用户程序的性能影响较大。解析一下go语言中使用的两种写屏障技术，插入写屏障和删除写屏障。
?
writePointer(slot, ptr):
shade(ptr)
*slot = ptr
每当要执行*slot = ptr时，会先执行写屏障通过shade函数尝试改变指针颜色。如果ptr指针是白色，那么会将该对象设置成灰色。
这张图中可以看到，在一次正常的标记过程中，发生了用户程序修改了指针引用（或者新插入了一个引用关系）的情况，如果我们采用 插入写屏障 我们就需要将新指向的对象标为灰色，以此保证强三色不变性。（对于新指向的对象来说，属于被插入一个引用，所以叫插入写屏障)
?
在插入写屏障中，我们的标记过程变成（关键第2步）：
writePointer(slot, ptr)
shade(*slot)
*slot = ptr
删除写屏障会在老对象的引用被删除的时候，将白色的老对象涂成灰色，这样就可以保证弱三色不变性，老对象引用的下游对象一定可以被灰色对象引用。
使用删除写屏障技术的垃圾收集器和用户程序交替运行的场景中的标记过程：
第二步触发删除写屏障的着色，因为删除了B指向C的指针，所以C和D分别违反强三色不变性和弱三色不变性，着色后保证了三色不变性，避免悬挂指针。
简单来说就是，在改变指针指向的时候，原来指向的那个对象是白色的话就要变成灰色，以此保证弱三色不变性。（对于老对象来说，引用关系被解除了，所以叫删除写屏障）
两种策略优化垃圾收集器不会以为回收垃圾导致长时间STW：
由于两种方式都需要垃圾收集器与用户程序交替执行，所以需要配合屏障技术。
增量收集器将原本时间较长的暂停时间切分成多个更小的GC时间片。增量收集器需要配合三色标记法和屏障技术一起使用。将GC过程分段执行，虽然拉长了总的垃圾回收时间，但是减少了程序STW的时间。不过写屏障还是有些开销的。
利用多核优势，将GC过程与用户程序并行执行（大部分情况下），也是要配合屏障技术。
原文：https://www.cnblogs.com/codexiaoyi/p/15218049.html