Ready, set, Go! Data-race detection and the Go language

Autor:	Fava, Daniel Schnetzer, Steffen, Martin
Rok vydání:	2019
Předmět:	Computer Science - Software Engineering Computer Science - Programming Languages
Druh dokumentu:	Working Paper
Popis:	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. Comment: 22nd Brazilian Symposium on Formal Methods
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1910.12643 Zobrazit plný text záznamu View this record from Arxiv