污点分析流程

污点分析是一种内存安全技术，用于检测和防止数据竞争。其流程包括：1. 标记源操作，将源操作的内存地址标记为“脏”状态；2. 转发源操作，将源操作转发到目标对象上；3. 标记目标操作，将目标操作的内存地址标记为“脏”状态；4. 插入保护屏障，在源操作和目标操作之间插入一个保护屏障，阻止其他线程同时访问这两个操作；5. 撤销保护屏障，当目标操作完成时，撤销保护屏障。这样，即使有其他线程试图同时访问源操作和目标操作，也会被保护屏障阻止，从而避免了数据竞争的发生。