dvyukov/ relacy

C++

Shell

Need help with relacy?

Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

dvyukov

132 Stars

22 Forks

Other

19 Commits

6 Opened issues

Automatically exported from code.google.com/p/relacy

# 1,869

Linux

Shell

golang

8 commits

# 80,709

ffmpeg

gbz80

concate...

forth

5 commits

# 116,350

Shell

React

meteor

GraphQL

3 commits

Readme

Relacy Race Detector

Name: relacy
Brand: relacy
SKU: //dvyukov/relacy
Rating: 2.08 (132 reviews)

Meticulous synchronization algorithm verifier for relaxed memory models

http://www.1024cores.net/home/relacy-race-detector http://www.1024cores.net/home/relacy-race-detector/rrd-introduction