QueryAnalysisSampler currently has 3 mutexes guarding specific members. This makes it difficult to understand which access patterns are valid and which locks should be acquired. We should refactor the members that required synchronized accesses into their own classes that enforce the locking without the caller needing to think about it.