可达值就是那些以某种方式可访问或可用的值，它们被保证存储在内存中。

有一组基本的固有可达值，由于显而易见的原因无法删除。例如:本地函数的局部变量和参数，当前嵌套调用链上的其他函数的变量和参数，全局变量还有一些其他的，内部的这些值称为根。