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.

中文翻译：

---

预备，准备，开始！

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