How To Write A Dumb Sanitizer
本文描述了如何实现一个简单的 sanitizer 。
Paper Reading | A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
本文是对 A Tree Clock Data Structure for Causal Orderings in Concurrent Executions (ASPLOS’22) 这篇论文的学习笔记。
个人感觉这篇文章非常精妙，提出了 tree clock 这种数据结构来替代目前 Data Race 检测算法中广泛使用的数据结构 vector clock，极大的改善了计算 happen-before 关系时的时间复杂度。
Paper Reading | FastTrack: efficient and precise dynamic race detection
根据 AddressSanitizer, ThreadSanitizer, and MemorySanitizer: Dynamic Testing Tools for C++ (GTAC'2013) ，TSan V2 使用的 fast happens-before 算法，类似于 FastTrack(PLDI'09) 中提出的算法。
本文是对 FastTrack: efficient and precise dynamic race detection (PLDI'09) 这篇论文的学习笔记。
Paper Reading | Exploiting Superword Level Parallelism with Multimedia Instruction Sets
本文是论文《Exploiting Superword Level Parallelism with Multimedia Instruction Sets》 的阅读笔记。论文提出一种称作 SLP 的向量化技术，作者是 Samuel Larsen 和 Saman Amarasinghe ，发表在 PLDI'2000。