Relacy Race Detector

23 points by favourable 1 year ago | 4 comments
  • medler 1 year ago
    This is from 2011 or possibly earlier. Since that was around the same time ThreadSanitizer came out, I wonder how similar the two approaches are? I know lots of people use TSan nowadays but I haven’t heard of anyone using Relacy
    • akoboldfrying 1 year ago
      This seems like it could be very useful -- a bit like like Spin [1] but natively for C++. But I'm confused: Is this "just" a header-only library, as claimed? No runtime tool is needed on top? Also, what's with the ($) syntax? I didn't think $ was a valid C++ identifier (even though it can appear in mangled symbol names) -- will that code even compile?

      [1] https://en.m.wikipedia.org/wiki/SPIN_model_checker

      • yorwba 1 year ago
        $ is a preprocessor macro

          #define RL_INFO ::rl::debug_info(__FUNCTION__, __FILE__, __LINE__)
          #define $ RL_INFO
      • 1over137 1 year ago
        Its list of supported platforms lists 32 bit but not 64 bit. And it refers to C++0x not C++11. I presume the article is old. Is this software still developed?
        • shermozle 1 year ago
          [flagged]