Detector builds up state for the entire program so that it can determine when fields are accessed in an inconsistent manner in terms of synchronization.

• 检测器构建整个程序的状态,这样它就可确定在同步方面,什么时候以非一致性的方式对字段进行了访问。