ThreadSanitizer

Contents:

• Prologue
• Dissecting ThreadSanitizer Algorithm
  • Introduction
  • Data Race
  • Happen-Before & Concurrent
  • Lamport Logical Clock
  • Vector Clock
  • Data Race Detection
  • ThreadSanitizer Internals
  • References
• DataRace 检测算法之 FastTrack
  • Preliminaries
  • Vector Clock and \(DJIT^+\) Algorithm
  • FastTrack Algorithm
  • Conclusions
• A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
  • Contribution
  • Key Insight
  • Tree Clock Data Structure
  • Conclusion

---

• Index

• Module Index

• Search Page