Data races are often discussed in the context of lock acquisition and release, with race-detection algorithms routinely relying on vector clocks as a means of capturing the relative ordering of events from different threads. In this paper, we present a data-race detector for a language with channel communication as its sole synchronization primitive, and provide a semantics directly tied to the happens-before relation, thus forging the notion of vector clocks.

中文翻译：

---

预备，准备，开始！数据竞争检测和 Go 语言

数据竞争通常在锁获取和释放的上下文中讨论，竞争检测算法通常依赖矢量时钟作为捕获来自不同线程的事件的相对顺序的一种手段。在本文中，我们为一种以通道通信为唯一同步原语的语言提出了一种数据竞争检测器，并提供了与发生之前关系直接相关的语义，从而形成了向量时钟的概念。