Vulcan: Hardware Support for Detecting Sequential Consistency Violations Dynamically Conference Paper uri icon


  • Past work has focused on detecting data races as proxies for Sequential Consistency (SC) violations. However, most data races do not violate SC. In addition, lock-free data structures and synchronization libraries sometimes explicitly employ data races but rely on SC semantics for correctness. Consequently, to uncover SC violations, we need to develop a more precise technique. This paper presents Vulcan, the first hardware scheme to precisely detect SC violations at runtime, in programs running on a relaxed-consistency machine. The scheme leverages cache coherence protocol transactions to dynamically detect cycles in memory access orders across threads. When one such cycle is about to occur, an exception is triggered. For the conditions considered in this paper and with enough hardware, Vulcan suffers neither false positives nor false negatives. In addition, Vulcan induces negligible execution overhead, requires no help from the software, and only takes as input the program executable. Experimental results show that Vulcan detects three new SC violation bugs in the Pthread and Crypt libraries, and in the fmm code from SPLASH-2. Moreover, Vulcan's negligible execution overhead makes it suitable for on-the-fly use. 2012 IEEE.

name of conference

  • 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)

published proceedings

  • 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture

author list (cited authors)

  • Muzahid, A., Qi, S., & Torrellas, J.

complete list of authors

  • Muzahid, Abdullah||Qi, Shanxiang||Torrellas, Josep

publication date

  • January 1, 2012 11:11 AM