Global Resource Serialization Diagnosis