Boehm和标记指针

标记指针是实现动态语言时的常见优化：利用对齐要求，这意味着指针的低两位或三位始终为零，并使用它们来存储类型信息。 假设您正在使用Boehm垃圾收集器，它基本上通过查看看起来像指针的活动数据来工作。标记指针看起来不像指针，因为它们的低位非零。 这是一个showstopper，即如果你使用Boehm，你是否必须抛弃标记指针？或者它有解决这个问题的方法吗？